The Library · Arguments for God's Existence

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.

3 Medieval · 2 Catholic

As standardly reconstructed The numbered form is ours, after the standard reading of Proslogion 2; cf. the Stanford Encyclopedia of Philosophy, "Ontological Arguments" — the words are the philosopher's, in the quotes 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 dispute turns on one premise: Whether existence is a perfection — a real predicate.

Set out this way, the conclusion follows if the premises are granted. The live dispute is not about the logic but about the marked premise — whether existence is the kind of feature that can make a thing greater. A valid argument built on a false premise establishes nothing.

The cost — weighed both ways

Whether existence is a perfection

If you keep the premise — the cost some name

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 ↗

If you deny the premise — the cost some name

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) ↗

Every line is attributed to a named thinker. Neither column is refereed — the reader weighs them.

Where it leads · what it does not reach

Unlike the arguments from the world, this one — if it works — reaches all the way to God in a single step, from the concept alone. That is also why it has met the sharpest resistance, and from inside the Church as much as outside it: Gaunilo was a monk, and Thomas Aquinas — a Doctor of the Church — rejected the argument too. Aquinas grants that "God exists" is self-evident in itself, since God simply is his own existence; but not self-evident to us, because we do not grasp God's essence. For us, he holds, God's existence has to be shown from his effects — which is the work of the other arguments. The argument's modern life (Leibniz, then Plantinga) rests on shifting its hinge to a new question: whether a greatest possible being is so much as possible.

The sources · in their own words, across time
Medieval c. 750 – 1100
1078
A.D.
A.D. 1033–1109
“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
1078
A.D.
A.D. 1033–1109
“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
1079
A.D.
11th century
“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
1080
A.D.
A.D. 1033–1109
“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.”
194 years pass — nothing from this stretch is hosted yet
Scholastic c. 1100 – 1500
1274
A.D.
Thomas Aquinas Catholic
1225–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
507 years pass — nothing from this stretch is hosted yet
Post-Reformation c. 1650 – 1900
1781
A.D.
1724–1804
“Being is evidently not a real predicate, that is, a conception of something which is added to the conception of some other thing … Thus the real contains no more than the possible. A hundred real dollars contain no more than a hundred possible dollars.”
The living debate · after 1953

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.