哥德爾本體論證明

**哥德爾本體論證明**是數學家庫爾特・哥德爾對 11 世紀義大利僧侶聖安瑟倫對於神存在性的本體論論點整理並改進後所作的數學表達方式。聖安瑟倫後曾有 17 世紀的萊布尼茨提出了另一個較複雜的宇宙論證版本，而這個就是哥德爾所研究並嘗試用其本體論邏輯論點去澄清的版本。

雖然哥德爾有宗教信仰，他從未發表這個證明。他在 1970 年代絕食而死的前幾年不斷將這個論點向身邊的朋友們展示，他去世九年後，即 1987 年，這論點才被出版。

哥德爾的論證證明用上了由他本人及克里普克等 20 世紀邏輯學家所發展的模態邏輯，分開了_必需_的真與_偶然_的真。 $\Box $ 表示**必然性**，而 $\Diamond $ 表示**可能性**。證明的關鍵在於利用「神可能存在」（定理２）及神的極致性（定義１）去推導出「神必然存在」（定理４）。在 S5 模態邏輯系統的框架下，這項結論可謂全然有效，因此相當驚人。然而，若使用相同的邏輯推論去假設極致偉大的存有不存在，也同樣沒有任何自相矛盾之處。

## 證明

### 聖安瑟倫的論點

11 世紀的義大利僧侶聖安瑟倫，其論點用最簡潔的表達如下：「God, by definition, is that than which a greater cannot be thought（i.e. $G(x)\iff \forall \varphi [P(\varphi )\rightarrow \varphi (x)]$ ）. God exists in the understanding（i.e. $\Diamond \;\exists x\;G(x)$ ）. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist. $\Box \;\exists x\;G(x)$ 」。也就是：

**1**：根據定義，我們不能想出任何比神更偉大的存在。

**2**：神存在於我們的思想之中。

**3**：如果神存在於我們的思想之中，那麼我們可以想像，如果神存在於實際之中的話，祂就更加偉大。

**推論**：神必須存在。

### 哥德爾的證明

哥德爾的證明若以符號表達，則如下：

```
$G$ 解「像神特性」，$\varphi $及$\psi $為任一特性，$P(\varphi )$ 解 「$\varphi $ 為正（可解「完美」或「偉大」）特性」， $\varphi (x)$ 解「 x 擁有 $\varphi $ 特性」，$E$ 解「必需存在」， $\varphi \;\operatorname {ess} \;x$ 解 「$\varphi $ 是 x 的本質（essence）」，$\Box $ 表示「必然性」，而 $\Diamond $ 表示「可能性」:
```

$$
{\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}}
$$

#### 語譯

#### 定理 1 至 4 的證明

#### 證明中用到的公設

哥德爾證明中的公設有 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），即對於所有公式 $p$ ， $p\to \Box p$ 成立。由 **S5** 的公理 **T** 可得 $\Box p\to p$ ，故 $p\leftrightarrow \Box p$ 。這使得所有必然真、偶然真和可能真重合，並被部分哲學家解釋爲對自由意志概念的否定。

## 參見

* 本體論證明
* 絕對無限
* 宗教哲學
* 有神論

## 參考文獻

* 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

## 外部連結

* Kurt Gödel's Ontological Argument
* Stanford Encyclopedia of Philosophy: Ontological Argument（頁面存檔備份，存於網際網路檔案館）