Chisholm's Paradox

Chisholm's Paradox arises from a specific four-sentence scenario involving a primary obligation and a contrary-to-duty (CTD) obligation that activates upon violation. The classic formulation: (1) It ought to be that Jones goes to help his neighbors. (2) It ought to be that if Jones goes, he tells them he is coming. (3) If Jones does not go, he ought not tell them he is coming. (4) Jones does not go. In Standard Deontic Logic (SDL), this set derives a contradiction: from (1) and (4) we get a violation, but SDL's monotonic nature forces both the CTD obligation and its negation to hold simultaneously.

The paradox exposes the monotonicity problem in classical deontic logic. SDL inherits from classical logic the property that adding premises never invalidates existing conclusions. In normative reasoning, however, learning that a primary duty has been violated should defeat certain derivative obligations rather than amplify them into contradiction. This is why defeasible deontic logic and non-monotonic reasoning frameworks are essential for legal AI: they allow conclusions to be retracted when violation facts enter the knowledge base.

A core technical issue is factual detachment versus deontic detachment. Factual detachment says: given 'If P then Ought(Q)' and the fact P, derive Ought(Q). Deontic detachment says: given 'Ought(If P then Q)' and Ought(P), derive Ought(Q). SDL supports neither cleanly in CTD contexts. The sentence 'If Jones goes, he ought to tell them' is ambiguous between a wide-scope ought (Ought(P → Q)) and a narrow-scope conditional (P → Ought(Q)). Choosing the wrong scope produces the contradiction.

Chisholm's scenario embeds an implicit temporal ordering that SDL cannot express. The primary obligation exists first; the CTD obligation activates only after the violation event. Formalisms like Dynamic Deontic Logic and Deontic Event Calculus address this by modeling obligations as state-dependent entities with activation, fulfillment, violation, and expiration lifecycle events. Without temporal indexing, a reasoning engine cannot distinguish between obligations that are simultaneously applicable and those that are sequentially triggered.

For legal reasoning systems, Chisholm's Paradox is not merely theoretical. Real contracts and statutes contain remedial clauses, cure periods, and liquidated damages provisions that are precisely CTD structures. A contract analysis engine that cannot model 'If Party A breaches, then Party B shall have the right to terminate' without contradiction will produce unreliable outputs. Deontic RAG architectures and normative compliance checkers must implement defeasible or temporal deontic logics to handle these ubiquitous patterns correctly.

Multiple formal solutions exist, each with trade-offs:

• Defeasible Deontic Logic: Uses non-monotonic inference to retract conclusions upon violation
• Input/Output Logic: Treats conditional norms as ordered pairs, avoiding material implication
• Dyadic Deontic Logic: Introduces a binary obligation operator O(Q | P) read as 'Q is obligatory given P'
• Temporal Deontic Logic: Indexes obligations to time points, sequencing primary and secondary duties
• Default Logic: Encodes CTD rules as defaults that apply only when consistent No single approach has achieved universal acceptance, making this an active research area for legal knowledge graph construction and normative conflict resolution.

The classical system axiomatized by von Wright that Chisholm's Paradox directly challenges. SDL treats obligation as a normal modal operator, meaning it satisfies the rule of necessitation and distributes over conjunction. Its critical flaw is the inability to represent conditional obligations without collapsing into material implication, which is precisely what generates the paradox. SDL cannot distinguish between a primary duty and a contrary-to-duty obligation because it lacks the expressive power to model exceptions to ideal behavior.

A conditional obligation that activates only when a primary duty has been violated. In Chisholm's famous example, the primary duty is 'You ought not to steal,' and the CTD obligation is 'If you do steal, you ought to steal only a little.' CTD structures are ubiquitous in law—penalty clauses, remedial obligations, and default rules all follow this pattern. The paradox arises because SDL represents both obligations as unconditional, creating a logical contradiction where the system simultaneously requires and forbids the same action.

A formal framework developed by Makinson and van der Torre that avoids Chisholm's Paradox by treating conditional norms as ordered pairs rather than material implications. Norms are modeled as (input, output) pairs where the input is a factual condition and the output is a deontic requirement. This detachment-based approach prevents the paradox because the output obligation is only generated when the input condition is satisfied, avoiding the logical explosion that occurs when SDL treats 'if p then ought q' as a truth-functional connective.

A non-monotonic extension of deontic logic that allows conclusions to be retracted when new information arrives. Defeasibility is essential for legal reasoning because legal rules admit exceptions, and higher-priority norms can override lower ones. In the context of Chisholm's Paradox, a defeasible system can represent the CTD obligation as a rule that only applies when the primary obligation has been violated, and can retract the CTD conclusion if the violation is later found not to have occurred. This mirrors how courts actually reason about remedial duties.

The algorithmic process of reconciling contradictory obligations that Chisholm's Paradox exposes. When a system derives both an obligation to do X and an obligation not to do X, resolution strategies must be applied. Key resolution principles include:

• Lex superior: Higher authority prevails
• Lex specialis: More specific rule overrides general rule
• Lex posterior: Later rule supersedes earlier rule In CTD scenarios, the CTD obligation is lex specialis to the violation state, allowing it to take precedence without invalidating the primary norm.

A temporal formalism that tracks the full lifecycle of obligations—activation, fulfillment, violation, and expiration—over time. This approach sidesteps Chisholm's Paradox by modeling obligations as fluents that change state based on events. A primary obligation is active until a violation event occurs, at which point it transitions to a violated state and triggers the CTD obligation. Because the system tracks temporal ordering explicitly, it never simultaneously holds both the primary and CTD obligations in the same way, avoiding the contradiction that plagues atemporal SDL.