Reading: The Classical Ontological Argument

The Classic Version of the Ontological Argument

a. The Argument Described

St. Anselm, Archbishop of Cantebury (1033-1109), is the originator of the ontological argument, which he describes in the Proslogium as follows:

[Even a] fool, when he hears of … a being than which nothing greater can be conceived … understands what he hears, and what he understands is in his understanding.… And assuredly that, than which nothing greater can be conceived, cannot exist in the understanding alone. For suppose it exists in the understanding alone: then it can be conceived to exist in reality; which is greater.… Therefore, if that, than which nothing greater can be conceived, exists in the understanding alone, the very being, than which nothing greater can be conceived, is one, than which a greater can be conceived. But obviously this is impossible. Hence, there is no doubt that there exists a being, than which nothing greater can be conceived, and it exists both in the understanding and in reality.

The argument in this difficult passage can accurately be summarized in standard form:

1. It is a conceptual truth (or, so to speak, true by definition) that God is a being than which none greater can be imagined (that is, the greatest possible being that can be imagined).
2. God exists as an idea in the mind.
3. A being that exists as an idea in the mind and in reality is, other things being equal, greater than a being that exists only as an idea in the mind.
4. Thus, if God exists only as an idea in the mind, then we can imagine something that is greater than God (that is, a greatest possible being that does exist).
5. But we cannot imagine something that is greater than God (for it is a contradiction to suppose that we can imagine a being greater than the greatest possible being that can be imagined.)
6. Therefore, God exists.

Intuitively, one can think of the argument as being powered by two ideas. The first, expressed by Premise 2, is that we have a coherent idea of a being that instantiates all of the perfections. Otherwise put, Premise 2 asserts that we have a coherent idea of a being that instantiates every property that makes a being greater, other things being equal, than it would have been without that property (such properties are also known as "great-making" properties). Premise 3 asserts that existence is a perfection or great-making property.

Accordingly, the very concept of a being that instantiates all the perfections implies that it exists. Suppose B is a being that instantiates all the perfections and suppose B doesn't exist (in reality). Since Premise 3 asserts that existence is a perfection, it follows that B lacks a perfection. But this contradicts the assumption that B is a being that instantiates all the perfections. Thus, according to this reasoning, it follows that B exists.

Retrieved from http://www.iep.utm.edu/anselm/