(Bloomsbury Critical Introductions To Contemporary Metaphysics) Andrea Borghini - A Critical Introduction To The Metaphysics of Modality (2016, Bloomsbury Academic)
(Bloomsbury Critical Introductions To Contemporary Metaphysics) Andrea Borghini - A Critical Introduction To The Metaphysics of Modality (2016, Bloomsbury Academic)
Introduction to the
Metaphysics of
Modality
Editorial Board:
Bill Brewer, King’s College London, UK; Albert Casullo, University of Nebraska-
Lincoln, USA; Thomas M. Crisp, Biola University, USA; Peter Simons, Trinity
College Dublin, Ireland; Tuomas Tahko, University of Helsinki, Finland
Bloomsbury Academic
An imprint of Bloomsbury Publishing Plc
www.bloomsbury.com
BLOOMSBURY and the Diana logo are trademarks of Bloomsbury Publishing Plc
Andrea Borghini has asserted his right under the Copyright, Designs and Patents Act, 1988,
to be identified as the Author of this work.
All rights reserved. No part of this publication may be reproduced or transmitted in any
form or by any means, electronic or mechanical, including photocopying, recording, or
any information storage or retrieval system, without prior permission in writing from the
publishers.
Acknowledgments vii
Bibliography 199
Index of Names 219
Index of Terms 221
W riting of this book took place during a sabbatical leave granted by the
College of the Holy Cross, and it was possible thanks also to a Publication
and Research grant from the College of the Holy Cross, through which I could
secure the impeccable assistance of Natalia Iacobelli in the early stages of
the writing process. The book vastly develops, expands, and refines an earlier
volume of mine, published in Italian by Carocci Editore, in 2009—Che cos’è
la possibilità (Possibility: What Is It? (literal translation)). I thank the editorial
staff of Carocci, and in particular Gianluca Mori, for allowing me to rework the
ideas contained in that volume. Along the way I have benefited immensely
from discussions of the themes considered here with numerous people. I
wish to thank them all; among their great number is Adriano Angelucci, Sergio
Bernini, Claudio Calosi, Andrea Cantini, Massimiliano Carrara, Elena Casetta,
Annalisa Coliva, John Collins, John Divers, Maurizio Ferraris, Salvatore Florio,
Laura Franklin-Hall, Pierluigi Graziani, Chris Haufe, Andrea Iacona, Philipp
Keller, Vittorio Morato, Luca Morena, Luca Moretti, Stephen Mumford, Marco
Nathan, Andrea Sauchelli, Giacomo Sillari, Matthew Slater, Giuliano Torrengo,
Vera Tripodi, Sebastian Watzl, and Neil Williams. Thanks to Massimo Mugnai,
who first acquainted me with the history of modality and contemporary
theories of possibility, and who punctually followed my early research on the
topic; and to Tommaso Tempesti for suggesting that I choose the topic for
my Laurea thesis. I am much indebted to my colleague Carolyn Richardson,
who provided superlative editorial assistance while reviewing the manuscript.
I owe special gratitude to Achille Varzi for the continuous incitement and
encouragement provided over the years. Finally, without Ave, Guido, Lisa, and
Elena, not only the book you hold in your hands, but much more would not
have been realized (of me and what is mine).
I dedicate this book to my grandfather Dario, his brother Guido, and their
parents, Angiola and Angiolo: that our reflection on what can be will prompt
us to teach more vividly that violence against innocent civilians cannot be.
T he introduction presents the main framework for the book and its structure.
It starts by explaining the problem of possibility according to three main
perspectives: semantic, epistemic, and metaphysical (§0.1.). The perspectives are
closely entrenched and, for each modal theory, one of them shall be employed
as a privileged point of departure (§0.2.). The first tool required for a discussion
of modality is an appropriate vocabulary: some basic concepts and terms are
presented (§0.3.). Next on the menu is an illustration of the key methodological
and structural choices that characterize the book (§0.4.), followed by a map of
the theories of possibility, through which the content of the volume is illustrated
(§0.5.). Finally, the possibility of impossible scenarios is brought up, and its
philosophical interest is discussed (§0.6).
But if there is a sense of reality, and no one will doubt that it has its justification
for existing, then there must also be something we can call a sense of
possibility. Whoever has it does not say, for instance: Here this or that has
happened, will happen, must happen; but he invents: Here this or that might,
could, or ought to happen. If he is told that something is the way it is, he
will think: Well, it could probably just as well be otherwise. So the sense of
possibility could be defined outright as the ability to conceive of everything there
might be just as well, and to attach no more importance to what is than to what
is not.
R. MUSIL, THE MAN WITHOUT QUALITIES, TRANS. B. PIKE AND S. WILKINS,
KNOPF, 1995: I, 10–11
Why read a book on the metaphysics of possibility? At first one could argue
that it is an abstruse topic reserved only for those with a strong philosophical
disposition. Practical individuals are interested in who they are and what they
do, what there is and what happens: “I am Italian”; “I have US $30,000 in the
bank”; “Napoleon was defeated at Waterloo.”
This is perhaps one of the most misleading observations that can be made
regarding the topic, and it is so for at least three reasons.
Reason number three: While the majority of possible things are not
attemptable, possibilities play a primary role in our lives. We might
consider the relevance of possibility in explaining our frames of
mind and our judgments: we do not need to watch an atomic bomb
explode in order to be scared of one, and we do not need to see a
homicide in order to accuse someone of attempted homicide.
So, why read a book on possibility? Because we are immersed in it, much
more than it might appear at first glance. In the remainder of this intro-
duction, we shall first identify the main philosophical questions arising for
any theorizing about possibility, thus explaining the problem of possibility
according to three main perspectives: semantic, epistemic, and metaphysical
(§0.1.). The perspectives are closely entrenched and, for each modal theory,
one of them shall be employed as a privileged point of departure (§0.2.). The
For instance, what does it take for it to be possible that tomorrow it will rain
in Manhattan?
The PP is a more complex problem than it might appear to be at first. In
order to tackle it, we will make use of three sub-problems related to possibility,
which pertain to three distinct areas of research: semantics, epistemology,
and metaphysics. Semantics studies the meaning of linguistic expressions,
including the conditions under which an utterance is true or false. (For an
introduction to semantics, see Soames (2010).) Epistemology concerns the
modalities through which a subject acquires information about himself, what
surrounds him, and whatever else the subject can conceptualize—for example,
theoretical knowledge that does not concern spatio–temporal reality, or even
fantastic imaginings. (For an introduction to epistemology, see Feldman (2002).)
Metaphysics, finally, concerns entities themselves: whether they exist and
what they are, as well as how this can be explained; what type of relationships
can exist between them—for example, existential relationships, causal relation-
ships, relationships of composition between part and whole; and what modes
of classification there are. (For an introduction to metaphysics, see Loux (2006).)
The PP is therefore intimately tied to The Semantic Problem of Possibility
(SPP), The Epistemic Problem of Possibility (EPP), and The Metaphysical
Problem of Possibility (MPP):
The SPP, EPP, and MPP deserve special attention because possible situations
play a key role in our lives. To cite three examples: probability is nothing but a
type of possibility; therefore, when we are deciding how to invest our savings,
what course of studies to undertake, or whether to approve the construction
of a nuclear power plant in our neighborhood, we are also relying upon a
certain representation of possibility. Sentiments make for another good case
in point. Many of them, even the most visceral or uncontrollable emotions,
concern possible situations: we find ourselves fearful of having an accident,
or worried about the health of a loved one, despite the fact that these are only
possibilities, not matters of fact. Finally, the ways in which punishments and
rewards are accorded often rely upon what a person could have done or could
do: we might think, for example, of a sentence given for attempted homicide
or a promotion awarded for a person’s fulfillment of her potential. Therefore,
reflecting upon what possibility is is central to understanding ourselves, the
universe, and the norms and values that influence us, and those around us.
The objective of this book is to examine the solutions of the PP that have
been proposed, with special attention to their metaphysical underpinnings.
To this end, the SPP, EPP, and MPP will be discussed from time to time.
Before proceeding, we should consider the relationship between these three
problems.
The contemporary debate on modality developed from an important
contribution to the SPP, namely so-called possible-worlds semantics, which
reached a mature state during the end of the 1950s and early 1960s. In
possible-worlds semantics, the truth conditions of propositions—and, in
particular, of propositions involving modal terms—are evaluated with respect
to a class of possible worlds. A proposition involving a possibility operator is
true at a world when true at a possible world, while a proposition involving a
necessity operator is true at a world when true at all possible worlds. Thus,
for instance, the proposition Foffo the cat could have eaten milk and cookies
is true at our world if there is a possible world where Foffo does eat milk and
cookies; on the other hand, the proposition Foffo the cat is necessarily a cat
is true at our world when Foffo is a cat at every possible world. Equipped
with this (apparently) simple semantic machinery, which can be modified in
numerous important respects, philosophers were able to address many old
philosophical questions concerning modality in a new guise. On the other
hand, the machinery had a not-so-small issue that became increasingly
worrisome over time: what is a possible world? This question, which will
accompany us throughout the volume, sums up one of the central problems
of metaphysics of the past fifty years.
The epistemic and metaphysical doubts concerning possible worlds
reawakened a host of vexed issues surrounding modality, which are indeed
also discussed independently of the specifics of possible-worlds semantics.
The difficulty with the EPP resides in the fact that the majority of possible
entities are not actual: they are never materialized in our universe. Therefore,
they are entities that we cannot experience directly. I can know that Foffo
the cat is crossing the street because I am present at the scene; I can know
that yesterday Foffo had milk and cookies because Elena, who was present
at the scene, told me so; but how do I know that Foffo could have had milk
and cookies again today, if instead he ate fish and potatoes? Neither I nor
any other person has ever been present at that possible scene. Perhaps this
possibility is purely an invention, a projection of our minds. Or maybe the
knowledge is an induction, or an inference based on certain empirical data:
we infer that Foffo could have eaten milk and cookies today based on the
fact that he ate milk and cookies yesterday. Or perhaps it is a deduction, an
inference based on purely logical reasoning: Foffo could have eaten milk and
cookies today because nothing contradicts our thinking this. Thus, how do I
know that Foffo could have eaten milk and cookies again today?
A strategy for unraveling the knot created by the EPP is to turn to the MPP
for help. We must first clarify what type of objects possible entities are in order
to have a point of departure for explaining how we can gain understanding
of them. If possible entities are merely fictions (as the so-called fictionalist
claims), like Hamlet, then we have an argument for claiming that they are the
product of our imagination; if they are entities that are entirely similar to those
we experience (as the modal realist maintains), then we might assert that we
become familiar with them by way of induction, endorsing their existence by
relying on a philosophical analysis.
Nevertheless, some philosophers seem to follow the opposite path: in
order to resolve the MPP, they rely upon a certain solution of the EPP. This is
the case with the agnostic theory, for example. In yet a different case, the
fictionalist opts for a certain solution of the MPP based on the advantages of
a certain solution of the SPP. Deciding which strategy to follow is a question
of philosophical methodology, which the reader will find applied in a variety of
ways throughout the course of this book.
how, a proposed solution can apply to the other two. Thus, while the focus
of this volume is on the metaphysical aspects of contemporary theories of
modality, along the way the reader will find remarks that apply to epistemic
and semantic aspects of these theories too.
Yet, the array of theories that will be surveyed certainly cannot be
considered complete. The theoretical field of interest to us is restricted from
two main standpoints. First, we will examine only theories belonging to the
contemporary philosophical scene, confining for the most part the historical
predecessors to Chapter 1 (more on this also in the following section).
Second, from the standpoint of the philosophical community, we will discuss
only the works of philosophers who—as they say—have an analytic approach
to philosophy (see Chase and Reynolds (2010)).
By implementing this last restriction we do not intend in any way to
embrace the view that the analytic approach is superior to others, much less
the view that there is one approach that stands out as being analytic. Rather,
we are simply advising the reader of the brute fact that the philosophical
theories considered here were produced within a circle of philosophers
belonging to a given philosophical milieu. Though the latter is not readily
identifiable, two of its traits are plain. First, by and large, the theories were
initially advanced by philosophers working in institutions in the United States,
the United Kingdom, Australia, or New Zealand. Second, the articles and
books that fuelled the debate were all originally published in English, with
the exception of a few contributions in European languages, such as German
(especially important for early stages of the debate) and Italian (one version
of the new actualism, dispositionalism, was originally published in Italian).
The geographic and linguistic aspects alone, however, are not sufficient
to pin down the content of the analytic approach to modality. As the label
itself suggests, the approach relies crucially on philosophical analysis, which
is often carried out by means of a formal language, such as quantified modal
logic, along with a possible-worlds semantics. It is part of such an analysis
to divide the philosophical problem of possibility into sub-problems and to
define the different views on the market based on the semantic/epistemic/
metaphysical treatments of modal expressions that they propose. This is
indeed the approach endorsed in this book.
Finally, it is also important to clarify that several key figures involved in the
debate were educated outside of the United States, the United Kingdom,
Australia, and New Zealand, and that they were non-native English-language
speakers. Moreover, the contemporary geographic distribution of academics
contributing to the debate on modality is much different from the distribution
of fifty years ago: it spans the five continents and dozens of countries,
including Argentina, Austria, Belgium, Brazil, Canada, China, Czech Republic,
Finland, France, Germany, Greece, Holland, Hungary, India, Israel, Italy,
Japan, Korea, Mexico, Norway, Poland, Portugal, South Africa, Spain, Sweden,
Switzerland, Turkey, and United Arab Emirates.
§0.3. Methodology
At this point, we shall mention three ways in which the PP will not be
discussed.
1 This book will not deal with the PP by making use of a formal language.
upon a formal language produces a sharpness and clarity that are unknown
in natural language. Logic remains an instrument that is to be used to clarify
a philosophical question or sharpen a solution that has been devised, albeit
in its preliminary stages. Here, however, we can rely upon decades of sharp-
ening of modal logic: the problem and its solutions have been provided in
both natural and formal languages. The main issue is which theory to choose,
and our goal is to assess the metaphysical proposals on the market.
We certainly are not the first to consider the PP, and there is much to be
learned from those who have preceded us. Those who wish to gain a deeper
understanding of the concept of possibility ought to study the classic texts
by authors such as Aristotle and Leibniz. For this reason, indeed, we have
reserved an entire chapter—Chapter 1—to discuss prominent philosophical
results in modality. Yet possible-worlds semantics equips us with conceptual
resources of unprecedented sophistication, leading to a debate that deserves
to be discussed separately. More importantly, we seek to use the most
appealing theoretical apparatus for dealing with modalities, since our priority
is not historical development or accuracy but theoretical soundness. The
main ideas and questions raised in the past centuries will be kept in the
background, to guide us from time to time, especially—as we shall see in
Chapters 7 and 8—in connection with some recent and important proposals
concerning the nature of possibility and necessity.
3 This book will not deal with the PP by focusing on the classic themes
and problems associated with possibility.
on multiple occasions (and further readings are suggested at the end of this
Introduction), but without the systematic display they deserve.
Furthermore, it should be noted that we will be interested in what is
possible tout court, while keeping the distinction between the various
categories of possible situations in the background and pointing them out
where most suitable. Nevertheless, such categories are highly relevant in
certain areas. For example, a great deal of the literature on alethic modalities
developed in conjunction with the literature on temporal modalities. The
distinction between that which was possible, that which is possible, and that
which will be possible is at the root of how we think about agency and respon-
sibility, and serves to introduce the so-called problem of future contingents.
According to this problem (addressed in Chapter 1), just as it seems intuitive
(and in keeping with the linguistic details of most natural languages) that the
present and the past are fixed, it is equally intuitive that the future is open.
Thus, while it is a fixed truth that—say—Foffo had milk and cookies yesterday
and that Foffo is having milk and cookies now, it is still open whether Foffo
will be eating milk and cookies tomorrow—that is, both “Tomorrow Foffo will
be eating milk and cookies” and “Tomorrow Foffo will not be eating milk and
cookies” are possible futures at the moment; and yet, tomorrow only one of
the two possible futures will be actualized, and the other will be regarded
as a counterfactual situation, a situation that runs counter to the facts of the
actuality. In short, intuitions suggest that there is only one past and only one
present, but there are many futures. Needless to say, philosophers have
challenged these intuitions on many counts, and to do so they had to resort
not only to a theory of time but also to a theory of possibility. The theories we
will discuss in the book can be (and have been) used to frame and solve the
problem of future contingents in different ways; yet, it is not the aim of the
book to discuss the details of such potential solutions.
Another relevant distinction among categories of possible situations is that
between nomic possibility and metaphysical possibility. The former concerns
the laws of nature, or the behaviors that seem to be inherent to spatio–
temporal objects, while the latter concerns all of the non-contradictory ways
objects can present themselves. The distinction is central to the philosophy of
science: according to some authors (e.g. David Armstrong), what is nomically
impossible is impossible tout court; others (e.g. David Lewis) contend that
the realm of the possible is much wider than we can even imagine, extending
far beyond what does not accord with the laws of nature. The distinction
between nomic and metaphysical possibility will be considered in different
chapters (especially Chapters 4, 5, and 8). Nonetheless, it is beyond the
scope of this book to deal systematically with it.
realized; the modality of what is necessary is used to express the fact that, in
any case, it will be realized.
Modality is one of the most fertile areas for philosophical reflection. It is so
fertile that it forces us to create a restriction: our discussion will be limited to
the alethic modalities. Henceforth, when we will speak of modalities, we will
be referring to alethic modalities.
These limits notwithstanding, it is unlikely for a theory of possibility that
makes contemporaneous use of all the alethic modal expressions to attain
sufficient conceptual clarity. It has, therefore, become standard to make a
choice that favors a restricted number of paradigmatic expressions of (alethic)
modal discourse, to which all of the others can in some way be connected;
such expressions are gathered within the following two groups:
The modalities in group (i) are enunciative operators, that is, expressions
that modify the meaning of an entire sentence, such as “It is possible that:
tomorrow it will rain in Manhattan”. The modalities in group (ii), on the other
hand, are adverbs, expressions that modify the way of existence of certain
entities, be they individuals, events, properties, relationships, or concepts;
an example is the use of “necessarily” in: “Cheese is necessarily produced
from milk”. In one way or another, all of the theories presented here
presuppose that the expressions in groups (i) and (ii) are paradigmatic:
based on these we are able to shed light on many other (alethic) modal
expressions in our ordinary language; the theoretical challenge, then, lies
in revealing the meaning of the expressions gathered in (one of) these
groups.
It would be equally useful to alert the reader to the following terminological
choices that have been used in the text.
If the USA threw its weapons into the sea tomorrow there would be war;
but if the USA and the other nuclear powers all threw their weapons into
the sea tomorrow there would be peace; but if they did so without suffi-
cient precautions against polluting the world’s fisheries there would be
war; but if after doing so, they immediately offered generous reparations
for the pollution there would be peace. (10)
Whether those and other rejoinders are sound, the expressivist position
seems to defend an important intuition, which deserves to find room in a map
of theories of possibility.
can be found far back in the history of philosophy, such as in the writings
of Epicurus (341–270 BCE). But it was not until Leibniz (1646–1716) that the
concept was used to systematically analyze propositions containing modal
expressions. And again, until the 1960s, when possible-worlds semantics
was more firmly established, modalism seemed the most prudent view.
However, matters are now different: today most philosophers working on
modality hold that modal expressions should be analyzed in terms of other
concepts, possible worlds being chief among these. The widespread debate
about the semantics, epistemology, and metaphysics of modality generated
over the past fifty years may, indeed, be considered an attempt to fine-tune
such alleged conceptual analysis.
§0.6. Impossibility
It is our intention to look carefully at certain theories of possibility. Yet—we
might ask ourselves—what can be said about impossibility? Once we have a
theory of possibility, will we also be able to account for that which is impos-
sible? Yes and no. Once we establish an interpretation of alethic modalities,
we will be able to tell where the boundary lies between that which is possible
and that which is impossible. However, this does not mean that we will know
how to treat the questions that emerge once impossible situations are taken
into consideration: if two plus two were to equal three, then could I also go
surfing this afternoon on twenty-seven different surfboards simultaneously?
Or, could we admit a given impossibility without compromising the truth of
the other things we think?
Since the contributions of Morgan (1973) and Yagisawa (1988), respectively
addressing logical and metaphysical issues regarding impossible worlds,
these and cognate questions have become increasingly prominent in the
literature on modality. Impossible worlds have been particularly handy in
explaining the behavior of agents who hold inconsistent beliefs, as well
as in addressing the truth conditions of systems of propositions (e.g. legal
systems) that contain contradictory claims. We shall come back to this topic
in Chapter 8.
Study Questions
• What is a modality a mode of?
• What are alethic modalities?
• What other modalities, besides the alethic, are there?
• What is the problem of possibility?
• What are the three main sub-problems of possibility?
• What is possible-worlds semantics?
• What are the three main joints giving shape to the contemporary debate
on alethic modality?
• What is an impossible world?
MODAL EXPRESSIONS
EXPRESS CONCEPTS?
SKEPTICISM
NO YES
EXPRESSIVISM
CONCEPTUAL REDUCTION?
MODALISM NO YES
POSSIBLE WORLDS?
NO YES
MODAL REALISM
AGNOSTICISM
ERSATZISM
FICTIONALISM
FURTHER READING
For an introduction to modal logic, see Hughes and Cresswell (1968, 1984),
Chellas (1980), Fitting and Mendelsohn (1998), Girle (2000), and Garson (2006).
The last is particularly suggested for the more philosophically and less logically
oriented.
On the history of modalities, see the classic by Kneale and Kneale (1962).
For a reconstruction of the main moments in the development of possible-worlds
semantics, see Copeland (2002) and Ballarin (2010); among the essential readings,
see C. I. Lewis (1918), Wittgenstein (1921), C. I. Lewis and Langford (1932), Carnap
(1946, 1947), Prior (1957), Kripke (1959, 1963), and Hintikka (1961, 1963).
For an overview of the debate regarding modality and free will, see Kane
(2002). Among the most influential classic contemporary texts on this topic are
Plantinga (1974b), Pike (1977), van Inwagen (1983), and Vihvelin (1988).
The debate on essentialism traverses the whole history of philosophy and is
among the most assorted and vast; for a first approach, see Robertson (2013).
The readers, edited respectively by Linsky (1974) and Loux (1979), are another
useful starting point. The most significant contemporary texts on the topic include:
Kripke (1980), Wiggins (1980), Sidelle (1989, 2002), Ellis (2001, 2002), Fine (2005),
Mackie (2006), and Lowe (2006). For an introductory reading on natural kinds,
see Bird (2009) and Bird and Tobin (2015). Beebee and Sabbarton-Leary (2010)
and Campbell, O’Rourke, and Slater (2011) are updated collections of essays on
metaphysical and semantic issues concerning natural kinds; among the recent
monographic studies, see LaPorte (2009) and Khalidi (2013).
For a historical debate on future contingents, see the classic by Gaskin (1995),
and the earlier classic work by Prior (1957). Hasle and Øhrstrøm (2011) provide an
up-to-date framing of the debate.
For additional introductory texts on contemporary theories of possibility in
analytic philosophy, see: Divers (2002), Melia (2003), Loux (2006: Chapter 5), and
Pruss (2011). Also useful, although covering the debate only in part, is Sider (2003).
There are several readers collecting important writings about modality. Among
these are: Linsky (1974); Loux (1979); Gendler and O’Leary Hawthorne (1992); and
Hale and Hoffman (2010).
Finally, for an overview of the main issues relating to impossible worlds, see:
Yagisawa (2010); Berto (2013a); and Jago (2014). See also the Further Reading
section in Chapter 8 for additional bibliographical resources.
T his chapter examines the key ideas and principal figures that, in the history
of Western philosophy, have characterized and shaped the central theories
of modality. It is divided into three main parts: Ancient (§1.1.), Medieval (§1.2.),
and Early Modern (§1.3.). After considering the early ideas of Parmenides and
Zeno (§1.1.1.), we examine the first author to have systematically studied modal
concepts, Aristotle (§1.1.2.), and the first school to have done the same, the
so-called Megarian School (§1.1.3.). The period in which reflection on modality
flourished, however, is the Medieval, with the Arabic and Scholastic philosophical
traditions (§1.2.1.). During the late Scholastic period, authors such as Ockham
(§1.2.2.) and Buridan (§1.2.3.) enriched and refined the Aristotelian and Megarian
teachings, setting the stage for the contemporary revival of reflection on modality.
During the Early Modern period, modalities were used to put forward some
bold metaphysical views, such as those of Descartes (§1.3.1.), Leibniz (§1.3.2.),
Spinoza (§1.3.3.), and Hume (§1.3.4.). The concluding section (§1.4.) highlights the
importance of nineteenth-century logic for the rise of quantified modal logic and
possible-worlds semantics in the twentieth century (examined further in Chapters
2 and 3).
*****
known to us, and yet based on these fragments, and also on the discussion of
Parmenides’s ideas in the work of other authors (such as Zeno and Diogenes
Laertius), scholars have been able to agree about some of the central tenets
of his philosophy.
In the second part of “On Nature”, Parmenides lays out his chief metaphysical
thesis: Being is all that there is, while not-being cannot be. Superficially, this
may appear an uncontroversial claim; far from it, however, since Parmenides’s
thesis is a formulation of so-called metaphysical monism: there is only one
thing, Being, which never changes and so never dies, which never came into
existence, which has no boundaries and no detachable parts. Metaphysical
monism contends not only that the entire universe is one simple entity,
but—most importantly for our purposes—that this entity has some necessary
features: it cannot go out of existence (it is eternal) and it cannot change.
Parmenides may have defended, or have come close to defending, what we
now call necessitarianism. This is composed of two theses: (i) the universe
exists out of necessity, and (ii) it is necessarily the way it is. Metaphysical
monism is an endorsement of (ii); however, whether Parmenides also
endorsed (i) remains controversial (see Lewis (2009)). We shall encounter
an instance of necessitarianism later on in this chapter when discussing the
views of Baruch Spinoza (1632–77).
Possibility, as well, plays a role in Parmenides’s philosophy. While true
knowledge is recognizing the necessity of Being, false opinion is that
which suggests the contingency of worldly affairs—such as that things
could have been otherwise or that the future is open. It seems plausible
that Parmenides’s philosophy must be read as a reaction to Pythagorean
science, which tried to explain worldly phenomena in terms of a multiplicity
of opposing principles. Parmenides’s method emphasized the importance of
reason over the senses: philosophy becomes that way of life which goes
beyond the surface of appearances and reveals, by means of the use of
reason, the truth of seemingly incredible conclusions.
The Parmenidean reliance on reason is also at play in the work of his
student (or young associate) Zeno of Elea (Campania, Italy), active during the
fifth century BCE. Zeno is most famous for his ingenious paradoxes, having
indeed introduced this genre of work in Western philosophy. It seems that the
goal of Zeno’s arguments was to lend credence to Parmenides’s metaphysical
monism. Confronting us with claims that at least prima facie contradict
each other, the paradoxes force us to rethink the bounds of possibility and
necessity. Zeno’s paradoxes stand as excellent examples of the importance
of modal reasoning to philosophizing. Relevant for our purposes is that they
invite us to entertain some (seemingly) impossible scenarios; we shall come
back to the importance of impossible scenarios for the metaphysics of
modality at the end of Chapter 8.
Eight paradoxes have survived, although not all in their original formulation,
They are typically divided into four groups: four paradoxes against motion;
two paradoxes against plurality; the paradox of the millet seed; and the
paradox of place. Let us briefly go through each of them.
1 When both space and time are discrete, we have the so-called
Paradox of the Stadium.
4 When both space and time are continuous we have the Paradox of
the Arrow.
that there are infinite entities, because between any two entities there have
to be infinitely many dividing them. The second paradox of plurality deals with
the absurdity of infinitely small and infinitely large entities. Suppose that the
universe is inhabited by infinitely small entities (e.g. the points of a line); then,
take one such infinitely small entity and add it to any plurality of entities: at
the end of the process we will have the same number as we had at the start,
because the added entity is infinitely small; that is, we added nothing. If, on
the other hand, the universe is inhabited by entities that occupy space, then
such entities will have infinite parts; hence, they will be unlimited—which is
absurd.
§1.1.2. Aristotle
Scholars of Aristotle have discussed at great length on his position with
respect to modalities; a selection of significant publications can be found
in the Further Reading section at the end of the chapter. In this section, we
shall restrict our focus to two tasks: first, we will distinguish the different
modalities that seem to emerge from Aristotle’s writings, asserting that
some important ones—logical possibility, synchronic possibilities, and condi-
tionals—are missing; then, we will present and discuss in more depth the
so-called problem of future contingents. But, first, let us note that another
aspect of Aristotle’s metaphysics often plays an important part in the contem-
porary debates on the metaphysics of modality: the theory of substances, and
the related doctrine of essentialism. Since essentialism will be discussed at
various stages in the chapters to come (especially Chapters 3, 7, and 8), we
shall set this topic aside for now.
Necessity
Aristotle distinguishes several senses of necessity in a particularly telling
passage of the Metaphysics, book Delta, amidst the treatment of other funda-
mental notions such as “cause,” “nature,” and “element.” Aristotle writes:
We call ‘necessary’ (1) (a) that without which, as a condition, a thing cannot
live; e.g. breathing and food are necessary for an animal; for it is incapable
of existing without these; (b) the conditions without which good cannot
be or come to be, or without which we cannot get rid or be freed of evil;
e.g. drinking the medicine is necessary in order that we may be cured of
disease, and a man’s sailing to Aegina is necessary in order that he may get
his money. (2) The compulsory and compulsion, i.e. that which impedes
and tends to hinder, contrary to impulse and purpose. For the compulsory
kinds, identified at the beginning of the passage. First, there is (N1), the
necessity of a material condition for the obtainment of some other condition;
for instance, eating is necessary for survival. Second, there is (N2), the
necessity of certain courses of action for achieving certain goals; for instance,
I must take a medicine in order to heal. The difference with respect to (N1)
is that, in (N2) the condition requires a will: someone must choose to act in
a certain way and that choice is necessary for obtaining the relevant goal.
Finally, there is (N3), the necessity of an action that is constricted or forced:
for instance, where we have no choice but to surrender to our opponent.
In several passages, Aristotle reflects on the relationships between what
is necessarily the case, what is possibly the case, and what is actually the
case. Setting aside some controversial points of interpretation, Aristotle
seems to accept and establish certain principles that eventually become core
to the development of modal logic and modal metaphysics: (i) if something is
necessarily the case, then it is actually the case; (ii) if something is actually
the case, then it is possibly the case; in Medieval times, this principle will be
summed up in the motto ab esse ad posse valet consequentia (it is allowed
to infer possible existence from actual existence); (iii) by transitivity then, (i)
and (ii) imply that what is necessarily the case is also possibly the case.
Despite this apparently settled net of relations between modal notions, we
do not find in Aristotle a systematic and unitary treatment of modalities. The
fragmented picture is most apparent when we examine Aristotle’s treatment
of possibility. Here we find at least three different notions: statistical or
temporal frequency, diachronic possibility, and power or capacity.
Diachronic possibility
The notion of diachronic possibility captures those scenarios that seem to
change modal status as time goes by. Yesterday, Maria gave Luca some kulfi
ice cream; Luca could have put the kulfi ice cream in the freezer, so that today
it would have been still good to eat; alas, Luca forgot the ice cream on the
kitchen counter, and the ice cream is irreparably spoiled now. So, yesterday it
was the case that the ice cream was edible, and today that is no longer the
case; more importantly, yesterday it could have been the case that Luca got
to eat ice cream, but today it is no longer possible for Luca to eat ice cream.
There is a notion of necessity related to diachronicity too. If something
must be the case at some point in the future, then we may say that it is
diachronically necessary. For instance, to say that I am mortal is arguably to
say that, necessarily, at some point in the future I will die. The diachronic
notion is different from the statistical notion: to say that necessarily I will die
is different from saying that, at every point in time, I will die (the latter is no
longer the case after my death); and it is different from saying that, at every
point in time, I must have died (it is obviously false now); and it is arguably
different also from saying that, at every point in time, I must have died or will
die (as I may be dying). So, the notion of possibility that is conjoined with a
diachronic perspective reaches quite deep into the semantics of our modal
talk; it is this notion that is at the root of a very difficult philosophical problem,
the problem of future contingents. We shall turn to this problem in a moment,
after examining the third notion of necessity—power or capacity.
Powers or capacities
The last notion of possibility we find in Aristotle is the one of power, sometimes
also referred to as “capacity” or “disposition”. Vipers’ poison has the dispo-
sition or capacity to kill humans, in the absence of an antidote; humans have
the power to think that things could have been otherwise; this key has the
capacity to open that door. Powers do not establish a link at a specific point
in time: under suitable conditions, it is correct to ascribe a certain power to
a certain entity, even if that entity has never displayed the power. Maria has
the capacity of saying ten times in a row the expression “Ten times in a row”,
even if she has never displayed it and—as is most likely—she never will. Note
that there is a link between diachronic possibility and powers: some powers
can be gained and lost with time, for they are tied to certain other abilities.
Thus, while certain entities, such as ice cream, spoil forever, other entities
can lose a certain capacity and then gain it back. For instance, when she used
to train, Maria could run for 15 miles straight; now she cannot, but she plans
on regaining that ability with two months of training. Aristotle’s discussion of
powers is quite important to the contemporary debate on the metaphysics
Logical possibility
Aristotle does not really entertain the idea that to be possible is to be logically
non-contradictory. For instance, there seems to be nothing contradictory—
one could argue—in Maria’s being one-third human, one-third Alaskan
salmon, and one-third oak tree. And yet, such a scenario is so far-fetched as
to be possible in only the barest sense, such that the only way to consider
it possible is to regard it as non-contradictory from a logical point of view.
Aristotle seems not to consider possibilities of this sort as genuine. It will be
the Megarian School that makes logical possibility a standard modality to bear
in mind in philosophical theorizing.
Synchronic possibility
Maria gave the kulfi ice cream to Luca, but the ice cream spoiled. The possi-
bility of the ice cream not spoiling thus remained non-actualized. From the
point of view of many contemporary theories, non-actualized possibilities
are still genuine possibilities; they comprise a large part of what we shall
call “mere possibilities” (discussed further in Chapter 2). Aristotle seems to
have little interest in mere possibilities, and perhaps he regarded them as
non-genuine. It was Augustine of Hippo (AD 354–430) who brought the idea
of synchronic possibility into Western philosophical discourse.
Conditionals
We have seen that Aristotle discusses conditional necessity. Also, some
of the notions of possibility he entertains involve conditionals; for instance,
a power is assigned to an entity based on the fact that, if the entity is in
certain circumstances, then some other circumstances obtain (e.g. if a viper
bites Maria in the absence of an antidote, then Maria will die). Nonetheless,
Aristotle did not separately discuss conditional statements, and did not
attempt to systematically analyze them. It was again the Megarian School,
as we shall see, that first addressed the problem of assigning truth values to
conditional sentences.
Future contingents
Through the notion of diachronic possibility—a notion of possibility that is
entrenched with the perspective of temporal change—we can formulate
the so-called problem of future contingents. In general, the problem deals
with the question of whether there is an open future and whether, as time
goes by, the number of options before us changes. Aristotle introduces the
problem in the De Interpretatione 9, where we also find the famous example
of a sea battle:
Let me illustrate. A sea-fight must either take place tomorrow or not, but it
is not necessary that it should take place tomorrow, neither is it necessary
that it should not take place, yet it is necessary that it either should or
should not take place tomorrow. Since propositions correspond with facts,
it is evident that when in future events there is a real alternative, and a
potentiality in contrary directions, the corresponding affirmation and denial
have the same character.
—Trans. E. M. Edghill; available at The Internet Classics Archive: http://
classics.mit.edu/Aristotle/interpretation.1.1.html
In the case of the sea battle example, we intuitively accept that it is true that
“either there will be a sea battle tomorrow or there won’t be one” (so, the
excluded middle holds); but, we intuitively deny that it is true that there will be
a sea battle tomorrow, and we deny that it is true that there will not be a sea
battle tomorrow (so, bivalence is given up); at the same time, we intuitively
deny that both sentences are true (so, non-contradiction holds). However,
denying bivalence cannot easily be squared with maintaining the excluded
middle and non-contradiction, hence the quest for alternative explanations.
The problem of future contingents has occupied scholars for centuries
and still, today, steers much controversial discussions (see Hasle and
Øhrstrøm (2011)). It is also in an attempt to provide a clear framework for
dealing with this problem that so-called temporal logics were developed in
the late 1950s (see Prior (1957)); temporal logics influenced to a great extent
the development of modal logic in the late 1950s and the early 1960s. We
cannot examine the discussion of the problem in detail, but members of
the Megarian School, who came up with a more refined analysis of future
contingents, put forward what is known as the Master Argument, which shall
occupy us in the next section.
Conditionals
Philosophers within the Megarian School seem to have been the first among
Ancient philosophers to accord a central role to propositions. Aristotelian
logic took terms (in contemporary parlance: subject and predicate) as the key
ingredients of logical analysis; for Diodorus and Philo, the fundamental units
are instead axiómatas, which roughly correspond to what we now call propo-
sitions. These stand for the content of a sentence, so that different sentences
can express the same proposition: for example, when we say that “It rains”
and Piove convey the same content—that it is raining—in two languages,
English and Italian. Unlike most contemporary authors working on proposi-
tions, however, Diodorus and Philo accept that propositions can change their
truth value over time, so that the content of a sentence can be—say—true
today, and yet false tomorrow.
The analyses of conditionals proposed by Diodorus and Philo crucially
relied on their usage of propositions and inspired contemporary treatment
of the issue. According to them (and to us), a conditional is a complex
proposition formed by two simpler propositions—called respectively the
antecedent and the consequent—that are related by an “if …, then …”
relation. For instance, the sentence “If it rains, then I go surfing” expresses a
complex proposition formed by the two propositions It rains and I go surfing,
which are related by the “if …, then …” relation. By conceiving of conditionals
in this way, Diodorus and Philo could appreciate their logical complexity and
point out difficult questions that are still open for us. The central question
being: When is it that a conditional proposition is true?
Conditionals are tricky because, in some instances, while we may know
the truth conditions of each of the propositions composing a conditional,
we may still not know whether the conditional is true or false. For instance,
consider the sentence: “If it rains, then in one hour there are sixty minutes.”
The consequent of the conditional is true, since by definition there are sixty
minutes in one hour; but is the conditional as a whole true? No matter
whether it is raining or not, the problem seems to be that the antecedent and
the consequent are not relevantly related.
Diodorus and Philo gave two different solutions to this problem.
Diodorus’s analysis was more complex, taking into consideration the time
at which a proposition is true or false: he seems to have maintained that
a conditional is true if it is not possible, and it was not possible, that its
antecedent is true and its consequent false. By specifying the time at which
a proposition is true, Diodorus aimed to devise stricter truth conditions for
conditionals; the texts we have that recount Diodorus’s position, however,
do not offer sufficiently clear information to allow us to reconstruct its
subtleties in a concise and uncontroversial manner. The solution he is
aiming for, in any case, seems unable to address the problem of relevance
expressed in the previous paragraph: for Diodorus the sentence “If it rains,
then in one hour there are sixty minutes” seems to have expressed a true
proposition.
Diodorus argued that the problem rested in (M3). As a reader may recognize,
in fact, (M3) violates Diodorus’s definition possibility, according to which a
proposition is possible just in case it is true now or it will be true in the future.
This definition is highly controversial, however, because it suggests a strict
notion of possibility. Alternatively, we could maintain that (M3) is true, but
give up either (M1) or (M2). But since both (M1) and (M2) make substantial
claims about propositions that are also superficially plausible, it becomes
tricky to understand which of the two claims should be discharged.
Because of its centrality, the Master Argument has had several alter-
native formulations: most notable are the ones by Prior (1957), Lavenham
(see Hasle and Øhrstrøm (2011)), and Gaskin (1995). During Medieval
times, the argument gained centrality in connection with the problem of
divine foreknowledge: if God knows the future—and thus facts about the
future seem to be already determinately true or determinately false—is
the future contingent or do we simply have an illusion of contingency? For
instance, if God knows whether there will be a sea battle tomorrow, is it
contingent that there will be a sea battle tomorrow? If facts about the future
are not contingent, then are humans really free agents who are responsible
for their actions?
influence over two central figures in our historical journey: Ockham and
Buridan. Finally, we shall also remark that Arabic and Medieval authors greatly
developed and enriched the Aristotelian theory of substances, including the
associated doctrine of essentialism which will be discussed at various points
in the remaining chapters (especially 3, 7, and 8).
Certain important ideas that characterize the contemporary debates on
modalities in logic, semantics, and metaphysics have their origins in (and
often were anticipated by) the works of William Ockham (c. 1287–1347,
London and Munich) and John Buridan (c. 1295–1358, Paris). Needless to
say, the ideas of these two philosophers developed in conversation and
disagreement with their contemporaries. Still, because the views of Ockham
and Buridan dominated the debates on modality in the fourteenth century, it
is instructive to examine them.
§1.2.2. Ockham
Ockham was a prominent figure in England and continental Europe during
the first half of the fourteenth century. He is best known for having defended
a sophisticated and influential version of nominalism, which got him into
trouble with the official representatives of the Church at the time (Ockham
was a Franciscan friar, and, in the 1320s, he was called to defend his views
both before his Franciscan province chapter in Bristol and before the Pope in
Avignon). Looking at Ockham’s nominalism will help us understand his contri-
bution to modal logic and metaphysics. Nominalism is the metaphysical view
according to which all there is to the world are particular entities. It stands
in opposition to realism, the metaphysical view that there are both particular
and universal entities. Consider for instance the sentence: “This one and that
one are blue.” For the Realist, the sentence is about two particular individuals
(“this one” and “that one”) and a universal (“blue”), which is common to both
particulars; this strikes us as consistent with our most intuitive worldview.
The Nominalist, instead, faces the challenge of explaining the truth of this
sentence by means of particulars alone.
In order to deal with sentences such as “This one and that one are
blue”, Ockham devised an eliminativist strategy, which can be summarized
in two steps (see also Read (forthcoming)). First, deny that universals are
real; in our case, deny that “blue” is anything more than the creation of a
human mind, so that when one attributes the color blue to some particular
individual, one is simply describing a projection of one’s mind. Second, deny
that there is any object of thought—what some today call “concepts”—that
is universal. When we use the word “blue” we are not employing the same
concept over and over; rather, we are having a particular thought, which
And here is how the two examples are analyzed in terms of Ockham’s
nominalist strategy:
Notice that the analyses refer to every proposition of a certain sort. This
is because there is no single, universal proposition serving as the content
of different sentences or utterances of the same sentence: that is, “Every
philosopher likes Ockham” stands for a different proposition on every
occasion on which it is uttered or entertained. The key point in Ockham’s
strategy is to reduce all modalities to attitudes that an agent takes toward
propositions; the necessary (like any modality) is simply a way human beings
regard propositions. For Ockham, indeed, there is no necessary being
but God. Ockham’s metaphysics of modalities is thus minimal, but such
minimality is the outcome of a sophisticated semantics.
Our discussion of Ockham’s analyses of modality should suffice to demon-
strate how sophisticated the logical, semantic, and metaphysical theories of
modality had become by the fourteenth century. With Buridan, we reach the
most mature point of Medieval logic and metaphysics.
§1.2.3. Buridan
Buridan lived, studied, and taught in Paris. Like Ockham, he also defended
nominalism; but, unlike Ockham, he did not get into trouble with the Church.
Buridan’s metaphysics is oriented by his views in semantics and logic. His
theory of meaning was radical and ingenious. To start, he maintained that
any term stands for a certain particular entity regardless of whether the
proposition in which the terms appear is true or false. Hence, according to
Buridan, the truth of a proposition does not depend on whether the terms
in the proposition stand for (or pick out) something; rather, a proposition is
true when the terms stand for entities that are in the appropriate relation. For
instance, the sentence “This one is blue” is true when “This one” stands for
the same entity as “blue”. (Presumably, the sentence “This one and that one
are blue” would be analyzed in terms of distinct identity statements, “This
one is blue” and “That one is blue”.)
With respect to propositions involving modalities, Buridan inherits the
general strategy of Ockham, which used “that” clauses and distinguished
between divided and composite modalities. But Buridan improved Ockham’s
approach in at least two respects. A first improvement is quantifying directly
over “that” clauses, in the analysis of modal propositions. As such, the
following two examples:
Sentences such as (W) are problematic for the nominalist because they seem
to be about universals, such as wisdom and virtue; thus, it is not clear how
the nominalist may accept their truth without thereby affirming that there are
universals. Instead of taking (W) at face value, Buridan maintains that (W) can
be interpreted as making one of the three following claims:
Conditional: “If there is something that is wise, then that thing is virtuous.”
Temporal: “If at some time there is wisdom, then it is a virtue.”
Absolute: It is not possible that at any time: “Wisdom is not a virtue.”
The conditional and temporal readings of (W) commit only to the existence of
particulars—a particular entity that is wise, and a particular temporal instance
of wisdom. And all it takes to falsify the third reading of (W) is an instance of
a particular that happens to be wise and not virtuous.
Buridan and Ockham illustrate, perhaps to an extreme, a methodology that
is still much in vogue among analytic metaphysicians: they settle on a certain
metaphysics (nominalism), but do not employ metaphysical arguments to
defend it, appealing to sophisticated and subtle semantic machinery instead.
As we shall see, such a strategy is common in the contemporary debate on
the metaphysics of modality. Contemporary scholars still have much to dig up
and learn from the writings of the Arabic and Scholastic authors.
in entertaining thoughts about the impossible; but what is the content of such
thoughts? Do such impossible scenarios exist and, if so, in what sense? This
is the root of the concern that, by using the hypothesis of the evil deceiver,
Descartes was committing himself to the existence of an evil god. We shall
discuss these and related questions at the end of Chapter 8.
The second aspect of Descartes’s philosophy that deserves to be highlighted
in this context is his conception of God’s omnipotence. Descartes develops in
an original way the thesis that God is the only necessary being. Since God
is the only necessary being and God is omnipotent, then any other truth is
contingent. Thus, Descartes maintains that ostensibly necessary truths, such
as mathematical or geometrical truths, are contingent upon God’s will:
And even if God has willed that some truths should be necessary, this
does not mean that he willed them necessarily; for it is one thing to will
that they be necessary, and quite another to will this necessarily, or to be
necessitated to will it.
Parmenides and Zeno. The latter seem to have rejected all superficial impres-
sions suggesting the existence of a multiplicity of entities; Spinoza, instead,
has a place for every entity, including ordinary ones: they are all in God, as
modes of existence of some of God’s attributes (extension and thought).
For instance, consider the naïve belief that there are a cup and a cell phone
on the table. While Parmenides and Zeno would dismiss this belief as false
because it postulates the existence of three entities, Spinoza would agree
that there are three entities, but they are all modes of existence of one of
God’s attributes—extension.
Necessitarianism implies determinism, the view that no particular event
could have been otherwise. In order to defend his view, Spinoza also puts
forward an original account of causation as conceptual entailment. If God is
the cause of the fact that the cup and the cell phone are on the table, this
is because it follows from the concept of God that the cup and the cell phone
are on the table. We shall see that Hume’s position with respect to causation
is at the other end of the spectrum with respect to Spinoza’s: for Hume, the
concept of the cup is in no way related to any other concept and, indeed,
causation is not a real phenomenon. There is no need to enter into the details
of Spinoza’s view here; it suffices to point out that, in the contemporary
debate on the modal status of scientific laws, Spinoza offers an original and
important perspective.
One way to read Leibniz, which was made prominent by authors such as
Carnap (1947), Mates (1972), and Adams (1974), is that possible worlds are
ideas entertained by God. Each such idea is specified in all its details; it is
a complete and consistent story about how the world could have been. In
this sense, every world is fully determined. In the actual world, for example,
Leibniz’s destiny was already determined: this book had to discuss him;
nonetheless, there is another world, which may be very similar to ours, where
this book does not touch on Leibniz. Now, God chose to create the actual
world over any of the others, but he might have done otherwise. The act of
creation was the “law of the general order”, by means of which this world—
determined in all its details—came to be.
Leibniz’s theory of possible worlds suggested a simple and intuitive
analysis of modality that had not been seen before. According to it, a propo-
sition is possible just in case it is true in at least one possible world; it is
contingent just in case it is true in at least one possible world and false in at
least one possible world; and it is necessary when it is true in all worlds.
It is unclear whether Leibniz’s metaphysics is indeed compatible with the
picture of possible worlds as complete and consistent stories (see Rudder
§1.3.3.2. Theodicy
Possible worlds are employed by Leibniz also to answer a daunting question
in ethics and theology: if God is infinitely powerful and infinitely good, how is
it possible that there is evil in the world for which no human can be blamed?
For instance, why is it that some people suffer—say, from random medical
illnesses or geological disasters—without anyone being responsible for their
suffering? Any attempt to answer this question is called a theodicy: that is, it
is a justification of God’s attributes in light of such forms of evil.
Leibniz’s solution is that God created the best of all possible worlds. There
is no “innocent suffering”, no gratuitous evil that takes place in our world,
although this is not how things appear to us. We may fail to appreciate
how any instance of evil is connected to some good because of the infinite
complexity of the universe. But, God, who understands the complexity,
chose for the best. In the Candide, Voltaire ridicules Leibniz’s solution. Doubts
about its soundness notwithstanding, the solution is an excellent example
of the relationship between the metaphysics of modality, ethics, and the
philosophy of religion.
§1.3.3.3. Super-essentialism
Before moving on, it is important to mention another notion that comes out of
Leibniz’s philosophy and that is of importance to contemporary metaphysics
of modality: the so-called super-essentialism. We shall return to essentialism
in Chapters 3, 7, and 8 but, in brief, an essence is any property that belongs
to an individual unconditionally (at all times and in all possible scenarios).
Some analyze such unconditionality in modal terms, suggesting that essential
properties belong to an individual out of (metaphysical or natural) necessity;
others, instead, analyze the unconditionality in terms of identity: an essence
is a property that defines an individual. Leibniz’s theory of substances—
according to which substances are complete concepts—suggests a radical
form of essentialism, super-essentialism: all the properties of an individual
belong to it unconditionally. That is, at all times and in all possible scenarios,
an individual (a substance, in Leibniz’s terminology) never changes its
properties.
It has been observ’d already, that in no single instance the ultimate connexion
of any objects is discoverable, either by our senses or reason, and that we
can never penetrate so far into the essence and construction of bodies, as
to perceive the principle on which their mutual influence depends.
—T 2.3.1.4; SBN 400
The mind can always conceive any effect to follow from any cause, and
indeed any event to follow upon another: Whatever we can conceive is
possible, at least in a metaphysical sense.
—T Abstract 11; SBN 650
Study Questions
• What is Parmenides’s metaphysical monism?
• What is necessitarianism?
• What was the goal of Zeno’s paradoxes?
• What are Zeno’s four paradoxes of motion?
• What are Zeno’s two paradoxes of plurality?
• What is Zeno’s millet paradox?
• What is Zeno’s paradox of place?
• How does Aristotle define general necessity?
• What is the distinction between conditional and absolute necessity in
Aristotle?
• What are the three varieties of conditional necessity, according to Aristotle?
• What are the three senses of possibility introduced by Aristotle?
• What are the three senses of possibility that Aristotle fails to sort out?
• What is the problem of future contingents?
• What are the three main contributions of the Megarian School to modal
discourse?
• What is the Master Argument?
• What is the distinction between divided and composite modalities?
• What are the three senses of necessity discussed by Buridan?
• What is the controversial modal aspect of Descartes’s thought experiments?
• What are the elements of originality in Descartes’s conception of God’s
omnipotence?
• What is Spinoza’s necessitarianism?
• What is a possible world, according to Leibniz?
• What is Leibniz’s theodicy?
• What is Leibnizian super-essentialism?
• What is separability, for Hume, and why is it important for discussing
modality?
FURTHER READING
For a comprehensive overview of the main moments in the history of modal
logic, the classic by Kneale and Kneale (1962) is still a good starting point. Other
useful readings include: Knuuttila (1998); Gabbay and Woods (2004a, 2004b, 2006,
2008a, 2008b); and Bobzien (2014).
For an overview of Parmenides’s philosophy, including a discussion of his
metaphysical monism along with its implications for modality, see Palmer (2009:
Chapters 1–4, 2012a). As for the study of Zeno, good starting points are Palmer
(2009: Chapter 5, 2012b) and Huggett (2010).
▲
his position, we must therefore look into the classic distinction between de
dicto and de re in its connection with the topic at hand. Let us consider the
following sentence:
Next, let us distinguish three ways in which (1) can be involved in other
sentences. First, we sometimes find ourselves in a situation in which we
wish to say something with regards to (1). For instance, we might find Foffo’s
meal surprising, and so we might say:
Those who assert (2) are not trying to add any detail to the situation described
in (1); on the contrary, they are assuming (1) and expressing a certain frame
of mind with regard to that situation. Similarly, in other cases, instead of a
frame of mind, we find ourselves expressing an attitude toward the situation,
or even a certain relationship between the situation being considered and
another. For example, we might say:
3 Norberto believes that: Foffo the cat eats fish and potatoes.
4 What Rosalba said calls into question that: Foffo the cat eats fish and
potatoes.
Let us keep in mind for a moment this first of three types of sentence,
in which a situation is related to a frame of mind, an attitude, or another
situation.
Second, at other times, we find ourselves wanting to add certain details to
the entire situation described in (1); for instance, we might say that:
Statement (5) does not express a frame of mind or attitude of the person
who makes it; nor does it express a relationship between situations; rather, it
modifies the situation described in (1) by adding a detail: it is now specified
that the meal took place in a certain way.
Third, at yet other times, we find ourselves wanting to add a detail that
does not concern the entire situation, but only some of its components. For
example, we might say:
or:
Quine (1953a) points out that these three ways in which a sentence can be
modified are also detectable when we consider modal terms—or, at least, when
we try to interpret their meaning. Let us consider the following three sentences:
Sentence (8) appears to be analogous to (2), (3), and (4) insofar as it expresses
a frame of mind of the speaker with regards to (1); (9) appears to be analogous
to (5), insofar as it adds a detail to the description of the entire situation in (1);
finally, (10) appears to be analogous to (6) and (7), insofar as it adds a detail to
Foffo, the cat, one of the components of the situation in (1).
Traditionally, sentences such as (2), (3), (4), and (8) are considered to be de
dicto: in them we say something about other sentences, without modifying
the situation that these sentences describe. Sentences such as (5), (6), (7),
(9), and (10) are considered to be de re: in them we modify the state of things
(res, in Latin); and “things” may refer to entire situations, as in (5) and (9), or
components of situations, as in (6), (7), and (10) (see Campbell (1964), Quine
(1953a), and (1953b)).
Incidentally, it is this last use of modal terms—illustrated in (10)—upon
which rest the doctrines of essence and capacity, or (as it has been called)
disposition, which we encountered in Chapter 1 and which will be discussed
again in Chapters 7 and 8. If we say that Giovanni knows how to drive a car,
or that he essentially belongs to the species Homo sapiens, we are attributing
a capacity and an essence, respectively, to Giovanni. This occurs through the
application of a modal term to one of the parts of the sentences: an operation
that is understood as a modification of the “thing” to which that part of the
sentence refers.
Getting back to our topic, the theory defended by Quine is that the only
legitimate use of modal terms is that illustrated in (8); sentences (9) and (10), by
contrast, use modalities in an equivocal manner. To frame Quine’s skepticism
within the present volume, recall the problem of possibility (PP), presented in
the Introduction, along with its three sub-problems (SPP, EPP, and MPP):
genetic makeup is essential to him. But these are hard questions, to which
we should not presume that there are answers that are valid regardless of
how we approach them. To reiterate the point from a more familiar stance,
consider Napoleon. We all have heard of him and his deeds, but it is another
matter to be able to draw the line between what he did and what we believe
he could have done. Suppose we were to agree that he could have won at
Waterloo; how might we explain this attribution? And, how might we distin-
guish it from false attributions of possibility? For example, could Napoleon
have been a fisherman living in Ajaccio, France, in the eighteenth and
nineteenth centuries? Or, could he have been a tomato growing in Pisa in
May, 1977? Precisely in order to avoid troublesome questions of this nature,
which have pestered Aristotelian essentialism for centuries, suggesting the
need for an alternative, Quine refuses to regard assertions of the form of (9)
and (10) as meaningful.
The criticism arising from Aristotelian essentialism is connected to Quine’s
other reasons to distrust de re modalities, namely those concerning the
logical analysis of sentences. This is because essentialism is implied by
the logical analysis proposed by those who accept de re modalities:
is analyzed as:
is analyzed as:
Sentences such as (17) are the main target of Quine’s criticism. According
to him, because we have multiple ways of picturing any x (i.e. any thing),
the truth conditions of sentences like (17) will vary as our representation
of x varies. So, consider two descriptions of Foffo—the “x” in question in
(17)—such that both pick out Foffo, but one does so necessarily and the other
accidentally. If in (17) x is described as “Foffo the cat”, (17) turns out (at least
intuitively) to be true; but, if x is described as “Laura’s favorite pet”, (17) turns
out not to be true, because Laura’s favorite pet is furry (it is indeed Foffo),
but Laura happens to like cats only accidentally—she could have developed
a taste for lizards instead. The only way to avoid this problem is to buy into
essentialism, but we have seen that Quine does not want to do that.
Thus, according to Quine, by trying to take at face value de re modalities,
quantified modal logic is forced to adopt essentialism in order to remain able to
assign a fixed truth value to certain sentences. But essentialism is problematic.
Thus, we should not buy into quantified modal logic: “Necessity does not
properly apply to the fulfillment of conditions by objects […] apart from special
ways of specifying them” (Quine 1953b: 151). Now, Quine acknowledges that
certain assertions that are apparently de re, such as (9), can be reinterpreted as
de dicto assertions and can therefore be recognized as legitimate in some way.
Nevertheless, this type of de re assertion proves to be conceptually muddled;
how are we to explain, for instance, the meaning of the following sentence:
“Possibly: necessarily: possibly: Napoleon loses at Waterloo”?
To date, Quinian skepticism continues to play an important role in the philo-
sophical debate, as demonstrated by the recent works of Boghossian (2009),
Burgess (1997), and Neale (2000). Furthermore, it is crucial for understanding
Van Inwagen calls these possibility arguments because their first premise—
(18), (21), and (24)—claims that a certain situation is possible. A striking
feature of possibility arguments is that their logical structure seems sound;
and yet, many regard them as not valid. Moreover, it is extremely rare for
someone who is inclined to deny the validity of the argument to change
her mind at a later point. According to van Inwagen, arguments of this sort
suggest that our opinions regarding the truth of certain propositions involving
modalities rest on questionable grounds and we would do better to take a
skeptical stance towards them. This is because they describe far-fetched
scenarios about which we cannot have any opinion that we can suitably
justify. Here is a passage where van Inwagen expresses his view:
My own view is that we often do know modal propositions, ones that are
of use to us in everyday life and in science and even in philosophy, but do
not and cannot know (at least by the exercise of our own unaided powers)
modal propositions like the crucial modal premises of our three possibility
arguments. I have called this position “modal skepticism”. This name was
perhaps ill-chosen, since, as I have said, I think that we do know a lot of
modal propositions […] It should be remembered, however, that there
has been another sort of skeptic: someone who contends that the world
contains a great deal of institutionalized pretense to knowledge of remote
matters concerning which knowledge is in fact not possible. (Montaigne
was a skeptic in this sense, as were, perhaps, Sextus and Cicero.) It is in
this sense of the word that I am a modal “skeptic.”
—van Inwagen (1998: 69)
discussion on this topic is vast and still ongoing. David Lewis (1986) famously
rejects that conceivability can be a reliable guide to possibility. A 1993 article
by Stephen Yablo—“Is Conceivability a Guide to Possibility?”—reopened the
debate. The article’s merit lies in the fact that it asks what the constraints
would be on our conception of conceivability in order for it to play a suitable
role as a guide to possibility. For instance, there are many scenarios that are too
complex for us to be able to conceive (e.g. those involving a transfinite number
of entities); or scenarios that are on the verge of being contradictory (e.g. the
scenario under which Goldbach’s conjecture is false); or scenarios that are too
iffy for us to take a stance (e.g. those indicated by van Inwagen). While we
cannot enter into the details of the debate, which tackles epistemic issues, it
is important to recognize that there are many propositions involving modalities
(including de re modal propositions) whose truth conditions we cannot establish,
even if we believe that the sentences expressing them are meaningful.
There are no facts or events in our world that indicate with certainty that
there could have been more stars than there are. How, then, are we to judge
the truth or falsehood of this affirmation? Why must we claim that, through
a theory, the truth conditions of (27) can be explained? Indeed, how are we
to make sense of the proposition expressed by (27)? Sentence (27) certainly
makes some sense in English, but so does the proposition:
There are no facts in our world indicating whether tomatoes fly only in
February, so we are at a loss when trying to assign a truth value to (28).
Of course, these doubts can be extended to all other mere possibilities,
suggesting that only modal talk concerning actuality is meaningful. If we
concede this much, however, we probably can no longer plausibly maintain
that the PP (or, subordinately, the SPP, EPP, and MPP) has an answer. In
recent years, Huw Price (cf. 2004) has suggested that the problem posed by
mere possibilities be included in the list of what he calls placement problems.
The list includes all the cases that are hard to explain for those who are empir-
ically minded and believe that there is only the actual world. In the case of our
subject, how can such thinkers accommodate modal truths? Where are they
to locate the so-called truthmakers (i.e. the entities that would make-true) for
such truths? The radical modal skeptic interrupts the debate with an easy and
yet drastic solution: it would be better simply to exercise a radically skeptical
attitude towards modal talk.
It is very important to realize that radical modal skepticism does not cast
into doubt only abstruse cases. When she was stopped by the police, Giulia
was driving with a blood alcohol level that was higher than the limit allowed by
law; as a result, she will incur certain penal and administrative sanctions. Yet—
we might ask ourselves—what considerations justify such sanctions? One
crucial role pertains to certain merely possible events: driving with a blood
alcohol level that is higher than a given value makes the possibility of having an
accident (and, more importantly, an accident that involves people other than
Giulia) much more probable. Here a skeptical attitude, which sometimes stirs
within us, will set in: how can we incriminate Giulia on the basis of a possible
event that never occurred? How are we to know that Giulia could cause an
accident when she has a certain blood alcohol level, if she has never been
involved in one? Certainly, others have been involved in many accidents with
that same blood alcohol level, but not Giulia. And every person is different.
Little by little, we begin to see where the radical modal skeptic points
her finger: the difference between that which is and that which could have
been. This is effectively summarized at the beginning of chapter XV of Niccolò
Machiavelli’s The Prince (1513):
And many have imagined republics and principalities that have never been
seen or known to exist in truth; for it is so far from how one lives to how
one should live that he who lets go of what is done for what should be
done learns his ruin rather than his preservation.
—Chapter 15: 61
who look or have looked at metaphysics with little sympathy, will subscribe,
if not to the letter, at least to the spirit of radical modal skepticism. Mere
possibilities belong to the category of scenario that philosophers are better
off not discussing, never mind using as a basis for their theories.
There is a single way to respond to the radical modal skeptic: by asserting
that there are certain characteristics of our universe that can be understood
independently of experience, and that possibility is among these character-
istics. The only position that escapes this response is modal expressivism,
another radical but sui generis approach to modality. The rest of us, facing
the full force of the radical modal skeptic’s challenge, must appeal to that one
available response. This points toward the connection between that which is
possible and that which is actual, illustrating that the link cannot be found in
an empirical fact or the past, present, or future. The only response open to
theorists of possibility is to assert that the missing link (or links) is a semantic,
epistemic, or metaphysical fact whose validity must be understood and
accepted to some extent independently of experience.
First, we must clarify the expression “independently of experience”. Let us
consider the following sentence:
Certainly, Dario Fo himself can tell us how he is dressed, but our knowledge
depends on someone’s observation of the situation. There is no way to
become privy to (30) independently of the specific observation of the situation
depicted in (30) (with the exception of those who have divinatory powers).
31 It is possible that: Foffo will play with the carpet in the afternoon
will express the conformity, on the part of whoever endorses it, to all the
conventions typical of possibility (e.g. to leave open that in the future (31) will
be true, or to prepare for (31) to be the case, and so on).
By slightly modifying Quine’s motto, the expressivist theory could be
summarized as claiming that “necessity resides in the frame of mind with
which we relate to things, not in the things to which we relate”. A succinct
definition of the position, to be carried forward in the remainder of this
volume, is thus the following:
The first and chief upshot of modal expressivism is that modal talk cannot
be charged with truth or falsity. Truth and falsity are based on situations, not
on sentiments; and the expressivist argues that sentences featuring modal
terms express sentiments, not beliefs. The expressivist, therefore, would
deny that the SPP, the EPP, and the MPP pose a problem. There is certainly
a captivating side to the expressivist proposal: explaining what it means to
say that a certain situation that is possible or necessary is an arduous task;
oftentimes, we are under the impression that there is no meaning in modal
expressions, and that they express an attitude of the speaker toward what he
is saying. Evidence of this is found in the number of times we use the term
“necessary”, relativized to the contexts of use: that which is necessary for the
mathematician; that which is necessary for a soccer player; or for a student;
or for Piero; or for Lulù, the dog; and so forth. The same can be said for the
use of the term “possible”. How are we to believe that there is one single
meaning to modal expressions? More importantly, how are we to believe that
modal expressions involve any meaning at all?
Two additional features of the modal expressivist theory deserve to be
highlighted. The first is that, unlike all other modal theories, the expressivist
has no need to reduce the complex variety of modal talk to the two standard
modalities of possibility and necessity. It is indeed plausible to conjecture
that there will be conventions associated with “It is possible that” distinct
from those associated with “It may be the case that” or “Perhaps” or “It is
likely that”. This is no small theoretical advantage, as keeping faith with the
33 Clara is likeable.
34 If the USA threw its weapons into the sea tomorrow there would
be war; but if the USA and the other nuclear powers all threw their
weapons into the sea tomorrow there would be peace; but if they
did so without sufficient precautions against polluting the world’s
fisheries there would be war; but if after doing so, they immediately
offered generous reparations for the pollution there would be peace.
While the debate on expressivism in ethics is lively, very few are the recent
contributions to modal expressivism. Nonetheless, the ideas put forth with
the discussion of this point in Hale (1993)). There are certain inferences
among modal sentences that are considered valid by the vast majority of
human beings. Let us take, for example, the following argument:
39 a is a triangle.
42 a is a triangle.
Study Questions
• What is the main target of Quinian modal skepticism?
• What is the distinction between de dicto and de re sentences?
• Why are de re modal sentences problematic for Quine?
• What is quantified modal logic?
• What is the main target of van Inwagen’s modal skepticism?
• What is the main challenge posed by radical modal skepticism?
• What is the definition of modal expressivism?
• Name three distinguishing features of modal expressivism.
• What are the main problems for modal expressivism?
• What is modal normativism?
FURTHER READING
The distinction between de dicto and de re attitudes, propositions, and sentences
plays a key role in several philosophical fields. For the applications to modality, see
especially: Quine (1953a, 1953b); Campbell (1964); Lewis (1979, 1986: Chapter 4);
Fine (1974, 1994); and Burgess (1997).
Among the views examined in this chapter, Quinian skepticism is the most
debated. For an overview of the position from the point of view of the debate on
modality, see Haack (1978: Chapter 10), Forbes (1985: 216–17), and Melia (2003:
Chapter 3). See Hylton (2007) for an overview that places Quine’s skepticism
within the context of his other work. Quine’s position is most famously outlined
in his work of 1953a but, for a more comprehensive picture, it is important to look
at other writings as well, including those of 1947, 1953b, 1974, 1976, and also
Quine’s contributions to Barrett and Gibson (1990), in particular his replies to Ruth
Barcan Marcus. Critical appraisals of Quine’s position abound and, to a certain
extent, all the theories discussed in Chapters 3–7 of this volume can be regarded
as rejoinders to Quine. For a reconstruction of Quine’s view, see Divers (2007) and
Keskinen (2010, 2012). Among the most recent articles directly discussing Quine’s
position, see Burgess (1997), Neale (2000), and Ray (2000). Classic articles that
gave shape to the debate include: Smullyan (1948); Føllesdal (1961); Parsons (1967,
1969); the essays collected in Linsky (1974); van Fraassen (1977); and the essays
collected in Marcus (1993: especially 14 and 15). For a reconstruction of the main
moments that characterize the modern origins of modal logic, see Ballarin
(2010).
Van Inwagen’s modal skepticism is outlined in his work of 1998. For a recent
defense of the position, see Hawke (2011). Van Inwagen’s position should be
read against the background of the broader debate on the relationship between
conceivability and possibility; some important readings in this regard are: Yablo
(1993, 2001), Sosa (2000), Geirsson (2005, 2014), Kung (2010, 2011), Roca-Royes
(2011), and Ichikawa and Jarvis (2012).
Radical modal skepticism cannot be attributed strictu sensu to any
particular author. For a formulation of the placement problem, also with respect
to modality, see Price (2004). On the a priori, see Casullo (2003) and Russell
(2014). For a relatively recent and influential collection of papers, see Boghossian
and Peacocke (2000). For some recent work on the epistemology of modality, see
Peacocke (1999), Chalmers (2002), Williamson (2007b), Lowe (2012), and Bueno
and Shalkowski (2015).
For a short introduction to modal expressivism, see Melia (2003: Chapter 1).
For an overview of the expressivist position with a special focus on its applications
in ethics, see Shroeder (2010) and van Roojen (2014). For a defense of expressivism
in ethics, which might be employed also to elucidate modal expressivism, see
Shroeder (2008a, 2008b) and, especially, Gibbard (1990, 2003). Modal expressivism
was notoriously endorsed by Blackburn in a series of writings, including his works
of 1971, 1984, 1993, and 1998. Among the important precursors of the position
are: Spinoza (1677: Appendix to Part I); Hume (1739–40); Ayer (1936: Chapter 6);
Wittgenstein (1953) and the related discussion in Wright (1980: Chapters 19–23).
For some recent articles, see especially Hale (1993), Sidelle (2009), and Thomasson
(2010).
*****
B ased on what has been discussed in the previous chapter, from here on
out we will analyze the positions of those who: (i) accept the challenge
posed by the radical modal skeptic to show that modal expressions (including
de re expressions) express something; and (ii) dismiss the hypothesis that
modal expressions express sentiments.
The next area of dispute concerns the analysis of the modal concepts
presumably expressed by modal terms. In other words: is it possible to
undertake an analysis of modal concepts? The so-called modalists claim that
it is not; proponents of possible worlds (modal realists, ersatzists, fiction-
alists, and agnostics) and dispositionalists claim that it is. In this chapter, we
will focus on the modalists. Lastly, we will be introduced to the concept of
possible world, which will appear frequently in the remainder of the book.
Modalism takes its name from the acceptance of modality as a brute fact.
That is to say: the modal concepts “possible” and “necessary” express the
possibility or necessity of a situation. Period. While it may seem trivial, this
position merits further consideration. In order to explain it, we will turn to a
well-known metaphor in contemporary metaphysics: the universal catalogue.
Let us suppose that we are to compile a catalogue of the universe, in which
we will include everything—every last thing—that exists. We will include
Napoleon and the Battle of Waterloo; the Colosseum; Tasmania; rhythm and
blues; cider; and so on. At some point, we will have to consider that which
is possible: should we include it in the catalog, and, if so, how? The modal
skeptic would advocate doubting that modal scenarios can be included; the
expressionist would include the sentiments expressed by modal terms;
and the modalist? She would include … modal facts: the possible victory
of Napoleon at Waterloo; the possible end of the world on December 31,
1999; the necessary fact that the sum of two plus two is four; and so forth.
Therefore, the modalist’s solution to the PP is the following:
1 Today, in Pisa, Foffo the cat could have eaten milk and cookies.
According to the modalist, (1) expresses a fact of our world, which is compa-
rable to the fact that there are three apples on this table: the fact that today,
in Pisa, Foffo the cat could have eaten milk and cookies.
is not true because, at every world, “Foffo is a cat” is true; rather, it is a brute
fact of the actual world that (2) is true. Analogously, the sentence:
is true not because, in at least one world, Foffo has milk and cookies;
rather, it is a brute fact of the actual world that (3) is true. If this is the case,
however, modalists must be able to tell a story—in particular, a metaphysical
story—regarding actual primitive modalities. That is, although resorting to
the language of QML eliminates ambiguities and helps solve one of the
three core questions presented in the Introduction, the two other questions
remain—even more urgently—open. Recall the questions:
For the modalist, the answer to the SPP is trivial. To say, for example, that it
is necessary that Foffo is a cat is to say that it is necessary that Foffo is a cat;
this is because the necessity of such a scenario is a brute fact. Yet, can the
modalist provide suitable answers to the EPP and MPP? This is the central
question to be addressed in this chapter.
An early modalist proposal is found in the postscript to Prior and Fine
(1977). The first to defend modalism in a systematic manner was Graeme
Forbes (1985, 1989), and his work remains fundamental for those interested
in this theory. We will come back to Fine’s view in Chapters 7 and 8. For
the time being, in order to pinpoint two problems for modalism, we shall
assume the perspective of Forbes (§3.2.). Afterwards, we shall consider
three important alternative versions of modalism, focusing respectively on
its semantic, metaphysical, and epistemic aspects. In §3.3., we will consider
the variant proposed by Charles Chihara (1998), according to which the
semantics of modalism can make use of possible worlds, thus enjoying their
conceptual benefits, while denying that necessity and possibility can be
analyzed in terms of possible worlds. In §3.4., we will consider the variant
suggested by Jonathan Lowe (2012), which introduces the metaphysical
category of essences in order to provide a suitable interpretation for the
operators of necessity and possibility. Finally, in §3.5., we will discuss the
proposal of Octavio Bueno and Scott Shalkowski (2015, 2013, 2009), whose
ambition is to put forward a modalist view with an empiricist outlook. The
chapter will end (§3.6.) with a look ahead to theories that, unlike modalism,
endorse a semantics for QML based on possible worlds.
the other hand, modalism runs into objections. We will examine two main
ones. The first regards the expressive power of the theory, the second the
relationship between, on one hand, the two modal primitives countenanced
by the language of the theory and, on the other, the issues in natural language
that the theory is supposed to address. Let us consider them in order.
In numerous works (1992, 2003, 2005), Joseph Melia has pointed out that
the modalist finds it difficult to translate certain sentences into the artificial
language of the theory. Consider, for example, the following sentence:
Sentence (4) makes a comparison between the stars of this world and
those of a possible world. More generally, (4) makes a comparison between
two situations: actuality and a possible way that actuality might have been.
Because the modalist does not allow for there to be more than one world, it
is not clear how she can express a comparison between actuality and what
might actually have been. The problem had already been discussed in Forbes
(1989). There, Forbes sets out to enrich the language of the theory with
terms that carry out the same function as a possible world. That is, he intro-
duces a term An for every world Wn, where the term’s function is to relativize
the interpretation of a sentence (or one of its parts) to a certain context.
Thus, Forbes can relativize a part of (4)—the part that concerns the number of
stars in our world—to the actual “actuality”, and the other part—the part that
concerns the possible number of stars—to another “actuality”. The strategy
is effective from a formal point of view; but authors such as Melia argue that
the meaning of the “actuality” expressions is obscure unless it is interpreted
in the spirit of possible-worlds semantics, jeopardizing the modalism of the
theory.
Other paradigmatically challenging sentences are those referring to
multiple possibilities. Let us consider the following:
How is a modalist to explain the connection between the three possible ways
of securing a contract? The translation would say that there are (only) three
actualities, in each of which there is a way to secure a contract. Or, that the
three possibilities are each relativized to a different actuality. But, it’s hard to
see what the actualities mean without appeal to a metaphysics of possible
worlds. Once again, the strategy of relativizing different actualities produces
a result that is satisfying from a formal perspective, but troubling from a
metaphysical and epistemic point of view.
Fortunately, Melia offers another way of interpreting (4) and (5). This form
of interpretation differs from Forbes’s in proposing a dissociation between
the artificial language and the world it speaks of. In order to explain the
meaning of (4) and (5), it is not necessary to provide a paraphrase of them in
the artificial language of the modalist theory or to make an explicit reference
to the relationships between the various situations (the three possibilities in
(5) and the actual and possible number of stars in (4)). A simple list of the
situations will suffice; for comparison, a metaphysical explanation (expressed
in ordinary, not artificial, language) is provided. Consequently, (4) would be
interpreted in the following manner (and it should be imagined that the inter-
pretation can be expressed in formal language as well):
Statements (6.1) and (6.2) are both easily expressible in formal language:
the former does not contain any modal terms; the latter is a simple modal
sentence. The relationship between the two sentences must be explained in a
supplementary manner by means of natural language (e.g. by pointing out that it
is the very same entities and kinds of entities, viz. stars, that are under scrutiny).
And (5) would be interpreted in the following way (again, it should be
imagined that the interpretation can be expressed in formal language):
Statements (7.1), (7.2), and (7.3) are all expressible in formal language: they are
nothing but three simple sentences, each expressing a possible fact.
The solution proposed by Melia closely follows a methodology supported
primarily by David Armstrong, according to which an artificial language can
be useful, but cannot completely substitute for natural language when facing
a philosophical problem. (See, for example, Armstrong (1997) and (1978).)
In the contemporary debate on possible worlds, this is certainly one of the
most profound points of discussion. Further ahead, in Chapters 4–6, we will
analyze the four theories that oppose Armstrong’s methodology; not until the
final chapter, when we discuss dispositionalism, will we see a theory that is
inspired by it.
We shall now consider the second criticism aimed at modalism, which
concerns the relationship between the formal language in which the theory
as interpreted by Forbes is molded and the three problems of possibility—the
SPP, EPP, and MPP.
There are entire books that discuss the metaphysics of possibility through
the almost exclusive use of an artificial, unequivocal language. Yet the
problem lies in being able to connect the expressions of such a language with
those of ordinary language. For example, as illustrated earlier, the language
used by Forbes makes use of the following two symbols: “£” and “¯”.These
symbols are meant to capture to some extent the meaning of the concepts
of necessity and possibility as expressed in natural language. If they were
not, Forbes would not claim to have resolved the problem of possibility, but
simply that he had provided us with a new language. Still, many disagree with
Forbes. Some—whose positions we will soon examine—believe that the two
symbols must be analyzed further. Others believe, more simply, that Forbes’s
work does not actually address the three central questions introduced at the
beginning of this book. Let us take a brief moment to see why.
Fundamentally, there are two reasons to doubt that the symbols “£” and
“¯”, together with a series of rules concerning their correct use, capture
what we mean when we talk about possibility and necessity. The first is that
Forbes, like the other modalists, does not provide a precise model for trans-
lating from the artificial language of the theory into ordinary language. Forbes
claims that modal facts are among the facts of our world. But, seeing as
his language only offers us two symbols to express these facts, it becomes
difficult to interpret certain sentences in natural language, such as:
8 Perhaps Ubaldo could have and should have eaten less ice cream
last night.
The point is not that we lack a model for translating (8) into the language of
Forbes’s theory (although this sort of objection can be made for sentences
with distinct characteristics, as we will soon discover), but that Forbes’s
theory does not jibe with the way we speak of possibility. According to
Forbes’s theory we must interpret (8) as the expression of three facts: that
Ubaldo ate ice cream; that he could have eaten a smaller portion than the
one he did; that he should have eaten a smaller portion than the one he
did. Yet many will read (8) as the expression of a single fact: that Ubaldo
ate ice cream—a fact with which a certain possibility and certain obligations
are associated. Perhaps, then, modalism does not yield a metaphysics of
modality; it is unable to provide an interpretation of our modal expressions
that would explain what makes sentences containing such expressions either
true or false. And, in this sense, modalism does not solve the MPP.
The second reason for doubting the explanatory power of the symbols
“£” and “¯” lies in what is customarily referred to as their brute character. It
could be argued that the modalist does not give us a theory of possibility since
he does not believe he must explain the meaning of modal expressions. As
we shall see in the following chapters, a theory of modality is not required to
provide a definition of the principal modal concepts (possibility and necessity):
that is to say, it is not necessary to find concepts that can completely replace
modal concepts, as is the case, for instance, when we define the water
molecule in terms of two atoms of hydrogen and one of oxygen arranged
in a certain way. Nevertheless, a theory must at least explain the principal
modal concepts by means of some kind of philosophical analysis: that is, it
must demonstrate how the relevant concepts are tied to other concepts that
are familiar to us. The modalist denies the need for any definition or expla-
nation; the only requirement is to identify the modal concepts through certain
symbols of a formal language that avoid the equivocality of ordinary language
expressions. To many, this is an utterly unsatisfactory solution that trivializes
both the EPP and the PP.
be about brute modal facts. While Rosen endorses the analysis of modality
by means of possible-worlds semantics, but attempts to stay away from
its dubious metaphysical implications, Forbes provides no analysis of modality
at all.
Chihara’s position, which he sets out in the second part of his volume,
resembles Forbes’s more than Rosen’s. Chihara, in fact, denies that it is
possible to provide a conceptual analysis of modal expressions in QML,
much less of those in natural language. For this reason, Chihara’s can be
regarded as a modalist position. On the other hand, Chihara maintains that
modalism is compatible with the acceptance of possible-worlds semantics.
This is because a schema can be provided that takes us from possible-worlds
semantics to a semantic theory that does away with possible worlds. Chihara
goes into great detail to spell out and defend his view. The core idea exploits
a standard trait of semantics for non-modal sentences: it is relatively standard
to evaluate the truth of a non-modal sentence according to an interpretation
of its terms, which specifies what the terms are about; thus, for any given
sentence, there will be a set of admissible interpretations for its terms. For
instance, consider the sentence:
9 Foffo is happy.
There will be an interpretation according to which (9) is about Foffo, the cat;
another interpretation according to which (9) is about a certain Foffo living
in Paris; another still, according to which (9) is about a certain Foffo living in
Lima; and so on. In the case in point, that is, each interpretation will provide
a different value for “Foffo”, so that the truth of (9) may vary depending on the
interpretation. Chihara’s suggestion is to regard possible-worlds semantics as
analogous to truth-under-an-interpretation, where the actual world plays the
role “Foffo” plays in (9), being reinterpreted as (or: substituted by) one world
or another, depending on the scenario. Thus, in the sentence:
the actual world is substituted by a possible world such that, at that world,
“Foffo is happy” is true. The semantic machinery of possible worlds turns
out to be an exercise of substituting other worlds for the actual world, and
evaluating sentences in accordance with such substitution. No conceptual
reduction is really achieved with the addition of possible worlds: we have
simply made the semantic operation of substitution more familiar and easy
to follow.
Chihara’s proposal is the outcome of a thorough study of the semantics
of modality; and it is ingenious. It definitely puts on the map a non-realist
account of modality that seems to satisfy Forbes’s desiderata without falling
There are (at least) three major theoretical claims summed up in this passage.
The first concerns the metaphysical foundation of modality, which is found
in essences. The second is a doctrine of essences as real definitions. The
third is the view that our own essence as thinking beings entails that we are
able to understand at least some real essences. Let us look at each of those
claims, in order.
Modalists such as Forbes and Chihara saw modalism as a form of anti-
realist theory of modality, that is, a theory with no additional metaphysical
commitments other than the commitment to the existence of the two modal
concepts utilized in QML. The modalist variant inspired by Lowe’s proposal,
by contrast, sets out to find truthmakers for modal sentences of QML. Of
course, such truthmakers will have to belong to the actual world, as there is
no other world. Lowe, moreover, suggests that the truthmakers are concrete,
spatio-temporal entities. They are essences. Because it sees our modal
claims as being about concrete, spatio-temporal entities, the modalist variant
under consideration is a hardcore realist view.
Secondly, Lowe’s account of essences departs from classic accounts (e.g.
Kripke (1980)) based on possible worlds. The latter explicates essences in
terms of essential properties. Essential properties are those that belong to an
individual in every possible world at which the individual exists. The essence
of an individual is therefore defined as the totality of its essential properties.
Kit Fine criticizes this view because it is not sufficiently fine-grained. For
instance, arguably all of us have the essential property of living in a world
such that “2 + 2 = 4” is true at that world; or, Foffo, the cat, has the essential
property of belonging to the set that has Foffo as its sole member; but, intui-
tively, such properties should not be part of (respectively) our essences or
Foffo’s essence.
To avoid the pitfalls of the classic view, Lowe (taking his cue from Fine and
classic texts such as John Locke’s Essay on Human Understanding) proposes
to regard essences in terms of real definitions of a thing:
The key feature of the view that essences are real definitions is that it makes
essences identical with the entities they define. Foffo’s essence is Foffo and
not—as the account of essences in terms of possible worlds has it—a cluster
of Foffo’s properties. An essence, in other words, is nothing over and above
the individual that it defines. This is a quite nice result for the modalist variant
under consideration: Lowe’s suggestion, it turns out, commits the modalist
simply to the existence of individuals. Thus, for instance, once we have Foffo,
we also have Foffo’s essence and, thus, we will have sufficient metaphysical
foundation for all the modal claims regarding Foffo.
At this point, our reader may suspect that Lowe has done some
metaphysical juggling. How is it possible that the actual Foffo provides the
foundation for all modal claims about Foffo, without buying into the existence
of any further entity? How can it be that Foffo, who ate fish and potatoes
today—that very Foffo—is the foundation for the contention that Foffo could
have had milk and cookies instead? Foffo did not have milk and cookies, so
there is nothing in the actual Foffo that entitles us to conclude that he could
have had a different meal.
Lowe’s rejoinder to this objection rests on the third of his claims in the
foregoing passage: that our own essence as rational, thinking beings entails
that we are able to understand at least some real essences. This is the core of
Lowe’s proposal in modal epistemology. It is a rationalist contention, for Lowe
holds that we need not experience—say—Foffo having cookies and milk in
order to understand that such a situation is possible for Foffo; as long as we
grasp Foffo’s essence, we also grasp that possibility.
Thus, according to Lowe, in order to know that Foffo could have milk and
cookies, we do not even need to see, or somehow be acquainted with, Foffo.
All it takes to have that knowledge is to know that Foffo is a cat.
In both the well-defined and the less well-defined cases, judgments about
a particular case are made against a background of similar cases, constant
regularities, and the like so that we can have warranted judgments about
particular outcomes based on track records for similar cases. (2015: 688)
We are now far from Lowe’s rationalist proposal, where knowledge of Foffo’s
possible meal was derived from our a priori understanding of Foffo’s real
essence. Bueno and Shalkowski, rather, suggest that we know that Foffo
could have had milk and cookies because we have seen other cats like
Foffo eating such meals, or because cats regularly have milk and cookies.
Conceivability plays no role here: what matters is actual observation.
In order to argue for their main claim, Bueno and Shalkowski set out to
provide a “geneaology of modal knowledge”—that is, to explain how modal
knowledge is developed from particular observations. They begin with how
simple possibility claims (such as the one regarding Foffo) are known starting
from actuality claims. Then they consider dispositional claims (e.g. “Foffo’s
cage is fragile”), necessity claims, and probability claims. Their project is quite
ambitious because, arguably, it is unclear how all our modal knowledge can
(P) The sentence in natural language: “It is possible that: s” is true if and
only if the sentence in the language of the possible-worlds theory:
“There is a possible world w in which: s” is true;
(N) The sentence in natural language: “It is necessary that: s” is true if
and only if the sentence in the language of the possible-worlds theory:
“In every possible world w: s” is true.
In other words, possible worlds represent all of the possible scenarios that
we can imagine. If we say (in English) that a situation is possible, in the
language of the possible-worlds theorist we are saying that there is a world
(a scenario) in which that situation is realized; if we say (in English) that a
situation is necessary, in the language of the possible-worlds theorist we are
saying that, in all worlds (all scenarios) that we can imagine, that situation is
realized. For possible-worlds semantics, thus, every English sentence talks
about a world—either the actual world, or some of the possible worlds. For a
systematic formal presentation, see Girle (2000, 2003). Also useful is Garson
(2006).
The apparatus of possible-worlds semantics is standardly completed with
the addition of a relation among worlds, the so-called relation of accessibility,
defined for each world. (The semantic theory introduced by David Lewis and
discussed in Chapter 4, counterpart theory, is a notable exception to this rule:
in counterpart theory the key relation is not accessibility among worlds but
qualitative similarity among worlds.) Each world, that is, is assigned a set of
worlds, which are accessible from it: intuitively, this is the set of worlds that
define the full spectrum of possibilities that hold at that world. There are no
constraints on how the relation of accessibility is defined. The set of acces-
sible worlds may be empty—those will be the worlds at which nothing is
possible. Or it may contain only the world for which the accessibility relation
is defined—those will be the worlds at which that which actually happens,
necessarily happens. Or, it may contain all the possible worlds whatsoever:
those are the worlds at which that which is possible coincides with the
maximum extent of possibility. Typically, each world will have access to a set
of worlds in which some characteristic is fixed, such as the set of worlds
that contain the same laws of nature, and that is smaller than the total set of
possible worlds.
By means of this simple semantic apparatus, possible-worlds semantics
manages to express conceptual nuances that extend far beyond our linguistic
intuitions. For instance, consider the following sentence:
12 There is at least one world Wx accessible from the actual world and
such that, for any world Wy accessible from Wx, there is at least a world
Wz accessible from Wx such that, at Wz: Foffo the cat speaks English.
Of course, (12) is still conceptually tortuous, but checking the truth value of (11)
now becomes a matter of doing the proper calculation in terms of what’s true
at certain possible worlds. Possible-worlds semantics turns modal discourse,
as a variety, into a discourse about possible worlds and accessibility relations
among these worlds, a discourse that can easily be implemented and checked
by a machine. Indeed, possible-worlds semantics has undergone immense
growth in its fifty years of life; it has been revised, enriched and fine-tuned
in countless ways to give rigorous and straightforward expression to an
incredible spectrum of topics, including: mathematical claims (e.g. theorems
and proofs); claims in the natural sciences (e.g. laws and principles); medical
claims (e.g. epidemics and predictions); the behavior of agents in game
theory and economics; ethical principles; political principles; engineering
systems; and more. Today, we can claim that the conceptual machinery of
possible-worlds semantics enabled an analysis of the various modal expres-
sions, and of their conceptual ties, that is much more profound than the
analyses provided by any other society or civilization up until this point.
Nevertheless, the problem encountered with modalism presented itself
again with possible-worlds semantics: how are the terms that express
modality in QML to be interpreted in natural language? In other words: what
are these possible worlds the theorist of possible-worlds semantics speaks
of? Joseph Melia nicely sums up the problem:
examining four (types of) theories of possible worlds. It should be kept in mind
that the term is nothing more than a figurehead: just as the term “God” has
been identified with all that there is, with the supernatural, with history, and
with a specific person—to offer a few examples—the term “possible world”
has been identified with a potentially infinite number of entities.
What, then, is a possible world?
Study Questions
• What is the relationship between modalism and QML?
• What is the core thesis of modalism?
• What are the two main objections to Forbes’s modalism?
• What is the distinctive trait of Chihara’s modalism?
• What are the three distinctive theses of Lowe’s modal account?
• What is an essence, according to accounts based on possible worlds?
• What is an essence, according to Lowe?
• How do we know the essences of individuals, according to Lowe?
• What is the distinctive trait of Bueno and Shalkowski’s modalism?
• What is possible-worlds semantics?
FURTHER READING
For an overview of modalism that stresses the semantic issues of the theory, see
Melia (2003: Chapter 4). For an early version of the view, see the postscript to Prior
and Fine (1977). A classic exposition is found in Forbes (1985, 1989). Chihara’s variant
is amply developed in Chihara (1998). For Lowe’s essentialist proposal, see Lowe
(2012); for an introduction to theories of essence, see Robertson and Atkins (2013). For
Bueno and Shalkowski’s position, see Shalkowski (1994) and Bueno and Shalkowski
(2009, 2013, 2015). Among the writings that set out to discuss specific versions of
modalism, see: Sidelle (1989), Melia (1992), Forbes (1992), and Melia (2005).
For an overview of the issues surrounding the relationship between logic and
metaphysics, a good starting point is Hendricks and Symons (2005); see also
Zalta (2010).
For a historical overview of possible-worlds semantics, see Ballarin (2010)
and Copeland (2002). For an introductory treatment of the topic, see Menzel
(2015). A systematic presentation of the semantics is offered in a large number of
volumes and handbooks, among them, Girle (2003). Among the classic texts that
gave shape to this branch of logic and formal semantics are C. I. Lewis (1918),
Wittgenstein (1921), C. I. Lewis and Langford (1932), Carnap (1946, 1947), Prior
(1957), Kripke (1959, 1963), and Hintikka (1961, 1963).
*****
metaphysics itself. Even those who officially scoff often cannot resist the
temptation to help themselves abashedly to this useful way of speaking.
(1986: 3)
The modal realist, contrary to the radical modal skeptic, believes that it is
possible to grasp the meaning of (1); and, contrary to the modal expressivist,
believes that (1) is not the expression of a sentiment of the person who uses
it, but is about a genuinely possible scenario. According to the modal realist
(and the modalist, for that matter), the analysis of (1) must begin by bringing
to light the modal operator: that is, there must be a certain relationship
between (1) and:
For the modal realist (who here parts ways with the modalist), the truth of
(2) is best couched in terms of possible worlds: modalities can be concep-
tually analyzed in terms of worlds. Finally, the modal realist project is the
boldest of those that endorse possible worlds: this is because, according
to Lewis, modal realism not only conceptually analyzes modalities in terms
of non-modal entities (i.e. worlds), but also metaphysically reduces the first
to the second; as we shall see in due course (§4.5.), however, whether the
reduction succeeds is a point of contention.
According to the modal realist, there are many worlds, all of which are as
concrete as our world; the individuals inhabiting those worlds (people, living
entities, material objects, and any other entity whatsoever) exist in the same
way we say the inhabitants of our world exist. Of these worlds, there is one
in which there are more stars than there are in ours. Thus, (2) can be refor-
mulated in the following manner:
3 There is a world in which there are more stars than there are in
our world.
Notice that (3) is not about “possible worlds”, but “worlds”: this is because
all worlds exist on a par, as we shall see. Therefore, for the modal realist,
believing (1) simply amounts to believing (3). Generally speaking, the central
tenet of modal realism—through which the PP is resolved—is the following:
§4.2.1. Worlds
Call the universe we inhabit, whose boundaries coincide with the boundaries
of its spatio-temporal manifold, the actual world. According to the modal realist,
infinite worlds exist. Some depart from the actual world in only minute details,
whereas some are so different that we cannot even imagine them. For instance,
there is (at least) one world differing from the actual just because, in the previous
sentence, instead of “minute details” the reader finds “small ways”: there is a
world inhabited only by philosophers; there is a world where libraries exist and
nothing else (no writers, no readers, no trees); and there is a world where only a
vast amount of Hydrox-cookie ice cream exists. Play as much as you like the game
of picturing worlds: as long as there is no contradiction in your picture, that world
exists. But, again, do not form the impression that only the worlds we can imagine
exist: there may be many more (we shall come back to this in the next section).
Each of the worlds of the modal realist possesses three key features: it is a
maximal individual, it is isolated from all other worlds, and it is not metaphysi-
cally privileged, or unprivileged, with respect to any other world. One may
add a fourth feature, already mentioned, which is that worlds are “concrete”.
Indeed, Lewis claims:
So, by and large […] it seems that indeed I should say that worlds as I take
them to be are concrete; and so are many of their parts, but perhaps not
all. But it also seems that to say that is to say something very ambiguous
indeed. (1986: 86)
So, yes, worlds exist in the same sense that we would say the actual world
exists and, at least in this sense, they are concrete; if people in the actual
world are made of flesh and blood, then other worlds contain people made
of flesh and blood too. But, because of the ambiguities in the meaning
of “concrete”, it is best not to place too much emphasis on the claim that
worlds are concrete. We will see that the key claim is, rather, that no world is
metaphysically privileged, or unprivileged, with respect to the others.
The first feature, then, is that each world is a maximal individual. It is an
individual because, no matter how gerrymandered a world may be, it is just a
5 Foffo eats fish with potatoes at 8:15 a.m. on Friday February 21, 2014.
6 Foffo eats fish and potatoes at 8:15 a.m. on Saturday February 22, 2014.
PR, however, is unsuitable for a modal realist. This is because the modal
realist denies that any individual can inhabit more than one world, thus she
cannot endorse a principle according to which anything can coexist with
anything else. The modal realist must therefore translate PR into the language
of counterpart theory.
Before we can arrive at a modal realist formulation of PR, we must
consider parts of Lewis’s semantics for modal sentences. Counterpart
relations are relations of qualitative similarity among individuals; the range
of properties upon which the similarity rests varies based on the sentence
under consideration and the specific context in which it is used; thus, at a
minimum the similarity will rest on one property and, at a maximum, it will
rest on all the properties of the individuals under comparison. The flexibility
of counterpart relations is a theoretical virtue when it comes to explaining the
§4.3. Counterparts
In 1968, Lewis published a now-classic article on the semantics of sentences
containing modal expressions: “Counterpart Theory and Quantified Modal
Logic”. The article presented a novel modal semantics, which paved the
road for modal realism. Before examining this semantics in more detail,
and to place Lewis’s proposal in the context of this volume, it is important
to stress three characteristics of counterpart theory. First of all, the theory
moves within the framework of possible-worlds semantics, thus analyzing
the meaning of modal sentences in terms of sentences making reference to
possible worlds; by now, it should be clear that Lewis’s semantics, as well
as his metaphysics and epistemology, belong to the large group of theories
that analyze modal expressions in terms of possible worlds. Second—and we
have stressed that this is the element of novelty within Lewis’s semantics—
counterpart theory assumes that there is no overlap between the domains of
each world. (It is worthwhile to note, on a side, that the contention that no
world is metaphysically privileged with respect to another was not yet in place
in Lewis’s 1968 article on counterpart theory. Additionally, only later, when
Lewis fully developed his modal realism, was this second assumption refined
to the claim that worlds are isolated maximal individuals.) Third, the meaning
of modal sentences, for Lewis, is analyzed in terms of the relationship of
counterparthood.
Counterpart relationships, as we have already anticipated, are much more
flexible with respect to relationships of strict identity (see Lewis (1968),
Merricks (1999), and Borghini (2005)). To understand why, it is best to first
define counterparthood:
is not really about Foffo itself. Rather, it is about certain counterparts of Foffo,
because the counterpart theorist’s translation of (10) is:
11 There is a world, other than the actual, and relevantly similar to the
actual, where a counterpart of Foffo has milk and cookies.
In other words, when the modal realist explains Foffo’s possible meal through
the existence of a world in which Foffo has a different meal, she is not
speaking literally. If we take things literally, Foffo could have had a different
Based on (i)–(iii), we can now more precisely reformulate the solution to the
PP proposed by the modal realist:
We can derive two important lessons. The first is that we should not think of
philosophical analysis as a philosophical process that solves once and for all
the questions we ask regarding a certain topic. Thus, our analysis of modal
expressions is not to be regarded as successful just in case it leaves us
with no more questions regarding the meaning of such expressions. Lewis
confirms this lesson just a few lines after the quoted passage:
But why should I think that I ought to be able to make up my mind on every
question about possible worlds, when it seems clear that I may have no
way whatever of finding out the answers to other questions about noncon-
tingent matters—for instance, about the infinite cardinals?
(Opinion) There is all that there could be. Anything can coexist with
anything else.
(Analytic Hypothesis) PR*: For any collection of individuals x1, …, xn that
stand in a maximal external relation, there is a collection of individuals
y1, …, yn such that: (i) each of the y1, …, yn is numerically distinct from
each of the x1, …, xn; (ii) y1 is an intrinsic duplicate of x1, …, yn is an
intrinsic duplicate of xn; (iii) the y1, …, yn compose a world.
(Metaphysical Basis) An infinite stock of individuals (including infinite
maximal individuals), properties, and relations (including infinite
external relations) exists.
Notice that the Metaphysical Basis countenances the possibility that worlds
contain properties completely different from those exemplified by individuals
in our world—so different that these properties are alien to our world (the
expression is employed by Lewis himself). So, as far as we know, the actual
world may not suffice in providing the metaphysical basis for the theory.
As we shall see, Lewis regarded this point as a virtue of his theory, shared
by none of the other major rival theories of modality employing possible
worlds (with the exception, perhaps, of fictionalism, as we will see in
Chapter 6). We shall come back to alien properties in Chapter 5, when
discussing Combinatorialism.
Let us now turn to the philosophical analysis of possibility and necessity.
12 If I hadn’t been here writing this book, I would have gone surfing.
13 If I hadn’t been here writing this book, I would have gone to rob a bank.
Despite the fact that (12) and (13) have the same antecedent (“If I hadn’t been
here writing this book”), and that this antecedent is false in both (12) and (13),
my inclination is to endorse (12) and reject (13). But how to go about arguing
for my intuitions? The modal realist offers an elegant philosophical analysis of
counterfactuals that answers this question. According to Lewis, (12) and (13)
should be analyzed as follows:
Principle PR* employs modal concepts in two ways. To see why this is the
case, let us again unfold the reasoning at the basis of the principle of recom-
bination. The goal of PR* is to spell out the modal intuition that anything can
coexist, or fail to coexist, with anything in terms of a non-modal metaphysical
principle. We can break down the achievement of this goal into four steps.
The first step is to replace the “anything” in the modal intuition with collec-
tions of individuals. The second step is to exploit the modal realist’s thesis that
there are infinite worlds, thereby reducing the “can coexist” to the non-modal
coexistence of counterparts in some world. The third step is to qualify those
counterparts as intrinsic duplicates. The fourth and final step is to ensure that
the intrinsic duplicates can fit a certain reticulate of external relations.
Modalities surface at the third and fourth step. Let us begin with the latter.
According to the criticism under consideration, the appeal to the possibility
that the intrinsic duplicates fit the reticulate of external relations introduces
a metaphysical modality into PR*. It is a metaphysical modality because it
countenances the possible coexistence of the intrinsic duplicates and of a
certain system of external relations. So, here is the problem. The modal realist
is supposed to analyze the possible ways that individuals could be in terms
of the existence of counterparts of those individuals; PR* is the principle that
should clarify which individuals exist, unrestrictedly, so that we generate
enough counterparts to support the theory; PR* appeals to the possible
coexistence of some individuals and certain reticulates of external relations
among them; this appeal should be explained in terms of counterparts;
thus, the very principle that is supposed to tell us what are the individuals in
the theory that support the appeal to counterpart relations appeals to such
relations; PR* fails to provide an adequate metaphysical basis for the theory
because it cannot provide an adequate stock of individuals.
The modal realist may reply that the appeal to the possible coexistence is
a case of advanced modalizing and, thus, does not require the existence of
counterparts to have been postulated. Advanced modalizing is an important
part of modal realism. Consider the sentence:
which is patently contradictory and accords with our intuition that (16) affirms
the existence of impossible worlds. On analogy with the suggested reading of
(16), the modal realist could insist that the modality in the fourth step of PR* is
an instance of advanced modalizing and thus involves no counterpart relation.
In PR*, the appeal to an “appropriate” maximal external relation should be
understood as meaning something like “matching”—where the match in
question suggests instructions for how the worlds should be theoretically
analyzed—and not as introducing a genuine metaphysical modality.
We shall now consider the second count on which modal realism may
be accused of failing at reducing modalities. As we indicated above, this
objection rests on the appeal to intrinsic duplicates in PR*. Intrinsic dupli-
cates, we shall recall, are defined by Lewis in terms of natural properties,
that is, those properties that supposedly ground fundamental scientific claims
and that are independent of accompaniment (the individual possesses that
property regardless of whether any other individual exists). The appeal to
independence of accompaniment, however, involves yet again a modality. A
good way to explain this is to point out, as have Cameron (2008) and Denby
(2008), that the definition of intrinsic duplication implicitly presupposes a
principle of recombination; in fact, independence of accompaniment means
that a given individual is combined with other individuals in every possible
way. Thus, PR* is spelled out in terms of intrinsic duplicates; and the latter are
spelled out in terms of PR*. What we are left with is plain circularity, which
can be illustrated in the following schema:
Modality
⇓
Existence of infinite worlds
⇓
Principle of Recombination
⇓
Intrinsic Duplication
⇓
Principle of Recombination
But PRC has too high of a price, given the aims of the modal realist. In fact,
PRC greatly limits the number of possibilities that the theory can represent,
given that counterpart relations often take into account the environmental
circumstances of an individual and, thus, are not independent of accompa-
niment. Modal realism, then, would no longer boast a greater number of
possibilities than its rival theoretical proposals.
Is Lewis’s modal realism a theoretical paradise for scholars of modality? As
we suggested, Lewis’s proposal offers simple and elegant solutions to the PP,
MPP, and EPP. Probably, from this perspective, it offers the best integrated
and most solid theory on the market. And yet, modal realism has important
drawbacks, and not only because it compels us to accept a bizarre account
of worlds. As we have seen in the current section, modal realism has some
important theoretical limitations. And we have just scratched the surface. For
lack of space we have not addressed other potential sources of theoretical
concern: for instance, the tenability of the Lewisian definition of actuality
as indexical, of cases of recombination in connection with the possibility of
so-called gunk (i.e. a whole with infinite mereological complexity), and of the
number of worlds. In Chapter 8, we shall return to some of these topics. Now,
we shall turn to the main rival of modal realism, ersatzism.
Study Questions
• What is the modal realist’s reply to the MPP?
• What is the principle of recombination?
• What is the modal realist’s version of the principle of recombination?
FURTHER READING
For an overview of modal realism, we recommend starting from Lewis’s writings,
most especially Lewis (1973: 84–91, 1986: Chapter 1). For a shorter but still detailed
introduction, see especially Divers (2002: Part II) and also Melia (2003: Chapter 5).
The latter two texts also illustrate, or contain bibliographical references on, specific
aspects of modal realism and counterpart theory. Among the overviews of modal
realism, the reader may also consult Chihara (1998: Chapter 3).
Particularly useful for framing modal realism within the broader context of
Lewis’s philosophical work are the following volumes on the philosophy of
Lewis: the collection of essays edited by Preyer and Siebelt (2001), especially the
first part, and also those edited by Jackson and Priest (2004), in particular Chapters
3, 12, and 20; Daniel Nolan’s introduction (2005); the companion devoted to the
philosophy of Lewis, edited by Schaffer and Loewer (2015); and the special issue
of Humana.Mente edited by Carrara, Ciuni, and Lando (2011).
The original presentation of counterpart theory is Lewis (1968), which should
be read along with its postscript, published in Lewis (1983), and integrated with
the consultation of Forbes (1982; also 1985: Chapter 3) and Mondadori (1983).
Counterpart theory has been criticized on various counts—to start see: Merricks
(1999, 2003); Heller (2002, 2005); Dorr, Fara, and Williamson, respectively (all
2005); Borghini (2005); and Sider (2006). Additional criticisms are addressed by
Lewis in his work of 1986 (see Chapter 2).
Unusually vast is the literature that critically assesses one or another aspect
of Lewis’s metaphysics. John Divers has made an important contribution for
understanding the modal status of modal realism, as well as Lewis’s method of
philosophical analysis; see especially Divers (2012, 2013, 2014a, 2014b, 2014c). As
early as 1979, William Lycan claimed that the idea of a (possible) world is in itself
modal (cf. 1979). Shalkowski (1994) reiterated the doubt about whether modal
realism is effective in reducing modalities to the existence of individuals at worlds.
The doubts are rehearsed in Divers (2002: Part II), Melia (2003: Chapter 5). For a
broader discussion of the metaphysical aspects of modal realism, see also work by
▲
Philip Bricker (in particular, (2006a, 2006b, 2007)), and by Kris McDaniel (2006). For
a recent discussion of the principle of recombination, see Denby (2008), Cameron
(2008), and Darby and Watson (2010). Finally, Peter van Inwagen has offered some
insightful contributions to the debate on modal realism (especially 1980, 1986).
*****
§5.1. Introduction
L et us suppose, together with the modal realist and the modalist, that
possible-worlds semantics is the best instrument available for addressing
the numerous, complex conceptual nexuses related to the PP; let us also
assume, together with the modal realist, that possible worlds can be philo-
sophically analyzed, thus delivering a philosophically savvy interpretation
of the diamond and box (the symbols expressing, respectively, possibility
and necessity in the language of quantified modal logic (QML)). Must we,
therefore, endorse the theory, advocated by the modal realist, that there are
infinite worlds like ours? No. In fact, the majority of those who would explain
ME: Only one world exists, the actual world, of which possible worlds
are surrogates.
Even the ersatzist would assert that there is a strict relationship between (1)
and the following:
And (2), just as for the modal realist, is in turn explained in terms of the truth
of the following sentence:
3 There is a world where Foffo the cat has milk and cookies.
is true according to (or, in brief: at) a certain story, namely the book Pinocchio,
so the sentence:
is true according to (or, in brief: at) a certain world. Like a book, a world is a
very long—possibly infinitely long—and complex list of sentences; in fact,
a world is the set of those sentences.
More precisely, the linguistic ersatzist will define a world thus:
A world in which Foffo has milk and cookies is nothing but a description of
a state of things—given in English, for example—in which Foffo enjoys milk
and cookies. As such, WLE also indicates linguistic ersatzism’s answer to the
MPP: in short, possible, non-actual entities are sets of sentences.
As descriptions, possible worlds are fundamentally differentiated from our
world by the fact that they are not concrete, in the way that we would say
our world is: our world is not a mere description; it is made of things, not
words. Thus, unlike modal realism, linguistic ersatzism denies that “actual” is
an indexical and that the actual world is metaphysically no more or less privi-
leged than any non-actual world; on the contrary, there is a major difference,
as possible worlds consist simply in sentences. It is at this point important
to point out the danger of confusing linguistic ersatzism and modal fiction-
alism, a theory we will discuss in Chapter 6. One could in fact think that, if
possible worlds are sets of sentences, just like books, then in a sense they
are linguistic fictions. This is fine, but it is far from implying that linguistic
ersatzism and modal fictionalism are one and the same theory. As we shall
see, modal fictionalism treats as fictions certain theories of modality, such
properties for each point. And this is all without taking into account that space
and time can be extended to infinity. A natural language is far from being
able to express the existence of possible worlds in which space and time are
continuous and extend to infinity, and in which each spatio-temporal point
is occupied by infinitely many properties. For the modal realist, this means
that there is an infinity of worlds that apparently exist, but whose existence
cannot be admitted by the linguistic ersatzist. This is a serious theoretical
limitation.
There are only two ways out for the linguistic ersatzist. The first denies
that the possibilities that cannot be described by means of a set of
sentences are genuine, no matter how intuitive they may seem. According
to this response, it would simply be impossible that space is continuous,
because no set of sentences can describe such a scenario. This position,
however, seems ultimately ad hoc and therefore unsatisfactory. The second
option is more promising, though probably still unsatisfactory. According to
it, the requisites of completeness and consistency should be understood
against the background of some ideal agent who possesses a language
much more powerful than the ones we in fact possess; for such an ideal
agent, a possible world where space is continuous would be describable by
means of a set of sentences. Thus, unfortunately we human beings do not
have the ability to express in our languages all of the possible scenarios that
we have reason to believe exist; but some ideal agent would be able to do
so. (For more on this point, see Divers (2002) and Divers and Melia (2002,
2003)).
While the linguistic ersatzist’s solution to the MPP is unimpressive,
she will be able to provide a more persuasive treatment of the EPP. This is
because linguistic ersatzism delivers a surprising result. Normally, knowing
that a sentence is true is importantly distinct from knowing its truth condi-
tions. (Knowing its truth conditions is just what it is to know its meaning,
which in turn is part of what it is to know the relevant language.) Yet, it is
part and parcel of linguistic ersatzism that understanding a sentence about
a possibility is enough for understanding that that sentence is true. So, just
in knowing a language—and therefore knowing the truth conditions of its
sentences—one knows the truth of its sentences about what is possible.
Hence, all it takes to show that we know of the existence of complete and
consistent sets of sentences is, indeed, a theory of what it is to know a
language (including a formal language). Coming to know the fact that Foffo
could have milk and cookies—sentence (5)—amounts to understanding the
conditions through which (5), when expressed in a certain language, is true.
These truth conditions do not require knowledge of the details of an entire
world. That is, in order to know that (5) is true, it is not necessary to know
the details of the complete and consistent sentence that expresses the
existence of one of the worlds in which (5) is true (presumably, (5) is true
in many worlds). It would suffice to understand the meaning of the terms
in (5), together with the WLE theory, according to which the truth of (5) is
not possible on its own, but rather through a description of a complete and
consistent set of scenarios.
Before moving on to combinatorialism, let us distill the solution to the PP
proposed by the linguistic ersatzist:
§5.3. Combinatorialism
According to the second ersatzist approach we will consider, possible
worlds are not linguistic entities, but are made of the components of our
very world. The approach goes under the label of “combinatorialism”, and is
often associated with the name of David Armstrong, the philosopher who
most prominently and exhaustively developed it in his work of 1989, 1997,
and 2004. Combinatorialism owes its name to the fact that possible worlds
are construed as recombinations of pieces of the actual world: they are thus
worlds much like our own. The recombination schema, as we shall see, in
part follows the principle of recombination offered by modal realism and
discussed in Chapter 4, while also containing some important differences.
Because worlds are ways in which elements of the actual world could be
recombined, we can claim that for combinatorialism worlds are surrogates of
the actual world and, thus, that combinatorialism is an ersatzist theory.
In our analysis of combinatorialism, we shall especially concentrate on
how the theory purports to reply to the MPP. This is because, at the semantic
level, combinatorialism can be squared with most versions of QML, with the
identity of individuals across worlds. In this sense, no particular discussion
of the combinatorialist’s approach to the semantics of modal sentences is
required. Nonetheless, there is a semantic aspect that will turn out to be
relevant during our consideration of the combinatorialist metaphysics: this is
the combinatorialist’s understanding of the relationship of “truth in a world,”
which relates a sentence and a world. We shall come back to this in due
course, towards the end of our presentation of the position.
Combinatorialism explains possibility in terms of actual entities plus the
principle of recombination. The latter is regarded as a metaphysical principle,
much like modal realism. Thus, the combinatorialist’s answer to the EPP will
6 Foffo has milk and cookies and Fufi eats fish and potatoes.
7 It rains.
Aside from the special case of sentences such as (7), all states of affairs have
some structure, that is, they will have at least two constituents, related in a
specific order and fulfilling specific roles.
For Armstrong, constituents divide into two fundamental categories:
individuals (or “particulars”, but we will stick with “individuals”, as has
been our practice so far in this volume) and universals. Foffo and Fufi are
individuals. Being a cat is a universal. There are different ways of drawing
the distinction between individuals and universals. According to one that
is often employed, the key difference between individuals and universals is
that a universal can exist in its entirety in more than one spatio-temporal
region, while an individual cannot; thus, Being a cat is, in its entirety, simul-
taneously where Foffo is and where Fufi is, but neither Foffo nor Fufi can be
in two places at the same time. Another difference is that only universals
can be instantiated (or: exemplified); thus, individuals instantiate universals,
8 Foffo eats fish and potatoes and Fufi has milk and cookies.
9 It is possible that: Foffo eats fish and potatoes and Fufi has milk and
cookies.
The truth conditions for (9) are explained by the combinatorialist in terms of
the truth conditions for (6). We shall come back to this remark in a moment.
For now, we shall sum up the combinatorialist solution to the MPP as follows:
§5.3.2. Constituents
A recombination is defined based on the constituents of some state of affairs.
As we have seen, according to the combinatorialist, (almost) every state of
§5.3.3. Recombinations
Armstrong contends that combinatorialism is capable of providing a reductive
analysis of modality on a par with modal realism. The reason is that combina-
torialism explains the meaning of modal sentences in terms of the existence
of non-modal, actual entities. For instance, the truth of (9) is explained in
terms of the truth of (6). Constituents of the actual world are sufficient
to account for all the truths that a theory of modality must explain, or so
contends Armstrong.
Principle C is exempt from some of the difficulties of the concept of recom-
bination observed during our discussion of modal realism, where counterpart
theory forced Lewis to introduce the notion of an intrinsic duplicate. Because
the combinatorialist admits that there is identity among individuals belonging
to distinct worlds (after all, the individuals of other worlds exist as surro-
gates of individuals of the actual world), what she recombines are precisely
individuals of the actual world. On the other hand, the combinatorialist will
face some new challenges, to which we now turn.
Having clarified the notion of a constituent, we can define the concept of
recombination as follows:
in the original state. The appeal to interpolation and extrapolation allows some
departure from the actual world. A universal is obtained from interpolation of
another when some of its aspects are changed: for instance, imagine that
the gravitational constant had some slightly different value than in fact it has.
A universal is obtained by extrapolation from another one by removing some
of its aspects: for instance, imagine having an electron with no charge. Part
(ii) of the definition is used to guarantee that S is not actual, but it is a mere
possibility. As an illustration of principle R, consider the state of affairs S:
Yet, things aren’t quite that simple. In fact, not all recombinations are
acceptable. For example:
is a recombination of (11) and (12), but it is not acceptable. For this very
reason, C requires that recombinations be legitimate.
In order to explain which combinations are legitimate, it is necessary to
reintroduce the logical analysis based on roles introduced earlier: (13) would
not count as legitimate insofar as “admire” fulfills the role of a term, while
it should fulfill the role of a predicate. Combinatorialism, therefore, is based
essentially on a double logical analysis of sentences, which yields a double
metaphysical analysis of states of affairs: that of atomic constituents and that
of atomic roles.
Thus, contra Armstrong’s contention that combinatorialism offers a
reductive analysis of modality, the appeal to legitimate recombinations makes
C a circular definition of the concept of possibility: possible states of affairs
are those that are possible within the limits of the assigned metaphysical
roles. Surely, this is a theoretical limitation with regard to modal realism; yet,
if we consider that modal realism is the only theory that claims to be able to
define the concept of possibility in a non-circular manner, the concerns raised
by the limitation are minor. The combinatorialist offers us an explanation of
the concept of possibility, but not a definition. And this may be considered
sufficient: in order to offer adequate solutions to the PP, EPP, and MPP, it is not
necessary to eliminate the concept of possibility; it need only be explained.
We can now proceed to formulate the principle of recombination for
combinatorialism:
There are two key differences between the principle of recombination, PR,
seen in Chapter 4 and PRC. To begin with, PRC recombines not only individuals,
but also universals; in fact, PR followed a nominalist metaphysics, where only
individuals exist, while PRC rests on a so-called realist metaphysics, where
universals—as well as individuals—are real. In general, PRC purports to
recombine all constituents of states of affairs (and whether it succeeds in
doing so is debated by its detractors, as we shall see). The second difference
between PRC and PR is PRC’s requirement that the recombination deliver a
state of affairs.
PRC offers us the opportunity to consider the combinatorialist solution
to the EPP. Combinatorialism seems to play upon two distinct types of
knowledge. On one hand, we have the principle of recombination, which
states that all legitimate recombinations are possible. It is a metaphysical
principle, knowledge of which is gained (to a certain extent) independently of
experience. On the other hand, we have empirical knowledge of the atomic
constituents of reality: it is based on this knowledge that we can grasp the
meaning of any modal sentence.
At this time an objection could be made: identifying the atomic constit-
uents of reality is not at all banal. Can a cell be considered an atomic
constituent, or is it composed of other constituents? Are colors, sounds, or
tastes constituents of reality or mere figments of our imaginations? Are gaps
and omissions constituents of reality?
Of course, this objection involves general philosophical problems that are
not exclusive to the combinatorialist, though they do have a greater weight
for her than for the modal realist, for example. The combinatorialist typically
believes that it is not (only) up to philosophers to give an answer to questions
of this type. Combinatorialism brings a conceptual clarity to the PP, but the
fact that it cannot have the last word about what things are possible is not
strange; to find out what is possible, we must also consult other disciplines.
for the plausibility of these questions and yet it is not easy to set them aside.
We are, therefore, left with a serious theoretical limitation.
A final objection to combinatorialism arises from the semantic tie “being
true in”, which relates a sentence and a world. For the combinatorialist,
worlds make-true the sentences that they make true out of necessity; for
instance, (9) is necessarily made true by any world containing the states of
affairs depicted in (9). However, the necessity of the truthmaking relationship
cannot be analyzed in modal terms. Thus, we are stuck with a primitive kind
of modality, despite Armstrong’s contention that combinatorialism manages
to reduce modalities.
To this objection, the combinatorialist may point out that the necessity of
the truthmaking relationship is expressed through a kind of advanced modal-
izing (see Chapter 4), which is not subject to the same sort of analysis as
modal sentences in natural language. It is therefore to be expected that the
theory cannot explain truthmaking in terms of recombinations of actual states
of affairs.
15 It rains.
16 Piove.
Now, (15) and (16) are clearly not the same sentence—they even contain
a different amount of words; on the other hand, they convey the same
content—that it rains. We call the content of a sentence the proposition
expressed by the sentence.
Insofar as we have reason to believe that our sentences and our thoughts
do convey some content, we have reason to believe that they express propo-
sitions. Or, so claim the authors who endorse the existence of propositions.
Since we seem to have good reasons to believe that propositions exist—
reasons that are independent of our theorizing about modality—the proposal
to analyze modal sentences in terms of propositions is far less controversial,
from a metaphysical point of view, than most other competing proposals on
the market, including modal realism. Because of this, some authors (e.g.
Divers (2002) and Melia (2003)) included this variant of pictorial ersatzism
among the so-called quiet moderate realist positions, in contrast to the
extreme realism of David Lewis.
The defender of the first variant of pictorial ersatzism takes the theory of
propositions one step further. She contends that the content of our modal
sentences can be explained by fine-tuning our theory of propositions. This
operation requires several adjustments and different authors have suggested
alternative ones (see Adams (1974) and Stalnaker (1984) for some examples).
In our view, it takes at least four adjustments to a basic theory of propositions
in order to produce a suitable pictorial ersatzist account of possible worlds. (i)
We must make sure that the propositions out of which worlds are constructed
are neither incomplete nor contradictory (as would be the content expressed
by sentences such as, respectively, “Socrates thinks about” and “Socrates
is and is not Athenian”). Some deny that propositions of this sort exist tout
court, but we need not be so demanding, as it suffices to require that no
such proposition is part of a world. (ii) We must require that propositions exist
independently of the existence of actual entities and that they exist indepen-
dently of a language expressing them. This adjustment allows us to claim that
a proposition about non-actual entities (e.g. unicorns) is true or false even if
there actually are no such entities. This adjustment allows modal sentences
that express mere possibilities, including alien possibilities, to be meaningful.
Moreover, it grants the pictorial ersatzist with a basis for maintaining that there
may be some scenarios that are so alien to us that we cannot express them
in our language. (iii) We shall define a world as a set of propositions, since one
of them will typically not be enough to fully capture all that there is to a world.
Such a set should be maximal and consistent, as also required by the linguistic
ersatzist (and a similar requirement will hold for the other two variants of
pictorial ersatzism). And, it is important to remark that these requirements
render the analysis of modality circular. (iv) We shall define a relationship of
“truth at” as holding between sentences and (maximal and consistent) sets
of (complete and non-contradictory) propositions. To illustrate, the sentence:
The view is pictorial because possible scenarios are specific entities (i.e.
specific sets of propositions) that depict how the actual world could have
been. The theory employs three metaphysical primitives: propositions, sets,
and the relation “true at”. In a way, these primitives are common to many
solutions of the MPP, regardless of the details of any theory of modality
providing such solutions. On the other hand, pictorial ersatzism is far from
innocent, for two chief reasons. First of all, it compels us to buy into a theory
of propositions as entities that exist independently of actual entities. Second,
if the theory is to have some plausibility, it must endorse a view of proposi-
tions as structured entities of some sort, so that the truth of a proposition
Equipped with the theory of states of affairs just outlined, we can define
worlds as maximal and consistent sets of states of affairs. More explicitly:
The analysis of modalities provided by PES is even more circular than the one
proposed by PEP: it relies not only on maximality and consistency, but also on
individual essences and necessary existent individuals. We shall come back
to necessary existents in Chapter 8, both in conjunction with Meinongianism
(the view that there are certain things that do not exist) and when considering
the theory of necessary existents suggested by Timothy Williamson.
The notion of interpretation raises a second problem. From what has been
said, it emerges that a possible world cannot consist simply of a figure, but
of an interpreted figure. Thus, pictorial ersatzism’s solution to the PP would
be the following:
The problem is that PEI itself lacks a clear interpretation. What are interpreted
figures? In what sense can we consider them to be surrogates for entities of
the actual world? Moreover, doubts could be raised with regard to how the
figures to which PEI refers are known. Certainly, these questions will have
to be adequately answered if this version of ersatzism is to attract broader
consensus.
According to the atomic ersatzist, worlds have no structure at all; they seem
to represent possible scenarios by magic: hence the label that Lewis reserved
for this position: magical ersatzism.
Up until this point in our discussion of the ersatzist positions, we have
spoken of worlds as entities that have certain constituents: elements of a
language, abstract correlates of concrete constituents of the actual world,
propositions, states of affairs, or images. But we might imagine that a world
is a single entity, without real parts. Of course, we can imagine an object
being divided into parts, but this does not mean that the object is dividable:
for example, we can think of a quark being divided into parts, but this does
not mean that it can be done. In other words: metaphysical atoms do not
necessarily coincide with topological or conceptual atoms.
For the atomic ersatzist, as in the case of any other ersatzist position,
actuality is metaphysically privileged. There are many worlds. Each of them is
a maximal entity in the sense we defined (for the other ersatzist positions).
Only one of them is actual. All of the others are abstract. But they are not
obtained through a recombination of parts of the actual world, parts of
figures, or parts of a language. They exist; period. And they represent the way
in which our world could have been because they are distinct from our world.
Their being distinct is explained in terms of their representational powers,
which vary from world to world, but which cannot be analyzed in terms of
constituents.
The appeal to representational power raises some perplexities. Given that
worlds are metaphysical atoms, we cannot say much about them. We know
that they are atomic: that is, they do not have parts. We know that they are
maximal: that is, it is not possible to add any part to any world. We know that
they are abstract. But, what are they abstractions of? It appears that, as we
saw with pictorial ersatzism, atomic ersatzism also requires that its preferred
metaphysical material be interpreted in order to deliver possibilities. MAE
must, therefore, be reformulated as follows:
MAE* contains a double appeal to modal concepts: the maximality and the
validity of representation. Furthermore, given that S* is atomic, there is no
reason that it should count as a representation of S: it represents it because
it represents it. By virtue of this distinctive feature of the theory, the repre-
sentational powers of each world seem magical.
The solution to the PP proposed by atomic ersatzism can now be stated:
the possibilities that worlds are able to represent (including especially alien
possibilities). The atomic ersatzist takes a different route. She maintains that
worlds are simple entities. Thus, the issue of alien possibilities is solved: we
can have as many simple entities as we need in order to represent all the
possibilities that the theory should. Explaining the representational powers of
a world is, of course, the most delicate aspect of atomic ersatzism. But, just
as a single symbol, such as an ideogram, can stand for many words and, as
such, for some complex scenarios, so a single abstract entity can stand for
the complex scenario that is a possible world.
While the other ersatzists have tried to explain the complex scenario that
is a world by complicating the metaphysical structure of worlds themselves,
the atomic ersatzist discharges that responsibility by complicating the relation
of representation between a world and a scenario. Yet such representation
happens by magic and cannot be explained in metaphysical terms, as we
have seen; and for this reason atomic ersatzism may be regarded as implau-
sible. On the other hand, atomic ersatzism can describe the representation
by means of semantics: the representation consists in all the sentences
that a certain world makes true. Furthermore, it may by now be clear that
the metaphysics of modality forces any account to adopt some-or-other
unwelcome (at times incredible) tenet; atomic ersatzism is, thus, in good
company in making a seemingly bizarre metaphysical choice, and we should
at least concede that atomic ersatzism cleverly exploits a theoretical possi-
bility that had not yet been seen among the theories in this volume.
Study Questions
• What is the meaning of the term “ersatz”? And why is it appropriate for
characterizing ersatzism?
• What is the main characteristic of ersatzism at the metaphysical level?
• What is the main contention of linguistic ersatzism?
• How does linguistic ersatzism generate possible worlds?
• What are the chief drawbacks of linguistic ersatzism?
• What, according to a combinatorialist, is a state of affairs?
• What, according to a combinatorialist, is a constituent?
• What is a Wittgenstein world?
• What is the principle of recombination in combinatorialism?
• What are the principal difficulties for combinatorialism?
• What is a proposition?
• What are the main difficulties for using propositions in conjunction with
pictorial ersatzism?
▲
• What is the distinctive trait of states of affairs, for the pictorial ersatzist
variant that employs them?
• What is the advantage of supposing that worlds are images?
• What are the drawbacks of supposing that worlds are images?
• How does atomic ersatzism explain the meaning of a modal sentence?
• What motivates the supposition that worlds are atomic?
FURTHER READING
Along with modal realism, ersatzism is the most debated position in the philosophy
of modality. There is a crucial difference between the two theories, though: while
modal realism has been openly endorsed by only a handful of philosophers, plenty
are those who have professed allegiance to ersatzism or advanced a theory that
seems ersatzist. It is for this reason not uncontroversial to systematize the spectrum
of ersatzist positions, and the reader is invited to explore the debate along several
paths. For an introductory survey of the various ersatzist positions, see Lewis
(1986: Chapter 3), Divers (2002: Part Three), and Melia (2003: Chapters 6 and 7).
Also useful to consult are Sider (2002) and Stalnaker (2012). Some classic readings
include: Carnap (1947), Cresswell (1972), Plantinga (1974a, 2003), the collections of
essays in Linsky (1974), and Loux (1979), Kripke (1980), and Skyrms (1981).
For a discussion of trans-world identity, see: the texts collected in Loux
(1979), Kripke (1980), van Inwagen (1985), and Lewis (1986: Chapter 4).
For a formulation of linguistic ersatzism, see Roy (1995) and Stalnaker (1984,
2004). For a critical discussion, see McMichael (1983), Lewis (1986, §3.2.), and
Heller (1996, 1998).
For a systematic formulation of combinatorialism, see Armstrong (1986,
1989). Important follow-ups are Armstrong (1997, 2004). For a critical assessment
of the position, see Kim (1986), Bradley (1989), Lewis (1992), Thomas (1996), Sider
(2005), Efird and Stoneham (2006), and Wang (2013).
For a formulation of the various pictorial ersatzist positions, see Adams (1974),
the essays contained in Loux (1979), Stalnaker (1984, 2003), van Inwagen (1980,
1986), and Plantinga (1974a, 2003). For a critical discussion, see especially Lewis
(1986, §3.3.). Also useful is Brogaard (2006).
For a critical presentation of atomic ersatzism, see Lewis (1986, §3.4.). For
a defense of the position, see Denby (2006). Also in connection with atomic
ersatzism, it is useful to consult Brogaard (2006).
*****
I n this chapter we will consider the final two theories of possibility that
are based on possible-worlds semantics: modal fictionalism and modal
agnosticism. Both develop what seems to be the most immediate advantage
of possible worlds: references to them do not have to be taken literally and,
thus, we need not make special room for worlds in our conception of reality.
This feature of possible worlds evidently runs counter to the theoretical core
of both modal realism and ersatzism, which aimed—each in its own way—to
provide a suitable metaphysical and epistemological story to pair up with the
semantic benefits of possible-worlds semantics. Furthermore, both modal
fictionalism and modal agnosticism were formulated after modal realism and
ersatzism: the first article to defend a fictionalist theory of modality is typically
With this clarification under our belt, we can now move on to the formu-
lation of the fundamental theory of modal fictionalism, which sets out to
resolve the PP as follows:
For instance,
2 There is a world in which Foffo the cat has milk and cookies
is true.
In other words, modal fictionalism tries to join together two observations,
both of which appear to be valid, but which are in tension with one another: (i)
modal sentences need a theory in order to be explained and the best one on
the market seems to be the theory that makes reference to possible worlds;
(ii) theories that take the existence of possible worlds seriously encounter
significant problems when trying to explain the nature of the entities to which
they refer. The modal fictionalist sets out to use a theory that makes reference
to possible worlds in order to explain the meaning of modal sentences, while
at the same time denying that the theory should be taken seriously. Is this
feasible?
Before taking into consideration some of the numerous objections that
have been raised against modal fictionalism, we must make certain clarifica-
tions and elucidations regarding F. Let us begin with the following expression:
“in the fiction of a theory of possible worlds”. The lack of reference to a
specific theory should be noted. In fact, among the theories of possible
worlds illustrated in the previous two chapters, the fictionalist can afford
to choose whichever she prefers. They are all fictions. But how is she to
choose?
After weighing the pros and cons, it seems it would be a good idea to
choose modal realism, as Gideon Rosen did when he first formulated modal
fictionalism, in 1990. In fact, as we have seen, there are few doubts regarding
the greater conceptual potential of modal realism compared to the various
ersatzist proposals: modal realism is able to account for a greater number of
possibilities (see Chapter 4 and the cardinality objection in §5.2). Therefore,
if we were to choose a theory independently of what the theory suggests
exists, modal realism would come out on top—hence, Rosen’s decision. It
is, nonetheless, important to clarify that the fictionalist is akin to a spectator
on the debate between theories of possible worlds, and may at any point
change sides. Typically, fictionalists choose whichever theory proves most
conceptually potent.
Another element of F that must be clarified is the reference to an undeter-
mined fiction of possible worlds and, therefore, the translation of s into s*.
Rosen suggests that the theory may be determined using a simple prefix—
“according to the story …”—to be placed in front of an exposition of the
relevant theory—such as, for him, the modal realism of Lewis (1986). The
result is the following principle, in which s stands for a sentence in ordinary
language and s* stands for the orthodox possible-worlds analysis of s:
RF: The sentence in natural language: “It is possible that: s” is true if and
only if, according to the story told in Lewis (1986), “s*” is true.
AF: The sentence in natural language: “It is possible that: s” is true if and
only if, according to the story told in Lewis (1986), there is a collection
of stories such that, according to at least one of them, s’s equivalent
“s*” is true.
F*: The sentence in natural language: “It is possible that: s” is true if and
only if is true if and only if, were the orthodox possible-worlds analysis
to be true, then the sentence would also be true.
In light of what we have previously said, we are able to clarify why the
modal fictionalist would not be willing to accept F*. According to the modal
fictionalist, the critic who proposes F* does not fully appreciate the strength
of F. Modal fictionalists do not believe that the truth of sentences in ordinary
language is determined by the sentences of possible-worlds semantics,
provided said theory were true; rather, the truth of sentences in ordinary
language is determined by what is stated in fiction, without any suppositions.
Therefore, F does not call upon any modalities. It should also be noted that
we must assert that said sentence is true if and only if its equivalent “s*”,
in the fiction of a possible-worlds theory, is true.
But F** contains a modal term, “must”; therefore, the fictionalist is implicitly
relying upon modality when formulating his principal theory: how are we to
interpret this implicit modality?
Alas, there is no compelling answer to this question to date. The modal
fictionalist could bite the bullet and accept that there is a modal assumption
in his theory that cannot in turn be analyzed as a fiction; after all, as we have
seen, some primitive modalities have to be accepted not only by modalists
and ersatzists, but also by modal realists; the modal fictionalist would simply
be joining the bandwagon. Still, if the point highlighted by F** is correct, then
the most appealing trait of modal fictionalism—deferring the analysis of all
modal talk to the best theory of modality on the market—is undermined, and
we are left with little clue as to how the modal fictionalist’s core principle is
supposed to be interpreted.
The third criticism relates to the relevance of the fiction invoked in F and
has so far gone unnoticed in the literature. How are we to believe—one
might object—that a fiction can have such a relevant role in our lives that it
can determine—say—whether Elena should be punished for drunk-driving
because, according to a fiction, the fictional character representing her does
harm someone? More important to us is what Elena does in our world, not
what happens in some fiction, no matter how useful such a fiction may
be claimed to be. Ultimately, modal fictionalism commits the same fallacy
committed by the counterpart theorist (encountered in Chapter 4, when
discussing modal realism): explaining possibility in terms of entities that are
not the ones for whose behavior we sought an explanation. We want to know
how to judge the entities of our world, and we are instructed to consider
other entities—other-worldly ones in the case of counterpart theory, and ficti-
tious ones in the case of modal fictionalism.
The modal fictionalist, like the modal realist, holds the cards in terms of
devising a response to this criticism. Ultimately, F is an explanation of the
meaning of our modal sentences; it would seem legitimate for an explanation
to involve entities we had not foreseen when we raised the question. If we
go to the doctor with a simple stomachache and she, in response, brings
up entities we have never heard of before (certain types of bacteria and
enzymes), which we were unaware had anything to do with stomachaches, it
would not come as a surprise to us. Many accept principles that explain who
we are and how we must act in this world in terms of what we have done
in previous lives, or of what a deity mandates; yet, before learning of these
explanations, we never thought of those previous lives or of the deity and its
teachings.
We should not be misled by one of the critical features of the dispute over
possibility: the fact that possibility must, inevitably, find solutions that go
far beyond what we can establish by empirical observation, if it is to take a
cognitivist stance (a point we illustrated in Chapter 2, when discussing radical
modal skepticism). If the explanations of the modal realist and modal fiction-
alist do not prove to be convincing insofar as they involve entities that are not
causally related to those of our world, this has more to do with the nature of
the philosophical problem than with the specificity of the theories that stand
accused. Not every theory of possibility can speak of causal explanations, as
the doctor or the theologian does; therefore, from this point of view, modal
realism and modal fictionalism are neither more nor less prone to criticism
than their rival theories. And the fact that they involve entities that are distinct
from those invoked when the problem is raised is not a unique feature of
these theories: doctors and theologians, among others, do the same.
The fourth criticism, raised in Nolan (1997: 264–6) and more recently in Kim
(2005), concerns the ontological status of the fiction invoked in F. We might be
wondering whether it is a fiction in the sense that Pinocchio is fictional or in
the sense applicable to a non-Euclidean geometry. In other words: according
to the modal fictionalist, is the modal realist’s fiction an artifact (such as a
character invented by an author), or is it an abstract and eternal entity, whose
existence is independent of our conceiving it, which the modal realist finds
himself describing?
There appear to be reasons to accept both of the options. On one hand, if
fictions were abstract and eternal entities, whose existence is independent
of our conceiving of them, then how they are fictions would not be clear:
the same would go for numbers, geometric shapes, and laws of logic.
On the other hand, the possible worlds of which the modal realists and
ersatzists speak must have specific characteristics, such as maximality and
consistency. Even if they were artifacts, their authors would be constrained
in their creativity by the need for these characteristics.
Let us, at this point, clarify that the answer to the question about the
ontological status of the fiction depends partly on the specific version of F
we are considering. According to RF, for example, the fiction is not possible
worlds tout court, but possible worlds as described by Lewis (1986); given that,
for Lewis, there may be worlds that cannot be known by us, worlds would
have more in common with numbers or geometric shapes than with invented
characters such as Pinocchio. If, on the other hand, we endorse AF, then each
world is treated as a fiction of its own. At this point, Pinocchio turns out to be
a more useful point of comparison; but, we also lose—at least prima facie—
the option of claiming that there may be worlds that cannot be known by us.
That option is, nonetheless, regained, if we make reference to possibly existing
and yet unknowable fictions—a move that would appear to be countenanced
or AF. In effect, it seems RF must admit that the modal realist’s fiction is
incomplete because it does not fully describe all the worlds of the theory.
A key point of modal realism is that it countenances more worlds than we
can represent (see Chapter 4), thus the fiction proposed by Lewis is such
that it cannot possibly describe all the worlds it suggests exist. Therefore,
the truth conditions of the sentences in our language can only be given in
an approximate manner, with the proviso that a consistent and complete
story of some worlds can be provided only (and at best) on a case-by-case
basis.
AF, by contrast, seems to have a more compelling solution. In fact,
according to this interpretation of F, worlds are fictions within the fiction of a
general theory of worlds: the latter fiction—the principal fiction—is not incom-
plete; what are incomplete are the fictions that it unfolds. Therefore, AF can
maintain that there is no incompleteness in the fiction that defines the modal
fictionalist theory, and that the incompleteness of the fictions of individual
worlds does not nullify the evaluation of the truth of a sentence because, in
accordance with what the modal realist or the ersatzist claim, such incom-
pleteness is irrelevant for the purposes of the evaluation.
the case of modal fictionalism, sets out to take advantage of the conceptual
analysis while, at the same time, avoiding a commitment to the existence of
worlds.
But this time, the idea is to deny assent to—to remain agnostic toward—
the sentences whose translation into modal realism (or another chosen
possible-worlds theory) commits us to the existence of worlds that are not
our own. This can be done in two ways, which give rise to two types of agnos-
ticism: strong and moderate.
Strong agnosticism denies assent to all sentences whose translation
into modal realism (or another possible-worlds theory) commits us to the
existence of worlds that are not our own. The moderate agnostic, on the other
hand, denies assent to only the sentences that commit us to the existence of
worlds whose existence we have reason to doubt (because we do not have
empirical proof of them, for example).
An analogy with the case of non-observable entities in physics can be
useful for clarifying this point. Let us suppose that a theory in physics
commits us to the existence of entities that are not directly observable, but
that behave in a way that is entirely similar to the behavior of molecules of
water; the strong agnostic would deny her assent to the theory in question,
while the moderate would offer it. The moderate agnostic, however, would
deny her assent to a theory that postulates the existence of non-observable
entities whose behavior is dissimilar to that of entities we are able to observe:
for example, he would deny assent to a theory according to which causal laws
between non-observable entities are not subject to any fundamental laws of
physics (e.g. conservation laws), but follow other sui generis laws instead.
The most attractive modal agnostic position—at least in terms of a theory
of modality—seems to be the moderate position. In fact, the strong modal
agnostic would deny assent to interpretations in modal realism (or another
possible-worlds theory) of almost any modal sentence; the only exclusion
would be the sentences that concern our world alone. The moderate modal
agnostic, on the other hand, would accept all sentences whose translation
into modal realism (or another possible-worlds theory) concerns situations
that are similar to those of our world. For example:
is true. Since the cat, Foffo, and the lava mentioned in (4) are very much like
the cats and the lava found on our world, and since it does not seem contra-
dictory to believe (although it is unheard of) that Foffo, the cat, eats lava, the
The reason for which (7) is either true or false even before the test is
performed is that the test is not needed to instill certain capacities in the pill,
but rather to reveal the capacities the pill already has.
Nevertheless—it could be noted—the agnostic does not appear to have
the resources to assent or dissent to (7), and thus to say that it is either
true or false. That is, she could still express assent or denial to (7), but those
expressions would offer a thin bridge with truth and falsity. Thus, since there
are no situations in our world that are comparable to the one described in (7),
the sentence would not be admissible. Consequently, it would be neither
true nor false that the pill has certain capacities. (For a more complex but
analogous example, see Divers (2004: 681).)
The moderate modal agnostic has a reply to this criticism. In fact, the
problem raised does not appear to concern the metaphysics of possibility, but
rather its epistemology. And—the modal agnostic could insist—admissibility is
a metaphysical concept. The moderate modal agnostic, that is, could point out
that it is not true that there are no situations in our world that can be compared
to the one described in (7); there are, but, at the time of the test they have not
yet been realized and, therefore, the doctor in the example provided is not yet
of elements in the actual world, denote our world; all other worlds do not
denote it.
There are two problems with this interpretation. The first is that it exacer-
bates the objection that when we speak of what Foffo could have done, we
do not mean to speak of what Fufi is doing. The agnostic simply replaces
the individuals (of our world) of which modal sentences seem to speak with
other individuals (of the same world): yet, if we had wanted to speak of
certain individuals rather than of others, we would have. We did not mean to
speak of Fufi, but of Foffo.
The second problem is that modal agnosticism does not benefit from
the two principal conceptual advantages of modal realism. First, since all
admissible sentences concern worlds that are obtained through the simple
recombination of elements of the actual world, the modal agnostic could
never admit the existence of alien possibilities, as the modal realist does.
Secondly, since AGN makes reference to the modal concept of admissibility,
AGN does not reduce modalities, as modal realism aspires to do; more
simply, AGN explains them.
§6.5. Conclusions
The objective shared by modal fictionalism and modal agnosticism is to
borrow the philosophical strengths of modal realism (or of any other possible-
worlds theory that proves more philosophically palatable than others) while
avoiding its metaphysical costs. If achieved, the objective would deliver an
anti-realist paradise for modal theorists. Yet what emerges from our analysis
is that, for different reasons, both projects encounter numerous difficulties in
realizing their objective.
Modal realism, ersatzism, modal fictionalism, and modal agnosticism
exhaust the range of theories relying upon the existence of (possible)
worlds in order to solve the MPP and the EPP. We shall now turn to one last
theoretical option, which makes use of a new set of modal primitives in order
to deal with the truth or falsity of the propositions expressed by our modal
sentences: the so-called new actualism.
Study Questions
• What are the modal fictionalist’s solutions to the SPP, MPP, and EPP?
• What does it mean to be a fiction, according to the modal fictionalist?
• What types of things count as fictions, according to the modal fictionalist?
• What are the main objections that can be raised against modal
fictionalism?
• What is the distinguishing feature of modal agnosticism?
• What is the difference between strong and moderate modal agnosticism?
• What are the main objections that can be raised against modal
agnosticism?
• What are the common denominators of modal fictionalism and modal
agnosticism?
FURTHER READING
Modal fictionalism was first introduced by Rosen (1990). Some important
objections to the theory, and some possible modifications of it, were presented
shortly thereafter by Menzies and Pettit (1994) and Rosen himself (1995). For an
introductory discussion of modal fictionalism, see Nolan (2007); to situate the
fictionalist perspective within the broader context of fictionalism in philosophy,
see Kalderon (2005) and also Eklund (2007). The debate about fictionalism has
been lively and bears on several important details of the theory; among the many
discussion articles, see: Brock (1993); Rosen (1993, 1995); Noonan (1995); Hale
(1995a, 1995b); Divers (1995, 1999); Nolan and O’Leary Hawthorne (1996); Nolan
(1997); Baldwin (1998); Yablo (2001); Kim (2002, 2005); Dever (2003); Brogaard
(2006); Divers and Hagen (2006); Liggins (2008); Woodward (2008, 2011, 2012);
Sauchelli (2013); and Armour-Garb (2015).
Modal agnosticism is introduced by Divers (2004). A discussion of the specific
modal logic and modal semantics that best pair with modal agnosticism is found
in Humberstone (2007). An important paper discussing some ideas that are later
developed in modal agnosticism is Mondadori and Morton (1976).
*****
These new actualists, as I shall call them, do not feel the onus of providing
an actualist account of possible worlds. Possible worlds, they say, may be
a useful formal device in modal logic (as well as in other formal contexts),
All the proposals falling under the label of new modal actualism share two
important tenets. First, these theories deny that possible worlds provide a
viable analysis of modal sentences. For this reason, Contessa (2010) suggests
a different label for these proposals: hardcore modal actualism. The idea is
that the soft-core modal actualists contend that the actual world is ontologi-
cally privileged with respect to all other worlds, while making use of possible
worlds to make sense of modal sentences; the hard-core modal actualists, on
the other hand, aim to provide an analysis of modal sentences that does away
with possible worlds. The new modal actualism thus shares with the views
discussed in Chapter 2 and Chapter 3 the rejection of possible worlds. It is
the second tenet that distinguishes the new modal actualism from the views
discussed in those early chapters. New modal actualists aim to substitute talk
of possible worlds with talk of modalities that are possessed by individuals,
such as essences, dispositions, or other modal properties. In so doing, and
unlike the theories we discussed in the forementioned chapters, the new
modal actualists offer a cognitivist analysis of modality.
By now, our reader will have noticed that different theories of possibility
approach their task by privileging one or two of the three sub-problems of
the problem of possibility (PP). Those, let us recall, are the semantic problem
of possibility (SPP), the metaphysical problem of possibility (MPP), and the
epistemic problem of possibility (EPP):
As Vetter remarks in the passage cited earlier, the new modal actualism
seems to pay special attention to the MPP. In particular, the new modal
actualism calls into question the way that the MPP has been discussed
for the past fifty years. It has been standard in quantified modal logic (QML)
to privilege the two modalities of necessity and possibility—represented, as
we have seen, by the box and the diamond symbols. Theories of possibility
have been driven to solve the MPP by postulating the existence of possible
worlds just insofar as they have conformed with this semantic decision.
Possible worlds suit the two modalities of necessity and possibility and are
in accordance with the semantics suggested to complement both QML
and counterpart theory; although, as we have seen (Chapters 4 to 6), it is
very difficult to provide a sound theory of possibility in terms of possible
worlds. Thus, for the past fifty years, discussion of the MPP has been largely
dominated by the view that, if modal sentences do express content, they are
about possible worlds—whatever these turn out to be.
The new modal actualist denies that our approach to the PP should
start from necessity and possibility: instead, she suggests that we start
from alternative notions—such as dispositions, essences, or other modal
properties—which we already have reason to include into our inventory of
reality. Thus, instead of talking about possible worlds, the new modal actualist
will carry forward a theoretical analysis of possibility founded on one (or
more) of these alternative notions; necessity and possibility will have to be
explained in terms of those notions. While the new actualism stakes its claim
to a place on the map of theories of possibility on a metaphysical point, it is
nonetheless important to stress that arguments for versions of that approach
can depend on broader reasons, having to do with achieving a suitable philo-
sophical explanation of modal sentences or with semantic considerations.
We shall see an example of an appeal to semantic considerations in the new
essentialist’s insistence on the foundational explanatory role of essences,
What is the alleged theoretical advantage of doing away with necessity
and possibility as the core concepts by means of which to analyze modal
sentences? Different new modal actualist views will provide different
answers to this question. In general, we can point to two advantages. First,
modal notions such as dispositions or essences are specific to individuals,
thus they allow for some finer explanatory distinctions. A notable example
was provided by Kit Fine: by invoking a modal theory that uses the notion of
essence, we can easily explain why Socrates is intuitively more fundamental
than the singleton (a set with exactly one element) that contains Socrates as
its sole element; according to Fine, this is because it is part of the essence
of Socrates’s singleton to have as its sole element Socrates, while it is not
part of the essence of Socrates that there is a singleton of Socrates. No
such account is open to the theories based on possible worlds discussed in
Chapters 4 to 6, because allegedly Socrates and its singleton exist in exactly
the same worlds. Of course, supporters of theories based on possible worlds
can try to devise some explanation, based for instance on impossible worlds;
nonetheless, their view will pay a theoretical price to accommodate cases
that Fine’s theory does not have to pay, because it makes use of essences.
The second theoretical advantage of new modal actualism is to simplify
the philosophical explanation of modal sentences by having it draw from the
philosophical explanation of other philosophical issues that involve modalities.
For Fine, explaining metaphysical necessity requires, not possible worlds, but
rather identity. (For an argument showing that the notion of essence cannot be
captured in terms of possible—or the combination of possible and impossible—
worlds, see Torza (2015).) The proper understanding of identity delivers a theory
of essences, according to which an essence defines an entity; such a definition
can then act as the explanatory foundation for metaphysically necessary truths.
We have described the workings of a similar doctrine in Chapter 4, and the
reader can refer back to that discussion for more detail on the underlying
conception of essence. Fine’s doctrine licenses the following answer to the PP:
1
What Fine calls “objects” here is what we refer to in this book as “individuals”, and for the sake
of consistency, we stick to the terminology previously adopted in the volume.
turn out to be). The two versions are relatively new to the literature on the
metaphysics of possibility and we may one day see a theory that conjoins
individual and property essentialism, properly revised—a core new actualist
essentialist view.
Our discussion of the new actual essentialism illustrates a characteristic
trait of the new modal actualism tout court. Over the past fifty years, theories
of possibility have attempted to provide a unified philosophical analysis of
all modal sentences that is cohesive and systematic; such analyses have
ultimately rested on a cohesive semantic picture, be it specified in terms
of the more familiar possible-worlds semantics, counterpart theory, or a
simplified modalist account. The new modal actualism proposes a different
methodology, rooted in a piecemeal explanation of modal sentences. As
attractive as it may seem at the semantic level, the cohesive picture also
required bizarre solutions to the MPP and the EPP. The new modal actualism
proposes local but more palatable solutions to the three sub-problems of
possibility, with particular attention to the MPP.
§7.3. Dispositionalism
Let us now turn to dispositionalism. We are all accustomed to attributing
certain abilities to people, animals, things, and events: Giovanni can ride 8m
waves; Foffo, the cat, can climb up to the top of the cherry tree in a total of
5 seconds; the magnificent Etruscan statue that we saw at the museum of
Tarquinia is very fragile (and thus able to break); the sea storm is so strong
that it could swallow up the largest ship of the fleet. And we have a name
for these abilities: dispositions (or, as we will also call them, dispositional
properties); in attributing abilities to people, animals, things, or events, we
are attributing dispositions to them. The tendency in ordinary language is to
consider dispositions to be properties of the entities they are attributed to:
just as we say that Giovanni lives in Volterra and measures 1.8m in height, so,
too, we say that he can ride 8m waves. To live in Volterra, to have a height
of 1.8m, and to be able to ride 8m waves are all properties of Giovanni.
Dispositionalism adopts this tendency as its own, and sets out to include
among the properties of the actual world certain dispositional properties;
the dispositionalist theory, then, explains the meaning of modal sentences
of ordinary language in terms of the dispositions of the entities of the actual
world.
The idea is simple to put into words, but a bit more complex to develop.
The exposition of the theory will be divided into two parts here: the first will
show that, in order to explain the attribution of certain abilities to Giovanni,
§7.3.1. Dispositions
What are dispositions? First and foremost, they are properties that are
attributed to the entities of the world. They are properties with a particular
characteristic: they do not manifest themselves constantly, but only
occasionally—and, in some cases never. It is entirely natural to say that the
Etruscan statue is very fragile: and yet, the statue has never manifested its
fragility—and we hope it never will. We are the ones who have attributed
that property to the statue, based on our observation of other individuals
composed of the same material. For this reason, dispositional properties are
distinguished from categorical properties: the latter properties are always
active, so to speak, provided they are possessed by an individual. For a more
in-depth discussion, see Mumford (1998: 64–92).
This particular trait of dispositions is responsible for their aura of philo-
sophical diffidence in empiricist circles, which is deeply rooted in the work
of Hume and Ryle (1949). In simple terms, empiricists do not believe in
the existence of that which does not manifest itself through a sensory
experience; and dispositions are, by definition, entities that can be hidden
from our senses. An empiricist would not admit that the Etruscan statue
has the property of being fragile: of course, we say that it is fragile based
on our observation of other individuals composed of similar material; but this
is only a projection of our minds, just like when we begin a role game by
declaring that the salt shaker is the wife and the sugar bowl is the jealous
husband.
A more detailed description of the empiricist strategy is as follows: every
sentence that contains one or more dispositional terms (terms that seem to
refer to an ability or dispositional property) must be interpreted as a sentence
in a conditional form (such as: “If …, then …”) in which the dispositional
terms are eliminated. The truth of the conditional sentence is then evaluated
based on the relevant evidence that we have accumulated in the past.
Let us take an example. Let us once again consider the Etruscan statue in
the museum in Tarquinia; we can say that:
The theorist of dispositions would not be satisfied with this solution, however.
Asserting that the actual conditions must remain the same does not explain
which necessary conditions cause the statue to be fragile; consequently, it
does not explain what fragility consists in. As noted by Carnap (1936), the
sufficient conditions that allow an individual to manifest a disposition can be
manifold. We might consider, for example, the conditions that cause a vineyard
to be able to produce a good wine: certain temperature values, atmospheric
conditions, the presence or absence of organisms in the environment … Who
could list them all? It would seem more reasonable to assert that the vineyard
has the ability—that is, a certain disposition—to produce good wine.
Furthermore, there is at least one additional problem for the conditional
analysis: what type of relationship subsists between the antecedent and
the consequent of the conditional statement expressed in (2) and (3)? We
are certainly not dealing with a simple conditional statement such as “If …
then”, as (2) and (3) suggest; in fact, if this were so, it would be enough for
the antecedent to not be satisfied to make the conditional statement true.
A more accurate analysis must therefore be produced; in order to do so, we
must use a modal notion—for example, we could affirm that: in the case in
which the conditions remain the same, if the antecedent were to be true,
then the consequent would follow necessarily. In order to explain the modal
notion that has been introduced, the empiricist must turn to one of the
theories previously illustrated; and, if she aspires to find a satisfying interpre-
tation, she will no longer have to rely solely upon past observations, but also
on certain merely possible situations.
Let us now turn to the second difficulty encountered by an empiricist
approach to dispositions—and second reason to admit their existence. It
is based on a simple observation: it would seem reasonable to assert that
some dispositions, though they exist, do not manifest themselves. Let us
once again consider the statue. Fortunately, it has never been broken. But
let us suppose that the museum curator has secretly been tempted on
multiple occasions to melt it in the old furnace nearby (with all due respect
to the curator!) One night, falling prey to an unusually strong temptation, the
curator starts the furnace and tosses the statue among the flames, and it
slowly melts without breaking. The statue has never been broken and never
will break. Nevertheless, it seems plausible to remain of the opinion that the
statue was fragile: how can an empiricist justify this opinion?
There are, fundamentally, two solutions, both of which are problematic.
The first, attempted by Quine (1974), is based, in simple terms, on the fact
that the statue is an individual of the same type, in structure and materials, as
individuals that have broken in the past; it is, therefore, legitimate to attribute
fragility to the statue. However, the relevance of resemblance cannot be
taken as a primitive fact: why do we assume that a resemblance in structure
and materials will be accompanied by a resemblance in behavior? In order to
provide an adequate answer, we must refer to a modal notion—that of natural
law, for example. And so we find ourselves once again dealing with a modality.
The second, perhaps more persuasive, but certainly more bizarre, solution
was proposed by David Lewis. For the modal realist, it is sufficient for a world
to exist in which a statue that is particularly similar to the one at the entrance
of the Etruscan museum in Tarquinia breaks in order to verify that the statue
in our world could have broken.
This solution is not satisfying, however. As demonstrated first by Martin
(1994) and Bird (1998), it cannot be applied to cases in which the intrinsic
properties of individuals change. Let us suppose that, after years of research,
a factory successfully produces a material that, when it is not subjected to
the kind of blow that would be fatal for a statue like the one in the museum,
is fragile; if, however, the material is subjected to such an impact, it goes from
being fragile to indestructible; as soon as the force ceases, it becomes fragile
once again. Suppose we make a new statue from this material. How could
we appeal to possible worlds to justify our belief that the statue is fragile?
In the end, given that the disposition to go from fragile to indestructible is
intrinsic to the statue, no possible world exists in which it does not possess
this property. It should be noted that denying that it is possible to make
a statue like the one described amounts to forgoing one of the virtues of
modal realism: its practically unlimited ability to represent possible scenarios.
The modal realist, therefore, is able to explain the dispositions that do not
manifest themselves, but not those that change.
In sum, the empiricist analysis of sentences that contain dispositional
terms proves insufficient, both because it is unable to provide an adequate
translation of sentences in terms of conditional sentences, and because it
is unable to account for the possibility that the dispositions of an individual
change through time. For these reasons, many have deemed it necessary to
include dispositions among the entities of the world.
The first thing to note about the dispositionalist proposal is its methodo-
logical approach. Again, the order of metaphysical explanation is reversed with
respect to the theories we examined in Chapters 4 to 6: the metaphysical
possibility and necessity of certain situations is explained in terms of the
dispositions possessed by actual entities. While the possible-worlds theories
are prompted by a theory of the meaning of modal sentences (e.g. possible-
worlds semantics), dispositionalism is inspired by certain metaphysical
considerations: the theoretical opportunity to include dispositions among the
entities of our world. Dispositionalism therefore takes its cue from its solution
to the MPP, that is, its explanation of what a possible entity is. According to
the dispositionalist, the entities whose possibility or necessity we express are
situations; what we are left with is the following principle (see also Borghini
and Williams (2008) for a more thorough discussion of P):
It should also be pointed out that, for the dispositionalist, the EPP remains in
the background, as is the case for many of the theories we have considered.
Typically, a division of roles is invoked. How to come to know of the existence
of the dispositions that make a given modal sentence true is a task that
applies not only to the dispositionalist philosopher, but—as a matter of
principle—to all other members of society as well.
The dispositionalist would argue that her theory includes all dispositions
of all degrees. Consequently, there would also be dispositions that are far
from manifesting themselves, as they describe scenarios which could have
been realized if a whole other series of occurrences had been realized, though
it never was. For example, Foffo could have eaten oysters in Oristano on
December 13, 2013, since there is an n degree disposition to do so that could
have manifested itself if a whole series of other dispositions had manifested
itself. This is how the dispositionalist is able to account for remote possibilities
such as: that dinosaurs had never been extinct, that life had never developed
in the universe, or that Rino Gaetano had given a concert in Bulgaria in 2003.
Yet, this result may not be enough to answer the criticism. The modal
realist, in particular, would point her finger at alien possibilities: certainly the
dispositionalist would be able to account for all of the possibilities that have
to do with the way in which our world could have been. But why not also
imagine that there are genuine possibilities that are not ways in which our
world could have been?
At best, the dispositionalist could reply that our world—itself—could have
developed in different ways from the start, giving rise to worlds that are a far
cry from the one in which we live. Yet, she must admit that there is no way
to include the existence of possibilities that our world has not been, is not,
and will never be, to any degree, inclined to manifest.
The second objection to dispositionalism concerns the very nature of
dispositions. (For more on this point, see Borghini (2009).) A disposition is
always defined in terms of a certain situation whose manifestation it can
contribute to. It would almost appear that a situation contains the seeds
of something that does not exist, something that it intends to bring to
completion, if certain conditions were to present themselves. Some have
identified in this scenario two related problems: first, it would appear that
dispositions have an intentional character, similar to our thoughts; second, it
would appear that this character compels us to admit the existence of the
situations that dispositions intend to bring to completion. Nevertheless, it
would seem absurd to attribute intentions to the Etruscan statue; and, if the
dispositionalist were to admit that situations have intentions, then she would
also have to admit the existence of possible worlds.
There is at least one way to respond to this criticism. In fact, the two
problems that it raises originate from a single, erroneous temptation: to define
dispositions. The dispositionalist would insist that the concept of disposition
is primitive: if we could define it in terms of certain situations, we would.
In reality, speaking of intentional situations and characters gives us nothing
more than a partial and metaphorical explanation of what a disposition is. It is
metaphorical because the concept of intention would not be applied to dispo-
sitions in the same way we apply it to a mind: it is not associated with natural
language, and much less with the idea of free will. It is partial because many
dispositions cannot be fully understood through the description of certain
situations.
At the beginning of the book, we alluded to the theory that that which
is, is what it is in virtue of that which it could be. In other words: actual and
possible existence are strictly and indivisibly connected. To some extent,
dispositionalism is founded on this theory. It is able to naturally account for
the way we seem to conceive of that which surrounds us. A chair is such as
it is because it has the disposition to carry out a certain function for human
beings; a gene is such as it is because it has the disposition to carry out a
certain function in the development of an organism; a piece of material is gold
because it has the disposition to melt at a certain temperature, or to become
worn with time much more slowly compared to other materials; Giovanni was
elected as chief executive not only in virtue of what he did, but also in virtue
of what he can do. Certainly, things can also be seen differently. But the
interpretation offered by dispositionalism is compelling. We need only admit
that, among the entities of our world, there are also certain properties that,
as a matter of principle, are not always observable. Considering the complex
and obscure theoretical commitment of possible worlds, this does not seem
to be an absurd price to pay.
Study Questions
• What are the two distinctive aspects of the new modal actualism?
• What is individual essentialism?
• What is intrinsic essentialism?
• What is scientific essentialism?
• Why do individual essentialism and property essentialism seem
incompatible?
• What is a disposition?
• What characterizes an empiricist approach to dispositions?
• What is the relationship between dispositions and conditionals?
• How is possibility explained, according to the dispositionalist?
• What is the degree of a disposition and why is it relevant for the
dispositionalist?
FURTHER READING
The new actualism is a recent development of the debate on modality and it is not
systematically treated in introductory texts on the topic. Useful first readings are
Vetter (2011a and, especially 2015).
A good starting point to appreciate the theory of essence underlying individual
essentialism is Lowe (2012). The classic texts that outline the position are by
Fine (1994, 1995); for a broader perspective, see also the papers collected in
Fine (2005). Fine’s view has been widely discussed in recent years and expanded
into the so-called “theory of metaphysical grounding”, which will be discussed in
Chapter 8; for an overview of this latter theory, see Bliss and Trogdon (2014).
Intrinsic essentialism is defended in Jubien (2007, 2009). Scientific
essentialism has a connection with the views on metaphysical necessity proposed
by Putnam and Kripke in the 1970s; for a classic exposition of the theory, see Ellis
and Lierse (1994) and Ellis (2001, 2002); an important contribution was given by
the more recent Bird (2005, 2007); for some background texts, see especially
Shoemaker (1980) and Swoyer (1982). For some early criticisms of the theory, see
Bealer (1987); for a more updated discussion, see Kistler (2002), Anderson (2005),
and Corry (2011).
For an introduction to the theory of dispositions, see the classic by Mumford
(1998). Among the works that defended a form of realism regarding dispositions,
see Harré (1970), Mellor (1974), Popper (1990), Martin (1994), Ellis (2001, 2002),
and Molnar (2003). For the relationship between dispositions and intentionality,
see Borghini (2009). A wider and ongoing debate regards the role of conditionals
in defining dispositions; for some recent contributions, see: Kment (2006); Manley
and Wasserman (2008, 2011); Schrenk (2009, 2010); Vetter (2011b, 2013a, 2013b,
2014); and Nolan (2015).
Among the articles that predate dispositionalism and anticipate some of its
ideas, see Mondadori and Morton (1976), Martin and Heil (1999), and Pruss (2002).
The view was first proposed in Borghini (2003), and then in Borghini and Williams
(2008), Jacobs (2010), Mumford and Anjum (2011), and Vetter (2015). A wide
debate has more recently ensued, which contains important developments; see
especially, Contessa (2010), Vance (2014), Austin (2015), Wang (2015), and Yates
(2015).
*****
The earlier literature on modality, arising from the work of Quine, was charac-
terized by an unwarranted contempt for modal notions. The subsequent
For a Quinian modal skeptic, modal monism does not even get started:
the Quinian would stop the monist right at the outset, arguing that we cannot
intelligibly speak of the necessary features of an entity, such as Foffo (cf.
Chapter 2). For this reason, the Quinian and the modal monist—as noted by
Fine in the foregoing passage—stand at opposite ends of a spectrum. The
position defended by Fine is intermediate: it is a form of modal pluralism.
Modal pluralism can be advocated more on the basis of general methodo-
logical considerations than by moving from specific arguments. It is indeed
not easy to see how a scenario could be naturally possible—that is to say,
physically, biologically, or chemically possible—and yet metaphysically impos-
sible, though perhaps some taxonomic puzzles, such as the platypus, or
some strains of bacteria may suggest nice examples (cfr. respectively Eco
(1999) and Ereschefski (2010)). But, the general methodological point is that
metaphysics is an autonomous domain of inquiry with respect to—say—
physics, chemistry, or biology. It makes little sense to try to understand,
much less explain, metaphysical necessities and possibilities in terms of
natural necessities and possibilities. Arguably, there is more to metaphysics
than what the natural sciences contemplate, while there may be modal
truths in the natural sciences that are hard to square with some metaphysical
tenets, as taxonomic puzzles indicate. We are better off thinking of the
domains as autonomous, though of course we can ask from time to time,
when it seems opportune, whether the domains are related or what sorts of
theoretical incompatibilities they might generate.
Fine’s view is a form of sparse pluralism, because according to him there
are only three distinct and autonomous sources of necessity: metaphysical,
natural, and normative. All other sorts of necessity and possibility can be
accounted for in terms of one of those three. We can envisage much less
parsimonious forms of pluralism—forms of abundant pluralism—which distin-
guish between dozens of varieties of modality.
We shall not venture into the details of abundant pluralism. Let us
nonetheless consider the modest plurality of forms of modality introduced
by the distinctive nature of mathematical and logical truths. Such truths
seem indeed to enjoy a special status with respect to spatio-temporal events
and facts. Consider first a material entity—say Foffo, the cat—and take the
following sentence expressing an alleged necessary truth regarding Foffo:
2 Necessarily: 2 + 2 = 4.
This time, it seems that the content expressed by (2) is not about the
necessary role that numbers play in the workings of worldly phenomena.
More than informing us that “2 + 2 = 4” is true whatever the case, (2) is
telling us that “2 + 2 = 4” no matter what is the case. The necessity of
mathematical truths, that is, seems to rest on their independence from what
is the case, rather than on a fixed role in what is the case (as in Foffo being
a cat). Similar considerations apply to logical truths and, perhaps, truths in
certain other fields (such as music theory). The distinction between the two
ways of being necessarily true—having a fixed role in worldly phenomena
versus being independently true—is sometimes rendered by claiming that
mathematical and logical truths are transcendent. Regardless of the specific
terminology, it is evident that there are good reasons to consider the source
of necessity for mathematical and logical truth distinct from the source of
necessity for natural and, perhaps, metaphysical truths. Modal monists face
the challenge of finding one unitary source for such disparate modalities.
It is opportune to recall that this volume is confined to alethic modalities.
Modal monism, as described here, is the contention that all alethic modalities
can be subsumed under one set of modalities. As we discussed in the
Introduction, there are several additional modalities besides the alethic,
including the temporal, the deontic, and the epistemic. A far more radical
form of monism would therefore contend that any modality—not only the
alethic ones—can be subsumed under one set of modalities. Typically, such a
position is suitable only for those who believe that all there is descends from
a single principle or entity. For instance, if God is ultimately the source of all
that there is and all truths—including all necessary and possible existents and
all necessary and possible truths—then perhaps we have reason to endorse
a form of radical modal monism; or, consider the position of those who
believe that we cannot escape language—that all there is is but a linguistic
construction: in this case, too, there may be room to endorse a radical form
of modal monism.
Before bringing this section to a close, let us note one form of necessity
that is at times subsumed under alethic necessity: normative necessity.
Some people contend that what is good can ultimately be explained in terms
of laws of nature (that is, certain natural necessities) or in terms of certain
metaphysical necessities. The positions that defend either of these claims are
far too numerous and articulated to be discussed here. But it is important to
recall the link between alethic modalities and normative ones.
§8.2. Grounding
We shall now examine the so-called notion of grounding, with a particular
focus on its relationship to necessity. We will start with some examples of
grounding. Consider the following sentences:
4 When Luca calls out “Foffo!”, Foffo comes to Luca, because Luca
always called it “Foffo”.
recent developments, such as Correia (2010) and Fine (2012), treat grounding
as a sentential connective, leaving somewhat open its metaphysical details.
This seems a sensible move, especially if we aim to have a notion that is
able to pick out a diverse range of scenarios. Thus, it may turn out that,
on some occasions grounding concerns facts, on others, propositions, on
others still, material objects or other individual entities; and yet, despite such
metaphysical differences, the same notion is at play.
Our brief foray into grounding is meant especially to emphasize the alleged
inadequacy of alethic necessity—in particular when understood as truth in all
possible worlds—for capturing absolute or universal ties. Semantic ties, the
nexuses between sets within a hierarchy, and the links between theoretical
facts cannot be readily accommodated in possible-worlds semantics. For this
reason, grounding may be regarded as a topic that reveals the shortcomings
of modal monism.
That said, further inspection may reveal that the cases assembled under
the label of grounding do not involve modal notions after all, or at least
not alethic modalities. Scenarios displaying grounding would likely then fall
into more than one non-modal category. For instance, some examples of
grounding may concern identity, which may be argued to be a non-modal
notion; other examples may involve normative necessity, which—as we saw
in the previous section—may well be autonomous with respect to alethic
necessity; other instances may involve semantic necessity, which again is
arguably independent of the alethic; and so on. So, modal monism may be
salvaged, if we are able to show that instances of grounding do not call upon
alethic modalities.
One important lesson for our discussion of alethic modalities can be
learned from considering the problem of grounding. At their most ambitious,
some modal monists (including prominent ones, such as Lewis) hoped to
explain even the problem of grounding itself in terms of alethic modalities;
those among them who were possible-worlds theorists and modal realists
hoped to reduce all modal talk to the non-modal existence of certain entities in
certain worlds. The past few years have cast severe doubts on the aspirations
of modal monists. More than fifty years have gone by since the formulation of
possible-worlds semantics; the semantics has proved very useful in a number
of cases; yet it seems far from providing sufficient conceptual resources to
analyze even the primary cases of grounding. If we add that the reductivist
efforts of modal realism also face formidable challenges, as we saw in
Chapter 4, we can conclude that it is important to take a piecemeal approach
to modal talk.
It seems obvious that I could have failed to exist. My parents could easily
never have met, in which case I should never have been conceived and
born. The like applies to everyone. More generally, it seems plausible
that whatever exists in space and time could have failed to exist. Events
could have taken an utterly different course. Our existence, like most
other aspects of our lives, appears frighteningly contingent. It is therefore
surprising that there is a proof of my necessary existence, a proof that
generalizes to everything whatsoever.
—Williamson (2002: 233)
(A) Necessarily, if I do not exist then the proposition that I do not exist
is true.
(B) Necessarily, if the proposition that I do not exist is true then the
proposition that I do not exist exists.
(C) Necessarily, if the proposition that I do not exist exists then I exist.
Let us briefly assess the argument, illustrating some ways in which its contro-
versial assumptions can be resisted (for further discussion, see the Further
Reading section). Sentence (A) establishes a necessary link between a
negative scenario (viz. that I do not exist) and the existence of a proposition.
Notoriously, philosophers have sought to deny that negative sentences, such
as “I do not exist”, require the existence of negative states of affairs or facts in
order to be regarded as true. If I do not exist, then I am featured in no states
of affairs or facts, and there is therefore no proposition featuring me. Thus, a
first way to resist the argument is to deny that my nonexistence necessitates
the existence of a proposition regarding me because there is no proposition
whatsoever where I am featured. That is, let us concede that my nonexistence
necessitates the existence of a proposition; that proposition, nonetheless, is
about entities other than me (one could maintain, for instance, that it is about
a total fact, where I am not featured). Whether all negative sentences can be
explained-away in terms of non-negative states of affairs or facts is, however,
controversial. Thus, sentence (A) has at the very least some plausibility.
Sentence (B) lays out a thesis about the metaphysics of propositions: true
propositions must exist. A way to resist such a thesis is to argue that not all
true propositions must exist: some of them can be metaphysically reduced to
other propositions. In the case in question, the proposition that I do not exist
can be metaphysically reduced—say—to a proposition about the totality of
existents, in which I do not feature. But such a move would require consid-
erable work on the metaphysics of propositions.
Sentence (C) exemplifies the thesis that every individual featured in a true
proposition must exist. Strategies to resist this claim have been endorsed in
contemporary metaphysics by conventionalists, for example, who wish to
maintain that propositions about things such as tables and chairs are true,
while denying that there are tables and chairs (see Hirsh (1997, 2009) and
Varzi (2002) for some examples).
Sentence (D) follows from sentences (A) through (C), and cannot be
questioned unless we give up basic inference rules of logic. The same goes
for sentence (E), even though it employs the more controversial logical
principle that, from a contradiction, anything follows; dialetheists, whom we
shall discuss in section §8.5., reject this principle and would therefore deny
that, because sentence (D) states a contradiction, sentence (E) follows.
Williamson’s argument, whether sound or not, puts in evidence a major
issue in modality, especially in connection with possible-worlds semantics:
our conception of propositions is deeply entrenched with the analytic
results of our modal theory. This is a vivid example of the interplay between
logic, semantics, and metaphysics: we end up with a metaphysical claim
concerning necessary existents based on some theses concerning proposi-
tions and truth. Specifically, if we endorse the three main theses displayed
in sentences (A) through (C) of Williamson’s argument, then we end up with
a fixed domain of entities for all possible worlds. While Williamson goes on
to construct a full-fledged modal theory based on this result, other authors
would regard the result as a major problem because it overrules—rather than
accommodating—modal intuitions as basic as that I might not have existed.
(For a comparison of Williamson’s and Lewis’s modal theories that is particu-
larly relevant to the ends of this volume, see Divers (2014d).)
§8.4. Meinongianism
Are there entities that do not exist? This question, which is about the
boundaries of reality, probes our ideas regarding the limits of possibility, and
therefore also regarding what is necessarily the case. It is thus important
to address this question in the context of a discussion of necessity and its
boundaries. So-called Meinongians answer the question positively. They have
enjoyed a poor reputation in logic and metaphysics; but, building on the works
of authors such as Parsons (1979, 1980) and Routley (1980), today, they are
having a comeback (see Nelson (2012) and Priest (2005) for an overview). In
this section, we shall focus especially on how Meinongianism is entangled
with the debates on the metaphysics of possibility and necessity.
Meinongianism—which owes its name to Alexius Meinong, an Austrian
philosopher and psychologist renowned for his theory of non-existent entities
(see Marek (2013))—is motivated by some simple and commonplace intui-
tions. Consider Foffo, the cat. Thus far, we have presumed that Foffo actually
does exist; but, we must confess, Foffo does not actually exist: Foffo is a
creature of our imagination. Now, in a certain sense, even though Foffo,
the cat, is not of this world, it still makes sense to maintain that Foffo does
exist; after all, we have been talking about this cat for an entire volume,
illustrating complex theories of modality thanks to it. Assuming that at least
some content was passed along through our illustrations involving Foffo, such
illustrations must have been about something. Foffo is no different than the
entities we encounter in novels, stories, movies, or in our imagination, and
that do not actually exist: to the extent that we interact (even only at the level
of imagination) with them, we may want to concede that they exist. That is
what the Meinongian does: according to the Meinongian, Foffo, along with all
other intentional entities, does exist.
The condition, here, stands for any assortment of properties; the requirement
of uniqueness is to ensure that the same specific entity is picked out on any
occasion—for example, that when we speak of Foffo we speak always of the
same entity.
Naïve Meinongianism faces several problems, some of which nicely illus-
trate the link between Meinongianism and theories of alethic modality. Two of
these problems deal precisely with completeness and consistency, the two
requirements that we find in modal realism (as well as in all other theories of
possibility we have surveyed so far) but that are not mentioned in the Naïve
Principle. First, consider incompleteness. According to the Naïve Principle,
there is exactly one entity that exemplifies the condition Being Foffo the cat.
That entity has only one property—Being Foffo the cat; anything else about
that entity is indeterminate: it is neither true nor false that it is white, neither
true nor false that it ate fish and potatoes, and so on. Most philosophers dislike
incomplete entities because they violate the so-called principle of bivalence,
according to which any sentence (expressing a proposition) is either true or
false. According to the view under discussion, there are infinite sentences
about the entity that exemplifies the condition Being Foffo the cat that are
neither true nor false. Is it really possible that entities violating bivalence exist?
The Naïve Principle violates not only bivalence, but also the principle
of non-contradiction (contradictory sentences cannot both be true at the
same time). According to the Naïve Principle, there is exactly one entity
that exemplifies the condition Being Foffo the cat and Being better than
any cat. But, if so, then this entity is better than itself (since it’s better
than any cat). Not only that, but according to the Naïve Principle there is also
exactly one entity that exemplifies the condition Being Foffo the cat and Being
self-distinct. This entity, then, is and is not identical to Foffo, the cat. Is it really
possible that entities violating consistency exist?
The third problem (already raised by Russell in response to Meinong;
see Nelson (2012)) is that, according to Naïve Meinongianism, there is no
restriction on the conditions on entities. We may require as a condition that
the entity exist. So, according to the Naïve Principle, there is exactly one
entity that exemplifies the condition Being Foffo the cat and existing. We
started from the intuition that there is a certain Foffo the cat that we have
been talking about and that does not exist, and Naïve Meinongianism has
forced us to admit its existence. This is striking and seems just plain wrong.
Meinongians have come up with different strategies to cope with the
difficulties of the Naïve Principle. One such strategy, famously defended by
Parsons (1980), distinguishes between nuclear and extra-nuclear properties:
the nuclear properties alone fix the identity (or, as some people say, the
“nature”) of an entity, while the extra-nuclear do not. The alleged violations
of bivalence and non-contradiction concern extra-nuclear properties and thus
are not really violations of bivalence and non-contradiction, after all; as for
existence, it is regarded as an extra-nuclear property, so it cannot be added
to the condition regarding Foffo, the cat. A second strategy (see Zalta (1988)
and (1983)) distinguishes between exemplifying and encoding a property:
exemplification is the familiar relation between entities and properties,
while encoding is the special relation at work in the case of conditions on
intentional entities, such as Foffo, the cat. According to this strategy, the
Naïve Principle specifies only encoded properties; but, we shall not worry if
encoded properties violate bivalence or contradiction, or if they violate intui-
tions about existence: since it is not exemplification to be at stake, no real
theoretical problem is posed. A third strategy (see Priest (2005) and Berto
(2013a) and (2012)) goes in the direction of Lewisian Meinongianism and is
known as Modal Meinongianism; the strategy consists in modifying the Naïve
Principle, adding the proviso that any condition is fulfilled at some world:
Since the end of the 1990s, a variety of strategies have been developed
to fix the language in which we talk about impossible worlds and, thus,
overcome objections, such as the one Lewis raises. The strategies exploit
the longstanding discussion of how to deal with apparent cases of contradic-
tions, also known as dialetheias. A dialetheia is a sentence such that both it
and its negation are true. Some apparent dialetheias, such as those arising
in connection with the so-called Liar’s Paradox, have been well-known for
millennia. Dialetheism is the view that accepts that there are dialetheias, and
tries to accommodate them within logic and language (see Priest and Berto
(2013) for an introductory discussion). The logic and language developed to
deal with dialetheism can be employed to provide a theory of impossible
worlds.
We now seem to have sufficient logical and conceptual resources to deal
with impossible scenarios and impossible worlds. Impossible scenarios and
worlds have the potential to considerably enrich the metaphysical appara-
tuses of the theories of possibility discussed in the previous chapters. Yet,
how innocent are impossible worlds from a metaphysical point of view?
What is the theoretical cost of accepting them into one’s metaphysics?
These questions remain to be fully addressed. We must ascertain, on a
case-by-case basis, whether and how each view (e.g. modal realism, modal
fictionalism, linguistic ersatzism, and so on) can integrate impossible worlds
into its theoretical framework. For some recent contributions on this issue,
see especially Yagisawa (2010) and Jago (2014).
Study Questions
• What is the modal myopia that, according to Fine, characterizes the
contemporary debate about modalities?
• What is modal monism?
• What are some chief motivations for modal monism?
• What is modal pluralism?
• What are some chief motivations for modal pluralism?
• What is the distinction between worldly and transcendental necessary
truths?
• Put forward at least three different and original illustrations of
grounding.
• What is the relationship between grounding and alethic necessity?
• What is the relationship between grounding and non-alethic necessity?
• What is a necessary existent?
• What is Williamson’s alleged proof of necessary existence?
• What reasons can be advanced to resist Williamson’s proof?
• What is Meinongianism?
• What is naïve Meinongianism?
• What problems does naïve Meinongianism face?
• What strategies can be used to address the problems of naïve
Meinongianism?
• What are the two lines of reasoning that invite us to postulate
impossible worlds?
• What reasons do we have for not endorsing impossible worlds?
• What is a dialetheia?
FURTHER READING
Standard readings on the varieties of necessity are Sidelle (1989, 2002), as well
as Fine (2005). An essential reading, important for appreciating the contemporary
debate, is Kripke (1980); other classic readings include Farrell (1981), Hirsch (1986),
Plantinga (1992), Peacocke (1997), and Shoemaker (1998). For some recent work on
metaphysical necessity, see Drewery (2005), Williamson (2005), Bealer (2006), the
essays in Hale and Hoffman (2010), Cameron (2010), Nolan (2011), and Correia (2012).
Bliss and Trogdon (2014) and Raven (2015) provide an exhaustive and short
overview of metaphysical grounding, with an updated bibliography; other
starting points can be Clark and Liggins (2012) and Trogdon (2013). An opinionated
introductory reading on the topic is Fine (2012). In general, the essays contained in
Correia and Schnieder (2012) can be a good starting point to delve deeper into the
issue of metaphysical grounding.
▲
W e have now reached the conclusion of our analysis of the eight theories
of possibility that have emerged from the last fifty years of debate in
analytic metaphysics, and that now characterize this branch of philosophy.
Along the way, we encountered nineteen solutions to the PP, which are worth
recalling; let us list them:
To this already striking list, we should add the two skeptical options seen
in Chapter 2. Additionally, we should recall that, for each of the nineteen
solutions, we can ask how it would be affected by the varieties of necessity
and possibly enriched with Meinongianism or a theory of impossible worlds.
Two main lessons can be drawn from our lengthy discussion. The first
concerns the metaphysical status of modality: even if we endorse the most
powerful and radical theory—that is, modal realism—we are unable to fully
reduce modal entities to non-modal ones. Regardless of any reductive aspira-
tions, therefore, and given our best metaphysical theories, some modal
entities are nonetheless here to stay.
Chignell, A. (2012), “Kant, Real Possibility, and the Threat of Spinoza”. Mind 121:
635–75.
Chihara, C. (1998), The Worlds of Possibility. Modal Realism and the Semantics
of Modal Logic. Oxford University Press, Oxford.
Clark, M. and D. Ligging (2012), “Recent Work on Grounding”. Analysis 72: 812–23.
Cohen, M. S. (2014), “Aristotle’s Metaphysics”. In E. N. Zalta (ed.), The Stanford
Encyclopedia of Philosophy (Summer 2014). Available from <http://plato.
stanford.edu/archives/sum2014/entries/aristotle-metaphysics/
Contessa, G. (2013), “Dispositions and Interferences”. Philosophical Studies 165:
401–19.
Contessa, G. (2010), “Modal Truth-Makers and Two Varieties of Actualism”.
Synthese 174: 342–53.
Copeland, B. J. (2002), “The Genesis of Possibile Worlds Semantics”. Journal of
Philosophical Logic 31: 99–137.
Correia, F. (2012), “On the Reduction of Necessity to Essence”. Philosophy and
Phenomenological Research 84: 639–53.
Correia, F. (2010), “Grounding and Truth-Functions”. Logique et Analyse 53:
251–79.
Correia, F. and B. Schnieder (eds) (2012), Metaphysical Grounding:
Understanding the Structure of Reality. Cambridge: Cambridge University
Press.
Corry, R. (2011), “Can Dispositional Essences Ground the Laws of Nature?”
Australasian Journal of Philosophy 89: 263–75.
Craig, E. (2002), “The Idea of Necessary Connexion”. In P. Millican (ed.),
Reading Hume on Human Understanding. Oxford: Oxford University Press:
211–30.
Craig, W. L. (1988), The Problem of Divine Foreknowledge and Future
Contingents from Aristotle to Suárez. Leiden: Brill.
Cresswell, M. J. (1972), “The World Is Everything That Is the Case”. Australasian
Journal of Philosophy 50: 1–13.
Cunning, D. (2014), “Descartes’ Modal Metaphysics”. In E. N. Zalta (ed.), The
Stanford Encyclopedia of Philosophy (Spring 2014). Available from http://plato.
stanford.edu/archives/spr2014/entries/descartes-modal/
Curley, E. (1984), “Descartes on the Creation of the Eternal Truths”. The
Philosophical Review 93: 569–97.
Curley, E. and G. Walski (1999), “Spinoza’s Necessitarianism Reconsidered”. In R.
Gennaro and C. Huenemann (eds), New Essays on the Rationalists. Oxford:
Oxford University Press: 241–62.
Darby, G. and D. Watson (2010), “Lewis’s Principle of Recombination: Reply to
Efird and Stoneham”. Dialectica 64: 435–45.
Denby, D. A. (2008), “Generating Possibilities”. Philosophical Studies 141:
191–207.
Denby, D. A. (2006), “In Defense of Magical Ersatzism”. The Philosophical
Quarterly 56: 161–74.
Denyer, N. and S. Makin (2000), “Aristotle on Modality”. Proceedings of the
Aristotelian Society, Supplementary Volumes 74: 143–61, 163–78.
De Pierris, G. and M. Friedman (2013), “Kant and Hume on Causality.” In E. N.
Zalta (ed.), The Stanford Encyclopedia of Philosophy (Winter 2013). Available
from http://plato.stanford.edu/archives/win2013/entries/kant-hume-causality/>
Gabbay Dov, M. and J. Woods (eds) (2004a), Handbook of the History of Logic
Vol. 1. Greek, Indian and Arabic Logic. Amsterdam: Elsevier.
Gabbay Dov, M. and J. Woods (eds) (2004b), Handbook of the History of Logic
Vol. 3. The Rise of Modern Logic: Leibniz to Frege. Amsterdam: Elsevier.
Garrett, D. (2001), “Spinoza”s Necessitarianism”. In Y. Yovel (ed.), God and Nature
in Spinoza”s Metaphysics. Leiden: E. J. Brill: 191–218.
Garrett, D. (1985), “Priority and Separability in Hume’s Empiricism”. Archiv für
Geschichte der Philosophie 67: 270–88. Reprinted in D. W. D. Owen (ed.)
(2000), Hume: General Philosophy, The International Library of Critical Essays
in the History of Philosophy. Aldershot: Dartmouth Publishing Company: 71–89.
Garson, J. W. (2006), Modal Logic for Philosophers. Cambridge: Cambridge
University Press.
Gaskin, R. (1995), The Sea Battle and the Master Argument: Aristotle and
Diodorus Cronus on the Metaphysics of the Future. Berlin and New York: De
Gruyter.
Geirsson, H. (2014), “Conceivability and Coherence: A Skeptical View of
Zombies”. Erkenntnis 79: 211–25.
Geirsson, H. (2005), “Conceivability and Defeasible Modal Justification”.
Philosophical Studies 122: 279–304.
Gendler, T. S. and J. O’Leary-Hawthorne (eds) (2002), Conceivability and
Possibility. Oxford: Oxford University Press.
Gibbard, A. (2003), Thinking How to Live. Cambridge, MA: Harvard University
Press.
Gibbard, A. (1990), Wise Choices, Apt Feelings. Cambridge, MA: Harvard
University Press.
Girle (2003), Possible Worlds. Montreal: McGill–Queens University Press.
Girle (2000), Modal Logics and Philosophy. Teddington: Acumen.
Goble, L. (2006), “Paraconsistent Modal Logic”. Logique et Analyse 193: 3–29.
Haack, S. (1978), Philosophy of Logics. Cambridge: Cambridge University Press.
Hacking, I. (2009), The Social Construction of What? Cambridge, MA: Harvard
University Press.
Hale, B. (1995a), “A Desperate Fix”. Analysis 55: 74–81.
Hale, B. (1995b), “Modal Fictionalism: A Simple Dilemma”. Analysis 55: 63–7.
Hale, B. (1993), “Can There Be a Logic of Attitudes?”. In J. Haldane and C. Wright
(eds), Reality, Representation and Projection. Oxford: Oxford University
Press: 337–63.
Hale, B. and A. Hoffman (eds) (2010), Modality: Metaphysics, Logic, and
Epistemology. Oxford: Oxford University Press.
Harré, R. (1970), “Powers”. British Journal for the Philosophy of Science 21:
81–101.
Hasle, P. and P. Øhrstrøm (2011), “Future Contingents”. In E. N. Zalta (ed.), The
Stanford Encyclopedia of Philosophy (Summer 2011). Available from http://
plato.stanford.edu/archives/sum2011/entries/future–contingents/
Hawke, P. (2011), “Van Inwagen”s Modal Skepticism”. Philosophical Studies 153:
351–64.
Heil, J. (2003), From an Ontological Point of View. Oxford: Oxford University
Press.
Heller, M. (2005), “Anti–Essentialism and Counterpart Theory”. The Monist 88:
600–18.
Heller, M. (2002), “Transworld Identity for the Ersatzist”. Philosophical Topics 30:
77–102.
Heller, M. (1998), “Property Counterparts in Ersatz Worlds”. The Journal of
Philosophy 30: 293–316.
Heller, M. (1996), “Ersatz Worlds and Ontological Disagreement”. Acta Analytica
15: 35–44.
Hendricks, V. F. and J. Symons (2005), Formal Philosophy. New York: Automatic
Press/VIP.
Hintikka, J. (1975), “Impossible Possible Worlds Vindicated”. Journal of
Philosophical Logic 4: 475–84.
Hintikka, J. (1973), Time and Necessity: Studies in Aristotle’s Theory of Modality.
Oxford: Oxford University Press.
Hintikka, J. (1963), “The Modes of Modality”. Acta Philosophica Fennica 16:
65–79.
Hintikka, J. (1961), “Modality and Quantification”. Theoria 27: 119–28.
Hintikka, J., U. Remes, and S. Knuuttila (1977), Aristotle on Modality and
Determinism. Amsterdam: North-Holland.
Hirsch, E. (2009), “Ontology and Alternative Languages”. In D. J. Chalmers,
D. Manley, and R. Wasserman (eds), Metametaphysics. New Essays on the
Foundations of Ontology. Oxford: Oxford University Press: 231–58.
Hirsch, E. (1997), Dividing Reality. Oxford: Oxford University Press.
Hirsch, E. (1986), “Metaphysical Necessity and Conceptual Truth”. Midwest
Studies in Philosophy 11: 243–56.
Huggett, N. (2010), “Zeno’s Paradoxes”. In E. N. Zalta (ed.), The Stanford
Encyclopedia of Philosophy (Winter 2010). Available from http://plato.stanford.
edu/archives/win2010/entries/paradox-zeno/
Hughes, G. E. and M. J. Cresswell (1984), A Companion to Modal Logic.
London: Methuen.
Hughes, G. E. and M. J. Cresswell (1968), An Introduction to Modal Logic.
London: Methuen.
Humberstone, L. (2007), “Modal Logic for Other-World Agnostics: Neutrality and
Halldén Incompleteness”. Journal of Philosophical Logic 36: 1–32.
Hylton, P. (2007), Quine. New York: Routledge.
Ichikawa, J. and B. Jarvis (2012), “Rational Imagination and Modal Knowledge”.
Noûs 46: 127–58.
Jackson, F. and G. Priest (eds) (2004), Lewisian Themes: The Philosophy of David
K. Lewis. Oxford: Clarendon Press.
Jacobs, J. D. (2010), “A Powers Theory of Modality: Or, How I Learned to
Stop Worrying and Reject Possible Worlds”. Philosophical Studies 151:
227–48.
Jago, M. (2014), The Impossible. An Essay on Hyperintensionality. Oxford:
Oxford University Press.
Jago, M. (2013a), “Impossible Worlds”. Noûs 47: 713–28.
Jago, M. (2013b), “Against Yagisawa’s Modal Realism”. Analysis 73: 10–17.
Jauernig, A. (2008), “The Modal Strength of Leibniz’s Principle of the Identity of
Indiscernibles”. Oxford Studies in Early Modern Philosophy 4: 191–225.
Jenkins, C. S. (2010), “Concepts, Experience and Modal Knowledge”.
Philosophical Perspectives 24: 255–79.
Jubien, M. (2009), Possibility. Oxford: Oxford University Press.
Linsky, B. and E. Zalta (1994), “In Defense of the Simplest Quantified Modal
Logic”. In J. Tomberlin (ed.), Philosophical Perspectives 8: Logic and
Language. Atascadero: Ridgeview: 431–58.
Loewer, B. and J. Schaffer (2015), “A Companion to David Lewis”. Oxford:
Blackwell Publishers.
Look, B. C. (2013), “Leibniz’s Modal Metaphysics”. In E. N. Zalta (ed.), The
Stanford Encyclopedia of Philosophy (Spring 2013). Available from http://plato.
stanford.edu/archives/spr2013/entries/leibniz-modal/
Loux, M. J. (2006), Metaphysics: A Contemporary Introduction, 3rd edn. New
York: Routledge.
Loux, M. J. (ed.) (1979), The Possible and the Actual. Readings in the
Metaphysics of Modality. Ithaca, NY: Cornell University Press.
Lowe, E. J. (2012), “What is the Source of our Knowledge of Modal Truths?”
Mind 121: 919–50.
Lowe, E. J. (2006), The Four-Category Ontology: A Metaphysical Foundation for
Natural Science. Oxford: Oxford University Press.
Lycan, W. (1979), “The Trouble With Possibile Worlds”. In M. J. Loux (ed.), The
Possible and the Actual Readings in the Metaphysics of Modality. Ithaca, NY:
Cornell University Press: 274–316.
Machiavelli, N. (1513), The Prince. Trans. by H. C. Mansfield. Chicago: University
of Chicago Press, 1985.
Mackie, P. (2006), How Things Might Have Been: Individuals, Kinds, and
Essential Properties. Oxford: Oxford University Press.
Malink, M. (2006), “A Reconstruction of Aristotle’s Modal Syllogistic”. History and
Philosophy of Logic 27: 95–141.
Manley, D. and R. Wasserman (2011), “Dispositions, Conditionals, and
Counterexamples”. Mind 120: 1191–227.
Manley, D. and R. Wasserman (2008), “On Linking Dispositions and
Conditionals”. Mind 117: 59–84.
Marcus, R. B. (1993), Modalities: Philosophical Essays. Oxford: Oxford University
Press.
Marek, J. (2013), “Alexius Meinong”. In E. N. Zalta (ed.), The Stanford
Encyclopedia of Philosophy (Fall 2013). Available from http://plato.stanford.
edu/archives/fall2013/entries/meinong/
Marmodoro, A. (2015), “Potentiality in Aristotle’s Metaphysics”. In K. Engelhard
and M. Quante (eds), The Handbook of Potentiality. Dordrecht: Springer:
forthcoming.
Martin, C. (2010), “A New Challenge to the Necessitarian Reading of Spinoza”.
Oxford Studies in Early Modern Philosophy 5: 25–70.
Martin, C. B. (1994), “Dispositions and Conditionals”. The Philosophical Quarterly
44: 1–8.
Martin, C. B. and J. Heil (1999), “The Ontological Turn”. Midwest Studies in
Philosophy 23: 34–60.
Mates, B. (1986), The Philosophy of Leibniz. Metaphysics and Language. Oxford:
Oxford University Press.
Mates, B. (1972), “Leibniz on Possible Worlds”. In H. Frankfurt (ed.), Leibniz. A
Collection of Critical Essays. New York: Doubleday: 335–64.
McDaniel, K. (2006), “Modal Realism”. Philosophical Perspectives: Metaphysics
20: 303–31.
Rescher, N., R. Manor, A. Vander Nat, and Z. Parks (eds) (1974), Studies in
Modality. Oxford: Blackwell.
Rini, A. (2010), Aristotle’s Modal Proofs: Prior Analytics A 8-22 in Predicate Logic,
The New Synthese Historical Library 68. Dordrecht: Springer.
Robertson, T. and P. Atkins (2013), “Essential vs. Accidental Properties”.
In E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Winter
2013). Available from http://plato.stanford.edu/archives/win2013/entries/
essential–accidental/
Roca–Royes, S. (2011), “Conceivability and De Re Modal Knowledge”. Noûs 45:
22–49.
Rorabiji, R. (1980), Necessity, Cause and Blame. Perspectives on Aristotle’s
Theory. Ithaca, NY: Cornell University Press.
Rosen, G. (1995), “Modal Fictionalism Fixed”. Analysis 55: 67–73.
Rosen, G. (1993), “A Problem for Fictionalism about Possible Worlds”. Analysis
53: 71–81.
Rosen, G. (1990), “Modal Fictionalism”. Mind 99: 327–54.
Routley, R. (1980), Exploring Meinong’s Jungle and Beyond. Canberra: Australian
National University Press.
Roy, T. (1995), “In Defense of Linguistic Ersatzism”. Philosophical Studies 80:
217–42.
Rudder Beker, L. (1985), “Was Leibniz Entitled to Possible Worlds?” Canadian
Journal of Philosophy 15: 57–74.
Rumfitt, I. (2003), “Contingent Existents”. Philosophy 78: 461–81.
Russell, B. (2014), “A Priori Justification and Knowledge”. In E. N. Zalta (ed.) The
Stanford Encyclopedia of Philosophy (Summer 2014). Available from http://
plato.stanford.edu/archives/sum2014/entries/apriori/
Ryle, G. (1949), The Concept of Mind. London: Hutchinson.
Sauchelli, A. (2013), “Modal Fictionalism, Possible Worlds, and Artificiality”. Acta
Analytica 28: 411–21.
Schrenk, M. (2010), “The Powerlessness of Necessity”. Noûs 44: 725–39.
Schrenk, M. (2009), “Hic Rhodos, Hic Salta: From Reductionist Semantics to
a Realist Ontology of Forceful Dispositions”. In G. Damschen, R. Schnepf,
and K. Stueber (eds), Debating Dispositions: Issues in Metaphysics,
Epistemology, and Philosophy of Mind. Berlin: De Gruyter: 145–67.
Shalkowski, S. (1994), “The Ontological Ground of the Alethic Modality”. The
Philosophical Review 103: 669–88.
Shoemaker, S. (1998), “Causal and Metaphysical Necessity”. Pacific Philosophical
Quarterly 79: 59–77.
Shoemaker, S. (1980), “Causality and Properties”. In P. Van Inwagen (ed.),
Time and Cause: Essays Presented to Richard Taylor. Dordrecht: D. Reidel
Publishing: 109–36.
Shroeder, M. (2010), Noncognitivism in Ethics. London: Routledge.
Shroeder, M. (2008a), “Expression For Expressivists”. Philosophy and
Phenomenological Research 76: 86–116.
Shroeder, M. (2008b), “How Expressivists Can and Should Solve their Problem
with Negation”. Noûs 42: 573–99.
Sidelle, A. (2009), “Conventionalism and the Contingency of Conventions”. Noûs
43: 224–41.
Sidelle, A. (2002), “On the Metaphysical Contingency of Laws of Nature”. In
Rosen, Gideon 14, 80, 81, 140–4, 155 Zeno of Elea 20–5, 41, 42, 47