本体论证明

---

最早由康德使用的术语，特指安瑟尔谟(Anselm)提出的关于上帝存在的证明。

证明过程是：每个人都把上帝理解成一个不能把别的东西想得比他更伟大的东西，由于任何最伟大但不存在的东西都比不上最伟大并且存在的东西，所以，前者实际上不是最伟大的，所以，最伟大的东西必须存在。

安瑟尔谟的同时代人高尼罗对本体论证明提出了批判，认为安瑟尔谟在论证过程中不适当地从逻辑领域进入了本体论领域。托马斯·阿奎那等许多中世纪哲学家重复了高尼罗的批判。而邓斯·司各脱、笛卡尔和莱布尼兹等则利用了本体论证明。