🔢 mathematics

Modal Extensions of CLoN with Bi-neighborhood Semantics

Dieses Paper führt eine Bi-Nachbarschaftssemantik für nicht-normale modale Erweiterungen der Sublogik CLoN von FDE ein und zeigt auf, wie man Axiome unter Verwendung schwacher Negation validiert, um deontische Logiken zu konstruieren, die sowohl Standardprinzipien als auch moralische Dilemmata aufnehmen können, ohne zu trivialisieren.

Ursprüngliche Autoren: Mahan Vaz, Daniel Skurt

Veröffentlicht 2026-06-30

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Mahan Vaz, Daniel Skurt

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

Stellen Sie sich vor, Sie versuchen, ein Regelwerk für eine sehr seltsame, chaotische Stadt zu erstellen. In dieser Stadt funktionieren die üblichen Regeln der Logik nicht immer. Manchmal kann eine Aussage gleichzeitig wahr und falsch sein (wie eine Ampel, die gleichzeitig rot und grün ist), oder sie ist weder wahr noch falsch (wie eine Ampel, die kaputt und unbeleuchtet ist).

Dieses Papier befasst sich mit der Erstellung eines neuen, flexiblen Regelwerks für diese chaotische Stadt, speziell für den Umgang mit Verpflichtungen (was Menschen tun müssen) und Möglichkeiten (was Menschen tun können), selbst wenn die Stadt voller Widersprüche ist.

Hier ist die Aufschlüsselung der Ideen des Papers unter Verwendung einfacher Analogien:

1. Das Fundament: Eine Stadt mit „fehlerhafter“ Logik

Die Autoren beginnen mit einer Basislogik namens CLoN. Betrachten Sie dies als eine Stadt, in der die Regeln für „UND“, „ODER“ und „WENN... DANN“ perfekt funktionieren, genau wie in unserer normalen Welt. Jedoch ist die Regel für NICHT (Negation) fehlerhaft oder „glitchy“.

Das Problem: In der normalen Logik gilt: Wenn man weiß, dass „es regnet“, weiß man automatisch, dass „es NICHT sonnig ist“. In dieser fehlerhaften Stadt sagt das Wissen darüber, dass „es regnet“, nicht automatisch etwas darüber aus, dass „es NICHT sonnig ist“. Der „NICHT“-Knopf ist locker; er hat keine feste Regel dafür, was passiert, wenn man ihn drückt.
Das Ziel: Die Autoren wollen diesen „Modaloperatoren“ (wie Muss und Kann) hinzufügen, um diese fehlerhafte Stadt zu erweitern, ohne sie weiter zu beschädigen. Sie wollen sagen: „Du musst anhalten“ oder „Es ist möglich, zu gehen“, selbst wenn die Logik des „Anhaltens“ oder „Gehens“ chaotisch ist.

2. Die Lösung: Zwei getrennte Nachbarschaften

Um dieses Chaos zu bewältigen, erfinden die Autoren eine neue Art, die Stadt zu betrachten, die sich Bi-Nachbarschafts-Semantik nennt.

Stellen Sie sich vor, jeder Bewohner der Stadt hat zwei separate Listen von Nachbarn:

Die Verifizierungsliste (Die „Ja“-Nachbarschaft): Diese Liste enthält alle Orte, an denen eine Aussage als wahr gilt.
Die Ablehnungsliste (Die „Nein“-Nachbarschaft): Diese Liste enthält alle Orte, an denen eine Aussage als falsch (oder abgelehnt) gilt.

In der normalen Logik sind diese beiden Listen perfekte Gegensätze. Wenn ein Ort auf der „Ja“-Liste steht, kann er nicht auf der „Nein“-Liste stehen. Aber in der Stadt dieses Papers sind diese Listen unabhängig.

Ein Ort kann auf der „Ja“-Liste stehen, aber nicht auf der „Nein“-Liste (Wahr, aber nicht Falsch).
Ein Ort kann auf der „Nein“-Liste stehen, aber nicht auf der „Ja“-Liste (Falsch, aber nicht Wahr).
Ein Ort kann auf beiden Listen stehen (Wahr UND Falsch).
Ein Ort kann auf keiner der Listen stehen (Weder Wahr noch Falsch).

