الثاني: فيها بين النقيضين بين نقيضي المتباينين تباين جزئي وهو صدق أحدهما بدون الآخر في الجملة لصدق كل من النقيضين مع عين الآخر ومرجعه إلى السالبة الجزئية من الطرفين فهو أعم من التباين الكلي كما بين نقيضي الوجود والعدم والعموم من وجه كما بين نقيض اللاحيوان والإنسان لأن السلب عن البعض أعم من السلب عن الكل أو السلب عن البعض مع الإيجاب للبعض وبين نقيضي المتساويين تساو والأصدق أحدهما بدون الآخر ولا نقض بالأمر الشامل كما مر لأن نقيض الشيء سلبه والسالبة السالبة المحمول تستلزم الموجبة المحصلة فإن سلب السلب إيجاب ونقيض الأعم المطلق أخص مطلق وإلا لتساوى النقيضان فالعينان ولا نقيض بنقيضي الممكن الخاص والعام لأن كل ما ليس بممكن خاص معناه كل ما ليس مسلوب الضرورة عن الطرفين وسلب السلب إيجاب فمعناه كل ما هو ضروري الطرفين فلا يصدق عليه لا الواجب ولا الممتنع لاشتمال كل منهما على ضرورة من طرف ولئن كابر أحد بصدق الممتنع قلنا فلا يصدق كل ممتنع ممكن عام لأن ضروري الطرفين ممتنع حينئذ وليس بممكن عام وبين نقيضي الأعمين من وجه مباينة جزئية لصدق كل من الطرفين مع عين الآخر ولا بد في أخذ النقيضين من رعاية شرائط التناقض.
الثالث: في تحقيق الفرق بين العموم المعنوي المعبر عنه بالكلية التصورية والصناع المعبر عنه بالكلية التصديقية لما لم يكن المفهوم الكلي من حيث هو واحدًا ولا كثيرًا بل ولا كليًا علم أن العموم أي الاشتراك عارض له من حيث نسبته إلى أفراده فأمكن أخذه من حيث هو ويسمى بلا شرط ومن حيث هو عام وكلي أي معروض لهما وهو الكلي الطبيعي عند
١ / ٨٧