Εις άτοπον απαγωγή: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Επισύμανση λαθών. Ο τίτλος είναι λάθος. Πρέπει να γίνει 'Εις ατοπον επαγωγή' . Επαγωγή κι οχι Απαγωγή! Δεν αλλαξε αυτό.. |
Αναίρεση έκδοσης 6730608 από τον 2A02:582:1CFB:A100:5D5:2666:693F:C094 (Συζήτηση) |
||
Γραμμή 1:
{{άλλεςχρήσεις4|την αρχαία μέθοδο της [[λογική|λογικής]]|τη σύγχρονη λογική μέθοδο η οποία διατυπώθηκε τον 19ο αιώνα ([[αγγλική γλώσσα|αγγλ.]]: ''abduction'')|υποθετικο-παραγωγικός συλλογισμός}}
Η '''απαγωγή σε άτοπο''' ή ''εις άτοπον απαγωγή'' (όρος που διεθνοποιήθηκε από τη [[λατινικά|λατινική]] φράση ''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>.
Γραμμή 21 ⟶ 11 :
==Πηγές==
*Westley C. Salmon, ''Logic'', Prentice Hall, 1973
Γραμμή 29 ⟶ 18 :
[[Κατηγορία:Μαθηματική λογική]]
{{Μαθηματικά-επέκταση}}
|