شرح الاشارات والتنبيهات — الجزء ١، الصفحة ٣٤٤

[ الفصل الرّابع ] [ في قياس الخلف ]

الخلف فإحدى « 1 » المقدّمتين كذلك والأخرى نقيض المطلوب .

وثالثها ؛ أنّ النتيجة غير بيّنة في أوّل الأمر في القياس المستقيم حتّى يتمّ فيلزم . وأمّا في الخلف فإنّ النتيجة توضع أوّلا ويوضع نقيضها « 2 » .

وأمّا بيان أنّ الخلف كيف يرتدّ إلى المستقيم « 3 » فعند ما نأخذ نقيض النتيجة المحالة « 4 » وقرنّاه « 5 » بالمقدّمة الصّادقة فينتج المطلوب . مثاله إذا أردنا أن نبيّن أنّه لا شئ من ب ا ، فقلنا « 6 » : إن كذب ذلك صدق نقيضه وهو « 7 » : بعض ب ا ، ثمّ « 8 » ضممنا إليه مقدّمة صادقة وهي « 9 » كلّ ا ج ، ينتج : إن كذب لا شئ من ب ا فبعض ب ج ، وهي النتيجة الباطلة . فإذا « 10 » أخذنا نقيضها وهي « 11 » أنّه : لا شئ من ب ج ، وضممناه إلى المقدّمة الحقّة وهي « 12 » أنّ كلّ ا ج « 13 » ، ينتج المطلوب بالاستقامة « 14 » وهو أنّه لا شئ من ب ا .

والحاصل « 15 » أنّ الخلف أنّما يتمّ بقياسين : الأوّل من شرطيّة ، وحمليّة صادقه حتّى ينتج شرطيّة ، فإذا « 16 » أخذنا نقيض تالي هذه النتيجة « 17 » الشرطيّة وضممناه إلى الحمليّة انتج « 18 » المطلوب الأوّل . فظهر تحقيق قوله : « أنّ ذلك يلاحظ الحال ممّا ينعقد بين « 19 » التّالى والحمليّة « 20 » . »

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

( 1 ) - فإحدى : إحدى ج .

( 2 ) - نقيضها : - آ .

( 3 ) - كيف يرتدّ إلى المستقيم : إلى المستقيم كيف يرتدّ ه .

( 4 ) - المحالة : المخالفة ت ؛ ه .

( 5 ) - قرنّاه : قررّناه ه ؛ ت .

( 6 ) - فقلنا : قلنا م .

( 7 ) - وهو : - ت .

( 8 ) - ثمّ : + إذا م .

( 9 ) - هي : + أنّ ه .

( 10 ) - فإذا : إذا ه ؛ ت .

( 11 ) - هي : هو ه ؛ ت .

( 12 ) - فإذا أخذنا . . . وهي : ثابتة على الهامش بخط جديد ه .

( 13 ) - كلّ ا ج : كلّ ا ب م ؛ ج .

( 14 ) - بالاستقامة : - آ .

( 15 ) - والحاصل : فالحاصل ه ؛ ج ؛ ت .

( 16 ) - فإذا : وإذا ه ؛ ت .

( 17 ) - هذها لنتيج : - آ .

( 18 ) - انتج : ينتج ه .

( 19 ) - بين : من م ؛ ج .

( 20 ) - التالي والحمليّة : الحمليّة والتالي ج .

( 21 ) - أو لا يجب و : ولا يجب ج .

( 22 ) - في ذلك : فيه فذلك ه ؛ ت ؛ م . : فذلك ج . : وذلك آ .

( 23 ) - وباللّه التوفيق : - ه ؛ ج ؛ ت .