Diese Unabhängigkeit ist der Schlüssel. Da der „NICHT“-Operator fehlerhaft ist, behandeln die Autoren die „Ja“- und „Nein“-Listen wie separate Räume. Sie zwingen sie nicht dazu, Spiegelbilder voneinander zu sein. Dies ermöglicht es ihnen, „Muss“ und „Kann“ zu definieren, ohne genau wissen zu müssen, wie sich „NICHT“ verhält.

3. Das Aufbauen der Regeln (Die Axiome)

Die Autoren zeigen, dass sie selbst mit diesem fehlerhaften „NICHT“ ein solides System für Verpflichtungen und Möglichkeiten aufbauen können.

Der „Muss“-Operator (Notwendigkeit): Sie definieren „Du musst X tun“ durch den Blick auf die „Ja“-Nachbarschaft. Wenn alle Nachbarn in deiner „Ja“-Liste zustimmen, dass X geschieht, dann „musst“ du X tun.
Der „Kann“-Operator (Möglichkeit): Sie definen „Du kannst X tun“ unabhängig davon, mithilfe eines separaten Satzes von Regeln für die „Ja“-Nachbarschaft.

Entscheidend ist, dass sie zeigen, dass man Standardregeln hinzufügen kann (wie „Wenn du A tun musst und B tun musst, dann musst du A und B tun“), ohne dass das gesamte System in Unsinn kollabiert.

4. Der reale Nutzen: Moralische Dilemmata

Das Paper argumentiert, dass diese spezifische Art der Logik perfekt zur Lösung von moralischen Dilemmata ist.

Das Szenario: Stellen Sie sich eine Person vor, nennen wir sie Sarah, die vor einer schrecklichen Entscheidung steht.

Sie hat die moralische Pflicht, ihr Kind zu retten (Verpflichtung A).
Sie hat die moralische Pflicht, ihren Ehepartner zu retten (Verpflichtung B).
Aber sie kann physisch nicht beide gleichzeitig retten.

In der normalen Logik erzeugt dies ein Paradoxon. Wenn sie das Kind retten muss und den Ehepartner retten muss, aber nicht beides gleichzeitig tun kann, bricht das System zusammen. Dies führt zur „Trivialisierung“, was bedeutet: „Da du versagt hast, kannst du genauso gut ein Verbrechen begehen, oder das Universum explodiert.“

Die Lösung des Papers:
Unter Verwendung ihres „Bi-Nachbarschafts“-Systems bricht Sarahs Situation die Logik nicht zusammen.

Das System akzeptiert, dass sie einen Konflikt der Verpflichtungen hat.
Es erlaubt der Aussage, dass „Sarah das Kind retten muss“ wahr UND „Sarah den Ehepartner retten muss“ wahr ist, obwohl sie sich in der Realität widersprechen.
Da die Logik darauf ausgelegt ist, „Fehler“ (Widersprüche) zu handhaben, ohne zu explodieren, kann sie dieses moralische Drama modellieren, ohne zu behaupten, dass Sarah eine Kriminelle ist oder das Universium endet. Sie stellt lediglich fest, dass das Dilemma existiert und unlösbar ist, ohne eine „falsche“ Antwort erzwingen zu wollen.

Zusammenfassung

Die Autoren haben ein neues mathematisches Werkzeug (ein Logiksystem) entwickelt, das „Wahr“ und „Falsch“ als zwei separate, unabhängige Listen behandelt. Dies ermöglicht es ihnen, Regeln für „Muss“ und „Kann“ zu erstellen, die auch dann funktionieren, wenn das Konzept von „NICHT“ fehlerhaft ist. Sie beweisen, dass dies mathematisch funktioniert, und schlagen vor, dass dies der beste Weg ist, um moralische Dilemmata formal zu verstehen, bei denen Menschen gezwungen sind, zwischen zwei widersprüchlichen Pflichten zu wählen, ohne dass das Logiksystem zusammenbricht.

Technisches Resümee: Modale Erweiterungen für CLoN mit Bi-Nachbarschaftssemantik

Problemstellung
Die Arbeit adressiert die Herausforderung der Konstruktion nicht-normaler modaler Logiken auf Basis von CLoN (Classical Logic both gappy and glutty with respect to Negation), einem Subsystem von FDE (First Degree Entailment). CLoN wird als positive klassische Logik charakterisiert, die um einen Negationsoperator ( $\neg$ ) erweitert wurde, welcher keine spezifischen Axiome oder semantischen Falsitätsbedingungen besitzt. Folglich ist $\neg$ in CLoN nicht kongruent (es erfüllt nicht die Ersetzungseigenschaft), und die Logik ist sowohl parakonsistent als auch parakomplett.

