MENTAL MODEL · M13245
认知逻辑与知识的形式化
Epistemic Logic
更新于 2026-09-10
CORE DEFINITION · 核心定义
认知逻辑是哲学逻辑的子领域，关注对知识、信念及相关概念的逻辑处理。任何可作认知解释的逻辑都可称认知逻辑，但最通行的还是模态逻辑：知识与信念由模态算子 K 与 B 表示，常加下标指明持有该态度的主体。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 信息建模：用不可区分世界刻画各主体掌握了哪些信息。 - 高阶推理：形式化我知道你知道这类嵌套的多层认知状态。 - 群体知识：区分人人皆知与共同知识，判断协作能否达成。
anchor
锚定快速决策
认知逻辑把知道处理为关于可能世界的量词：主体知道 φ，当且仅当 φ 在相对于其当前信息状态的所有可及世界中为真。不可区分关系把世界划分成等价类，知识即在这些不可区分的世界中恒真；信念则用允许错误的关系刻画。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-epistemic/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型