1) There is a possible world of only well-being (p).
2) A capable limitless good being (x) knowing of this world (p) would actualize (necessarily) it over possible worlds with evil and suffering (q).
3 )x necessarily would not allow q
4) p–>; not q
5) It is possible that god is x
6) q –>; not p
7) Our world=q therefore not p
8) not p
9) not p–>;not x
10) not x
11) god= not x
Our world entails there is no capable limitless good being. If there is a god he is not that being. Also a world of limitless well being would necessarily exist in all possible worlds. Since it does not do so in ours then it is not necessary and therefore is a choice of many worlds. A limitless good entity, god or such would choose the best to create. Since we do not live in that world no limitless good being/god actualized our world.
The argument at least places the question as to whether our attributes of god which are in conflict with themselves show that they are really in conflict with his actual properties and therefore invalid or simply relative compliments of worship that are not literal but poetic.
I personally see the ontological argument, my argument and other modal logic arguments to secondarily demonstrate the limits of logic in that such statement as the ontological argument can only demonstrate the validity of its rationality and not the actuality of its claim. I have attempted to ground my argument into the actual world and therefore allow it to meet empirical knowledge which I prefer to logical knowledge in many areas.
Note: Here is a link to a useful PDF focusing on an introduction to Proof theory and modal logic. It’s quite thorough–and recommended for advanced readers. There are easier essays you can find on Google Scholar if need be, but this one was so thorough that it has helped me refine my understanding of logical proofs. Even though I barely understand the processes of logic, I can now better make out what all the x’s, p’s and q’s stand for and how they relate to each other.
In the end, greater minds than mine, such as David Hume and Immanuel Kant have already largely invalidated the ontological argument. Why theologians still rely on it I have no idea. Baker merely shows that the ontological argument can’t even get off the ground in the first place–so there is no need to shoot it down.