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