《认知三部曲》第九十七节

本节讨论文氏图与命题逻辑中的条件推理。文氏图用交叠的圆圈展示类别的包含与排斥关系，例如“一些A是B，一些B是A”，可用于表示三段论，但适用范围有限，更重要的是命题逻辑。

本节讨论文氏图与命题逻辑中的条件推理。

文氏图用交叠的圆圈展示类别的包含与排斥关系，例如“一些A是B，一些B是A”，可用于表示三段论，但适用范围有限，更重要的是命题逻辑。命题逻辑研究“且”“或”等联结词，是计算机设计与编程的基础。

条件逻辑的核心是假言推理：若P则Q；P发生，故Q发生。作者用“扑克牌问题”和“餐厅查酒龄问题”说明，两者逻辑结构相同，但抽象的扑克牌问题极少有人答对，而具体的餐厅问题容易得多，说明人们很难运用条件逻辑的抽象形式。

常见的无效推理形式有两种：一是“相反错误”，即由“若P则Q”和Q成立推出P成立，如由喉咙痛推出得了流感；二是“反演错误”，即由“若P则Q”和P不成立推出Q不成立，如由没下雨推出街道不湿。这些结论虽在演绎上无效，却可能是较好的归纳结论。

人们日常更多依赖“实用推理模式”，其中道义逻辑关注义务与许可，如许可模式：想喝酒则须满21岁；未满21岁则不该喝酒。义务模式：满18岁须登记选举；未登记则要么未满18岁，要么未履行义务。