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

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

الخلق‌

في الفرنسية/Caractere

في الانكليزية/Character ,Temper

الخلق في اللغة السجية، و الطبع، و العادة، و المروءة، و الدين. و هو في اصطلاحنا حال للنفس راسخة تصدر عنها الأفعال بسهولة و يسر من غير حاجة إلى فكر و روية.

و على ذلك فغير الراسخ من أحوال‌