منطق الملخص — الصفحة ٣٣٣

« ب » « 7 » [ الثاني ] في الخلف

نقيضه وهو « كل ج ب » . ومعنا مقدمة صادقة وهي « أنّ كل ب آ » ، ينتج « لو « 1 » كذب ليس « 2 » كل ج ب ، لكان كل ج آ « 3 » » ؛ ثم تجعل هذه الشرطية مقدمة لقياس استثنائي ويستثنى نقيض المحال فينتج نقيض المقدم .

واعلم أنّ قياس الخلف حاصله راجع إلى إبطال النقيض . وذلك يقتضي كون النقيض الآخر حقا ، أو كون أحد « 4 » أقسامه حقا ولذلك لا يفيد جهة النتيجة على التعيين ، فإنّا لو قدّرنا النتيجة مثلا عرفية خاصة ومتى صدقت ذلك صدقت عرفية عامة ، ثم مطلقة عامة ، ثم ممكنة عامة ، لأنّه متى صدق الخاص صدق العام .

والخلف لا بدّ وأن يساعد على إبطال نقائض هذه القضايا بأسرها . فإذا قام الخلف على إبطال نقيض « 5 » الممكن العام لم يلزم كون النتيجة ممكنة عامة ، بل أن تكون النتيجة إمّا « 6 » هي ، أو ما يصدق هي عليه . فلهذا السرّ عدلنا في بيان أكثر جهات الاقترانات « 7 » عن هذا الطريق .

وأمّا ردّ الخلف إلى المستقيم ، فهو أن تأخذ نقيض التالي المحال وتقرنه بالمقدمة الصادقة ، فينتج على استقامة « 8 » المطلوب الأوّل ، وإن كان لا يجب أن يرتد عن « 9 » الاستقامة إلى الشكل المستعمل في الخلف .

( 1 ) دا : إن .

( 2 ) آك : - ليس .

( 3 ) آك : ب .

( 4 ) آك ، دا : - أحد .

( 5 ) مل : النقيض .

( 6 ) مل : ما .

( 7 ) مل : الاقترانيات .

( 8 ) مل : الاستقامة .

( 9 ) آك ، دا ، مل : عند .