实际存在是属性吗？
启蒙时代的著名哲学家康德曾深入地探讨过安塞尔姆的上帝论证，并对他提出激烈的批判，康德指责，从上帝概念并不能推论出上帝的实际存在。但是安塞尔姆的论证就是这么做的，这也是为什么这个论证被称为存有论（Ontologie）的上帝论证（古希腊文on表达“存有者”）。所以它的错误在于：从最高存有的想象或概念里跨了出去，跨到对其实际存在的认定了。康德认为，光是想象事物存在，并不能由此推论该事物就真的存在，不然的话谁都可以想象100万欧元，并认定这些钱真实存在，这样我们就一秒变有钱人了。
不过等一等：上帝的情况跟一百万欧元并不一样。上帝必须存在，安塞尔姆会说，上帝根本没有别的选项。不实际存在的最高存有就不算是最高的存有者了，也就不是上帝。“实际存在”是上帝必然具备的性质，属于其存有本身。因为我们无法在想到上帝时，不同时想到他的实际存在。相反地，我们可以想象一百万欧元，但无须设想真的有这些钱。在这个脉络下，保险柜里的一百万欧元就像独角兽：我们能想象独角兽，但不必然认为真的有这种动物。反之，安塞尔姆认为，我们只有在认为上帝真的存在的同时，才能设想上帝。不过这样对吗？实际存在真的是上帝必然的属性吗？实际存在之属于上帝，真的等同未婚状态之属于单身汉的概念吗？“上帝不存在”这个说法，真的跟说“保罗是结了婚的光棍”一样荒谬吗？
首先有人可以反对把上帝定义为“我们无法设想比他更崇高的存在”，因为上帝超越了我们的理性与想象力，我们不可以让他的崇高受限于我们的思想能力。这样说也没错，可是绝大多数的信徒难道不会同意上帝是无条件的最高存在吗？如果你觉得这个定义较好，那就采用这个。对这个上帝论证来说，上帝是“可设想最高的”还是“一切可能最高的”存在，都没有影响。重点在于他在最顶端，不过安塞尔姆的上帝论证还有其他的狡猾之处。
首先必须说的是：如果“完美”概念就包含“实际存在”在内，那么完美的雨伞跟完美的网球比赛也必定实际存在，因为这两者都是我们能想象的事物，就像完美的存在一样。这种反驳最早由马尔穆热的高尼洛（Gaunilo von Marmoutiers）提出，他是与坎特伯雷的安塞尔姆同时代的僧侣。高尼洛的说法是，如果完美概念包含实际存在，那么完美的岛屿也必定实际存在，因为这也是可设想的。
这个既简单又让人讶异的上帝存在论证出自11世纪的哲学家，坎特伯雷的安塞尔姆（Anselm von Canterbury，1033年—1109年），他的原籍是意大利，后来在英格兰成为主教。许多哲学家为他这个上帝论证想破了脑袋，确实我们很难不怀疑这里面耍了诡计，但是准确说来诡计究竟在哪里呢？论证中的哪个步骤是错的？还是其实每一步都正确？
康德用更犀利的方式陈述了这种反驳，他认为，“实际存在”根本不是属性，跟事物的大小或颜色是两回事。人可以描述物体，比如说它是圆形的、坚硬的与黄色的。但是如果有人说，这个圆形的、坚硬的黄色物体也实际存在，那他根本没有给这物体加上什么属性，他并未缩小这种描述所可以适用的范围，但是其他任何的条件——圆形的、坚硬的与黄色的——都使这个描述可以适用的范围变小，但是加上“实际存在”却并不会，除非你认为也有一些物体是不实际存在的。比如说有人认为网球分成实际存在与不实际存在的两种，后一种虽然手摸不着，但是可以被设想，那么实际存在的网球这种类别，比一切可设想的网球这种类别要小，“实际存在”就成了一种属性，只适用于特定范围的网球，即只限于实际存在的那些，而不适用于所有其他可能的网球。奥地利哲学家迈农（Alexius Meinong，1853年—1920年）就是采取这种立场。他认为存在一切可能的事物，不实际存在的事物亦被包括在内。对康德而言，这不是可以认真看待的选项，因为什么叫作有一个并不实际存在的东西？如果有一个我的话，那我一定实际存在。反之亦然。
让我们总结一下：上帝是可设想的最高存在。对这个可设想的最高存在来说，其实际存在必然被包括在内。所以上帝存在。
总结而言，我们可以说：既然“实际存在”在康德的眼里根本不算属性，那就不会是必然的属性。所以谁若是说，实际存在包含在上帝概念之内，并因此是上帝概念中必然的属性，那他就不懂得该怎么使用该概念，他的上帝概念必然也稀松平常得很。
现在精彩的部分来了：你怎么设想这个最完美的存在？是实际存在着，还是并未实际存在？一定是实际存在着吧。因为不实际存在的东西就几乎不可能是最好也最高的，而只是幻影罢了。所以，实际存在这一点，必然属于那最高的存有，就好像单身汉的概念必然包含未婚状态，同样地，上帝的概念也必然包含上帝存在。
于是安塞尔姆的“存有论的上帝论证”看来是个错误的推论，不过这还不表示“上帝存在论证”的整体计划已经失败，还有其他人尝试用理性论述来证明上帝的存在，让我们仔细看下面这则宇宙论的上帝论证。
请舒服地躺进椅子里，深呼吸，集中你心智的力量。好了吗？那请你尽一切思考能力，设想一个最高、最善也最强大的存在，这个完美的存在我们现在称之为上帝。因为如果上帝不是一切存在中最聪明、最强大也最善良的，那该是什么呢？所以上帝就是这样一种存在：比他更伟大、更好是不可想象的。