天才一秒记住【畅想小说网】地址：http://www.cxtra.net
，由“A→B”
和“B→C”
，推导出“A→C”
，这被称为三段论法[2]。
上文所述的“风桶逻辑”
看起来很符合三段论法的链条，但实际并非如此。
这是因为在数学逻辑中，“A→B”
是指“通过A可以证明B”
，也就是说“从A中可以缜密地推导出B”
。
然而，在“风桶逻辑”
中，将“尘土飞扬→灰尘飞入人眼，导致盲人增多”
等未必相关的事项强行联系在一起。
因此，在本书中，数学逻辑的“A→B”
被严格地限定为“从A中可以缜密地推导出B”
，“风桶逻辑”
却未必严谨，不一定经得起推敲。
从这个角度来看，日常的逻辑、赌徒的逻辑和分析师的逻辑都不是数学逻辑，而是属于“风桶逻辑”
。
关于全球气候变暖问题的争论，是典型的“风桶逻辑”
。
全球变暖问题的争论是指“二氧化碳排放量增加→全球气候变暖→南极冰川融化→海平面升高→淹没部分陆地”
等一系列存在内在联系的因果关系。
在全球变暖问题的争论中，虽然每个“A→B”
看似都存在统计学依据，但是不存在严谨的数学演绎关系，因此可以判断其属于“风桶逻辑”
。
绝对真理与或然真理[3]
在数学逻辑中，最重要的一点就是运用数学逻辑从一系列公理中推导出的结论是绝对正确的。
这里所谓的“公理”
是指人们默认的不需要证明的前提假设。
比如，在平面几何学（欧几里得几何学[4]）中，就是以“过两点有且只有一条直线”
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！