安瑟尔谟的“上帝存在的本体论证明”的简要内容是什么？

安瑟尔谟的“上帝存在的本体论证明”的简要内容是什么？

哥德尔关于上帝存在的本体论证明

王浩先生著的《哥德尔》翻译的原文摘录如下：

公理1。（二分性）一个性质是肯定的当且仅当它的否定是否定的。
公理2。（闭包性）一个性质是肯定的，如果它必然包含一个肯定性质。
定理1。一个肯定性质是逻辑上一致的（也就是它可能有某个实例）。
定义。某个东西是类上帝的当且仅当它具备所有的肯定性质。
公理3。是类上帝的是一个肯定性质。
公理4。是一个肯定性质（是逻辑的，因而）是必然的。
定义。性质P是x的本质当且仅当x具备P并且P必然是极小的。
定理2。如果x是类上帝的，那么类上帝的是x是的本质。
定义。NE(x)：x必然存在，如果它具备一个本质的性质。
公理5。是NE是类上帝的。
定理3。必然有某个x,x是类上帝的。

——摘自《哥德尔》第270页

我理解下来的意思是，哥德尔企图在集合（可能是无穷集合）对象里抽取肯定性质，这些肯定性质组成集合“类上帝”，由“类上帝”则可推出存在一个新的集合x ，这个x 就是上帝。

如果说哥德尔的确是受莱布尼茨单子论的启发，那么，我以为这里的“类上帝”很有可能就是莱布尼茨的单子的一个特征向量，并且，这些特征向量组成的集合是一个核，这个核不仅具备肯定性质，并且是极小的。

从整个推理过程来看，只有定义NE（x ）这里有个非推理的跃迁，因为具备本质性质的存在，有可能只是形式存在，而不一定是内容存在。

也就是说，哥德尔证明了一个形式上存在的上帝，但离神学系统普遍要求的既形式又内容的上帝存在还差很远。

然而形式上存在的上帝，却是可以根据不同的公理系统而更换它的表达式的。

但无论如何，哥德尔把形式上的上帝和内容上的上帝分开，这本身就是一个进步，因为这样至少可以产生一个可以依靠有限语言集合形成的形式上的公共领域，以供不同文化背景下的宗教学说进行交流。

所以，还是一句话，当我们无法在目前达到有关宗教形而上学的最优解集合时，不妨循着哥德尔的方法，先尝试着寻找可行解集合。

完满性，从完满概念推出上帝

对多数人来说这蛮钻牛角尖的，或者匪夷所思的。但若想过人从何而来，人生的终极意义是什么，那这个问题还有必要弄清楚的。 本人个人认为上帝当然在现实之中。我是这么想着个问题的，上帝为什么存在？逻辑是什么？ 1.人造不出人，只能繁衍。什么意思呢？我们都知道人身上的元素：碳，氮，氢，氧，各种微量元素自然界是都找得到的。如果我们能找齐所有的原料，人能像造房子，造船那样造出人来吗？可定不行。目前人没有这样高的技术用各种分子造出细胞，再用细胞造出器官，再用器官造出人。即便造出了，是活人还是死人？差口气就是阴阳两隔。 2.人是存在的，知道基因这回事，就知道这太精密，精密到不可设想，庞大只感到伟大。人造不出人，能造出人就应该有高于人类智慧的“他”的存在。 3.人存在还不单单人有机地高精密地组合了所有原料。在这些原料之外还有很特别的一种存在：意识。活人多出了意识。没了意识同样的原料只能造出死人。 所以为什么上帝在用泥捏完人后，还吹了口气。很简单，有了气的人才是活人啰。泥土是什么？就是原料。基因是人找到的人的工程的图纸，现在图纸上很多东西还没看懂。 人造不出人，所以人存在就是上帝存在，人在现实中就是上帝在现实中。

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息