Standard Deontic Logic
Standard Deontic Logic (SDL), also known as KD or simply D, is a formal system used to reason about obligations, permissions, and prohibitions. Originally developed by Georg Henrik von Wright, the system evolved from treating these concepts as features of acts to a logic of propositions. This transition allowed for the application of Kripke-style semantics, providing a rigorous mathematical framework for ethical and legal reasoning.
[ไม่มีภาพประกอบ]
Key Facts
- SDL is built upon classical propositional logic with added modal axioms.
- The primary operators are O (Obligatory), P (Permitted), and F (Forbidden).
- The system assumes that contradictions are not permitted and that obligations must be permissible.
- Kripke semantics interprets the logic through "acceptability relations" between possible worlds.
- Extensions exist to handle the concept of "ought implies can" and conditional obligations.
The Axiomatic Foundation of SDL
To establish SDL, three specific axioms are added to the standard axiomatization of classical propositional logic. These rules define how obligations and permissions interact:
- Necessitation Rule (N): If A is a tautology (a statement that is always true), then it ought to be that A. This ensures that the system does not permit contradictions.
- Modal Axiom K: If it ought to be that A implies B, then if it ought to be that A, it ought to be that B. This allows for logical distribution across obligations.
- Modal Axiom D: If it ought to be that A, then it is permitted that A. This prevents the system from demanding something that is simultaneously forbidden.
Defining Permissions and Prohibitions
While the obligation operator (O) is central, other deontic states are defined in relation to it. Permissibility (P A) is the logical counterpart to obligation. Forbidden (F A) is defined as either the obligation that A does not occur (O ¬A) or the state where A is not permitted (¬P A).
Extensions and Practical Applications
While the basic SDL framework is elegant, it faces challenges in real-world scenarios, leading to two primary extensions.
Alethic Modality and "Ought Implies Can"
To express the Kantian principle that one is only obligated to do what is possible, an alethic modal operator (◻, representing necessity) is introduced. This creates the claim that if A is obligatory, then A must be possible (O A → ◊ A). In practice, these possibilities are often judged against future timelines, where obligations may be updated as unforeseen developments occur.
Conditional Obligations and the Good Samaritan Paradox
Standard SDL can lead to logical paradoxes, such as the "Good Samaritan" case. If we state that the starving ought to be fed, SDL implies that there ought to be starving people (because feeding them requires their existence). To solve this, a conditional obligation operator O(A/B) is used, meaning "It is obligatory that A given B." This allows the obligation to feed the starving to exist only on the condition that there are, in fact, starving people.
[ไม่มีภาพประกอบ]
Semantics and Alternative Approaches
Acceptability Relations
In the semantics of SDL, the relationship between possible worlds is viewed as an acceptability relation. A world (v) is considered acceptable relative to another world (w) if and only if all obligations present in world w are fulfilled in world v.
Anderson's Deontic Logic
Alan R. Anderson proposed an alternative by defining the obligation operator (O) using an alethic operator (◻) and a deontic constant (s), which represents a sanction or a "bad thing." In this view, saying A is obligatory is equivalent to saying that the failure of A necessarily implies a sanction.
While Anderson's logic is equivalent to SDL under certain conditions, adding the modal axiom T (◻ A → A) introduces properties not found in SDL, such as O(O A → A), which tightly couples deontic obligations with alethic necessity.
| Framework | Core Focus | Key Feature/Axiom | Primary Goal |
|---|---|---|---|
| SDL (Standard) | Obligations & Permissions | Axiom D (O A → P A) | Basic formalization of "ought" |
| Alethic Extension | Possibility | O A → ◊ A | Implementing "Ought implies can" |
| Conditional SDL | Contextual Obligations | O(A/B) | Resolving the Good Samaritan paradox |
| Anderson's Logic | Sanctions | O A ≡ ◻ ( ¬ A → s ) | Linking obligation to necessity and penalty |
Frequently Asked Questions
What is the main difference between SDL and classical logic?
Unlike classical logic, which deals with truth and falsity, SDL introduces modal operators to handle normative concepts like obligation and permission, allowing for reasoning about what should be rather than just what is.
What does the "Good Samaritan" paradox illustrate?
It illustrates a flaw in basic SDL where an obligation to help someone in a bad situation logically implies that the bad situation ought to exist. This is resolved by using conditional obligations.
How is "forbidden" defined in SDL?
Something is forbidden (F A) if it is obligatory that it does not happen (O ¬A) or if it is not permitted (¬P A).
What is the role of the "sanction" in Anderson's logic?
The sanction (s) acts as a constant representing a negative outcome. In this system, an obligation is defined as a state where the absence of the required action necessarily leads to that sanction.
What is the significance of Axiom D?
Axiom D ensures the system is consistent by stating that if something is obligatory, it must also be permitted. This prevents the logic from creating a scenario where something is both required and forbidden.