Modern (Modal) forms of the ontological argument go something like this (modal moves in brackets).
- Possibly, God exists (◊G)
- If God exists, necessarily God exists (G → □G)
- Possibly Necessarily God exists (◊□G, From  and )
- Necessarily God exists (□G, from  and S5)
The modal logic works (even if you find S5 unintuitive), and generally one stipulates God such that it has the property of necessarily existing.
The key premise is . Although colloquially it seems obvious God is possible, it is probably best thought of as possible in an epistemic sense: for all we know it is possible that God exists (even if we don’t think it likely). Yet that is distinct from saying it is a metaphysical possibility: that there really are possible worlds in which God exists. And it is this claim which is needed to drive the OA.
So what, though? We can conceive God’s existence without contradiction, seems to be well-formed proposition, etc. etc. So all of these epistemic reasons appear to give warrant to the metaphysical claim via Yablo conceivability or similar measures. What’s the problem?
The same applies to God not existing! Continue reading “A simple ontological argument for Atheism”