Perché “Questa frase è falsa” è un paradosso? Guida completa con esercizi risolti

Ti sei mai trovato bloccato in un ragionamento che sembra un vicolo cieco?

Quelle situazioni in cui, qualunque strada tu prenda, finisci inevitabilmente per contraddirti.

È esattamente quello che succede quando ci scontriamo con i paradossi logici. Non sono semplici giochi di parole o indovinelli da settimana enigmistica, ma veri e propri “bug” nel nostro modo di pensare abituale.

In questo articolo affronteremo uno dei cortocircuiti mentali più antichi e affascinanti della storia: il paradosso del mentitore.

Partiremo dalla sua versione più basilare per arrivare a scenari in cui la logica tradizionale alza letteralmente bandiera bianca.

Preparati a mettere in discussione il confine tra ciò che definisci “vero” e ciò che definisci “falso”.

Esercizio 1 – Facile: Il primo mentitore

Testo

Alice scrive su un foglio l’unica frase:

“Questa frase è falsa.”

Poi chiede: se la frase è vera, allora è falsa; se è falsa, allora è vera. Spiega perché questa situazione è un paradosso e mostra che non è possibile assegnare alla frase un valore di verità classico (vero o falso).

Risoluzione

Formalizzazione

Chiamiamo [math]P[/math] la frase “Questa frase è falsa”.
Il termine “questa frase” si riferisce a [math]P[/math] stessa.
Quindi l’enunciato dice: “[math]P[/math] è falsa”.

Tentativo di attribuire un valore di verità

Ipotesi 1: [math]P[/math] è vera.
Se [math]P[/math] è vera, allora ciò che afferma è vero, cioè “[math]P[/math] è falsa” è vero. Quindi [math]P[/math] sarebbe falsa.
Da “[math]P[/math] vera” si deduce “[math]P[/math] falsa”: contraddizione.

Ipotesi 2: [math]P[/math] è falsa.
Se [math]P[/math] è falsa, allora la frase “[math]P[/math] è falsa” è… falsa?

Attenzione: dire che [math]P[/math] è falsa significa che ciò che afferma non è vero. Ma ciò che afferma è “[math]P[/math] è falsa”. Se questo è falso, allora non è vero che [math]P[/math] è falsa, quindi [math]P[/math] è vera.
Da “[math]P[/math] falsa” si deduce “[math]P[/math] vera”: di nuovo contraddizione.

Conclusione

Nessuna delle due ipotesi regge. Nella logica classica bivalente (vero/falso) non possiamo assegnare un valore di verità a [math]P[/math]. Questa è la versione più semplice del paradosso del mentitore.

💡 Osservazione strategica: Il paradosso sfrutta l’autoriferimento e la negazione. Per spezzarlo, alcuni logici hanno proposto logiche con tre valori (vero, falso, paradossale) o hanno vietato l’autoriferimento diretto.

❓ Domanda di riflessione

Quale proprietà della logica classica viene messa in crisi da questo paradosso? (Scegli tra: principio di non contraddizione, principio del terzo escluso, entrambi, nessuno.)

Esercizio 2 – Facile/Medio: Il mentitore incrociato

Testo

Su un muro sono scritte due frasi:

• A: “La frase [math]B[/math] è vera.”
• B: “La frase [math]A[/math] è falsa.”

Determina se esiste un’assegnazione coerente di valori di verità (vero/falso) per [math]A[/math] e [math]B[/math]. Mostra tutti i passaggi.

Risoluzione

Traduzione formale

Possiamo esprimere le relazioni logiche tra le due frasi come un sistema di condizioni:

[math]\displaystyle \begin{cases} A \leftrightarrow B \\ B \leftrightarrow \neg A \end{cases}[/math]

Ovvero:

• [math]A[/math] è vera se e solo se [math]B[/math] è vera.
• [math]B[/math] è vera se e solo se [math]A[/math] è falsa.

Sostituzione

Sostituendo la prima condizione ([math]A = B[/math]) nella seconda, otteniamo:
[math]A = \neg A[/math]

Nella logica classica, questa è una contraddizione insanabile: una proposizione non può avere lo stesso valore di verità della sua negazione.

Verifica con analisi dei casi

Proviamo ad assegnare i valori di verità per escludere ogni possibilità:

1. Ipotesi 1: [math]A[/math] è Vera ([math]V[/math])
   • Se [math]A[/math] è [math]V[/math], allora la frase [math]A[/math] dice il vero, quindi [math]B[/math] deve essere [math]V[/math].
   • Se [math]B[/math] è [math]V[/math], allora la frase [math]B[/math] dice il vero, quindi [math]A[/math] deve essere Falsa ([math]F[/math]).
   • Risultato: Contraddizione ([math]A[/math] è contemporaneamente [math]V[/math] e [math]F[/math]).
