Defeasible Deontic Logic

The defining feature that distinguishes defeasible logic from classical systems. In a monotonic system, adding new premises never invalidates existing conclusions. In defeasible deontic logic, a conclusion (e.g., 'Contract A is valid') can be withdrawn upon learning a new fact (e.g., 'Party B lacked capacity').

• Mechanism: Uses defeasible rules of the form A => O(B) (if A, then prima facie B is obligatory).
• Contrast: Classical logic uses strict implication A → O(B), which cannot be overridden.
• Result: The system models how a legal reasoner updates their normative assessment as a case file evolves.

Defeasible logic introduces explicit mechanisms for resolving conflicts between competing rules. A rebutting defeater provides evidence for the opposite conclusion, while an undercutting defeater attacks the validity of the inferential link itself.

• Rule Priority: A binary relation > is defined over rules to establish a superiority ordering.
• Lex Superior: Encodes the principle that higher-authority norms defeat lower ones.
• Lex Specialis: Encodes the principle that more specific rules defeat general ones.
• Explicit Exceptions: Rules can be tagged with exceptions, e.g., 'A => O(B) unless C'.

Defeasible deontic logic uses a constructive proof theory based on tagged conclusions. A conclusion is not simply 'true' or 'false' but is annotated with its epistemic status.

• +Δ (Strictly Provable): The conclusion is indisputably derivable using only strict, non-defeasible rules and facts.
• -Δ (Strictly Unprovable): The conclusion cannot be derived using strict rules.
• +∂ (Defeasibly Provable): The conclusion is warranted after considering all applicable rules and defeaters; no applicable defeater is stronger.
• -∂ (Defeasibly Unprovable): The conclusion is not warranted; either its support is defeated or it is not supported at all.

A primary motivation for defeasible deontic logic is its ability to handle contrary-to-duty obligations without generating the paradoxes that plague Standard Deontic Logic (SDL). A CTD obligation states what must happen if a primary duty is violated.

• Example: 'You ought not to breach a contract. If you do breach, you ought to pay damages.'
• SDL Failure: In SDL, a violation entails an obligation to do everything, leading to logical explosion.
• Defeasible Solution: The primary obligation is a defeasible rule. The violation triggers a secondary, non-defeated rule (the CTD obligation), which takes priority in the non-ideal context.

The logic extends beyond simple obligation to model the full spectrum of normative positions, often grounded in Hohfeldian analysis.

• Obligation (O): A defeasible duty to perform an action. O(α) can be defeated by an exemption.
• Permission (P): Explicitly modeled as the negation of a prohibition. P(α) = ¬O(¬α). Defeasible permission can be overridden by a new regulation.
• Prohibition (F): An obligation not to act. F(α) = O(¬α). A defeasible prohibition can be defeated by a license.
• Power (W): The ability to create, modify, or extinguish legal relations. Defeasible power can be limited by incapacity rules.

A computational argumentation framework that combines logic programming with defeasible reasoning to resolve conflicting normative conclusions. DeLP constructs arguments for and against a proposition, then uses a dialectical analysis to determine which argument prevails. This directly implements the non-monotonic core of defeasible deontic logic, where a warranted conclusion can be defeated by stronger counterarguments representing legal exceptions or higher-order principles.

A conditional obligation that activates when a primary duty has been violated, representing the normative fallback rules for non-ideal compliance situations. Defeasible deontic logic was specifically developed to handle CTD structures without generating the contradictions that plague Standard Deontic Logic. For example:

• Primary duty: You ought not to cause damage
• CTD obligation: If you cause damage, you ought to compensate the injured party Defeasible reasoning allows the CTD obligation to take precedence without invalidating the primary norm.

A classic deontic logic puzzle demonstrating that Standard Deontic Logic (SDL) cannot consistently represent contrary-to-duty obligations without deriving logical contradictions. The paradox involves four intuitively consistent statements about a man who ought to help his neighbor, but if he doesn't, he ought not to boast about it. SDL's monotonic nature forces a contradiction; defeasible deontic logic resolves this by treating the CTD obligation as a defeater that only applies when the primary obligation is violated, preserving consistency through non-monotonic inference.

The algorithmic detection and reconciliation of contradictory legal rules that apply simultaneously to a given situation. Defeasible deontic logic provides the formal machinery for resolution through:

• Lex superior: Higher authority norms defeat lower ones
• Lex specialis: More specific rules defeat general ones
• Lex posterior: Later-enacted norms defeat earlier ones These priority rules are encoded as defeaters in the logic, allowing the system to non-monotonically select the prevailing obligation.

A formal framework for modeling conditional norms as ordered pairs of input conditions and output obligations, avoiding the paradoxes of material implication that plague deontic contexts. Unlike classical logic where 'if A then Ought B' creates contradictions when A is false, Input/Output logic treats norms as directives that generate obligations only when the input is satisfied. This aligns with defeasible deontic logic's treatment of norms as defeasible conditionals rather than strict implications.

The structured ordering of legal norms by authority, forming the priority relation that drives defeasibility. In a constitutional democracy, this hierarchy typically follows:

• Constitutional norms (highest authority)
• Statutory law
• Administrative regulations
• Judicial precedents
• Contractual provisions (lowest authority) Defeasible deontic logic encodes this hierarchy as a defeat relation, ensuring that a constitutional right defeats a conflicting statute, which in turn defeats a conflicting regulation.