Classical Logic without Bivalance

Dieser Artikel wendet Sandqvists Semantik für klassische Logik ohne Bivalenz auf metamathematische Fragen an, indem er ein System entwickelt, das $\omega$-Unvollständigkeit intuitiv handhabt, die Induktion als bedeutungskonstitutiv etabliert und einen elementaren Widerspruchsfreiheitsbeweis für die Peano-Arithmetik ausschließlich mittels gewöhnlicher Induktion ohne transfinite Ordinalzahlen oder erkenntnisüberschreitende Wahrheit liefert.

Das Wesentliche

Hier ist eine einfache Erklärung des wissenschaftlichen Artikels „Klassische Arithmetik ohne Bivalenz" von Alexander V. Gheorghiu, verpackt in eine Geschichte mit Analogien für ein breites Publikum.

Die große Frage: Wie können wir sicher sein, dass die Mathematik nicht verrückt spielt?

Stell dir vor, Mathematik ist ein riesiges, komplexes Regelwerk, wie ein unendliches Schachspiel oder ein Baukasten aus Lego. Die große Angst der Mathematiker seit über 100 Jahren ist: Was, wenn sich in diesem Regelwerk ein versteckter Fehler befindet? Wenn man alle Regeln befolgt, könnte man am Ende beweisen, dass „1 + 1 = 3" wahr ist? Das würde das ganze Gebäude zum Einsturz bringen.

Der Autor dieses Artikels, Alexander Gheorghiu, schlägt einen neuen Weg vor, um zu beweisen, dass das Fundament der Mathematik (die Peano-Arithmetik) stabil ist. Er nutzt dabei eine Philosophie, die besagt: Die Bedeutung von Wörtern entsteht durch ihre Verwendung, nicht durch eine unsichtbare, göttliche Wahrheit.

Hier ist die Reise durch seine Ideen, erklärt mit einfachen Bildern:

---

1. Der alte Streit: Baumeister vs. Entdecker

Bisher gab es zwei Hauptansätze, um die Mathematik zu verstehen:

• Der Formalist (Der Baumeister): Er sagt: „Mathematik ist nur ein Spiel mit Symbolen. Wir haben Regeln, wie man Steine verschiebt. Wenn wir die Regeln befolgen, ist alles in Ordnung."
  • Das Problem: Manchmal funktioniert das Spiel so, dass man für jede einzelne Zahl beweisen kann, dass sie „gut" ist, aber man kann nicht beweisen, dass alle Zahlen zusammen „gut" sind. Das nennt man „ω-Unvollständigkeit". Es ist, als würdest du jeden einzelnen Stein in einem Haus prüfen und sagen: „Dieser ist stabil", aber du kannst nicht sagen: „Das ganze Haus ist stabil", weil du nicht weißt, wie sie zusammenpassen.
• Der Denotationalist (Der Entdecker): Er sagt: „Mathematik beschreibt eine reale Welt, die da draußen existiert, unabhängig von uns. Zahlen sind wie reale Objekte."
  • Das Problem: Das setzt voraus, dass wir eine magische Brille tragen, mit der wir diese „reale Welt" sehen können. Aber wie können wir sicher sein, dass unsere Brille nicht trübe ist?

2. Die neue Idee: Das Regelwerk ist die Realität

Gheorghiu nutzt eine dritte Sichtweise, den Inferentialismus (entwickelt von Philosophen wie Dummett und Sandqvist).

Die Analogie vom Sprachspiel:
Stell dir vor, du lernst ein neues Brettspiel. Was bedeutet das Wort „König" in diesem Spiel?

• Nichts, außer den Regeln: „Der König darf nur ein Feld gehen", „Er kann nicht geschlagen werden, wenn er im Schach steht".
• Es gibt keinen „echten König" da draußen im Universum. Die Bedeutung des Wortes „König" ist genau das, was die Regeln erlauben.

Gheorghiu sagt: Genau so ist es mit Zahlen.
Die Zahl „5" existiert nicht als magisches Objekt im Himmel. Sie existiert nur, weil wir Regeln haben, wie man mit ihr rechnet (5 + 1 = 6, 5 ist größer als 4, etc.). Wenn die Regeln klar sind, ist die „Welt" der Zahlen klar.

