The counter argument to the anti- argument is that by saying “it is possible that a maximally great being exists” what is meant is there is no inherent logical contradiction in the idea of maximally great being, so if there is no contradiction then it is necessary that a maximally great being exists in all possible worlds. That would entail there is no possible world in which a maximally great being does not exist. The anti- modal argument would have to prove a logical flaw in the concept maximally great being before taking the step of claimIng it is possible that one does not exist. It would be like saying a necessary being is merely possible. In which case a necessary being is not necessary. That seems logically flawed unless the idea of necessary being is itself illogical. You could not have a possible necessary being. Perhaps the premise in the modal argument needs to be restated to clear up this ambiguity.
While I agree that a necessary being is required, that is the cosmological argument and not the ontological, nor is it even the modal ontological argument. Maybe some restating of the premises would help, but I’m not convinced that it would. I think this is all an attempt to “paint a turd” as it were.
I think the argument is stronger than that. To defeat the argument it would have to be shown that a necessary being is impossible. You could not consistently hold that it is possible that one not exist, you would have to hold that it is impossible for one to exist. Just as it is logically inconsistent to hold that it is possible for a necessary being to exist, you are compelled by the internal logic of the idea to say that a necessary being could not be possible but would have to be necessary.
All that’s needed to defeat the modal ontological argument, as an argument, is to show that an alternative conclusion is equally valid, and the anti-ontological argument does that handily. With both being equally valid we are left without any compelling argument either way, and that is what defeats the modal ontological argument; if it loses its ability to compel a belief, it ceases to be an argument and becomes merely an exercise in logical consistency. While it’s logically consistent to say that a maximally great being, if it exists in one possible world exists in all, it is equally logically consistent to say that if such a being doesn’t exist in one possible world, then it doesn’t exist in any.
Since it’s impossible for us to actually imagine a maximally great being, we can’t say for certain that such a being exists in a possible world (using variations of the ontological argument); we literally can’t imagine a world in which includes such a being, because such a being would transcend that world by definition, and transcends our ability to properly define and imagine. If we can’t have a proper idea of God, and indeed such a thing is inherently impossible apart from a participation in Divinity through Grace (and even then it’s arguable, as we could never achieve comprehension even with that), then we can’t create in our minds a “possible world” where the proper God exists. If we can’t create such a possible world, we can’t compel others to believe in God through a logical argument about such possible worlds.
We can imagine a world
created and
maintained by a maximally great being, but we can never imagine a world in which one exists. It is literally a logical impossibility, because if a maximally great being existed in any possible or imagined world, it would
not be a maximally great being as it would not transcend that world and imagination. A maximally great being is beyond conception by definition, as a maximally great being must transcend the human mind by definition. This doesn’t mean that such a being can’t exist (see the cosmological argument), but rather means that the whole approach of any ontological argument is flawed.
In short, if you can’t imagine a maximally great being, and we can’t because a maximally great being would be beyond imagination by definition, and we can’t conceive of a world that contains a maximally great being, and we can’t because any being contained by a world is not maximally great, then any argument based on such notions is utterly flawed.
For what it’s worth, this invalidates the “anti-ontological argument” as well. I brought it up merely to show that an equally logically consistent counterpoint can be made, not to defend the underlying logic which I consider to be irreparably flawed.
Peace and God bless!
P.S. Perhaps someone could help me translate my argument into an analytic form. I’ve got a basic grasp of it, but I’m not confident in actually writing out a formula. It would be handy to have one available for those who are more comfortable with the analytic style.