安瑟尔谟的上帝存在的本体论证明是如何理解的？
关于上帝存在的 **本体论论证** ，是指仅仅 **诉诸于概念** 就来证明上帝存在的那样一种论证，这与多少需要 **诉诸于经验** 的 **宇宙论论证**、 **目的论论证** 等均有不同。

最早提出上帝存在的本体论论证的人，是公元11世纪的圣·安瑟伦（Saint Anselm）。安瑟伦说：

>> 任何能被理解的都存在于理解之中，显然那个没有其他存在可被想象为比它更伟大的存在是不可能仅仅存在于理解中的。因为假设它仅仅存在于理解之中，那么它也就能被想象也存在于实在之中，而存在于实在之中是更伟大的。因此，如果那个没有任何其他存在能被想象比它更伟大的存在仅仅存在于理解之中，那么这个没有任何其他存在能被想象比它更伟大的存在就成了一个有比它更伟大的存在可被想象到的存在。但是，这显然是不可能的。因此，无疑真的存在一个没有其他存在能被想象为比它更伟大的存在。

这段话有些晦涩，但如果稍作解释是可以明白的。让我们想象如下两种存在：

-  **存在a** =存在于想象中的存在；

-  **存在A** =存在a+现实存在。

换言之，存在A在想象上与存在a并无不同，但比存在a多了一个属性，那就是现实存在。这样的话，存在A肯定要来得比存在a更「伟大」，因为它至少在属性上比存在a来得更为「丰满」。

现在，如果我们能够接受把上帝定义为 **最伟大的存在者**，那么上帝就不可能是存在a那种意义的存在，而只能是存在A意义上的存在，若其不然，因为存在A比存在a伟大，上帝就不是最伟大的。于是，上帝必然现实存在着。

事实上，上述论证在本质上还可以减省为如下的说法：

> 因为上帝是完美的，所以上帝具足一切完美属性，而存在本身就是这样一种属性，所以上帝存在。

面对这样一种论证，哲学史上仍多有反驳。如与安瑟伦同时代的高尼罗（Gaunilo）就认为：我们可以想象一处最完美的岛屿，但是这样的岛屿并不必然存在，我们对此没有任何理解上的逻辑障碍。康德认为，存在不是一种属性，因为在对某物的定义当中附加上一个「存在」，并不会为该定义增添任何内容，存在（be）仅仅是一个系词（copula）而非一个谓语（predicate）。