[في الانكليزية] Reductio ad absurdum
[ في الفرنسية] Reductio ad absurdum (raisonnement par l'absurde)
بالفتح وسكون اللام عند المنطقيين هو القياس الاستثنائي الذي يقصد فيه إثبات المطلوب بإبطال نقيضه، ويقابله القياس المستقيم. وإنّما قيل يقصد ليخرج القياس الاستثنائي المتّصل الذي استثني فيه نقيض التالي فإنّه ليس قياس الخلف، إذ لم يقصد فيه إثبات المطلب بإبطال نقيضه وإن لزم ذلك فيه هذا هو الخلف مطلقا. وأمّا الخلف المستعمل في العكس فهو فرد مخصوص من هذا المطلق وهو ضم نقيض العكس مع الأصل بنفسه إن كان بسيطا، وبجزئيه أو بأحدهما إن كان مركبا لينتج محالا، وهو يعمّ الموجبات والسوالب لا أنّه يعمّ كل فرد منها لما تقرّر من عدم جريانه في عكس اللادوام الخاصتين الجزئيتين السالبتين.
مثلا المطلوب أنّ عكس قولنا كل إنسان حيوان بعض الحيوان إنسان، فقلنا إذا صدق كل إنسان حيوان صدق بعض الحيوان إنسان وإلّا يصدق نقيض العكس وهو لا شيء من الحيوان بإنسان ونضمه مع الأصل وهو قولنا كل إنسان حيوان فنقول كل إنسان حيوان ولا شيء من الحيوان بإنسان ينتج لا شيء من الإنسان بإنسان وهو محال لأنه سلب الشيء عن نفسه

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

١- موسوعة كشاف اصطلاحات الفنون والعلوم

المؤلف: محمد بن علي ابن القاضي محمد حامد بن محمّد صابر الفاروقي الحنفي التهانوي (المتوفى: بعد 1158هـ)

٢- شمس العلوم ودواء كلام العرب من الكلوم

المؤلف: نشوان بن سعيد الحميرى اليمني (ت ٥٧٣هـ)

٣- لسان العرب

المؤلف: محمد بن مكرم بن على، أبو الفضل، جمال الدين ابن منظور الأنصاري الرويفعى الإفريقى (ت ٧١١هـ)

٤- تاج العروس من جواهر القاموس

المؤلف: محمّد مرتضى الحسيني الزَّبيدي

٥- كتاب العين

المؤلف: أبو عبد الرحمن الخليل بن أحمد بن عمرو بن تميم الفراهيدي البصري (ت ١٧٠هـ)