💻 computer science

The Varieties of Ought-Implies-Can and Deontic STIT Logic

Dieser Beitrag entwickelt ein modulares Framework für deontische STIT-Logik, das zehn verschiedene Interpretationen des Prinzips „Ought-implies-Can" formalisiert, durch vollständige Kalküle analysiert und deren logische Beziehungen sowie gegenseitige Implikationen untersucht.

Ursprüngliche Autoren: Kees van Berkel, Tim S. Lyon

Veröffentlicht 2026-04-02

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Kees van Berkel, Tim S. Lyon

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 Frage: Kann man nur das tun, was man auch kann?

Stellen Sie sich vor, ein strenger Lehrer (das „Sollen") sagt zu einem Schüler: „Du sollst morgen den Berg besteigen."
Der Schüler antwortet: „Aber ich kann das nicht! Ich habe keine Schuhe, und der Berg ist zu steil."

Die alte philosophische Regel lautet: „Sollen impliziert Können" (Ought-implies-Can). Das bedeutet: Wenn jemand eine Pflicht hat, muss er auch in der Lage sein, diese zu erfüllen. Wenn es unmöglich ist, gibt es keine Pflicht.

Aber hier wird es kompliziert: Was genau bedeutet „können"?

Ist es theoretisch möglich? (Der Berg ist nicht zu hoch, nur ich bin müde.)
Habe ich die Fähigkeit? (Ich habe die Muskeln, aber keine Ausrüstung.)
Habe ich die Kontrolle? (Kann ich entscheiden, ob ich gehe oder bleibe?)
Oder muss es sogar möglich sein, die Aufgabe zu verweigern? (Kann ich mich weigern, den Berg zu besteigen, ohne dass die Welt explodiert?)

Philosophen streiten seit Jahrhunderten darüber, welche dieser Versionen die richtige ist. Die Autoren dieses Papers, Kees van Berkel und Tim Lyon, sagen: „Lassen Sie uns das nicht nur diskutieren, sondern es mathematisch beweisen."

Das Werkzeug: Die „STI-T"-Maschine

Um diese Diskussion zu lösen, nutzen die Autoren ein logisches Werkzeug namens STIT (eine Abkürzung für „Seeing To It That" – „Dafür sorgen, dass...").

Stellen Sie sich STIT als eine multidimensionale Landkarte vor, auf der alle möglichen Entscheidungen eines Menschen gleichzeitig existieren.

Ein Punkt auf der Karte ist die Gegenwart.
Von diesem Punkt aus gehen viele Wege ab. Jeder Weg ist eine mögliche Entscheidung, die der Mensch treffen könnte.
Die Logik prüft nun: Auf welchen dieser Wege führt die Pflicht hin?

Die Autoren haben diese Landkarte so erweitert, dass sie nicht nur eine Art von „Können" abbildet, sondern zehn verschiedene Versionen davon.

Die zehn Versionen des „Könnens" (Die 10 Regeln)

Die Autoren haben zehn verschiedene Regeln aufgestellt, die definieren, wann eine Pflicht gültig ist. Hier sind die wichtigsten, übersetzt in Alltagssprache:

Logische Möglichkeit: „Du sollst nicht etwas tun, das logisch widersprüchlich ist." (Du sollst nicht einen runden Quadrat zeichnen.)
Tatsächliche Möglichkeit: „Du sollst nicht etwas tun, das jetzt gerade unmöglich ist." (Du sollst nicht den Mond heute Nacht bewegen, auch wenn es theoretisch möglich wäre.)
Fähigkeit: „Du sollst etwas tun, das du mit deinen Fähigkeiten schaffen kannst." (Du sollst nicht fliegen, wenn du keine Flügel hast.)
Verletzbarkeit: „Eine Pflicht muss verletzlich sein." (Es muss möglich sein, die Pflicht zu verletzen. Wenn du müssen musst, ist es keine echte Pflicht, sondern ein Naturgesetz.)
Verzichtbarkeit: „Du musst in der Lage sein, die Pflicht zu verweigern." (Du musst die Wahl haben, es nicht zu tun.)
Gelegenheit: „Die Umstände müssen passen." (Du sollst nicht einen Brief schreiben, wenn du keinen Briefumschlag hast.)
Fähigkeit + Gelegenheit: Eine Kombination aus beiden.
Kontrolle: „Du musst die volle Kontrolle haben." (Du sollst etwas tun, das du sowohl tun als auch nicht tun kannst.)
Normatives Können: „Es sollte idealerweise möglich sein." (Eine Art „gute Absicht"-Regel.)
Normative Fähigkeit: „Es sollte idealerweise in deiner Macht liegen."

Das Experiment: Der logische Turm

Die Autoren haben für jede dieser zehn Regeln einen eigenen mathematischen „Baukasten" (einen Kalkül) erstellt. Stellen Sie sich das wie ein Lego-Set vor.

