The Ontological Argument

From the very idea of God — "that than which nothing greater can be conceived" — to God's existence, reasoned out a priori, without appeal to the world. Its classic form is Anselm's Proslogion; its classic objections are Gaunilo's, Kant's, and — from within the Church — Aquinas's.

Premises & Hinge

The Argument

The numbered form is ours, after the standard reading of Proslogion 2; cf. the Stanford Encyclopedia of Philosophy, "Ontological Arguments" — the words themselves are the philosophers', below.

  1. P1 God is, by definition, that than which nothing greater can be conceived.
  2. P2 A being that exists in reality is greater than one that exists only in the understanding (in the mind alone). the hinge
  3. P3 If that-than-which-nothing-greater existed only in the understanding, one could conceive something greater — the same being, existing in reality — which is a contradiction.
  4. Therefore that than which nothing greater can be conceived exists in reality.

The sources

The Argument Anselm of Canterbury 1078
Hence, even the fool is convinced that something exists in the understanding, at least, than which nothing greater can be conceived. For, when he hears of this, he understands it. And whatever is understood, exists in the 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.

Source — Anselm of Canterbury, Proslogion, ch. 2

Continued Anselm of Canterbury 1078
And it assuredly exists so truly, that it cannot be conceived not to exist. For, it is possible to conceive of a being which cannot be conceived not to exist; and this is greater than one which can be conceived not to exist. Hence, if that, than which nothing greater can be conceived, can be conceived not to exist, it is not that, than which nothing greater can be conceived. But this is an irreconcilable contradiction.

Source — Anselm of Canterbury, Proslogion, ch. 3

Objection Gaunilo of Marmoutiers 1079
It is said that somewhere in the ocean is an island, which, because of the difficulty, or rather the impossibility, of discovering what does not exist, is called the lost island … Now if some one should tell me that there is such an island, I should easily understand his words, in which there is no difficulty … If a man should try to prove to me by such reasoning that this island truly exists, and that its existence should no longer be doubted, either I should believe that he was jesting, or I know not which I ought to regard as the greater fool: myself, supposing that I should allow this proof; or him, if he should suppose that he had established with any certainty the existence of this island.

Source — Gaunilo of Marmoutiers, In Behalf of the Fool, §6 (the lost island)

Reply Anselm of Canterbury 1080
Now I promise confidently that if any man shall devise anything existing either in reality or in concept alone (except that than which a greater cannot be conceived) to which he can adapt the sequence of my reasoning, I will discover that thing, and will give him his lost island, not to be lost again.

Source — Anselm of Canterbury, Anselm's Reply to Gaunilo, ch. 3

Objection Saint Thomas Aquinas 1274
Perhaps not everyone who hears this word "God" understands it to signify something than which nothing greater can be thought, seeing that some have believed God to be a body. Yet, granted that everyone understands that by this word "God" is signified something than which nothing greater can be thought, nevertheless, it does not therefore follow that he understands that what the word signifies exists actually, but only that it exists mentally.

Source — Saint Thomas Aquinas, Summa Theologica I, q. 2, a. 1, reply to obj. 2

Argument hinges on:

Whether existence is a perfection A being that exists in reality is greater than one that exists only in the understanding (in the mind alone). What does that mean?
The library's note

The whole argument rests on treating existence as a great-making feature — something a thing is better for having, like power or wisdom. On this view a real hundred-dollar bill is "greater" than an imagined one simply because it exists.

The objection is that existence is not that kind of feature at all. Adding "and it exists" to the idea of a thing tells you the thing is out there; it does not make the idea any richer or the thing any better. As Kant put it, a hundred real dollars contain no more than a hundred possible dollars. And Gaunilo presses it with a joke: by Anselm's logic you could "prove" that the most perfect island must exist, since a real perfect island would be greater than an imagined one — which is absurd.

Defenders answer that the parody quietly changes the subject. Ask what makes an island "perfect" and there is no fixed answer: more palm trees, whiter sand, better weather — for any island you can always imagine a greater one, and "better" depends on your taste. There is no ceiling, so there is no single greatest possible island for the parody to point at in the first place. The being the argument posits is meant to be different in kind. Its greatness is not a matter of degree or preference — more sand, more coconuts — but of perfections like knowledge, power, and goodness that (the defender holds) carry a built-in maximum and are the same for everyone: you cannot have more than complete knowledge, or be better than perfectly good. Anselm's own reply already draws the line — the reasoning applies only to "that than which a greater cannot be conceived," and to nothing else; Alvin Plantinga later put it by saying the greatness of islands has "no intrinsic maximum," while the divine attributes do.

Critics answer that this can look convenient, and that it is not obvious every divine attribute really has a clean maximum — the old puzzle about whether an all-powerful being could make a stone too heavy to lift is meant to press exactly there. And even granting the distinction, one still has to show that such a maximal being is so much as possible.

So the dispute is really two questions at once: whether existence is a perfection at all, and whether the greatness in play is the objective, maxed-out kind the argument needs — infinite knowledge, truth, goodness, the same for everyone — or the loose, taste-relative kind the island trades on. That is where the argument lives.

Written for this library — not a quoted source. It reports how the premise is argued and answered; the philosophers' own words are above.

If you accept it

Accept it, and the same reasoning appears to prove too much: Gaunilo's perfect island — or any "greatest conceivable" thing — could be defined into existence the same way.
Gaunilo of Marmoutiers (c. 1078), later echoed by Kant ↗

The reply

The parody is said to fail on its own terms: an island has no intrinsic maximum — there is no greatest possible number of palm trees — where "that than which nothing greater can be conceived" is defined as having one.
Alvin Plantinga, God, Freedom, and Evil (1974) ↗

If you deny it

Reject it, and Anselm's classical form does not reach its conclusion — but the modern modal version relocates the weight to a different premise, that a maximally great being is possible, holding that existence-as-a-predicate was never the real hinge.
Alvin Plantinga, The Nature of Necessity (1974) ↗

The reply

The modal version buys its conclusion with a premise of its own, that a maximally great being is possible — which an opponent may deny as readily as the original premise.
Stanford Encyclopedia of Philosophy, "Ontological Arguments" ↗

Where it leads

Accept that existence is a perfection, and this argument leads to God, reached in a single step from the concept alone.

Beyond the public domain

The modern revivals and their critics are under copyright, so we don't host them — the reading doesn't stop at the public-domain record. Follow it at the sources:

You have read the premise, the objection, and the cost of each move. The library draws no conclusion.