Bestehende Ansätze zu modalen Erweiterungen von CLoN-basierten Systemen setzen oft starke Axiome (wie das Axiom K) von vornherein voraus oder nutzen Kripke-Semantik, was für spezifische philosophische Anwendungen wie die Deontische Logik zu restriktiv sein kann. Zudem kann die Standard-Dualität zwischen Notwendigkeit ( $\Box$ ) und Möglichkeit ( $\Diamond$ ) in CLoN nicht definiert werden, da es an Falsitätsbedingungen für die Negation mangelt. Die Autoren identifizieren eine Lücke in der Literatur hinsichtlich einer systematischen, minimalen Nachbarschaftssemantik für CLoN, die die schwache Negation aufnimmt, ohne das System zu trivialisieren, insbesondere für Anwendungen im Bereich moralischer Dilemmata, bei denen widersprüchliche Verpflichtungen ohne Explosion behandelt werden müssen.

Methodik
Die Autoren verwenden die Bi-Nachbarschaftssemantik (bi-neighborhood semantics), ein Framework, das aus vorangegangenen Arbeiten über FDE-basierte nicht-normale modale Logiken adaptiert wurde (Dalmonte et al., 2018; Drobyshevich und Skurt, 2021). Die Methodik umfasst die folgenden Kernkomponenten:

Basislogik (CLoN, CLuN, CLaN): Das propositionale Fundament wird über ein Hilbert-Kalkül definiert, das positive klassische Axiome enthält, aber keine Regeln für die Negation. Semantisch nutzen die Autoren Swap-Strukturen (nicht-deterministische Matrizen), bei denen Wahrheitswerte Paare $(v_1, v_2)$ darstellen, die Verifikations- und Ablehnungsbedingungen repräsentieren.
- CLoN: Das Basissystem ohne Einschränkungen bezüglich der Beziehung zwischen Verifikation und Ablehnung.
- CLuN: Erreicht durch das Hinzufügen des Satzes vom ausgeschlossenen Dritten ( $\phi \lor \neg \phi$ ), was erzwingt, dass jede Welt eine Formel entweder verifiziert oder ablehnt (parakonsistent).
- CLaN: Erreicht durch das Hinzufügen des Explosionsprinzips ( $\phi \to (\neg \phi \to \psi)$ ), was erzwingt, dass keine Welt eine Formel sowohl verifiziert als auch ablehnt (parakomplett).
Bi-Nachbarschafts-Frames: Die modale Logik CLoNE wird unter Verwendung von Frames $\mathcal{W} = \langle W, N^+_2, N^+_3 \rangle$ (und später erweitert mit $N^-_2, N^-_3$ ) definiert.
- Verifikationsmengen ( $[\phi]^+$ ): Definiert über eine Nachbarschaftsfunktion $N^+$ , wobei $w \in [\Box \phi]^+$ gilt, wenn $[\phi]^+ \in N^+_2(w)$ .
- Ablehnungsmengen ( $[\phi]^-$ ): Unabhängig definiert über eine separate Nachbarschaftsfunktion $N^-$ . Entscheidend ist, dass die Ablehnungsmenge einer modalen Formel nicht aus der Verifikationsmenge ihrer Negation abgeleitet wird (aufgrund der schwachen Negation). Stattdessen ist $[\Box \phi]^-$ definiert als $\{w \in W \mid [\phi]^- \in N^-_2(w)\}$ .
- Unabhängigkeit: Die Operatoren $\Box$ und $\Diamond$ werden unabhängig definiert, statt als Duale. Dies ermöglicht es der Logik, negierte Modalitäten (z. B. $\neg \Box \phi$ ) zu handhaben, ohne Standard-Dualitätsaxiome zu erfordern.
Extensionalitätsregeln: Das System übernimmt die Extensionalitätsregel ( $\phi \leftrightarrow \psi / \Box \phi \leftrightarrow \Box \psi$ ) für das positive Fragment, erkennt jedoch an, dass die schwache Negation die Kongruenz für negierte Formeln verhindert. Um negierte Modalitäten zu handhaben, führt das System eine spezifische Extensionalitätsregel für die Negation ein: $\neg \phi \leftrightarrow \neg \psi / \neg \Box \phi \leftrightarrow \neg \Box \psi$ .
Beweissysteme: Die Autoren etablieren Korrektheit und Vollständigkeit für CLoNE und seine Erweiterungen bezüglich der Klasse von Bi-Nachbarschafts-Frames. Zur Beweis der Vollständigkeit nutzen sie kanonische Modelle, die aus primen Theorien konstruiert wurden.

