🔢 mathematics

Classical Logic as Intuitionistic Logic with Duality

Dieses Paper schlägt eine neuartige beweistheoretische Semantik für die klassische Logik vor, welche die intuitionistische Logik erweitert, indem sie über primitive duale Literale anstelle von atomaren Propositionen operiert, und demonstriert damit, dass die klassische Logik als eine durch ein inferenziell kodiertes Dualitätsprinzip ergänzte intuitionistische Logik verstanden werden kann.

Ursprüngliche Autoren: Alexander V. Gheorghiu, Yll Buzoku

Veröffentlicht 2026-06-03

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Alexander V. Gheorghiu, Yll Buzoku

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Die große Idee: Logik als ein Spiel von „Ja“ und „Nein“

Stellen Sie sich vor, Sie versuchen einem Freund zu erklären, wie Logik funktioniert. Normalerweise denken wir bei Logik an einen Satz von Regeln, um zu bestimmen, was Wahr und was Falsch ist.

Dieses Paper schlägt einen anderen Weg vor, dies zu betrachten. Anstatt zu fragen: „Ist diese Aussage wahr?“, fragen die Autoren: „Kann ich dies behaupten?“ (also „Ja“ sagen) oder „Kann ich dies leugnen?“ (also „Nein“ sagen).

Ihr Hauptmotto lautet:

Klassische Logik = Intuitionistische Logik + Dualität

Auf einfachem Deutsch gesagt: Sie sagen, dass die komplexe, „klassische“ Logik, die wir in Mathematik und Wissenschaft verwenden, eigentlich nur die einfachere, „intuitionistische“ Logik (die sehr streng in Bezug auf Beweise ist) plus eine spezielle Regel ist, die „Ja“ und „Nein“ von vornherein als zwei gleichwertige, entgegengesetzte Kräfte behandelt.

Die Besetzung

Um ihren Argumentation zu verstehen, müssen wir die drei Hauptcharaktere ihrer Geschichte kennenlernen:

Der Inhalt (Das „Was“): Dies ist die rohe Idee, wie zum Beispiel „Das Konzert ist gut“.
Die Kraft (Das „Wie“): Dies ist die Art und Weise, wie Sie die Idee vermitteln. Sie können sie behaupten (sagen: „Das Konzert ist gut!“) oder sie leugnen (sagen: „Das Konzert ist schlecht!“).
Die Formel (Die „Struktur“): Dies ist der komplexe Satz, der aus diesen Ideen aufgebaut ist, wie zum Beispiel: „Wenn das Konzert gut ist, dann bleibe ich.“

Der alte Weg vs. der neue Weg

Der alte Weg (Traditionelle Logik):
Stellen Sie sich vor, Sie haben einen Lichtschalter. Er ist entweder AN (Wahr) oder AUS (Falsch).

Wenn Sie „Nein“ sagen wollen, drehen Sie den Schalter einfach auf AUS.
In dieser Sichtweise ist „Leugnen“ einfach dasselbe wie das „Behaupten des Gegenteils“.
Das Problem: Die Autoren sagen, das sei zu simpel. Es setzt voraus, dass wir die Antwort bereits als „Ja“ oder „Nein“ kennen, noch bevor wir überhaupt mit dem Argumentieren beginnen. Es ist so, als würde man voraussetzen, dass der Lichtschalter funktionieren muss, noch bevor man ihn überhaupt eingesteckt hat.

Der neue Weg (Der Ansatz der Autoren):
Stellen Sie sich ein Gespräch zwischen zwei Personen vor, einem „Ja-Sager“ und einem „Nein-Sager“.

Sie beginnen nicht mit einem Lichtschalter. Sie beginnen mit Literalen.
Ein Literal ist ein grundlegender Sprechakt.
- Positiver Literal: „Ich behaupte: Das Konzert ist gut.“
- Negativer Literal: „Ich leugne: Das Konzert ist gut“ (was so viel bedeutet wie „Das Konzert ist schlecht“).
Entscheidender Punkt: Diese beiden sind nicht durch einander definiert. Man sagt nicht: „Leugnung ist nur das Gegenteil von Behauptung“. Sie sind zwei separate, primitive Werkzeuge, wie ein Hammer und ein Schraubendreher. Man kann einen Hammer nicht in einen Schraubendreher verwandeln, indem man ihn einfach umdreht; sie sind grundlegend verschiedene Werkzeuge.

