“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.”
The Ontological Argument
3 Medieval · 2 Catholic
- P1 God is, by definition, that than which nothing greater can be conceived.
- P2 A being that exists in reality is greater than one that exists only in the understanding (in the mind alone). the hinge
- 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.
- 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.
Whether existence is a perfection
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.
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.
Every line is attributed to a named thinker. Neither column is refereed — the reader weighs them.
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.
“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.”
“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.”
“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.”
“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.”
“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 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.