#今天要来点数学吗?# #数理逻辑#

P1. 如果上帝不存在，那么如果我祈祷，我的祈祷就会被回应这件事就不成立。

P2. 我不祈祷。

C. 因此，上帝存在。

这段“上帝存在”的证明，在逻辑上竟然是正确的。

证明见下图

论证最初来自逻辑学家 Dorothy Edgington. 参见On Conditionals, Mind。第104卷（1995年），第235-329页。

“我没祈祷” 怎么能推出 “上帝存在”？

答案是这里的“如果……那么……”不是因果或语义上的“如果”，而是逻辑联结词。它利用了经典逻辑中一个非常违反直觉但完全合法的规则：实质蕴涵怪论（Paradoxes of Material Implication），特别是关于“空真”（Vacuous Truth）的概念。

实质条件句的一个反直觉特征，常被与实质蕴涵怪论联系起来讨论，即它们不适合用虚拟语气陈述来建模直觉推理。一个经典例子（以至于本段所有都引用了它）是奥斯瓦尔德-肯尼迪例子，源自欧内斯特·W·亚当斯1970年的一篇论文。

根据亚当斯的说法，这个指示性条件句是真的：“如果奥斯瓦尔德没有射击肯尼迪，那么就是别人射击了。”

这确实是真的，因为肯尼迪确实被枪击了。它是在承认事件发生后，对嫌疑人的推定——不是A，就是B。

然而，普遍认为这个虚拟语气条件句并不确凿：“如果奥斯瓦尔德没有射杀肯尼迪，就会有别人射杀肯尼迪。”

因为它涉及对历史的反事实推理。说的是，就算没有A，也会有B去刺杀肯尼迪。