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