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

(١٨٤)