MENTAL MODEL · M7647
元逻辑
Meta-Logic
Version 1.0.0 · 更新于 2026-07-30
CORE DEFINITION · 核心定义
研究逻辑系统本身性质的逻辑——逻辑的逻辑，包括完备性、一致性、可判定性等。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
检验推理工具本身。使用一套逻辑工具时，也要问这套工具本身是否可靠、适用范围是什么。（合并：元逻辑锚点、元逻辑推导）
anchor
锚定快速决策
元逻辑以"逻辑系统"为对象，研究其元性质：一致性（无矛盾）、完备性（可证即真）、可判定性（有无算法判别定理）等。它区分"系统内可证"与"关于系统为真"。
MINIMUM ACTION · 最小行动
进行中 0/5在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- zh.wikipedia.orghttps://zh.wikipedia.org/wiki/%E5%85%83%E9%80%BB%E8%BE%91verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型