الخلف خلاف المفروض، وهو في اصطلاحنا المحال الذي ينافي المنطق ويخالف المعقول. ويرادفه المتناقض، والممتنع، والباطل (ر:

هذه الألفاظ).

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

وقد سمي الخلف خلفا لأن المتمسك به يثبت مطلوبه بابطال نقيضه، فكأنه يأتي مطلوبه من خلفه أي من ورائه، وقيل أيضا سمي خلفا أي باطلا لأنه ينتج الباطل.

مصادر و المراجع :

١- المعجم الفلسفي (بالألفاظ العربية والفرنسية والإنكليزية واللاتينية)

المؤلف: الدكتور جميل صليبا (المتوفى: 1976 م)

الناشر: الشركة العالمية للكتاب - بيروت

تاريخ الطبع: 1414 هـ - 1994 م