3. Das Problem der „Unendlichen Liste"

Ein großes Problem in der alten Mathematik war: Wie beweist man, dass etwas für alle Zahlen gilt, wenn es unendlich viele gibt?

• Alte Sicht: Man muss eine unendliche Liste durchgehen. Das ist unmöglich.
• Gheorghius Sicht: Wenn unser Regelwerk (die Theorie) sagt: „Alles, was wir tun können, ist eine Zahl zu nennen", dann gibt es gar keine „geheime" Zahl, die wir nicht nennen können.
• Die Analogie: Stell dir vor, du hast einen Kasten mit Lego-Steinen. Wenn die Anleitung sagt: „Du darfst nur Steine aus diesem Kasten bauen", dann gibt es keine versteckten Steine unter dem Tisch. Wenn du beweist, dass jeder Stein im Kasten stabil ist, dann ist das ganze Bauwerk stabil. Du musst nicht annehmen, dass es noch Steine gibt, die du nicht sehen kannst.

4. Der Beweis: Ein einfaches Gewichts-System

Wie beweist Gheorghiu nun, dass die Mathematik nicht zusammenbricht (dass man nicht beweisen kann, dass 1 = 0 ist)?

Er baut ein Gewichtssystem für die Zahlen.

• Stell dir vor, jede Zahl und jeder Rechenausdruck hat ein Gewicht.
• Die Zahl „0" wiegt 0.
• Wenn du eine Zahl nimmst und „+1" machst (den Nachfolger), wird sie um 1 schwerer.
• Wenn du zwei Zahlen addierst, addieren sich ihre Gewichte.

