Unlike the cosmological arguments, which I find cannot offer 100% proof of the existence of God, the modal ontological argument is rock-solid.
To avoid a certain confusion which sometimes comes in, I need to carefully define various meanings of the term “possibility”.
Epistemic possibility: something is epistemically possible if we can conceive of it. The set of epistemic possibilities may expand or contract with new knowledge.
Logical possibility: something is logically possible if its existence does not contravene the rules of logic. If something is logically possible, there will be at least one logically possible universe in which it exists. If something is logically impossible, it cannot exist in any logically possible universe.
Actual possibility: This only has relation to a given universe - it describes a logically possible entity actualized in that universe.
The epistemically and logically possible sets overlap, but are not identical. Before a beginning calculus student learns the rules for derivatives, it is epistemically possible for him that that d/dx (x^2) = x. But it isn’t logically possible. Once the calculus student learns derivatives, the above equation also becomes epistemically impossible. Likewise, the actually possible set is a subset of the logically possible set. It is logically possible that there exist three types of charged particles, but actually impossible in this universe.
So:
- We define God as a necessary being who is omnipotent and first cause. The definition of “necessary being” = it must exist in all logically possible universes.
- The set of epistemically possible universes includes, a priori, both those with God and those without Him. However, the set of logically possible universes must either consist only of those with God or those without Him, from the definition of God.
- Therefore, either God exists (as a necessary being), if the true set of logically possible universes is those with Him; or His existence is logically impossible, if the true set of logically possible universes is those without Him.
Up to this point, the logic is absolutely iron-clad. It does not, as yet, prove the existence of God, but it does significantly shift the burden of proof for atheists: they must show God to be a logically impossible being.
Now the question comes: how to choose between the two epistemic possibilities. It is not enough, as some versions of the argument seem to have it, to merely state that one can conceive of the existence of God, proving His possibility and therefore existence. This is confusing epistemic with logical possibility. Otherwise the atheist could reply that one can conceive of a universe without God, proving His lack of necessity and therefore non-existence, and therefore we would have both proved God’s existence and His non-existence. Again epistemic possibility is confused with logical possibility. There could be something we as yet don’t know about God which in fact renders His existence logically impossible (just as the beginning calculus student). On the other hand, there could be something we as yet don’t know about the universe which renders His existence in fact necessary.
Moreover, arguing about the actual possibility of God in this universe misses the mark. Even if a first cause of this universe could be proved, that would only prove a first cause in this universe; e.g., a contingent first cause which might not exist in other logically possible universes. It wouldn’t prove the same being as necessary first cause for the other universes.
The right question to ask is: is it logically possible that God’s existence be a necessity? Is the presumed set of logically possible universes itself a logical possibility? In other words, assuming His existence, what is the reason rendering the existence of universes without Him a logical impossibility? A rational reason can easily be found for God’s necessity. God can simply, by His power, prevent such universes from coming into existence. It is logically impossible for Him to act otherwise; since otherwise He by definition would not be God, and logically possible for Him to so act, since He is omnipotent by definition.
Now, if it is logically possible that God’s existence be a necessity (e.g. necessary in all logically possible universes), it is logically impossible that God’s existence be logically impossible (e.g. impossible in all logically possible universes), since the sets of logically possible universes don’t overlap, as shown in step 2). Put another way, if the set of universes with God is logically possible, then the set of universes without God must be logically impossible. Thus, God exists by logical necessity. (Cont.)