Malcolm's ontological argument:
Consider four possibilities concerning God's existence
- God's existence is necessarily false - it is logically impossible for any being that has God's properties to exist.
- God's existence is contingently false- it is possible that a being with the properties of God could exist, but it just so happens that there isn't such a being.
- God's existence is contingently true- it is possible that a being with the properties of God could exist, and i just so happens that there is such a being
- God's existence is necessarily true-it is logically necessary that any being with the properties of God exists.
To Malcolm, God is the greatest conceivable being and God's existence cannot be contingent. This leaves either 1 or 4 as the remaining possibilities. Statements that fall under category 1 are logically contradictory. Therefore through a process of elimination number 4 is left as the only remaining possibility; God's existence is necessarily true. Malcolm says that necessary existence is a predicate of God, not just existence.
Plantinga:
Criticises Malcolm's argument and offers his own ontological argument in its place. Plantinga's objection to Malcolm is that it is possible for God to exist contingently without losing his independence or his unlimited eternal qualities. He argues that when we say 'God necessarily exists' it means that God exists in every possible universe. Plantinga defines God as a being with 'maximal greatness'. A God that exists in all possible universes is greater than one that exists in only some universes. Therefore God, in order to be the greatest, must exists in every possible universe.