How do we know what is possible (what can be true)?

The “victorious” modal ontological argument of Plantinga 1974 goes roughly as follows: Say that an entity possesses “maximal excellence” if and only if it is omnipotent, omnscient, and morally perfect. Say, further, that an entity possesses “maximal greatness” if and only if it possesses maximal excellence in every possible world—that is, if and only if it is necessarily existent and necessarily maximally excellent. Then consider the following argument:

1. There is a possible world in which there is an entity which possesses maximal greatness.
2. (Hence) There is an entity which possesses maximal greatness.

Under suitable assumptions about the nature of accessibility relations between possible worlds, this argument is valid: from it is possible that it is necessary that p, one can infer that it is necessary that p. Setting aside the possibility that one might challenge this widely accepted modal principle, it seems that opponents of the argument are bound to challenge the acceptability of the premise.


And, of course, they do. Let's just run the argument in reverse.

1. There is no entity which possesses maximal greatness.
2. (Hence) There is no possible world in which there is an entity which possesses maximal greatness.

Plainly enough, if you do not already accept the claim that there is an entity which possesses maximal greatness, then you won't agree that the first of these arguments is more acceptable than the second. So, as a proof of the existence of a being which posseses maximal greatness, Plantinga's argument seems to be a non-starter.

Perhaps somewhat surprisingly, Plantinga himself agrees: the “victorious” modal ontological argument is not a proof of the existence of a being which possesses maximal greatness. But how, then, is it “victorious”? Plantinga writes: “Our verdict on these reformulated versions of St. Anselm's argument must be as follows. They cannot, perhaps, be said to prove or establish their conclusion. But since it is rational to accept their central premise, they do show that it is rational to accept that conclusion” (Plantinga 1974, 221).

It is pretty clear that Plantinga's argument does not show what he claims that it shows. Consider, again, the argument: “Either God exists, or 2+2=5. It is not the case that 2+2=5. So God exists.” It is just a mistake for a theist to say: “Since the premise is true (and the argument is valid), this argument shows that the conclusion of the argument is true”. No-one thinks that that argument shows any such thing. Similarly, it is just a mistake for a theist to say: “Since it is rational to accept the premise (and the argument is valid), this argument shows that it is rational to accept the conclusion of the argument”. Again, no one thinks that that argument shows any such thing. But why don't these arguments show the things in question? There is room for argument about this. But it is at least plausible to claim that, in each case, any even minimally rational person who has doubts about the claimed status of the conclusion of the argument will have exactly the same doubts about the claimed status of the premise. If, for example, I doubt that it is rational to accept the claim that God exists, then you can be quite sure that I will doubt that it is rational to accept the claim that either 2+2=5 or God exists. But, of course, the very same point can be made about Plantinga's argument: anyone with even minimal rationality who understands the premise and the conclusion of the argument, and who has doubts about the claim that there is an entity which possesses maximal greatness, will have exactly the same doubts about the claim that there is a possible world in which there is an entity which possesses maximal greatness.

Click to expand...

Ken-1122 said:

Hey I've got one:
1) There is a possible world where money grows on trees
2) Thus, money grows on trees

K

Click to expand...