Der Trick:
Gheorghiu zeigt, dass in seinem Regelwerk (dem „Basis-System") keine Regel erlaubt, dass zwei Dinge mit unterschiedlichem Gewicht gleichgesetzt werden.

• Die Zahl „1" wiegt 1.
• Die Zahl „0" wiegt 0.
• Da 1 ungleich 0 ist, kann man im System niemals beweisen, dass 1 = 0 ist.

Das ist der Beweis für die Konsistenz (Stabilität). Und das Tolle daran: Er braucht dafür keine komplizierten, unendlichen Ordinalzahlen oder magische Welten. Er braucht nur ganz normale, einfache Induktion (Schritt für Schritt), die wir alle im Alltag verstehen.

5. Warum ist das revolutionär?

Früher glaubten viele, man könne die Sicherheit der Mathematik nur beweisen, indem man auf ein noch höheres, sichereres mathematisches System schaut (wie einen Baumeister, der auf einen noch größeren Baumeister schaut). Das führt zu einem unendlichen Regress.

Gheorghiu sagt: Nein.
Wir müssen nicht auf eine höhere Ebene schauen. Wir müssen nur genau hinsehen, wie wir die Sprache der Mathematik gebrauchen.

• Wenn wir verstehen, was „Zahl" bedeutet (nämlich durch die Regeln des Addierens und Multiplizierens), dann wissen wir automatisch, dass das System stabil ist.
• Es ist wie beim Lernen eines Spiels: Wenn du die Regeln wirklich verstanden hast, weißt du sofort, dass ein Zug, der gegen die Regeln verstößt, unmöglich ist. Du brauchst keinen Gott, der dir sagt, das Spiel sei fair.

Zusammenfassung in einem Satz

Dieser Artikel zeigt, dass wir die Stabilität der Mathematik beweisen können, indem wir aufhören, nach geheimnisvollen, unsichtbaren Zahlenwelten zu suchen, und stattdessen einfach die Regeln unseres eigenen Sprachspiels genau analysieren – und dabei entdecken, dass das System von sich aus logisch und widerspruchsfrei ist.

Die Moral der Geschichte:
Manchmal ist die Antwort auf die größten philosophischen Fragen nicht, höher hinauf zu schauen, sondern tiefer in die eigenen Schuhe zu blicken. Die Mathematik ist sicher, weil wir sie so spielen, wie wir sie spielen.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papers von Alexander V. Gheorghiu auf Deutsch:

Technische Zusammenfassung: Klassische Arithmetik ohne Bivalenz

Autor: Alexander V. Gheorghiu (University of Southampton & UCL)
Titel: Classical Arithmetic Without Bivalence
Kontext: Anwendung der inferentialistischen Semantik (Sandqvist 2009) auf die Metamathematik, speziell auf die Konsistenz der Peano-Arithmetik (PA).

---

1. Das Problem

Die traditionelle Metamathematik operiert meist auf zwei Grundpfeilern:

1. Formalismus: Mathematik als Manipulation uninterpretierter Symbole. Dies führt zu Problemen wie der $\omega$-Unvollständigkeit (eine Theorie beweist $\varphi(n)$ für jede Ziffer $n$, aber nicht $\forall x \varphi(x)$), da die Ontologie nicht durch die Theorie bestimmt wird.
2. Denotationalismus (Realismus): Mathematische Ausdrücke referenzieren auf mind-unabhängige Strukturen. Dies setzt eine realistische Metaphysik und eine wahrheitsbedingte Bedeutungstheorie voraus, was aus anti-realistischer Sicht (nach Dummett) die Grundlagenfrage der Logik umgeht.

Das zentrale Problem ist die Rechtfertigung klassischer Schlussweisen (insbesondere in der Arithmetik) ohne Rückgriff auf transfinite Ordnungen oder eine ontologische Annahme einer vorgegebenen, unendlichen Welt. Zudem fehlt eine konsistente Begründung der Peano-Arithmetik (PA), die nicht auf die Gödelschen Unvollständigkeitssätze oder stärkere Metatheorien angewiesen ist.

2. Methodik: Inferentialistische Semantik nach Sandqvist

Das Paper nutzt Sandqvists Semantik für klassische Logik ohne Bivalenz, die auf dem Inferentialismus basiert. Die Bedeutung logischer Konstanten wird nicht durch Wahrheitstabellen oder Modelle, sondern durch ihre inferentielle Rolle definiert.

• Atomare Regeln und Basen (Definition 1 & 2): Eine "Basis" $B$ ist eine Menge atomarer Regeln (Inferenzfiguren), die die materiellen inferentiellen Verpflichtungen eines Agenten darstellen.
• Support-Relation ($\Vdash_B$): Die Gültigkeit einer Formel wird induktiv definiert (Abbildung 1 im Paper):
  • $\Vdash_B A$ (Atom) gilt, wenn $A$ in $B$ ableitbar ist.
  • $\Vdash_B \varphi \to \psi$ gilt, wenn $\varphi \Vdash_B \psi$.
  • $\Vdash_B \forall x \varphi$ gilt, wenn $\Vdash_B \varphi[x \mapsto t]$ für alle geschlossenen Terme $t$.
  • $\Vdash_B \bot$ gilt, wenn $\Vdash_B A$ für jede geschlossene Atomformel $A$.
• Ontologie: Im Gegensatz zum Denotationalismus wird die Ontologie nicht durch eine externe Struktur festgelegt, sondern durch die Terme der Sprache und ihre Inferenzrollen innerhalb der Theorie.

3. Wichtige Beiträge und Ergebnisse

A. Lösung des $\omega$-Unvollständigkeits-Problems

Das Paper führt den Begriff der numerischen Bestimmtheit (Definition 4) ein: Eine Theorie $\Gamma$ ist numerisch bestimmt, wenn für jeden geschlossenen Term $t$ eine Ziffer $\bar{n}$ existiert, sodass $\Gamma \Vdash (t = \bar{n})$.

• Proposition 5: Wenn $\Gamma$ numerisch bestimmt ist, ist sie $\omega$-vollständig. Das heißt, wenn $\Gamma \Vdash \varphi(\bar{n})$ für alle Ziffern $\bar{n}$, dann folgt $\Gamma \Vdash \forall x \varphi(x)$.
• Begründung: Da die Quantoren in dieser Semantik nur über die Terme der Sprache laufen (und nicht über eine externe Domäne), und die Theorie sicherstellt, dass alle Terme mit Ziffern identifiziert werden können, entfällt die Lücke zwischen "alle Ziffern" und "alle Elemente".

B. Induktion als bedeutungskonstitutiv

• Proposition 6: In numerisch bestimmten Theorien folgt das Induktionsprinzip direkt aus der numerischen Bestimmtheit.
• Interpretation: Induktion ist keine empirische Hypothese über eine vorgegebene Menge, sondern konstitutiv für das Verständnis der natürlichen Zahlen. Das Erfassen der arithmetischen Bedeutung manifestiert sich in der Fähigkeit, induktive Beweise zu führen.

C. Konsistenzbeweis für die Peano-Arithmetik (PA)

Das Kernstück des Papers ist Theorem 9, das die Konsistenz von PA beweist.

• Ansatz: Es wird eine spezifische Basis $A$ (Abbildung 2) konstruiert, die alle Axiome von PA (einschließlich der Gleichheitsaxiome und des Induktionsschemas) unterstützt, aber $\bot$ (Widerspruch) nicht unterstützt.
• Technik:
  1. Definition einer Gewichtsfunktion $w(t)$ auf geschlossenen Termen durch primitive Rekursion:
     • $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)$
  2. Es wird per Induktion über die Struktur der Ableitungen in $A$ gezeigt: Wenn $t_1 = t_2$ in einer Ableitung vorkommt, dann gilt $w(t_1) = w(t_2)$.
  3. Da $w(1) = 1$ und $w(0) = 0$, kann die Gleichung $1 = 0$(und damit$\bot$) in$A$ nicht abgeleitet werden.