Das Geheimnis der „Dualität“

Das Paper argumentiert, dass man, um von der einfachen Logik (Intuitionistisch) zur komplexen Logik (Klassisch) zu gelangen, lediglich eine Regel darüber hinzufügen muss, wie diese „Ja“- und „Nein“-Werkzeuge auf der untersten Ebene interagieren.

Sie führen zwei einfache Regeln für diese Basistools ein:

Die „Ausschluss“-Regel: Man kann nicht gleichzeitig „Ja“ und „Nein“ zu genau derselben Sache sagen. Wenn man versucht, „Das Konzert ist gut“ zu behaupten UND „Das Konzert ist gut“ zu leugnen, stürzt das System ab (man erhält einen Widerspruch oder „Absurdität“).
Die „Fallunterscheidungs“-Regel: Wenn man ein Ergebnis beweisen kann, egal ob man „Ja“ oder „Nein“ annimmt, dann muss man nicht wissen, welches von beiden wahr ist, um das Ergebnis zu erhalten. Man kann einfach sagen: „Es ist auf jeden Fall bewiesen.“

Die Analogie:
Stellen Sie sich vor, Sie versuchen, in einen Club zu kommen.

Intuitionistische Logik: Sie benötigen eine spezifische Einladung (einen Beweis), um hineinzukommen. Wenn Sie keine haben, können Sie nicht eintreten.
Klassische Logik (mit Dualität): Sie können reinkommen, wenn Sie einen „Ja“-Pass ODER einen „Nein“-Pass haben (der wie ein „Nein, ich bleibe nicht draußen“-Pass fungiert).
Die Autoren zeigen, dass man mit diesen zwei Pässen (Behauptung und Leugnung) und den beiden oben genannten Regeln die gesamte Struktur der klassischen Logik aufbauen kann, ohne jemals voraussetzen zu müssen, dass ein „Wahr/Falsch“-Universum existiert.

Warum das wichtig ist (Das „Warum sollte mich das interessieren?“)

Die Autoren lösen ein philosophisches Rätsel.

Das Rätsel: Wie können wir die klassische Logik verwenden (die davon ausgeht, dass alles entweder wahr oder falsch ist), wenn wir „Anti-Realisten“ sind (Menschen, die glauben, dass Wahrheit etwas ist, das wir durch Beweise konstruieren, und nicht etwas, das einfach so in der Welt schwebt)?
Die Lösung: Indem sie „Ja“ und „Nein“ als zwei gleichwertige, primitive Sprechakte behandeln, zeigen sie, dass die klassische Logik nicht voraussetzen muss, dass eine „Wahr/Falsch“-Welt im Voraus existiert. Sie benötigt nur die Regeln dafür, wie wir mit „Ja“ und „Nein“ argumentieren.

Die technische Leistung

Das Paper unternimmt etwas mathematisch sehr Cleveres:

Sie nehmen die Standardregeln für die intuitive Logik (die bereits gut verstanden sind).
Sie fügen die „Dualitäts“-Regeln (Ausschluss und Fallunterscheidung) nur auf der untersten Ebene (den Literalen) hinzu.
Sie beweisen, dass diese einfache Ergänzung das volle, leistungsstarke System der klassischen Logik erschafft.

Sie nennen dies Base-Extension Semantics (Basis-Erweiterungs-Semantik). Denken Sie daran wie beim Bau eines Hauses:

Intuitionistische Logik ist das Fundament und das Gerüst.
Klassische Logik ist dasselbe Haus, aber mit einer speziellen „Dualen Tür“ an der Basis installiert.
Sobald diese Tür vorhanden ist, funktioniert das gesamte Haus anders; es ermöglicht all das komplexe Denken, das wir in der klassischen Mathematik verwenden, aber es wurde nur mit den einfachen, konstruktiven Ziegeln der intuitionistischen Logik gebaut.

Zusammenfassung

Das Paper sagt: Klassische Logik ist keine mysteriöse, bereits existierende Wahrheit. Sie ist einfach nur Intuitionistische Logik (Logik basierend auf Beweisen) plus die einfache Vereinbarung, dass „Ja“ und „Nein“ zwei gleichwertige, entgegengesetzte Kräfte sind, die wir nutzen können, um komplexe Argumente aufzubauen.

