The ontological argument proves that it's impossible to conceive of a Necessary Being without seeing it exists, and so if God's greatness or God's perfection includes the level of existence of necessary being, and you see that, it's impossible it be a mere idea, but has to be the real being, by definition, because it's impossible it doesn't exist by being necessary. The false version is saying apply "necessary" to some hypothetical imagination of God idea, and than that brings it to existence by definition, that's the one taught in University. But both Descartes and Anselm showed it's impossible, if the Necessary being exists, if you conceive of that being, you are looking at the real thing because by definition it has to exist. They also proved if God is the greatest being and necessity type existence and you see that conception of that Real being, you are looking a being that not only do you know exists but has to exist. These meditations were saying reason knows God exists merely by remembering him, but those ideas were a bit butchered with the strawman version of what they were saying!
Well, it all boils down to: if there is, or I can conceive, a possible (logically consistent, even if counterfactual) world which contains a necessary being, then that being will exist, on account of its necessity, on all worlds. Including the actual one.
Correct?
I am just using here the modal version of the ontological argument, with the advantage that we can use modal logic and analytic tools, to see how it fares logically.
Ciao
- viole