《哥德尔本体论证明》PPT课件

《《哥德尔本体论证明》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、哥德尔本体论证明逻辑学专业：刘佳论文主体结构一.导言——相关历史背景介绍二.哥德尔本体论证明三.哥德尔本体论证明中存在的问题四.对哥德尔论证系统的相关修正五.小结一.导言——相关的历史背景1.“上帝存在”证明的历史2.哥德尔本体论证明的意义3.哥德尔本体论证明的相关背景二.哥德尔本体论证明1.“本体论证明”的定义2.哥德尔论证系统的介绍和简要分析3.对论证系统中“positive”的理解三.哥德尔本体论证明中存在的问题1.上帝的可认知性问题2.系统导致模态坍塌问题3.上帝的唯一性问题公理5的问题结论四.对哥德尔论证系统的相关修正1.修改公理

2、2和“本质”的定义2.限制论证系统中的性质为“内在性质”3.取代公理5五.小结1.本文的意义2.本文所做的工作鸣谢谢谢邢老师的悉心指导，谢谢各位老师和同学的耐心倾听，请各位老师和同学多多提出意见和建议。对“positive”的理解把“积极性质”解读为“善（good）”是不可能的，因为最大限度的优点和最小限度的不足放在一起依然是消极的（negative）。把“积极的”视为“完满的（perfective）”；即：“纯粹的善（purelygood）”（不能用善来代替），即不实质蕴涵任何对“纯粹的善”的否定。积极的性质被理解为断言（包括重言式），消

3、极的性质被理解为缺失。对积极性质必然化后得到的性质也是积极的，这是本体论证明的一个基本预设。本体论证明：本文所指的本体论证明是指，从“上帝”的定义以及一些不涉及关于世界内容的非经验命题出发，借助逻辑学的一些规律，从而导出“上帝必然存在”的论证。哥德尔本体论证明系统公理1：如果一个性质是积极的，并且另一个性质也是积极的，那么这两个性质的合取也是积极的。公理2：一个性质是积极的，或者它的否定是积极的。定义1：某个实体是似上帝的，当且仅当，这个实体具有任意积极的性质。定义2：某个性质是某个实体的本质，当且仅当，这个性质实质蕴含该实体的任意性质。公

4、理3：如果一个性质是积极的，那么必然地这个性质是积极的；如果一个性质不是积极的，那么必然地这个性质不是积极的。公理4：性质“必然存在”是积极的。公理5：如果一个性质φ是积极的，并且必然地性质φ严格蕴涵性质ψ，那么性质ψ也是积极的。定理：必然存在似上帝的实体。上帝的可认知性问题参考文献：Sobel的论文“Godel’sOntologicalProof”（1987）该系统可得到定理：似上帝的任一性质都将通过一个似上帝的实体被必然的例示。问题：按照传统神学观点，上帝是通过一些可感的性质而被认知的，在哥德尔的系统中，上帝的所有性质都是必然的，这与可

5、感性质不是必然性质有冲突。模态坍塌问题主要参考文献：Sobel.LogicandTheism.ArgumentsForandAgainstBeliefsinGod.Cambridge:CambridgeUniversityPress2004.主要思想：上帝必然存在会导致上帝的性质都必然是有实例的，而所有事实上为真的命题都可以作为呈现事实的一种性质(thepropertyofbeingthepresenceofthistruth)和上帝所拥有的任意性质一起合取形成一个新的性质，上帝事实上具有这个新的性质，所以这个新的性质是积极的，又因为上帝是

6、必然存在的，这就意味着上帝在每一个可能世界中都存在，所以在每一个可能世界中这个新的性质都存在的，这就意味着在每一个可能世界中，这个事实为真的命题都是真的，这样事实为真等同于必然为真，出现模态坍塌。上帝唯一性问题主要参考文献：Oppy的论文“Godel’sontologicalagument”(1996)主要思想：通过哥德尔的这个论证的方法可以构造类似的证明，从而构造出很多类似的上帝，这样一来，我们将得到的很多不同的上帝必然存在的结论主要技术处理：修改“上帝”的定义——定义1：x是似上帝的，当且仅当，x具有本质的性质，并且仅仅这些本质的性质是

7、积极的，但是x不具有性质P1，P2，……Pn。公理5的问题主要参考文献：Koons的论文“SobelonGodel’sontologicalproof”(2005)主要思想：通过“无偶然存在”分析“必然存在”的满足的条件。公理5的错误：混淆了积极性质和通过积极的二阶条件所选出的性质。哥德尔本体论证明的问题——结论笔者认为，哥德尔该证明系统中最重要的问题还是导致“模态坍塌”的问题，而要对该系统进行完善和修改也应该从这个问题入手。而“上帝的可认知性”问题哥德尔证明系统所不可避免的问题，甚至是任何本体论证明都可能会遇到的问题，只要着手进行本体论证

8、明可能就已经面临了上帝的可认知性问题，所以要对哥德尔的证明系统做修改从这个问题出发是不可能的，除非放弃本体论证明。而奥匹所构造的类似的论证系统去证明有无数个不同的上帝存在，是疏忽