Loading field map
Modality is the branch of metaphysics that studies possibility, necessity, and impossibility. When we say that something must be the case, could have been otherwise, or cannot happen at all, we are making modal claims. The word itself comes from the Latin modus, meaning "measure" or "way," and in philosophy it concerns the ways things could be. The central task of modality is to understand what these claims mean, what makes them true, and what kind of reality—if any—underlies them.
At its heart, modality asks a cluster of interconnected questions. The first is semantic: What do modal statements mean? When I say "It is possible that it will rain tomorrow," am I making a claim about the future, about my ignorance, about a logical consistency, or about some feature of the world itself? The second is metaphysical: What grounds modal truth? If it is true that the universe could have contained no life, what in reality makes that true? Is there some fact about the world that corresponds to this possibility, or is the statement true in some other way? The third is epistemological: How can we know modal truths? We cannot observe possibilities directly, yet we seem to be confident that some things are possible and others not. How is such knowledge available to us?
These questions are not merely academic. Modal notions are woven into other areas of philosophy. Causation is often analyzed in terms of what would happen if things were different. Laws of nature are thought to support counterfactual claims—statements about what would occur under specified conditions. Moral claims about obligation presuppose that agents could have acted otherwise. Personal identity, free will, and the nature of time all lean on modal distinctions. If we cannot say what it means for something to be possible, these other debates lose their footing.
The modern study of modality begins with the development of modal logic in the twentieth century, though its roots reach back to Aristotle's discussions of necessity and contingency. The crucial breakthrough was the work of the logician C. I. Lewis in the early 1900s, who constructed formal systems for reasoning about necessity and possibility. These systems were later given a rigorous semantics by Saul Kripke and others in the 1950s and 1960s.
Kripke's semantics, now standard, treats modal claims as quantifications over possible worlds. A statement is necessary if it is true in all possible worlds; possible if true in at least one. A possible world is not a distant planet or an alternative universe in the science-fiction sense; it is a complete way things could be—a total specification of how reality might have been. The actual world is one such world among many. This framework made modal reasoning precise and gave philosophers a common language for discussing it.
But the semantics raised a pressing question: What are possible worlds? This is the central ontological dispute in contemporary modality. Three main families of answers have emerged, each with strengths and weaknesses.
The most literal answer is modal realism, defended most prominently by David Lewis. On this view, possible worlds are real concrete entities, just as real as the actual world. Other worlds are not abstract descriptions or mental constructions; they are full-fledged universes, spatiotemporally isolated from ours, containing their own people, mountains, and histories. When we say something is possible, we mean that it occurs in one of these other worlds. When we say something is necessary, we mean it occurs in all of them.
Modal realism has a striking virtue: it explains modal truth in non-modal terms. Possibility and necessity are reduced to existence and quantification. There is no mysterious "modal fact" beyond what exists in the plurality of worlds. The view also handles counterfactuals elegantly: "If I had struck the match, it would have lit" is true because in the closest worlds where I strike the match, it lights.
The cost is ontological extravagance. Modal realism commits us to the existence of an enormous plurality of concrete universes, including ones containing talking donkeys and ones where the laws of physics differ entirely. Many philosophers find this too high a price. Lewis himself embraced the commitment, arguing that the theoretical benefits outweigh the intuitive cost. Critics object that we have no evidence for these other worlds, and that the view makes it hard to explain why we should care about what happens in worlds that have no causal connection to ours.
Actualism is the family of views holding that only the actual world exists. Possible worlds are not concrete universes but something else—abstract entities that exist within the actual world. The challenge for actualists is to explain what these abstract entities are and how they ground modal truth.
One prominent version, associated with Alvin Plantinga, treats possible worlds as maximal states of affairs or propositions. A state of affairs is a way things could be—for example, the state of affairs of it raining tomorrow. A maximal state of affairs includes every proposition or its negation, and a possible world is a maximal state of affairs that could have obtained. The actual world is the maximal state of affairs that does obtain. On this view, possible worlds are abstract objects, not concrete universes.
Another actualist approach, developed by Robert Stalnaker, treats possible worlds as ways the world could have been—not as things that exist independently, but as properties or descriptions of the actual world. The world could have been different in various ways, and these ways are abstract entities. Stalnaker's view is more deflationary: possible worlds are not fundamental entities but useful fictions or representations we employ to talk about what might have been.
A third actualist strategy, combinatorialism, holds that possibilities are combinations of actual elements. The world consists of simple objects and properties; any rearrangement of these into a coherent combination represents a possible world. This view, associated with thinkers like D. M. Armstrong, grounds possibility in the actual constituents of reality. Its limitation is that it struggles to account for possibilities involving entirely new kinds of objects or properties—things not built from actual ingredients.
Actualist views avoid the ontological excess of modal realism but face their own difficulties. They must explain how abstract entities can ground truths about what is possible for concrete things. If a possible world is a proposition, how does that proposition relate to the concrete objects it describes? And actualists must confront the problem of unactualized possibles: if there could have been things that do not actually exist—like a golden mountain—then what are we talking about when we say such a thing is possible? Some actualists, like Plantinga, accept the existence of unactualized abstract objects (individual essences or haecceities) to handle this. Others deny that there are genuinely unactualized possibles, arguing that apparent possibilities can be paraphrased away.
A more recent response to the debate is modal fictionalism, developed by Gideon Rosen. The fictionalist agrees with the modal realist that possible worlds are useful for analyzing modal claims, but denies that we need to believe in them. Instead, we treat talk of possible worlds as a fiction—a useful story we tell to organize modal truths. When we say "It is possible that P," we mean something like "According to the fiction of possible worlds, there is a world where P." The fiction is useful because it lets us use the powerful machinery of possible-world semantics without committing to the existence of other universes.
Fictionalism inherits the benefits of modal realism's explanatory power while avoiding its ontological commitments. But it faces the challenge of explaining why the fiction is useful if it is not true. If possible worlds do not exist, why does reasoning about them yield correct modal conclusions? The fictionalist must either ground the fiction in some deeper modal truth or accept that the usefulness is a brute fact.
A related stance is modal agnosticism: we can use possible-world talk as a heuristic without taking a firm position on what possible worlds are. Many philosophers adopt this attitude in practice, treating possible worlds as a convenient formalism while remaining neutral on their ultimate nature. This is less a theory than a methodological stance, but it reflects a genuine division in the field between those who think the ontological question is central and those who think it can be bracketed.
Underlying the ontological debate is a deeper epistemological worry. How do we know what is possible? We cannot observe possibilities; we only observe the actual. Yet we make confident modal judgments all the time. I know that I could have chosen tea instead of coffee, that the table could have been made of metal, and that a square circle is impossible. Where does this knowledge come from?
One influential answer, associated with the empiricist tradition, holds that modal knowledge is really knowledge about language or concepts. On this view, "Necessarily, all bachelors are unmarried" is true because of the meanings of the words involved, not because of some feature of the world. Possibility claims are similarly about what is conceivable or expressible in our language. This view, sometimes called linguistic conventionalism, was popular in the mid-twentieth century but faces the objection that many modal truths do not seem to be about language. It is necessary that water is H₂O, but this is a discovery about the world, not about the meaning of words.
A second answer, associated with rationalism, holds that we have a faculty of modal intuition—a capacity to grasp what is possible and necessary through rational reflection. This view has a long pedigree, reaching back to Descartes and Leibniz, and has been defended in various forms by contemporary philosophers. The challenge is to explain how such a faculty works and why we should trust it. Critics worry that modal intuitions are unreliable, varying across cultures and individuals, and that they may reflect our cognitive limitations rather than genuine possibilities.
A third approach, naturalism, tries to ground modal knowledge in scientific knowledge. On this view, what is possible is determined by the laws of nature, and we learn about those laws through empirical investigation. This handles possibilities like "the bridge could collapse" but struggles with metaphysical possibilities that go beyond natural law—like the possibility that the laws of nature themselves could have been different.
The epistemological problem remains unresolved. It is one of the deepest challenges in the field, and it connects modality to broader questions about the nature of philosophical knowledge itself.
The current state of modality is characterized by pluralism and ongoing debate. Modal realism has few adherents but remains a touchstone because it sets the standard for what a reductive theory would look like. Actualist views are more widely held, but they divide into many sub-varieties with no consensus. Fictionalism and agnosticism are live options for those who want to use possible-world semantics without ontological commitment.
Beyond the ontology of possible worlds, contemporary work explores several related fronts. One is the distinction between different kinds of modality. Metaphysical possibility is the broadest kind—what could have been the case given the nature of reality. Physical possibility is narrower—what is compatible with the actual laws of nature. Logical possibility is broader still—what does not violate the laws of logic. The relationships between these kinds of modality are themselves a topic of investigation.
Another front is the question of whether modal notions are fundamental or reducible. Some philosophers, like Kit Fine, argue that modality cannot be reduced to possible worlds or anything else; it is a primitive feature of reality. Others seek to ground modality in more basic notions, such as essence, dispositions, or laws. The debate between "modal primitivists" and "modal reductionists" continues, with no clear winner.
A third front concerns the connection between modality and time. Temporal modality—the idea that the past is fixed and necessary while the future is open and possible—raises questions about whether modal notions vary with time. Some philosophers argue that the future is genuinely open, with multiple possible futures, while the past is closed. Others hold that all times are equally real and that modality does not depend on temporal perspective.
The field also engages with neighboring disciplines. Modal logic continues to develop, with new systems for deontic modality (obligation and permission), epistemic modality (knowledge and belief), and temporal modality. Computer science uses modal logic for reasoning about programs and systems. Linguistics studies how natural languages express modal notions. These applications feed back into philosophy, raising new questions about the relationship between formal systems and ordinary modal thought.
What is at stake in modality is nothing less than our understanding of reality's structure. If modal realism is true, the universe is vastly larger than we thought, containing every possible variation of existence. If actualism is true, possibility is grounded in the abstract structure of the actual world. If fictionalism is true, our modal talk is a useful fiction with no deep metaphysical basis.
These are not merely technical disputes. They bear on whether the world could have been different, whether we could have acted otherwise, whether the laws of nature are necessary or contingent, and whether there are truths that hold in all possible worlds—truths that would be candidates for being necessary in the strongest sense. The question of what is possible is the question of what could have been, and that is a question about the boundaries of reality itself.
The field remains open. No approach has won decisive victory, and the central questions—what modal claims mean, what grounds them, and how we know them—continue to structure research. What makes modality distinctive among philosophical subfields is that its subject matter is not a particular domain of things but a dimension of thought and reality that cuts across all domains. Every claim about what must be, could be, or cannot be is a modal claim, and understanding modality is understanding the shape of possibility itself.