(April 9, 2013 at 9:57 am)Mister Agenda Wrote: I think the logic being used establishes that God either necessarily exists in every possible world or necessarily does not exist in any possible world.
True, that is one aspect. Notice saying 'God' exist in one possible world, would imply that he exists in all possible worlds.
For example, I say I either have 10 red marbles or 10 blue marbles. Which one is it?
The person sees a red marble on the floor, and then says "you have 10 red marbles" then based on what you said.
Therefore if 'God' was possible in one possible world, then he necessarily is possible in all worlds.
On the flip side, if there was a possible world where God was not possible, then God doesn't exist, per this proof.
It's really weird, this proof.