Indem sie die „Leugnung“ als ein primitives Werkzeug behandeln und nicht bloß als das „Behaupten des Gegenteils“, bieten sie einen frischen, konstruktiven Weg, um zu verstehen, wie klassisches Denken funktioniert, ohne glauben zu müssen, dass ein magisches „Wahr/Falsch“-Universum existiert.

Technisches Resümee: Klassische Logik als intuitionistische Logik mit Dualität

1. Das Problem
Die Arbeit adressiert eine fundamentale Herausforderung in der Bedeutungstheorie: die Bereitstellung einer beweistheoretischen Semantik (P-tS) für die klassische Logik, die anti-realistischen (konstruktivistischen) Prinzipien folgt, ohne das Prinzip der Bivalenz oder verifikationstranszendente Wahrheit vorauszusetzen. Während Sandqvist erfolgreich eine Basis-Extensions-Semantik (B-eS) für die intuitionistische Logik (IPL) und eine Version für die klassische Logik (CPL) entwickelt hat, bleiben Einschränkungen bestehen. Sandquists CPL-Semantik ist auf spezifische Junktoren beschränkt (ursprünglich $\to, \bot, \forall$ ) und stützt sich auf einen technisch komplexen Vollständigkeitsbeweis unter Verwendung von Bar-Induktion. Bestehende Ansätze haben zudem oft Schwierigkeiten, die volle propositionale Sprache (einschließlich $\lor$ und $\exists$ ) konstruktiv zu behandeln. Die Autoren zielen darauf ab, dies zu lösen, indem sie eine B-eS für die volle klassische Aussagenlogik anbieten, die einen elementaren, konstruktiven Vollständigkeitsbeweis ermöglicht, und damit Dummetts Herausforderung beantworten, die Rekonziliation klassischer Inferenz mit anti-realistischer Bedeutung zu vollziehen.

2. Methodik und philosophischer Rahmen
Die Autoren schlagen einen bilateralistischen Rahmen vor, in dem die klassische Logik als „Intuitionistische Logik + Dualität“ konzipiert wird. Dieser Ansatz weicht von traditionellen Ansichten ab, indem er zwischen Inhalt und illokutorischer Kraft auf der atomaren Ebene unterscheidet, während komplexe Formeln als logisch-grammatische Strukturen behandelt werden, die selbst keine Propositionen mit Kraft sind.

Literale als Propositionen: Das System führt „Literale“ ( $L$ ) als die einzigen Objekte der Behauptung und des Bestreitens ein. Ein Inhalt $c$ wird mit einer Kraft gepaart, um ein positives Literal ( $c^+$ , Behauptung) oder ein negatives Literal ( $c^-$ , Bestreiten) zu bilden. Entscheidend ist, dass die Dualität primitiv ist: $c^+$ und $c^-$ sind unabhängige atomare Sprechakte, nicht über die Negation ( $\neg$ ) definiert.
Logisch-grammatische Strukturen: Komplexe Formeln (z. B. $\phi \land \psi$ ) sind keine Propositionen, die behauptet oder bestritten werden können, sondern Strukturen, die das Schließen organisieren. Folglich ist die bilaterale Unterscheidung (Behauptung vs. Bestreiten) auf die atomare Ebene (Literale) beschränkt.
Inferentielle Dualität: Klassizität wird nicht durch das Hinzufügen einer Wahrheitswertsemantik wiederhergestellt, sondern durch die Einführung zweier harmonischer inferentieller Prinzipien auf der atomaren Ebene (folgend nach Negri und von Plato):
1. Exklusion (EXC1): Das Behaupten und Bestreiten desselben Inhalts führt zur Absurdität ( $l, l^\perp \vdash \bot$ ).
2. Fallunterscheidung (EXC2): Wenn eine Konklusion sowohl aus einer Behauptung als auch aus deren dualem Bestreiten folgt, folgt sie unmittelbar ( $\text{wenn } l \vdash \phi \text{ und } l^\perp \vdash \phi, \text{ dann } \vdash \phi$ ).

3. Technische Entwicklung

