Tuesday, September 8, 2009

Could someone who understands modal logic explain this to me?

I don't really know anything about modal logic, and I happened to stumble today across Plantinga's modal form of Anselm's argument (the absurd ontological argument that "because I can imagine a perfect being, that perfect being must exist or else it woudn't be perfect"). I cut-and-paste from Wikipedia:

1. It is proposed that a being has maximal excellence in a given possible world W if and only if it is omnipotent, omniscient and wholly good in W; and
2. It is proposed that a being has maximal greatness if it has maximal excellence in every possible world.
3. Maximal greatness is possibly exemplified. That is, it is possible that there be a being that has maximal greatness. (Premise)
4. Therefore, possibly it is necessarily true that an omniscient, omnipotent and perfectly good being exists.
5. Therefore, it is necessarily true that an omniscient, omnipotent and perfectly good being exists. (By S5)
6. Therefore, an omniscient, omnipotent and perfectly good being exists.


From what I read in the Wikipedia article, the two objections to this argument seem to be whether to buy into Axiom S5 (which I don't understand quite well enough to comment on, but since it is apparently broadly accepted I will grant it for now), and whether to accept the possibility premise (3).

As it turns out, I am pretty sure I don't accept the possibility premise, but that's not even what I want to talk about. I think that (2) is not even a valid statement, i.e. we could not even differ over whether it is possible because it is ill-formed.

The problem is that (2) refers to a single being inhabiting every possible world. This is nonsensical. An entity that exists in world W cannot be the same entity that exists in world X, at least by the definition of "world" that we mean when using logic. If we attempt to paraphrase Plantinga's assertion with more specificity, it breaks down:

2. It is proposed that a being which exists in world W has maximal greatness if, in any possible world X it exists and is maximally excellent.


In other words, in order to be maximally great, a being -- one single hypothetical being, not two identical hypothetical beings -- has to exist in more than one possible world. This is nonsensical. You can't even invoke some sort of transcendence-of-God argument here, because by "possible worlds" we aren't talking about parallel universes, we are talking about thought experiments. The "possible worlds" are entirely separate.

If we paraphrase (2) to be less objectionable, then Plantinga's argument falls apart:

2. It is proposed that a being which exists in world W has maximal greatness if, for any possible world X in which an identical being exists, that other being would be maximally excellent.
3. Maximal greatness is possibly exemplified. That is, it is possible that there be a being that has maximal greatness. (Premise)
4. Therefore, possibly it is necessarily true in any world X in which a maximally excellent being exists that an omniscient, omnipotent and perfectly good being exists.
5. Therefore, it is necessarily true in any world X in which an omniscient, omnipotent and perfectly good being exists that an omniscient, omnipotent and perfectly good being exists. (By S5)
6. Therefore, tautologies are fun.


Perhaps a more succinct way of doing it is that Axiom S5, if I understand it, cannot be distributed across multiple possible worlds. Otherwise, I could make this absurd argument:

1. It is proposed that Plantinga's argument is incorrect in world W if and only if there is an error in Plantinga's argument in world W.
2. It is proposed that Plantinga's argument would be logically invalid if it is incorrect in all possible worlds W.
3. Plantinga's argument might be logically contradictory. (Premise. Since people are still arguing over it, I think this is a fair premise.)
4. Therefore, it is possible that it is necessary that there is an error in Plantinga's argument.
5. Therefore, it is necessary that there is an error in Plantinga's argument.
6. Therefore, there is an error in Plantinga's argument


In order for the "possibly-necessary implies possibly" aspect of Axiom S5 to hold water, the proposition it modifies must only say something about one possible world, not a generalization about all possible worlds. Otherwise, it could be used to prove anything you want.

1 comment:

  1. With the last two iterations of that argument, I think you are looking at the back and front of an interesting T-shirt there.

    Since such a T-shirt is possible, and could be easily produced in world America (or perhaps world China), it may possibly be necessary for such a T-shirt to exist.

    It may be possible that a market for such a T-shirt exists. In fact, it may possibly be necessary for such a market to exist. (Well, if you want to break even or make a profit, such a market is necessary.)

    Since it is possibly necessary for such a T-shirt and such a market to exist, it follows that it is in fact necessary for this T-shirt and this market to exist. (Possible = possibly necessary = necessary. See? It follows. Like, totally.)

    If it is necessary for this T-shirt and its attendant market to exist, then they must exist.

    So, where the hell is my T-shirt?

    ReplyDelete