|
|
|
Η '''απαγωγήεπαγωγή σε άτοπο''' ([[λατινικά]] ''reductio ad absurdum'', [[καθαρεύουσα]] '' εις άτοπον απαγωγήεπαγωγή'') είναι μία από τις σημαντικότερες και συχνότερα χρησιμοποιούμενες μεθόδους [[Μαθηματική απόδειξη|μαθηματικής απόδειξης]]. Ωστόσο, η απαγωγήεπαγωγή σε άτοπο δε χρησιμοποιείται αποκλειστικά στα [[μαθηματικά]] και την [[Συμβολική λογική|τυπική λογική]]. Γενικότερα, είναι η συλλογιστική μέθοδος κατά την οποία αποδεικνύεται η αλήθεια μιας πρότασης με βάση το γεγονός ότι η αντίθετη της είναι ψευδής ή λανθασμένη.<ref>[http://www.greek-language.gr/greekLang/modern_greek/tools/lexica/triantafyllides/search.html?lq=%22%CE%B1%CF%80%CE%B1%CE%B3%CF%89%CE%B3%CE%AE+3%22&dq= Λεξικό της κοινής νεοελληνικής, Ινστιτούτο Νεοελληνικών Σπουδών του ΑΠΘ, 1988]</ref>
Χρησιμοποιήθηκε από τον [[Αριστοτέλης|Αριστοτέλη]] σε συνδυασμό με την [[αρχή αποκλειόμενου μέσου]] και την [[αρχή μη-αντίφασης]]. Σημαντική πηγή επιχειρημάτων εις άτοπο απαγωγήςεπαγωγής αποτελούν οι πλατωνικοί διάλογοι καθώς και οι αντινομίες του [[Ιμμάνουελ Καντ|Καντ]].
Συνήθως η αντίθετη της προς απόδειξη πρότασης δεν είναι άμεσα ή φανερά λανθασμένη η ίδια. Αλλά οδηγεί σε [[Αν και μόνο αν|ισοδύναμα]] συμπεράσματα που αυτά είναι σαφώς λανθασμένα.
|