2. Ipotesi 2: [math]A[/math] è Falsa ([math]F[/math])
   • Se [math]A[/math] è [math]F[/math], allora la frase [math]A[/math] mente, quindi [math]B[/math] deve essere [math]F[/math].
   • Se [math]B[/math] è [math]F[/math], allora la frase [math]B[/math] mente. Poiché [math]B[/math] dice che “[math]A[/math] è falsa”, la menzogna implica che [math]A[/math] deve essere Vera ([math]V[/math]).
   • Risultato: Contraddizione ([math]A[/math] è contemporaneamente [math]F[/math] e [math]V[/math]).

Conclusione

Anche senza autoriferimento diretto, il riferimento circolare tra due frasi produce lo stesso paradosso. È una variante del “mentitore incrociato”.

💡 Osservazione strategica: Questo esercizio mostra che il paradosso non richiede necessariamente una frase che parli di se stessa: basta un ciclo di negazioni. Si può generalizzare a catene più lunghe (es. [math]A[/math] dice che [math]B[/math] è vera, [math]B[/math] dice che [math]C[/math] è vera, [math]C[/math] dice che [math]A[/math] è falsa).

❓ Domanda di riflessione

Se in questo esercizio le frasi fossero tre:

• A: “B è vera”
• B: “C è vera”
• C: “A è falsa”

cosa accadrebbe? Riesci a trovare una assegnazione di valori vero/falso che soddisfi tutte e tre?

Esercizio 3 – Medio/Avanzato: Versione trivalente

Testo

Introduciamo una logica a tre valori di verità: [math]V[/math] (vero), [math]F[/math] (falso) e [math]P[/math] (paradossale/indefinito).
La negazione [math]\neg[/math] agisce così: [math]\neg V = F[/math], [math]\neg F = V[/math], [math]\neg P = P[/math].

Considera la frase del mentitore [math]M[/math]: “Questa frase è falsa”.
Mostra che assegnando a [math]M[/math] il valore [math]P[/math] si evita la contraddizione. Verifica che le due regole di valutazione non producono problemi.

Risoluzione

Interpretazione della frase

[math]M[/math]: “ [math]M[/math] è falsa”.
Indichiamo con [math]v(M)[/math] il valore di verità di [math]M[/math]. L’enunciato afferma che [math]v(M) = F[/math].

Nella logica classica, l’equazione [math]v(M) = \neg v(M)[/math] non ha soluzioni. Tuttavia, con tre valori, possiamo analizzare cosa accade se assegniamo [math]v(M) = P[/math].

Definizione delle regole in logica trivalente

Dobbiamo definire come si valuta l’affermazione “ [math]M[/math] è falsa” in questo sistema. Seguendo la logica di Kleene, se una frase ha valore indefinito, anche la sua negazione o la valutazione della sua falsità rimane indefinita:

[math]\displaystyle v(\text{“M è falsa”}) = \begin{cases} V & \text{se } v(M) = F \\ F & \text{se } v(M) = V \\ P & \text{se } v(M) = P \end{cases}[/math]

Verifica della coerenza

L’equazione di autoriferimento che dobbiamo risolvere è [math]v(M) = v(\text{“M è falsa”})[/math]. Testiamo i tre valori:

• Caso [math]v(M) = V[/math]: La formula darebbe [math]V = F[/math] (impossibile).
• Caso [math]v(M) = F[/math]: La formula darebbe [math]F = V[/math] (impossibile).
• Caso [math]v(M) = P[/math]: Sostituendo nella terza riga della nostra definizione, otteniamo [math]P = P[/math].

L’uguaglianza è soddisfatta. Non c’è contraddizione.

Conclusione

Nella logica trivalente (ad esempio quella di Kleene forte), il mentitore riceve il terzo valore “paradossale” e non genera contraddizione. Questo è uno dei modi per “risolvere” il paradosso, accettando che alcune frasi non siano né vere né false.

💡 Osservazione strategica: La scelta della funzione di valutazione per la negazione e per il predicato di verità/falsità è cruciale. In altre logiche trivalenti (come quella di Bochvar, dove ogni operazione con un valore [math]P[/math] “infetta” l’intero enunciato), il risultato potrebbe essere interpretato diversamente, ma il principio di evitare la bivalenza resta lo stesso.

❓ Domanda di riflessione

Nella logica trivalente usata, come valuteresti la frase “Questa frase non è vera”? (Dove “non è vera” significa “è falsa o è paradossale”?). Ci sarebbe una soluzione?

RISPOSTE ALLE DOMANDE DI RIFLESSIONE

Esercizio 1

