Deontic Logic

Definition / 定义

义务逻辑（deontic logic）：一种形式逻辑分支，用来分析和表达规范性概念，如“应该/必须”（obligation）、“允许”（permission）、“禁止”（prohibition）等，常用于伦理学、法哲学、人工智能与规范系统建模。也有人把它视为模态逻辑的一种（规范模态）。

Pronunciation / 发音

/diˈɒntɪk ˈlɒdʒɪk/

Examples / 例句

In deontic logic, “You must stop” is treated as an obligation.
在义务逻辑中，“你必须停下”被视为一种义务表达。

Researchers use deontic logic to formalize how rules interact, including conflicts between what is permitted and what is required.
研究者使用义务逻辑把规则如何相互作用形式化，包括“被允许的事情”和“被要求的事情”之间可能出现的冲突。

Etymology / 词源

deontic 来自希腊语 deon（意为“义务、应当做的事”），经由近现代哲学术语体系进入英语；logic 源自希腊语 logos（“言说、理性、论证”）。合起来指“研究义务/规范的逻辑”。

Related Words / 相关词

• Modal
• Normative
• Obligation
• Permission
• Prohibition
• Axiom
• Inference
• Ethics
• Jurisprudence

Literary Works / 文学作品

• G. H. von Wright，《Deontic Logic》（1951）：奠定义务逻辑作为独立研究领域的经典论文。
• G. H. von Wright，《Norm and Action》（1963）：系统讨论规范与行动的逻辑分析。
• Risto Hilpinen（编），《Deontic Logic: Introductory and Systematic Readings》（1971）：义务逻辑的重要论文选集。
• D. J. McCarty（相关论文集/研究方向常见），法律推理与规范系统中频繁使用 deontic logic 的框架与术语。
• Handbook of Philosophical Logic（多卷本，相关章节）：在哲学逻辑综述中常以 “deontic logic” 作为核心条目讨论。