所谓“风桶逻辑”是指“一刮大风,木桶店就赚钱”的谚语中包含的一个连环的因果链条:刮大风→尘土飞扬→灰尘飞入人眼,导致盲人增多→盲人为了谋生要去学拉三弦琴→三弦琴需求量增加→生产三弦琴需要猫皮作为材料,因此需要大量捕杀猫获取猫皮,导致猫的数量减少→猫的数量一旦减少,老鼠就会增多→老鼠一旦增多,啃坏的木桶的数量就会增加→木桶的销量就会随之增加→木桶店就会赚钱。
在数学逻辑中,“如果A则B”可以记为“A→B”,由“A→B”和“B→C”,推导出“A→C”,这被称为三段论法[2]。上文所述的“风桶逻辑”看起来很符合三段论法的链条,但实际并非如此。这是因为在数学逻辑中,“A→B”是指“通过A可以证明B”,也就是说“从A中可以缜密地推导出B”。然而,在“风桶逻辑”中,将“尘土飞扬→灰尘飞入人眼,导致盲人增多”等未必相关的事项强行联系在一起。
因此,在本书中,数学逻辑的“A→B”被严格地限定为“从A中可以缜密地推导出B”,“风桶逻辑”却未必严谨,不一定经得起推敲。从这个角度来看,日常的逻辑、赌徒的逻辑和分析师的逻辑都不是数学逻辑,而是属于“风桶逻辑”。
关于全球气候变暖问题的争论,是典型的“风桶逻辑”。
全球变暖问题的争论是指“二氧化碳排放量增加→全球气候变暖→南极冰川融化→海平面升高→淹没部分陆地”等一系列存在内在联系的因果关系。
在全球变暖问题的争论中,虽然每个“A→B”看似都存在统计学依据,但是不存在严谨的数学演绎关系,因此可以判断其属于“风桶逻辑”。
绝对真理与或然真理[3]
在数学逻辑中,最重要的一点就是运用数学逻辑从一系列公理中推导出的结论是绝对正确的。这里所谓的“公理”是指人们默认的不需要证明的前提假设。
比如,在平面几何学(欧几里得几何学[4])中,就是以“过两点有且只有一条直线”等公理集合为前提,使用数学逻辑推导出多个定理的,比如“等腰三角形的两个底角相等”“三角形的三个内角和为180度”等。在满足平面几何学公理集合的空间中,这些定理是完全成立的,可以说就相当于绝对真理。也就是说,如果适用空间完全满足平面几何学的公理要求,那么在平面上描画的三角形的三个内角之和就必然是180度。
当然,如果改变适用的公理集合,就会推导出不同的定理集合。比如假设适用球面几何学[5]的公理,则可以证明“三角形的内角之和大于180度”的定理。只要是满足球面几何学的公理群的空间,无论是在足球表面还是在乒乓球表面,这一定理都是绝对正确的。
与其他学科不同,经过数学证明绝对正确的定理是永远不会被推翻的,这是由数学逻辑特有的推导绝对真理的性质决定的。人们将这种性质称为“逻辑的健全性”。
与之相对,根据“风桶逻辑”推导出的结论则既有正确的,也有错误的。这是因为“风桶逻辑”中,每个“A→B”的推理过程并不一定都是缜密的。在这种情况下,“A→B”只不过表示“大体上正确”的意思。人们将这种推理称为或然真理。“或然”这个词的意思是“可能是这么回事”或者“在某种程度上是确切的”。由此可见,“风桶逻辑”并不是用来推导绝对真理的逻辑,而是用来推导或然真理的逻辑。