1701741823
1701741824
如果这本书中包含一个（或多个）错误，则这个作为序言的命题是正确的。如果这本书中除了这个作为序言的命题以外没有任何错误，则这个作为序言的命题就是错误的。于是，这本书中确实有一个错误，而作为序言的命题是正确的。但是如果作为序言的命题是正确的，那么本书中就没有错误，作为序言的命题就是错误的……在再版时插入一系列的勘误表也无助于解决这个问题！[2]
1701741825
1701741827
合理的观念必须是相容的吗？
1701741828
1701741829
确实有许多作者在实际的序言中承认有错误。小库尔特·冯内古特（Kurt Vonnegut Jr.）的小说《猫的摇篮》就有这样一篇序言：“本书中的东西统统是假的。”这与梅金森的序言悖论不一样，它是更直接的矛盾。不过好在冯内古特的书是文学作品，只要这个序言不应用于自身，它还是正确的。按理说，这个序言本身是真正的冯内古特（而非小说中的人物）写的，所以序言不是文学性的。当序言涉及自身时，就产生了一个说谎者悖论。
1701741830
1701741831
序言悖论使我们回想起数学家威廉·尚克斯毕生悲剧性的工作。他一生致力于计算圆周率，他在计算第528位小数时出了错，导致以后的全部工作都无效了。设想你正在写一本名为“圆周率的数字”的书。书的第一页上写着：“圆周率的第一个有效数字是3。”此后的每一页都承续上一页记录圆周率的十进制小数的下一个数字。你用手摇计算器得出数字。你是个有水平的数学家，采用的是公认有效的算法。因此，你有理由相信自己算出的每一个数字都是对的。
1701741832
1701741833
当你算到第1 000位的时候，你发现，你很可能已经在计算中犯了至少一个错误。哎哟！你的处境比梅金森的序言悖论还要糟。计算新的一位数字依赖于先前的计算结果（就像在长除法中一样）。你不能直接确定圆周率的第1 000位数字，在此之前，你必须先确定第999位数字，而为此你必须确定第998位数字，依此类推。如果在计算某一位数字时出了错，那么随后的所有数字都是无效的。这就好比竖起1 000张多米诺骨牌，一旦第307张骨牌倒向右侧，其后的每一张骨牌都会倒下。如果在前1 000位数字中至少有一处错误，则第1 000位一定是错的。[3]同样，第999位、第998位以及此前的一长串数字很可能也是如此。
1701741834
1701741835
和期望悖论一样，序言悖论质疑了在涉及归纳概率的、没有确定性的场合下演绎推理的作用。由于科学家借重于概率更甚于确定性，这个问题值得深思。
1701741836
1701741837
我们的世界观由一系列观念构成，这些观念大体上是真实、合理的（至少我们是这样认为的）。序言悖论提出一个问题：在合理的观念之中是否可能包含逻辑矛盾。请注意，在悖论内部包含着悖论。书的作者有这样一个观念：书中的每一个命题单独考虑都是真的，但是以整体上来说书中一定包含错误。这个观念包含矛盾。假定这本书做出了1 000个不同的判断，这些判断都是正确的，而且相互一致；而序言中的声明（“本书中至少有一个命题是错误的”）是第1 001个判断。这就产生了一个极为奇异的矛盾：虽然全部1 001个判断构成的整体是自相矛盾的，但是从中任意取出1 000个判断，则这1 000个判断在逻辑上相互一致。
1701741838
1701741839
在小亨利·E·屈贝里（Henry E. Kyburg Jr.）提出的“彩票悖论”（1961）中，概率的地位更加明显。任何一个买彩票的人都不能合理地期望赢，因为结果相反的概率太大了。但是事实上总会有某个人赢，如果每个人都预计自己不会赢，则与这个事实矛盾。在实际生活中这个可疑的推理链条又向前推进了一步。“既然一定会有某个人赢，你怎么知道这个人就不是我呢？”这个想法不符合理性推断，但是国家彩票的广告词就是这么说的。屈贝里认为，一个人的合理观念的集合可能在逻辑上是矛盾的。
1701741840
1701741841
梅金森的序言悖论和屈贝里的彩票悖论涉及的深层问题在于，大量观念汇集在一起可能把矛盾隐藏起来。在一个由100万个命题构成的集合中，某个单独的命题可能会引入一个微妙的矛盾。请考虑这个连锁推理：
1701741842
1701741843
1.艾丽斯是个逻辑学家。
1701741844
1701741845
2.所有逻辑学家都吃猪排。
1701741846
1701741847
3.所有吃猪排的人都是克里特岛人。
1701741848
1701741849
4.所有克里特岛人都是说谎者。
1701741850
1701741851
5.所有说谎者都是出租车司机。
1701741852
1701741853
……
1701741854
1701741855
……
1701741856
1701741857
……
1701741858
1701741859
999 997.所有得克萨斯人都是富人。
1701741860
1701741861
999 998.所有富人都是不快乐的。
1701741862
1701741863
999 999.所有不快乐的人都吸烟。
1701741864
1701741865
1 000 000.艾丽斯不吸烟。
1701741866
1701741867
省略号表示其他前提，即第6~999 996条。其中每一个命题都是“所有的X都是Y”这种形式，我们最终可以推出，所有的逻辑学家都是吸烟者，由此得到艾丽斯吸烟。这与第100万条前提矛盾。因此，这个命题集合是不可满足的（自相矛盾的）。
1701741868
1701741869
没有哪个前提格外值得注意。有趣的是，去掉任何一个前提都会使得整体变成可以满足的。例如，去掉前提4，则得到艾丽斯是克里特岛人，所有说谎者都吸烟，艾丽斯不吸烟（因此艾丽斯不是说谎者）。
1701741870
1701741871
在这个例子中，所有前提以整齐的次序排列，因而不难看出其中的矛盾。如果这100万个前提打乱次序随机排列，要想发现其中的自相矛盾之处就非常困难了。如果其中某些命题采取了更复杂的形式，难度则更大。一个观念集合如同一个博罗梅奥环（Borromean Ring），或是那种抽出一片就使整体散架的智力玩具。每个命题的作用都会在整个集合中传播开来，对整体产生影响。
1701741872
[
上一页 ]
[ :1.701741823e+09 ]
[
下一页 ]