A common view about possible worlds is that they are abstract entities that somehow represent the various ways the concrete universe might have been (including, of course, one that represents the way the concrete universe actually is). For example, many have taken possible worlds to be maximal consistent propositions. Views along these lines have been attacked by David Lewis, who calls abstract worlds ersatz and certain of their proponents ersatzers.2 The magical ersatzers are those who (according to Lewis) cannot give a satisfactory account of the allimportant representation relation. Without such an account, Lewis charges, our grasp of representation would seem possible only by magic. In a recent article Peter van Inwagen addresses himself to Lewis's main argument. While professing not to know just what is wrong with that argument, he nevertheless maintains that it must be wrong because it proves too much.3 According to van Inwagen, if the argument were sound, it would not only make it a feat of magic for us to grasp what it is for an abstract world to represent what is possible, it would also make it a feat of magic for us to grasp the fundamental notion of set theory: what it is for a thing to be a member of a set. (It is worth noting that not everyone would concede that this shows that the argument proves too much; some might welcome the outcome as supporting independent suspicions about sets.) Now I am not a proponent of magical or any other kind of ersatzism. In fact I don't even believe in possible worlds.4 But I do agree with van Inwagen that Lewis's argument is wrong. I
Read full abstract