17: Is the ontological argument for God's existence sound?

[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. - Anselm, Proslogium. --- Objection 1. It seems that the existence of God is self-evident. Now those things are said to be self-evident to us theknowledge of which is naturally implanted in us, as we can see in regard to first principles. But as Damascene says (De Fide Orth. i, 1,3), "the knowledge of God is naturally implanted in all." Therefore the existence of God is self-evident. Objection 2. Further, those things are said to be self-evident which are known as soon as the terms are known, which the Philosopher (1 Poster. iii) says is true of the first principles of demonstration. Thus, when the nature of a whole and of a part is known, it is at once recognized that every whole is greater than its...