Kurt Godel authored one of these, using modal logic to arrive at its conclusion, and in a work by David Hume, Cleanthes rejects that any type of them is valid, restating Kant's criticism that "existence is not a predicate."  
Kurt Godel authored one of these, using modal logic to arrive at its conclusion, and in a work by David Hume, Cleanthes rejects that any type of them is valid, restating Kant's criticism that "existence is not a predicate."  The monk Gaunilo rejected it using the Lost Island objection. The earliest known one of these was offered in the Proslogion and relies on understanding the definition "that of which nothing greater can be conceived." For 10 points, name this type of argument attempting to show that a certain omnipotent being is real, put forth by Saint Anselm.
Kurt Godel authored one of these, using modal logic to arrive at its conclusion, and in a work by David Hume, Cleanthes rejects that any type of them is valid, restating Kant's criticism that "existence is not a predicate."  
ontological argument (prompt on stuff like "proof God exists")