• Ergebnis: Da eine Basis existiert, die PA unterstützt, aber inkonsistent ist, ist PA konsistent ($PA \nVdash \bot$).

4. Signifikanz und philosophische Implikationen

• Elementarer Beweis: Der Konsistenzbeweis verwendet ausschließlich Induktion über die natürlichen Zahlen. Er verzichtet vollständig auf transfinite Ordinalzahlen (wie im Gentzen-Beweis) oder auf eine realistische Ontologie.
• Kein Hilbert-Programm: Der Autor betont, dass dies keine Rückkehr zu Hilberts Programm ist. Es wird nicht behauptet, dass PA in einer formal schwächeren Metatheorie bewiesen werden kann. Vielmehr wird die Inferentialismus-Position vertreten, bei der die Semantik selbst (die Support-Relation) die Bedeutung der Logik erklärt.
• Umgang mit Einwänden:
  • Formalistischer Einwand: Die Definition der Support-Relation ist komplexer als die Arithmetik selbst.
    • Antwort: Dies ist kein Defekt, da der Inferentialismus die Semantik als meta-theoretische Erklärung der Sprachverwendung sieht, nicht als arithmetisierbare Formel.
  • Modelltheoretischer Einwand: Der Beweis nutzt die natürlichen Zahlen (Induktion), verschiebt also das Problem nur.
    • Antwort: Im Inferentialismus ist das Verständnis der natürlichen Zahlen identisch mit dem Verständnis ihrer inferentiellen Rolle. Induktion ist keine Annahme über eine externe Welt, sondern Teil der Begriffsbedeutung.
• Vollständigkeit: Das Paper zeigt zudem, dass die Ergebnisse auch in einer erweiterten Sprache mit unendlich vielen Konstanten (für einen Vollständigkeitssatz) gelten, wobei die zusätzlichen Konstanten als alternative Namen für Null behandelt werden können.

Fazit

Gheorghiu demonstriert, dass Sandqvists inferentialistische Semantik eine robuste Grundlage für die Metamathematik bietet. Sie ermöglicht einen konsistenten, elementaren Beweis der Peano-Arithmetik, löst das Problem der $\omega$-Unvollständigkeit durch die ontologische Festlegung der Terme und etabliert die Induktion als bedeutungskonstitutives Prinzip, ohne auf realistische Metaphysik oder transfinite Methoden zurückgreifen zu müssen.