Classical Logic without Bivalance

Each language version is independently generated for its own context, not a direct translation.

Hier is een uitleg van het paper "Klassieke rekenkunde zonder tweewaardigheid" van Alexander V. Gheorghiu, vertaald naar een begrijpelijk verhaal in het Nederlands.

De Kern: Rekenen zonder "Waar of Onwaar"

Stel je voor dat je een spelregelspel speelt, zoals schaken. Normaal gesproken denken we dat er een "echte" schaakwereld bestaat, los van ons, waar stukken echt zijn en zetten echt gelden. Als je een zet doet, is die ofwel goed ofwel fout, ongeacht of jij het weet. Dit noemen filosofen realisme: de waarheid bestaat onafhankelijk van ons.

Deze paper stelt een heel andere manier van kijken voor. Het zegt: "Wacht even, de betekenis van de regels komt niet uit een mystieke wereld, maar uit de regels zelf en hoe we ze gebruiken." Dit heet inferentialisme (sluiten op basis van inferentie).

De auteur laat zien dat je de hele wiskunde van de natuurlijke getallen (0, 1, 2, 3...) kunt begrijpen en bewijzen dat ze logisch kloppen, zonder te hoeven geloven in een oneindige, onzichtbare wereld van getallen. Je hoeft alleen maar te kijken naar wat we met de getallen kunnen doen.

De Grootste Uitdaging: Het "Oneindige Gat"

In de wiskunde is er een bekend probleem. Stel, je kunt bewijzen dat:

0 + 0 = 0
1 + 0 = 1
2 + 0 = 2
... en zo verder voor elk getal dat je kunt bedenken.

Maar kun je dan ook bewijzen dat voor elk getal (ook die je nog niet hebt bedacht) geldt dat $x + 0 = x$ ?
In de traditionele logica is dit lastig. Je hebt een gat tussen "alle bekende getallen" en "alle mogelijke getallen". Dit heet $\omega$ -onvolledigheid. Het is alsof je een muur bouwt met bakstenen, en je weet dat elke baksteen die je hebt gelegd stevig is, maar je bent bang dat er ergens in de muur een onzichtbare, zwevende baksteen is die niet vastzit.

De oplossing van deze paper:
De auteur zegt: "Die zwevende bakstenen bestaan niet."
In zijn wereld zijn getallen niet dingen die ergens "zitten", maar ze zijn wat ze zijn door de regels die we erop toepassen. Als je in je taal (je rekenregels) alleen maar kunt praten over de getallen die je kunt benoemen (0, 1, 2...), dan zijn dat alle getallen die er zijn. Er is geen "geheime" wereld van getallen die je niet kunt noemen.

De Analogie: De Gouden Sleutel en de Lijst

Stel je voor dat je een grote kluis hebt met een gouden sleutel.

De Realist (oude manier): Gelooft dat de sleutel ergens in de natuur ligt, verborgen in een bos. Je moet het bos doorzoeken om te bewijzen dat de sleutel er is. Als je het bos niet helemaal kunt doorzoeken (omdat het oneindig groot is), kun je nooit 100% zeker zijn.
De Inferentialist (deze paper): Zegt: "De sleutel is wat hij is door de manier waarop we hem gebruiken in onze kluis." Als we een lijst hebben van alle sleutels die we kunnen maken (0, 1, 2...), en we hebben regels die zeggen hoe we ze openen, dan is de lijst de sleutel. Er is geen bos. Er is alleen de lijst.

Omdat er geen "geheime sleutels" buiten de lijst zijn, verdwijnt het probleem van het "oneindige gat" direct. Als het voor elke naam op de lijst geldt, dan geldt het voor alles.

Het Bewijs: Waarom is Rekenkunde veilig?

Het grootste doel van dit paper is om te bewijzen dat de basis van de wiskunde (Peano Arithmetic) consistent is. Dat betekent: je kunt er nooit een tegenstrijdigheid in vinden (zoals $1 = 0$).

Traditioneel bewijzen wiskundigen dit door naar een "oneindig hoge" ladder te kijken (transfiniete ordinaalgetallen). Dat is als proberen een huis te bouwen door te kijken naar een sterrenstelsel dat er niet bij hoort.

De nieuwe aanpak:
De auteur bouwt een heel simpel, concreet model. Hij maakt een "gewichtssysteem" voor de getallen:

Het getal 0 weegt 0.
Het getal 1 (dat is $S(0)$ ) weegt 1.
Het getal 2 ( $S(1)$ ) weegt 2.
Als je twee getallen optelt, tel je hun gewichten bij elkaar op.

Hij laat zien dat als je de regels van de rekenkunde volgt, je nooit een situatie kunt creëren waarbij een zwaar getal (zoals 1) even zwaar is als een licht getal (zoals 0).

$1$ weegt 1.
$0$ weegt 0.
$1 \neq 0$.

Dit is een bewijs dat je met je eigen handen kunt voelen. Je hebt geen "oneindige ladder" of "goddelijke blik" nodig. Je gebruikt gewoon de gewone manier waarop we tellen (inductie), maar dan toegepast op de regels zelf.

