哥德尔本体论证明
哥德尔本体论证明是数学家库尔特·哥德尔对11世纪意大利僧侣圣安瑟伦对于神存在性的本体论论点整理并改进后所作的数学表达方式。圣安瑟伦后曾有17世纪的莱布尼茨提出了另一个较复杂的宇宙论证版本，而这个就是哥德尔所研究并尝试用其本体论逻辑论点去澄清的版本。
虽然哥德尔有宗教信仰，他从未发表这个证明。他在1970年代绝食而死的前几年不断将这个论点向身边的朋友们展示，他去世九年后，即1987年，这论点才被出版。
哥德尔的论证证明用上了由他本人及克里普克等20世纪逻辑学家所发展的模态逻辑，分开了必需的真与偶然的真。 表示必然性，而 表示可能性。证明的关键在于利用“神可能存在”（定理２）及神的极致性（定义１）去推导出“神必然存在”（定理４）。在S5模态逻辑系统的框架下，这项结论可谓全然有效，因此相当惊人。然而，若使用相同的逻辑推论去假设极致伟大的存有不存在，也同样没有任何自相矛盾之处。
证明
圣安瑟伦的论点
11世纪的意大利僧侣圣安瑟伦，其论点用最简洁的表达如下：“God, by definition, is that than which a greater cannot be thought（i.e. ）. God exists in the understanding（i.e. ）. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist. ”。也就是：
![{\displaystyle G(x)\iff \forall \varphi [P(\varphi )\rightarrow \varphi (x)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/257598a5e5d30d528c7a0c79c04cfcec50798180)
1：根据定义，我们不能想出任何比神更伟大的存在。
2：神存在于我们的思想之中。
3：如果神存在于我们的思想之中，那么我们可以想象，如果神存在于实际之中的话，祂就更加伟大。
推论：神必须存在。
哥德尔的证明
哥德尔的证明若以符号表达，则如下：
解「像神特性」， 及 為任一特性， 解 「 為正（可解「完美」或「偉大」）特性」， 解「 x 擁有 特性」， 解「必需存在」， 解 「 是 x 的本質（essence）」， 表示「必然性」，而 表示「可能性」:
![{\displaystyle {\begin{array}{rl}{\mbox{Ax. 0.}}&\Box \;\exists \varphi \;P(\varphi )\\{\mbox{Ax. 1.}}&\lbrace P(\varphi )\land \Box \;\forall x[\varphi (x)\rightarrow \psi (x)]\rbrace \rightarrow P(\psi )\\{\mbox{Ax. 2.}}&P(\neg \varphi )\leftrightarrow \neg P(\varphi )\\{\mbox{Th. 1.}}&P(\varphi )\rightarrow \Diamond \;\exists x\;[\varphi (x)]\\{\mbox{Df. 1.}}&G(x)\iff \forall \varphi [P(\varphi )\rightarrow \varphi (x)]\\{\mbox{Ax. 3.}}&P(G)\\{\mbox{Th. 2.}}&\Diamond \;\exists x\;G(x)\\{\mbox{Df. 2.}}&\varphi \;\operatorname {ess} \;x\iff \varphi (x)\land \forall \psi \lbrace \psi (x)\rightarrow \Box \;\forall y[\varphi (y)\rightarrow \psi (y)]\rbrace \\{\mbox{Ax. 4.}}&P(\varphi )\rightarrow \Box \;P(\varphi )\\{\mbox{Th. 3.}}&G(x)\rightarrow G\;\operatorname {ess} \;x\\{\mbox{Df. 3.}}&E(x)\iff \forall \varphi [\varphi \;\operatorname {ess} \;x\rightarrow \Box \;\exists y\;\varphi (y)]\\{\mbox{Ax. 5.}}&P(E)\\{\mbox{Th. 4.}}&\Box \;\exists x\;G(x)\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3a0175a3d2ed97638909815dd0f4b777054a568)
语译
公设 0：在所有特性中挑出正特性 是可能的。（i.e.在所有特性当中，我们总得界别其中一些为正，否则定义正特性已经没意思了。）
公设 1：任何被一个正特性 必然蕴涵的特性 为正。
公设 2：一个特性 的逻辑非为正若且唯若 为非正。（i.e.特性 与非 必为一正一非正）
定理 1：如果一个特性 为正，那它是相容（consistent）的，即是， 可能找得到例子（exemplified）。（i.e.所有正的特性都可能存在实例。）
定义 1：x像神若且唯若x拥有所有正特性。（i.e.神就是拥有所有正特性的物体）
公设 3：像神特性G为正（i.e.能称得上神，是一种正特性）
定理 2：可能存在一个物体x像神（i.e.神可能存在）。
定义 2： 是x的本质（essence）若且唯若“ 是x的特性”及“对于x所拥有的每一个特性 ，对所有y而言 皆由 而来”
公设 4：假如一个特性 为正，那 必然为正。
定理 3：假若一件物体x像神，那像神的特性G是其本质（essence）。
定义 3：x必需存在若且唯若x的每一个本质（essence） 必然能找得到例子（exemplified）
公设 5：“必需存在”此特性（名为特性E），为正。
定理 4：像神的特性G必然能找到例子（exemplified）（i.e.神必然存在）。
定理 1至4的证明
![{\displaystyle \to \neg \lbrace P(\varphi )\land \Box \;\forall x[\varphi (x)\to (\neg \varphi )(x)]\rbrace {\mbox{ (i.e. 由 Ax. 1)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/300fc36085ef32734cad1d16fde94fcd9c26985a)
![{\displaystyle \to \neg \Box \;\forall x[\varphi (x)\to \neg \varphi (x)]{\mbox{ (i.e.}}\ (\lnot \varphi )(x){\mbox{ 的 定 義 為 }}\ \lnot (\varphi (x))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c8d59d0bfbb134c71d756c83625f52686e88b0b)
![{\displaystyle \to \Diamond \;\neg \forall x[\varphi (x)\to \neg \varphi (x)]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62be04b0ea27d05129c6eea4ccc84870166e30ab)
![{\displaystyle \to \Diamond \;\exists x\lbrace \neg [\varphi (x)\to \neg \varphi (x)]\rbrace \;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b5a9a74a77415e03f8168a8039289abb01de531)
![{\displaystyle \to \Diamond \;\exists x[\varphi (x)]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82239107f40135b2bba3e77cf9ae53a80b5619ab)
![{\displaystyle \rightarrow \Diamond \ \exists x[G(x)]{\mbox{ (i.e. 由 Th. 1)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c81313272347f49773ad5ea05679742448e94ed)
Lemma 1:
![{\displaystyle \forall \varphi [P(\varphi )\rightarrow \varphi (x)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efcda7e655c3e017010a14d6715c6cf0a0a9f7b4)
![{\displaystyle \rightarrow \forall \varphi [P(\lnot \varphi )\rightarrow (\lnot \varphi )(x)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f4651e9f87588332ce37a6e14f00fe93d36c8f2)
![{\displaystyle \rightarrow \forall \varphi [\lnot P(\varphi )\rightarrow \lnot \varphi (x)]{\mbox{ (i.e. 由 Ax. 2)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc21ff12b91862a38a5852b8b8fc60c89b4a630c)
![{\displaystyle \rightarrow \forall \varphi [P(\varphi )\leftarrow \varphi (x)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc8f3e9151e7b038cc199ddfab583fd945f8e62d)
Lemma 2:
![{\displaystyle G(x)\iff \forall \varphi [P(\varphi )\rightarrow \varphi (x)]{\mbox{ (i.e. 由 Df. 1)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b5416a40030e801df39b83027dd1253707b35ae)
![{\displaystyle \rightarrow \lbrace G(x)\iff \forall \varphi [P(\varphi )\iff \varphi (x)]\rbrace {\mbox{ (i.e. 由 Lemma 1)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10d60e48778b780f9d82a4a05a5ceca9a76da631)
Lemma 3:
![{\displaystyle \Box \forall y\lbrace G(y)\iff \forall \varphi [P(\varphi )\rightarrow \varphi (y)]\rbrace {\mbox{ (i.e. 由 Df. 1)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8109410b73d53bf42ff274f9a8ca669012c5fd7a)
![{\displaystyle \rightarrow \Box \forall y(\forall \varphi \lbrace [G(y)\land P(\varphi )]\rightarrow \varphi (y)\rbrace )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba1546cbf7bc2dd0a1dfe32e33a05a8ee0372607)
![{\displaystyle \rightarrow \forall \varphi \lbrace P(\varphi )\rightarrow [\Box \forall y(G(y)\rightarrow \varphi (y))]\rbrace }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c17a5f16d127f6674ecc793222e616879c09142d)
Th. 3的证明:
![{\displaystyle \rightarrow (G(x)\land \forall \varphi \lbrace \varphi (x)\rightarrow [\Box \forall y(G(y)\rightarrow \varphi (y))]\rbrace ){\mbox{ (i.e. 由 Lemma 3)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fd46167769443e59c85798b452b9bc049ebe466)
![{\displaystyle \Diamond \;\exists x[G(x)]\to \Diamond \;\exists x\lbrace G(x)\land \forall \varphi [P(\varphi )\to \varphi (x)]\rbrace {\mbox{ (i.e. 由 Df. 1)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6731bff6148c0549325f2130441885dd1a416c5f)
![{\displaystyle \to \Diamond \;\exists x\lbrace G(x)\land [P(E)\to E(x)]\rbrace \;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbacc23b4c6a9221ff7570237016ede99f92ba1c)
![{\displaystyle \to \Diamond \;\exists x[G(x)\land E(x)]{\mbox{ (i.e. 由 Ax. 5)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a5899162c1586d52c365373c046f74b0dfbe848)
![{\displaystyle \to \Diamond \;\exists x(G(x)\land \forall \varphi \lbrace \varphi \;\operatorname {ess} \;x\to \Box \;\exists y[\varphi (y)]\rbrace ){\mbox{ (i.e. 由 Df. 3)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a41a36649fc1ba3e10883e8351bdd5e09819196)
![{\displaystyle \to \Diamond \;\exists x(G(x)\land \lbrace G\;\operatorname {ess} \;x\to \Box \;\exists y[G(y)]\rbrace )\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ec41ef1ad988906ec407c84fca7a2f59eb4603f)
![{\displaystyle \to \Diamond \;\exists x\lbrace G(x)\land \Box \;\exists y[G(y)]\rbrace {\mbox{ (i.e. 由 Th. 3)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f6818361a2bf42bb4e60b0c733e3b1764db4100)
![{\displaystyle \to \Diamond \;\Box \;\exists y[G(y)]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50d5b6ae374ec66e9b546209f534532bcf0f8151)
![{\displaystyle \to \Box \;\exists y[G(y)]{\mbox{ (i.e. 由 S5 中 的 公 理 E)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7dc275c65657e3d7835b1d4adf9b458c52e631f)
![{\displaystyle \to \Box \;\exists x[G(x)]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2970608571665fada86cc5f2fcba00f89ac09605)
![{\displaystyle \therefore \Box \;\exists x[G(x)]{\mbox{ (i.e. 由 Th. 2)}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e086641ff693a751594e3e5dc02e1cf5b125e32d)
证明中用到的公设
哥德尔证明中的公设有5项：
- 公设 0: 在所有特性中挑出正特性是可能的。哥德尔定义正特性颇不清晰：“正解作在道德美学上为正（independently of the accidental structure of the world）......It may also mean pure attribution as opposed to privation (or containing privation)." 值得注意的是，正不能简单地被解读为“善”（good），因为最大的善特性和最小的恶特性的合取是非正特性。正可以被解作“完美”（perfective），即“纯粹的善”（purely good）。(Gödel 1995)
然后我们假设以下几个条件成立（公设 1至3可被总结为“那些正特性们形成了一个超滤子”）：
- 公设 1: 假如 φ 为正特性且 φ 必然蕴涵 ψ，那 ψ 也是正。
- 公设 2: 假如 φ 是一个特性，则在 φ 与其逻辑非——“非 φ ”中有且只有一个为正特性。
- 公设 3: “像神特性”G为正特性。
- 公设 4: 若 φ 为正特性，则其必然为正特性。
- 公设 5: “必需存在性”E为正特性。This mirrors the key assumption in Anselm's argument.
批评
对哥德尔本体论证明的大部份批评，皆在于其公设部份。正如任何逻辑系统，假如其所依赖的公设备受怀疑，则结论也会受到怀疑。此情况特别适用于哥德尔的证明，因为其所依赖的5条公设，全部也是可以质疑的。此证明并不表示其结论正确，但假如你接受了那些公设，结论就是正确的。
很多哲学家质疑这些公设。第一层的攻击，在于指出没有任何理据支持为何这些公设为正确。第二层则是这些公设带来一个不受欢迎的结论“模态塌陷”（modal collapse），即对于所有公式 ， 成立。由 S5 的公理 T 可得 ，故 。这使得所有必然真、偶然真和可能真重合，并被部分哲学家解释为对自由意志概念的否定。
参见
参考文献
- C. Anthony Anderson, "Some Emendations of Gödel's Ontological Proof", Faith and Philosophy, Vol. 7, No 3, pp. 291–303, July 1990
- Kurt Gödel (1995). "Ontological Proof". Collected Works: Unpublished Essays & Lectures, Volume III. pp. 403–404, 429-437. Oxford University Press. ISBN 0195147227
- A. P. Hazen, "On Gödel's Ontological Proof", Australasian Journal of Philosophy, Vol. 76, No 3, pp. 361–377, September 1998
- Jordan Howard Sobel, "Gödel's Ontological Proof" in On Being and Saying. Essays for Richard Cartwright, ed. Judith Jarvis Thomson (MIT press, 1987)
- Melvin Fitting, "Types, Tableaus, and Godel's God" Publisher: Dordrecht Kluwer Academic ©2002, ISBN 9781402006043