Classification and deontic explosion for contrary-to-duty obligations

1. Problemstellung

Das Paper adressiert das Problem der formalen Modellierung von konträren Pflichten (Contrary-to-Duty, CTD) in der deontischen Logik. CTD-Obligationen liegen vor, wenn eine primäre Pflicht verletzt wird und daraus eine sekundäre, abgeleitete Pflicht entsteht (z. B. „Du solltest nicht lügen; wenn du jedoch lügst, solltest du es gestehen").

Carmo und Jones haben zwischen 1997 und 2022 eine Reihe von Axiomensystemen für bedingte Verpflichtungen ($ob(X)$ im Kontext $Y$) entwickelt. Das Ziel dieses Papers ist es, diese Systeme kritisch zu untersuchen. Der Autor identifiziert ein spezifisches Paradoxon (eine Form der „deontischen Explosion") in den jüngsten Systemen, zeigt aber gleichzeitig, dass die stärksten Systeme eine überraschende mathematische Struktur aufweisen, die eine vollständige Klassifikation ihrer Modelle erlaubt.

2. Methodik

Der Autor verwendet eine Kombination aus formaler Logik, Modelltheorie und computergestützter Verifikation:

• Axiomatische Analyse: Das Paper analysiert die Axiome 5(a) bis 5(g) von Carmo und Jones, die Bedingungen für eine Funktion $ob: P(W) \to P(P(W))$ definieren (wobei $W$ die Menge der möglichen Welten ist).
• Konstruktion von Gegenbeispielen: Durch die Kombination spezifischer Axiome (insbesondere 5(b), 5(e) und 5(f)) wird ein logisches Argument konstruiert, das zu einem intuitiv falschen Ergebnis führt.
• Modellklassifikation: Für das stärkste System (basierend auf den Axiomen aus [CJ97]) werden alle Modelle charakterisiert, die diese Axiome erfüllen.
• Beweisführung: Die mathematischen Behauptungen wurden mit dem Beweisassistenten Lean verifiziert. Ein Teil der Entdeckung des Paradoxons stützte sich auf die Analyse von Ausgaben des Computeralgebrasystems Maple.

3. Schlüsselbeiträge und Ergebnisse

A. Die Entdeckung einer „Deontischen Explosion"

Der Autor demonstriert eine „schwache Form der deontischen Explosion" in den Systemen von Carmo und Jones (insbesondere basierend auf Axiom 5(b), 5(e) und 5(f)).

• Das Szenario: Ein Student hat die Noten A, B, C, D, F.
  • Intuition 1: Wenn die Note A oder B ist, sollte sie A sein.
  • Intuition 2: Wenn die Note C oder D ist, sollte sie C sein.
• Die Ableitung:
  1. Aus Axiom 5(b) folgt, dass bei C oder D auch A oder C obligatorisch ist.
  2. Aus Axiom 5(f) (Vereinigung) folgt, dass bei A, B, C oder D die Note A oder C obligatorisch ist.
  3. Der kritische Schritt (Axiom 5(e)): Wenn „A oder C" im Kontext {A, B, C, D} obligatorisch ist, muss es auch in jedem restriktiveren Kontext obligatorisch bleiben, in dem es noch möglich ist.
  4. Im Kontext {B, C, D} (wobei A unmöglich ist) bleibt „A oder C" obligatorisch. Da A hier unmöglich ist, muss C obligatorisch sein.
• Das Paradoxon: Wenn die beste Option (A) nicht verfügbar ist, wird eine mittelmäßige Option (C) zur obligatorischen Pflicht, selbst wenn eine bessere verfügbare Option (B) existiert. Dies wird als „Gentleman's C"-Paradoxon bezeichnet und ist kontraintuitiv.

B. Positive Klassifikation der Modelle (Theorem 6)

Trotz des oben genannten Paradoxons zeigt das Paper, dass das stärkste System (Axiome 5(a)–5(e) mit der starken Version von 5(c)) eine vollständige mathematische Klassifikation zulässt.

• Theorem 6: Für eine endliche Menge möglicher Welten $W$ sind folgende Aussagen äquivalent:
  1. $ob$ erfüllt das volle System [CJ97].
  2. $ob$ ist eine von drei spezifischen Formen:
     • (a) Die leere Menge (keine Pflichten).
     • (b) Alle nicht-leeren Obermengen (triviale Struktur).
     • (c) Es gibt genau eine „verbotene Welt" $a$. Eine Menge $Y$ ist in einem Kontext $X$ obligatorisch genau dann, wenn $X \cap Y \neq \emptyset$ und $X \setminus \{a\} \subseteq Y$.
• Bedeutung: Das einzige nicht-triviale Modell besagt im Kern: „Vermeide die eine schlechte Welt." Alle anderen Modelle sind trivial oder leer. Dies ist eine bemerkenswerte Reduktion der Komplexität.

C. Charakterisierung schwächerer Systeme

Für schwächere Subsysteme (nur Axiom 5(b) oder 5(b), 5(d), 5(f)) werden die kleinsten Modelle (unter Inklusion) charakterisiert, die bestimmte CTD-Obligationen erfüllen.

• Es werden zwei Familien von Modellen definiert: canon2 und canon2,II.
• Diese entsprechen unterschiedlichen Ansätzen im Umgang mit CTD-Obligationen (in der Literatur als Ansatz I und II bekannt).
• Es wird gezeigt, dass diese kleinsten Modelle robust sind und auch andere Axiome (wie 5(a), 5(c), 5(e), 5(g)) erfüllen, obwohl sie nur mit weniger Axiomen konstruiert wurden.

D. Unabhängigkeit der Axiome

Theorem 7 beweist, dass die Axiome 5(a)–5(e) (starke Version von 5(c)) unabhängig voneinander sind; kein Axiom folgt aus den anderen vier.

4. Bedeutung und Fazit

• Kritische Bewertung: Das Paper liefert einen negativen Befund, der zeigt, dass die aktuellen Axiome von Carmo und Jones zu unintuitiven Ergebnissen führen können (deontische Explosion), wenn bestimmte Kontexte eingeschränkt werden. Dies bestätigt Bedenken von Kritikern wie Hage, dass die Vereinigung von idealer und realer Logik schwierig ist.
• Mathematischer Wert: Trotz der logischen Anomalien offenbart das Paper eine tiefe mathematische Struktur. Die vollständige Klassifikation der Modelle für das System [CJ97] ist ein seltener Erfolg in der deontischen Logik, die oft als zu komplex für solche Klassifikationen gilt.
• Zukunftsausblick: Die Arbeit regt zu weiterer Forschung an, insbesondere zur Klassifikation von Modellen, wenn die starke Version von Axiom 5(c) durch die schwache Version ersetzt wird, um Konflikte zwischen Pflichten besser zu handhaben.

Zusammenfassend stellt das Paper eine Brücke zwischen der philosophischen Kritik an deontischen Systemen und ihrer formalen mathematischen Struktur dar, indem es sowohl die Grenzen der aktuellen Axiome aufzeigt als auch deren interne mathematische Eleganz durch eine vollständige Modellklassifikation demonstriert.