Introduction
Welcome back. In our last lesson, we saw how Saul Kripke's formal semantics for modal logic, while a brilliant solution to technical challenges, opened up a profound metaphysical puzzle. By defining possibility and necessity in terms of a set of "possible worlds," it forced philosophers to ask: what, exactly, are these worlds?
We identified two main camps. In one corner, David Lewis's modal realism, the bold thesis that possible worlds are concrete universes, just as real as our own. In the other, ersatzism, a family of more conservative views holding that possible worlds are abstract objects—like sets of propositions or states of affairs—that merely represent ways the world could be.
Today, we move from outlining these positions to evaluating them. Your learning outcome is to compare David Lewis's modal realism with ersatzist alternatives as accounts of possible worlds. We will analyse the arguments for and against each view, weighing their explanatory power against their philosophical costs. This is not just a historical debate; it's a living philosophical problem about the ultimate nature of reality and possibility.
1. The Case for Modal Realism: A Philosopher's Paradise?
David Lewis was well aware that his theory of a plurality of concrete worlds would be met with what he called "the incredulous stare." Why would a serious philosopher propose such an outlandish idea? His answer was simple: because the theory is immensely useful, or "serviceable." Lewis argues that the philosophical benefits of accepting his view are so great that they outweigh its initial implausibility.
The core motivation is to achieve a reductive analysis of modality. For a philosopher with a background in formal methods, this should be an appealing goal. Much as Tarski's semantics provided a clear, extensional account of logical truth, Lewis wanted to "explain away" the mysterious intensional notions of possibility and necessity in simpler, non-modal terms.
David Lewis's On the Plurality of Worlds - Sections 1.1 to 1.3
Let's first understand this central argument from utility. The following video explains Lewis's core idea, heavily influenced by W.V.O. Quine, that we should believe in the entities that our best theories require.
Please watch from 11:59 to 17:10. Focus on how Lewis justifies believing in possible worlds by appealing to their 'serviceability' and the 'unity and economy of theory' they provide, drawing a parallel to believing in sets in mathematics or quarks in physics.
How does modal realism achieve this reduction? It transforms talk about modality into standard extensional quantification over a domain of objects (the worlds and their parts).
- "It is possible that " becomes "There exists a world where is true."
- "It is necessary that " becomes "For all worlds , is true at ."
This move is powerful. It replaces the special modal operators and with the familiar quantifiers and , whose logic is well understood. Modality becomes just another topic of scientific and philosophical inquiry, analyzed by quantifying over a particular kind of entity: worlds.
The Internet Encyclopedia of Philosophy provides a concise summary of Lewis's view, his argument from theoretical utility, and the core tenets of his realism.
Please read section 2, 'Lewis' Realism.' Pay close attention to: The indispensability argument for believing in worlds. How Lewis understands the term 'actual' as an indexical. The sense in which worlds are 'concrete' but spatio-temporally isolated. The role of Counterpart Theory in explaining properties of individuals across worlds.
2. The Ersatzist Alternative: A More Sober Ontology
Most philosophers, while admiring the power of Lewis's system, cannot bring themselves to accept its ontological cost. The primary motivation for ersatzism is to gain the benefits of possible-worlds-talk without committing to a "bloated ontology" of concrete universes.
The ersatzist strategy is to claim that possible worlds are substitutes or replacements (the meaning of the German word Ersatz). They are not concrete realities, but actual, abstract objects that represent possibilities.
Let's begin our look at the alternative. This clip introduces the concept of ersatzism and one of its main forms.
Please watch from 35:25 to 37:53. This section introduces ersatzism and its most prominent variant, linguistic ersatzism, where possible worlds are understood as abstract 'world books' or maximal sets of sentences.
There are many ways to construct these abstract substitutes. You don't need to master the details of each, but it's important to recognize the common strategy.
The 'Modal Metaphysics' article provides an excellent catalogue of the main varieties of ersatzism.
Please read the introduction to Section 3, 'Ersatzism,' and then briefly review the descriptions in subsections 3a ('Sententialism'), 3b ('Propositionalism...'), 3d ('Combinatorialism'), and 3e ('Non-Reductivism'). Your goal is to grasp the overall pattern: each theory proposes a different kind of actual, abstract entity to serve as a world-surrogate.
The key takeaway is that all these views—whether they use sets of sentences, propositions, states of affairs, or combinatorial constructions—share two features:
- Ontological Parsimony: They posit only one concrete world (the actual one) plus a domain of abstract objects. This is seen as more commonsensical than Lewis's view.
- Representationalism: Other possible worlds are not possibilities themselves; they are abstract things that represent possibilities.
3. Comparison and Critique: The Price of Paradise
So, we have a clear trade-off: Lewis's modal realism offers great explanatory power at a high ontological cost. Ersatzism offers a cheaper ontology, but does it deliver the same explanatory goods? This is the crucial point of comparison. Lewis's main argument is that ersatzism, in all its forms, ultimately fails to provide a genuine, non-circular reduction of modality.
The Central Objection: Circularity
Ersatz theories seem to smuggle in the very modal notions they are supposed to be explaining.
- Sententialism defines a world as a maximally consistent set of sentences. But what does "consistent" mean? It means it's possible for all the sentences to be true together. The analysis is circular.
- Combinatorialism defines worlds as combinations of basic elements. But it must specify which combinations are possible. Armstrong's version, for instance, allows any combination, leading to the conclusion that Bertrand Russell could have been a poached egg. To avoid this, one needs a constraint on possible combinations, reintroducing modality.
On this point, Lewis claims a decisive advantage. His theory is not circular. He explains possibility by quantifying over a domain of concrete things (worlds). The explanation stops there. The ersatzer, by contrast, explains possibility in terms of abstract objects which themselves must be characterized in modal terms.
[PDF] Possibility and Necessity - rintintin.colorado.edu
This short reading makes the circularity objection very clear.
Please read the two paragraphs on page 6 starting with 'For example...' and the section on page 7 titled 'Problem'. This text provides a very direct and forceful explanation of why Lewis considered his account a true reduction of modality, while ersatzism is not.
Further Objections to Ersatzism
Lewis raises other powerful objections that highlight the expressive limitations of building worlds from purely actual materials.
The following clip from Simon Cushing's lecture details two of Lewis's most famous and challenging objections to ersatzism.
Please watch from 1:01:10 to 1:05:03. Focus on understanding Lewis's two arguments: Alien Properties: How can an ersatzist, who builds worlds from actual abstracta (like properties existing in our world), account for the possibility of worlds with fundamentally new properties that don't exist here? Indiscernibles: How can an ersatzist distinguish between two worlds that differ only in that two qualitatively identical objects have swapped places? If worlds are just sets of propositions or properties, these two distinct possibilities would collapse into one.
These objections put the ersatzer in a difficult position. To solve them, they often have to add more and more complex machinery to their theory, making it less simple and elegant, or they must concede that their theory cannot account for certain intuitive possibilities.
Conclusion
We have arrived at a classic philosophical impasse, a choice between two competing research programs, each with its own significant costs and benefits.
- David Lewis's Modal Realism offers a powerful, reductive, and unified theory of modality. It provides a "philosopher's paradise" of analytical tools. The price of entry, however, is a belief in an infinity of concrete universes, a belief that strains credulity and raises difficult epistemological questions.
- Ersatzist Alternatives offer a more sober and commonsensical ontology, requiring belief only in one concrete world and a realm of abstracta. The price, however, is that these theories seem unable to provide a genuine reduction of modality. They are often circular, relying on primitive, unanalyzed modal notions, and they face technical challenges in accounting for all the possibilities we might want to countenance.
The debate forces us to weigh what we value most in a philosophical theory: Ontological parsimony or ideological (explanatory) power? A sober inventory of what exists, or a powerful engine for analyzing complex concepts? There is no easy answer.
Key Takeaways:
- Modal Realism (Lewis): Justified by its "serviceability." It provides a non-circular, reductive analysis of modality by treating it as quantification over concrete, existing worlds. Its main cost is its extravagant ontology.
- Ersatzism: A family of views that use actual abstract objects (sets of sentences, propositions, etc.) as substitutes for worlds. Its main benefit is ontological sobriety.
- The Core Comparison: The central dispute is about reduction. Lewis argues that only his view truly explains modality in non-modal terms. He critiques ersatzism for being circular (relying on notions like "consistency" or "possibility") and for being unable to account for possibilities involving alien properties or indiscernibles.
- The Trade-Off: The choice represents a fundamental philosophical tension between ontological cost (what you must believe exists) and ideological cost (what concepts you must accept as primitive or unexplained).
Preview of the Next Lesson:
Having explored the deep metaphysical debate about what possible worlds are, we will now turn to see how this new way of thinking about modality, pioneered by Kripke and Lewis, had revolutionary consequences for other areas of philosophy. In the next lesson, we will evaluate Kripke's argument for the existence of necessary a posteriori truths and its impact on the analytic-synthetic distinction, a cornerstone of traditional epistemology and philosophy of language.