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