Zentrale Beiträge und Ergebnisse

Formalisierung von CLoNE: Die Arbeit präsentiert CLoNE, die minimale nicht-normale modale Erweiterung von CLoN, ausgestattet mit einer korrekten und vollständigen Bi-Nachbarschaftssemantik.
Handhabung schwacher Negation: Das Framework validiert erfolgreich nicht-triviale Axiome, die den schwachen Negationsoperator enthalten, indem es unabhängige Ablehnungsmengen für modale Operatoren definiert. Dies erlaubt den Ausdruck negierter Modalitäten, ohne in eine klassische Dualität zu kollabieren.
Axiomatische Erweiterungen: Die Autoren charakterisieren verschiedene axiomatische Erweiterungen (M, C, K, T, 4, D, etc.) in Bezug auf Frame-Eigenschaften.
- Positive Erweiterungen: Standardaxiome wie M (Augmentierung) und C (Abschluss) entsprechen Eigenschaften der Verifikations-Nachbarschaftsfunktionen.
- Negierte Erweiterungen: Neue Axiome unter Einbeziehung der Negation (z. B. $M^-$ , $C^-$ , $T^-$ ) werden als Korrespondenzen zwischen Verifikations- und Ablehnungs-Nachbarschaftsfunktionen gezeigt.
Multimodale Fähigkeiten: Das Framework unterstützt multimodale Systeme, in denen verschiedene Modalitäten (z. B. Verpflichtung und Möglichkeit) von unabhängigen Nachbarschaftsfunktionen gesteuert werden, die nur durch spezifische Brückenprinzipien (z. B. Interaktionsaxiome) verbunden sind.
Vollständigkeit: Das Papier beweist, dass CLoNE und seine kanonischen Erweiterungen korrekt und vollständig bezüglich ihrer jeweiligen Klassen von Frames sind.

Bedeutung und Behauptungen
Die Autoren behaupten, dass diese Arbeit die notwendige semantische Grundlage für deontische Logiken liefert, die in der Lage sind, moralische Dilemmata aufzunehmen, ohne zu trivialisieren.

Moralische Dilemmata: In Standard-Deontischen Logiken führt das Vorhandensein echter moralischer Dilemmata (konfliktierende Verpflichtungen, die nicht gelöst werden können) oft zu logischer Explosion (Trivialität), wenn sie mit Standardprinzipien wie Aggregation (Axiom C) oder dem Explosionsprinzip kombiniert werden.
Parakonsistenz: Durch die Basisierung des Systems auf CLuN (einer Erweiterung von CLoN) erlaubt das Framework die Koexistenz konfliktierender Verpflichtungen ( $O\phi$ und $O\neg\phi$ ), ohne willkürliche Schlussfolgerungen abzuleiten.
Unabhängigkeit der Modalitäten: Der Bi-Nachbarschafts-Ansatz ermöglicht die Modellierung distinkter modaler Konzepte (z. B. Verpflichtung vs. metaphysische Möglichkeit), die nicht auf klassischer Dualität beruhen. Dies ist entscheidend für die Formalisierung von Szenarien, in denen Verpflichtungen nicht anfechtbar sind und Standard-Logik-Lösungen versagen.
Philosophischer Nutzen: Das Paper argumentiert, dass gerade die Einschränkung der klassischen Inferenzen durch die schwache Negation es dem System ermöglicht, „unlösbare“ deontische Situationen natürlich zu modellieren, indem die „künstliche“ Einführung von Konsistenzoperatoren vermieden wird, wie sie in anderen parakonsistenten deontischen Logiken (wie LFIs) vorkommt.

Das Paper schließt mit der Feststellung, dass das vorgeschlagene Framework ein flexibles, mathematisch rigoroses Werkzeug zur Untersuchung nicht-standardmäßiger philosophischer Positionen bietet, insbesondere solcher, die Widersprüche in der moralischen Argumentation beinhalten, während es gleichzeitig eine minimale Bindung an modale Axiome wahrt.