Reductio ad Absurdum

lit. „reducere la absurd”

Un argument care infirmă o afirmație arătând că ea duce logic la o concluzie absurdă sau contradictorie.

Origine

O tehnică standard în logica clasică și în geometria greacă. Euclid o folosește constant: presupune opusul a ceea ce vrei să demonstrezi, derivă o contradicție, conchide originalul. Numele latin este medieval. Nu este în sine o eroare logică, dar e confundat uneori cu mișcarea de tip om-de-paie a caricaturizării unei poziții până la absurd.

Folosire modernă

Standard în filozofie, matematică și argumentarea riguroasă. Adesea invocată liber — „asta e o reductio” — pentru a arăta că poziția adversarului duce undeva unde acesta n-ar accepta să ajungă. Decantată din rigoare, este, practic, „dacă urmăm logica ta, iată locul prostesc unde ajungem”.

Etichete

logică

argument

demonstrație

Înrudite

expresie

Expresii latine

Q.E.D. (quod erat demonstrandum)

„Mic-drop”-ul tradițional de la sfârșitul unei demonstrații matematice — „asta urma să demonstrăm și acum am demonstrat-o”.

concept

Matematică

Teoremele de incompletitudine ale lui Gödel

Demonstrația din 1931 a lui Kurt Gödel că orice sistem matematic suficient de expresiv conține enunțuri adevărate pe care nu le poate demonstra — matematica are o limită încorporată.

expresie

Expresii latine

Non Sequitur

O afirmație, o concluzie sau un răspuns care nu rezultă logic din ceea ce a fost spus înainte.

concept

Erori logice

Om de paie

Reprezentarea distorsionată a argumentului cuiva într-o versiune mai slabă, mai ușor de atacat, urmată de înfrângerea acelei versiuni în locul afirmației reale.