Further Comments on Yablo's Construction

Titolo: Ulteriori Commenti sulla Costruzione di Yablo

Autore: Karl Schlechta
Data: 3 marzo 2026

1. Il Problema

Il paper affronta il problema della caratterizzazione strutturale delle contraddizioni in grafici diretti aciclici (DAG) associati a formule logiche. Nello specifico, l'autore indaga le condizioni necessarie e sufficienti affinché esista un nodo $x$ in un grafo tale che né la formula $\phi(x)$ né la sua negazione $\neg \phi(x)$ siano consistenti.

In termini di valori di verità, questo stato corrisponde a un terzo valore, indicato con $\xi$, definito come l'abbreviazione per "sia $\phi$ che $\neg \phi$ sono inconsistenti". Il problema centrale è determinare se l'esistenza di tale nodo $\xi$ in un grafo aciclico sia equivalente all'esistenza di un sottografo isomorfo (o iniettivamente incorporabile) alla struttura di Yablo (la celebre sequenza infinita di enunciati che genera un paradosso senza auto-riferimento diretto).

2. Metodologia

L'approccio di Schlechta combina la teoria dei grafi con la logica non classica (in particolare la logica a tre valori di Kleene forte, $K_s$) e l'analisi induttiva di strutture infinite.

• Definizioni Fondamentali:
  • Grafo Aciclico: I nodi rappresentano variabili proposizionali o costanti ($T, F$), e gli archi rappresentano le relazioni logiche. Un arco $x \not\to y$ indica che $y$ appare negativamente nella formula di $x$.
  • Valore $\xi$: Introdotto per modellare l'inconsistenza di entrambe le polarità ($x$ e $\neg x$).
  • Condizioni Antagoniste (C1 e C2): Per ottenere $\xi$ per un nodo $x_0$, è necessario soddisfare due condizioni simultanee:
    • (C1) $x_0$ deve essere contraddittorio se assunto positivo ($x_0^+$).
    • (C2) $x_0$ deve essere contraddittorio se assunto negativo ($x_0^-$), il che implica che tutti i percorsi da $x_0$ devono portare a una contraddizione.
• Costruzione Induttiva: L'autore utilizza una costruzione induttiva infinita per soddisfare le condizioni (C1) e (C2). Poiché in grafi finiti è impossibile soddisfare entrambe le condizioni simultaneamente (in logica classica, se $x$ è contraddittorio, $\neg x$ è una tautologia), la soluzione richiede una struttura infinita di profondità e larghezza.
• Analisi delle "Cellule" Elementari: Il paper esamina i blocchi costitutivi minimi necessari per generare contraddizioni:
  • Contraddizione Triviale: Scartata perché ammette "percorsi di fuga" (escape paths) che permettono una valutazione coerente.
  • Cella di Yablo (Triangolo): La struttura $x \not\to y \not\to z$ e $x \not\to z$ (con $x = \neg y \land \neg z$ e $y = \neg z$). Questa è identificata come l'unica cellula elementare robusta che non ammette percorsi di fuga e richiede che tutti i lati siano negativi.
  • Diamanti: Analizzati e scartati come cellule fondamentali indipendenti perché richiederebbero una "sincronizzazione" delle scelte logiche che non è disponibile nel framework puramente grafico/logico proposto senza teorie esterne.

3. Contributi Chiave

1. Minimalità della Struttura di Yablo:
   Il contributo principale è la dimostrazione che la struttura di Yablo è minimale. Qualsiasi grafo aciclico che ammetta un nodo con valore $\xi$ deve contenere, come sottografo, una struttura equivalente alla costruzione di Yablo. Non esistono strutture "più semplici" o alternative che possano generare questo tipo di inconsistenza senza incorporare la logica di Yablo.

2. Impossibilità di Sostituzione con Diramazioni Finithe:
   L'autore dimostra che non è possibile sostituire la ramificazione infinita della struttura di Yablo con una sequenza infinita di diramazioni finite. Esempi come quello delle "lame di sega" (Saw Blades) o strutture con diramazioni multiple finite mostrano che, senza la vera ramificazione infinita (o una struttura isomorfa a Yablo), è sempre possibile trovare un "percorso di fuga" (una valutazione coerente) che evita la contraddizione totale.

3. Caratterizzazione tramite Iniezione:
   Viene stabilita una corrispondenza biunivoca tra l'esistenza di un nodo $\xi$ e l'esistenza di un'iniezione dalla struttura di Yablo al grafo dato.

   • Se esiste un'iniezione $\mu$ dalla struttura di Yablo ($YS$) a un grafo target ($\Gamma$) che preserva i percorsi e le contraddizioni parziali, allora $\Gamma$ può essere valutato in modo da avere un nodo $\xi$.
   • Viceversa, se $\Gamma$ ha un nodo $\xi$, è possibile estrarre un sottografo che corrisponde a un'iniezione della struttura di Yablo.

4. Trattamento dei Percorsi Composti:
   Il paper generalizza la cella di Yablo da archi diretti a percorsi composti, dimostrando che anche in presenza di percorsi complessi, la logica sottostante richiede che i percorsi siano "negativi" e che non vi siano punti di diramazione "OR" (disgiuntivi) che permettano di evitare la contraddizione.

4. Risultati Principali

• Teorema di Equivalenza: L'esistenza di un nodo $x$ in un grafo aciclico tale che $\phi(x)$ e $\neg \phi(x)$ siano inconsistenti (valore $\xi$) è equivalente all'esistenza di un sottografo che ammette un'iniezione della struttura di Yablo, preservando le contraddizioni lungo i percorsi.
• Necessità della Struttura: La costruzione di Yablo non è solo un esempio, ma è la struttura necessaria. Qualsiasi tentativo di costruire un paradosso di questo tipo in un grafo aciclico senza la struttura di Yablo fallirà, permettendo sempre l'esistenza di una valutazione coerente (modello).
• Limiti dei Diamanti: I diamanti (strutture a quattro lati) non possono fungere da cellule di contraddizione fondamentali indipendenti a causa della necessità di sincronizzare le scelte logiche, un requisito che viola l'indipendenza delle variabili nel framework considerato.

5. Significato e Implicazioni

Il lavoro di Schlechta fornisce una fondazione rigorosa e strutturale per il paradosso di Yablo.

• Teoria della Logica e dei Grafi: Dimostra che il paradosso di Yablo non è un artefatto accidentale di una specifica formulazione, ma una proprietà intrinseca e necessaria di qualsiasi sistema aciclico che tenti di esprimere l'inconsistenza di una proposizione e della sua negazione.
• Logica Non Classica: L'uso del valore $\xi$ e la connessione con la logica di Kleene forte offrono un quadro formale per analizzare i paradossi semantici in contesti dove la bivalenza classica (Vero/Falso) non è sufficiente.
• Metodologia di Costruzione: La distinzione tra "percorsi di fuga" e contraddizioni necessarie offre strumenti per analizzare la stabilità di sistemi logici complessi e per identificare quando un sistema è intrinsecamente instabile.

In sintesi, il paper conclude che la struttura di Yablo è l'unico modo "puro" (senza teorie esterne o sincronizzazioni artificiali) per realizzare un nodo di inconsistenza totale in un grafo aciclico, rendendola la struttura fondamentale per lo studio di tali paradossi.