MENTAL MODEL · M13242
连结逻辑及其反经典特征
Connexive Logic
更新于 2026-09-10
CORE DEFINITION · 核心定义
多数非经典逻辑是经典逻辑的子系统,连结逻辑却是反经典的:它既非经典逻辑的子系统,也非其扩张,却把经典逻辑的某些非定理收为定理。由于经典命题逻辑是波斯特完全的,要避免平凡化,它就必须舍弃经典的某些定理。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 联系检验:要求前后件存在实质关联,排除空洞的条件句。 - 系统边界:提醒经典逻辑并非唯一标准,可另立相容系统。 - 矛盾排查:用亚里士多德论题检验条件句是否自相反例。
anchor
锚定快速决策
连结逻辑的核心直觉是:条件句蕴含着前件与后件之间的某种联系。这体现为亚里士多德与波爱修斯提出的论题:既非“若 A 则非 A”,也非“若 A 则 A”普遍成立。这些论题与经典逻辑冲突,故须调整系统。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型:
勾选记录你的进度(本机暂存)
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-connexive/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels;回答仅使用公开词条上下文。
RELATED MODELS · 相关模型