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

الرابعة أن تثبت ملازمة أي لزوم بين شيئين فيلزم من وجود الملزوم وجود اللازم ومن عدم الملزوم عدم الملزوم وإلا أي وإن لم يلزم من وجود الملزوم وجود اللازم أو من عدم اللازم عدم الملزوم فلا لزوم بينهما إذ قد وجد الملزوم حينئذ بدون اللازم من غير عكس أي ليس يلزم من عدم المزوم عدم اللازم ولا من وجود اللازم وجود الملزوم لجواز أن يكون اللازم أعم فيوجد مع عدم الملزوم

Page 185