وقد زعم جمهور المنطقيين أنه ينتج ممكنا

والشيخ بين أنه ينتج ضروريا

وكلامه ظاهر

والحاصل منه أن الممكن إذا فرض موجودا صار الاختلاط من

مطلق

وضروري

وكانت النتيجة ضرورية كما مر

وكل ما كان ضروريا فهو في جميع الأوقات ضروري

فإذن كانت النتيجة قبل فرضنا أيضا ضرورية

والأوسط في هذا القياس لم يفد كونها ضرورية في نفس الأمر

بل أفاد العلم به

وقد حصل من هذا البحث أن الكبرى الضرورية مع جميع الصغريات الفعلية وغير الفعلية ينتج ضرورية

والكبرى غير الضرورية إن كانت مع الصغرى فعليتين ينتج فعلية

وإن كانت إحداهما أو كلتاهما ممكنة ينتج ممكنة

والكبرى المحتملة لهما تنتج محتملة فعلية أو غير فعلية

فبعض النتائج يتفق أن تكون تابعة للكبرى

كالحاصلة من صغرى فعلية مع أي كبرى اتفقت بشرط أن لا تكون وصفية

مخ ۳۹۴