LA REDUCTIO AD ABSURDUM

 che cos'è?

La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come "ragionamento per assurdo", è un tipo di argomentazione logica in cui, assumendo temporaneamente un' ipotesi, si giunge ad una conclusione assurda

e quindi si dimostra che l'assunto originale deve essere errato.

alla domanda:  

esiste l'essere?

Il Sofista Gorgia così risponde

Se qualcosa esiste, esso deve essere. Noi infatti distinguiamo tre possibilità:

• "essere"
• "non essere"
• "essere" e "non essere" insieme.

Innanzitutto il "non essere" non è. Dunque lo escludiamo.

Ora, se l'"essere" fosse "essere", esso sarebbe:

• eterno
• generato
• eterno e generato insieme.

Ponendo che l'"essere" sia eterno:

• se è eterno non ha principio
• se non ha principio è infinito
• se è infinito nessun luogo può contenerlo
• se non è in nessun luogo non esiste

Ponendo che l'"essere" sia generato:

• non può essere generato dal "non essere", poiché questo non è
• non può essere generato dall'"essere", poiché, se così fosse, esisterebbe già.

Poiché non esistono né l'"essere", né il "non essere", un insieme di "essere" e "non essere" non sarebbe possibile. 

Per questi motivi nulla c'è: 

l'"essere" non esiste.

reductio ad absurdum:

dall'essere al nulla

UNA MAPPA CONCETTUALE SU GORGIA

di Carlo Baldelli, 3 A