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