Da Wikipedia, l'enciclopedia libera.

L'ab absurdo (in latino, dall'assurdo; anche reductio ad absurdum) è un'argomentazione filosofica volta, secondo la scolastica, a dimostrare la verità di una proposizione, attraverso gli assurdi che deriverebbero ammettendo la contraria.

La sua teorizzazione è giunta molto più tardi dell'uso massiccio che ne facevano i pensatori antichi per dimostrare le loro tesi (Zenone, Euclide e altri); il metodo classico dell'esaustione esplorava tutti i casi possibili, ma era poco fecondo di nuove scoperte che avvenivano per altra via per poi essere teorizzate dai loro scopritori: fu perciò abbandonato in epoca moderna.

Utilizzata anche in matematica (dimostrazione per assurdo, che si consegue provando le conseguenze false che derivano da ipotesi o premesse erronee).