MENTAL MODEL · M13240
经典逻辑与一阶逻辑
Classical Logic
更新于 2026-09-10
CORE DEFINITION · 核心定义
通常一个逻辑由形式的或非形式的语言，加上一个演绎系统和（或）模型论语义构成。语言的成分对应于英语或希腊语等自然语言的某一部分，演绎系统用以刻画该语言中有效的论证，语义则刻画语言的意义或真值条件。
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-classical/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型