MENTAL MODEL · M13257
相干逻辑
Relevance Logic
更新于 2026-09-10
CORE DEFINITION · 核心定义
相干逻辑是一类非经典逻辑，英国与澳大拉西亚学界称之为 relevant logics。它们的发展旨在避免实质蕴涵与严格蕴涵的所谓悖论：那些由蕴涵定义即可推出、却被不少人视为有问题的有效结论。
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-relevance/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型