(June 27, 2016 at 2:33 pm)SteveII Wrote:(June 27, 2016 at 12:38 pm)Irrational Wrote: wiploc's argument shows that it can work both ways, that's the point. As you have yet to provide an argument that establishes the logical possibility of a maximally great being, then this argument is pretty much vacant at this point.
No. It does not work both ways because the meaning of P4' is very different from P4 because you cannot rely on modal logic of "necessary" as the original argument does.
In P3, you defined the MGB as necessary, as existing in every possible world. If there is a possible world in which the MGB does not exist, then it does not exist in any possible world. If it does not exist in any possible world, then it does not exist in the actual world.
The logic works the same in both versions of the argument. If one is valid, the other is too. The only difference is that your version is unsound.