Waarom is dit belangrijk?

Het lost een filosofisch probleem op: Het laat zien dat je klassieke logica (de logica die we dagelijks gebruiken) kunt gebruiken zonder te hoeven geloven in een mystieke, onafhankelijke wereld van getallen. Je hoeft geen "realist" te zijn om goed te rekenen.
Het is eenvoudiger: Het bewijs voor de veiligheid van de wiskunde is nu "elementair". Je hebt geen ingewikkelde, onbegrijpelijke theorieën meer nodig om te zeggen dat $1+1=2$ veilig is.
Het is een cirkel, maar een goede: Kritici zeggen: "Je gebruikt wiskunde om wiskunde te bewijzen, dat is een cirkelredenering!" De auteur zegt: "Ja, maar het is een constructieve cirkel. Het is als een spiegel die zichzelf ziet. Het is niet vals, het is hoe betekenis werkt." We begrijpen getallen door ze te gebruiken, en we gebruiken ze om te begrijpen wat ze zijn.

Conclusie in één zin

Dit paper zegt: "Je hoeft niet te geloven in een oneindige, onzichtbare wereld van getallen om te weten dat de wiskunde klopt; je hoeft alleen maar te kijken naar de regels van het spel, en die regels zeggen ons dat er geen fouten in zitten."

Each language version is independently generated for its own context, not a direct translation.

Hier is een gedetailleerde technische samenvatting van het artikel "Classical Arithmetic without Bivalence" van Alexander V. Gheorghiu, gepresenteerd in het Nederlands.

Titel: Klassieke Arithmetica zonder Bivalentie

Auteur: Alexander V. Gheorghiu (Universiteit van Southampton en University College London)

1. Het Probleem

Het artikel adresseert een fundamenteel probleem in de grondslagen van de wiskunde en de metamathematica: hoe kan men een anti-realistisch account van klassieke redenering geven, zoals gevraagd door Michael Dummett?

Traditionele benaderingen hebben twee hoofdperspectieven, die beide als problematisch worden gezien voor een anti-realistische grondslag:

Formalisme: Bekijkt wiskundige theorieën als regels voor het manipuleren van symbolen. Dit leidt tot het probleem van $\omega$ -onvolledigheid: een theorie kan $\varphi(n)$ bewijzen voor elk natuurlijk getal $n$ , maar faalt om $\forall x \varphi(x)$ te bewijzen. Voor formalisten is dit een "brute" eigenschap van het calculus zonder diepere uitleg.
Denotationisme (Modeltheorie): Treatt wiskundige termen als verwijzend naar mind-onafhankelijke structuren. Hoewel dit $\omega$ -onvolledigheid kan verklaren (door het bestaan van niet-gezegde entiteiten), vereist het een realistische metafysica en een waarheids-voorwaardelijke betekenis theorie, wat in strijd is met anti-realisme.

De centrale vraag is of men klassieke logica en arithmetica (zoals Peano Arithmetica, PA) kan rechtvaardigen zonder te vertrouwen op transfiniete ordinaalgetallen of een realistische waarheidstheorie.

2. Methodologie: Inferentialisme en Sandqvist's Semantiek

Gheorghiu past het framework van Sandqvist (2009) toe, een inferentialistische semantiek voor klassieke logica zonder bivalentie. De kern van de methodologie is als volgt:

Inferentialisme: Betekenis is geworteld in inferentierol en gerechtvaardigde assertibiliteit, niet in referentie naar een externe werkelijkheid.
Bases en Ondersteuning (Support):
- Een Base ( $B$ ) is een verzameling atomische regels die de materiële inferentieverplichtingen van een agent vertegenwoordigen.
- De ondersteuningsrelatie ( $\Vdash_B$ ) wordt inductief gedefinieerd. Een formule $\varphi$ wordt ondersteund door een base $B$ als deze afleidbaar is uit de atomische regels in $B$ volgens specifieke regels voor logische constanten (zoals $\to$ , $\forall$ , $\bot$ ).
- Belangrijk: De universele kwantor $\forall x \varphi(x)$ is ondersteund als $\varphi(t)$ wordt ondersteund voor alle gesloten termen $t$ in de taal.
Numerieke Definitie: Een theorie $\Gamma$ is "numeriek definitief" als voor elke gesloten term $t$ een natuurlijk getal $\bar{n}$ bestaat waarvoor $\Gamma \Vdash (t = \bar{n})$ . In deze semantiek wordt de ontologie bepaald door de inferentierollen van termen binnen de theorie zelf, niet door een externe modelwereld.

3. Belangrijkste Bijdragen en Resultaten

A. Oplossing voor $\omega$ -onvolledigheid

In Sandqvist's semantiek verdwijnt het probleem van $\omega$ -onvolledigheid voor theorieën die numeriek definitief zijn.

