MENTAL MODEL · M13250
直觉主义逻辑
Intuitionistic Logic
更新于 2026-09-10
CORE DEFINITION · 核心定义
直觉主义逻辑是逻辑学家从布劳威尔自1907年、1908年起发展的直觉主义数学中抽象出的推理原则体系。这些原则同样适用于俄罗斯递归数学与毕晓普学派的构造性分析，故被视为构造性数学的逻辑基础。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 构造检验：要求给出具体见证才承认一条存在断言 - 判定自查：面对排中律式断言先问自己能否实际判定 - 程序转化：把证明看成可执行的构造步骤而非现成的真理
anchor
锚定快速决策
直觉主义把真理解为可证明、可构造：A∨¬A 要求我们能判定 A 或判定 ¬A，而并非总有这种能力，故排中律失效；∃xA(x) 要求能具体给出一个见证；否定与蕴含按证明之间的变换来定义，¬¬A 因此不等价于 A。
MINIMUM ACTION · 最小行动
进行中 0/3在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-intuitionistic/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型