哥德爾本體論證明課件

1、哥德爾本體論證明邏輯學(xué)專業(yè)：劉佳論文主體結(jié)構(gòu)一.導(dǎo)言相關(guān)歷史背景介紹二.哥德爾本體論證明三.哥德爾本體論證明中存在的問題四.對哥德爾論證系統(tǒng)的相關(guān)修正五.小結(jié)一.導(dǎo)言相關(guān)的歷史背景1.“上帝存在”證明的歷史2.哥德爾本體論證明的意義3.哥德爾本體論證明的相關(guān)背景二.哥德爾本體論證明1.“本體論證明”的定義2.哥德爾論證系統(tǒng)的介紹和簡要分析3.對論證系統(tǒng)中“positive”的理解三.哥德爾本體論證明中存在的問題1.上帝的可認(rèn)知性問題2.系統(tǒng)導(dǎo)致模態(tài)坍塌問題3.上帝的唯一性問題公理5的問題結(jié)論四.對哥德爾論證系統(tǒng)的相關(guān)修正1.修改公理2和“本質(zhì)”的定義2.限制論證系統(tǒng)中的性質(zhì)為“內(nèi)在性質(zhì)”3.取

2、代公理5五.小結(jié)1.本文的意義2.本文所做的工作鳴謝謝謝邢老師的悉心指導(dǎo)，謝謝各位老師和同學(xué)的耐心傾聽，請各位老師和同學(xué)多多提出意見和建議。對“positive”的理解把“積極性質(zhì)”解讀為“善（good）”是不可能的，因為最大限度的優(yōu)點和最小限度的不足放在一起依然是消極的（negative）。把“積極的”視為“完滿的（perfective ）”；即：“純粹的善（purely good）”（不能用善來代替），即不實質(zhì)蘊涵任何對“純粹的善”的否定。 積極的性質(zhì)被理解為斷言（包括重言式），消極的性質(zhì)被理解為缺失 。對積極性質(zhì)必然化后得到的性質(zhì)也是積極的，這是本體論證明的一個基本預(yù)設(shè)。 本體論證明：本

3、文所指的本體論證明是指，從“上帝”的定義以及一些不涉及關(guān)于世界內(nèi)容的非經(jīng)驗命題出發(fā)，借助邏輯學(xué)的一些規(guī)律，從而導(dǎo)出“上帝必然存在”的論證。哥德爾本體論證明系統(tǒng)公理1：如果一個性質(zhì)是積極的，并且另一個性質(zhì)也是積極的，那么這兩個性質(zhì)的合取也是積極的。公理2：一個性質(zhì)是積極的，或者它的否定是積極的。定義1：某個實體是似上帝的，當(dāng)且僅當(dāng)，這個實體具有任意積極的性質(zhì)。定義2：某個性質(zhì)是某個實體的本質(zhì)，當(dāng)且僅當(dāng)，這個性質(zhì)實質(zhì)蘊含該實體的任意性質(zhì)。公理3：如果一個性質(zhì)是積極的，那么必然地這個性質(zhì)是積極的；如果一個性質(zhì)不是積極的，那么必然地這個性質(zhì)不是積極的。公理4：性質(zhì)“必然存在”是積極的。公理5：如果一個

4、性質(zhì)是積極的，并且必然地性質(zhì)嚴(yán)格蘊涵性質(zhì)，那么性質(zhì)也是積極的。定理：必然存在似上帝的實體。上帝的可認(rèn)知性問題參考文獻(xiàn)：Sobel的論文“Godels Ontological Proof” （1987）該系統(tǒng)可得到定理：似上帝的任一性質(zhì)都將通過一個似上帝的實體被必然的例示。問題：按照傳統(tǒng)神學(xué)觀點，上帝是通過一些可感的性質(zhì)而被認(rèn)知的，在哥德爾的系統(tǒng)中，上帝的所有性質(zhì)都是必然的，這與可感性質(zhì)不是必然性質(zhì)有沖突。模態(tài)坍塌問題主要參考文獻(xiàn)：Sobel. Logic and Theism. Arguments For and Against Beliefs in God. Cambridge: Cambr