Das Basis-Set ist die einfachste Logik.
Wenn Sie eine Regel hinzufügen (z. B. „Verzichtbarkeit"), bauen Sie einen höheren Turm.
Je höher der Turm, desto mehr Regeln gelten automatisch.

Die große Entdeckung:
Sie haben herausgefunden, welche Regeln welche anderen in sich tragen.

Wenn Sie die strenge Regel „Kontrolle" (Regel 8) akzeptieren, dann akzeptieren Sie automatisch auch die schwächeren Regeln wie „Fähigkeit" oder „Logische Möglichkeit".
Aber: Wenn Sie nur die Regel „Logische Möglichkeit" akzeptieren, müssen Sie sich nicht zu „Kontrolle" bekennen.

Das nennen sie das „Empfehlungs-Prinzip" (Endorsement Principle). Es ist wie eine Kette von Domino-Steinen: Wenn Sie den ersten Stein (eine strenge Regel) umwerfen, fallen automatisch alle dahinterliegenden (schwächeren) Steine um. Aber wenn Sie nur einen kleinen Stein umwerfen, passiert nichts mit den großen.

Warum ist das wichtig?

Bisher war die Debatte oft nur ein Streit von Philosophen im Elfenbeinturm. Jeder sagte: „Meine Version ist die richtige!"

Dieses Papier sagt: „Halt! Wir haben die Mathematik benutzt, um zu zeigen, wie diese Versionen zusammenhängen."

Es zeigt, welche Versionen unabhängig voneinander sind (man kann die eine haben, ohne die andere).
Es zeigt, welche Versionen einander ausschließen.
Es liefert Werkzeuge (Computer-Algorithmen), um später automatisch zu prüfen, ob ein ethisches Dilemma logisch lösbar ist.

Fazit in einem Satz

Die Autoren haben eine logische Landkarte gezeichnet, die zeigt, wie die verschiedenen Bedeutungen von „Sollen impliziert Können" miteinander verwoben sind, und beweist, dass man nicht alle Versionen gleichzeitig brauchen kann – man muss sich für eine entscheiden, und dann weiß man genau, welche anderen Regeln man damit automatisch akzeptiert.

Es ist wie beim Bauen eines Hauses: Wenn Sie das Dach (die strenge Regel) aufsetzen, brauchen Sie auch die Wände und das Fundament (die schwächeren Regeln). Aber wenn Sie nur ein Zelt (die schwache Regel) aufstellen, brauchen Sie kein Dach. Die Mathematik sagt Ihnen genau, welche Kombinationen stabil sind und welche einstürzen würden.

1. Problemstellung

Das Paper adressiert die zentrale Rolle des Prinzips „Ought-implies-Can" (OiC) („Was man tun soll, muss man auch können") in der deontischen Logik und der STIT-Theorie (Seeing To It That).

Hintergrund: STIT ist ein prominentes Rahmenwerk zur Analyse von Handlungen und Entscheidungen mehrerer Agenten. Traditionelle deontische Erweiterungen von STIT basieren auf einem utilitaristischen Ansatz, der eine spezifische, minimale Version von OiC impliziert.
Das Problem: In der philosophischen Literatur existiert eine Vielzahl unterschiedlicher Interpretationen von OiC (z. B. logische Möglichkeit, tatsächliche Möglichkeit, Fähigkeit, Verletzbarkeit, Kontrolle, Gelegenheit). Die meisten dieser Interpretationen sind entweder schwächer oder stärker als die in der traditionellen STIT-Logik implizierte Version.
Die Herausforderung: Es fehlte ein modulares formales Rahmenwerk, das diese diverse Palette von OiC-Interpretationen einheitlich abbilden, vergleichen und deren logische Abhängigkeiten zueinander systematisch analysieren kann. Die traditionelle STIT-Semantik (basierend auf verzweigter Zeit und Nutzenfunktionen) ist dafür zu starr.

2. Methodik

Die Autoren verfolgen einen dreistufigen methodischen Ansatz, der semantische Modularität mit proof-theoretischen Techniken kombiniert:

