MENTAL MODEL · M10610
模态逻辑
Modal Logic
Version 1.0.0 · 更新于 2026-07-30
CORE DEFINITION · 核心定义
在命题逻辑基础上增加"必然"（□）和"可能"（◇）算子，处理可能性、必然性、时间、知识等模态问题。涵盖变体：模态必然性演算、模态逻辑层级、模态分层论
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
扩展推理边界。不只问"是不是真"，还问"必须是真吗""可能是真吗"，处理更复杂的推理场景。
anchor
锚定快速决策
在命题逻辑引入可能世界语义，用可达关系定义□（在所有可达世界为真）与◇（在某一可达世界为真），区分必然与可能及其蕴涵关系。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Modal_logicverified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型