🔢 mathematics

Further Comments on Yablo's Construction

Dit artikel biedt een meer systematische voortzetting van de analyse van Yablo's codering van de leugenaarsparadox via oneindige acyclische grafen, voortbouwend op eerdere resultaten van de auteur.

Oorspronkelijke auteurs: Karl Schlechta

Gepubliceerd 2026-03-17

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Karl Schlechta

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Kern: Waarom Yablo's Constructie Onvermijdelijk is

Stel je voor dat je een labyrint bouwt. In dit labyrint zijn er kamers (de knopen) en deuren (de pijlen). In elke kamer hangt een bordje met een zinnetje. De zin in een kamer hangt af van de zinnen in de kamers waar de deuren naartoe leiden.

Het doel van dit paper is om te bewijzen dat er een heel specifieke, onontkoombare manier is om een onoplosbare paradox te bouwen in zo'n labyrint.

1. Het Probleem: De "Valse Vrede"

Stel je voor dat je een kamer hebt met een bordje: "Deze zin is onwaar."

Als je denkt dat het waar is, is het onwaar.
Als je denkt dat het onwaar is, is het waar.
Dit is de klassieke leugenaar-paradox. In een eindig systeem (een labyrint met een eindig aantal kamers) kun je dit vaak oplossen door ergens een "uitgang" te vinden waar de logica stopt.

Schlechta kijkt echter naar een oneindig labyrint (zoals bedacht door Stephen Yablo). Hier is er geen einde. De vraag is: Hoe ziet het allerminst complexe, meest efficiënte labyrint eruit dat garandeert dat je nergens een uitgang vindt? Dat wil zeggen, een systeem waar je niet kunt zeggen "dit is waar" én niet kunt zeggen "dit is onwaar". Het is een logische impasse.

Schlechta noemt deze impasse $\xi$ (xi). Het is een derde toestand: "Niet waar, en ook niet onwaar".

2. De Bouwstenen: De "Yablo-Driehoek"

Schlechta onderzoekt welke vormen van labyrinten deze impasse kunnen veroorzaken. Hij vergelijkt verschillende vormen:

De Eenvoudige Valsheid (De "Triviale" Driehoek):
Stel je een kamer voor met twee deuren die naar dezelfde kamer leiden, maar één deur zegt "ga naar links" en de andere "ga naar rechts". Als je probeert dit op te lossen, kun je vaak een uitweg vinden door te zeggen: "Oké, ik ga niet naar links, dan is de zin over links onwaar, en dat lost het op." Dit werkt niet goed genoeg; er is een "ontsnappingsroute".
De Diamant:
Dit is een vorm met vier zijden. Het probleem hier is dat je twee verschillende paden moet synchroniseren. Het is alsof je twee mensen vraagt om tegelijkertijd te springen, maar ze kunnen niet met elkaar praten. In dit logische systeem is die synchronisatie niet mogelijk zonder extra regels die er niet zijn. De diamant faalt dus als bouwsteen.
De Yablo-Driehoek (De Winnaar):
Dit is de enige vorm die werkt. Het ziet eruit als een driehoek met drie pijlen die allemaal negatief zijn (ze zeggen allemaal "NIET").
- Kamer A zegt: "B en C zijn NIET waar."
- Kamer B zegt: "C is NIET waar."
- Er is ook een directe link van A naar C die zegt: "C is NIET waar."
Als je probeert dit op te lossen, loop je vast. Als A waar is, dan zijn B en C onwaar. Maar als B onwaar is, moet C waar zijn (omdat B zegt "C is niet waar"). Maar A zegt ook dat C onwaar is. Klap! Je zit vast.
En het mooie is: als je probeert te ontsnappen door te zeggen "A is onwaar", dan moet je kijken naar alle andere kamers, en die leiden je weer terug naar een nieuwe versie van hetzelfde probleem.

3. De Strategie: Oneindig Bouwen

Schlechta laat zien dat je om deze impasse te creëren, oneindig moet blijven bouwen.
Stel je voor dat je een trap bouwt.

Je bouwt een trapje (A, B, C).
Je merkt dat je bij B een nieuwe uitweg hebt gevonden.
Dus je bouwt een nieuw trapje bij B (B, D, E) om die uitweg dicht te metselen.
Maar nu heb je bij D weer een nieuwe uitweg...
Je bouwt weer een trapje.

Je bouwt zo een oneindige ladder. Elke keer als je een probleem oplost, creëer je een nieuw probleem verderop. Omdat de ladder oneindig is, kun je nooit bij het einde komen om te zeggen: "Oké, hier is de oplossing." Je blijft voor altijd in de impasse ( $\xi$ ) hangen.

4. Het Grote Bewijs: De Minimale Structuur

