<\/p>\n
Il paradosso del mentitore<\/em> è un classico paradosso logico, che può essere espresso nella forma:<\/p>\n “Questa frase è falsa”<\/em><\/p>\n Se la frase afferma di sé stessa che è falsa, allora siamo portati a credere al contrario di ciò che essa sostiene, cioè dovremmo ritenere che la frase sia vera. Ma questo ci conduce a credere che l’affermazione sia veritiera, e quindi che la frase sia falsa. <\/span>Ciò innesca un ciclo infinito che oscilla tra due affermazioni contrapposte, cioè tra la verità e la falsità della frase. In questo modo viene contraddetto il senso comune, perché non possiamo accettare che una frase sia vera e falsa allo stesso tempo (principio di non contraddizione). Ecco quindi che si genera il paradosso<\/em>.<\/p>\n Esistono molte versioni di questo paradosso. Il filosofo francese Jean Buridan, italianizzato in Giovanni Buridano o latinizzato in Iohannes Buridanus, vissuto intorno al 1300, famoso per avere precorso alcuni risultati della fisica moderna, come ad esempio il principio d’inerzia, formulò una versione alternativa del paradosso del mentitore. Buridano spezzò la frase in due affermazioni, e immaginò che queste fossero pronunciate da due diversi personaggi:<\/p>\n Socrate dice "Platone dice il falso"<\/em><\/p>\n Platone dice "Socrate dice il vero"<\/em><\/p>\n Se consideriamo ognuna delle due frasi separatamente, non ci sembra di cogliere alcun paradosso. Ma se le mettiamo insieme, otteniamo un risultato paradossale del tutto simile alla formulazione classica del mentitore. Infatti, se ipotizziamo che Socrate sia sincero, allora dobbiamo ritenere che Platone menta; ma allora dobbiamo credere che Socrate non dica il vero. Questo confuta la nostra assunzione iniziale: Socrate è bugiardo, e quindi Platone è sincero; di conseguenza Socrate dice il vero, e così via, in un nuovo ciclo infinito di contraddizioni. Se partiamo con un’ipotesi opposta, cioè che Socrate sia bugiardo, ricadiamo nella stessa catena di antinomie e non possiamo stabilire chi tra Socrate e Platone dice il vero e chi dice il falso.<\/p>\n Non è difficile constatare che se la coppia di frasi venisse modificata nel modo seguente:<\/p>\n Socrate dice "Platone dice il falso"<\/em><\/p>\n Platone dice "Socrate dice il falso"<\/em><\/p>\n non si cadrebbe nel paradosso: se infatti decidiamo di credere a Socrate, l’affermazione di Platone risulta falsa, e quindi Socrate dice il vero, il che non contraddice, ma anzi rafforza la nostra ipotesi di partenza.<\/p>\n La formulazione del paradosso del mentitore proposta da Buridano non è che una delle numerose versioni della classica antinomia. Secondo la leggenda, le origini del paradosso risalgono alla figura semi-mitica del filosofo cretese Epimenide, il quale un giorno avrebbe affermato:<\/p>\n “Tutti i cretesi sono bugiardi”<\/em><\/p>\n Il fatto che Epimenide stesso sia cretese assimila questa affermazione a quelle precedenti, generando una serie infinita di contraddizioni. Per la verità, se intendiamo il termine “bugiardo” in un’accezione abbastanza larga, ammettendo cioè che di tanto in tanto anche un bugiardo possa asserire il vero, dovremmo concedere che l’affermazione dello stesso Epimenide, cretese, può essere veritiera, e in questo caso non avremmo alcun paradosso. Se invece definiamo “bugiardo” un uomo che afferma sempre il falso, allora il paradosso è inevitabile.<\/p>\n L’asserzione di Epimenide viene citata anche da San Paolo nella Lettera a Tito:<\/p>\n Uno dei loro, proprio un loro profeta, già aveva detto: "I Cretesi son sempre bugiardi, bestie malvagie, oziosi ghiottoni<\/span>”. Questa testimonianza è vera. Perciò correggili con fermezza, perché rimangano nella sana dottrina e non diano più retta a favole giudaiche e a precetti di uomini che rifiutano la verità.<\/em><\/p>\n Non sappiamo se Epimenide avesse formulato la sua affermazione con l’intenzione di evidenziarne il paradosso, né possiamo stabilire se San Paolo fosse consapevole dell’incongruenza di citare proprio un cretese a sostegno della tesi dell’inaffidabilità dei Cretesi: è comunque possibile che lo fosse e che il frammento fosse volutamente ironico.<\/p>\n Un’altra versione famosa del paradosso è quella che lo storico Diogene Laerzio attribuisce al filosofo Eubulide di Mileto, vissuto nel IV secolo a.C. <\/span>L’affermazione paradossale di Eubulide è racchiusa in una sola parola greca:<\/p>\n ψευδόμενος<\/em><\/p>\n cioè “io sto mentendo”.<\/p>\n La formulazione di Eubulide è, in quanto paradosso, sicuramente più interessante di quella di Epimenide, per due motivi:<\/p>\n 1. <\/span><\/span><\/span>dicendo “sto mentendo” anziché “sono bugiardo”, Eubulide non lascia spazio all’eventualità che la frase stessa possa essere vera;<\/p>\n 2. <\/span><\/span><\/span>Eubulide focalizza la sua affermazione su di sé, cioè enuncia una frase autoreferenziale, a differenza di Epimenide.<\/p>\n Come abbiamo visto, la formulazione medioevale di Buridano supera l’autoriferimento insito nella versione di Eubulide, senza tuttavia indebolire la forza e l’inevitabilità del paradosso. In altri termini, Buridano dimostrò che non è il carattere autoreferenziale della frase a generare il paradosso, dato che ora questo scaturisce da due frasi diverse, anche se reciprocamente collegate.<\/p>\n Molto simile alla formulazione di Buridano è quella proposta nel 1913 dal logico inglese Philip Jourdain. Anche in questo caso l’enunciato è articolato su due livelli:<\/p>\n "la frase seguente è falsa"<\/em><\/p>\n "la frase precedente è vera"<\/em><\/p>\n Molto più recentemente, il filosofo americano Stephen Yablo ha suggerito una versione del paradosso a infiniti livelli:<\/p>\n “tutte le frasi successive sono false”<\/em><\/p>\n “tutte le frasi successive sono false”<\/em><\/p>\n “tutte le frasi successive sono false”<\/em><\/p>\n …<\/em><\/p>\n e così via.<\/em><\/p>\n A lungo i logici hanno cercato di analizzare profondamente la struttura delle diverse formulazioni del paradosso del mentitore, allo scopo di comprendere se e come sia possibile sfuggire alla conclusione paradossale.<\/p>\n Alcuni tentativi di sfuggire al paradosso del mentitore furono realizzati già nell’antichità da Crisippo e Aristotele. Nel Medioevo, Buridano stesso ritenne di avere individuato una soluzione introducendo l’obbligo di associare ogni affermazione ad un istante temporale: la verità o la falsità di una frase non sono assolute, ma dipendono dal tempo. Buridano pose in questo modo le fondamenta di quella che oggi viene chiamata logica temporale. Tuttavia, anche rispettando questo nuova disciplina logica, se facciamo affermare a Socrate che “Platone dirà il falso quando pronuncerà la frase seguente” e a Platone che “Socrate disse il vero quando pronunciò la frase precedente”, ricadiamo nel paradosso.<\/p>\n Già Aristotele aveva proposto una risoluzione del paradosso raccomandando di distinguere tra uso e menzione di una frase; Guglielmo di Ockham, che fu maestro di Buridano, perfezionò la soluzione aristotelica introducendo la distinzione tra linguaggio e metalinguaggio. <\/span>In tempi più recenti, alcuni logici come ad esempio Alfred Tarski, Willard Quine, Saul Kripke, Arthur Prior, hanno esplorato la questione e proposto alcune raffinate vie d’uscita.<\/p>\n Non possiamo chiudere questa panoramica senza citare il contributo di Kurt Gödel, che nel 1931 riformulò l’enunciato classico del mentitore sostituendo la nozione di verità con quella di dimostrabilità, analizzando quindi la frase “Io non sono dimostrabile”. Non è difficile vedere che in questa nuova veste la frase non dà origine ad alcun paradosso: tuttavia, la scoperta di Gödel che un sistema formale coerente, abbastanza potente da formalizzare l’aritmetica, è in grado di esprimere una frase come quella citata, ha portato all’enunciazione del celebre teorema di incompletezza, uno dei massimi risultati della logica del Novecento.<\/p>\n","protected":false},"excerpt":{"rendered":" […]<\/p>\n","protected":false},"author":339,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[60],"tags":[],"class_list":["post-3251","post","type-post","status-publish","format-standard","hentry","category-domande-varie-informatica-e-telecomunicazioni"],"_links":{"self":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts\/3251","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/users\/339"}],"replies":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/comments?post=3251"}],"version-history":[{"count":0,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts\/3251\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/media?parent=3251"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/categories?post=3251"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/tags?post=3251"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}