The World is not Enough

Picking up the thread on modal metaphysics (most recent post here): If I follow Armstrong’s truth/truthmaker approach to metaphysics and I insist it apply adequately to modal truths regarding necessity and possibility, it seems to lead (contra Armstrong’s own conclusion) to a modal realism involving possible worlds. David Lewis is the leading proponent of the theory that all possible worlds exist concretely. So what are the specific strategies for those who want to avoid joining Lewis? I “hit” the Stanford Encyclopedia of Philosophy to learn more. A brief summary of two relevant articles is below (keep in mind that this stuff is new to me and I’m even more prone than usual to misreading something – please check out the source articles if you’re interested).

There are two broad options here. First, try to deny any need to appeal beyond our single actual world. Second, substitute an account of abstract entities for Lewis’ concrete ones. This latter approach I will come back to in a future post.

Christopher Menzel wrote the SEP article called “Actualism”. Actualism is the thesis that there are no non-actual individuals or worlds. The article discusses various strategies to defend this thesis. Menzel discusses modal logic, and the fact that the simplest modal logic can be made to generate theorems which are troubling to the actualist. One of them is something like this: the statement {it’s possible that a flying pig exists} implies the statement {there exists something which is possibly a flying pig}. Next, he then summarizes how Kripke and others introduced modifications to modal logic meant to prevent the derivation of these sorts of statements while preserving the ability of the logic to do its modal work. The article leads one to conclude these efforts have not met with success: there isn’t a way to have a fully robust modal logic which has an actualist metaphysics as its analogue.

The article also discusses other programs to defend actualism (“world stories"/"world propositions”) which deflate the status of troubling implied statements into something innocuously only about propositions, not individuals. According to Menzel’s account these attempts also have serious objections – mainly they don’t do justice to analyzing the role modal statements really play in our language and thought. (He also devotes a section on Plantinga’s system of abstract possible worlds; this is something I will spend more time on before commenting).

Another strategy, which Armstrong himself once advocated, is called “Modal Fictionalism” – the SEP Article on this is authored by Daniel Nolan. This is the idea that this talk of possible worlds is a useful fictional construct not meant to be taken at face value. While this sounds attractive, the strategy suffers from objections, too. These include technical objections (logical formulations of modal fictionalism can lead to contradictions or circularity). Also, modal statements have more “objectivity” than authored fictions - if they’re not actual, they would be more like “hard” abstractions (mathematics being the paradigm example). A related point is that modal fictions are incomplete since they suffer from the author’s ignorance about many modal statements. Several other objections are outlined in the article as well.

Now as I said above I’m new to all of this, and it’s possible that some strategy exists or will be developed in the future which does justice to analyzing modal language and its role in rational thought while keeping to a deflationary actualist metaphysics. All I can safely say here is that all the attempts in the literature mentioned in these articles are described as having serious outstanding objections.