1701741133
“我考虑过了，我想我最好还是在安全返回伦敦之后写信告诉你。”
1701741134
1701741135
“为什么？”
1701741136
1701741137
“你不会高兴的。”
1701741138
1701741139
“华生，立刻告诉我！”
1701741140
1701741141
我在回家后的次日才把这幅图寄给福尔摩斯：
1701741142
1701741143
1701741144
1701741145
1701741146
[1]这个问题另有一个答案：UNDERFUND。不过在华生那个时代，字典里恐怕没有这个词。
1701741147
1701741148
1701741149
1701741150
1701741151
推理的迷宫：悖论、谜题及知识的脆弱性 [:1701739683]
1701741152
推理的迷宫：悖论、谜题及知识的脆弱性 第5章 演绎：谷堆悖论
1701741153
1701741154
谜题和悖论之间有着深刻的联系。面对一个谜题，我们可以提出许多假说，其中一个可以避免矛盾，这个假说就是答案。但是在悖论中，所有假说都是不合理的。
1701741155
1701741156
逻辑谜题的味道很怪——有点儿像生牡蛎。有些人觉得逻辑谜题是有趣的挑战，有些人则很讨厌它。一个重要的问题是，是否存在解决逻辑谜题的通用方法？是否存在所有人都可以掌握的固定的程序、窍门或方法，可以解决所有的逻辑谜题？如果这种东西存在，那么它在科学以及其他领域都是无价之宝。
1701741157
1701741158
在实际操作中，逻辑表现为两种方法的混合：其一是按部就班的演绎推理，其二是穷尽所有可能性的搜索。第一种方法可以通过一组经典悖论展示。
1701741159
1701741160
推理的迷宫：悖论、谜题及知识的脆弱性 [:1701739684]
1701741161
忒修斯之船
1701741162
1701741163
根据普卢塔克的记载，特修斯杀死人身牛头怪物之后返回雅典，他乘坐的船被雅典人一直保存到法莱雷奥斯的德米特里（Dmetrius Phaleron）的时代。之所以可以保存这么久，是因为在船上的老木板腐朽以后，人们用结实的新木板替换了以前的木板。在哲学家那里，这艘船成为争论点，他们用这个活生生的例子探讨“事物的发展”这一逻辑问题。一方认为，这艘船还是以前的那艘船，另一方则主张它已经不是了。
1701741164
1701741165
所有人都同意，在一艘船上换掉一块木板并不会改变这艘船的“身份”，在撤换一块木板之后船还是原来的船。在修理过的船上再换掉一块木板，情况还是一样。可是，也许到某个时刻，整条船上连一块最初的木板也不剩了，此时，如果雅典人还把这艘船称为特修斯之船，那就是自欺欺人了。假如这艘船当初没有被保留下来，后来的雅典人只是用这些后来的木板直接造了一艘船，那么所有人都会把这艘船称为“特修斯之船的复制品”，大家不会认为这艘船还可以被称为别的东西。
1701741166
1701741167
一些较小的、同一类型的悖论在古希腊很流行。芝诺说，一粒谷子掉在地上没有声音，但是，当一大袋谷子掉在地上时，为什么却发出了声音？袋子里除了一粒一粒的谷子之外什么都没有。“谷堆悖论”[1]与这个问题属于同类问题：无论什么时候，从一堆沙子里拿走一粒沙子，剩下的还是一堆沙子。想象有一堆沙子，从沙堆里取走一粒沙子。根据你过去的经验，是否存在这样一种可能性：本来是一堆沙子，取走一粒沙子以后，剩下的就不是一堆沙子了？当然不可能。于是，我们从一堆沙子开始，一粒一粒来取，最终，这堆沙子只剩下孤零零的一粒了，但它必须依然是一堆！然后把这仅存的一粒也取走，什么也不剩了，但是，在这种情况下，它也必须是一堆！
1701741168
1701741169
当然，为了逃脱困境，我们可以规定“堆”的最小标准。“一堆至少要包含1 000粒，于是规则变成这样：‘在粒数不少于1 001粒的一堆中取走一粒，剩下的依然是一堆。’”然而，这个规定念起来都非常别扭。它不是已经误解最初的问题了吗？“堆”这类词的含义原本就被视为是模糊的。
1701741170
1701741171
这个悖论的一个现代版本是王浩悖论（以王浩的名字命名）。王浩声称，如果一个数x是小的，那么x+1也是小的。所有人都同意0这个数是小的吧？是的。于是，1（“0+1”）是小的，2（“1+1”）是小的，3（“2+1”）也是小的……所有数都是小的。这是荒唐的。
1701741172
1701741173
推理的迷宫：悖论、谜题及知识的脆弱性 [:1701739685]
1701741174
连锁推理
1701741175
1701741176
一个连锁推理是由一连串推理构成的一个链条。在这种推理形式中，每一个命题的谓项与下一个命题的主项相同。换一个说法，如同下例：
1701741177
1701741178
所有大乌鸦都是乌鸦；
1701741179
1701741180
所有乌鸦都是鸟；
1701741181
1701741182
所有鸟都是动物；