MENTAL MODEL · M13243
道义逻辑与规范推理
Deontic Logic
更新于 2026-09-10
CORE DEFINITION · 核心定义
道义逻辑是逻辑的一个分支，主要关注允许、不允许（禁止）、应当（义务）、可不做、可选的、必须、应该、超义务的、无关紧要的，以及好、坏、更好、最好等规范概念对“什么推出什么”所作的贡献。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 规范推导：从应当与允许出发，推出具体情境下的义务。 - 冲突消解：多条规范冲突时，用理想世界排序决定优先者。 - 义务检验：检查规定集是否蕴含自相矛盾或不可能履行的要求。
anchor
锚定快速决策
道义逻辑借用模态逻辑的技术：把“应当”与“允许”处理成关于可能世界的量词，在理想世界（义务皆被履行的世界）中考察。应当 p 在某一世界为真，当且仅当 p 在所有可及的理想世界中为真；允许则是存在某个可及的理想世界使 p 为真。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-deontic/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型