La proprietà messa in crisi è il principio del terzo escluso? No, attenzione: il paradosso mostra che non possiamo assegnare né vero né falso senza contraddizione. In realtà, ciò che viene violato non è solo il terzo escluso (che dice che ogni proposizione è vera o falsa), ma la bivalenza stessa.

In realtà il terzo escluso è ancora valido come principio logico teorico, ma qui non possiamo applicarlo perché l’ipotesi che la frase sia vera porta a contraddizione, e l’ipotesi che sia falsa porta ugualmente a contraddizione. Quindi il problema è che non esiste alcun valore di verità classico applicabile. Il principio di non contraddizione non viene violato nel senso che non accettiamo una frase “vera e falsa”, ma ci troviamo in una situazione in cui nessuna delle due opzioni è possibile.

Conclusione: Il paradosso mette in crisi l’assunzione che ogni affermazione ben formata debba avere un valore di verità classico. Si dice che il mentitore mina il principio di bivalenza e, di riflesso, il principio del terzo escluso.

Esercizio 2

Analizziamo il sistema con tre frasi:

• A: “B è vera”
• B: “C è vera”
• C: “A è falsa”

Scriviamo le condizioni logiche:

[math]\displaystyle \begin{cases} A \leftrightarrow B \\ B \leftrightarrow C \\ C \leftrightarrow \neg A \end{cases}[/math]

Dalle prime due relazioni otteniamo per transitività che [math]A \leftrightarrow C[/math]. Combinando questo risultato con la terza condizione ([math]C \leftrightarrow \neg A[/math]), arriviamo alla formula:

[math]A \leftrightarrow \neg A[/math]

Risultato: Esattamente come nel caso a due frasi, otteniamo una contraddizione insanabile. Anche una catena di tre frasi (o qualsiasi catena dispari di affermazioni che termina con una negazione) produce un paradosso.

Esercizio 3

La frase “Questa frase non è vera” (dove “non vera” = “falsa o paradosso”) è nota come il Paradosso del Mentitore Rafforzato.

In logica trivalente, se [math]L[/math] afferma “[math]v(L) \neq V[/math]”, cerchiamo una soluzione per [math]v(L)[/math]:

• Se [math]v(L) = V[/math], allora è falso che [math]v(L) \neq V[/math], quindi la frase è Falsa (Contraddizione).
• Se [math]v(L) = F[/math], allora è vero che [math]v(L) \neq V[/math], quindi la frase è Vera (Contraddizione).
• Se [math]v(L) = P[/math], allora l’affermazione “[math]v(L)[/math] non è vera” è effettivamente Vera (perché [math]P[/math] è diverso da [math]V[/math]). Ma se la frase è Vera, allora [math]v(L)[/math] dovrebbe essere [math]V[/math], non [math]P[/math].

Osservazione: Questo esercizio mostra che anche la logica trivalente può essere messa in crisi da versioni più “insidiose” del paradosso (il cosiddetto Revenge Paradox). La soluzione dipende da come viene definita la funzione di valutazione del predicato di verità nel sistema scelto.

Il Paradosso nella vita reale: Perché ci interessa?

Sull’Esercizio 1 (Il Mentitore Semplice): L’incubo dei programmatori.

Questo esercizio dimostra il pericolo dell’autoriferimento slegato da condizioni di uscita. In informatica, questo è l’equivalente teorico di un loop infinito o di una funzione ricorsiva scritta male (Stack Overflow). Se un programma deve valutare un’istruzione che rimanda alla valutazione dell’istruzione stessa con segno opposto, il processore si blocca, esattamente come la logica bivalente.

Sull’Esercizio 2 (Il Mentitore Incrociato): Deadlock e Riferimenti Circolari.

L’aspetto interessante qui è che nessuna delle due frasi è, di per sé, problematica. Il paradosso nasce dall’architettura del sistema. Nel mondo reale, questo si traduce nei fastidiosi avvisi di “Riferimento Circolare” su Excel. In sistemi più complessi, rappresenta un deadlock dei database: il processo A aspetta che finisca il processo B per capire se è vero, ma il processo B è bloccato aspettando l’esito di A. Il sistema si paralizza.

Sull’Esercizio 3 (Logica Trivalente e Revenge Paradox): Intelligenza Artificiale e Database.

L’introduzione del valore P (Paradossale/Indefinito) non è un mero trucco filosofico. È la base di come i database moderni gestiscono le informazioni mancanti o incalcolabili (il famoso valore NULL in SQL). Inoltre, i sistemi di Intelligenza Artificiale e il quantum computing non ragionano solo in binario (0 e 1): devono saper gestire stati di sovrapposizione o di incertezza logica per poter prendere decisioni senza andare in crash di fronte a dati contraddittori.