Just keep in mind how the word 'if' works. 'If' is used to assume any premise true.
Ok I understand that, but if God's existence is even POSSIBLE, then God must exist. When dealing with the nature of necessity, all that is required is the minimum possibility. Once that is established, then it logically follows that what is possibly necessarily true is in fact necessarily true.
We can assume that it is true god exists then whatever logically follows. Using the if statement we can assume a diiferent premise that god doesnt exist and then whatever logically follows. So IF god doesnt exist its because god isnt necessary for existence.
Sorry idav, but that won't work given the fact that the Modal Ontological argument is logically sound.
1. It is at least possible for a MGB (maximally great being) to exist.
2. If it is possible for a MGB to exist, a MGB must exist in some possible world.
3. If a MGB exists in some possible world, a MGB must exist in all possible worlds.
4. If a MGB exists in all possible worlds, a MGB must exist in this world.
5. Conclusion: A maximally great being exists in this world.
Now 2-5 just follows logically from 1. The only way out of this is for you to negate the first premise, which I don't think you can do. So as long as #1 is true, 2-5 just follows logically.
So as long as it is possible for God to exist, there can't be an "if God doesn't exist" scenario at which such a proposition can possibly be true. That is like saying "If a one-sided stick does exist..." the statement alone is incoherent and while you can certainly make the statement, there can be no truth value to the statement.