Abstract

One of the perennial defenses of God’s existence is the ontological argument, associated particularly with St. Anselm. Ontological arguments are generally discounted in today’s philosophical circles, but a remarkably sophisticated version was developed by the preeminent mathematical logician Kurt Gödel. This short paper evaluates the major objection to ontological proofs and finds Gödel’s formulation convincing.