Possible worlds provide a formal framework for analyzing modal truths and metaphysical claims. A proposition is necessarily true if it's true in all possible worlds; something is essential if it holds in all worlds where the object exists. This framework has become central to contemporary metaphysics.
Work with concrete examples (is water necessarily H2O? Is Hesperus necessarily Phosphorus?). Understand how possible worlds semantics connects to modal logic. Compare to counterpart-theory as an alternative.
That possible worlds are metaphysically remote abstract objects. That anything logically consistent is possible. That the possible worlds framework is purely linguistic or artificial.
You've already encountered possible worlds in their semantic role — as tools for giving truth conditions to modal statements in formal logic. The possible worlds *framework* takes that semantic machinery and asks a deeper question: what are these worlds, metaphysically? What is a possible world, and what work can the framework do beyond interpreting modal logic? This is where the formal tool becomes a philosophical theory in its own right.
The central insight is that modal truths — claims about what is necessary, possible, or impossible — can be systematically analyzed in terms of possible worlds. "It is necessarily true that 2+2=4" means: in every possible world, 2+2=4. "It is possibly true that there is intelligent life elsewhere in the universe" means: in at least one possible world, there is intelligent life elsewhere. "It is impossible to be a married bachelor" means: in no possible world is anyone both married and a bachelor. This framework gives modal claims precise truth conditions and lets us reason about necessity and possibility with the same tools we use for ordinary truth.
The metaphysical dispute concerns the *nature* of these worlds. David Lewis's modal realism holds that possible worlds are just as concrete and real as the actual world — they are complete spatiotemporally isolated universes, and "the actual world" just means *our* world, the one we inhabit. On this view, when we say something is possible, we are genuinely quantifying over things that exist. Lewis's theory is ontologically extravagant but logically elegant: it gives a fully reductive account of modality with no primitive modal notions. The opposing view, modal abstractionism (associated with Plantinga and others), holds that possible worlds are abstract objects — maximal consistent sets of propositions, or ways things could be — that exist necessarily but non-concretely. The actual world is the one that is instantiated, while merely possible worlds are abstract structures that could have been instantiated but aren't.
For essentialism, the framework delivers precise tools. A property is essential to an object if and only if the object has that property in every possible world in which it exists. A property is accidental if the object has it in the actual world but lacks it in some possible world. These definitions transform what could be vague intuitions into precise claims subject to argument and counterexample. The framework also undergirds theories of counterfactuals ("If you had studied harder, you would have passed"), de re modality (necessity attributed to objects, not just descriptions), and the semantics of natural-kind terms — making possible worlds one of the most productive frameworks in contemporary metaphysics.
Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.