Apri il menu principale

Ex falso sequitur quodlibet

Frase latina che indica un principio logico
(Reindirizzamento da Ex falso quodlibet)

La locuzione latina ex falso sequitur quodlibet (ossia: "dal falso segue qualsiasi cosa (scelta) a piacere"), abbreviata, in modo ellittico, anche in ex falso quodlibet, è una frase latina che indica, nella logica classica un principio logico (valido anche nella logica intuizionista) che stabilisce come da un enunciato contraddittorio consegue logicamente qualsiasi altro enunciato.

Si tratta, in realtà, di un teorema, la cui conoscenza, peraltro, risale all'antichità: era già noto, ad esempio, alla Scuola megarica. Non si tratta, invece, di un paradosso, dal momento che non conduce ad alcuna contraddizione. Il fatto che, pur non essendolo, venga a volte indicato come paradosso, dipende dal fatto che le conseguenze implicate dal teorema sembrano contraddire l'intuizione ed esulare dal comune sentire.

La definizione ex falso quodlibet per questo teorema è attribuita, per tradizione, a Duns Scoto, sebbene in realtà sia opera di un autore sconosciuto[1]. Pertanto, a volte ci si riferisce ad esso anche come teorema dello pseudo-Scoto.

La prima dimostrazione del teorema è attribuita al logico francese del XII secolo Guglielmo di Soissons, appartenente alla scuola dei Parvipontani, fondata da Adamo del Petit-Pont.[2]

Nel linguaggio della logica proposizionale si può esprimere il principio con la formula:

DimostrazioneModifica

  1.   (ipotesi)
  2.   (da (1) per eliminazione della congiunzione)
  3.   (da (2) per aggiunta di una disgiunzione)
  4.   (da (1) per eliminazione della congiunzione)
  5.   (da (3 e 4) per il teorema del sillogismo disgiuntivo)

Supponendo dunque vero  , una qualunque affermazione   deve essere parimenti vera. Per questa proprietà, esso viene detto anche principio di esplosione.

È interessante osservare che una contraddizione, implicando qualsiasi affermazione, implica anche qualsiasi contraddizione. Si può quindi sostenere l'equivalenza e quindi la banalità, in senso matematico, delle contraddizioni e dei sistemi che le contengono. Va comunque ricordato che, dal secondo teorema di incompletezza di Gödel deriva che: dato un sistema formale che includa almeno l'aritmetica di Robinson, o esso è incompleto, non potendo dimostrare almeno la propria coerenza, o è contraddittorio.

UtilizzoModifica

Creazione dell'UniversoModifica

Tale principio è stato utilizzato nella scolastica anche come pretesa di spiegazione di come Dio abbia creato l'Universo a partire dalla negazione del principio di non contraddizione. Ma ai sostenitori di questa teoria spesso veniva ribattuto che, invece, in base alla consequentia mirabilis, si poteva creare anche a partire dal nulla proprio grazie al principio di non contraddizione.

Esempio di Bertrand RussellModifica

Si può ricordare un ironico esempio proposto da Bertrand Russell in risposta alla domanda di un suo studente: "partendo da 2 + 2 = 5, dimostri di essere il Papa". Russel utilizzò un percorso argomentativo che si può riassumere, grossomodo, così: Supponiamo che sia vera un'affermazione falsa come 2 + 2 = 5 (l'affermazione A nella notazione vista sopra può essere : "2 + 2 è diverso da 5" e non-A: "2 + 2 = 5" ), allora sottraendo 3 da entrambi i membri otteniamo: 1=2. Ora, io e il Papa siamo due, ma 2=1 quindi io e il Papa siamo uno, quindi io sono il Papa.

NoteModifica

  1. ^ Pseudo-Scoto, In librum primum Priorum Analyticorum Aristotelis quaestiones, quaestio X, In: Johannesi Duns Scotus, Opera omnia, vol I, Lione, 1639 (ristampa Georg Olms, Hildesheim, 1968). Traduzione ingleseː "Questions on Aristotle's Prior Analytics. Question X", in Mikko Yrjönsuuri, Medieval Formal Logic. Obligations, Insolubles and Consequences, Dordrecht, Kluwer, 2001, pp. 225-234.
  2. ^ Gli scritti di Guglielmo di Soissons non sono stati conservati, ma abbiamo la testimonianza di Giovanni di Salisbury nel Metalogicon, Libro II, capitolo 10.

BibliografiaModifica

Voci correlateModifica