1701024755
我们在做推理时要以这个故事为戒：面对大量理论，我们必须小心翼翼。二次方程式的根可能不止一个，同样，同一个观察结果有可能产生多种理论，以偏概全的推理会让我们误入歧途。
1701024756
1701024757
接下来，我们再来讨论一下宇宙的创造者这个问题。
1701024758
1701024759
支持“神创论”的最著名推理就是所谓的“宇宙设计论证”。简单地说，它的表现形式是：“天啊！只要看看我们周围的世界就知道了。世间万物多么复杂，令人惊叹！难道你以为单凭运气与物理定律就能把这些东西拼凑到一起吗？”
1701024760
1701024761
如果想正式一点儿，那么我们可以借用自由主义神学家威廉·佩利（William Paley）于1802年出版的《自然神学》（Natural Theology; or， Evidences of the Existence and Attributes of the Deity， Collected from the Appearances of Nature）一书中的表述：
1701024762
1701024763
假设我在穿过一片荒漠时踩到一块石头，你问我：这块石头怎么会在那个地方呢？我可能会回答：我的理解跟你不一样，我认为它一直在那里。或许你很难证明我的回答是荒诞不经的。但是，假设我在地上看到一块表，你问我这块表怎么会在那里，我之前的回答“我认为它一直在那里”，可能就不成立了。毫无疑问，这块表是人制造出来的，某时某地，工匠（们）设计了表的构造和用途，并制造了这块表。
1701024764
1701024765
如果佩利关于表的推理是正确的，那么麻雀、人眼或者人脑的创造是不是难度更大呢？
1701024766
1701024767
佩利的这本书取得了巨大的成功，在15年时间里再版了15次。达尔文在大学时期阅读了这本书，他说：“佩利的《自然神学》是我最欣赏的一本书，我对它非常熟悉达到了倒背如流的程度。”佩利的推理经过修改之后，成为现代智慧设计运动的基石。
1701024768
1701024769
当然，这也是一种经典的归为不可能法：
1701024770
1701024771
·如果没有上帝，就不可能产生人类这样复杂的生物；
1701024772
1701024773
·人类已经产生；
1701024774
1701024775
·因此，上帝不可能不存在。
1701024776
1701024777
这与圣经密码编码者使用的推理方法非常相似。后者的推理方法为，如果《托拉》不是上帝写的，其中隐藏的拉比的生卒日期就不可能那么准确！
1701024778
1701024779
可能大家已经听得厌烦了，但是归为不可能法有时真的不能发挥应有的作用。如果一定要以数值的形式来表达神创论的置信度，我们可以再画一幅方框图。
1701024780
1701024781
第一个难点是先验概率，要搞清楚这个问题并不容易。关于轮盘赌的转轮，我们之前需要回答的问题是：在转动转轮之前，我们认为转轮被动过手脚的可能性有多大？现在，我们面临的问题则变成：如果不知道宇宙、地球甚至我们自己是否存在，那么我们认为上帝存在的可能性有多大？
1701024782
1701024783
1701024784
1701024785
1701024786
在通常情况下，这个问题会让我们陷入绝望境地，转而求助于“无差别原则”（principle of indifference）。这个名称十分恰当，因为要假装不知道自己是否存在，我们没有任何原则可循，只能平均分配先验概率，也就是说，“上帝存在”与“上帝不存在”的先验概率都是50%。
1701024787
1701024788
如果“上帝不存在”的理论是正确的，那么人类这种复杂存在的出现肯定纯属偶然，也许在过程中会受到自然选择的影响。设计论者过去和现在都认为人类的产生是一个可能性非常小的事件。我们在这里假定一些数值，比如这个概率为百亿分之一。于是，我们在方框图下排右列的方框中填入百亿分之一的50%，即两百亿分之一。
1701024789
1701024790
如果“上帝存在”的理论是正确的呢？上帝有很多事可做，在有相关证据之前，我们无法知道创造万物的上帝是否愿意创造人类或者其他有思想的存在，但有一点是毫无疑问的：既然被奉为上帝，他就有能力轻而易举地创造出智慧生命。如果上帝存在，那么他愿意创造出人类这种生物的概率也许是百万分之一吧。
1701024791
1701024792
于是，我们得到下面这幅方框图：
1701024793
1701024794
1701024795
1701024796
1701024797
讨论到这里，可以考虑“我们存在”这个问题了。这个事实位于方框图的下排，从中我们可以清楚地看到，“上帝存在”方框中的数字远大于“上帝不存在”方框中的数字。（前者是后者的一万亿倍！）
1701024798
1701024799
这就是佩利推理的实质，贝叶斯推理称之为“设计论”。驳斥设计论的证据有很多而且非常充分，同时还有两百亿册书提出了“你们应该像我们一样做一个理性的无神论者”的主张。因此，我在这里还是继续讨论与数学推理关系最密切的例子——“学校里最讲卫生的人”。
1701024800
1701024801
我们可能都知道夏洛克·福尔摩斯（Sherlock Holmes）关于推理的一些说法，其中最著名的不是《福尔摩斯与华生》（Elementary）中的那句“非常简单”，而是“我的座右铭是：如果你将不可能排除在外，那么剩下的，无论可能性多么小，都必然是事实”。
1701024802
1701024803
这句话听起来很酷、很合理，而且无可辩驳吧？
1701024804