Deontic logic: An introduction

Abstract

Deontic logic formalizes the properties of normative concepts such as obligation, permission, and prohibition. Early axiomatic efforts encountered significant structural flaws, specifically the unintended logical equivalence of “ought” and “is” resulting from the conflation of material and strict implication. The establishment of a standard monadic system corrected these errors by utilizing an analogy with alethic modal logic, where obligation and permission function similarly to necessity and possibility. This framework evolved from purely syntactic axioms to a model-theoretic semantics based on possible worlds, characterizing obligatory states as those true in all deontically ideal alternatives. Alternative reductive approaches further demonstrate that deontic operators can be expressed within alethic logic by introducing a propositional constant representing a sanction or moral requirement. However, persistent challenges, including Ross’s paradox and Chisholm’s contrary-to-duty paradox, highlight the limitations of monadic logic in modeling commitments and conditional requirements. These anomalies necessitate the transition to dyadic or conditional deontic systems. By incorporating preference rankings and relative alternatives, these advanced systems provide a consistent formal basis for secondary duties that arise following the violation of primary obligations, thereby ensuring the coherence of complex normative systems. – AI-generated abstract.