Het belangrijkste resultaat van het paper is dit:
Als je ergens in een groot, willekeurig logisch labyrint een punt vindt waar de logica vastloopt (waar iets noch waar, noch onwaar is), dan moet er in dat labyrint een verborgen Yablo-driehoek in zitten.

Het is alsof je een enorme, rommelige machine ontdekt die stopt met werken. Schlechta zegt: "Als deze machine vastloopt, dan zit er altijd een heel specifiek, klein tandwiel (de Yablo-constructie) in dat de oorzaak is. Je kunt het niet anders bouwen."

De injectie: Hij bewijst dat je de Yablo-structuur kunt "inpassen" in elke andere structuur die een paradox heeft.
De omkering: Als je een Yablo-structuur hebt, kun je die altijd gebruiken om een paradox te maken.

Samenvatting in een Metapher

Stel je voor dat je een spiegelkabinet bouwt.

Sommige spiegels zijn gebogen (de diamanten) en laten je een uitweg zien die niet bestaat.
Sommige spiegels zijn plat (de triviale driehoeken) en laten je ontsnappen.
Maar de Yablo-constructie is een oneindige rij van spiegels die allemaal naar elkaar verwijzen met een "NIET".

Schlechta's paper zegt: "Als je in een kamer staat en je kunt niet bepalen of je in de echte wereld bent of in een spiegelbeeld (je bent in de $\xi$ -toestand), dan is de enige manier waarop dat kan gebeuren, dat je in een oneindige rij van deze specifieke spiegels staat. Er is geen andere manier om een oneindige impasse te bouwen zonder deze specifieke bouwstenen."

Kortom: Yablo's constructie is de "atoomkern" van alle logische paradoxen. Als je een paradox hebt, heb je per definitie deze kern. Alles anders is alleen maar versiering of een manier om te ontsnappen.

Titel: Verdere opmerkingen over Yablo's Constructie

Auteur: Karl Schlechta
Datum: 3 maart 2026

1. Het Probleem

Het artikel adresseert de fundamentele vraag naar de structuur van grafen die paradoxen modelleren, specifiek de Yablo-paradox. De paradox bestaat uit een oneindige reeks beweringen waarbij elke bewering $x_i$ stelt dat alle daaropvolgende beweringen $x_j$ (voor $j > i$ ) onwaar zijn.

De kernvraag die Schlechta onderzoekt is:

Onder welke voorwaarden leidt een acyclische gerichte graaf (zonder cycli) tot een situatie waarin een knoop $x$ en zijn negatie $\neg x$ beide inconsistent zijn?
In de logica van deze paper wordt dit uitgedrukt met een derde waarheidswaarde $\xi$ (inconsistentie), waarbij $|x| = \xi$ betekent dat noch $x$ noch $\neg x$ consistent is.
Het doel is te bewijzen dat het bestaan van zo'n knoop $x$ met waarde $\xi$ equivalent is aan het bestaan van een subgraaf die structureel gelijkwaardig is aan de originele constructie van Yablo.

2. Methodologie

Schlechta hanteert een combinatie van grafentheorie en niet-klassieke logica (met name een 3-waardige logica) om de minimaliteit en noodzaak van de Yablo-structuur te analyseren.

Grafentheoretische Kader:
- Er worden alleen acyclische gerichte grafen beschouwd.
- Knopen vertegenwoordigen proposities ( $x_i$ ) en pijlen vertegenwoordigen logische afhankelijkheden.
- De formules zijn voornamelijk van het type $\bigwedge \neg x_j$ (conjunction van negaties van directe opvolgers).
- Er wordt onderscheid gemaakt tussen de "pure graaf" (structuur) en de "geannoteerde graaf" (met logische formules).
Logisch Kader:
- Er wordt een derde waarheidswaarde $\xi$ geïntroduceerd, gedefinieerd als $|x|=F$ en $|\neg x|=F$ .
- Dit gedraagt zich volgens de Sterke Kleene logica ( $K_3$ ), waarbij $\neg \xi = \xi$ en de ordening $F < \xi < T$ geldt.
- De strategie is inductief: men bouwt een structuur op waarbij zowel de aanname dat $x_0$ waar is als dat $x_0$ onwaar is, leidt tot een contradictie.
Analyse van "Cellen" (Bouwstenen):
- De auteur analyseert elementaire contradictie-eenheden ("cells").
- Triviale contradicties (bijv. $x = y \land \neg y$ ) worden verworpen omdat ze "ontsnappingsroutes" (escape paths) bieden via disjuncties in de negatie.
- Diamanten (structuren met vier zijden) worden verworpen omdat ze synchronisatie vereisen tussen onafhankelijke takken, wat niet mogelijk is binnen het beschikbare logische kader zonder externe theorie.
- De Yablo-cel (een driehoek: $x \to \neg y \to \neg z$ en $x \to \neg z$ ) wordt geïdentificeerd als de enige geschikte bouwsteen die geen ontsnappingsroutes toelaat.

