MENTAL MODEL · M13183
柯里悖论与自我指涉
Curry’s Paradox
更新于 2026-09-10
CORE DEFINITION · 核心定义
柯里悖论是一大类源于自我指涉或循环性的悖论，其现代谱系可追溯至 Curry 与 Löb 的工作。其共同特征是利用蕴涵、衍推或后承概念——或以联结词的形式，或以谓词的形式——来构造悖论。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 自指检测：发现语句或规则指向自身时，警惕悖论式坍塌。 - 系统加固：检查推理是否允许自指，否则任一命题都可推出。 - 结构测试：构造自指条件句，检验理论是否蕴含任意结论。
anchor
锚定快速决策
柯里悖论只需极少的资源：一个自我指涉的句子 C，其内容为 C 为真则任意命题 P，再加上同一律与分离规则，就能推出任意 P，使理论平凡化。与说谎者悖论不同，它不依赖否定，因此无法通过限制否定来化解，这也是它对逻辑方案约束更严苛的原因。
MINIMUM ACTION · 最小行动
进行中 0/1在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/curry-paradox/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型