Quello che storicamente viene chiamato il paradosso di Epimenide di Creta, che diceva: "tutti i cretesi sono bugiardi", non è in senso proprio un paradosso, anche se ha dato origine a tutta una serie di paradossi, di solito noti come paradossi del mentitore. Un paradosso è in genere un'asserzione che è in contrasto con il senso comune o con i principi della logica. A questo proposito nel linguaggio filosofico si usa più propriamente il termine antinomia. Benché fra i due termini vi sia una distinzione, per i fini che ci proponiamo qui possiamo considerarli molto vicini nel significato. Noi, seguendo il processo di esplicitazione e di chiarificazione che il paradosso di Epimenide ha subito nella storia del pensiero filosofico e logico, parleremo di antinomia del mentitore.
Un'antinomia è in generale un enunciato tale che sia la sua affermazione sia la sua negazione implicano una contraddizione. L'antinomia del mentitore viene di solito presentata nella seguente formulazione, supponendo che un mentitore dica: "L'affermazione che sto pronunciando in questo preciso momento è falsa."
Questa proposizione è vera o è falsa?
|