>>599674
>I think that a god being omnipotent and omniscient in a certain world doesn't implicate that he can cross over to other world
it depends on how we're defining God.
maybe having omnipotence and omniscence alone wouldn't allow for this entity to exist in all possible worlds,
but another attribute of God (Maximally Great Being) is necessity.
there are 3 ways entities are said to exist in modal logic:
>Impossible - An entity that exists in no possible worlds. (square circle, married bachelor.)
>Contingent - An entity that exists in some possible worlds. (like a unicorn.)
>Necessary - An entity that exists in all possible worlds. (numbers, absolute truths, shape definitions)
A necessary entity cannot be false or fail to exist in any possible world.
A maximally great being is a being that possesses all qualities that are better to have, (such as necessity) defined as "great making properties".
Great making properties:
>Love (absolute benevolence)
>Wisdom (Omniscience)
>Power (Omnipotence)
so if this is what we're looking at:
>Premise 1: It is possible that God (maximally great being) exists.
>Premise 2: If it is possible that God (mgb) exists, then God (mgb) exists in some possible worlds.
>Premise 3: If God (MGB) exists in some possible worlds, then God (MGB) exists in all possible worlds.
>Premise 4: If God (MGB) exists in all possible worlds, then God (MGB) exists in the actual world.
>Premise 5: If God (MGB) exists in the actual world, then God (MGB) exists.
the only assailable premise would be the first one, in modal logic, the other premises must be true.
this is just a game though, it's not going to convince you of anything.
from here, in order to deny the conclusion (God exists.) you will be forced to say some silly things.