哥德爾本體論證明邏輯學(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)導(dǎo)致模態(tài)坍塌問題3.上帝的唯一性問題公理5的問題結(jié)論四.對哥德爾論證系統(tǒng)的相關(guān)修正1.修改公理2和“本質(zhì)”的定義2.限制論證系統(tǒng)中的性質(zhì)為“內(nèi)在性質(zhì)”3.取代公理5五.小結(jié)1.本文的意義2.本文所做的工作對“positive”的理解把“積極性質(zhì)”解讀為“善（good）”是不可能的，因為最大限度的優(yōu)點和最小限度的不足放在一起依然是消極的（negative）。把“積極的”視為“完滿的（perfective）”；即：“純粹的善（purelygood）”（不能用善來代替），即不實質(zhì)蘊涵任何對“純粹的善”的否定。積極的性質(zhì)被理解為斷言（包括重言式），消極的性質(zhì)被理解為缺失。對積極性質(zhì)必然化后得到的性質(zhì)也是積極的，這是本體論證明的一個基本預(yù)設(shè)。本體論證明：本文所指的本體論證明是指，從“上帝”的定義以及一些不涉及關(guān)于世界內(nèi)容的非經(jīng)驗命題出發(fā)，借助邏輯學(xué)的一些規(guī)律，從而導(dǎo)出“上帝必然存在”的論證。哥德爾本體論證明系統(tǒng)公理1：如果一個性質(zhì)是積極的，并且另一個性質(zhì)也是積極的，那么這兩個性質(zhì)的合取也是積極的。公理2：一個性質(zhì)是積極的，或者它的否定是積極的。定義1：某個實體是似上帝的，當且僅當，這個實體具有任意積極的性質(zhì)。定義2：某個性質(zhì)是某個實體的本質(zhì)，當且僅當，這個性質(zhì)實質(zhì)蘊含該實體的任意性質(zhì)。公理3：如果一個性質(zhì)是積極的，那么必然地這個性質(zhì)是積極的；如果一個性質(zhì)不是積極的，那么必然地這個性質(zhì)不是積極的。公理4：性質(zhì)“必然存在”是積極的。公理5：如果一個性質(zhì)φ是積極的，并且必然地性質(zhì)φ嚴格蘊涵性質(zhì)ψ，那么性質(zhì)ψ也是積極的。定理：必然存在似上帝的實體。模態(tài)坍塌問題主要參考文獻：Sobel.LogicandTheism.ArgumentsForandAgainstBeliefsinGod.Cambridge:CambridgeUniversityPress2004.主要思想：上帝必然存在會導(dǎo)致上帝的性質(zhì)都必然是有實例的，而所有事實上為真的命題都可以作為呈現(xiàn)事實的一種性質(zhì)(thepropertyofbeingthepresenceofthistruth)和上帝所擁有的任意性質(zhì)一起合取形成一個新的性質(zhì)，上帝事實上具有這個新的性質(zhì)，所以這個新的性質(zhì)是積極的，又因為上帝是必然存在的，這就意味著上帝在每一個可能世界中都存在，所以在每一個可能世界中這個新的性質(zhì)都存在的，這就意味著在每一個可能世界中，這個事實為真的命題都是真的，這樣事實為真等同于必然為真，出現(xiàn)模態(tài)坍塌。上帝唯一性問題主要參考文獻：Oppy的論文“Godel’sontologicalagument”(1996)主要思想：通過哥德爾的這個論證的方法可以構(gòu)造類似的證明，從而構(gòu)造出很多類似的上帝，這樣一來，我們將得到的很多不同的上帝必然存在的結(jié)論主要技術(shù)處理：修改“上帝”的定義——定義1：x是似上帝的，當且僅當，x具有本質(zhì)的性質(zhì)，并且僅僅這些本質(zhì)的性質(zhì)是積極的，但是x不具有性質(zhì)P1，P2，……Pn。公理5的問題主要參考文獻：Koons的論文“SobelonGodel’sontologicalproof”(2005)主要思想：通過“無偶然存在”分析“必然存在”的滿足的條件。公理5的錯誤：混淆了積極性質(zhì)和通過積極的二階條件所選出的性質(zhì)。修改公理2和本質(zhì)的定義主要參考文獻：Anderson的論文“SomeEmendationsofGodel’sOntologicalProof”（1990）公理2‘：如果一個性質(zhì)是積極的，那么這個性質(zhì)的否定不是積極的。定義2’：性質(zhì)是x的本質(zhì)，當且僅當，對于任意的性質(zhì)，x必然地（本質(zhì)地）具有性質(zhì)，當且僅當，性質(zhì)嚴格蘊含性質(zhì)。修改后：這個新的關(guān)于“本質(zhì)”的定義，將我們對上帝的討論限制在了本質(zhì)的性質(zhì)的范圍內(nèi)，一些偶然的性質(zhì)被我們所排除了。限制系統(tǒng)中的性質(zhì)為內(nèi)在性質(zhì)主要參考文獻：Koons的論文“SobelonGodel’sOntologicalProof”(2005)主要思想：通過將論證系統(tǒng)中性質(zhì)的定義域限制為內(nèi)在性質(zhì)，那關(guān)于世界的實然命題就不是上帝的內(nèi)在性質(zhì)，這樣就可以排除呈現(xiàn)實然命題狀態(tài)的這類性質(zhì)，避免模態(tài)坍塌。取代公理5主要參考文獻：