Natürliche Deduktion ( $NK^\pm$ ): Die Autoren definieren ein System der natürlichen Deduktion, das aus den Standard-Intuitionistischen Regeln ($NJ$) plus den atomaren Dualitätsregeln (EXC1 und EXC2) besteht. Dieses System behandelt Literale als Basis, wobei komplexe Formeln über Standard-Junktoren aufgebaut werden.
Basis-Extensions-Semantik (B-eS):
- Basen ( $B$ ): Eine Basis ist eine Menge atomarer Regeln (inferentielle Beziehungen zwischen Literalen).
- Ableitbarkeit ( $\vdash_B$ ): Die Ableitbarkeit in einer Basis wird induktiv definiert. Sie umfasst die Standard-Strukturregeln (Reflexivität, Applikation) sowie die zwei neuen Klauseln (exc1, exc2), welche die Dualität auf der Ebene der Literale erzwingen.
- Support ( $\Vdash_B$ ): Die Gültigkeit einer Formel wird induktiv auf der Struktur der Formeln definiert. Entscheidend ist, dass die Support-Klauseln für die Junktoren ( $\to, \land, \lor$ ) identisch mit Sandquists intuitionistischen Definitionen sind. Der klassische Charakter der Semantik wird vollständig durch die Dualitätsklauseln in der Definition der Ableitbarkeit in der Basis getragen, nicht durch die Support-Klauseln für komplexe Formeln.
- Gültigkeit ( $\Gamma \Vdash \phi$ ): Eine Formel ist gültig, wenn sie in jeder Basis unterstützt wird.

4. Zentrale Ergebnisse

Korrektheit (Theorem 5.1): Das System ist korrekt: Wenn $\Gamma \vdash_{NK^\pm} \phi$ , dann $\Gamma \Vdash \phi$ . Der Beweis erfolgt durch Induktion über die Ableitung und zeigt, dass die klassischen Regeln (EXC1, EXC2) den Support bewahren.
Vollständigkeit (Theorem 6.2): Das System ist vollständig: Wenn $\Gamma \Vdash \phi$ $Γ ⊩ ϕ$ , dann $\Gamma \vdash_{NK^\pm} \phi$ $Γ ⊢_{N K^{\pm}} ϕ$ .
- Der Beweis adaptiert Sandquists elementare Methode für die intuitionistische Logik.
- Er nutzt eine „Simulationsbasis“ ( $\mathcal{N}$ ), die aus den Subformeln des Sequents konstruiert wird.
- Ein „Flattening“-Operator bildet komplexe Formeln auf atomare Literale innerhalb der Simulationsbasis ab.
- Das „Naturalisierungs“-Lemma zeigt, dass die Ableitbarkeit in der Simulationsbasis zurück in die Ableitbarkeit in $NK^\pm$ übersetzt werden kann.
- Im Gegensatz zu früheren Ansätzen behandelt dieser Beweis die volle propositionale Sprache (einschließlich $\lor$ ) und stützt sich auf elementare mathematische Ressourcen, wodurch Bar-Induktion oder kanonische Modelle vermieden werden.

5. Bedeutung und Ansprüche
Das Paper beansprucht, eine neuartige beweistheoretische Semantik für die klassische Logik zu liefern, die:

IPL und CPL vereinheitlicht: Es zeigt, dass die klassische Logik als die durch ein primitives Prinzip der Dualität auf der atomaren Ebene ergänzte intuitionistische Logik verstanden werden kann.
Den Anti-Realismus respektiert: Durch den Verzicht auf Wahrheitswerte und Bivalenz sowie durch einen konstruktiven Vollständigkeitsbeweis bietet es eine genuin anti-realistische Fundierung für die klassische Logik und adressiert damit Dummetts fundamentale Herausforderung.
Technische Komplexität vereinfacht: Durch die Beschränkung der Bilateralität auf Literale und die Behandlung komplexer Formeln als strukturell erreichen die Autoren einen Vollständigkeitsbeweis von „strikingly elementary character“, der mit Sandquists Arbeit zur intuitionistischen Logik vergleichbar ist, und überwinden damit die technischen Schwierigkeiten früherer klassischer B-eS-Versuche.
Eine Alternative zur Modelltheorie bietet: Die Autoren positionieren diese Arbeit als Alternative zu modelltheoretischen Semantiken und bestehenden P-tS-Ansätzen, die auf modelltheoretischen Konzepten (wie denen von Makinson oder Eckhardt und Pym) beruhen, mit dem Ziel, eine rein inferentialistische Account der klassischen Logik zu etablieren.

Das Paper schließt mit dem Hinweis, dass dieser Rahmen die Möglichkeit eröffnet, systematische Behandlungen klassischer Logiken analog zu der bereits für intuitionistische Logiken innerhalb der P-tS-Tradition etablierten systematischen Behandlung vorzunehmen.