格格党

手机浏览器扫描二维码访问

第二部分（第3页）

，“风桶逻辑”

却未必严谨，不一定经得起推敲。

从这个角度来看，日常的逻辑、赌徒的逻辑和分析师的逻辑都不是数学逻辑，而是属于“风桶逻辑”

。

关于全球气候变暖问题的争论，是典型的“风桶逻辑”

。

全球变暖问题的争论是指“二氧化碳排放量增加→全球气候变暖→南极冰川融化→海平面升高→淹没部分陆地”

等一系列存在内在联系的因果关系。

在全球变暖问题的争论中，虽然每个“A→B”

看似都存在统计学依据，但是不存在严谨的数学演绎关系，因此可以判断其属于“风桶逻辑”

。

绝对真理与或然真理[3]

在数学逻辑中，最重要的一点就是运用数学逻辑从一系列公理中推导出的结论是绝对正确的。

这里所谓的“公理”

是指人们默认的不需要证明的前提假设。

比如，在平面几何学（欧几里得几何学[4]）中，就是以“过两点有且只有一条直线”

等公理集合为前提，使用数学逻辑推导出多个定理的，比如“等腰三角形的两个底角相等”

“三角形的三个内角和为180度”

等。

在满足平面几何学公理集合的空间中，这些定理是完全成立的，可以说就相当于绝对真理。

也就是说，如果适用空间完全满足平面几何学的公理要求，那么在平面上描画的三角形的三个内角之和就必然是180度。

当然，如果改变适用的公理集合，就会推导出不同的定理集合。

比如假设适用球面几何学[5]的公理，则可以证明“三角形的内角之和大于180度”

的定理。

只要是满足球面几何学的公理群的空间，无论是在足球表面还是在乒乓球表面，这一定理都是绝对正确的。

与其他学科不同，经过数学证明绝对正确的定理是永远不会被推翻的，这是由数学逻辑特有的推导绝对真理的性质决定的。

人们将这种性质称为“逻辑的健全性”

。

与之相对，根据“风桶逻辑”

推导出的结论则既有正确的，也有错误的。

这是因为“风桶逻辑”

中，每个“A→B”

的推理过程并不一定都是缜密的。

在这种情况下，“A→B”

只不过表示“大体上正确”

的意思。

人们将这种推理称为或然真理。