3. Belangrijkste Bijdragen

A. Minimaliteit van de Yablo-structuur

De paper bewijst dat de Yablo-constructie de minimale structuur is die nodig is om een knoop te creëren met de waarde $\xi$ .

Elk ander systeem dat leidt tot een situatie waar $x$ en $\neg x$ beide inconsistent zijn, moet een subgraaf bevatten die isomorf is met de Yablo-structuur (of een variant daarvan die de Yablo-structuur bevat).
De auteur toont aan dat het vervangen van oneindige vertakkingen door oneindig veel eindige vertakkingen (zoals in voorbeeld 1.1) niet werkt, omdat dit "ontsnappingsroutes" creëert.

B. Analyse van Elementaire Cellen

Schlechta classificeert mogelijke contradictiecellen en bewijst dat alleen de Yablo-driehoek (met drie negatieve zijden) voldoet aan de strikte eisen:

Geen ontsnapping: Er mag geen manier zijn om een consistent model te vinden door een bepaalde tak te kiezen.
Onmiddellijke contradictie: Contradicties moeten direct optreden en niet worden uitgesteld naar latere paden.
Negativiteit: Alle zijden van de driehoek moeten negatief zijn (geen positieve pijlen), anders ontstaan er ontsnappingsmogelijkheden.

C. De "Zaagblad"-constructie en Generalisatie

De paper bespreekt complexere structuren zoals "Saw Blades" (zaagbladen) en toont aan dat deze, hoewel ze complexer lijken, de Yablo-structuur inherent bevatten. Dit bevestigt dat Yablo's oorspronkelijke constructie fundamenteel is en niet zomaar kan worden vermeden of vervangen door een "slimmere" structuur.

D. Injectie en Equivalentie

De paper formuleert een strikte equivalentie:

Een graaf $\Gamma$ kan een valuatie krijgen waarbij een knoop $x$ de waarde $\xi$ heeft dan en slechts dan als er een geschikte injectie bestaat van de Yablo-structuur ($YS$) naar $\Gamma$ .
Deze injectie moet de paden en de logische tegenstrijdigheden behouden (Condition 4.1).

4. Resultaten

Equivalentiestelling: Het bestaan van een knoop $x$ in een acyclische graaf waarbij noch $\phi(x)$ noch $\neg \phi(x)$ consistent is, is equivalent met het bestaan van een subgraaf die isomorf is met de Yablo-constructie.
Minimaliteitsbewijs: De Yablo-structuur is de "kleinste" (minimale) structuur die deze eigenschap bezorgt. Elke andere structuur die deze eigenschap heeft, bevat de Yablo-structuur als substructuur.
Onmogelijkheid van Alternatieven:
- Triviale contradicties en diamant-vormige structuren falen vanwege de mogelijkheid tot "ontsnapping" (het vinden van een consistent model).
- Oneindige vertakkingen zijn noodzakelijk; eindige benaderingen kunnen de paradox niet volledig modelleren zonder de logica te veranderen.
Constructieve Bewijsvoering: De paper biedt een inductieve constructie (Constructie 3.1) die stap voor stap laat zien hoe de Yablo-structuur ontstaat door het oplossen van antagonistische eisen (C1 en C2) in de limiet.

5. Significantie

De bijdrage van Schlechta is significant voor de logica en de theorie van paradoxen om de volgende redenen:

Formele Karakterisering: Het biedt een rigoureuze, grafentheoretische karakterisering van de Yablo-paradox. Het verlegt de focus van puur semantische discussies naar een structurele analyse van de onderliggende graaf.
Uniciteit: Het bewijst dat de Yablo-paradox geen toevallige constructie is, maar een noodzakelijke consequentie van de eisen aan een acyclische graaf die zowel een propositie als zijn negatie inconsistent maakt. Er is geen "beter" of "eenvoudiger" alternatief.
Logische Grenzen: Het illustreert de grenzen van klassieke logica in acyclische structuren en toont aan dat voor dergelijke paradoxen een uitbreiding naar een 3-waardige logica (met $\xi$ ) en oneindige diepte/ breedte essentieel is.
Toepassing: De resultaten zijn relevant voor de studie van zelfreferentie, waarheidstheorieën en de analyse van inconsistenties in formele systemen, waarbij het duidelijk maakt dat bepaalde structuren (zoals diamanten) niet geschikt zijn voor het modelleren van fundamentele paradoxen zonder externe synchronisatie.

Kortom, het artikel bevestigt dat de Yablo-structuur de fundamentele bouwsteen is voor het modelleren van oneindige regressie-achtige paradoxen in acyclische systemen, en dat elke afwijking van deze structuur ofwel faalt ofwel deze structuur in disguise bevat.