关于上帝存在的本体论证明是宗教哲学的重要议题之一。这个证明首先是由安瑟伦给出的,他从无法设想有比之更大者的定义出发,运用归谬法证明上帝的存在。高尼罗用迷失岛的例子反驳安瑟伦的证明。笛卡尔从一个至上完满的存在者这个清楚、分明的天赋观念出发,提出了更加精致的本体论证明的版本。康德主张存在不是一个实在的谓词,所以否认存在是一种完满性,进而否定本体论证明的可能性。摩尔给出了一个经典的例证来支持康德的反驳。