Modulare Semantik (Relational Frames):
Anstatt der traditionellen utilitaristischen STIT-Semantik verwenden die Autoren eine relationale Semantik (basierend auf Kripke-Modellen). Sie definieren minimale „DSn-Frames" (Deontic STIT), die aus Welten, Äquivalenzrelationen für Momente ( $R_2$ ), Agenten-Entscheidungen ( $R_{[i]}$ ) und idealen Welten ( $R_{\otimes_i}$ ) bestehen.
Durch das Hinzufügen spezifischer Frame-Eigenschaften ( $D2$ bis $D5$ ) können verschiedene logische Stärken erzeugt werden. Dies ermöglicht es, die verschiedenen OiC-Prinzipien als Bedingungen an die Relationen zu formalisieren, ohne auf komplexe Nutzenfunktionen zurückgreifen zu müssen.
Labelled Sequent Calculi (Beweiskalküle):
Für jede Klasse von Logiken (definiert durch eine Teilmenge der Frame-Eigenschaften) werden sound und complete Labelled Sequent Calculi (G3DSnX) entwickelt.
- Diese Kalküle integrieren semantische Informationen direkt in die Inferenzregeln (z. B. durch „Pfade" zwischen Labels, die Äquivalenzrelationen simulieren).
- Dies erlaubt eine konstruktive Beweissuche. Wenn eine Ableitung scheitert, kann daraus direkt ein Gegenmodell (Counter-Model) extrahiert werden, um die Unabhängigkeit von Prinzipien zu beweisen.
Formalisierung der Prinzipien:
Die Autoren formalisieren zehn verschiedene OiC-Prinzipien innerhalb dieses Rahmens. Dazu führen sie auch definierte Operatoren für „deliberative" (überlegte) Verpflichtungen ein ( $\otimes^d_i$ und $\otimes^c_i$ ), um Nuancen wie Verletzbarkeit oder die Möglichkeit des Unterlassens präzise zu erfassen.

3. Schlüsselbeiträge

Taxonomie der OiC-Prinzipien:
Das Paper identifiziert, vergleicht und formalisiert zehn verschiedene Interpretationen von OiC, die in der philosophischen Literatur diskutiert werden. Dazu gehören:
- OiLP: Ought implies Logical Possibility.
- OiAP: Ought implies Actually Possible.
- OiA: Ought implies Ability.
- OiV: Ought implies Violability.
- OiR: Ought implies Refrainability.
- OiO: Ought implies Opportunity.
- OiA+O: Ought implies Ability and Opportunity.
- OiCtrl: Ought implies Control.
- OiNC / OiNA: Normative Versionen („Ought implies Normatively Can/Able").
Vollständige Kalküle:
Es werden sound und complete sequent-style Kalküle für alle Kombinationen der deontischen STIT-Logiken bereitgestellt, die diese Prinzipien unterstützen. Dies ist der erste Ansatz, der sowohl das traditionelle Setting als auch eine große Klasse neuer deontischer STIT-Logiken durch alternative Beweissysteme abdeckt.
Das „Endorsement Principle" (Empfehlungsprinzip):
Durch die Analyse der logischen Hierarchie der Kalküle leiten die Autoren ein neues Prinzip ab: Die logische Verpflichtung zu einem bestimmten OiC-Prinzip impliziert automatisch die Verpflichtung zu allen schwächeren, darunterliegenden Prinzipien. Dies wird durch ein Gitter (Lattice) der Logiken visualisiert.

4. Ergebnisse

Logische Hierarchie: Die Autoren erstellen ein Gitter (siehe Fig. 4 im Paper), das die 16 möglichen deontischen STIT-Logiken nach ihrer Stärke ordnet. Es wird gezeigt, welche Logiken welche OiC-Prinzipien als Theoreme enthalten.
- Beispiel: Das Prinzip OiA (Fähigkeit) ist in der Logik $G3DSn\{D3_i, D5_i\}$ gültig, während das stärkere OiCtrl (Kontrolle) nur in stärkeren Systemen wie $G3DSn\{D2_i, D3_i, D4_i\}$ gilt.
Unabhängigkeitsbeweise: Mithilfe der Kalküle und der Extraktion von Gegenmodellen aus gescheiterten Beweissuchen wird gezeigt, dass bestimmte Prinzipien logisch unabhängig voneinander sind.
- Ein wichtiges Ergebnis ist, dass das normative Prinzip OiNA („Ought implies Normatively Able") strikt unabhängig von OiA, OiLP und OiAP ist.
Kollaps der Unterscheidung: Es wird gezeigt, dass unter bestimmten Frame-Bedingungen (insbesondere $D4$ ) die Unterscheidung zwischen „es soll der Fall sein, dass $i$ $\phi$ tut" ( $\otimes_i \phi$ ) und „ $i$ soll dafür sorgen, dass $\phi$ eintritt" ( $\otimes_i [i]\phi$ ) kollabiert. Dies stellt die Position von Horty (Dominance Ought) wieder her.

5. Bedeutung und Ausblick

Theoretische Klarheit: Das Paper liefert die erste formale Taxonomie der OiC-Prinzipien innerhalb des STIT-Rahmens. Es klärt auf, welche philosophischen Positionen logisch kompatibel sind und welche sich gegenseitig ausschließen.
Anwendbarkeit: Die Verwendung von Labelled Sequent Calculi macht die Logiken für Anwendungen wie automatische Beweisführung (Proof-Search) und die Extraktion von Gegenmodellen geeignet. Dies ist ein großer Vorteil gegenüber rein axiomatischen Systemen.
Zukunftsperspektiven: Die Autoren planen, auf Basis dieser Kalküle Entscheidungsalgorithmen zu entwickeln, um normative Schlussfolgerungen in STIT zu automatisieren. Zudem soll die Analyse weiterer, aus der Logik abgeleiteter philosophischer Prinzipien vertieft werden.

Zusammenfassend bietet das Paper einen rigorosen, formalen Rahmen, der die oft vage philosophische Debatte um „Ought-implies-Can" in eine präzise, logisch analysierbare Struktur überführt und dabei die Beziehung zwischen Handlungsfähigkeit, Möglichkeit und Verpflichtung neu definiert.