5、idge University Press 2004. 主要思想：上帝必然存在會導(dǎo)致上帝的性質(zhì)都必然是有實例的，而所有事實上為真的命題都可以作為呈現(xiàn)事實的一種性質(zhì)(the property of being the presence of this truth)和上帝所擁有的任意性質(zhì)一起合取形成一個新的性質(zhì)，上帝事實上具有這個新的性質(zhì)，所以這個新的性質(zhì)是積極的，又因為上帝是必然存在的，這就意味著上帝在每一個可能世界中都存在，所以在每一個可能世界中這個新的性質(zhì)都存在的，這就意味著在每一個可能世界中，這個事實為真的命題都是真的，這樣事實為真等同于必然為真，出現(xiàn)模態(tài)坍塌。 上帝唯一性問題主要參考文獻(xiàn)

6、：Oppy的論文“Godels ontological agument” (1996)主要思想：通過哥德爾的這個論證的方法可以構(gòu)造類似的證明，從而構(gòu)造出很多類似的上帝，這樣一來，我們將得到的很多不同的上帝必然存在的結(jié)論 主要技術(shù)處理：修改“上帝”的定義定義1：x是似上帝的，當(dāng)且僅當(dāng)，x具有本質(zhì)的性質(zhì)，并且僅僅這些本質(zhì)的性質(zhì)是積極的，但是x不具有性質(zhì)P1，P2，Pn。公理5的問題主要參考文獻(xiàn)：Koons的論文“Sobel on Godels ontological proof” (2005)主要思想：通過“無偶然存在”分析“必然存在”的滿足的條件。公理5的錯誤：混淆了積極性質(zhì)和通過積極的二階條件

7、所選出的性質(zhì) 。哥德爾本體論證明的問題結(jié)論 筆者認(rèn)為， 哥德爾該證明系統(tǒng)中最重要的問題還是導(dǎo)致“模態(tài)坍塌”的問題，而要對該系統(tǒng)進(jìn)行完善和修改也應(yīng)該從這個問題入手。而“上帝的可認(rèn)知性”問題哥德爾證明系統(tǒng)所不可避免的問題，甚至是任何本體論證明都可能會遇到的問題，只要著手進(jìn)行本體論證明可能就已經(jīng)面臨了上帝的可認(rèn)知性問題，所以要對哥德爾的證明系統(tǒng)做修改從這個問題出發(fā)是不可能的，除非放棄本體論證明。而奧匹所構(gòu)造的類似的論證系統(tǒng)去證明有無數(shù)個不同的上帝存在，是疏忽對個體本質(zhì)性理解，筆者認(rèn)為不可取，所以，對哥德爾的本體論證明系統(tǒng)的完善還是回歸到對“模態(tài)坍塌”問題的關(guān)注和解決才是合理的研究方向。修改公理2和本

8、質(zhì)的定義主要參考文獻(xiàn)：Anderson的論文“Some Emendations of Godels Ontological Proof”（1990）公理2：如果一個性質(zhì)是積極的，那么這個性質(zhì)的否定不是積極的。定義2：性質(zhì)是x的本質(zhì)，當(dāng)且僅當(dāng)，對于任意的性質(zhì)，x必然地（本質(zhì)地）具有性質(zhì)，當(dāng)且僅當(dāng)，性質(zhì)嚴(yán)格蘊含性質(zhì)。修改后：這個新的關(guān)于“本質(zhì)”的定義，將我們對上帝的討論限制在了本質(zhì)的性質(zhì)的范圍內(nèi)，一些偶然的性質(zhì)被我們所排除了。 限制系統(tǒng)中的性質(zhì)為內(nèi)在性質(zhì)主要參考文獻(xiàn)：Koons的論文“Sobel on Godels Ontological Proof” (2005) 主要思想：通過將論證系統(tǒng)中性質(zhì)的定義域限制為內(nèi)在性質(zhì)，那關(guān)于世界的實然命題就不是上帝的內(nèi)在性質(zhì)，這樣就可以排除呈現(xiàn)實然命