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