Propositie 5: Als een theorie $\Gamma$ numeriek definitief is, dan is deze $\omega$ -volledig. Als $\Gamma \Vdash \varphi(\bar{n})$ voor elk natuurlijk getal $\bar{n}$ , dan volgt $\Gamma \Vdash \forall x \varphi(x)$ .
Redenering: Omdat de theorie zelf bepaalt dat alle termen gelijk zijn aan een cijfer (numeraal), is het kwantificeren over "alle termen" equivalent aan kwantificeren over "alle cijfers". Er is geen ruimte voor "namenloze" entiteiten buiten de numerale reeks.

B. Inductie als Betekenis-constituerend

Het artikel toont aan dat inductie niet een extra hypothese is over een extern domein, maar een gevolg is van de inferentierol van de arithmetische termen.

Propositie 6: Voor numeriek definitieve theorieën volgt het inductieprincipe direct uit de definitie van de ondersteuning. Als $\varphi(0)$ en $\forall x (\varphi(x) \to \varphi(S(x)))$ worden ondersteund, dan wordt $\forall x \varphi(x)$ ondersteund.
Dit ondersteunt het visie van Tennant (1984) dat het begrip van arithmetische betekenis zich manifesteert in bewijsgerichte praktijken die door inductie worden gedicteerd.

C. Het Verschil tussen Q en PA

Het artikel betoogt dat het onderscheid tussen Robinson Arithmetica (Q) en Peano Arithmetica (PA) in deze semantiek bewijstheoretisch en niet semantisch is.

In modeltheoretische benaderingen is het verschil dat PA inductie heeft en Q niet, wat leidt tot verschillende modellen.
In inferentialisme fixeren de theorie zelf de ontologie. Als een theorie inductie toestaat, is het domein volledig bepaald door de numerale. Het "Q-PA gat" ontstaat niet omdat er geen "verificatie-transcendente" rest is buiten wat de theorie manifesteert.

D. Elementair Consistentiebewijs voor PA

Het meest significante resultaat is een nieuw bewijs voor de consistentie van Peano Arithmetica (PA).

Stelling 9: PA is consistent ( $PA \nVdash \bot$ ).
Het Bewijs:
1. Er wordt een specifieke Base $A$ geconstrueerd (zie Figuur 2 in het artikel) die alle axioma's van PA ondersteunt (inclusief substitutie en inductie).
2. Er wordt een gewichtsfunctie $w(t)$ gedefinieerd op gesloten termen via primitieve recursie:
  - $w(0) = 0$
  - $w(S(t)) = w(t) + 1$
  - $w(t_1 + t_2) = w(t_1) + w(t_2)$
  - $w(t_1 \cdot t_2) = w(t_1) \cdot w(t_2)$
3. Door inductie op de structuur van afleidingen in $A$ wordt aangetoond dat als $t_1 = t_2$ afleidbaar is, dan $w(t_1) = w(t_2)$ .
4. Aangezien $w(1) = 1$ en $w(0) = 0$ , kan $1=0$ nooit worden afgeleid.
5. Omdat $A$ de axioma's ondersteunt maar $\bot$ niet, is PA consistent.
Kernpunt: Dit bewijs maakt geen gebruik van transfiniete ordinaalgetallen (zoals in Gentzen's bewijs) en vereist geen realistische ontologie. Het gebruikt alleen gewone inductie over de natuurlijke getallen.

4. Betekenis en Filosofische Implicaties

Anti-realistische Grondslag: Het artikel toont aan dat klassieke logica en arithmetica consistent kunnen worden gedefend binnen een inferentialistisch kader. Dit beantwoordt Dummett's uitdaging om klassieke redenering te rechtvaardigen zonder te vertrouwen op een "godsoogpunt" of mind-onafhankelijke waarheid.
Niet-Hilbertiaans: Het resultaat is geen bijdrage aan Hilbert's Programma in de traditionele zin. Het bewijst niet dat PA consistent is in een zwakkere metatheorie volgens formalistische standaarden. Het verandert het kader: de metatheorie is inferentialistisch, waar inductie constitutief is voor het begrip van getallen, en geen substantieve hypothese is.
Omgaan met Objections:
- Formalistische Objection: De complexiteit van de ondersteuningsrelatie (kwantoren en negaties) is niet problematisch omdat het geen formule is die ge-arithmetiseerd moet worden, maar een meta-theoretische uitleg van betekenis.
- Modeltheoretische Objection: De beroep op natuurlijke getallen in het bewijs is geen displacement van het probleem. In inferentialisme is het begrip van inductie constitutief voor het begrip van natuurlijke getallen; het is geen externe waarheid die bewezen moet worden.
Soundness en Completeness: Het artikel toont aan dat als de semantiek compleet is (voor een taal met oneindig veel constanten), de consistentie van PA in de inferentialistische semantiek direct impliceert dat PA consistent is in de klassieke logica ( $\nvdash \bot$ ).

Conclusie

Gheorghiu demonstreert dat Sandqvist's semantiek een krachtig instrument is voor metamathematische vragen. Het biedt een oplossing voor $\omega$ -onvolledigheid, maakt inductie betekenis-constituerend, en levert een elementair, niet-transfiniet consistentiebewijs voor Peano Arithmetica. Dit bewijst dat klassieke arithmetica kan worden begrepen en verdedigd vanuit een strikt anti-realistisch, inferentialistisch perspectief.