Writing The Book of The World
Writing The Book of The World
Theodore Sider
where L is some location occupied by x but not y. Object x has each of these
features; object y lacks each.
The crux is obviously the philosopher’s willingness to allow such
“features” as being either an electron or a cow, and to treat them on a par
with features like being an electron and being a cow. If we had nothing but
the philosopher’s features to go by, then indeed, we wouldn’t be able to make
any sense of a “correct” way to group our three objects, or of the electrons
being more similar to each other than to the cow. If, on the other hand, we
could make a distinction between genuine features—features that are
fundamental, that carve nature at the joints, whose sharing makes for
similarity—and the rest, then we could say what we want. Can we make this
distinction?
Concepts and distinctions that resist definition in terms of the popular
philosophical ideology of the day tend to be viewed with suspicion. Thus it
was that throughout much of the twentieth century, philosophers tended not
to speak of genuine features. Quine’s extensionalism, for example, which
dominated the 1950s and 1960s, allowed only a meager set of concepts to be
used in drawing distinctions (roughly, those of first-order logic plus an array
of scientific predicates). Noticing the presence of disjunction in the
definitions of many philosopher’s features, an extensionalist might begin an
attempt to characterize genuineness by disqualifying features defined in this
way. But what language do we use to evaluate whether a feature is “defined
using disjunction”? Speakers of English must use ‘or’ to define the feature:
being an electron or cow, but speakers of a language with a primitive
predicate for this feature—‘blurg’, call it—can define the same extension
without using ‘or’. Indeed, if the language is strange enough, its speakers
would need to use ‘or’ and other logical connectives to say things that in
English may be said using simple predicates like ‘cow’ and ‘electron’, just as
we must use logically complex predicates of English to say what they say
using ‘blurg’. The extensionalist attempt fails to characterize an appropriately
language-independent notion of genuineness.1
In the 1970s, modality became kosher ideology, and there were renewed
attempts to define concepts in the vicinity of structure. For instance, Roderick
Chisholm (1976, p. 127) and Jaegwon Kim (1982, pp. 59-60) tried to give a
modal definition of the notion of an intrinsic property—a property that an
object has just by virtue of what it’s like in itself, independently of how it is
related to other objects. They proposed, roughly, that a property is intrinsic if
and only if it is possibly instantiated by an object that is alone in the world.
But this definition was shown to be unacceptable. The property of being
alone in the world, and the property of either (being alone in the world and
being green) or (not being alone in the world and being blue), satisfy the
definition but are extrinsic (Lewis, 1983a).
(The 70s’ fixation on modality was doubly unfortunate. Not only are
modal tools too crude;2 they’re also distant from the subject matter of most of
metaphysics. It is needlessly indirect to approach the question of what the
world is like by asking what it must be like and what it might have been
like.3)
Since the 1980s many philosophers have become comfortable with a
richer ideology, one that includes notions in the vicinity of “genuine feature”,
“intrinsic property”, and the like. The zeitgeist has been that these notions are
legitimate even if they cannot be defined in other terms. Two Davids have led
the way.4 David Armstrong (1978a; b) used the traditional doctrine of
universals to draw the distinction between genuine and nongenuine features.
Some predicates, like ‘is an electron’, perhaps, stand for universals,
Armstrong said; but others do not: there simply is no universal of “being
either a cow or an electron”. Through sheer force of will as much anything,
he put realism about genuine features on the map. But as our second David,
David Lewis (1983b) showed, Armstrong embedded this insight in a quite
independent dialectic: the traditional debate over the existence of universals
and their role in a general analysis of predication. According to Lewis, we
can incorporate Armstrong’s insight by admitting a notion of “natural
properties and relations” (those properties and relations that carve nature at
the joints) without thinking of these as universals in the traditional sense, and
without taking on the (misguided, according to Lewis) project of giving a
general analysis of predication. The notion of a genuine feature was thus
freed from unwanted entanglements.
Of course, everyone can agree that there is some difference between being
an electron and being either an electron or a cow. If nothing else, ordinary
English has a single word for the former attribute. What distinguishes
Armstrong and Lewis is that they regard the distinction as objective.
Structure, too, is to be understood as objective. There are hard questions
about what objectivity amounts to (some of which will be discussed in
chapter 4), but the intuitive idea is clear: whether a property, word, or
concept5 carves at the joints has nothing to do with the place of the concept in
human languages, conceptual schemes, biology, or anything like that. Thus
“fundamental” (which I use more or less interchangeably with “joint-carving”
and “part of reality’s structure”) signifies a metaphysical, rather than
conceptual, sort of fundamentality. Humans may need to acquire other
concepts first before they grasp joint-carving ones; and conversely, those
concepts we acquire first, or most easily, may fail to carve at the joints.
1 The paradigm of first-order logic had perhaps the following additional influence. The standard
model theory of first-order logic treats the semantic values of (n-place) predicates as subsets of the (n-
place Cartesian product of the) domain. Viewed from a purely set-theoretic perspective, the semantic
values of the predicates ‘is an electron’ and ‘is an electron or cow’ are on a par: each is a subset of the
domain.
2 On which see, for instance, Fine (1994a); Restall (1996).
3 I also suspect that the right account of how the world might have been and must be defers to how
the world is (chapter 12).
4 Earlier relevant work includes Quinton (1958); Quine (1969); Putnam (1975c); Bealer (1982,
chapter 8).
5 Subtleties will come later, but to forestall misunderstanding: 1. Structure is a worldly, not
conceptual or linguistic, matter (my informal talk of “notion/word/concept X carves at the
joints”notwithstanding). 2. ‘Structure’ is not a noun; structure is not an entity or stuff (this very
sentence, and phrases like “how much structure the world contains”, notwithstanding). 3. ‘Structure’
and its variants are not predicates—not of properties, nor of any other sorts of entities (“charge carves
at the joints” notwithstanding). 4. My most basic notion of structure is absolute, although I allow a
derivative notion that comes in degrees. 5. Structure includes distinguished monadic features (such as
charge), not just relational ones (despite what may be suggested by the term ‘structure’).
6 Plus the concept of structure itself! See section 7.13.
2 Primitivism
I cannot define ‘structure’. As we will see, a rich characterization can be
given: connections to other concepts, theses about its behavior, and an
official regimentation for talking about it. But none of this will add up to a
definition. Indeed, I will argue in section 7.13 that structure is perfectly
fundamental.
2.1 Understanding
I know from bitter experience that philosophers are wary of this primitivism.
Many times I have been asked (to murmuring general approval): “What on
earth do you mean by ‘structure’??”.
Let’s be realistic about the extent and value of definitions. Philosophical
concepts of interest are rarely reductively defined. Still more rarely does our
understanding of such concepts rest on definitions.
On what does our understanding of philosophical concepts rest?
Sometimes there is a perceptual basis: we directly experience space and time,
perhaps. But the perceptual model is mostly unhelpful (think of modality,
logic, laws of nature, identity over time, morality justice, knowledge,
justification, …). We generally “understand” philosophical concepts to the
extent that we know what role they play in our thinking. (Understand “role”
here very broadly, so as to include particular “cases”—we judge Gettier’s
(1963) Smith not to know that Jones owns a Ford or Brown is in Barcelona—
as well as general inferential patterns—we think of identity as a transitive
relation; we think of inability to refrain from action as an excuse.)
Philosophers sometimes slip into a magical-grasp picture of
understanding. An opponent wields a crucial term. She will not be bullied
into equating it with some combination of preferred terms. An inward search
for a mystical mental state of UNDERSTANDING comes up empty. The
opponent is pronounced confused or obscure.
Philosophical terms can be unclear: when they have been given no clear
theoretical role to play. But ‘structure’ has a relatively clear role—given in
this book and elsewhere. What more is wanted? The perceived magical grasp
of more familiar concepts like modality, in-virtue-of, or law of nature, is due
solely to the fact that we’ve become accustomed to talking about them. The
theoretical roles backing those concepts are no richer or better specified than
the role backing structure. Philosophy is not just the building of theories on
previously existing concepts. We also build new concepts, by building
theories that use them.
This is not to say that all there is to meaning and reference is inferential
role. Meaning and reference may well be determined by external factors that
transcend inferential role (see section 3.2). So even if structure’s inferential
role is richly specified, the concept may nevertheless fail to refer to anything.
But that’s true of any philosophical concept: the world may simply fail to
contain anything—or any unique thing—fitting the inferential role associated
with the concept. My hope is that this unhappy possibility is not realized.
2.3 Epistemology
A typical follow-up to “What do you mean by ‘structure’?” is “How are we
supposed to know—or even, reasonably believe—anything about structure?”
Unless structure is defined in more familiar terms, it’s thought, facts about
structure become epistemically inaccessible.
The epistemic worry leads to a further worry about understanding.
Suppose we reject the magical-grasp picture of understanding, as urged
above. Perhaps we replace it with a more inferentialist picture. But then, if
facts about structure are unknowable, structure-talk becomes inferentially
isolated, in which case our understanding of such talk is again threatened.
But why think that primitivism about structure has such drastic epistemic
consequences? The dialectic here is a familiar one. A “realist” resists
downsizing the facts in some domain—reducing them or regarding them as
subjective—and so is accused of making the facts in that domain
unknowable. Her response is fallibilist epistemology: the subjective or
reductive facts that her opponents offer as replacements are instead fallible
guides to the upsized facts.
Most philosophers are comfortable with taking the realist side of this
dialectic in the most familiar case: they reject Berkeleyan idealism,
phenomenalism, and other downsized conceptions of the external world, and
instead regard ordinary evidence as a fallible guide to upsized facts. But their
ranks dwindle as the subject matter becomes more metaphysical. The reason
for this is simple: many of our models of the nature of reasonable—albeit
fallible—belief about the external world do not apply straightforwardly to
beliefs about more metaphysical matters. For example, we do not seem to be
in causal contact with the facts debated by metaphysicians in the same way
that we are in causal contact with more familiar facts about the external
world.
But the models that immediately disallow reasonable belief in
metaphysics are too simplistic, and as a result are in trouble anyway. Our
causal contact with the facts of logic, mathematics, and particle physics, for
example, is quite unlike our causal contact with the facts of the everyday
external world. The ray of hope for the metaphysician is this: when the
models become more sophisticated, allowing for reasonable belief in logic,
mathematics, and particle physics, perhaps they will also allow for reasonable
belief in metaphysics as well.
The epistemology of metaphysics is far from clear; this any metaphysician
should concede. For what it’s worth, as a general epistemology of
metaphysics I prefer the vague, vaguely Quinean, thought that metaphysics is
continuous with science. We employ many of the same criteria—whatever
those are—for theory choice within metaphysics that we employ outside of
metaphysics. Admittedly, those criteria give less clear guidance in
metaphysics than elsewhere; but there’s no harm in following this argument
where it leads: metaphysical inquiry is by its nature comparatively
speculative and uncertain.
This Quinean thought suggests an epistemology for structure in particular.
Quine’s advice for forming ontological beliefs is familiar: believe the
ontology of your best theory. Theories are good insofar as they are simple,
explanatorily powerful, integrate with other good theories, and so on. We
should believe generally what good theories say; so if a good theory makes
an ontological claim, we should believe it. The ontological claim took part in
a theoretical success, and therefore inherits a borrowed luster; it merits our
belief. This all is familiar; but a believer in structure can say more. A good
theory isn’t merely likely to be true. Its ideology is also likely to carve at the
joints. For the conceptual decisions made in adopting that theory—and not
just the theory’s ontology—were vindicated; those conceptual decisions also
took part in a theoretical success, and also inherit a borrowed luster. So we
can add to the Quinean advice: regard the ideology of your best theory as
carving at the joints. We have defeasible reason to believe that the conceptual
decisions of successful theories correspond to something real: reality’s
structure.
The term ‘ideology’, in its present sense, comes from Quine (1951a;
1953). It is a bad word for a great concept. It misleadingly suggests that
ideology is about ideas—about us. This in turn obscures the fact that the
confirmation of a theory confirms its ideological choices and hence supports
beliefs about structure. A theory’s ideology is as much a part of its worldly
content as its ontology.
The familiar Quinean thought is that we search for the best—simplest, etc.
—theory that explains our evidence. My addition to this thought—though it
may have been implicit all along—is that this search is ideological as well as
doctrinal; we search simultaneously for a set of concepts and a theory stated
in terms of those concepts. We solve for the best and most explanatory pair
〈I, T1〉 of ideology I and theory TI in terms of that ideology. We do not hold
fixed our initial ideological choices (‘fire’, ‘air’, ‘water’ …) since there may
be limits to how good a theory can be formulated in those terms. Many of the
most dramatic advances in science are ideological; a new ideology (such as
that of Minkowskian spacetime) can dissolve intractable problems and enable
new, more powerful theories.
(Sometimes our evidence does not support a unique pair 〈I, TI〉. This is not
in itself worrisome; we do not know everything, after all. But in some cases,
it is hard to see what evidence could be mustered in favor of one pair rather
than another. For example, should our fundamental theory of part and whole
take ‘part’ or ‘overlap’ as primitive? Should our fundamental logical theory
take conjunction and negation, or instead, disjunction and negation, as
primitive? In such cases it’s hard to see how to choose, and indeed, hard to
believe that there could be a single correct choice. We will return to this issue
in section 10.2.)
The Quinean thought rationalizes commonly held beliefs about what is
fundamental. Nearly everyone agrees that physical notions like mass and
spatiotemporality are fundamental. These beliefs are reasonable because
those notions are drawn from highly successful theories.
The Quinean thought also rationalizes changes in beliefs about what is
fundamental. The special theory of relativity led to (at least) two such
changes. First, we came to regard electromagnetism as a single fundamental
force, rather than regarding electricity and magnetism as separate
fundamental forces.3 And second, we came to regard spacetime as lacking
absolute spatial and temporal separation. These changes weren’t ontic:
changes in which entities are accepted. Nor were they merely doctrinal:
changes in view, but phrased in the old terms. The changes were rather
ideological: we revised our fundamental ideology for describing the world.
The changes are rationalized by the Quinean thought because the
fundamental ideology of the special theory of relativity differs from the
fundamental ideology of Newtonian physics: in place of electrical, magnetic,
spatial, and temporal ideology, the special theory has unified ideology for
electromagnetism and unified ideology for spatiotemporal metrical structure.
The Quinean thought about ontology is sometimes put in terms of
indispensability: believe in the entities that are indispensable in your best
theory. The analogous thought about ideology may be similarly put: regard as
joint-carving the ideology that is indispensable in your best theory. This is
fine provided “indispensable” is properly understood, as meaning: “cannot be
jettisoned without sacrificing theoretical virtue”. The indispensability
argument for mathematical entities is not refuted by just any nominalistic
alternative to platonist mathematical physics. The nominalistic alternative
must be attractive as a scientific theory; it must compete with the platonist
theory for being simple, explanatory, and so on. Similarly, consider rewriting
a given theory of mass and charge in terms of schmass and charge, where the
schmass of an object is its mass if it has unit negative charge and twice its
mass otherwise. The rewritten theory has the same consequences about
charge and mass as the original, so ‘charge’ and ‘mass’ are in a sense
dispensable in physics. But the resulting theory is far worse as a theory. What
were syntactically simple generalizations in the old theory are no longer
simple in the new.
We have been exploring the positive side of the Quinean approach to
ideology: we can support claims about joint-carving by showing that the
ideology in question is part of a good theory. The approach has a negative
side too. Good theories must be as simple as possible, and part of simplicity
is having a minimal ideology. So we can oppose claims about joint-carving
by exhibiting good theories that do not contain the ideology in question.
The demand for minimal ideology recalls a familiar trade-off between
ontology and ideology. We often face a choice between reducing our
ontology at the cost of ideological complexity, or minimizing ideology at the
cost of positing new entities.4 If ideology is psychologized, the trade-off is
one of apples for oranges: whether to posit a more complex world or a more
complex mode of expression.5 But on the present approach, both sides of the
trade-off concern worldly complexity. A theory with a more complex
ideology posits a fuller, more complex, world, a world with more structure.
Thus ideological posits are no free lunch.
“Believe the ontology and ideology of your best theory” is schematic in
various ways. One in particular is worth mentioning: should the special
sciences be counted as part of our “best” theory? Saying yes leads to an
expansive conception of the fundamental; saying no—my preferred answer—
leads to a more austere conception. The defender of the latter answer must
concede that our understanding of the world would be severely impoverished
without the special sciences, but will insist that since facts about the special
sciences hold “in virtue of” more fundamental facts in some sense (chapter
7), they needn’t be cited in our “best” theory. This is a difficult issue, which I
will not attempt to resolve here.
We have, then, an epistemology for structure. Claims about structure can
be supported by evidence, and so are not inferentially isolated, and so are not
in danger of unintelligibility. This epistemology is admittedly superficial and
birds-eye. Then again, so are the epistemological models that are claimed to
preclude reasonable belief in metaphysics. What is needed for progress in
these issues is a more sophisticated and detailed understanding of the
epistemology of our more theoretical endeavors, such as mathematics and
theoretical physics, including their foundations.
To bring out the problem more fully, we must consider concrete proposals
for the nature of the glue. Following Lewis (1984), I’ll illustrate how the
problem goes for a toy descriptivist theory of the nature of semantic glue.
According to this descriptivism, there is a set of sentences, S, such that our
words mean whatever they must in order for the sentences in S to come out
true. (This theory is schematic; different versions specify different sets S. S
might, for example, be taken to include “definitional sentences”, whatever
that means exactly.)
The sentences in S do not, on their own, provide enough semantic glue.
Let (F) be an intuitively false sentence of our language that is logically
consistent with S—“Some pigs have wings”, say. We had better be able to
say that (F) is false (otherwise, as Fodor would say, it’s the end of the world).
Now, (F) turns out false in an interpretation iff nothing is both in the
extension of ‘pig’ and also in the extension of ‘has wings’ in that
interpretation (figure 3.1). And (F) turns out true in an interpretation iff these
extensions overlap in that interpretation (figure 3.2). So if (F) is to turn out
false, the correct interpretation of our language must be of the former sort;
interpretations like interpretation 2 are incorrect—such interpretations do not
reflect what we really mean.8 But if—as the descriptivist says—all that is
required of a correct interpretation is that the sentences in S come out true
under that interpretation, then we are pretty much guaranteed to be able to
construct a correct interpretation like interpretation 2. All we need to do is
assign extensions to predicates so that every sentence in S, plus (F) as well,
turns out true. We might, for instance, begin by assigning the set of hard-
boiled eggs to ‘pig’ and assigning the set of edible things to ‘has wings’. This
makes (F) true since some hard-boiled eggs are edible. Now, suppose (S)
contains the sentence ‘Every pig is an animal’. The interpretation we are
constructing must count this sentence true as well. But this is easy to
accomplish: simply assign the set of eggs
But this is not the only way for a question to be substantive. I drank no
alcohol on January 1, 2011; thus, even though the question of whether I had a
martini that night is not cast in particularly joint-carving terms, it is
substantive because it has the same answer (no) under all candidates for its
terms. Being cast in joint-carving terms is thus not the sole determiner of
substantivity. Being wholly cast in perfectly joint-carving terms is normally
sufficient for substantivity (since rarely does an expression have multiple
joint-carving candidates), but it’s not necessary.
Rival conceptions locate nonsubstantivity in some defect of the
proposition in question—for example, mind-dependence, failure to have a
determinate truth-value, and so on. On my conception, even questions
without such defects can be nonsubstantive. The question of Hawthorne’s
protrusion is nonsubstantive even if ‘the protrusion is a mountain’ expresses a
true mind-independent proposition about the physical world. The
nonsubstantivity is not due to any defect of this proposition, but rather to the
proposition’s “metasemantic surroundings”—the other propositions that the
sentence could have expressed had we meant a different candidate for
‘mountain’. It is the failure of the actually expressed proposition to stand out
from its surroundings (and the fact that it differs in truth-value from some of
the surrounding propositions) that generates the nonsubstantivity. Put another
way, the nonsubstantivity results from our process of selection of the
proposition, rather than being intrinsic to the proposition itself.
What follows is a series of refinements and amplifications of this account.
This process is not intended as a conceptual analysis of substantivity,
thought of as pretheoretically given. The aim is rather to introduce a concept
that sheds light on the phenomena. Also, this concept is not intended to apply
to everything that might justly be called “nonsubstantive”. For example, it
isn’t meant to apply to equivocation between distinct lexical meanings (as in
a dispute over whether geese live by “the bank”, in which one disputant
means river bank and the other means financial bank), or disputes involving
expressivist language. Nor is it meant to capture the shallowness of inquiry
into whether the number of electrons in the entire universe is even or odd (an
inquiry that is substantive in my sense, but pointless). My goal is simply to
identify one distinctive—and neglected—type of nonsubstantivity.
On to the amplifications and refinements. First, I will speak of
substantivity for many items: sentences, questions, disputes, and so on. The
definition may be adjusted in obvious ways for these items. Examples: a
question (construed as the set of sentences that are its possible answers—this
was implicit above) is nonsubstantive iff the candidates of some expression
are equistructural and each answer comes out true under some candidate; a
sentence is nonsubstantive iff the candidates of some expression are
equistructural and both the sentence and its negation come out true under
some candidate.
Second, I said earlier that being cast in perfectly joint-carving terms
normally suffices for substantivity. But being cast in highly albeit not
perfectly joint-carving terms—a common occurrence in the special sciences
—also normally suffices for substantivity. Except for questions that strain the
boundaries of taxonomy (a relatively uncommon occurrence), special-science
questions normally fall into one of the following two categories: i) each
expression has a candidate meaning that carves far better than all other
candidates; or ii) each expression has a range of candidates that carve far
better than do other candidates not in the range, and the question’s answer is
insensitive to choices of candidates within these ranges. In either case, the
question is substantive.
Third, some disputes don’t seem substantive even though there is a unique
joint-carving candidate, if that joint-carving candidate is of the wrong sort.
Recall Hawthorne’s physically significant line in the Ural mountains (section
3.2), and consider the question of whether a certain location near the line is
part of Europe. The answer to this question turns on which of several
candidates we mean by ‘Europe’. Now, given the line, one of these
candidates carves at the joints far better than the rest, and so my account
classifies this dispute as substantive. But that seems wrong. The line through
the Urals, though physically distinguished, isn’t geographically or politically
distinguished, and therefore seems irrelevant to the boundaries of Europe.
The physically significant line is indeed a joint in nature, but it’s the wrong
sort of joint in nature, relative to a dispute over ‘Europe’.
What is the “right sort”? I don’t have a finished answer, but here is the
beginnings of one. Suppose an expression, E, is a theoretical term, in the
sense of section 3.2—a term intended to stand for a joint in nature. Suppose,
further, that there is a single joint-carving meaning, m, that satisfies enough
of the “core theory” that is collectively associated with E by the participants
in the dispute. Then m is the right sort of joint-carving meaning. For example,
in a dispute over whether any electrons are located in a certain region, R, of
space, the term ‘electron’ is a theoretical term, and the property of being an
electron will satisfy enough of the core theory associated with ‘electron’ by
the disputants—a theory saying that electrons are subatomic particles that
orbit nuclei, have negative charge, a certain mass, and so on. Thus, this
property will be the right sort of joint-carving candidate meaning, and the
dispute is substantive.
It’s important that the right sorts of joint-carving meanings needn’t satisfy
all of the core theory, since there can be substantive disputes even when the
core theory is somewhat mistaken. The dispute over whether any electrons
are located in R remains substantive even if scientists are mistaken about the
mass of an electron. The property being an electron remains the right sort of
joint-carving meaning because it satisfies enough of the core theory. Also,
there can be substantive disputes over which central principles electrons
satisfy—over what the mass of an electron is, for example. In such cases the
core theory that is “collectively” associated with ‘electron’ will be drawn
from the principles not under dispute. To have a substantive dispute about
electrons, there must remain enough common ground about what electrons
are so that all disputants can be regarded as talking about the same thing.
What is the “wrong sort” of joint-carving candidate? Hawthorne’s line is
the wrong sort to render a dispute about ‘Europe’ substantive because
‘Europe’ is not a theoretical term; ‘Europe’ isn’t intended to stand for a joint-
carving meaning at all. It might be objected that ‘Europe’ is a theoretical
term, albeit one of political science or geography rather than physics. But
then the physically significant line will still be of the wrong sort, since it
won’t satisfy the associated core theory. That core theory will be a political or
geographical theory, not a physical theory, and the physical line won’t play a
role in any distinctively political or geographical laws or explanations. (If it
did, then it wouldn’t be merely “physically significant”, and the dispute
would then be substantive.)
The revised account, then, says that a nonsubstantive question is one
containing an expression E whose candidates are such that i) each opposing
view about the question comes out true on some candidate; and ii) no
candidate carves at the joints in the right way for E better than the rest. A
candidate c1 carves better “in the right way for E” than another candidate c2,
to a first approximation anyway, iff E is a theoretical term, c1 satisfies
enough of the core theory associated with E, and c1 carves better than does
c2.
One might worry about the fact that this definition makes all differences
in joint-carving for candidates of nontheoretical terms irrelevant to
substantivity. Recall the question of whether I had a martini on January 1,
2011, which is intuitively substantive (and has the answer no) because I
drank no alcohol that night. The current definition counts this question as
nonsubstantive if its answer is sensitive to the choice of candidates for its
nontheoretical terms, regardless of distinctions of joint-carving amongst those
candidates. But won’t there be Putnamlike candidates, based on arbitrary
permutations, under which the question’s answer is yes? Perhaps it would be
enough to reply that Putnamian semantic values are not candidates because
they just couldn’t be meant by any linguistic community. Or perhaps—the
more likely case, I fear—a subtler definition of “the right sort” is needed, no
doubt based on a subtler distinction than that between theoretical and
nontheoretical terms.
Fourth, ‘candidate’ needs to be clarified. On the one hand, it shouldn’t be
taken too narrowly, to include only what supervaluationists call
“precisifications”. Precisifications of E are, intuitively, those semantic values
that our usage of E doesn’t definitely rule out. But suppose that a Gettier
could show us that our usage of ‘bachelor’ definitely excludes Crusoe. Then
semantic values under which ‘Crusoe is a bachelor’ is true aren’t
precisifications of ‘bachelor’, but they should count as candidates for
‘bachelor’ (since whether Crusoe is a bachelor is paradigmatically
nonsubstantive). So candidatehood is consistent with a certain degree of
“mismatch with usage”. On the other hand, match with usage isn’t irrelevant.
The property of being an electron fails to be a candidate for ‘bachelor’
precisely because it doesn’t come close to fitting our usage of that term. A
candidate meaning m needn’t perfectly match our usage of E; but the
mismatch can’t be too severe. If a linguistic community, roughly in our
circumstances, could have used E to mean m without seeming “semantically
alien”—could have used E to reach “the same semantic goal” as we use E to
reach, albeit perhaps by a different route—then m is a candidate for E.
This is admittedly pretty vague. Now, it’s fine if ‘substantive’ and related
notions are rough and ready, come in degrees, admit borderline cases, and so
on. Still, to firm up the notion a bit, consider another example (there will be
more later). Suppose, for the sake of argument, that i) causation does not
carve at the joints; and ii) in English, ‘cause’ has a counterfactual analysis.
Now consider a linguistic community L in which ‘cause’ has a covering-law
analysis, but in which the conceptual role of ‘cause’ is similar to its role in
English, in the following sense. Causation, in both our community and L,
stands in a complex network of conceptual relations to concepts of moral
responsibility, control, and myriad others. Although the members of L use
‘cause’ differently from how we do, there are also corresponding differences
in their usage of ‘responsible’, ‘control’, and other such terms, so that the
network of relations is preserved. I want to count this linguistic community as
not being (too) semantically alien. Given the similarity of conceptual role,
speakers of L use ‘cause’ with the same semantic goal as we do with our
word ‘cause’. Thus the covering-law meaning is a candidate for ‘cause’; and
as a result, assuming that causation doesn’t carve at the joints, the question of
whether effects counterfactually depend on their causes is nonsubstantive.
Fifth, my notion of substantivity is a metaphysical one, to be contrasted
with a notion of conceptual substantivity. Many expressions that fail to carve
at the joints are embedded in our conceptual lives in important ways; and
questions involving such expressions can have a sort of conceptual
substantivity even when my analysis counts them as (metaphysically)
nonsubstantive. Suppose again that the fact that causes counterfactually
imply their effects is nonsubstantive in my sense. Still, discovering that
causation is counterfactual dependence might reveal something important
about our conceptual scheme, in contrast with a discovery that cups are
glasses, which we would regard as an intellectual trifle. Given the network of
connections between causation and other concepts, the discovery about
causation would have far-reaching implications. And causation matters to us
in ways that the concept of a cup does not—partly because of the network.
True, in learning that causes counterfactually imply their effects, we are
primarily learning something about ourselves; that’s the metaphysically
nonsubstantive part. But we’re learning something important about ourselves.
Sixth, my notion of substantivity is essentially metalinguistic. Consider:
(1) Drinks with sour apple liqueur are not martinis.
In my opinion, (1) is true; ‘martini’ means drink made of gin or vodka and
vermouth with such-and-such proportions. (If you disagree, replace (1),
mutatis mutandis, with its negation.) But we could have used ‘martini’
differently, so as to include sour apple liqueur drinks, without being
semantically alien or carving worse at the joints. So (1) is nonsubstantive.
But now consider:
(2) Drinks with sour apple liqueur are not drinks made of gin or vodka and
vermouth with such-and-such proportions.
(2) is substantive. Although the terms in (2)—‘sour apple liqueur’, ‘drink’,
‘gin’, and so on—do not carve at the joints, they have no candidates under
which (2) comes out false. But (2) is just the result of substituting for
‘martini’ in (1) an expression that has the same meaning (though not the same
candidates). Moral: sentences that express the same proposition can differ in
substantivity. This is a feature of my account, not a bug. Notions like
substantivity, depth, objectivity, and the rest have proved so elusive partly
because philosophers have been looking in the wrong place: in what we say
with the disputed vocabulary.7 Substantivity, or lack thereof, is not intrinsic
to semantic values. We might put this by saying that we should look to
metasemantics, rather than semantics, to reveal substantivity.
Seventh, substantivity can depend on the world, and not just on the words
involved and what candidates they have. Consider the question of whether
there is lithium on Mars. It is natural to think that some expression in ‘There
is lithium on Mars’ has a range of equally joint-carving candidates
corresponding to the “fuzziness” in Mars’s spatial boundaries. For the sake of
definiteness, suppose this to involve a range of mostly overlapping candidate
referents of the name ‘Mars’, which differ from one another by including
slightly different parts near Mars’s vague boundary. The question of whether
there is lithium on Mars is nonsubstantive, then, if and only if some, but not
all, of these candidate referents contain lithium. Now, if there is, in fact,
plenty of lithium in Mars’s core, so that all the candidate referents contain
lithium, then the question is substantive, since its answer is yes under each
candidate. But if the only lithium in the vicinity of Mars is a single lithium
atom at its vague border, then the question is nonsubstantive. So the
substantivity of the question depends on a fact about the world: the location
of lithium. Still, regardless of the location of lithium, the question “admits”
nonsubstantivity because without any change in meaning or candidates, the
question could have been nonsubstantive: there might have been lithium just
atMars’s vague borderline. In contrast, “Are there charged particles?” does
not admit nonsubstantivity, and “Is it possible for a martini to be made of
sour apple liqueur?” does not admit substantivity.
Eighth, it’s natural to think of substantivity as depending on the interests
of disputants. Suppose two scientists look at an atom through a telescope and
disagree over whether it is lithium. In fact, the atom is lithium. Also, no other
lithium atom is in the vicinity of Mars, and the scientists know this. Finally,
the atom at which they are looking is in Mars’s vague border. But the
scientists don’t know this last fact; indeed, they falsely believe that the atom
is definitely on Mars’s surface. As a result, they phrase their debate thus: “Is
there any lithium on Mars?”. For they believe (falsely) that the answer to this
question is definitely yes if and only if the atom seen through the telescope is
lithium. Now, my official account says that this question is nonsubstantive
(its answer turns on which candidate for ‘Mars’ is meant). But intuitively,
what is at issue is substantive, since the scientists don’t care whether the atom
is on Mars; they’re just using the question of whether there’s lithium on Mars
to get at the question of whether the atom seen through the telescope is
lithium. We might account for this by distinguishing the question the
scientists actually ask (‘Is there lithium on Mars?’) from the question they
really care about (‘Is the atom seen through the telescope lithium?’), and
applying the official account, as-is, to these questions. Alternatively, we
might alter the official account by treating substantivity as a property of
question–context pairs, rather than a property of questions simpliciter. The
idea would be to make the set of relevant candidate meanings for the question
depend on what issues are treated as important in the context. In the context
of the scientists, different candidate meanings for ‘Mars’ are not relevant
because the scientists don’t care whether the atom is located on Mars. The
difference between these two approaches seems insignificant.
Ninth, when nonsubstantive disputes have multiple expressions that fail to
carve at the joints, sometimes the source of the nonsubstantivity can be
localized to a proper subset of those expressions. For example, suppose
‘lithium’ has two candidates, lithium1 and lithium2. (Lithium is like jade.)
And suppose that Mars is shot through with lithium1, but has no lithium2.
Then the question of whether there is lithium on Mars is again
nonsubstantive. But even though both of the terms involved, ‘lithium’ and
‘Mars’, have multiple candidates, we can place the blame for the
nonsubstantivity solely on ‘lithium’. For under any candidate for ‘Mars’, the
question’s answer remains sensitive to the choice of a candidate for ‘lithium’,
whereas it’s not the case that for every ‘lithium’-candidate, the question’s
answer is sensitive to the choice of a ‘Mars’-candidate (indeed: for every
‘lithium’-candidate, the answer is insensitive to the choice of a ‘Mars’-
candidate).
Tenth, a question can be substantive “along some dimensions” but not
along others. Contrast the following two predicates:
Fx =df x is more massive than all bachelors
Gx =df x is wittier than all bachelors
(‘=df ’ means “means by definition that”). There is, I will say, just one
dimension along which F has multiple candidates and generates
nonsubstantive questions, whereas there are two such dimensions for G. F
and G are alike in having multiple candidates and generating nonsubstantive
questions. But in the case of F, these facts come from a single source: the fact
that ‘bachelor’ has multiple candidates. (Let’s assume for the sake of
argument that ‘all’ and ‘more massive than’ carve at the joints.) F’s
candidates are generated by those of ‘bachelor’; and there’s just one way for
it to be nonsubstantive whether a given thing is F: namely, for there to be
some candidates bachelor1 and bachelor2 of ‘bachelor’ such that the thing is
more massive than all bachelors1, but not more massive than all bachelors2.
Along the dimension of ‘more massive than’ (and ‘all’ as well), we may say,
the question of whether a given thing is F is substantive. In contrast, G’s
candidates are generated both by candidates of ‘bachelor’ and by candidates
of ‘wittier than’. There are, correspondingly, two ways for the question of
whether a given object is G to be nonsubstantive—nonsubstantivity “along
two dimensions”.
Given this terminology I can clarify some cryptic remarks at the end of
section 3.3. In that section I argued that even a subjectivist about epistemic
value might regard the distinction between reasonable and unreasonable prior
probability functions as being objective. According to this position, I said,
judgments about epistemic value are subjective “along one dimension” but
not along another. What I meant can now be stated more fully. Terms of
epistemic evaluation do not carve at the joints. However, some of their
“components” do carve at the joints—just as some of F’s components (‘more
massive than’, ‘all’) carve at the joints even though F itself does not carve at
the joints. If, for example, the terms of epistemic evaluation are defined in
part by “simplicity” constraints on prior probability distributions, then the
joint-carving components in question would be those that state the simplicity
constraint in joint-carving terms. Any nonsubstantivity in the question of
whether a prior probability distribution is reasonable would not be due to
candidates for these components (since they carve at the joints—reasonably
well, anyway), but would rather be due to candidates in the rest of the
components.
Eleventh, suppose some expression E has a candidate c that carves at the
joints (in the right way) much better than all its other candidates, but that the
actual meaning of E is not c, but rather some other candidate c@ that carves
much worse at the joints. (This could happen if reference magnetism is false,
or if for some other metasemantic reason the joint-carvingness of c is
outweighed by other factors.) Now, suppose that the truth-value of some
sentence S is sensitive to the fact that E means c@, rather than c. My account
treats S as substantive (assuming that none of its other expressions have
appropriately varying candidates), since one of E’s candidates (namely, c)
carves at the joints much better than the others. Nevertheless, there is an
intuitive sense in which S is nonsubstantive since, intuitively, its actual truth-
value is a mere reflection of a linguistic choice, not the world’s structure. S,
we might say, is “actual-verdict nonsubstantive” because it could have had a
different truth-value without carving worse than it actually does—because,
that is, S has a different truth-value under some candidate for one of its
expressions that carves at the joints no worse than that expression’s actual
meaning. Something substantive is at stake here, but the actual verdict is
nonsubstantive.
4.3 Conventionality
The next two sections discuss two species of nonsubstantivity. The first is a
sort of conventionality. A sentence exhibits this sort of conventionality when
it involves, in a sense to be explained, an arbitrary conceptual choice.8
The word ‘convention’ generally signifies an arbitrary choice amongst
equally good ways to achieve a certain goal by collective action. The USA
had a goal of safely organizing its motorways; that goal could have been
achieved either by everyone driving on the right-hand side or by everyone
driving on the left; the convention to drive on the right was a more or less
arbitrary choice between these two alternative solutions.
Turning to language, there is a sort of conventionality that is both familiar
and banal: the choice of symbol or sound to represent a given content. Call
this: symbol-conventionality. A second sort of conventionality—call it
content-conventionality—is exhibited by sentences that are about
conventions. The notion of aboutness is admittedly slippery, but obvious
examples of content-conventionality include ‘there are some conventions’,
‘“Snow” refers to snow in the dominant language of North America in 2011’,
and so on.
The sort of conventionality I have in mind is different. Sometimes we
have a certain semantic goal; we need to introduce a word in order to
accomplish that goal; and there are a number of different candidate meanings,
each such that the goal would be accomplished equally well if that candidate
were chosen as the meaning of the word. The choice of one of these
candidate meanings to be the meaning of the word exhibits what I’ll call
candidate-selection conventionality (sometimes just “conventionality”, when
there’s no danger of confusion).9
To illustrate, consider the word ‘inch’. The purpose of ‘inch’ is to be a
convenient measure for smallish things, the kinds of things we can hold in
our hands. But there is a range of very similar lengths that would each have
served this purpose. We chose one of these to mean by ‘inch’, but that choice
was arbitrary; any of the others would have served our purposes equally well.
This choice was one of candidate-selection convention.
By saying that each length in the range would have served our purposes
equally well, I have in mind two things. First, the lengths in the range carve
at the joints equally well.10 And second, adopting any of the alternate lengths
would have “achieved the same semantic goal”. All length-words achieve a
general semantic goal of allowing speech of absolute and relative sizes, but
‘inch’ has a more specific goal: to be a convenient measure of smallish
things. This goal could have been achieved by many lengths within a certain
range. But if ‘inch’ had meant mile, it would not have achieved exactly this
goal, since measuring smallish lengths in miles would be inconvenient. And
if ‘inch’ had meant something other than a length—for instance, if it had
meant happiness—then it would not have achieved anything like its actual
semantic goal.
All words for units of measure are conventional in this way. The
boundaries of countries provide a further example. When countries are
formed or resized, an arbitrary choice is sometimes made about where the
new border will go. The corresponding choice of semantic values for words
about the country is candidate-selection conventional.
Call a sentence candidate-selection conventional when its truth-value
turns on a candidate-selection conventional choice. Sentence (C) is an
example:
(C) My computer screen measures exactly 15 inches.
(C) is true, but would have been false if ‘inch’ had meant a slightly different
candidate length. This is not content-conventionality: (C) is not about
conventions in any interesting sense. Nor is it mere symbol-conventionality.
Of course, (C) is symbol-conventional; all sentences are. But not all
sentences contain a word for which we could have chosen an alternate
meaning that would have equally well suited our purposes for that word, and
which would have given the sentence a different truth-value.
It might seem odd to call (C) conventional (except, of course, in the sense
of symbol-conventionality). Facts about measurable quantities like length,
after all, are as objective as can be. But remember that my account of
substantivity, and hence of candidate-selection conventionality, is
metalinguistic. It is the sentence, not the fact, that is conventional. Moreover,
recall the interest-relativity of substantivity (the eighth refinement of section
4.2). It seems odd to call (C) conventional because in typical contexts where
(C) is disputed, the focus of the disputants is not on which candidate is meant
by ‘inch’, but rather on the length of the computer screen. However, consider
a context where the disputants do focus on which length counts as being “one
inch” (and let the length of the computer screen be common ground). Then
the dispute does seem nonsubstantive, and it seems natural to call the
sentence conventional.11 And if we consider sentences about measurable
quantities where the second sort of context is more common, the label
‘conventional’ no longer seems odd at all. A dispute between an American
and someone from England over whether a certain container of milk
measures “one gallon”, where the container’s volume is not under dispute, is
quite naturally thought of as nonsubstantive; and it’s natural to call sentences
in the dispute as being conventional, since their truth turns on the
conventional decision of whether to adopt the U.S. or imperial standard for
the gallon.
(Even paradigm nonsubstantive sentences exhibit the sort of relativity just
discussed. ‘The pope is a bachelor’ could be the subject of a substantive-
seeming dispute if, say, the disputants knew little about Catholicism and were
in effect arguing about whether the Pope is married.)
Our definitions ensure that conventionality (of the candidate-selection
variety) implies nonsubstantiality; but the converse does not hold. Both
involve a sentence whose truth-value depends on which of several equally
joint-carving candidates is assigned to one of its terms. But for
conventionality, there must be a selected candidate (or a vague selected
range, in the case of vague conventionality), and that selection must be made
by arbitrary choice. If no selection is made (whether because of vagueness or
some other form of semantic indeterminacy), or a selection is made
nonarbitrarily (see section 4.4), there is no conventionality. Also,
‘conventional’ seems most apt when the arbitrary choice is made more or less
consciously, when alternative choices stare us in the face, and when those
choices accomplish exactly the same semantic goal; it seems less apt when
the choice has been made implicitly and collectively, over time, when no one
thinks much about the alternatives, and when the alternatives accomplish
slightly different semantic goals. Supposing the question of whether Crusoe
is a bachelor to have an answer, perhaps we should not call it “conventional”.
Everyone agrees that the boundaries of countries and units of measure are
in some sense conventional. But claims of “conventionality” have been made
in more controversial domains: for physical geometry (recall section 3.4),
morality, and so on.12 Candidate-selection conventionality is a useful tool for
articulating such doctrines.13 For some of these conventionalists do not want
to claim that sentences about the target domain are about conventions, nor do
they wish to merely make the trivial claim that the sentences exhibit symbol-
conventionality.
Consider, for example, the view that moral sentences are candidate-
selection conventional. According to this view, society had an interest in
introducing moral vocabulary, attached to some norms or other; but within
certain limits, various norms would have equally well served the purpose.
Thus, there were various candidate meanings available for normative words,
each of which would have achieved those words’ semantic goal. Moreover,
none of these candidate meanings carves at the joints better than the others.
One of these was selected, more or less arbitrarily—a candidate-selection
convention. Now, this view is not a mere claim of symbol-conventionality.
By claiming that the meanings we have actually selected for moral language
are on a par with alternate meanings—both metaphysically and concerning
the satisfaction of the goal of morality—this view really does downgrade
morality (a part of it, anyway) in a way that a mere claim of symbol-
conventionality would not. But nor does this view imply that moral sentences
are about conventions. Thus it allows that (for example) murder would have
been wrong even if we had chosen different norms (since the conventionality
of the choice of norms is not built into the propositions we express using
moral words).
4.4 Subjectivity
The second species of nonsubstantivity may be called subjectivity. Like
conventionality, it occurs when a linguistic community chooses one of
several candidates. But in the case of subjectivity, the choice is not arbitrary;
rather, it reflects something important about the linguistic community.
As with conventionality, this sense of subjectivity must be distinguished
from others. Consider the following toy semantic theories of aesthetic
sentences:
Expressivism By uttering ‘x is beautiful’, a speaker communicates no
proposition, but rather gives expression to a certain positive aesthetic
attitude, A, to x.
Indexicalism By uttering ‘x is beautiful’, a speaker, S, communicates the
proposition that S bears attitude A to x.
Aesthetic sentences express attitudes, given the first semantics, and
communicate propositions about attitudes, given the second. Either way,
there is a straightforward kind of subjectivity. But the kind of subjectivity I
have in mind is different. It is brought out by a third semantics:14
Projectivism By uttering ‘x is beautiful’, a speaker, S, communicates the
proposition that x is P, where the property being P is a certain physical
property that is the linguistic meaning of the predicate ‘is beautiful’ in S’s
language; being P is the linguistic meaning of ‘is beautiful’ because
members of S’s linguistic community bear attitude A to Ps.
Under this semantics, aesthetic sentences are not subjective in the
straightforward sense. Accordingly, they pass common tests for “objectivity”.
For example, sentences about beauty make mind-independent claims:
beautiful mountains would still have been beautiful even if no humans had
ever existed. Nevertheless, there remains a clear sense in which the aesthetic
is subjective. For which physical properties aesthetic predicates stand for is
determined by the attitudes of the speaker’s community and any attitudes are
as good as any other.15 Even though the properties ascribed by aesthetic
predicates are wholly mind-independent, response-independent, and so on,
the selection of these features as the features to be expressed by aesthetic
predicates is accomplished solely by our having the attitudes that we do.
Imagine a range of linguistic communities, each with different aesthetic
attitudes. The predicate ‘is beautiful’ expresses different—equally joint-
carving—properties in these different linguistic communities.16 Where we
call a mountain beautiful, speakers of another language withhold that
predicate, and instead call the mountain ‘ugly’. In such cases, everyone
speaks truly; no one is making a mistake. The mountain has the property BE
that is expressed in English by ‘beautiful’, and lacks the property BO that is
expressed in the other language by ‘beautiful’.17 The appropriateness of the
language of subjectivity in this case is manifest.
Shine a light down on a piece of paper suspended over a table. If the paper
has a geometric shape cut from it—a circle, say—the light will shine through
the hole and project that shape onto the table below. Let X be the illuminated
portion of the table. X is circular. Moreover, X—that portion of the table—
would still have been circular even if a square rather than a circle had been
cut from the paper (though X would not then have been exactly illuminated).
But there is nothing special about X. The square region that would have been
illuminated, had the cut-out hole been square, is just as good a region. The
illuminated region is a projection of the hole. An observer of the illumination
will learn something more important about the hole than about the table, even
though circularity is an intrinsic feature of the illuminated part of the table.
Aesthetic features are like the shape of the illuminated region X, the selection
of meanings for aesthetic predicates like the selection of the shape of the hole
in the paper. If projectivism is true, then aesthetic features are not “about” us,
and would persist even if there were no humans. But assuming there are no
aesthetic joints in nature, nothing beyond our aesthetic attitudes constrains
the aesthetic categories picked out by aesthetic language; an observer who
watches us label things ‘beautiful’ and ‘ugly’ will learn as much about our
attitudes as they will about the things, even if these predicates ascribe
intrinsic properties of the things. Aesthetic predicates express the properties
they do because of our attitudes; aesthetic features are projections of our
attitudes.
I do not claim that projectivism is true; it is, I suspect, an overly simplistic
model of the semantics and metasemantics of ‘beautiful’. Its point, rather, is
to establish a general fact about the nature of subjectivity: there is a kind of
subjectivity that results, not from statements in the target discourse being
about our values, but rather from our values selecting one from a range of
equally good meanings. The importance of this fact for metaethics should be
clear. To earn titles of objectivity and realism (together with the associated
imagery of externality, discovery, and so on), it is not enough that evaluative
language be assigned “objective content”. For projectivism assigns physical
contents, which are as objective as can be; yet it merits neither the names nor
the imagery. The objective content must also stand out from its metasemantic
surroundings. It must enjoy some sort of privilege over alternate candidate
contents.18
A sentence is subjective, then, in the sense illustrated by the projectivist
semantics, if and only if its truth-value depends on which of a range of
equally joint-carving candidates is meant by some term in the sentence,
where the candidate that we in fact mean was selected in a way that is not
arbitrary, but rather, reflects something important about us, such as our
values.19 As with conventionality, it is appropriate to speak of this sort of
subjectivity only if no one candidate carves at the joints (in the right way)
better than the rest. If there were aesthetic joints in reality—vindicating the
very strongest form of aesthetic realism—then one of the communities from
our earlier example might match those joints with their usage of ‘beautiful’.
This lucky community would then be uniquely right about aesthetics, and talk
of “subjectivity” would seem out of place. They might be uniquely right in
the straightforward sense of being the only community that speaks truly, if
‘beauty’ in every community has the same, joint-carving sense (this might
happen because of reference magnetism). But even if the communities mean
different things by ‘beautiful’, so that every community speaks truly, the
lucky community remains uniquely right in the sense that only their term
‘beautiful’ gets at the distinguished aesthetic structure of the world. The other
languages are metaphysically second-rate. In such a circumstance, the
language of subjectivity again seems out of place, even though the unlucky
communities all speak truly given what they mean by ‘beautiful’.
The kind of subjectivity we have been discussing results from the
projection of our values. But perhaps ‘subjective’ is also appropriate when
we project important features of ourselves other than values. Suppose
causation does not carve at the joints, and that there are a number of
candidate semantic values for ‘cause’, none of which is metaphysically
distinguished. Suppose that one of these is in fact the actual semantic value,
for some reason that reflects something important about us. Suppose, for
instance, that it’s essential to the role that ‘cause’ plays in our conceptual
scheme that it have a counterfactual analysis. Like ‘beautiful’, the semantics
of ‘cause’ reflects an important feature of ourselves, not an arbitrary semantic
decision, but unlike ‘beautiful’, the feature has nothing to do with value.
Whether or not ‘subjective’ is appropriate here, this sort of projection is
opposed to “objectivity”. If, contrary to what I think, there is a joint-carving
relation of causation, then it would be natural to describe this by saying
“there are objective facts about causation”, or “one description of the facts of
causation is objectively correct”. Objectivity is opposed to subjectivity
conventionality or any other sort of nonsubstantivity.
Philosophers often make inchoate claims that are best understood as
concerning this notion of objectivity. To take one example, consider the
criticism made by Armstrong (1983, pp. 40–59) and others that Lewisian
laws of nature are not genuinely necessary and cannot explain regularities.
Everyone agrees, after all, that mere regularities do not explain regularities,
and need not be necessary; but Lewisian laws are just glorified regularities,
regularities that are integrated into the simplest and strongest system. Lewis’s
reply always seemed elusive and unconvincing:
Some familiar complaints seem to me question-begging … If you’re prepared to agree that theorems of
the best system are rightly called laws, presumably you’ll also want to say that they underlie causal
explanations; that they support counterfactuals; that they are not mere coincidences; that they and their
consequences are in some good sense necessary; and that they may be confirmed by their instances. If
not, not. It’s a standoff—spoils to the victor. (1994, pp. 478–9)
1 Related work includes Chalmers (2011), Fine (2001) on nonfactualist discourse, and Sidelle
(2007) on verbal disputes.
2 Compare Williamson (2007, chapter 2).
3 Though they may have no “determinate” answers, given an epistemic reading of ‘determinate’.
4 See Blackburn (1993); Fine (2001); Rosen (1994); Wright (1992).
5 The account requires there to be some way of making sense of quantification over “meanings”, but
not that such quantification be fundamental.
6 How did we select the candidate? Perhaps it is the most charitable candidate given our use of E;
perhaps only it is relevantly causally related to our use of E…—the answer depends on the truth about
metasemantics.
7 Thus I deny Gideon Rosen’s (1994, p. 301) claim that “if the facts in the contested class can
simply be read off in a mechanical way from the facts in an uncontroversially objective class, then there
can be no grounds for denying the same status to facts in the contested area.” Adherence to this
principle leads Rosen to his pessimistic conclusion that “it adds nothing to the claim that a certain state
of affairs obtains to say that it obtains objectively” (p. 279).
8 Sidelle (2009) discusses a similar sort of conventionality.
9 Skow (2010, section 4) gives a similar account.
10 Or if any carves better than the others, it is of the wrong sort for ‘inch’.
11 As with substantivity in 4.2, I’m neutral on whether to relativize conventionality to context, or to
say instead that although (C) is conventional in every context, for some length, l, what the disputants
really care about in the first context is not (C), but rather the nonconventional sentence ‘the screen has
length l’. (The variable ‘l’, under a given assignment, is intended to lack alternate candidates.)
12 The geometric conventionalism of philosophers like Reichenbach should not be confused with
conventionalism about units of measure. The former concerns even unitless length predicates such as
Tarski’s ‘congruent’.
13 Not in all cases, however. Some such doctrines are best understood as claims of content-
conventionality. Conventionalism (or social constructionism) about works of art, artifacts, or gender
and race might be construed as the view that sentences about these subject matters express propositions
that are in some sense about social conventions. Were our conventions different or nonexistent, there
would exist different (or even no) sculptures, tables and chairs, men and women, and so on, since what
it is to be a work of art, etc., involves social conventions. (Compare Haslanger’s (1995, p. 98) notion of
constitutive construction.) Other such doctrines are not clearly instances of any of my three sorts—the
logical conventionalism discussed in section 6.5, for instance.
14 I am using ‘projection’ nonstandardly; it usually signifies the mistaken attribution of mental
features to the external world.
15 Compare Street (2006, section 7).
16 If predicates are individuated by the properties they express, then we cannot say that each
community uses the same predicate ‘beautiful’; what we must say instead is that each uses a predicate
that plays the role that ‘beautiful’ plays in our language. Allow me the liberty of speaking of each
community as having “aesthetic” predicates, “aesthetic” attitudes, and so on.
17 This variation in the meaning of ‘beautiful’ is not just the mundane sort of variation that is
possible because of symbol–conventionality In each language, ‘beautiful’ plays the same role; it is a
word for the things picked out by the aesthetic attitudes of that language’s speakers.
18 Moral realists sometimes implicitly support such a privilege, even if their explicit focus is on the
contents of moral sentences (see, for instance, Boyd (1988) on homeostatic property-clusters and
Railton (1986) on feedback). Note also that the appropriateness of the language and imagery of realism
and objectivity comes in degrees. Even if contents for moral language are selected by facts about us,
morality seems more realistic and objective if those facts are counterfactually robust and universal
across different societies—if they reflect the human condition rather than historical accident.
19 What if our actual values are so hard-wired into our brains that it would be difficult or even
impossible to adopt others? I still want to count other values as picking out “candidates” for the term in
question; those candidates are not “semantically alien” even if we could not adopt them. Thus it’s not
always right to say (as I have been) that “we could just as easily” have adopted alternate candidate
meanings.
20 See Lewis (1986c, introduction), Lewis (1994). In this respect, Lewis is just like the traditional
regularity theorist. Each agrees that the world is fundamentally anomic; the difference is that Lewis
does a better job of approximating in extension the ordinary notion of a law of nature. Matters are very
different for Armstrong (1983), whose relation of nomic necessitation is a universal, and so is part of
reality’s fundamental structure.
21 Thanks to Steve Steward.
22 Compare Chalmers (2005).
23 See Sider (2007b).
24 Thanks to Robbie Williams.
5 Metametaphysics
Metametaphysics is inquiry into the status of metaphysics. It is of the nature
of the beast that one is led to ask: are metaphysical disputes substantive? Are
they objective, genuine, deep? Or are they nonsubstantive in some way:
conventional, subjective, merely verbal or conceptual? Must there be a fact of
the matter about who is right?
The answers to these questions depend on which metaphysical dispute is
at issue. The crucial factor is whether the dispute is phrased in terms that
carve at the joints. This connection to metametaphysics is the final part of the
role I envisage for the notion of structure.
The go-to move may be summarized thus: “There’s a perfectly good way to
talk under which S is clearly true.”
Before discussing the meaning of ‘parity’ in step 3 and how the move
might lead to antimetaphysical conclusions, let me give some examples.
Confronted with a dispute over whether the relation of part to whole is
reflexive, the deflationist might point out that the following defines a
reflexive relation:
x is part* of y =df x is part of y or x = y.
Even if ‘part’ in English is not reflexive, ‘part*’ is. So under an interpretation
of English words that is just like actual English except that ‘part’ means part*,
the sentence ‘Everything is part of itself’ obviously comes out true.
Moreover, this interpretation is very similar to English since ‘part’ and ‘part*’
have exactly the same extension except perhaps for pairs of the form 〈x, x 〉—
parity.
Second example: with respect to the same dispute, the deflationist might
construct a related interpretation, also very similar to English, in which
‘Nothing is part of itself comes out true, by letting ‘part’ mean part**:
x is part** of y =df x is part of y and x ≠ y.
Third example: confronted with a dispute over whether holes exist, a
deflationist might construct an interpretation of quantificational sentences in
which ‘There is a hole in object x’ means that x is perforated. Even an
opponent of holes will agree that some such sentences are true in this
interpretation, since the opponent agrees that some things are perforated.
The deflationist can use the go-to move within various dialectical
strategies. Many of the strategies appeal to the fact that meaning is largely
determined by use. For example, a large part of why ‘bachelor’ means
(something like) unmarried adult male is that we tend to call something a
‘bachelor’ if and only if it is an unmarried adult male. This is oversimplified;
but rather than trying to refine it, let’s just employ the code: “Our use of
‘bachelor’ favors the hypothesis that it means unmarried adult male.” Here,
then, are some of the strategies:
Common-sense strategy Suppose a metaphysician argues for a noncommon-
sensical position. Argue first, using the move, that sentences expressing a
more commonsensical rival position can be truly interpreted. Argue,
second, that our use of the crucial terms favors the commonsensical
interpretation over any interpretation on which the noncommonsensical
position comes out true. Conclude that the noncommonsensical position
is not true. (For example, our use of sentences like ‘There is a hole in that
piece of cheese’ clearly favors interpretations under which the sentence
comes out true whenever the piece of cheese in question is perforated. So,
nominalism about holes is false—and this conclusion was secured simply
by reflecting on language.)
Indeterminacy strategy Argue first, using the move multiple times, that
each of a range of views about some metaphysical question comes out
true under some interpretation. Argue, second, that our use of the crucial
terms does not favor any of these interpretations over the others.
Conclude that it is indeterminate which view is true. (For example, our
use of ‘part’ favors neither part* nor part** over the other; so it’s simply
indeterminate—and therefore pointless to debate—whether parthood is
reflexive.)
Deflationary strategy As with the indeterminacy strategy, argue first that
each of a range of views about some metaphysical question comes out
true under some interpretation. But now, rather than taking a stand on
whether actual usage favors one interpretation, simply conclude that the
question is “merely conceptual”, because which view is true depends on
which interpretation is favored by our usage. (For example, both the
question of whether parthood is reflexive, and the question of whether
there are holes, are merely conceptual. Since each view about these
questions comes out true under some interpretation, the only question is
which interpretation fits English usage.)
I think of the third strategy as the core of metaphysical deflationism, since it
seems presupposed by the first two strategies, and is potent even if
unaccompanied by either of the first two.
The deflationist’s arguments are pretty unimpressive if step 3 of the go-to
move is omitted. Let p be a particle in some distant galaxy. The sentence
‘particle p is an electron’ is a paradigm of the kind of sentence for which no
form of deflationism is true. And yet, we can construct an interpretation on
which it is true and an interpretation on which it is false, each of them very
similar to English: let the first be like English except with p removed from
the extension of ‘electron’, and let the second be like English except with p
added. Step 3 is crucial; the rival interpretations must in some sense be on a
par with one another and with other competing interpretations (such as
English).
If the deflationist is a realist about structure then he can construe step 3 as
requiring at least that the constructed interpretation must carve at the joints
(in the right way—recall section 4.2) as well as its rivals. The rival
interpretations of ‘electron’ do not lead to deflationism about whether particle
p is an electron because, whereas the actual, English, meaning of ‘electron’
carves at the joints, one of the two constructed meanings does not. But when
a deflationary stance is correct, the rival interpretations carve at the joints as
well as one another and as well as English.
A deflationist who rejects realism about structure, on the other hand, will
need some other way to explain why the go-to move has a deflationary
upshot for metaphysical questions but not for the question of whether particle
p is an electron; and he will need some other way to construe step 3. It is hard
to see how this could be done.2 So I think the way to defend a targeted
deflationism is to be a realist about structure. At any rate, this is the form of
deflationism on which I’ll focus.
The deflationist should also, I think, take step 3 as requiring that the rival
interpretations not be “semantically alien”, in the sense of section 4.2. That is,
although the rival interpretations might determinately differ from English,
speakers using those interpretations should use the words in question to
accomplish the same semantic tasks as do English speakers. For the
deflationist about a question Q wants to conclude that the answer to Q
depends on how we use words, but not in the trivial sense in which all truth
depends in part on meaning. The idea should rather be that Q’s answer
depends on usage in the nontrivial sense that it depends on which nonalien
interpretation is actual.3
Thus what the deflationist is saying is in essence that Q is nonsubstantive,
in the sense of chapter 4. The deflationist’s nonalien interpretations result
from multiple candidates for the crucial terms in Q. For example, part* and
part** are candidates for ‘part’, and generate interpretations under which
different answers to the question “Is parthood reflexive?” come out true. If
each carves at the joints as well as the other (and as well as any other
candidate for ‘part’), then this question is nonsubstantive. As we saw, this is
not to say that Q is about how we use words. The question of whether
appletinis are martinis is not about words, and yet it too is nonsubstantive in
the same sense.
What are the ways for a metaphysician to respond?
Sometimes metaphysicians should embrace deflationism. And sometimes
this requires admitting that the debate is just silly, and should be
discontinued. (Even a partisan needn’t fight every battle.) But not all
nonsubstantive debates are silly. As we saw in section 4.2, questions that are
nonsubstantive in my metaphysical sense may yet be conceptually deep and
thus important if their answers reveal important facets of our conceptual
scheme. Perhaps questions about causation are like this.
But sometimes the true believer in metaphysics will want to oppose the
deflationist. This is particularly true when the believer wants to defend a
revisionary position, since such positions are hard to regard as reflecting our
ordinary conceptual scheme.4 It is also true when the believer regards herself
as doing fundamental metaphysics.
In the case of fundamental metaphysics, the most straightforward way to
resist deflationism is to claim that the crucial expressions in the debate carve
perfectly at the joints. As we saw in section 4.2, the relation between
substantivity and joint-carving is a complex one. However, a sufficient
condition for substantivity (or near enough, anyway) is that the dispute be
cast in perfectly joint-carving terms. Such a dispute concerns the nature of
fundamental reality. In such a dispute, the existence of alternate
interpretations has no more deflationary import than it had in the question of
whether particle p is an electron.
(Why is the condition only “near enough” sufficient? Because there might
be multiple joints in the vicinity, and because the joints might be the “wrong
sort”, in the sense of the third refinement of section 4.2. I’ll mostly be
ignoring these complications.)
There are other ways to resist the deflationist, but they are unappealing.
One might try to argue that the alternate interpretations simply do not exist.
For example, the deflationist about the ontology of holes claimed to produce
an interpretation under which ‘There is a hole in x’ means that x is perforated.
But the dispute over holes does not involve that sentence form alone; it
involves sentences with many different syntactic forms, for example:
There is a circular hole in x.
There are fifteen holes in x.
The hole in x is identical to the hole in y.
In light of this, it might be argued that there is no way to give a general
antinominalist interpretation of quantification over holes. But this is a slender
reed on which to rest one’s hopes. (I argue in chapter 9 that in the case of the
ontological deflationist, the hope is in vain.)
It is also possible to grant the existence of multiple equally joint-carving
interpretations, but claim that those interpretations are semantically alien and
thus not candidates. Consider the question of whether “Magnesium is more
plentiful on Earth than carbon.” This sentence comes out true if ‘magnesium’
means oxygen, but this does not support deflationism about the question
since this alternate meaning for ‘magnesium’ is not a candidate (despite
carving at the joints). The semantic goal we are trying to achieve with
‘magnesium’ is not so unspecific that it could just as well have been achieved
by letting ‘magnesium’ mean oxygen. However, this kind of response to
deflationism seems inapplicable in cases of philosophical interest. For what is
distinctively puzzling about philosophical questions is closely connected with
the fact that we can imagine ourselves speaking in any of a number of
different ways using the disputed term, without thereby being semantically
alien.
One might instead make a big deal out of the fact that the candidate
meanings for the crucial term differ from its actual meaning:
“Who cares whether there are ways to interpret ‘There is a hole in x’ so that it comes out true? What I
care about is whether there is a hole in x; and if you define ‘There is a hole in x’ to mean that x is
perforated, it no longer says that there is a hole in x!”
Now, the question of whether there are any extended simples, given the
occupation picture, becomes a question about the pattern of instantiation of
the occupation relation:
Does there exist something that lacks proper parts but occupies more
than one point of space (i.e., occupies multiple points or a sum or
region of points)?
And given my metametaphysics, this question is substantive, since it is
phrased in terms that carve perfectly at the joints.
I have seen philosophers roll their eyes when extended simples come up.
They regard that topic as “spooky metaphysics” (in a bad sense, it would
seem)—as being somehow misguided. But what is the complaint?
In fact, there are a number of complaints that one could be making. The
list of possible complaints, I hope, challenges both the extended-simple
enthusiasts and the eye-rollers. The enthusiasts must check that they avoid
each complaint. The eye-rollers must check they can genuinely embrace one
of them, and they must specify which one that is (the eye-rolling tends to be
scattershot and uncritical).
One complaint is purely epistemic. It admits that the dispute is
substantive, but claims that the considerations offered by the enthusiasts are
inadequate to resolve it. We do not know whether there exist extended
simples, it is alleged, and the enthusiasts’ arguments aren’t helping. Such
allegations may or may not be right, but one cannot make them without
actually entering into the fray. (Eye-rolling tends to come from the sidelines.)
Also, this complaint does not demand that the enthusiasts cease and desist.
The enthusiasts might instead take it as an exhortation to do better.
A second complaint concedes that the question of whether extended
simples actually exist is substantive, but notes that some enthusiasts address
primarily the question of whether they possibly exist. This shift makes a big
difference to the tenability of deflationism about the debate. Given my
metametaphysics, a deflationist about an issue must locate a nonfundamental
term essentially involved in its statement. Once the issue becomes the
possibility of extended simples, it is open to claim that the nonfundamental
term is ‘possibly’. In particular, suppose that there are, in fact, no extended
simples. One could then claim that the question “Is it possibly the case that
there exist extended simples?” is nonsubstantive, on the grounds that its
answer is yes under some candidate meanings of ‘possibly’ and no under
other equally joint-carving candidates.
The theory of possibility to be defended in chapter 12 could sustain such a
claim. Very roughly, the theory says that for a proposition to be necessarily
true is for that proposition to be i) true; and ii) of the right sort. What is the
“right sort”? This is given by a list of properties of propositions, a list
including the property logical truth, the property mathematical truth, and
certain others. Moreover, the list is determined more or less arbitrarily, rather
than by some deep criterion. Our meaning of ‘necessity’ is tied to our list; but
other linguistic communities could choose different lists and thus different
meanings for ‘necessarily’. They wouldn’t thereby carve at the joints worse
than we do; they would just be different—like a linguistic community that
counted the pope as a “bachelor”. Given this theory of modality, different
candidate meanings for ‘necessary’ arise from different choices of lists. If the
true proposition that there are no extended simples falls under some of these
lists but not others, then ‘necessarily there are no extended simples’ counts as
true under some candidates and not others; and so, ‘possibly, there are
extended simples’ counts as true under some candidates and not others.16
Intuitively: extended simples would depart from actuality in certain ways; the
question of whether they are possible is the question of whether these
departures are too drastic; whether the departures are too drastic turns on the
metaphysically shallow question of what we have decided to mean by
‘possible’.
Our first two complaints interact. Given the second complaint, the only
substantive issue can be the question of the actuality of extended simples. But
much of the literature on extended simples has discussed only their
possibility. If this portion is omitted, the first complaint becomes more
powerful.
A third class of complaints results from rejecting one facet or another of
the occupation picture. An ontological deflationist, for example, who thinks
that quantifiers do not carve at the joints, could claim that the sentence ‘there
are extended simples’ is true under some candidate meanings for ‘there are’
and false under others, and that all such candidates carve at the joints equally
well. Thus the sentence is nonsubstantive.
There are many questions here. There is first the question of whether
ontological deflationism is true; I will argue in chapter 9 that it is not. There
is also the question of whether ontological deflationism is behind the eye-
rolling; I think that in most cases it is not. Most of the people I have caught
rolling their eyes are not skeptical of ontology in general (though perhaps
their eye-rolling is a sign of an underlying malady that would lead to
ontological deflationism, or worse, if not treated). And there is, finally, the
question of whether ontological deflationism is enough to deflate all of the
disputes in the vicinity. It’s hard to tell, because ontological deflationists tend
not to say what they think the fundamental structure of reality is; they merely
say what they think it isn’t (namely, quantificational). Once the deflationist
has developed his fundamental language—which must be able to completely
describe the world, including its scientific aspects—who knows? Perhaps we
will be able to raise, in its alien terms, a substantive question that is akin to
the question of whether there are extended simples.17
A fourth and final sort of complaint amounts to simply rejecting extended
simples—perhaps all extended simples, or perhaps only certain kinds. This
may not seem like a metametaphysical complaint, but it feels more like one if
the reasons for the rejection are sufficiently general. Consider, for example,
what Kris McDaniel (2003) calls “spanners”: extended simples that occupy
an extended region, rather than occupying each of the many points in that
region. One might object to spanners because they violate a sort of micro-
reductionism, namely, the view that all fundamental properties and relations
relate mereologically simple entities. (One might, in turn, base this on the
view that only mereologically simple entities exist, in the fundamental sense
of ‘exist’; see chapter 13.)
We have seen four different sorts of complaint about extended simples.18
Notice that, with the exception of the first, each presupposes a substantive
thesis of metaphysics. The second depends on the claim that there are no
modal joints to reality; the third depends on the claim that there are no
quantificational joints to reality; and the fourth assumes micro-reductionism.
No complaint wholly sustains the common attitude of the eye-rollers that the
extended-simple enthusiasts are making a methodological error. The
complaints mark a difference of opinion about metaphysics. As we will see in
the next section, this is a general feature of metametaphysical critiques.
1 Not to be confused with a deflationist about truth such as Paul Horwich (1990). Although my
metaphysical deflationist is not any specific person, Eli Hirsch’s work on metaontology—certain facets
of it anyway—may be kept in mind as a model.
2 Hirsch tries to target his deflationism by applying it only when the disputed metaphysical
proposition is regarded by one disputant as being a priori necessarily equivalent to one undisputed
proposition, and by another disputant as being a priori necessarily equivalent to another undisputed
proposition. But the disputants need make no such claims about a priority and necessity. Most
metaphysicians nowadays regard their views as theoretically supported conjectures, not as propositions
knowable by anyone who understands them. And some of Hirsch’s targets regard their subject matter as
contingent (Cameron, 2007). Moreover, a priori necessary equivalence seems relevant only if one
thinks of it as a kind of sameness of meaning, whereas surely it is no such thing. For a more
comprehensive (and very insightful) discussion of Hirsch, see Hawthorne (2009).
3 Note also that if the interpretations are alien, then there is no hope of carrying out the common-
sense and indeterminacy strategies.
4 Hard but not impossible; perhaps certain internal tensions in our conceptual scheme are best
resolved by preserving some aspects at the expense of others.
5 See Sider (2001a).
6 Thanks to Eric Funkhouser here.
7 Qualification: some stipulation might be allowed, if it is ultimately grounded in ordinary terms
(‘free’ could be stipulatively tied to ‘moral responsibility’ in its ordinary sense).
8 Hofweber’s (2009) critique of “esoteric” metaphysics—metaphysics done using distinctively
metaphysical rather than ordinary concepts—is related.
9 The two-stage process is oversimplified; a more realistic account would divide linguistic
processing into multiple stages (phonological, syntactic, logical form…), and contextual information
might intrude at multiple points. The point still stands: there can be substantive dispute about the
semantics/pragmatics border if the disputants can agree on a sufficiently detailed skeleton of a theory of
linguistic processing so that they can disagree over where, in that skeleton, truth-conditions figure in.
10 See also Chalmers (2011).
11 See Siegel (2006).
12 The following can happen. (a) A philosophical debate began when there was no decent scientific
theory of a certain domain. (b) Subsequently a good scientific theory was developed. (c) No good rival
philosophical theory was developed; the concepts of the original philosophical debate were simply
badly chosen; they carved nature at its joints badly Nevertheless, (d) the philosophical debate continues
uncritically, in the old terms.
13 See Hudson (2006, chapter 4); Markosian (1998; 2004a; b); McDaniel (2003; 2007a; b); Parsons
(2003).
14 In this example we have a qualitatively heterogeneous extended simple, which goes beyond the
bare definition of an extended simple. See Sider (2007b, section 1).
15 See also Horgan and Potrč (2000; 2002).
16 As is customary, I define “possibly ϕ” as “not necessarily not-ϕ”.
17 See also section 9.6.2.
18 A fifth complaint might target the dispute only when extended simples are construed as having
“pseudo-parts”—further extended simples that are not genuine parts (i.e., parts in the joint-carving
sense) but are located where genuine parts would be located. This dispute might be claimed to be
nonsubstantive because the truth of ‘there are extended simples’ turns on whether ‘part’ means genuine
parthood or pseudo-parthood. The claim might be correct if ‘part’ is not a theoretical term; for then,
even though exactly one candidate meaning for ‘part’ carves at the joints, that candidate might be the
“wrong sort”—recall the third qualification of section 4.2. But if ‘part’ is a theoretical term then the
dispute remains substantive, for it is then cast in purely joint-carving terms of the right sort. Thanks to a
referee. A sixth complaint might be that the question just isn’t significant. (The old joke about angels
dancing on the head of a pin combines this and the first complaint.) And a seventh complaint might be
that the answer is obvious in some sort of Moorean way. Neither the sixth nor seventh complaint
challenges the substantivity (in my sense) of the question. Moreover, each seems wrong. Why wouldn’t
a question about the fundamental relationship between objects and space be significant? And why
should the nature of this relationship be obvious to “common sense”? (See also the critique of
Mooreanism in Sider (2011).)
19 Timothy Williamson (2007) gives a compelling account of the epistemology of philosophy (and
of the sociology of pessimism about philosophy) with which I mostly agree, except that for the
epistemology of metaphysics I would stress continuity with scientific explanation rather than
counterfactual reasoning.
6 Beyond the predicate
Structure is more general than its kin, Armstrong’s universals and Lewis’s
natural properties and relations, along two axes.
The first axis is ontological. Call a predicate “sparse” when it marks a
joint in nature. For Armstrong, a predicate is sparse when there exists a
corresponding universal; for Lewis, a predicate is sparse when there exists a
corresponding natural property or relation.1 Each assumes the existence of
abstracta. But the idea that the world has a distinguished structure—that
electrons go together and not together with cows, that it is better to think in
terms of electrons than in terms of electron-or-cows, and so on—does not
require this assumption. (Nominalists could surely embrace the idea.2) The
notion of structure is to be free of commitment to abstract entities.
The second—more important—axis concerns the scope of structure.
Armstrong and Lewis’s accounts are confined to properties and relations.
Linguistically speaking, their focus is on the predicate. Structure, on the other
hand, is not to be restricted to any particular grammatical category. Just as
Lewis and Armstrong ask which predicates get at the world’s structure, we
can also ask which function symbols, predicate modifiers, sentence operators,
variable binders, and so on, get at the world’s structure.
One might force these expressions into the Armstrong/Lewis mold, by
analyzing them using predicates and then assessing the predicates for
sparseness as before. Sometimes this is harmless; one can treat function
symbols as standing for relations, for example. But in other cases, it foists
unwanted commitments on us. For example, if sentence operators for
negation and disjunction are to be predicates, they must presumably be
predicates of propositions. Thus there must exist propositions; and further,
even friends of propositions might doubt that the most fundamental negative
and disjunctive facts are facts about propositions. (We will return to this last
point.) And in still other cases the predicate strategy is unavailable. Variable
binding expressions, for example, seem impossible to treat as predicates.
(One can take quantifiers to be predicates rather than variable binders, but
this just moves the bulge in the carpet: new variable binders must then be
introduced. Stalnaker (1977), for example, treats quantifiers as not binding
variables, but his variable-binding operation of complex predicate formation
cannot be thought of as predication. Similar remarks apply to Montague’s
treatment of quantification.3)
The two axes are connected. For Armstrong and Lewis, a predicate is
sparse when it stands for an appropriate sort of abstract entity. When we
move beyond the predicate, for instance to sentential connectives or
quantifiers, it becomes increasingly strained to think in terms of abstract
entities. So, insofar as one is wedded to abstract entities (first axis), it is hard
to move beyond the predicate (second axis).
6.3 No entities
We have already touched on a second source of resistance to going beyond
the predicate. Armstrong/Lewis sparseness—the most familiar game in town
—is “entity-based”. For Lewis, in order to evaluate whether a predicate
carves at the joints we must look at a certain entity—the set of the predicate’s
actual and possible instances—and ask whether the entity is natural. And for
Armstrong, we must ask whether a certain entity exists—a universal
corresponding to that predicate. To extend their strategy to expressions like
quantifiers or sentential operators, we would need to identify corresponding
entities. But there seem to be no such entities.
One might reply that the entities do exist after all. In the usual model
theory of first-order languages, quantifiers and sentential connectives are
taken to be syncategorematic: the definition of truth in a model fixes their
contributions to truth-conditions without appealing to entities associated with
them. But one can instead associate entities with these expressions as their
semantic values. One can treat quantifiers as denoting second-order
properties of (or relations between) properties (Montague, 1973), and one can
treat sentential connectives as denoting truth functions or relations between
propositions.8 And then joint-carving for quantifiers and sentential
connectives can be treated in Armstrong and Lewis’s way, as turning on the
existence or nature of denoted entities.
But this does not get to the heart of the issue—at least, not if we are
looking for an account of what structure is (please read with the appropriate
cadence), as opposed to merely seeking a systematic way to talk about
structure. For the treatment of quantifiers as expressing second-order
properties or relations, however appropriate in linguistic theory, does not ring
true at a metaphysical level. Let ∃2 be the second-order property of having
at least one instance. That there exist cows does not seem to be a second-
order fact. It surely concerns the concrete world directly, rather than through
abstract intermediary entities like 32. But if quantificational facts are not
about ∃2, then surely facts about quantificational structure are not about ∃2
either.
Similarly, it may be appropriate in linguistics to treat ‘and’ as a relation
between propositions; but metaphysically speaking, the fact that I am human
and I am typing surely concerns neither propositions nor relations between
them. I’d even like to say the same about predicates. Even if linguistics is
right to associate ‘is human’ with a semantic value, the ultimate metaphysics
of my being human has nothing to do with this semantic value.9 And if
conjunctive and predicational facts don’t involve the semantic values of ‘and’
and predicates, then surely the corresponding facts about structure don’t
involve these semantic values either.
The view that structure facts do not concern semantic values is certainly
intuitively compelling; but it’s best not to rely solely on intuitive
compulsions. Fortunately, there is a systematic consideration as well:
semantics is, like other special sciences, not fundamental. Our most
fundamental level of theorizing should no more recognize distinctively
semantic entities and ideology than it should recognize distinctively
economic or psychological entities and ideology.10 This is not to say that the
statements of semantics are untrue, only that they are not fundamental (see
section 7.8). But if semantics isn’t fundamental, the facts about carving at the
joints can’t fundamentally involve semantic entities.11
It’s a mistake, then, to think of structure as concerning semantic values.
For similar reasons, it would be a mistake to think of structure as concerning
linguistic items. The fact (if it is a fact) that ‘is negatively charged’ carves at
the joints isn’t in the first instance a fact about the predicate ‘is negatively
charged’. The fact is simply a fact about the concrete, nonlinguistic world—
about its “charge aspect”, so to speak. Likewise, the fact (if it is a fact) that
the first-order quantifiers carve at the joints isn’t a fact about the linguistic
items ‘there is’ and ‘for all’. It’s a fact about the world—specifically, its
quantificational aspect. (Not to reify aspects.)
The no-entities worry can seem inescapable given a certain regimentation
of structure-talk, which takes the core locution to be a predicate. In Lewis, for
example, the core locution is the predicate ‘is natural’. But predicates must be
ascribed to entities; for Lewis, the entities were the semantic values of
predicates; this then leads to taking the facts about structure to involve
semantic values.12 (And it’s no better to take the core locution to be a
predicate of linguistic items.) This suggests a way to answer the no-entities
worry: introduce a regimentation in which the core locution is not a predicate,
so that we can talk about structure without bringing in entities of any sort.13
We want a locution, call it “ ”, with which to make statements about
structure. What should its grammar be? Here we face an obstacle. Since we
are going beyond the predicate, must somehow combine with expressions
α of arbitrary grammatical category—with quantifiers, sentential operators,
and so on, as well as predicates—to form sentences. But what kind of
expression has this sort of grammar? (The attraction of the predicate
regimentation is that it avoids this problem: we first convert each such α into
a singular term, tα, to which a predicate for structure may be applied. But
what would tα be? The only possibility seems to be a quotation name of α
itself, or a name of α’s semantic value; but then we’d be back to treating the
facts about structure as involving linguistic items or semantic values.)
We might overcome this obstacle by taking to have a very flexible
grammar, so that it attaches directly to α, regardless of α’s grammatical
category. I don’t know of any natural language expressions with this sort of
grammar, but I don’t see that as a problem. Some philosophers think that we
can understand only what can be defined using the pre-existing resources of
natural language; but this stultifying doctrine is inadequate to the evident fact
of linguistic innovation within science, as well as to the initial emergence of
natural language itself. If the inferential role of a novel expression has been
made tolerably clear, and if the world contains structure corresponding to the
new expression, then surely the introduction of the novel expression has been
successful.
So on this way of overcoming the obstacle, the core locution for talking
about structure is an “operator” , which can attach to an expression of any
grammatical category α to form a grammatical sentence (α). Thus, we can
say “ (is negatively charged)”, “ (ϕ)” (or “ (there is)”), “ (∧)” (or “
(and)”), and so on. Since nothing in English really matches this
regimentation, I’ll tend to revert informally to a predicate of linguistic items
or abstract entities; I’ll speak of ‘is negatively charged’, ‘and’, and ‘there
exists’—or negative charge, conjunction, and existential quantification—as
“carving at the joints” or “being fundamental”. But the facts of structure are
more faithfully represented using .14
To say (and) is not to say something about an alleged object
Conjunction. It is not to say anything about any thing at all. It is nevertheless
to say something true, something objective, something about reality.
Nowhere is it written in stone that all facts must be entity-involving. In
Graham Nerlich’s phrase, “realism need not be ontic”.15 To be sure, the
entity-based ideology of predicate logic is simple, beautiful, and well-
behaved, and it’s best to stick to it whenever possible. But the realist about
structure, it would seem, cannot live by predicate logic alone.
There are hard questions about thus taken. I said that it can attach to
expressions “of any grammatical category”. What, exactly, does that mean?
must at least be able to attach to all primitive expressions of the language
in question; but what about complex expressions? (As we will see in section
7.13, we need to be able to query complex expressions for joint-carving.)
We might say that can attach to any “grammatical unit”—intuitively,
any string that is either a primitive symbol or a complex symbol that is
generated at some point by the language’s recursive formation rules. This has
certain limitations, depending on the grammar of the fundamental language
we’re using to talk about structure. Suppose we want to ask whether a certain
conjunctive predicate, the conjunction of predicates F and G, carves at the
joints. If our language has a predicate functor c for predicate conjunction then
this is straightforward. Our formation rules will include a clause for complex-
predicate formation; one of the expressions formed via that clause will be the
conjunctive predicate F c G; so we can form the sentence (F c G). But
suppose (as I suspect is more likely) that our fundamental language is
grammatically simpler. Suppose, for example, that its grammar is that of
predicate logic (without function symbols), with the addition of the operator
In that case, there simply are no complex predicates, since the only rules
of formation are for the grammatical category of sentence. So the only
complex strings we can query for structure are sentences (including those
with free variables). But then, we can achieve our goal of evaluating the
conjunction of F and G for structure only indirectly, by forming the open
sentence (Fx∧Gx).16 And the querying becomes even more indirect for,
say, complex operators. Suppose, for instance, that the only primitive
sentential connectives in the language are ∼ and ∨, and we want to query for
structure a complex expression with the truth table of the material
conditional. We can query the various sentences of the form ∼ϕ ∨ ψ (for
example, ∼Fx ∨ Gy, ∼Ha ∨ ∀x∀y Rxy, and so on); but each of these
sentences also queries certain other expressions; namely, the expressions
occurring inside ϕ and ψ.
We might just live with the fact that we can’t query complexes directly.
We could say that the question of whether “the material conditional carves at
the joints” is not a matter of the truth of any one sentence in our fundamental
language; rather, it emerges from the totality of sentences of the form (∼ϕ
∨ ψ).17 Alternatively, we might pursue a different method for overcoming
the obstacle to constructing a grammar for .18 According to this method,
no longer has a flexible grammar; now it is a one-place sentence operator.
However, we include in our fundamental language a collection of dummy
variables. There are dummy variables of every grammatical category:
individual dummy variables, sentential dummy variables, predicate dummy
variables, sentence-operator dummy variables, and so on. Dummy variables
are not bindable. Their purpose is to combine with other expressions to form
complete sentences, so that the sentence operator may then be applied.
The expressions other than dummy variables in such sentences are those that
are queried for carving at the joints. So we no longer query sub-sentential
primitive expressions by directly attaching to them; instead, we attach
those primitive expressions to appropriate dummy variables to obtain a
sentence, and then attach to that sentence. For example, we query the
predicate G, the name a, the quantifier ∃, and the operator □, with the
following sentences, respectively (dummy variables are in sans serif):
The conventionalist’s hope, as Quine imagines, is to make true all the truths
of propositional logic using legislations of types (I) and (II). For there exist
complete axiomatizations of propositional logic with finitely many axiom
schemas in which the only rule of inference is modus ponens; each axiom
schema could be legislated in style (I), and modus ponens could be legislated
into effect by proclaiming (II). One could then go on to legislate the truths of
(first-order) predicate logic in a similar fashion.
According to Quine, the problem for conventionalism thus understood is
that logic is needed to apply the conventions, and cannot therefore be
grounded in the conventions. Suppose that statements ϕ and if ϕ then ψ
have been legislated to be true by legislations of sort (I). (II) now says that if
these sentences are true, then ψ is to be true as well. To derive from this the
result that ψ is indeed true, we must perform modus ponens—we must use
logic. But logic is exactly what the legislations are supposed to ground.
For various reasons, it seems to me that Quine’s objection—that logic will
be needed to legislate the infinity of logical truths—does not get to the heart
of what is metaphysically problematic about conventionalism.25 Imagine a
finitary conventionalist, who tries to introduce conventional truth in a
language whose set of well-formed formulas is finite. Or imagine a
conventionalist with an infinitary mind, who can legislate each of the
infinitely many logical truths individually. Logic would surely not be true by
convention even in these cases, but in neither case does Quine’s objection
apply.
Moreover, the conventionalist might reply to Quine that legislations of
form (II) are conditional legislations rather than legislations of conditionals.
(Compare the distinction between conditional probability and the probability
of a conditional, or between conditional obligation and an obligation to see to
the truth of a conditional.) Quine’s objection is actually pretty elusive, but
one way of taking it is as follows:
After legislations of type (I) are made, for certain sentences ϕ and ψ, both sentence ϕ and the sentence
if ϕ then ψ are true by convention; and after legislation (II) is made, the following conditional
sentence is also true by convention: If ϕ and if ϕ then ψ are both true, then ψ is also true . But we
cannot pass from the fact that these three sentences are true by convention to the conclusion that ψ is
true by convention unless we make the further assumption that the truths by convention are closed
under modus ponens (and also under conjunction-introduction, truth-introduction, and truth-
elimination). Since that further assumption is precisely what (II) was supposed to accomplish, (II) is
ineffective.
This objection, notice, assumes that the effect of legislation (II) is that a
certain conditional sentence (namely If ϕ and if ϕ then ψ are both true,
then ψ is also true ) is true by convention. But the conventionalist might
reply that its effect is instead that it be the case that if ϕ and If ϕ then ψ are
both true by convention, then ψ is also true by convention. The
conventionalist might reply, that is, that his claim all along was that (II)
results directly in the set of truths by convention being closed under modus
ponens, and not that it results in a conditional sentence corresponding to
modus ponens being true by convention. (II) is not an unconditional
legislation that a certain sentence (a conditional sentence) be true by
convention. It is rather an irreducibly conditional legislation, which results in
its being the case that if certain sentences are true by convention, then so is a
certain further sentence. The latter sentence is legislated conditionally on the
former sentences being legislated. Quine in effect grants the conventionalist
for the sake of argument that the words pronounced in (I), “Let any statement
of the following form be true …” have their desired effect. But the words are
not magic: something about the pattern of beliefs and dispositions in the
linguistic community that results from the pronouncement of those words is
what allegedly does the trick: certain sentences individually become true by
convention. If Quine is willing to grant that the words in (I) have this effect,
why is he not also willing to grant that different words, the words in (II),
which result in a different pattern of beliefs and dispositions, have a different
effect, that of a conditional legislation? Quine’s argument does not go far
enough. An adequate critique must challenge the very idea of something’s
being “true by convention”. Even an infinite mind, or a conventionalist with
only finite aspirations, or a conditional legislator, could not make the logical
truths, or any other sentence for that matter, true by convention (unless the
sentence is about conventions). The components of this critique are not new,
but are nevertheless worth repeating.
Part of the critique consists in pointing out that it is no easy task for the
conventionalist to specify an appropriate sense in which logical truths are
“true by convention”. There is a mundane sense in which all true sentences
are partly true because of convention, since all sentences exhibit symbol-
conventionality (section 4.3). Even a synthetic sentence like ‘Snow is white’
is true partly because of its meaning; it would not have been true if it had
meant that grass is green. Of course, in order for ‘Snow is white’ to be true,
the world must also cooperate: the world must really be as the sentence says.
Snow must really be white. So, it might be thought, the conventionalist could
claim that the requirement of worldly cooperation is not present for logical
truths. But on the face of it, this is wrong. By convention we make it the case
that the sentence ‘If it is raining then it is raining’ means that if it is raining
then it is raining; but in order for the sentence to be true, the world must also
cooperate; the world must really be as the sentence says. It must really be that
if it is raining then it is raining. It is easy to overlook the requirement of
cooperation in this case because it is so obvious that if it is raining then it is
raining. But no sense has yet been given to the idea that the requirement is
not present.
A conventionalist might reply that ‘If it is raining then it is raining’
“automatically” becomes true upon being endowed with its meaning; that is
the sense in which there is no further requirement that the world cooperate.
But what does ‘automatically’ mean here? It could be understood in terms of
necessity: it is necessarily true that if ‘if’ and ‘then’ mean what they do then
‘If it is raining then it is raining’ is true. Thus understood the claim is correct,
but it does not secure a truth-making role for the convention. The mere fact
that it is necessarily true that it is raining if it is raining ensures that ‘If it is
raining then it is raining’ is “automatically”—in the current sense of
‘automatically’—true once it has been given its meaning. Conventionalism
thus understood says little more than that logical and other analytic truths are
necessary; nothing is left of the intuitive idea of their truth being grounded in
conventions.
We are still in search of an appropriate sense in which logic is true by
convention. Ayer’s claim that analytic truths “simply record our
determination to use symbols in a certain fashion” is unhelpful. It suggests
that analytic truths make statements about linguistic conventions. But this is a
nonstarter; statements about linguistic conventions are contingent, whereas
the statements made by typical analytic sentences are necessary (Broad
(1936, p. 107), Lewy (1976, p. 9)). Ayer’s claim that analytic truths “say
nothing about the empirical world” is similarly unhelpful: it is hard to attach
any sense to it that advances his cause. ‘If it is raining then it is raining’
seems to say something about the empirical world: that the empirical world
contains rain if it contains rain. Of course, the thing it says is a logical truth.
We might define “about the empirical world” to exclude logical truths, but
what would be the point?—the claim that logical truths “say nothing about
the empirical world” could then play no role in explaining the epistemology
or metaphysics of logical truth.
To further reinforce the difficulty of finding an appropriate sense of ‘true
by convention’, consider that the phrase is intended to indicate an intimate
sort of dependence of truth on convention. But what sort, exactly? The
conventionalist will surely deny counterfactual or temporal dependence, at
least of the sort that would imply absurd statements like the following:
Before we introduced our conventions, not all green things were
green.
If we had introduced no conventions, not all green things would have
been green.
Of course, metalinguistic counterfactual and temporal statements such as the
following are unproblematic:
Before we introduced our conventions, the sentence ‘all green things
are green’ was not used to express a truth.
If we had introduced no conventions, the sentence ‘all green things are
green’ would not have been used to express a truth.
But all truths depend on conventions in this metalinguistic way; before we
introduced our conventions, the sentence ‘Snow is white’ was not used to
express a truth. It remains unclear just what sort of dependence of truth upon
conventions is supposed to be distinctive of conventionalism.
Here are two further failed attempts to understand what the defender of
truth by convention has in mind. Return to the would-be truth-legislator, who
says “Let every sentence of the form ‘If ϕ then ϕ’ be true.” What is this
performance intended to accomplish? On the one hand, the legislator could
be resolving to use the word ‘true’ in a new way; he could be listing the
sentences to which this new term ‘true’ applies. But this obviously isn’t what
the conventionalist wants. On the other hand, the legislator could be
constraining the intended meaning for conditional constructions. He could be
placing a necessary condition on the function from sentences to the
propositions that they mean: this function must assign a true proposition to
each sentence of the form ‘If ϕ then ϕ’. Any function that violates this
constraint, the legislator is saying, is not the means-in-English function. This,
too, is not what the conventionalist wants, for it assumes an antecedent notion
of propositional truth that has not been shown to depend in any way on
convention.
This last point bears emphasis. We should all agree that one way to
constrain the meaning of an expression, E, is to stipulate that E be interpreted
so that certain sentences containing E turn out true, or that certain inferences
involving E be truth-preserving. It can seem that such stipulations create
truth, or truth-preservation, on their own. But this is not the case, as was
illustrated by Arthur Prior (1960) in dramatic fashion. Prior imagined the
introduction of a new sentential connective ‘tonk’, stipulated to obey a
disjunction-like introduction rule “From ϕ infer ϕ-tonk-ψ”, as well as a
conjunction-like elimination rule “From (ϕ-tonk-ψ infer ψ.” The stipulations
do not result in the two rules being truth-preserving, for the rules would allow
us to infer any statement ψ from any other statement ϕ (first infer ϕ-tonk-ψ
from ϕ using the introduction rule, and then infer ψ using the elimination
rule). ‘Tonk’ is stipulated to stand for a meaning that obeys the two rules; but
there simply is no such meaning; ‘tonk’ cannot be interpreted so as to obey
the rules. Now, we do not believe the usual logical connectives to be like
‘tonk’. When we stipulate that conditional sentences are to be so interpreted
that every sentence of the form ‘If ϕ then ϕ’ is true, or when we stipulate that
‘and’ and ‘or’ obey their usual introduction and elimination rules, we believe
that these expressions can be understood so as to obey the stipulations. But
the case of ‘tonk’ shows that the stipulations do not, on their own, create the
truth, or truth-preservation.
The critique so far has not produced an argument against conventionalism;
it has merely cleared away obstacles to understanding, by enumerating
various things that conventionalists cannot mean by ‘true by convention’.
Now, this sort of clarification can be effective. For some, conventionalism
will lose whatever appeal it had, once the scales fall from their eyes.
Nevertheless, direct arguments against conventionalism would be welcome.
It is difficult to argue against a doctrine that has not been clearly
articulated. But what we can do is formulate the doctrine in schematic terms,
and then argue that so long as those schematic terms behave in a certain way,
the doctrine must be false. I will give two arguments of this form, assuming
the following schematic understanding of the doctrine of truth by convention:
“We can legislate-true the truths of logic.”
The first argument assumes that sentences that are about certain parts of
the world cannot be legislated-true. These are the parts of the world that I
cannot affect simply by wishing or pronouncing or legislating. I cannot, for
example, make true the sentence ‘My computer monitor has been thrown out
the window’ by wishing or pronouncing or legislating; I must defenestrate the
monitor myself, or pay or incite someone else to do it. Indeed, given my lack
of magical powers, the only statements that I can affect by mere wishing or
pronouncing or legislating would seem to be sentences about conventions or
related matters, such as which noises I make. We nonmagical humans can
legislate-true such sentences because they are about us. The first argument,
then, is this. Sentence (O) is not about us:26
(O) Either it is raining or it is not raining.
Since the only statements that we can legislate-true are those that are about
us, we cannot legislate-true the logical truth (O).
Talk of “aboutness” is admittedly slippery. Now, all the first argument
needs is that there is a sense of ‘about’ on which (O) is not about us, and on
which only sentences about us can be legislated-true. Still, an argument that
makes no appeal at all to aboutness may be welcome.
The second argument fits the bill. What it assumes about the schematic
notion of legislating-true is that i) I cannot legislate-true ‘It is raining’; and ii)
I cannot legislate-true ‘It is not raining’; and iii) if I cannot legislate-true ϕ,
nor can I legislate-true ψ, then I cannot legislate-true the disjunction ϕ or ψ
. In defense of iii): a disjunction states simply that one or the other of its
disjuncts holds; to legislate-true a disjunction one would need to legislate-
true one of its disjuncts. (To know (believe, promise, …) a disjunction, one
needn’t know (believe …) one of its disjuncts; but this needn’t undermine
iii), which is specific to legislating-true.) Given premises i)—iii), I cannot
legislate-true (O).
It is open, of course, for the defender of truth by convention to supply a
notion of legislating-true on which the argument’s premises are false. The
challenge, though, is that the premises seem correct given an intuitive
understanding of “legislate-true”.
1 Lewis (1983b, 347–8) considers replacing his primitive predicate of natural sets with a primitive
multigrade predicate of similarity amongst possible individuals. But this proposal does not generalize
along the second axis, and it arguably requires Lewis’s modal realism.
2 Not that Armstrong and Lewis claim otherwise. They simply formulate the idea in their own
terms.
3 See Montague (1973) (Dowty et al. (1981) makes it go down easier).
4 Nor could he have defined natural properties as similarity-makers, at least not without some
serious chisholming (along the lines of Hirsch (1993, chapter 3, section 3, and appendix 2)). He doesn’t
count extremely specific intrinsic properties—for example, the property shared by all and only perfect
duplicates of a certain porcupine—as being perfectly natural, but their sharing certainly makes for
similarity. Indeed, their sharing makes for more similarity than the sharing of the properties that Lewis
does count as being perfectly natural: the fundamental properties of particle physics.
5 See also Sider (2004, p. 682).
6 Better: it does not require that there are facts in the fundamental sense of ‘there are’; see section
9.3.
7 Jason Turner suggested this regimentation, pointing out that we can think of the ‘it’ as being like
the ‘it’ in ‘It is raining.’ (The suggestion is not that this sentence operator is fundamental.)
8 Indeed, one can treat all expressions as standing for entities, as in categorial grammars (Gamut,
1991, chapter 4), although then there is a meaningful syntactic operation—concatenation—that stands
for no entity.
9 See Melia (1995; 2000).
10 By “distinctively semantic ideology” I do not mean metasemantic ideology like ‘refers’, which
relates semantic entities to human populations (though such ideology is surely not fundamental either).
I mean, rather, ideology that gives the intrinsic structure of the domain of semantic entities (for
instance: notions of conjunction, entailment, and the like, over propositions; or a fundamental predicate
functor ‘the property of ϕ-ing’).
11 More needs to be said about this argument; see chapter 13 for a fuller discussion.
12 Caveat: Lewis takes properties to be sets of possible individuals; and set-theoretic ontology and
ideology can be viewed as earning their keep in physics, not semantics, which answers my argument
against taking the facts of structure to involve semantic values. See the fuller discussion of this
argument in chapter 13.
13 Thanks to Robbie Williams for discussion of the following issues.
14 In a fundamental language, all and only primitive expressions carve at the joints. Thus (α)
will be true iff α is a primitive expression. One might worry that this somehow makes the operator
metalinguistic or trivial. But that would be a mistake. First, it doesn’t follow that (α) says that α
is a primitive expression. Second, you can’t learn that (α) is true simply by observing that α is a
primitive expression; you would also need to know that your language is a fundamental one.
15 Nerlich (1982, p. 274). See also Putnam (1975d, p. 70); McGinn (1981, 169–70); Yablo (2000,
section IX).
16 And even this does not fully isolate the complex predicate, since one is also querying the
variables.
17 We might introduce a nonfundamental language with grammatical resources to directly query the
material conditional. A metaphysical semantics (see section 7.4) for such a language might assign to the
query the truth-condition that each sentence of the fundamental language with the form (∼ϕ ∨ ψ)
be true.
18 Compare Sider (2009, section 8).
19 Thanks to Jonathan Schaffer for discussion here, though the opposing approach should not be
attributed to him.
20 In fact, one can discern a usage of ‘ontology’—particularly prevalent in the philosophy of
physics literature—as a synonym for ‘metaphysics’.
21 Compare Armstrong’s (1983) own approach to laws of nature.
22 To be fair, Armstrong is not really asking the same set of questions as I am, so it is somewhat
misleading to describe him as accepting ontologism.
23 Ironically, one source of the lingering conventionalist strain may be a backlash against Quine’s
critique of analyticity. Quine’s overarching critique contained, as a part, the empirical assertion that
there are no facts of meaning (1951b). The manifest inadequacy of this view may have led to a failure
to appreciate the most powerful part of the critique, namely, his attack on truth by convention (1936;
1960a). See also Boghossian (1997).
24 Conventionalists include Ayer, Britton (1947), Carnap (1937, §69; 1950), and Malcolm (1940).
Pap (1958, chapter 7) contains a thorough (critical) discussion of conventionalism. See also Lewy
(1976, especially chapter 5), and Boghossian (1997).
25 It does a better job of showing that conventionalism cannot epistemically justify logic: we
already need to be justified in using logic before we can gain the justification that the conventionalist is
trying to supply
26 This could be regarded as a stand-alone premise; or it could be supported thus: ‘It is raining’ is
not about us; ‘It is not raining’ is not about us; the statements that are not about us are closed under
disjunction. Supporting the premise in this way would draw this first argument closer to the second.
7 Questions
Friends of fundamentality face some abstract questions about its nature. My
way of thinking about fundamentality—in terms of structure—is distinctive
in large part because of how I answer the questions. My answers: the
fundamental is complete, pure, subpropositional, absolute, determinate, and
fundamental.
7.1 Complete?
It is natural to assume that the fundamental must be “complete”, that the
fundamental must in some sense be responsible for everything.
Completeness seems definitive of fundamentality. It would be a nonstarter
to say that the fundamental consists solely of one electron: thus conceived the
fundamental could not account for the vast complexity of the world we
experience.
A preliminary formulation of completeness might run as follows: every
non-fundamental truth holds in virtue of some fundamental truth.1 But the
exact content of this formulation is far from clear. What do ‘in virtue of and
‘fundamental truth’ mean here? There are subtle issues about how to
understand these notions in terms of my official notion of structure. I want to
postpone discussion of those subtleties, however; so for now let us leave
completeness stated in this intuitive way. A fundamental truth (or fact),
intuitively, is a metaphysically basic or rock-bottom truth (fact). Facts about
the positions of subatomic particles would be, on most views, fundamental
facts, whereas the fact that some people smile when they eat candy would
presumably not be. ‘In virtue of’, intuitively, stands for the relationship
whereby the fundamental facts underwrite or give rise to all other facts. The
fact that some people smile when they eat candy holds in virtue, perhaps, of
certain facts about the states of subatomic particles (or, given a less
materialistic outlook: in virtue of these subatomic facts plus certain
fundamental mental facts).
Though I will be leaving ‘in virtue of’ at an intuitive level for now, I
should say up front that it is not to be understood in terms of modality,
truthmaking, or fact-identity. Thus I reject these conceptions of
completeness:
“All truths are necessitated by (or, supervene on) a fundamental description
of the world.”
“Every truth has a fundamental truthmaker.”
“Every fact is identical to a fundamental fact.”
The modal gloss imposes no meaningful requirement of completeness for
necessary truths, the truthmaking gloss requires a commitment to
truthmaking, and the fact-identity gloss requires a commitment to facts,
individuated in an appropriate way. (I’ll have more to say about truthmaking
and facts in chapter 8.) A less objectionable way to cash out “in virtue of”
would appeal to the—currently very popular—notion of ground: “all truths
are grounded in fundamental truths”.2 To say that the existence of a city is
grounded in certain facts about subatomic particles is to say that the latter
facts produce or account for or explain the existence of a city in a
distinctively metaphysical way. Although ground implies necessitation,
necessitation is insufficient for ground. (Examples like the following are
often given: snow’s being white does not ground its being the case that either
grass is green or grass is not green, even though it’s necessary that if snow is
white then grass is either green or not green; what grounds the truth of grass’s
being either green or not green is its true disjunct: grass’s being green.) Thus
the grounding approach lays down a meaningful requirement of completeness
for necessary truths.3 Further, properly understood, speaking in terms of
ground requires no commitment to truthmaking, or to facts, propositions, or
any other abstract entities. I will indeed sometimes speak of the grounding of
propositions or facts (and will likewise speak of in-virtue-of relations
amongst facts and propositions), but such talk is dispensable: one can always
construe ‘ground’ (and related locutions) as a sentence operator: “That ϕ
grounds its being the case that ψ” (Fine, 2001). Later on I will criticize the
ground-theoretic interpretation of completeness, and propose a different gloss
of “in virtue of”. But the ground-theoretic gloss is much closer to my own
than are those in terms of modality, truthmaking, or fact-identity, so if it is
familiar, it can serve as a working heuristic: “Every nonfundamental truth is
grounded by some fundamental truth.”
7.2 Pure?
There is a second assumption about structure that I think we ought to make—
what I call “purity”: fundamental truths involve only fundamental notions.
When God was creating the world, she was not required to think in terms of
nonfundamental notions like city smile, or candy.
As with completeness, there are subtleties about how exactly to
understand purity in my preferred terms. “Fundamental notion” is easy (it
means “carves at the joints”) but “fundamental truth” remains to be
explained. Let us postpone discussion of these subtleties just a little longer.
(But do notice that purity concerns two distinct concepts of fundamentality:
the concept of a fundamental notion, and the concept of a fundamental truth.)
Suppose someone claimed that even though cityhood is a nonfundamental
notion, in order to tell the complete story of the world there is no way to
avoid bringing in the notion of a city—certain facts involving cityhood are
rock-bottom. This is the sort of view that purity says we should reject. This
might seem obvious and uncontroversial. But in fact, purity has some very
striking consequences.
Here is a truth: there exists a city. Since the notion of a city is not
fundamental, purity says that this truth is not fundamental. No surprises so
far. Completeness then says that this truth holds in virtue of some
fundamental truth T—perhaps some truth of microphysics. So we have:
(1) There is a city in virtue of the fact that T.
Still no surprises.
But now consider (1) itself. Just like ‘There are cities’, (1) is a truth
involving the notion of a city. And so, given purity, it cannot be a
fundamental truth. And so, given completeness, it must itself hold in virtue of
some fundamental truth.
Now, I accept this consequence (given the way I will eventually
understand “in virtue of”). (1) is not itself fundamental (nor is any other in-
virtue-of truth, in my view). So (1) must itself hold in virtue of other truths.
But this is a nontrivial claim; and it is a claim that some people are going to
want to resist. A certain sort of primitivist about in-virtue-of, for example,
will refuse to explain truths like (1) in other terms. Purity stands in the way of
this sort of primitivism; it requires facts about the relationship between the
fundamental and the nonfundamental to be themselves nonfundamental. Thus
purity brings a heavy explanatory burden: it requires there to be facts in
virtue of which in-virtue-of-facts hold. But this is a burden we ought to
shoulder. The rock-bottom story of the world ought not to mention cityhood
at all, not even in sentences like (1). The primitivist about in-virtue-of who
opposes this is in an awkward position. On the one hand she must surely
acknowledge that most truths involving cityhood—truths such as “There is a
city”, “Philadelphia is a city”, “Candy can be purchased in most cities”, and
so on—are not fundamental; and she must surely feel the force of the thought
that this is in some sense because such truths involve the nonfundamental
notion of being a city. But then why the special exception for truths like (1)?
Admitting that (1) is a fundamental truth would drag the notion of cityhood
itself into the realm of the fundamental, since the admission concedes that the
fundamental story of the world cannot be told without bringing in cityhood.
Let’s think a little more about purity, and in particular, how it relates to
forms of primitivism. Consider the doctrine of modalism, which I understand
as the claim that necessity is a fundamental notion (in my terms, carves at the
joints). Now, many modalists would, I think, take this a step further, and say
also that modal truths are fundamental truths. But given purity, it cannot be
that all modal truths are fundamental. The modal truth that it is necessary that
all cities are cities, for example, must be nonfundamental given purity, since
it involves the nonfundamental notion of cityhood. But then given
completeness, “Necessarily, every city is a city” must hold in virtue of some
further fundamental truth N; and N cannot, given purity, involve the notion of
cityhood. Notice, though, that N can involve the notion of necessity, if
modalism is true. N might, for example, have the form “Necessarily, all Cs
are Cs”, where C involves only fundamental notions. (Think of C as a
“metaphysical definition” of the notion of being a city.)
So what we have learned is this: even if the modal notion of necessity is
fundamental, purity prohibits modal truths involving nonfundamental notions
from being fundamental. The only fundamental modal truths are an array of
“austere” or “pure” modal truths that give the necessary connections amongst
fundamental notions. (The array will include necessitations of logical truths
that contain only fundamental notions—such as “Necessarily, all Cs are
Cs”—but it will presumably include further truths; perhaps: “Necessarily,
nothing is both negatively and positively charged”, “Necessarily, if x is more
massive than y and y is more massive than z then x is more massive than z”,
and the like.)
I myself reject modalism (chapter 12); but I accept other sorts of
primitivism for which purity has analogous consequences. Negation, on my
view, is a fundamental notion; but since ‘eats’, ‘candy’, and ‘smile’ are
nonfundamental notions, purity implies that the truth “It is not the case that
something eats candy without smiling” is not a fundamental one. It holds,
perhaps, in virtue of some fundamental truth of the form “It is not the case
that something Es some Y but does not S”, where E, Y, and S are
“metaphysical definitions” of ‘eats’, ‘candy’, and ‘smile’, respectively.
Likewise, I think that quantifiers are fundamental (they carve at the joints);
but given purity, such truths as “There exists a city” are nonfundamental, and
hold in virtue of quantificational truths (perhaps of the form “There exists a
C”) that involve only fundamental notions. As with modality, even if
negation and quantification are fundamental notions, the only fundamental
facts involving those notions are pure—they involve those notions in
combination only with other fundamental notions.
The issue of purity can be further explored by discussing a particular
example—one that, I hope, an opponent of purity will agree is a sort of
crucial experiment, on which the issue turns. First some setup. Let C0 be a
predicate that describes New York City at the subatomic level in complete
detail (relationally as well as intrinsically). The following is presumably true:
(2) Necessarily, every C0 is a city.
(“City-zombies” are impossible.4) Finally, assume for the sake of argument
(what I do not myself believe) that modalism is true—necessity is a
fundamental notion.
Purity implies that (2) is not a fundamental truth, since it contains ‘city’.
An opponent of purity, I think, will take this as a good place to draw a line in
the sand. She will say that (2) is a fundamental truth; the modal connection
between C0 and cityhood is incapable of further explanation. (This is a good
place to draw the line in the sand because the modal connection between
macro-predicates like ‘city’ and their micro-realizations is particularly
resistant to reduction.5) I, on the other hand, accept purity’s consequence that
(2) is not fundamental (even under the pretense of modalism). My argument
has been simply that the fundamental story of the world ought not to mention
cityhood at all, not even within sentences like (1) and (2). (“When God
created the world, she did not need to use ‘city’.”) But this can be brought out
more vividly.
Think of a sentential operator like ‘necessarily’ as a machine. You feed it
a statement (proposition, interpreted sentence), and it spits out a truth-value.
The output true means that the input statement is necessarily true; the output
false means that the input statement could have been false. Think of the
fundamental facts of the form “Necessarily, ϕ ” and “It’s not the case that:
necessarily, ϕ ” as corresponding to the inputs ϕ that the machine is equipped
to handle—the inputs for which the machine “knows what to do”. If it’s a
fundamental fact that it’s necessary that all electrons are electrons, the
machine “knows what to do” with the input ‘all electrons are electrons’; it
spits back true. The thought in favor of purity is then this: the machine should
not know what to do with the input ‘Every C0 is a city. If the machine did
know what to do with this input, it would “know” how to inspect the notion
of a city, and figure out what its microphysical modally sufficient conditions
are. And this is an inappropriate capacity for the machine to have. When God
created the fundamental notion of necessity, she needed to endow it with the
fundamental capacity to interact with other fundamental notions (perhaps: all,
and, not, electron, and the like), but not with notions like city, smile, and
candy. (After all, fundamentally speaking there are no such notions.) This is
not to deny that (2) is true; it is only to deny that (2) is fundamentally true.
Demanding that (2) be fundamentally true demands more of a fundamental
notion of necessity than it has to give.
(*) The fact that there is a city = the fact that there is a C.
Now, I agree that identities are in a sense unproblematic. But notice that the
singular terms flanking ‘=’ in (*) are not names, but are rather complex
singular terms, formed using the locution ‘the fact that’. This is important.
Grammatically, this locution combines with a sentence ϕ to form a singular
term, ‘the fact that ϕ’. Metaphysically, the locution functions as a connector
between whatever ideology is allowed to occur within ϕ and certain entities
(the facts). The use of this locution marks a serious metaphysical
commitment; intuitively, it is this locution, not the identity sign, that both
does the work in connecting the fundamental to the nonfundamental and also
creates problems with purity. This is clearest if we break (*) into the
following three components (where a and b are proper names of facts):
(i) the fact that there exists a city = a;
(ii) the fact that there exists a C = b;
(iii) a = b.
When the objector says that identities between facts raise no problems, this is
partly right: purity does not conflict with (iii)’s being a fundamental truth.8
Nor does it conflict with (ii)’s being fundamental (provided our fan of facts
regards ‘the fact that’ as a fundamental notion). But purity does rule out (i)’s
being a fundamental truth, since (i) contains ‘city’—even if ‘the fact that’ is
taken to be a fundamental notion. Return to the metaphor of the machine: ‘the
fact that ϕ’ is a machine that takes ϕ as input and picks out the corresponding
fact. If (i) expresses a fundamental fact, then the machine knows how to pick
out the appropriate fact when ϕ contains ‘city’; this is an ability that one of
reality’s basic building blocks should not have.
(1) ∃xHx
“There exists an atom of hydrogen.“
(2) ∃xLx
“There exists an atom of helium.”
“x is a helium atom iff x is a fusion of two electrons and a nucleus, where the
nucleus is a fusion of two protons and two neutrons, and the electrons orbit
the nucleus.”
On this approach, the translation of ‘There exists a hydrogen atom’ is: ‘There
exist an electron and a proton, the first of which orbits the second’. The
translation omits reference to the hydrogen atom itself; it states the nihilistic
basis for the entire sentence ‘There exists a hydrogen atom.’21
In such a metaphysical semantics, the truth-conditions for sentences of the
form ∃xFx do not have the form ∃xψ(x), with ψ a translation of the
predicate F. Quantification over Fs disappears when we move from the
chemical sentence to its metaphysical truth-condition. Given this, it is natural
to say that the existential quantifier in the language of chemistry does not
mean what it means in the fundamental language used to give metaphysical
truth-conditions. Quantification in the language of chemistry is
nonfundamental quantification. We might make this explicit by using ‘there
is’ in the language of chemistry, reserving ‘∃’ for fundamental
quantification.22
Quantifiers in many languages—for example, ordinary languages in which
we quantify over tables and chairs—might in this way express
nonfundamental quantification, if fundamental ontology is sparse. Granted,
the metaphysical semantics for a more complex language will need to be
more complex than the toy semantics just mentioned. And particularly
austere views about fundamental ontology or ideology might make it
impossible to give metaphysical truth-conditions for some high-level
language—which might be a reason for abandoning such austere views. The
point here is just to demonstrate some of the resources available for giving
metaphysical truth-conditions, and to show how a sentence’s metaphysical
truth-conditions might look quite unlike that sentence, as with the truth-
conditions (1N) and (2N).
7.10 Subpropositional?
Conceptions of fundamentality may be propositional or subpropositional—
they may be notions that apply to entire propositions, or to constituents of
propositions. To avoid reifying propositions and their constituents, we can
put it linguistically: a locution for talking about fundamentality might be
sentential—applying to entire sentences—or subsentential—applying to parts
of sentences.
Lewisian naturalness is subpropositional: it is properties and relations,
rather than entire propositions, that are evaluated for naturalness. The notion
of a fundamental truth is propositional: truths are entire propositions, not
proposition-parts. The notion of ground is propositional: entire propositions
ground one another.
Structure is subpropositional. In my official regimentation, judgments of
structure take the form (α), where α may be a subsentential expression
(such as ‘is an electron’ or ‘and’). Thus the ultimate locus of fundamentality
is for me subpropositional. (I have no objection to propositional notions of
fundamentality— such as various notions of fundamental truth—so long as
they are defined in terms of the subpropositional notion of structure.)
There are both systematic and intuitive reasons for taking structure to be
subpropositional. The systematic reasons will emerge in section 8.3: a
subpropositional notion is explanatorily more powerful. The intuitive reason
is that subpropositionality is tied to the following attractive picture: there are
some fundamental “building blocks”—the “ultimate constituents of
reality”—and the nature of reality is given by the arrangement of those
building blocks.
7.11 Absolute?
Conceptions of fundamentality may be comparative or absolute. Lewisian
perfect naturalness, for example, is absolute: one says of a property or
relation that it is perfectly natural (or not) simpliciter. Lewis also spoke of
properties and relations being more or less natural; this is an example of
comparative fundamentality. (Lewis defined comparative naturalness in terms
of perfect naturalness and length of definitions; but an alternate approach
would be to take the former as basic and define the latter in terms of it.30)
Structure is absolute: I say ‘is structural’ rather than ‘is more structural’.
(In my official regimentation, the structure operator attaches to a single
expression rather than to a pair of expressions: “ (is an electron)”, “
(and)”, and so on.) (I have no objection to comparative notions of
fundamentality so long as they are defined in terms of the absolute notion of
structure. More on this below.)
The main reason for taking structure to be absolute is that facts about
structure (in interesting cases, anyway) are fundamental, whereas facts about
comparative fundamentality are nonfundamental. Why regard facts about
structure as being fundamental? Because structure is itself structural (section
7.13). While this allows some facts about structure to be nonfundamental, in
interesting cases, claims about structure cannot be further explained. Why
regard facts about comparative fundamentality as being nonfundamental?
Because of purity. The point of a comparative conception of fundamentality
would largely be to connect fundamental to nonfundamental matters; but
given purity, such comparisons could not be fundamental facts.
There is a further reason in favor of absolutism. As before, in interesting
cases the facts of structure are fundamental; and fundamental facts are always
determinate (section 7.12) and objective (chapter 4). But in many interesting
cases, it’s hard to believe that the facts of comparative fundamentality are
determinate and objective—consider, for example, the question of whether
geological notions are more fundamental than biological ones.
a is 1 g mass in virtue of …
… b being 0.5 g and c being 0.5 g (where a = b + c), which holds in virtue of
…
… d being 0.25 g and e being 0.25 g and f being 0.25 g and g being 0.25 g
(where b = d + e and c = f + g), which holds in virtue of …
(“+” signifies fusion). Even though this scenario would be described by the
friend of in-virtue-of as one of infinite propositional descent, my description
of it does not require infinite ideological descent. I can simply state all the
propositions involved in the chain:
a is 1 g
b is 0.5 g
c is 0.5 g
a = b +c
etc.
leaving out the in-virtue-of claims (since I renounce them), and add the only
relevant claim about fundamentality, which is that the ideology common to
all the propositions—namely, mereological and mass-theoretic—is absolutely
structural. (The exact nature of the mass-theoretic ideology common to all the
propositions depends on one’s views about the nature of quantity. One view
would be that the ideology is comparative: “x is more massive than y”, or “x’s
mass together with y’s mass equals z’s mass”.)
So: the only limitation stemming from the absoluteness of structure is that
I cannot accommodate infinite ideological descent. This is no real limitation,
I say, because there is no reason to suppose that this weird scenario obtains.
“Objection: there is reason, namely empirical inductive reason, to believe
in infinite ideological descent. Physicists once thought that everything
depended on the features of molecules. But molecules gave way to atoms,
which gave way to protons, neutrons and electrons, which have given way to
quarks, leptons, and gauge bosons. Each time a new type of particle was
discovered, physicists posited new features of the newly discovered particles,
whose distribution accounted for, but could not be accounted for in terms of,
the distribution of the distinctive features of the older particles. This historical
progression of theories will probably continue forever, so there are no
ultimate features on which everything depends.”—This is a bad argument, for
a few reasons. First, it is an induction from only four cases. Second, by
moving from “finite” observations to an “infinite” conclusion, the argument
makes a big leap. Compare it to the argument that there must be infinitely
many people, since for each person we’ve observed, there exists a taller
person.36 Third, the argument fails by drawing a conclusion that is drastically
dissimilar from the initially observed pattern. The initially observed pattern is
an historical progression of physical theories:
Theory 1: The fundamental features are those of molecules.
Theory 2: The fundamental features are not those of molecules, but are
rather those of atoms.
Theory 3: The fundamental features are not those of atoms, but are rather
those of protons, neutrons, and electrons.
Theory 4: The fundamental features are not those of protons, neutrons, and
electrons, but are rather those of quarks, leptons, and gauge bosons.
The conclusion drawn is that there are no fundamental features, since for any
physical feature had by any particle, there are further features (had by smaller
particles) that do not depend on the first feature. But this conclusion isn’t
inductively suggested by the initial pattern. The conclusion has the superficial
appearance of a kind of limit point of the initial pattern, if that pattern were
infinitely extended. By moving through Theories 1–4, so the idea goes,
scientists have been moving closer and closer to the conclusion. But this
impression vanishes upon closer inspection. Each Theory in the progression
does not add a new layer of fundamental features, but rather ditches the
previous Theory’s layer (since it regards the previous layer as just depending
on the newly hypothesized layer). Extending the pattern indefinitely results in
a series that simply has no intuitive limit. For comparison, imagine a
countably infinite series of chairs: c1, c2,.… Suppose first that in scenario 1,
c1 is filled; in scenario 2, chairs c1 and c2 are each filled; in scenario 3, chairs
c1, c2, and c3 are each filled; and so on. I suppose there’s some sense in which
the limit of this series is a scenario in which all the chairs are filled. But
consider a second series in which only c1 is filled in scenario 1, only c2 is
filled in scenario 2, only c3 is filled in scenario 3, and so on. This series has
no intuitive infinite limit. The imagined infinite extension of the progression
through Theories 1–4 is like the second series.
This third criticism of the inductive argument depends on the fact that I
construed Theories 1–4 in terms of “fundamental features”, by which I meant
absolutely fundamental features. Suppose they were construed instead in
terms of comparative fundamentality:
Theory 1a: Molecules have certain distinctive features.
Theory 2a: Atoms have certain distinctive features, which are more
fundamental than those of molecules.
Theory 3a: Protons, neutrons, and electrons have certain distinctive features,
which are more fundamental than those of atoms.
Theory 4a: Quarks, leptons, and gauge bosons have certain distinctive
features, which are more fundamental than those of protons, neutrons,
and electrons.
If continued infinitely, this progression does seem to have an infinite limit
(it’s like the first chairs series): that for every feature, there are more
fundamental features—infinite ideological descent. But this is not
dialectically effective against absolute fundamentality, since comparative
fundamentality was assumed from the start, in the characterizations of
Theories 1a–4a.
“Even if there is in fact no infinite ideological descent, infinite ideological
descent is epistemically possible, and hence should be allowed by any good
theory of fundamentality.”—If infinite ideological descent is epistemically
possible then my theory of fundamentality is not epistemically necessary.
That’s ok! My theory is intended to be an educated guess about the nature of
the world, not as some sort of a priori deduction that must hold with
certainty. Neutrality on “first-order” questions like that of infinite ideological
descent is not a reasonable constraint on the metaphysics of fundamentality.
A metaphysics of fundamentality is supposed to give the truth about the
nature of fundamentality, not provide a dialectically neutral framework in
which to conduct first-order debates.
“Even if infinite ideological descent is not actual, it is nevertheless
metaphysically possible, so a good theory of fundamentality should permit
it.”—As we will see in section 12.5, the Humean theory of modality to be
defended undermines such arguments from possibility. In brief, the
impossibility of infinite descent amounts to little more than its nonactuality,
so there is no distinctively modal way to support it.
7.12 Determinate?
In addition to being pure, complete, subpropositional, and absolute, I hold
that the fundamental is also determinate.
“The fundamental is determinate” is not particularly clear, and improving
on the situation is difficult because there are so many different ways to
understand what “determinacy” amounts to, but perhaps we can put it thus.
First, no special-purpose vocabulary that is distinctive of indeterminacy—
such as a determinacy operator or a predicate for supertruth—carves at the
joints. Second, fundamental languages obey classical logic. The combination
of these two claims is perhaps the best way to cash out the elusive dogma that
vagueness and other forms of indeterminacy are not “in the world”.
This is not to deny the value of determinacy-theoretic vocabulary, or
supervaluationism, or nonclassical logic; it is just to deny them a place at the
fundamental level. They might yet play a role in explaining vagueness in
nonfundamental languages (see section 10.6).
7.13 Fundamental?
Last question: is fundamentality fundamental?
There are two questions here. First, is fundamentality a fundamental
notion? And second, are facts about fundamentality fundamental facts?
Given my subpropositional approach to fundamentality, the first question is
primary. In my terms it is the question of whether structure is itself structural
—of whether carving at the joints carves at the joints. In the official
regimentation: is it the case that ( )?37 My answer is yes.
My answer to the second question is: not all of them. In my terms, the
question is whether facts about structure are fundamental facts. Facts about
structure that involve only structural notions are indeed fundamental facts;
but facts about structure that involve nonfundamental notions cannot be
fundamental facts, given purity. For example, the fact that grue does not
carve at the joints involves the nonfundamental notion grue, and so cannot be
a fundamental fact. Thus it must, given completeness, have a metaphysical
truth-condition stated in purely fundamental terms. But that truth-condition
can mention structure, since structure is a fundamental notion. The truth-
condition might have the form “G does not carve at the joints” (officially:
“not (G)”), where G is a “metaphysical definition” of ‘grue’.
Back to the first question. My reasons for saying that structure is structural
emerge from considering an opposing viewpoint.
A vivid test for whether a given expression, E, carves at the joints is this:
did God need to think in E-terms when creating the world? Clearly, she
needed to think in terms of quantification, mass, distance, and so on;
accordingly, those notions carve at the joints. But did she need also to think
in terms of structure? It is natural, I must admit, to say no. All she needed to
do was decide which objects to create, how massive to make them, and where
to put them; she didn’t need also to consider whether quantification, mass,
distance, and the rest were structural.
If structure is not structural, then completeness requires all statements
about structure to have metaphysical truth-conditions. Since those truth-
conditions must be stated in perfectly structural terms, they cannot contain
‘structure’; but they can contain terms that are structural—terms of physics,
perhaps. What might such truth-conditions look like? I will sketch an answer
that I will call “Melianism”, since it contains elements of an intriguing view
due to Joseph Melia.38
Let’s simplify by discussing Lewisian (perfect) naturalness, rather than
the more general notion of structure. We are after a definition of ‘natural’ in
terms of natural properties and relations (by hypothesis these do not include
naturalness itself). Where N1,N2 … are the natural properties and relations,
the Melian definition is:
P is natural =df P = N1 or P = N2 or …
This is a highly disjunctive definition. The Melian embraces this. There is
no need for a nondisjunctive, explanatory notion of naturalness, he says,
because naturalness itself is never invoked in explanations. Whenever Lewis
would cite naturalness in an explanation, the Melian cites particular natural
properties. Why are these two electrons exactly alike? Because they have
exactly the same natural properties, Lewis says. The Melian says instead:
because they both have charge c, mass m, and spin s.
Objection: “We may not know which natural properties the electrons
possess.”—The Melian reply is that this is an epistemic limitation of ours, not
a deficiency in the proffered explanation. The best explanation of the
electrons being duplicates cites the particular natural properties they share,
even if we do not possess that explanation.39
Objection: “The Melian’s definition is circular since ‘natural’ was used to
pick out the list N1 …”—There would be objectionable circularity only if
‘natural’ occurred on the right hand side of the definition. But it does not.
‘Natural’ was used to pick out the list by description; and perhaps our only
access to the list—and thus to the definition—is via this description.
Nevertheless, the definition itself contains only the list, not the description.
Further, the Melian could avoid appealing to ‘natural’ in even this indirect
way if he accepted the epistemology of section 2.3. He could then pick out
the list by the description ‘properties that figure in our best theory’. (This
would not be an identification of naturalness with the property of figuring in
our best theory. Naturalness would remain identified with a disjunctive
property of the form being N1 or N2 or …; the description would represent
our best guess as to the identity of the disjuncts.)
“Objection: Melianism diminishes the significance of duplication,
intrinsicality, lawhood, and other notions defined in terms of naturalness.”
Here we approach a more telling objection. Since Melian naturalness is
highly disjunctive, so will be the defined notions. So although the Melian
agrees with Lewis on the first-order questions—on which objects are
duplicates of which, which properties are intrinsic, what the laws are, and so
on—he must regard Lewis’s focus on these first-order questions—questions
of duplication, intrinsicality, law, and so forth—as being arbitrary, because
based on highly disjunctive notions. This is a strange predicament. The
Melian is trying to achieve Lewis’s aims on the cheap, but his theory implies
that these aims are metaphysically arbitrary and not particularly worth
pursuing.
And the predicament is worse than strange; Melianism undermines all of
the applications of naturalness. The Melian admits that a notion so
disjunctive as Melian-naturalness cannot be explanatory, and tries to get
around this by claiming that explanations can always cite particular natural
properties rather than naturalness itself. We can explain why two electrons
are exactly alike, he said, by pointing out that each has charge c, mass m, and
spin s. But that is no explanation; explanations must cite generalizations.
Explanations of similarity-facts require generalizations about similarity;
explanations of meaning-facts require generalizations about meaning;
explanations of substantivity-facts require generalizations about
substantivity; and so on. Moreover, explanations must cite generalizations of
sufficient scope. It would be no good to cite the generalization that any two
electrons sharing charge c, mass m, and spin s are similar; the generalization
is too specific. The generalizations must cite naturalness—or better, structure.
But then structure cannot have a Melian definition, if the generalizations are
to be explanatory.
The argument of this book is that the explanatory power of our overall
theory is enhanced by positing structure. Must the posited notion be itself
(perfectly) structural, or could it have a definition in structural terms? What
we have seen so far is that it could not have a Melian, disjunctive definition,
for that would undermine its applications.
Could it have a nonMelian, nondisjunctive definition? Then even though
structure would not be structural, it might still be capable of figuring in
explanations, just like notions of the special sciences.
But it is hard to see how a definition of structure could avoid being
disjunctive. Chemical kinds have nondisjunctive (metaphysical) definitions
because instances of chemical kinds are reasonably physically alike, and
physical notions are structural. Biological kinds have nondisjunctive
definitions because instances of biological kinds are functionally, if not
physically, alike; and functional notions have reasonably nondisjunctive
definitions in structural terms. But consider the instances of the notion of
structure. These include notions of mass, charge, spatiotemporal distance, set
membership, conjunction, disjunction, and universal quantification, let us
suppose. This class of notions is neither physically nor functionally unified.
Nor does it seem to be unified in any other way that would allow a
nondisjunctive definition.40 Other than the fact that all its members are
structural, the class is highly heterogeneous.
Relatedly, consider the notions to be defined in terms of structure—
similarity, intrinsicality, laws and explanation, meaning, induction, physical
geometry, and substantivity. The instances of any one of these notions are
heterogeneous in physical and functional and other “first-order” ways. When
x is similar to y and x′ is similar to y′, there needn’t be any physical or
functional or other first-order commonality between the pairs 〈x, y〉 and 〈x′, y
′〉; there needn’t be any physical or functional or other first-order
commonality between any two laws of nature; and so on. What unifies all the
pairs of similar objects, and all the laws, is just the fact that they involve
structural notions in certain ways; and the structural notions themselves are
neither physically nor functionally unified.
The “first-order heterogeneity” of structure, and of structure-involving
notions, is an in-principle obstacle to a nondisjunctive definition of structure.
Thus the choice is stark: either adopt extreme realism about structure—
holding that structure is itself structural—or else give up altogether on
explanations that invoke structure, which is tantamount to giving up on
structure itself. My choice is for the former.
The status of metaphysics itself hangs on this choice. In their loftiest
moments, metaphysicians think of themselves as engaged in a profoundly
important and foundational intellectual enterprise. But if fundamentality is
highly disjunctive, the field of metaphysics itself—which is delineated by its
focus on fundamental questions—would be an arbitrarily demarcated one.
Although it offers explanatory power (and a pleasing self-conception for
metaphysicians), extreme realism about structure raises some difficult
questions. I’ll mention three.
First, the argument for saying that structure is structural was that this is
needed to insure that structure can take part in genuine explanations. But look
at the notions other than structure involved in the putative explanations:
simplicity, correctness of interpretation, candidate meaning, and so on. These
do not seem structural either. Doesn’t this already undermine the genuineness
of the explanations? And if it doesn’t—if the genuineness of the explanations
is compatible with their involving nonstructural notions—then why can’t the
explanations remain genuine if structure isn’t structural?
This can be answered. Genuineness of explanation does not require
perfectly structural notions, as we see from the special sciences. It is enough
that simplicity, correctness of interpretation, and the rest, are somewhat
structural. The reason for thinking that structure cannot be merely somewhat
structural is its first-order heterogeneity—if structure is not perfectly
structural then it is disjunctive and therefore highly nonstructural.
The second question I find more challenging. In section 6.3 we considered
two possibilities for regimenting talk of structure, each involving the operator
. On one, had a very flexible grammar, and on the other, the language
needed to be supplemented with dummy variables. Neither smacks of
fundamentality. Each seems to require our fundamental languages to be much
more complex than they would otherwise need to be. The complexity could
be avoided by taking talk of semantic values as fundamental; could then
be a predicate of semantic values. But semantics does not smack of
fundamentality.
The third question is also challenging. Realism about structure requires a
fundamental posit, and such posits are generally to be avoided. The concern
is particularly pressing given my own preference, expressed many times in
this book, for simplicity. I have been disdaining, and will continue to disdain,
primitive modality, law, cause, tense, logical consequence, higher-order
quantification, and other such luxuries. But when it comes to my own pet
concept, structure—it might be alleged—my scruples go out the window.
It’s not that I have no answer to this charge. My answer is that structure is
no luxury, since it cannot be reduced without loss. Still, it smells fishy,
doesn’t it? This is a serious challenge facing the audacious doctrine of
realism about structure.
1 A refined principle would allow a nonfundamental truth to hold in virtue of multiple fundamental
truths taken collectively.
2 On grounding see Fine (2001; 2010; 2011); Rosen (2010); Schaffer (2009a); Schnieder (2011);
and the papers in Correia and Schnieder (2012).
3 This is just one way in which ground improves on the coarser-grained notion of modality; see
especially Fine (2001).
4 Cf. Bennett (2006).
5 See Lewis (1986b, pp. 150–7) and section 12.9 of this book.
6 Thanks to Bruno Whittle for this point.
7 Similar remarks apply if we construe them in terms of necessitation or truthmaking, etc.
8 So long as facts are taken to exist in the fundamental sense, anyway; otherwise it might be
objected that names like a somehow bring in nonfundamental notions.
9 There is no need for ‘iff’ to have a sense that is somehow distinctive of metaphysical reduction. It
can have the same sense that it has in any explanatory theory—the material biconditional, say.
10 See Dreier (2004); Fine (2001). My solution to the problem is in the vicinity of Dreier’s and
Fine’s: we all agree that the reason expressivism is nonfactualist (Dreier says “irrealist”) has something
to do with expressivism’s implications for how value relates to the fundamental. I prefer my approach
to Fine’s for the reasons given in section 7.9 below.
11 There are other differences between truth-conditional and expressivist semantics, especially
when they are integrated with a broader theory of the mind. For example, truth-conditions and
expressive appropriateness conditions play different roles in communication and deliberation.
12 See Soames (1992) against the Davidsonian approach.
13 Thanks to Karen Bennett here. For more on well-foundedness, see section 7.11.2.
14 I could instead adopt the second definition of ‘fundamental truth’, rendering completeness
(somewhat) trivial. The corresponding version of purity would then be: truths that do not hold in virtue
of any truth involve only fundamental notions. That is: any truth that involves a nonfundamental notion
must hold in virtue of some other truth. Modulo the assumptions of transitivity and well-foundedness of
in-virtue-of, this is equivalent to the result of the other decision.
15 Another is to study how our concepts relate to one another. Even a simplistic semantics might
illuminate the overall shape of a network of concepts consisting of wrongdoing, blame, guilt, shame,
and the like.
16 See, for example, Armstrong (1978a; b).
17 This corresponds to Fine’s (2003) distinction between proxy and non-proxy reductions.
18 On a more plausible view, U would nonfundamental, and defined in terms of mereology and a
fundamental predicate for the strong nuclear force. The approach in the text is for simplicity.
19 I have in mind hydrogen-1 and helium-4, respectively.
20 Well, one could (at the price of artificiality) specify a tricky translation scheme in which ψ(x)
does indeed apply to subatomic particles, namely, those subatomic particles that are “part of hydrogen
atoms: . One would need to make adjustments elsewhere. For
example, the language of chemistry’s predicate P could not be translated as the fundamental language’s
predicate P; otherwise ∃x(Px ∧ Hx) (“something is both a proton and a hydrogen atom”) would be
translated as a truth.
21 Here is a general translation scheme of the desired sort. Let F be the set of sentences in the
fundamental language that express the assumptions we are making about our fundamental predicates. F
thus includes the claim that B is transitive, symmetric, and reflexive-over-protons-and-neutrons. So in
any model, M, of F, M(P) ∪ M(N) is, if nonempty, partitioned into equivalence classes under the
relation M(B) (I use “ M(π)” for the extension of predicate π in M). Think of these equivalence classes
as “nuclei” (they obviously aren’t really nuclei; M is only a model). For each such equivalence class, c,
call the ordered pair (c, h) an “atom”, where e ∈ h iff: e ∈ M(E) and 〈e, o〉 ∈ M(R) for some o ∈ c.
Each “atom” is an ordered pair of a “nucleus”—a set of “protons” and “neutrons”—and the set of
“electrons” that “orbit” the members of the “nucleus”. Next we construct an augmented model, M′, by
adding the “atoms” to M’s domain. (The added “atoms” are to be new; so if any are already present in
M’s domain, first pair them with some arbitrarily chosen object not in the transitive closure of M’s
domain.) Let the extensions of E, P, N, B, and R in M′ be as they were in M. And let M′ also interpret
the extra predicates of the language of chemistry: let the extension in M′ of < include all pairs 〈d, 〈c, h〉〉
where 〈c, h〉 is an “atom”, and either d ∈ c or d ∈ h, plus further pairs so that < satisfies the axioms of
mereology; and assign extensions to H and L in the obvious way. (Place an “atom” 〈c, h〉 in M′(H), for
example, iff h has exactly one member, and c has exactly one member, which is a member of M′(P).)
Finally, say that ϕ in the fundamental language translates X in the language of chemistry iff for every
model M of F in which ϕ is true, X is true in the corresponding augmented model M′. Notice that a
given sentence might now have more than one translation. (Notice also the use of set theory to specify
the translations, even though the fundamental theory in question was nominalistic. There’s no
immediate conflict since only metaphysical truth-conditions themselves, not the description of how to
arrive at them, must be stated in purely fundamental terms.)
22 See also section 9.3.
23 As pursued, for example, by Fodor (1974) and Kim (1992).
14 In chapter 8 I consider views that replace the notion of structure with ground and/or related
notions.
25 To say that this fact is grounded in our attitudes, for example, would turn moral expressivism
into a form of descriptivism.
26 Fine (2001) ultimately prefers to regard ‘ground’ as a sentence operator rather than as a predicate
of facts (or propositions); but similar remarks apply since the sentences to which this sentence operator
may be applied are heterogeneous; they may be either factual or nonfactual.
27 Compare Sider (2008b). deRosset (2010) raises related issues about grounding.
28 Compare Dasgupta (2010) on plural ground and Fine (1994b) on reciprocal essence.
29 Depending on details, this might call for a refinement of the completeness principle.
30 I discuss this variant in Sider (1993a, chapter 3).
31 There is a parallel worry about a Lewisian account of special-science laws: Lewisian laws must
be simple; unnatural properties detract from simplicity; special-science properties are equivalent to
infinite disjunctions of physical properties and hence highly unnatural.
32 There is obviously some arbitrariness in this construction. For a defense of such arbitrariness in
another context, see Sider (2006, section 2).
33 See Strevens (2006) for an overview.
34 I myself reject gunk (for independent reasons); see Sider (2011).
35 See also Arntzenius (2008).
36 Thanks to Cian Dorr here.
37 On some regimentations of talk of structure, one might raise a worry about the intelligibility of
the question: “Being structural is a property of semantic values; the question would be about the
proposition that the property of being structural instantiates itself; there is no such proposition.” I’m not
sure if I accept any part of this objection, but at any rate, my preferred regimentation for talking about
structure avoids the worry because is an operator.
38 Melia put this forward in conversation, so please don’t blame him for what follows!
39 Compare Melia (1995; 2000).
40 Or better: that would allow a nondisjunctive and objective definition. The class does seem
unified by the fact that its members are all indispensible in our best theories.
8 Rivals
A metaphysics of fundamentality consists of some distinctive concepts for
characterizing fundamentality and a theory of how those concepts behave. I
have been defending one such metaphysics, whose distinctive concept is
structure. In this chapter we will discuss some rival approaches, based on
rival concepts. These rivals are close cousins of my own approach, in that
much of the work I do with structure could be done using my rivals’
concepts. Thus the criticisms I will make should be viewed as sparring
amongst friends.
e1 is an electron;
e2 is an electron;
There is an electron;
There is a quark;
A fundamental truth, for me, is a structural truth; and a structural truth is just
a true sentence composed only of joint-carving expressions; so any true
sentence composed only of expressions drawn from some structural truth
must itself be a structural truth. The combinatorialism is due to the atomism.
But Fine’s holistic account does not imply the combinatorial principle; Fine
need not accept that if In reality, S is true and S′ is a true sentence
containing no expressions other than those occurring in S, then In reality, S′
must be true as well.
Are there reasons to deny the combinatorial principle? One might, for
example, want to hold that some sentence ~ϕ is fundamentally true but that
~~~ϕ is nonfundamental (though true).12 Now, this particular example
doesn’t worry me much, since its force would seem to derive from
considerations of ground: the intuitive reason for saying that ~~~ϕ is
nonfundamental is presumably that it is grounded, in a fundamental sense, in
~ϕ. So if I am right that we should reject a fundamental notion of ground, we
have no reason to accept the example. The claim that ~ϕ grounds ~~~ϕ in
some nonfundamental sense of ‘ground’ would not justify the claim that
~~~ϕ is nonfundamental; the “covering law” account of metaphysical
causation/ground mentioned above, for example, would make it
unremarkable for some fundamental truths to ground others.
But there are quite different, and systematic, reasons one might have for
denying the combinatorial principle. Consider, for example, the following
version of “ontological semi-realism”:13
Some ontological facts are fundamental and others are not. Facts about the existence of subatomic
particles (such as electrons and quarks) are fundamental. But there is no fundamental fact, one way or
the other, about whether there exist further things, things like composite material objects, holes,
numbers, and so on.
This semi-realist will presumably grant that the following is a fundamental
truth:
(I) ~∃x(electron(x) ∃ quark(x)) Nothing is both an electron and a quark.
But then, given the combinatorial principle for fundamentality, each of the
following is fundamentally true if true at all:
(2a) ∃x(~electron(x) ∧ ~quark(x)) There is something that is neither an
electron nor a quark.
(2b) ∃∧x(~electron(x) ∧~quark(x)) Nothing is neither an electron nor a
quark.
For both (2a) and (2b) contain only expressions occurring in (1): variables,
∃∧’, ‘~’, ‘∃’, ‘electron’, and ‘quark’. Thus whether there exists anything
other than electrons and quarks is a fundamental matter. If we indulge in the
harmless assumption that electrons and quarks are the only sorts of subatomic
particles, this is precisely what our ontological semi-realist wanted to deny.
The conflict with semi-realism might be regarded as unwanted flexibility
in my subpropositional approach. I view it instead as a powerful argument
against semi-realism!
There are ways to square semi-realism with the combinatorial principle.
The semi-realist could distinguish two quantifiers: i) a quantifier over
subatomic particles, ∃part; and ii) an ordinary quantifier. When ‘∃’ is
replaced with ‘∃part’, (I) is a fundamental truth. Accordingly, any true
statement containing just variables, ‘3 ’, ‘~’, ‘A’, ‘electron’, and ‘quark’ is
also fundamentally true. So when ‘∃’ is replaced with ‘∃part ’, whichever of
(2a) and (2b) is true, is fundamentally true. In particular, the semi-realist
could claim, it is (2b) that is true—only electrons and quarks exist in the
sense of ∃part But it is the ordinary quantifier, not ∃part, that the semi-realist
has in mind when she says that there is no fundamental fact, one way or the
other, as to whether there are any things other than subatomic particles. When
‘∃’ is replaced with the ordinary existential quantifier, the semi-realist will
say, (I) and (2a) are true but not fundamentally true, whereas (2b) is simply
false.
But this ontological semi-realist faces a challenge: to remain distinct from
an ontological realist (see chapter 9) who accepts mereological nihilism—the
denial of mereologically complex entities. Cian Dorr (2002; 2005), for
example, accepts a fundamental sort of quantification, which he uses to state
his nihilism; but he grants that ‘There are composite entities’ is true in
ordinary English. For Dorr as for the purported semi-realist, (1) and (2b) are
true in the fundamental sense of ‘∃’, whereas under the ordinary English
sense, (1) and (2a) are true but not fundamentally true and (2b) is false.
There are ways to meet the challenge. The semi-realist might say that
there are several joint-carving quantifiers, ∃1… ∃n.14 Under each quantifier,
there are electrons and quarks (that is, for each i, ∃ix electron(x) ∃∃ix
quark(x) is true). Under ∃1, only electrons and quarks exist; under the
others, various other objects exist in addition (so to speak). ∃part is ∃1; the
ordinary existential quantifier is semantically indeterminate over two or more
of the ∃is. And it is the ordinary “there is” under which “There is no
fundamental fact of the matter, one way or the other, whether there are
anything other than electrons and quarks” is true. This is a consistent
position, and is distinct from Dorr’s position; but the semi-realist may feel at
this point that he has drifted far from where he began.
The general moral is that the combinatorial principle rules out certain
views about fundamentality: views on which the fundamental level is
distinguished, not by a distinctive vocabulary, but rather by a distinctive set
of claims in a more inclusive vocabulary. One is always free to make such a
view combinatorialism-friendly by “splitting” the inclusive vocabulary.
Whenever one previously used a term T to state both a fundamental truth and
a nonfundamental truth, one now distinguishes a term Tf which occurs
exclusively within fundamental truths from a term Tn which occurs
exclusively within nonfundamental truths. But the result of doing so may not
preserve the spirit of the original view.
8.4 Truthmaking
According to the doctrine of truthmaking, each truth has a truthmaker—an
entity whose very existence “makes-true” that truth.17
What are these truthmakers? Sometimes they can be perfectly mundane
entities. I, for example, serve as a truthmaker for the truth that there exists at
least one thing. My very existence makes it true that there exists at least one
thing. (In fact, anything at all is a truthmaker for this truth; the truthmaking
relation is not one-to-one.) But other kinds of truths require distinctive
entities as their truthmakers. I cannot serve as a truthmaker for the truth that I
am five feet nine inches tall, since I could have existed but had some other
height. (Truthmaker theorists disagree over the exact nature of the
truthmaking relation, but they all agree that the existence of the truthmaker
must necessitate the truth.) Nor is that truth made true by the property of
being five-nine, since that property could have existed without my
instantiating it. Nor is it made true by the ordered pair of me and the property,
since that ordered pair could have existed without my instantiating the
property.18 Nor does there seem to be any other particular, property, or set-
theoretic construction therefrom whose existence is sufficient for my being
five-nine. So what is the truthmaker here? When mundane entities don’t
suffice, truthmaker theorists tend to posit new entities that are fit to serve as
truthmakers—entities that simply could not have existed if the truths in
question had not been true. Different sorts of entities could be posited; I’ll
focus on “states of affairs”. (Other entities that might be posited include
tropes and “thick particulars”.) The state of affairs of my being five-nine is
the truthmaker for the truth that I am five-nine; it is to be thought of as a
contingent entity, an entity that, necessarily, exists if and only if I am five-
nine. (States of affairs thus construed are like facts on a “concrete”
conception. But I have been using the term ‘fact’ more neutrally, so I will
avoid using that term for truthmakers. Note that the truthmaker theorist’s
“concrete” states of affairs must be distinguished from necessarily existing
“abstract” states of affairs, as in Plantinga (1974).)
In the next section I will discuss an approach to fundamentality based on
truthmaking; but first I want to distinguish, primarily in order to set them
aside, two vague ideas that are often cashed out in terms of truthmaking.
First, there is the quite plausible idea that there can be a gulf between
fundamental metaphysics and ordinary truth. According to this idea, a
metaphysician who takes the world ultimately to consist of nothing more than
atoms in the void, or of a wavefunction in statespace, or of The One, does not
conflict with common sense or science. For common sense and science do
not concern themselves with questions of fundamental reality, and the truth
of ordinary and scientific beliefs is compatible with a range of positions on
the underlying metaphysics of those beliefs. This idea is often put in terms of
truthmaking: truths of common sense and science are made true by
fundamental states of affairs about atoms or wavefunctions or Ones. The
truthmaking relation needn’t be one-to-one and isn’t tied to ordinary
meaning; thus a state of affairs specifying an appropriate configuration of
atoms can make true both the truth that those atoms are thus configured and
the truth that I am five-nine, and it can make the latter true even though the
ordinary meaning of ‘Ted is five-nine’ does not concern atoms. But
truthmaking isn’t the only way to accommodate the gulf. A Finean could say
that propositions of common sense and science are grounded in propositions
about atoms, wavefunctions, or Ones; and I could say that the metaphysical
truth-conditions of sentences of common sense and science make reference
only to atoms, wavefunctions, or Ones.19
I have a bone or two to pick with the second idea: that truthmakers are
needed in order to catch “ontological cheaters”—those ne’er-do-well
metaphysicians (such as presentists, phenomenalists, or solipsists) who refuse
to countenance a sufficiently robust conception of the fundamental (as
containing past entities, physical objects, other persons) to underwrite the
truths they accept (that there once existed dinosaurs, that there exist external
physical objects arranged thus and so, that there exist such and such people
other than themselves), and who instead state truths using suspect ideology
(tense operators, statements about possible experiences, Arthur Prior’s
(1968b) “person-tenses”). What is wrong with the presentist’s tensed claim
that there once existed dinosaurs, according to this second idea, is that the
claim has no truthmaker. The presentist rejects the existence of past
dinosaurs, and so accepts no entities whose existence would suffice for the
truth of the tensed claim—the claim “lacks a basis in reality”. But there is a
different, more direct way to object to the cheaters: simply reject their
fundamental ideologies. These include tense operators, counterfactual
constructions, and the like; and one can simply argue, on grounds of
parsimony, that ideologically leaner (though more ontologically committed)
rival views are more attractive.20 (It’s important to this assessment that
ideological commitments are coequal with ontological commitments.) This is
not intended as a “methodological” critique of the cheaters; it is a squarely
metaphysical objection. Nor is it intended to be a mechanical recipe; we must
enter the trenches and argue, on a case-by-case basis, that it’s better to posit
merely past things, external physical objects, and the like, than to introduce
tensed, counterfactual, and other ideology.
Similar remarks apply to Truthmaker 2.0, “truth supervenes on being”
(TSB), according to which any two possible worlds that are alike in what
objects exist and what properties and relations they instantiate are alike in
every way whatsoever.21 Its point is to catch the cheaters while avoiding
certain perceived problems with the truthmaker principle. As we saw, the
truthmaker principle requires the existence of distinctive entities (for
example, states of affairs) in the case of predicational truths (like the truth
that I am five-nine). And even more distinctive entities (to put it mildly) are
required for negative statements: one needs negative states of affairs (entities
whose existence somehow suffices for its not being the case that such-and-
such) or “totality” states of affairs (entities whose existence suffices for
certain entities being all the entities). TSB, on the other hand, requires no
such distinctive entities, because the truth values of negative and
predicational sentences about properties and relations do not vary between
worlds that are alike in what objects there are and what properties and
relations they instantiate. But a more direct response to the cheaters is just to
object to their ideology.
Indeed, there is a satisfyingly simple thesis about fundamental ideology
that has essentially the same upshots regarding cheaters as TSB: the correct
fundamental ideology is that of predicate logic. Like TSB, this thesis rules
out primitive tense operators and counterfactual conditionals, since the only
sentence operators in predicate logic are ‘and’, ‘or’, and so on, and the
quantifiers; and it allows predications and negative statements without
requiring the existence of states of affairs, since ‘not’ and predications are
again part of predicate logic ideology. TSB’s similarity to the simple thesis is
hidden by the way the formulation of TSB uses the ideology of predicate
logic. To say that worlds are “alike in what objects exist and what properties
and relations they instantiate” is to say that the worlds contain the same
objects (quantification and identity), and that an object has a property
(predication) in one world if and only if (propositional-logic sentential
connectives) it has that property in the other. As a consequence, true
sentences containing this ideology automatically supervene on being, and
thus pass the TSB test. But if we used other ideology to state the constraint,
this other ideology would automatically pass the test as well. For example,
sentences containing primitive tense operators would pass the test of a tensed
TSB, viz., “Worlds that are alike in which objects instantiate, or used to
instantiate, or will instantiate, which properties and relations, are alike in
every way.” TSB has, therefore, an implicit commitment to the ideology of
predicate logic; better to make this commitment explicit with the simple
thesis.22
Further, it is important to appreciate that the truthmaker principle and TSB
are not mere generic assertions that the facts must be grounded, somehow, in
fundamental reality. Still less is either claim “certain a priori”, as Lewis
claims of TSB (1994, 473). Each is a substantive and distinctive claim of
metaphysics. Consider, for example, what the two principles have to say
about primitivism about laws of nature. The truthmaker principle requires this
primitivism to take the form of the postulation of a distinctive sort of entity.23
TSB requires it to take the form either of the postulation of a distinctive sort
of entity, or of the postulation of a distinctive sort of property or relation.24
But neither allows a third form, a view that takes as primitive a sentence
operator ‘it is a law that’. On this third formulation, there are no distinctive
entities called laws, nor are there distinctive properties and relations
corresponding to laws; two worlds might contain the same distribution of
properties and relations over objects, but might nevertheless differ in that in
one, it’s a law that all Fs are Gs, whereas in the other, all Fs are indeed Gs
but it’s not a law that all Fs are Gs. This third form, in fact, seems to be the
most natural form for primitivism about laws to take; and it’s inconsistent
with both TSB and the truthmaker principle.25 Now, I don’t myself defend
primitivism about laws, but my preferred form of primitivism about structure
—based on the primitive operator described in section 6.3)—conflicts
with both TSB and the truthmaker principle for essentially the same reason
that the third form of nomic primitivism did. So it’s important for me to point
out that TSB—or better, the thesis that the correct ideology is that of
predicate logic—is a substantive thesis of metaphysics. It’s admittedly
attractive, but it can be given up if total theory demands it.
8.7 Entity-fundamentality
Finally, I’ll briefly discuss a rival approach that has not (as far as I know)
been defended in print, but which seems to underlie much casual talk of
fundamentality. On this approach, the distinctive concept is that of a
fundamental entity. Fundamental entities are like Schaffer’s substances: they
are the entities on which all else is (in some sense) based. Electrons, perhaps,
are fundamental entities, whereas tables and chairs are nonfundamental.
The approach is usually extended to cover the fundamentality of
properties and other abstract entities. The property grue, for example, is said
to be a non-fundamental entity, whereas unit negative charge is a
fundamental entity.
It would be easy to confuse this approach with my own. Both approaches,
it might be thought, can allow talk of the fundamentality of entities of
arbitrary sort: properties, quantifier meanings, and so on. But my approach is
very different. My official notion of structure (“ ”) is an operator, not a
predicate. To be sure, I often speak casually of properties, words, and “bits of
ideology” as carving at the joints, but this is loose talk. Moreover, there are
several reasons to reject this approach to fundamentality, and they do not
apply to my account.
First, extending the account to properties requires thinking of abstract
entities as the locus of fundamentality. This is especially problematic if we
want to go beyond the predicate; recall section 6.3.
Second, once the approach is extended to abstract entities, it mixes
together two things that are best separated: the fundamentality of an abstract
entity “as an entity” and the fundamentality of what it “represents”; recall
section 8.6.
Third, even when applied just to concrete entities, the approach mixes
together two further things that ought to be kept separate: the fundamentality
of an entity’s existence and the fundamentality of its nature. To illustrate:
what is the status of tables and chairs and other mereologically complex
entities according to a mereological universalist like David Lewis (1986b,
212–13; 1991, 79–81)? As I see it, it is the following. The existence of tables
and chairs is just as fundamental as the existence of electrons (in contrast,
perhaps, with smirks and shadows, which do not exist fundamentally).
However, tables and chairs have nonfundamental natures.34 These claims are
easily distinguished on my own approach: in the fundamental sense of the
quantifier ‘there are’, there are tables and chairs as well as electrons (whereas
‘There are smirks and shadows’ is true only under a nonfundamental sense of
‘there are’); but unlike electrons, tables and chairs satisfy no monadic joint-
carving predicates. It is unclear how to make these claims if we speak only of
entity-fundamentality.
Fourth, the entity-fundamentalist seems to conceive of the fundamental as
consisting solely of a collection of entities; but a theme of the preceding
sections has been that mere entities cannot generate satisfying explanations.
If the entity-fundamentalist responds in certain ways (such as invoking states
of affairs), my objections to the truthmaker theorist and to Schaffer will
apply.
1 Fine (2001, p. 15–16). I’ll ignore certain complications Fine discusses, such as multiple
propositions on the “left-hand side” (“p1, p2,… grounds q”) and the nonfactive sense of ground.
2 Fine (2001, p. 26).
3 He does say that “there is a primitive metaphysical concept of reality, one that cannot be
understood in fundamentally different terms” (p. 1). But “primitive” here could have a conceptual or
methodological sense (note the words ‘concept’ and ‘understood’).
4 This definition uses the predicate-of-propositions formulation. In the operator formulation, we
might define “basically ϕ” as “for no sentence ψ is ϕ because ψ true”, or, alternatively, as “∼∃P(ϕ
because P)”. Neither is ideal. The first renders ‘Basically ϕ’ too weak—it could be true if ϕ had a
ground that our language cannot express; the second requires quantification into sentence position.
5 Fine’s proposition b) (Fine, 2001, p. 17) commits him to this conclusion.
6 For another interesting objection to the grounding approach to fundamentality, see deRosset
(2010).
7 This move is formally available because the Finean needn’t accept the combinatorial principle of
section 8.3.
8 See also Cameron (2008).
9 See Bricker (1993); Maudlin (1993, p. 196).
10 A priority monist like Schaffer (2010c) can escape by denying that a path has its length because
of the lengths of its parts. A friend of entity-grounding might try to escape by grounding facts about
path length in the plurality of points in the path, rather than in any fact or facts about distance. This
strikes me as an illustration of the evils of entity-grounding; see sections 8.5 and 8.6.
11 But the objection from infinite descent still threatens, insofar as real propositions are to be
intuitively thought of as ungrounded.
12 Thanks to Kit Fine for this example.
13 Chalmers (2009) is sympathetic to this sort of view.
14 See McDaniel (2009); Turner (2010b) on “ontological pluralism”.
15 The view might be put differently since the Finean view does not imply the combinatorial
principle; my point is just that the Finean might put it this way.
16 Let us assume that the causal deflationist and the causal nihilist are both ontological realists, so
the quantificational language here is not a distraction.
17 See Armstrong (1997; 2004); Cameron (2010; 2011).
18 Whatever one thinks of truthmakers, it should not be thought that they are required to
“distinguish facts from mere lists”—to distinguish i) the scenario in which I instantiate the property of
being five-nine from ii) the scenario in which I and the property both exist but I don’t instantiate the
property. Without truthmakers, we cannot say that the scenarios contain different entities. But we can
say simply that I instantiate the property in i) but not ii). Instead of appealing to an ontological
difference, we state the difference with a piece of primitive ideology (‘instantiates’).
19 See also Horgan and Potrč (2000) on indirect correspondence.
20 Sider (2001b, chapter 2, section 3) argued for a general prohibition of ‘hypothetical’ fundamental
ideology. The present approach seems superior.
21 The doctrine is from Bigelow (1988, 130–3) and Lewis (1992, 215–19). For other criticisms see
Merricks (2007, chapter 4); Sider (2001b, chapter 2, section 3).
22 Another problem with TSB is that it is modal. As is often the case, unwanted consequences result
from trying to say indirectly, via modality, what would be better said directly, in terms of
fundamentality In this case, the problem is that statements about necessary subject matters trivially
supervene on being. Anyone willing to say that mathematical claims are noncontingent can, for
example, deny that the fundamental level contains anything mathematical, but can nevertheless say that
mathematical statements are true, without violating TSB.
23 Tim Maudlin seems to accept this view when he calls laws “fundamental entities in our
ontology” (2007b, p. 18), but I suspect he cares more about antireductionism than reifying laws.
24 Armstrong (1983) and Michael Tooley (1987), for example, hold views of the latter type: laws
arise from the holding of a relation between universals.
25 Note also that all three formulations seem on a par, insofar as cheater-catching is concerned. The
thought that it’s illegitimate for presentists to take tense seriously and illegitimate for phenomenalists to
speak of counterfactuals about experiences doesn’t lead to finding the third formulation any more
repugnant than the first two.
26 Compare Schaffer (2010b), except that Schaffer is not (I take it) entrenching.
27 This is not to object to monism per se; a monist might give satisfying ultimate explanations that
terminate in facts about the Cosmos, so long as there is a sufficiently rich set of facts about the Cosmos
(for example, higher-order facts about the properties instantiated by the Cosmos, as discussed in Sider
(2008a)).
28 To be fair, Armstrong says a lot more about modality, in the same book and also in his earlier
book A Combinatorial Theory of Possibility. But what he says is more explanatory when he he attempts
to analyze modality, and not just cite truthmakers.
29 Here I treat ‘makes-true’ as taking a sentence on its right-hand side. If it were taken instead as a
two-place predicate ‘x makes proposition p’ true, the purity problem would be relocated to facts
involving proposition-theoretic ideology such as ‘the proposition that ϕ’.
30 Schaffer thinks that there is but a single fundamental entity (2009b; 2010c), but this monistic
view is detachable from his theory of grounding as such.
31 A third way would be to say that when its arguments are propositions, grounding concerns their
subject matters rather than their existence and nature. But this would implausibly fragment the relation.
32 If the notion takes the form ‘entity x grounds proposition p’ rather than ‘proposition q grounds
proposition p’, then this would move him closer to truthmaker theory rather than to Fine.
33 Side point: purity is the claim that all notions involved in fundamental facts are fundamental
notions. Schaffer’s ideology allows a related claim of “substance-purity” to be formulated: all entities
involved in fundamental facts are substances. Is there pressure on him to accept it?
34 Notice that substance-purity (note 33) is hostile to this sort of mereological universalism. For
surely this universalist will want to say that singular mereological facts are fundamental; but when x is
part of y, surely x and y are not both substances. My own framework, by contrast, is friendly to the
position. The ideology in mereological claims can be held to carve at the joints; and since my
framework allows no notion of substance, substance-purity cannot be formulated.
9 Ontology
“Is there evidence for the existence of black holes? Indeed there is.”—Roger
Penrose
“I turned to speak to God, About the world’s despair; But to make bad
matters worse, I found God wasn’t there.”—Robert Frost
“No definite evidence is yet available to confirm or disprove the actual
existence of unidentified flying objects as new and unknown types of
aircraft.”—United States Air Force
“The Cosmos is all that is or ever was or ever will be.”—Carl Sagan1
∃xFx
There are Fs.
—that is, “There exist at least three things.”18 (Van Inwagen may think that
subatomic particles are invariably accompanied by abstract objects—sets for
example—in which case he too would accept the displayed sentence. But we
could simply restrict the sentence’s quantifiers to concreta.) This sentence
contains only quantifiers, truth-functional connectives, and the identity sign.
Surely the deflationist will want to say that a debate over its truth is
nonsubstantive, and thus cannot accept that all of its expressions carve at the
joints. But it’s hard to see how they could blame the nonsubstantivity on the
truth-functional connectives or the identity sign (or the predicates needed to
restrict the quantifiers to concreta).
9.6.2 No foundation
A more promising objection presses the following questions on the quantifier
variantist: what is fundamental, if quantification is not?34 What is the world
fundamentally like? How will you write the book of the world? As we’ll see,
these questions are difficult for the quantifier variantist to answer.
Whereas the previous section’s argument was specific to quantifier
variance, this argument—as well as the arguments of the next two sections—
applies to all ontological deflationists, since all ontological deflationists must
deny that quantifiers carve at the joints.
As we saw in section 7.1, it’s natural to assume that the fundamental is
“complete”, which I spelled out as meaning that it must be possible to give a
metaphysical semantics for each nonfundamental language, using a
fundamental metalanguage. So in particular, it must be possible to give a
metaphysical semantics for the language of physics, using a fundamental
language.
Now, the ontological realist can do this in familiar ways. It’s easiest if the
ontological realist has a reasonably permissive ontology, for then he can take
the physicist’s language—including the mathematical bit—to be a
fundamental language.35 It will be harder if the ontological realist accepts a
more restrictive ontology—say, one that contains no mathematical entities.
Still, there are well-known programs for at least attempting to formulate
physical theories in nominalistic terms.
But no serious work on the foundations of physics and mathematics has
been done in a quantifier-free setting. So the quantifier variantist must begin
from scratch. He must choose some alien quantifier-free language as his
fundamental language, and then he must somehow give a metaphysical
semantics for the quantificational language of physics in its terms.
Some attempts to do this evaporate under closer inspection. Suppose, for
example, that the quantifier variantist says the following:
I have no need for objects in my fundamental description of the world.
The world fundamentally consists of the distribution of properties over
spacetime. One can then introduce the ordinary notion of an object in various
ways atop this foundation.
This is just confusion. Far from renouncing quantifiers in his fundamental
language, this variantist helps himself to quantification over points and
regions of spacetime.36 Quantification is deeply embedded in all physical
theories as normally understood, as well as in the mathematical theories they
employ. Imagine trying to state a physical theory without quantifying at all.
You couldn’t quantify over points or regions of space or time or spacetime.
You couldn’t quantify over points or regions of configuration space or phase
space or any other higher-order space. You couldn’t quantify over real
numbers, or functions of real numbers, or vectors, or tensors, or any other
mathematical entities. Your attempt wouldn’t even get off the ground.
It is sometimes said that we need no things at the fundamental level, only
stuff. To help in the present context, the suggestion must be that we can
replace quantification in a fundamental language with stuff-theoretic lingo,
and then use this to give a metaphysical semantics for physical theories.
Now, the stuff gambit tends to be paired with the idea that stuff lingo is
basically like natural language talk using mass nouns. Thus, the stuff
language would include sentences of the form “Some α is ϕ”, “All a is ϕ”, “δ
is the same α as γ”; “δ is part of γ”, and so on, for mass nouns α and ß and
“mass singular terms” δ and γ. After all, in English one can say “Some water
is polluted”, “All water is wet”, “The water on the floor is the same water as
the water that was in the tub”; and “The water in Lake Erie is part of the
water in the Great Lakes.” Thus, the stuff language contains “stuff
quantifiers”, “stuff-predication”, “stuff-identity” and “stuff-parthood”. One
then wonders whether this stuff language differs in any nonterminological
way from the thing language it is supposed to supplant.37
Resolving whether two proposed fundamental languages differ genuinely
or merely notationally can be very difficult. Indeed, it’s often hard to know
what’s at stake. But here we can bypass the issue. For even if the stuff
language differs genuinely from the thing language, it won’t scratch the
quantifier variantist’s real itch. The variantist’s reason for introducing the
stuff language was that he regarded questions about the existence of things as
being nonsubstantive, but conceded that questions in a fundamental language
are substantive—the stuff language was to be a fundamental language in
which questions about the existence of things cannot be raised. But analogous
questions about the existence of stuff can be raised in the stuff language, such
as the question of whether for any stuff and any distinct stuff, there exists
some further stuff containing them as stuff-parts. The quantifier variantist
should at this point retrace his steps, for he will be no happier admitting that
this new question is substantive than he was admitting that the question of
whether any two things are parts of some further thing is substantive.
Similar remarks apply to some other attempts to construct quantifier-free
fundamental languages. The variantist might think to use the predicate-
functor formulation of predicate logic popularized by Quine (1960b).38 In
this language, one replaces quantifiers and variables with predicate functors.
Grammatically, predicate functors turn predicates into predicates (with
perhaps different ’adicies). We can get the hang of the system by considering
the predicate functor that takes the place of the existential quantifier: c. c
turns a (perhaps complex) n + 1-place predicate Fn+1 into an n-place
predicate cFn+1, which can be thought of, intuitively, as being true of u1… un
iff for some u, Fn+1 is true of u,u1. ..un. Thus in predicate functorese one says
cF instead of ∃xFx. (We just used the existential quantifier to explain the
meaning of c in an intuitive way, but the proposal on the table is that c and
the other predicate functors are metaphysically primitive.) Other predicate
functors are needed to gain the full expressive power of predicate logic. ~ is
for negation: ~Fn is a predicate that is (can be thought of as being) true of
u1… un iff Fn is not true of u1… un. ∧ is for conjunction: Fn∧Gm is true of
u1… umax(n m) iff Fn is true of u1… un and Gm is true of u1… um. σ “rotates
argument places”: σFn is true of u1 …un iff Fn is true of un, un,u1,…un−1.l
permutes the first two argument places: lFn is true of u1 …un iff Fn is true of
u2, u1, u3… un. p “pads” a predicate by adding a vacuous argument place: pFn
is true of u1… un+1 iff Fn is true of u2…un+1. It can be shown that predicate
functorese has the expressive power of predicate logic (without individual
constants); so the variantist might regard it as a suitable replacement for
predicate logic in his fundamental language. But this would again be
misguided, since it would saddle the variantist with substantive questions that
are precisely analogous to the substantive questions he was trying to avoid.
For example, the variantist was trying to avoid substantive questions like this:
“Does there exist something containing an F and a G as parts?” But
corresponding to this question’s predicate logic symbolization:
9.6.4 Indispensability
The best argument against quantifier variance, and indeed against all forms of
ontological deflationism, is really quite simple. As I argued in section 2.3, the
way to tell which notions carve at the joints is broadly Quinean: believe in
the fundamental ideology that is indispensable in our best theories. This
method yields a clear verdict in the case of quantification. Every serious
theory of anything that anyone has ever considered uses quantifiers, from
physics to mathematics to the social sciences to folk theories. And as we saw
in section 9.6.2, there is no feasible way to avoid their usage. Quantification
is as indispensable as it gets. This is defeasible reason to think that we’re onto
something with our use of quantifiers, that quantificational structure is part of
the objective structure of the world, just as the success of spacetime physics
gives us reason to believe in objective spacetime structure.
Further, just as the success of particle physics suggests that ‘charge’,
‘mass’, and the like correspond to unitary structure, rather than fragmented
structure as with ‘jade’, so the indispensability of quantification suggests that
quantificational structure is unitary. It therefore argues against ontological
pluralism, the view that there are multiple fundamental sorts of
quantification.40
Questions framed in indispensable vocabulary are substantive; quantifiers
are indispensable; ontology is framed using quantifiers; so ontology is
substantive— that’s the best argument for ontological realism.
Before there were people, when something was perforated (e.g., a certain
mountain) there was a hole in that entity (e.g., a cave). If there had been no
people and something had been perforated, there would have been a hole in
that entity.
If the Fs and the Gs are equinumerous, then the number of Fs equals the
number of Gs.
Thus we have an easy route to the existence of numbers. Suppose there are
two apples and two oranges in the bowl. Then the apples in the bowl are
equinumerous with the oranges in the bowl, whence by Hume’s Principle the
number of apples in the bowl equals the number of oranges in the bowl. But
then, there is such a thing as the number of apples in the bowl. So, there are
such things as numbers.41 In the philosophy of art, Amie Thomasson has
defended the view that conceptual truths assure us of the existence of works
of art (2005; 2006) and fictional characters (2003). Unlike holes and
numbers, works of art and fictional characters are quite generally brought into
existence by human beings. But as above, this does not mean that the
adoption of linguistic conventions brings these entities into existence. It
rather means that the conceptually sufficient conditions for their existence
make reference to certain human activities, and specify that the entities come
into existence only when the activities are performed. Thomasson writes:
Our literary practices … definitively establish the existence conditions for
fictional characters … According to those criteria, what does it take for an
author to create a fictional character? This much is clearly sufficient: That she
write a work of fiction involving names not referring back to extant people or
characters of other stories, and apparently describing the exploits of
individuals named … (2003, 148)
Thomasson also defends a similar view about the ontology of material
objects.42 On her view, statements giving the existence and persistence
conditions of ordinary objects such as tables, sticks, and baseballs are
analytic. For example, it is analytic that if some particles are arranged
baseball-wise, then there exists a baseball.
Easy ontology rests on the notion of analyticity But what does it mean to
say that a sentence is analytic?
9.8 Analyticity
While I reject the claims of Quine (1936; 1951b; 1960a) and his minions that
analyticity is an incoherent notion, much of Quine’s critique is, I believe,
correct. There are several notions in the vicinity, some legitimate, some not;
and often an illusion of progress comes from illicitly shifting between
different notions.43
Two of these notions are truth by convention and definitional constraint.
Truth by convention is a putatively metaphysical notion: a sentence is said to
be true by convention when the conventions governing that sentence
somehow suffice on their own to produce the sentence’s truth. Definitional
constraint is a semantic notion: a sentence S is a definitional constraint on
expression E when S plays a certain distinctive role in helping to determine
the meaning of E. The role, intuitively, is that there is “metasemantic
pressure” towards interpretations of E under which S is true. A natural
thought about the source of this metasemantic pressure is that it results from
our intending (in a meaning-constituting way) E to mean something under
which S is true. Examples: ‘All bachelors are married’ is a definitional
constraint on ‘bachelor’; a sentence expressing the transitivity of ‘=’ is a
definitional constraint on ‘=’; ‘Nothing is red and green all over’ is a
definitional constraint on ‘red’ and ‘green’ jointly. We may also speak of
rules of inference as definitional constraints: the idea here is that there is
metasemantic pressure towards interpretations under which the rule comes
out truth-preserving. The rules of ‘and’-introduction and ‘and’-elimination,
for example, are definitional constraints on (the logician’s) ‘and’.
As we saw in section 6.5, truth by convention was discredited long ago, in
large part by Quine. This part of the Quinean critique is beyond reproach. But
with many I reject the part that is directed at defnitionality. Quine argued in
“Two Dogmas of Empiricism” that confirmation holism implies meaning
holism, which he then alleged to be inconsistent with the coherence of
analyticity—here clearly meaning definitionality; but this argument had a
dubious verification theory of meaning as a premise.44 A second argument
from “Two Dogmas” was that it is difficult to reductively define ‘analytic’
(again, in the sense of definitionality) without appealing to related notions
such as meaning or rule of language. But as Grice and Strawson (1956)
quickly pointed out, inability to define a term should not make us doubt that
term’s sense. Definitionality depends, somehow, on dispositional,
psychological, historical, and environmental facts about language users.
Turning this bland observation into a philosophical definition is a
monumental task. But so are all tasks of philosophical definition. Failure to
define ‘definitional’ is no more cause for alarm than failure to define ‘city’,
‘smile’, or ‘candy’.
Though I cannot define ‘definitional’, I can say a bit about it. Meaning is
determined, somehow, by a complex array of facts about us—call these the
facts about how we “use” language—as well as a complex array of facts
about our relation to the world. Definitionality is primarily a function of the
first array of facts, the facts of use.45 Think of definitional constraints as
messages we send to the semantic gods: “Insofar as you can, interpret our
words so that these sentences come out true, and these inferences come out
truth-preserving.” Definitionality presumably comes in degrees: sentences or
inferences can be more or less defi-nitional (perhaps even: more or less
definitional with respect to different terms). I think of definitional constraints
as being in-principle available to competent speakers, or groups of competent
speakers, though not infallibly or immediately so.
Definitional sentences need not be true; and definitional rules need not be
truth-preserving.46 For definitionality can be trumped. A definitional sentence
or rule of inference governing certain terms might not be the only
metasemantic pressure on those terms’ interpretation. Countervailing
metasemantic pressure from other sources might lead the semantic gods to
assign those terms no meanings at all, or to assign them meanings that render
definitional sentences or rules false or non-truth-preserving. The
countervailing pressure might come from other facets of our usage of the
terms (including, but not limited to, other definitional sentences or rules), or
it might have a more metaphysical source.
Some examples. 1. Arguably, ‘There is absolutely no space between two
objects in contact’ is false but definitional of ‘contact’. The countervailing
pressure comes primarily from use: other things we say using ‘contact’ lead
the semantic gods to sacrifice this one definitional constraint. 2.
Compatibilists reject the sentence ‘No free action is determined by the past +
laws’; but this sentence is arguably definitional of ‘free’. Part of the
countervailing pressure comes from the usage of ‘free’ in other contexts, but
another part has a metaphysical source: the nonexistence (and even
incoherence, on some views) of incompatibilist freedom. 3. The introduction
and elimination rules for ‘tonk’ are definitional, but are not (both) truth-
preserving. Here the countervailing source has nothing to do with use, but
rather is purely metaphysical (or perhaps we should say logical): the semantic
gods cannot acquiesce to the definitional constraints on pain of contradiction.
4. Pretend that physical theory includes a primitive theoretical predicate of
times, ‘earlier-than’. No physicist, let us suppose, questions the assumption
that this relation is connected—that for any two distinct times, one of them is
earlier than the other. Indeed, if asked to give “a definition” of ‘earlier-than’,
physicists might cite connectedness as one of its defining characteristics. So a
sentence expressing connectedness is at least somewhat definitional of
‘earlier-than’. Nevertheless, we can imagine the sentence to be false. Suppose
there is just one joint-carving relation in the vicinity and that it is not a
connected relation. Under this joint-carving relation, times are grouped into
two separate time-lines, say. Surely this relation is what ‘earlier-than’ would
denote. The definitional sentence about connectedness would be trumped by
countervailing metasemantic pressure of a metaphysical source: the pressure
to assign the joint-carving relation to ‘earlier-than’. This pressure could be
due to reference magnetism, but it needn’t be. It could instead be based on
the fact that ‘earlier-than’ is a theoretical term: it is intended to stand for
whatever joint-carving notion is in the vicinity. 5. Consider an intuitionist of
a rather metaphysical stripe,47 who thinks that there is just one joint-carving
notion in the vicinity of negation, which satisfies an intuitionistic logic. Such
an intuitionist does not accept the rule of double-negation elimination, but
might nevertheless concede that this rule is definitional, in ordinary English,
of ‘not’. On this view the definitional claim of that rule to be truth-preserving
would again be trumped, as in example 4, by the presence of a rogue joint-
carving notion that does not satisfy the definitional constraint.
Though definitional sentences can turn out false, often they turn out true.
We need a word for true definitional sentences. I propose: ‘analytic’.
Analytic sentences thus understood are meaning-constraints that, as it
happens, succeed. It might be thought inadvisable to re-use that old word
here, since (as we will see) true definitional sentences do not play all of the
traditional role of analyticity. But it plays some of that role; and as for the
rest, nothing plays it. True + definitional is what we ought to mean by
‘analytic’.
Analyticity, thus understood, carries no commitment to truth by
convention. To count as analytic, a sentence must first be true—true on its
own steam, so to speak. To say that a sentence is analytic is to say that it is a
certain kind of truth; it is not to explain why it is true. As a result, analyticity
does not have the epistemic significance it is often taken to have—we will
return to this.
Analyticity is often accompanied by nonsubstantivity in the sense of
chapter 4. For the point of a definitional constraint is often to (help) select
one out of a range of equally joint-carving candidates. We are aware, for
example, that there are many, equally joint-carving, pairs of meanings we
could assign to the words ‘foot’ and ‘inch’. So we partially constrain the
interpretation of this pair by laying down (F) as a definitional constraint:
(F) Something is a foot long iff it is twelve inches long.
Since some alternate constraints that we could have laid down, such as ‘11
inches make a foot’, would not have been semantically alien, (F) is
nonsubstantive (conventional, in fact, in the sense of section 4.3). Further,
since there is no countervailing metasemantic pressure against interpreting
‘foot’ and ‘inch’ so that (F) is true, (F) is indeed true, and hence analytic.
However, analyticity and nonsubstantivity can come apart. One instance is
when there is a fortuitous convergence of definitionality and joint-carving.
Suppose (what I do not believe) that parthood is a fundamental relation, and
that the sentence expressing the transitivity of ‘part’ is definitional of ‘part’.
If this sentence is true, then it is analytic; but it is substantive: any candidate
meaning for ‘part’ on which the sentence is false would presumably fail to
carve at the joints. An analogous point can be made for “analytic inferences”:
truth-preserving inferences that are definitional. The inferences that are
distinctive of conjunction (from a conjunction to either of its conjuncts; and
from the conjuncts together to the conjunction) are both truth-preserving and
definitional, but are substantive, I would argue. Conjunction carves at the
joints; and there are no equally joint-carving candidates for ‘and’ under
which the rules fail to be truth-preserving.
Nothing can fully play the role traditionally associated with analyticity,
for much ofthat traditional role presupposed the doctrine of truth by
convention.48 For instance, a sentence’s analyticity was supposed to explain
how we could know it to be true—we could know it to be true because the
conventions we know ourselves to have adopted sufficed to make it true. That
is why the positivists were so keen to demonstrate the analyticity of logic and
mathematics. The downside of this favorable epistemic status was the
apparent triviality of analytic truths.
Analyticity, on my conception, does not explain knowledge. Obviously,
analytic sentences must be true, given my definition, but knowing that a
given sentence is analytic is the rub. At best, we have unproblematic
knowledge of definitionality (and even that is not really epistemically
unproblematic). But no matter how definitional a sentence (or inference rule)
is, it may still fail to be true (or truth-preserving), in the ways described
earlier. Nor are analytic truths trivial. As we learned from Quine’s critique of
truth by convention, even the logical truths say something about the world.
Analytic sentences do not comprise some weird representational species,
somehow managing to be true without really saying anything. Like any other
sentence, a definitional sentence must measure up; the world must be as it
says in order for it to be true.
The failure of analyticity to generate knowledge is especially significant
in logic, given the aspirations of the traditional conception. The case of ‘tonk’
shows that definitional inference rules in logic needn’t be truth-preserving.
How, then, a skeptic might ask, do we know that the standard rules, such as
‘and’-introduction and elimination, are truth-preserving? Perhaps ‘and’ is
tonk-like, in that its introduction and elimination rules somehow lead to
contradiction. Or perhaps candidate meanings vindicating those rules are
simply missing. Or perhaps joint-carving candidate meanings vindicating
those rules are missing, and ‘and’ is a theoretical term intended to stand for a
joint-carving meaning. Or perhaps ‘and’ is a theoretical term, and there is a
single joint-carving candidate in the vicinity that fails to vindicate ‘and’-
introduction and elimination. We don’t believe any of these odd possibilities
to be actual, but how can we claim to know this, without presupposing the
sort of logical knowledge that is at issue? This hard problem in the
epistemology of logic cannot be solved by reflection on meaning.49
There is a kernel of truth in the traditional view. In contexts in which the
existence of equally joint-carving candidate meanings is not in question, and
in which it is known that there are no conflicting facets of use, definitional
sentences have the traditional features “relative to the context”. Consider a
context in which everyone takes it as wholly obvious that there exist equally
joint-carving properties being an unmarried male, being an unmarried male
eligible for marriage, being an adult unmarried male, being an adult
unmarried male eligible for marriage, and so on (and in which a suitable
logic is being taken for granted). Someone then offers up a stipulative
definition: ‘bachelor’ is to mean the same as ‘unmarried male’. Everyone in
the conversation would then regard ‘Something is a bachelor iff it is an
unmarried male’ as epistemically secure, and they would regard assertions of
this sentence as trivial, as contributing nothing to conversations. But that is
only because the facts required to bridge the gap between defnitionality and
analyticity are not in question in the context.
There are some things such that i) there is at least one of them; ii) each of
them is a critic; and iii) anything that one of them admires is distinct from
that one of them, and is itself one of them.
Finally, according to Boolos, this final sentence, and other sentences in which
we quantify plurally over critics, monuments, and other nonsets, do not
commit one to sets. As he memorably puts it (1984, p. 448), “It is haywire to
think that when you have some Cheerios, you are eating a set—what you’re
doing is: eating THE CHEERIOS.”76
The questions Boolos was addressing were i) how should we
“represent”— “symbolize”, “regiment”—certain sentences in English; and ii)
do English plurally quantified sentences “commit” one to sets? I suspect that
his answers are correct, given a natural way of taking his questions. There is
indeed a certain level of logico-linguistic representation of English
(connected with capturing natural-language logical relations) at which the
Geach-Kaplan and other sentences should be given second-order
representations; and I also agree that there’s a good sense in which English
speakers don’t commit themselves to sets when they utter plural sentences.
But none of this tends to show that plural quantification carves at the joints.
First, none of it conflicts with the idea that the metaphysical semantics for
English plural quantifiers is second-rate in one or more ways: it could be
complex and/or disjunctive and/or semantically indeterminate. Second—and
again, this is where my own money is—the underlying metaphysical
semantics for English plural quantification might be set-theoretic. This
wouldn’t conflict with Boolos’s claim that English plurally quantified
sentences don’t “commit” their users to sets. Compare: even if the right
metaphysical semantics for “There is a table” refers to subatomic particles,
there’s a perfectly straightforward sense in which normal English speakers
aren’t saying that there are subatomic particles when they utter that sentence,
and a perfectly straightforward sense in which they don’t commit themselves
to subatomic particles when they utter it. Similarly, even if the right
metaphysical semantics for the Geach-Kaplan sentence is set-theoretic,
ordinary speakers aren’t saying that there are sets when they are uttering it.
Nor are they committing themselves (in the only sense that matters) to sets:
uttering the sentence while disbelieving in sets is neither irrational nor a sign
of linguistic incompetence.
A different argument for irreducibly plural quantification, given by
Boolos and others, fares a bit better—but only a little bit—if taken as
concerning metaphysically fundamental plural quantification. Ordinary
English speakers who believe that there exists at least one F are generally
disposed to accept: “There are some things such that they are all the Fs.” So,
ordinary English speakers who believe in sets are disposed to accept:
(AS) There are some things such that they are all the sets.
But given standard ZF set theory, there is no set of all the sets; thus we
cannot interpret the plural quantifier in (AS) set-theoretically if we want (AS)
to be true.
There is no significant pressure here to admit metaphysically fundamental
plural quantification. First, plural sentences might have non-set-theoretic but
metaphysically second-rate metaphysical truth-conditions. Second, the
metaphysical semantics of English plural quantification might be
nonuniform: some plurally quantified sentences might have set-theoretic
truth-conditions while the metaphysical truth-condition of (AS) might be
simply that there exists at least one set. (The metaphysical truth-condition of
any sentence of the form “There are some things such that they are all the Fs”
could be that there exists at least one F.) Compare the truth-conditions for
ordinary English first-order sentences. Many of them may have quite
“straight” metaphysical truth-conditions. For example, the ordinary English
“There is an electron” may well have the metaphysical truth-condition that
there exists, in the fundamental sense, an electron. But it’s unlikely that all
first-order English sentences have such truth-conditions; think of A man, a
plan, a canal; Panama!”, ‘There are five ways to win this chess match’, ‘My
sock contains a hole’, ‘Every smirk disappeared from every face at the return
of the exams’, and so on. It seems likely that the metaphysical truth-
conditions will be nonuniform across the range of first-order English
sentences. (Remember, these are metaphysical truth-conditions; the idea isn’t
that competent speakers know about all this.) Third, (AS) might be false,
ordinary belief in its truth be damned.
It may be objected that each of these alternatives is unpalatable, and hence
that we would be better off positing irreducibly plural quantification. But it
takes more than a casual observation about what we ordinarily say and
believe to justify a truly dramatic complication of our fundamental theory of
the world. The argument from (AS) to fundamental plural quantification
doesn’t look much better than the old argument from the apparent truth of
“John and Ted share many vices” to the fundamental existence of universals
as abstract entities. Note also that the objection depends on two attitudes that
are hard to sustain simultaneously: squeamishness about error-theories and
squeamishness about nonuniform metaphysics. Squeamishness about error
theories is most compelling when the terms in question are everyday rather
than theoretical, so that we’re entitled to confidence that paradigmatic uses of
sentences containing them are true. (No one contemplates an error theory
about our belief that Newton didn’t lie when he said that space and time are
absolute; ‘lie’ is an everyday term.) But there’s nothing wrong with a
nonuniform metaphysical semantics for such terms (which is largely why the
confidence is justified). It’s only for theoretical terms (‘charge’, ‘gold’) that
we think a good metaphysical semantics must be uniform; but then we’re
more open to error theories.
A far more convincing strategy for defending fundamental plural
quantification would be to argue that it is required for some important
theoretical purpose. And a further argument of Boolos’s may seem to do this:
the argument that we need plural (or second-order) quantification to give an
adequate axiomatization of ZF set theory. The standard first-order
axiomatization of ZF set theory contains as axioms all of the infinitely many
instances of the first-order replacement schema. A strictly stronger, second-
order, formulation dispenses with the infinitely many first-order axioms in
favor of a single second-order sentence. Boolos shows that the second-order
quantifiers in this second-order sentence cannot be regarded as short for first-
order quantifiers over sets. Our choice is therefore between a first-order
axiomatization of ZF and a second-order axiomatization in which the second-
order quantifiers are either taken as primitive or—Boolos’s preferred
alternative—interpreted plurally. Boolos then goes on to argue that the first-
order axiomatization is insufficient.
… to rest content with a set theory formulated in the first-order predicate calculus with identity … must
be regarded as a compromise, as falling short of saying all that we might hope to say. We accept [the
first-order formulation of ZF] because we accept a stronger theory consisting of a finite number of
principles, among them some for whose complete expression second-order formulas are required. We
ought to be able to formulate a theory that reflects our beliefs. (1984, p. 441)
At first glance the argument looks very weak (again, if taken as
concerning metaphysical fundamentality—which is not what Boolos intended
by this argument). “We ought to be able to formulate a theory that reflects
our beliefs”: in the present context this would have to mean that the beliefs in
question have fundamental plural content, that they be stated in terms of
fundamental plural quantifiers. But why suppose this? The fundamental
contents of our beliefs are not in general transparent to us. On my view,
neither causation nor modality is fundamental; on Hirsch’s view,
quantification is not fundamental; neither I nor Hirsch can be refuted simply
by pointing to the fact that people have causal, modal, and quantificational
beliefs.
However, the argument can be formulated so as not to concern our beliefs
at all; it can be formulated as the claim that second-order ZF is a better
theory. We generally prefer unified theories, theories that explain diverse
phenomena using a small number of posits. First-order ZF posites a
disunified infinite array of facts, the infinitely many instances of the
replacement schema. By replacing this infinite array with a single principle, it
may be thought, second-order ZF is more explanatory. First-order ZF doesn’t
have the right kind of “laws”; second-order ZF does. But is our overall theory
made simpler by introducing the higher-order quantifiers?77 Our laws of set
theory no longer include the replacement schema, but our laws of logic now
must include the plural comprehension schema:
Williamson might reply that we need the extra ideology to do logic, not
semantics. But notice that the ideology is needed, at most, for metalogic, for
giving fully general theories of such metalogical notions as logical
consequence. It is not needed for the use of logical notions (such as
conjunction, quantification, and so on), within science and mathematics. It is
hard to give up on beautiful metaphysics for the sake of metalogic.
1 Penrose (2005, p. 711); Frost (1936); USAF Maxwell Blue Book 1, p. 8; Sagan (1980, p. 4).
2 See Carnap (1950); Chalmers (2009); Hirsch (2002a; b; 2005; 2007; 2008; 2009); Hofweber
(2009); Putnam (1987); Sidelle (2002; 2010); Sosa (1999); Thomasson (2007; 2009).
3 Hirsch (2005, p. 67). Hirsch is a deflationist about only some of philosophical ontology.
4 Compare the indeterminacy strategy of section 5.1, and see Chalmers (2009).
5 Compare the common-sense strategy of section 5.1, and see Hirsch (2005).
6 The second deflationist would presumably turn into the first if ontologists were to enter the
philosophy room, and introduce new ontological vocabulary stipulated to carve at the joints (section
5.3).
7 Although see Weatherson (2003).
8 Another connection to Quinean methodology: why follow Quine’s advice to regiment in first-
order terms before assessing ontological commitments? One possible answer is that i) first-order
quantifiers carve at the joints; ii) second-order quantifiers do not (section 9.15); and iii) ontological
commitments are given in terms of joint-carving quantifiers (section 9.12).
9 Compare section 3.3.
10 Further, if ontological language doesn’t carve at the joints, then why think that positing more
entities would be worse? Occam’s (ontological) razor is based on the thought that “emptier”
possibilities are prima facie more probable than “full” possibilities. But the measure of the fullness of a
possibility should depend on its description in fundamental terms; if ontological language doesn’t carve
at the joints, then a possibility with more entities might not be fuller in the relevant sense.
11 I take this use of ‘doctrine’ from Fine (2005).
12 Compare Quine (1948), though he would reject the backdrop of realism about metaphysical
structure. The first formulation is in first-order logic, the second in English; but English quantifiers
have a different syntax from those of first-order logic. I’ll take the official formulation to be the first,
though I’ll often paraphrase in English.
13 As it is according to Jonathan Schaffer (2009a).
14 I defend a similar view, except that I accept sets in addition. See chapter 13 and Sider (2011).
15 Compare Dorr (2007, section 1).
16 See Sperber and Wilson (1986); Wilson and Sperber (2004).
17 To be sure, some ontological disputes are nonsubstantive or equivocal because of their predicates
— for instance, a dispute over whether “God” exists in which some mean by ‘God’ the center of mass
of the universe. But this is not so in the disputes to be discussed.
18 Could the crucial expression be the predicate ‘is a thing’? In that case, the deflationist would
have to admit that a metaphysical dispute could be reinstated simply by recasting the debate as being
over whether there exist tables at all, as opposed to tables that are things. Van Inwagen and his
opponents would be happy to rephrase things in this way, since that’s how they understood the debate
in the first place. See Williamson (2003, p. 420).
19 See Hirsch (2002a; b; 2005; 2007; 2008; 2009), and also Putnam (1987) and Eklund (2008).
20 Dorr (plausibly) assumes that not all “counterpossible” conditionals are true.
21 I specified the semantics of L and L by giving truth-conditions for their sentences using
U N
English as a metalanguage; but the quantifier variantist might instead specify partial, implicit
definitions governing quantifiers within alternate languages, as in Båve (2010).
22 Compare Hirsch (2002b, p. 53).
23 Whether this is conceived semantically or pragmatically is irrelevant here.
24 Even a defender of “indefinite extensibility” should allow that we can disavow all restrictions
except those concerning indefinitely extensible domains; this would allow for more substantive
ontology than a quantifier variantist will want to admit.
25 Some of the issues in this neighborhood are discussed in Sider (2007a).
26 One might do it plurally instead, taking ‘There is a table’, for example, to mean that there
qe
areqc some things that are arranged tablewise.
27 For this reason, I believe this type to be closer to Hirsch’s own position than the second.
28 This might require a commitment to primitive comparative joint-carving. For otherwise, the
claim would have to be that each qi has a more direct basis in the perfectly joint-carving notions than its
restrictions; but what conception of the perfectly joint-carving notions could the quantifier variantist
adopt that would sustain this? (See also section 9.6.2.)
29 See Sider (2007a; 2009).
30 Eklund and Hawthorne focus on atomic sentences, but Small must also reject the Tarskian clause
for quantified sentences. Small thinks that ‘∃x Table(x)’ is true in Biglish, but is unwilling to assert
“There exists something that is in the extension-in-Biglish of ‘Table’.”
31 Plausibility argument: pretend that giving meaning to a language is just a matter of describing its
intended model. Models are described using quantifiers in the metalanguage. One uses metalanguage
quantifiers to specify a domain, which fixes the meaning of the object-language’s quantifiers; and one
uses metalanguage quantifiers to give the meanings of object-language names, predicates, and function
symbols (a constant means an object in the domain; a predicate means a set of tuples from the domain;
a function symbol means a function on the domain). So if one changes the meanings of the
metalanguage quantifiers, one would change the meanings of the object-language’s quantifiers, names,
predicates, and function symbols.
32 This is so for a semantic conception of grammatical categories, anyway. On a purely syntactic
conception, the Tarskian ideas lose force.
33 Compare Hirsch (2002b, p. 57).
34 Not much has been written on this, though see Hawthorne and Cortens (1995); Turner (2008).
35 At least, after the physical theory has been appropriately formulated.
36 This point is regularly missed, for example by those who claim that modern physics has no need
for “objects”. Perhaps modern physics has no use for particles, but this doesn’t show that it has no use
for quantifiers.
37 Ned Markosian (2004a) distinguishes between stuffand things, accepts the existence of both, and
assigns them different roles in a theory of material objects (for example, stuff obeys unrestricted
composition and mereological essentialism, whereas things do not). My criticisms of the stuff defense
of quantifier variance do not apply to Markosian, since he is not trying to replace thing language with
stuff language, nor is he trying to avoid substantive questions about either things or stuff
38 Turner (2010a) discusses a related proposal critically Dasgupta (2009b) appeals to the predicate-
functor formulation, but in defense of the idea that a permutation of individuals across qualitative roles
doesn’t change the world, rather than in defense of quantifier variance, so my criticism does not apply
to him. See also Burgess (2005).
39 “… we can retain the notion of an unstructured fact. I think this is indeed our most basic notion
of ‘reality’, ‘the world’, ‘the way it is’, and this notion can remain invariant through any changes in our
concept of ‘the things that exist’.” (2002b, p. 59)
40 The argument is defeasible; ontological pluralists might argue that the balance of evidence favors
their view. (Here it’s important that the common belief in the incoherence of ontological pluralism is
mistaken, as McDaniel (2009) and Turner (2010b) have effectively argued.) Note that ontological
pluralism would not reinstate deflationism; rather, it would split hitherto univocal ontological questions
into multiple questions, each as substantive as the original.
41 And we can go much further: the entirety of second-order arithmetic can be derived in second-
order logic from Hume’s Principle. See Wright (1983); Hale (1987); Hale and Wright (2001).
42 See Thomasson (2007; 2009). There is much else in this broad-ranging and careful work that
deserves comment; I’ll indulge in a few all-too-brief remarks. 1. Thomasson writes as if the “qua-
problem” for the causal theory of reference argues for her view: in order for singular and sortal terms to
have determinate reference, i) they must be governed by analytic descriptive conditions; and ii) these
must have the form of what she calls “application” and “coapplication” conditions. But the opponent of
easy ontology can grant i) while denying ii): the conditions might instead have the form of conditions
that select which entities we are referring to. For example, the name ‘Orky’ could be governed by the
condition ‘Orky’ refers to the animal in such-and-such a location (if there is no such animal then
‘Orky’ refers to nothing); and the sortal term ‘animal’ could be governed by the condition ‘animal’
refers to something iff it has such-and-such features and thus-and-so persistence conditions. This is
consistent with denying that analytic principles secure the existence of things with the specified
features and persistence conditions. 2. Thomasson regards sortal-relative vs. bare quantification as a
battle-line between her and her opponents. But a friend of easy ontology could regard the relevant
analytic sentences as governing the bare quantifier. In some cases, the sentences would involve no
sortal predicates at all; in others, they would. For example, the analogs of Thomasson’s application and
co-application conditions would be analytic sentences of the forms “∃ x (F x ∧ ø (x,t))” and“∃ x (F x
∧ ø (x, t) ∧ ψ (x, t′))”, respectively, where F is a sortal predicate and t and t′ name times. Conversely,
a foe of easy ontology could argue that the bare quantifiers do not carve at the joints; what does carve at
the joints is a quantifier that has a “slot” for a sortal predicate. 3. Thomasson doubts that her opponents’
quantifiers could have determinate meanings; why? Because, I think, there is no consensus amongst her
opponents over cases (over, e.g., whether ‘There exist tables’ is true) or useable rules (over, e.g.,
whether this rule holds: “‘There exist tables’ is true iff there exist things arranged tablewise”). (By a
“usable” rule I mean—vaguely—one that a linguistic community as a whole, perhaps through a
subcommunity of experts, could knowledgeably apply Everyone can agree on the homophonic rule
“‘There exist tables’ is true iff there exist tables”; but this isn’t useable, since Thomasson’s opponents
disagree over whether the right-hand side holds.) However, realists quite generally say that terms can
have determinate meanings despite disagreement over cases and useable rules of use (think of
theoretical terms in areas of physics in which there is controversy). Why couldn’t the same hold for the
quantifiers? (Reference magnetism is one model of how quantifiers might nevertheless be semantically
determinate.)
43 See in this vein Boghossian (1997).
44 See Boghossian (1997, section II).
45 I do not say that the relevance of use to meaningis exhausted by its determination of the
definitional sentences.
46 See also Eklund (2002); Tappenden (1993).
47 In contrast to the more usual, semantically motivated, sort, such as Dummett (1973).
48 See Harman (1999, chapters 5–7).
49 It is no answer to the skeptic to say, as Paul Boghossian (1997; 2003) does, that since skeptical
doubts are phrased using logical concepts, if our logical constants lacked meanings then we could not
even entertain those doubts—the sentences expressing the doubts would fail to express propositions.
The fact—if it is a fact—that the doubts are unentertainable if true is peculiar but not probative.
(Eliminativism about propositional attitudes or people (Churchland, 1981; Unger, 1979) also cannot be
doubted if true, but so what?) We cannot, for example, combine the fact with the additional premise
that we clearly are capable of entertaining the doubts, and thus conclude in Cartesian fashion that the
skeptic is wrong; for the added premise is dialectically inappropriate. To “entertain” the doubts in the
relevant sense requires bearing the propositional attitude of doubt towards skeptical propositions; and
our ability to doubtingly wield skeptical sentences is no guarantee that the skeptical sentences express
propositions.
50 I’ve been describing easy ontology as an alternative to quantifier variance; but the two can be
combined. On this combination, the function of laying down (T) as a definitional constraint is to select
one of many quantifier-candidates to be meant by ‘there exist’. Sider (2007a) describes in more detail
the combination of neoFregeanism about mathematical ontology with quantifier variance. Note also
that even given quantifier variance, the easiness of ontological questions is only modulo knowledge of
quantifier variance itself—see section 9.6.3.
51 See Hofweber (2005, section 4.3) and (2007, section 6.4).
52 Three further points here. (i) An ontological realist might take Hofweber’s arguments to show
that internal uses of the quantifiers do not carve at the joints. Such arguments based on Hofweber’s
linguistic analysis of the internal use of quantifiers must be distinguished from the metasemantic
argument for non-joint-carving quantifiers considered in section 9.3. (ii) An ontological realist
following Hofweber might say that external quantifiers in English carve at the joints. But she might say
instead that, for metasemantic reasons, even these fail to carve at the joints. For even if external
quantifiers don’t carve at the joints, they might still relate to the world in a different way from how
internal quantifiers do, a way that lets us justifiably say that they are about objects that are “out there”.
(Such an ontological realist would need to do ontology in Ontologese.) (iii) A quantifier variantist
might accept Hofweber’s arguments, and thus distinguish between two types of non-joint-carving
quantifiers.
53 Armstrong does say that if neither of two objects is an addition of being to the other, then the
objects are identical.
54 I argue against this sort of Mooreanism, however, in Sider (2011).
55 There are real questions about how exactly to formulate maximalism; but set them aside.
56 For more on this see Sider (2007a, sections 3 and 4).
57 This way of thinking might, incidentally, be adopted by Schaffer in place of the Mooreanism.
58 Compare this analogous argument: since Lewis’s pluriverse contains myriad “alien” natural
properties and relations, modal realism sins against Ockham’s razor in a big way. Perhaps Lewis could
respond that his pluriverse has a corresponding simplicity since it lacks arbitrariness—all possible
natural properties and relations, so to speak, are present. (Compare Bennett (2004, section 4).) This
raises interesting issues about how to evaluate simplicity
59 Phillip Bricker (1992) gives an interesting defense of maximalism both about entities and about
natural properties and relations, within the realm of mathematics. An alternative is combining a sort of
maximalism about mathematical entities with a much smaller, solely logical, albeit higher-order,
ideology, as in Lewis’s (1991) set-theoretic structuralism.
60 Analogous points could be made about commitment via the true linguistic semantics.
61 See section 11.8 on grammatical categories carving at the joints.
62 If there are infinitely many things this would require an infinitary disjunction to hold in reality.
63 The Humean theory of chapter 12 is a form of modal deflationism.
64 If the latter is the metaphysical truth-condition of the former, then infinitary disjunction must be
fundamental.
65 Contrast the rephrasal of the argument concerning the source of structure in section 8.3.1.
66 Jason Turner’s (2010a) notion of pegboard structure is a good metaphor here.
67 An intriguing possibility would be for a quantifier variantist to say that these meanings with
holes do carve at the joints. Does this allow a reply to the argument of section 9.6.2?
68 Dasgupta (2009a) defends a “generalist” metaphysics in a different way against this sort of
objection, and also gives an interesting positive argument in favor of generalism. See also Dasgupta
(2010).
69 Recent neoMeinongian work includes McGinn (2000, chapter 2); Parsons (1980); Routley
(1980).
70 Compare van Inwagen (1998).
71 This needs to be distinguished from the idea that there is just one fundamental quantifier which
may be restricted by multiple fundamental predicates. I will not take up this issue here (McDaniel and
Turner have much to say about it), except to say that quantifiers grammatically are very different from
predicates since they bind variables; thus, the fundamental facts, intuitively, have a very different shape
if there are two fundamental quantifiers.
72 See, for example, Boolos (1984); Rayo and Yablo (2001).
73 Timothy Williamson (1994) says that there’s a particular hair that makes a bald man bald, but
this hair has no particular metaphysical significance. I wonder whether he would hold the analogous
position in this case, e.g., that a second-order sentence corresponding to the continuum hypothesis has a
truth-value, but this truth-value has no metaphysical significance.
74 Moreover, it would be hard to view the falsity of the putative datum as evidence against the idea;
why think that English is maximally metaphysically expressive?
75 The most natural regimentation is ∃X(∃xX x∧∀x(X →Mx)→~∃y(Ty∧∀x(X x→S y x))),
which is equivalent to the first-order sentence ∃x M x ∧ ~∃y(Ty ∧ ∀x(Mx→Syx)).
76 Boolos’s confidence about what we’re eating is unjustified; perhaps the underlying metaphysics
of eating Cheerios is set-theoretic. What’s haywire is to think that we are saying that we’re eating sets
when we say that there are some Cheerios that we’re eating.
77 Thanks to Cian Dorr here.
10 Logic
If one can query expressions from all grammatical categories for joint-
carving, then one can query logical expressions. This leads to interesting
questions about the metaphysics of logic, which bear on substantivity,
objectivity, determinacy, and so forth in logic, and also on the nature of joint-
carving itself.
Questions about joint-carving can be asked about both logical and
metalogical concepts. Logical concepts are those concepts expressed by
logical constants, concepts such as conjunction, disjunction, negation, and
quantification; metalogical concepts are theoretical concepts such as logical
consequence, logical truth, provability, semantic consequence, and the
concept of a logical constant. Questions about joint-carving for logical and
metalogical concepts should be presumed independent unless shown
otherwise.
It may seem odd to ask metaphysical questions about logic. But recall
Russell’s conception of the subject, as differing from other inquiries only by
being more “abstract and general”. This (vague) picture of the continuity
between logic and other disciplines is a crucial presupposition of this chapter
(and book). If a hangover from logical conventionalism leads you to distrust
the questions: pop a couple of aspirins, re-read your Quine (1936) (and
section 6.5), and report back.
(*) The string “666” either does or doesn’t occur at least 666 times in the
decimal expansion of π.
Since (*) contains no metalogical notions, (meta)logical pluralism allows a
dispute over it to be substantive.20 Thus (meta)logical pluralism allows this
aspect of the dispute over classical logic to be substantive. Further,
intuitionists who refuse to accept (*) cannot even recognize classical logical
truth as a legitimate notion of logical truth. For under any legitimate notion
of logical truth, surely one can infer ϕ from “ϕ is a logical truth”.
Relatedly, certain dialetheists respond to the semantic paradoxes by
asserting contradictions, sentences of the form “ϕ and not-ϕ” (Priest, 1987).
Again, the dispute isn’t just over the metalogical status of contradictions; it’s
also over the contradictions themselves. Here again we have an aspect of the
dispute over classical logic that (meta)logical pluralism allows to be
substantive, since the relevant notions are logical, not metalogical. Further,
dialetheists who accept contradictions cannot even recognize classical
consequence as a legitimate notion of logical consequence. For under any
legitimate notion of logical consequence, surely one can infer ϕ from “ϕ is a
logical consequence of ϕ” and ϕ; but in classical logic, all sentences are
logical consequences of contradictions, which would commit the dialetheist
to accepting all sentences.
Something has to give. There are many choices for what gives, some of
which involve retaining classical logic. But there are attractive ways to block
the paradox by revising classical logic.29 These nonclassical approaches to
the paradox are attractive in part because they (or some of them, at any rate)
let us retain truth-introduction and truth-elimination, thus preserving the
inferential role that we naïvely take the truth predicate to have. Indeed, the
core inference rule underwriting our naïve use of the truth predicate is
stronger:
Truth-transparency S S′ whenever S and S′ differ only in that one of
them contains one or more occurrences of some sentence A where the
other contains True(〈A〉).
One of the main purposes of having a truth predicate in natural language is to
give access to the content of what someone said, when one cannot reproduce
her words (whether because one has forgotten exactly what she said, or
because one is making a general statement that is supposed to hold good
regardless of what she said).30 We need truth-transparency to move from the
premise “Everything Jones said is true” to such conclusions as “If Jones said
‘snow is white’ then snow is white”, “If Jones said ‘grass is green’ then grass
is green”, and so on. So securing truth-transparency is a high priority.
One very simple nonclassical account of the liar runs as follows. We claim
that the correct propositional logic is the nonclassical logic K3—the logic
generated by Kleene’s (strong) three-valued tables:
An argument is K3-valid iff its conclusion gets value 1 whenever its premises
get value 1, as evaluated under the Kleene tables, for every assignment of
values drawn from {1,0, #} to its atomic sentences. The adoption of K3
blocks the argument given above from (Ia) and (Ib) to contradiction, since it
invalidates31 reductio ad absurdum (“if A B∧~B then ~ A”), which was
used in that argument. More generally: suppose we begin with a first-order
theory, T, which includes enough arithmetic to do syntax, but which does not
include a truth predicate. Kripke’s (1975) paper on truth shows how to
construct, for any initial classical (two-valued) model, M0, of T, a three-
valued model M for the language of T plus a one-place predicate ‘True’, in
which:
• propositional connectives are valuated using the Kleene tables; quantifiers are valuated in the
obvious analogous way;32
• nonlogical expressions in the original language have the same denotations (extensions, etc.) in M
as in M0;
• sentences not containing ‘True’ get the same values in M and M0;
• each sentence S gets the same value in M as does True(〈S〉). Thus, Truth-transparency—and so
Truth-introduction and Truth-elimination as well— are validated in M (each preserves value 1).
1. L by hypothesis
2. ~True(〈L〉) I, (Ia)
3. True(〈L〉) I, Truth-introduction
4. B 2, 3, ex falso
1. ~L by hypothesis
2. ~True(〈L〉) I, Truth transparency
3. L 2, (Ib)
4. B I, 3, ex falso
1 If a logical notion such as V does not carve at the joints, then the question of whether it carves at
the joints is not phrased in purely joint-carving terms. But this does not make the question
nonsubstantive. For every candidate metaphysical semantics for the sentence ‘V carves at the joints’,
i.e., ‘ (V)’ will count it false. A metaphysical semantics that assigns a true truth-condition, such as ‘
(∈)’ or ‘ (∧)’ (assuming that both ‘A’ and ‘E’ carve at the joints) won’t fit the use of ‘ (V)’
well enough to count as a candidate. The candidates will take the form (α) where a is logically
complex—‘ ~(~Pʌ~Q)’, perhaps, in one of the notations introduced in section 6.3—and such
sentences are false (a metaphysical semantics is given in purely joint-carving terms, so if α is logically
complex then it does not carve at the joints).
2 Those who reify relations might instead get off the hook by identifying earlier-than with later-
than; see Fine (2000); Williamson (1985); but see also Dorr (2004).
3 See, for example, Field (1980, chapters 3, 5).
4 I have in mind pairing this view with an acceptance of classical logic (at the fundamental level,
that is; see section 10.6). And I have in mind only the one- and two-place connectives.
5 This is not a definition. If anything is to be defined, it should be ‘more massive than’: x is more
massive than y iff x has some mass property that is greater than some mass property of y.
6 See Eddon (2012).
7 Replacing ‘green’ and ‘blue’ with predicates of fundamental physics would result in an example
with the vice of unfamiliarity but the virtue of correctness.
8 Fine also faces the worry; can we ask whether: in reality, some things are charged, but it’s not the
case that in reality, some things are charged?
9 See MacFarlane (2005) for a survey.
10 This seems to be how the proposals are generally viewed; see Etchemendy (1990, introduction).
11 Field’s (1980; 1989) nominalist account of fundamental physics makes use of a primitive notion
of logical consequence. But this notion plays no role in Field’s official nominalist versions of
fundamental physical theories. It comes into play only in his account of why it’s legitimate to use
mathematics within physics.
12 Lewis restricts ‘law’ to the members that are regularities—universal generalizations. I don’t quite
see the point; but anyway it’s inappropriate in the case of logic: logical truths like ‘If snow is white then
snow is white’ aren’t regularities. (Though if the language in question has propositional quantification,
then it can state regularities like ‘For all p, if p then p.’)
13 Objection: a system that includes only laws of logic has zero strength. Reply: logical truths do
have content; they concern the world’s most general and abstract aspects.
14 Given the vagueness in the account (e.g., in terms like ‘balance’), there might be vagueness in
which terms count as logical. If mereological terms carve at the joints, for example, it might be vague
whether they count as logical.
15 We can think of truth in virtue of the meanings of the logical constants as truth that remains no
matter how everything else is varied, and truth-in-all-models as a way of formalizing the intuitive
notion of truth-no-matter-how-everything-else-is-varied. Thanks to Agustín Rayo.
16 At the level of family they write as antipluralists, assuming that semantic consequence is the core
concept of logical consequence. But this may be just for the sake of definiteness.
17 Side issue: Beall and Restall seem to be antipluralists about metaphysical modality. But the case
against joint-carving metaphysical necessity seems at least as strong as the case against joint-carving
logical consequence: metaphysical necessity seems at least as theoretically dispensible, “spooky”, and
epistemically intractable as logical consequence.
18 Beall and Restall are at pains to show that their pluralism is consistent with realist metaphysics,
and in this vein point out that it doesn’t imply relativism about truth. The present point goes much
further: their pluralism is compatible with the substantivity of logic.
19 In another respect it is more deflationary: it generates pluralism about epistemic notions that are
constitutively connected to logical consequence. Beall and Restall address this, and say two things
(2006, 94–97). First, they say that everyone already admits a sort of epistemic pluralism: pluralism
about what threshold of epistemic value is required for positive appraisal—for “justification”, say. But
consider: from an intuitionist’s point of view, belief in (*) (see text) is epistemically terrible, no better
than a guess; whereas from the point of view of a classical logician it is epistemically superlative. Beall
and Restall will want to say that neither point of view is objectively mistaken, which requires pluralism
about the underlying scale on which the threshold is defined, and not just pluralism about the threshold.
Second, they say that epistemic value is not determined solely by logical consequence. But in cases
where the only source of epistemic value would be a beliefs status as a logical truth—a belief in (*), for
example—their pluralism would indeed imply pluralism about epistemic value.
20 In a “dispute” over a sentence, one side normally accepts the sentence while the other side
accepts its negation; but not here: intuitionists do not accept the negation of (*) since the negation of
the negation of (*) is a logical truth in intuitionistic logic. (Intuitionists reject double-negation-
elimination in addition to excluded middle.) What the intuitionists want is to resist classical logic’s
demand to assert (*), not to accept its negation.
21 As Stephen Yablo pointed out, similar remarks apply to related proposals that replace
metaphysical with epistemic possibility
22 The approach I have in mind uses formal strategies from Rayo and Yablo (2001), Rayo and
Uzquiano (1999), and Williamson (2003). In outline: first think of the domain of a model as containing
properties, of predicate-extensions as higher-level properties and relations, and of the model itself as a
still higher-level relation between linguistic items and their extensions; then reconstrue all this talk of
properties and relations in terms of “innocent” higher-order quantification. The required ideology is
obviously very powerful; it’s hard to see why such ideological commitment would be preferable to
ontological commitment to sets.
23 Compare the related points in Yablo (2001, sections 4 and 5).
24 See also Etchemendy (1990).
25 There is a quite different way of taking Yablo’s anti-platonist argument (perhaps hinted at by his
mention of “conceptual necessity”). He might be insisting that the facts of logical consequence are
somehow intrinsic to the sentences (or propositions) involved, whereas for the platonist, facts of logical
consequence inherently involve further entities: models. (Compare Field’s (1980, chapter 5) objection
to Platonist accounts of measurement.)
26 See in particular Strawson (1952, chapter 3, section 2).
27 Requirement ii) is not meant to imply that ‘consequence’ is a predicate of the fundamental
language; that predicate is one of my language.
28 I’ll be a bit loose in my use of the symbol. A …A
1 n B means that sentences A1…An, perhaps
with a background mathematical theory we accept, logically imply sentence B. The “logic” may include
the logic of the truth-predicate, and the underlying propositional logic in question will vary from
context to context. Here at the outset the assumed propositional logic is classical; later it won’t be. I’ll
sometimes explicitly indicate the underlying propositional logic with a subscript on
29 See Field (2008) for a survey.
30 See Horwich (1990).
31 For example, p ∧ ∼ p
K3 p∧∼p, but K3 ∼(p ∧ ∼ p) since ∼(p∧∼p) is # when p is #.
32 e.g. ∃vA gets value 1 if A gets value 1 under some assignment to v, value 0 if A gets value 0
under all assignments to v, and gets value # otherwise.
33 It’s easy to see that for no sentence B is h B, since whenever every atomic sentence is #, so is
every complex sentence.
34 Field (2003; 2008) adds a conditional to K and uses the resulting logic to give a solution to the
3
semantic and vagueness paradoxes.
35 See Field (2008, pp. 152–3). The sorites paradox also challenges classical logic.
36 There are other paradox-threatening features, such as property- and set-theoretic quantification
and ideology. The friend of fundamental classical logic can either reject a given feature at the
fundamental level, or else accept it but adopt some classical resolution of the corresponding paradoxes.
(My own choice is rejection for property-theory and a classical approach—ZF, say—to fundamental set
theory.)
37 The arguments for the inferences (Ia) and (Ib) go through provided classical logic may be
assumed for the purely mathematical part of the language.
38 In essence, having-a-true-metaphysical-truth-condition is the non-disquotational, “external”,
notion of having value 1 in Kripke’s minimal fixed point, whereas the K3 solution to the liar identifies
truth with what is expressed by ‘True’—the “internal”, disquotational notion. See Field (2008, section
3.4).
29 See Field (2008, chapter 3, Appendix) for the inference rules.
40 Compare those who distinguish between correspondence and disquotational truth.
11 Time
A cloud of suspicion hangs over the philosophy of time. Although the
pictures are vivid—the static manifold, the growing block, the policeman’s
bullseye—many doubt that coherent positions and genuine contrasts lie
behind them.
I think, however, that the traditional questions about time are good ones.
Let us view them through the prism of realism about structure.
11.1 Presentism
Our focus will be “A-theories” of time, theories according to which “time
passes”. Let us begin with (Priorian1) presentism.
What defenders of time’s passage share is opposition to the spatializing
philosophy of time familiar from Quine, Russell, Smart, and many others.2
The central question in the philosophy of time is: How alike are time and
space? Russell, Quine, and Smart answer: Very alike indeed. Reality consists
of a four-dimensional “block universe”; time is “just another dimension”;
past, present, and future all have the same “status”; change is dissimilarity
between earlier and later parts of the block universe; and so on.
A-theorists complain that this grants no special status to the present, and
that it does not admit genuine change since reality as a whole, on this picture
—the block universe—does not change. And presentists—a subgroup of the
A-theorists— complain in addition that it grants too much reality to the past
and future.
The presentist’s rival conception is that only the present is real: the truth
is from the perspective of the present moment. Part of this conception is
ontic: if an object does not exist now, then it does not exist simpliciter. For
the presentist, there simply are no such things as dinosaurs or human colonies
on Mars (though there were and perhaps will be such things). In contrast,
dinosaurs, computers, and perhaps colonies on Mars are all equally real in the
spatializer’s block universe. The pastness of dinosaurs and futurity of
colonies on Mars is locational, not ontic: the dinosaurs are located before us
—before the portion of the block universe that we occupy—and the human
colonies are located after us; in this way dinosaurs and colonies on Mars are
analogous to spatially distant objects. The presentist’s conception also has a
qualitative part: if an object does not have a feature now, then it does not
have the feature simpliciter. Since I am not in pain now, I am not in pain
simpliciter (though I was once in pain and will again be in pain). In contrast,
for the spatializer, my being in pain is equally real whether it’s located in the
past, present, or future.
Thus the presentist privileges the present, and claims to admit genuine
change since presentist reality as a whole is current reality, which changes.
This all is pretty impressionistic. To get a firmer grip on what presentism
amounts to, let’s take a closer look at the presentist’s fundamental ideology.
11.4 Passage
Consider next that most infamous of doctrines, “time’s passage”. Presentism
is one version of this doctrine, but let us now focus on its combination with
the denial of presentism. Defenders of this combination accept (in some
sense) the spatializer’s ontology of past, present, and future objects. But the
spatializer’s block universe, they say, is missing a crucial element: time’s
“passage”, “genuine change”. Change, they say, isn’t just variation across the
spatiotemporal manifold. There is also time’s “flow”. The block universe is
“static”.14
At first glance anyway, this view richly deserves the ridicule heaped on it
by Donald Williams—“prophets of passage” and the like—and so many
others. What does it mean to say that time “flows”? Absurdity threatens on
one hand, triviality on the other. The suggestion seems to be that time itself
moves. Does that mean that time moves with respect to some “hyper-time”?
Or merely that in one second, a time one second from now will be present?15
When time passes and things change, reality is temporally heterogeneous.
The prophet of passage insists that this is different from heterogeneity across
space. (The alleged problem with spatializing is that it collapses the two.) But
what exactly is the difference? Beware of the temptation to use temporal
vocabulary to get at the difference: “Space is static, whereas things move
through time; things genuinely change.” ‘Static’, ‘move’ and ‘change’
usually have purely temporal significance, but also have spatial senses. A
stationary sine wave spatially “moves” up and down; unlike a “static” straight
line, its height “changes” as one progresses from left to right. The italics
bespeak conviction that the temporal senses of these words are special; but in
what way?
So on the face of it, there are questions about whether time’s passage is a
coherent, distinctive, position. We can begin to answer them by focusing on
fundamental ideology. A prophet could formulate a coherent, distinctive
philosophy of time by advocating a distinctive fundamental ideology. For
example, whereas the spatializer’s ideology is that of standard predicate logic
(including spatiotemporal predicates), the prophet might advocate the
ideology of predicate tense logic. If “time passes” just means that the tense
operators carve at the joints, then the view is coherent, nontrivial, does not
imply the existence of hyper-time, and sharply distinguishes temporal from
spatial change: the former involves irreducibly tensed claims, whereas the
latter involves the instantiation of properties in distinct parts of a spatial
manifold.16
Thus understood, the dispute over time’s passage is simply the ideological
half of the dispute over presentism. Recent philosophy of time has been
kinder to the dispute over presentism than to the dispute over time’s passage,
probably because the former has an ontological aspect as well, and
ontological disputes are regarded with less suspicion than purely ideological
disputes. But this attitude is misguided. Many of the most important
metaphysical disputes—over, for example, whether reality is ultimately
modal, causal, nomic …—are ideological, not ontological. So there is no
reason to distrust the dispute over time’s passage if it, too, is ideological.
Nevertheless, questions remain. For one thing, why does the prophet
regard the tense operators as fundamental? Since the prophet does not follow
the presentist in rejecting past and future objects, he agrees—one might think
—that “It was the case that ϕ” is true if and only if ϕ is true before the
utterance. So why not regard such biconditionals as providing a metaphysical
reduction of tense operators?17
Moreover, there is a question of how primitivism about tense operators
fits the intuitive picture of time’s passage. Why does this primitivism supply
a better account of “genuine change”? And how does it fit the traditional
rhetoric of the prophets? Think, for example, of McTaggart’s (1908) criticism
of Russell’s (1903, section 442) spatializing conception of change. For
Russell, a poker changes from hot to cold by being hot at one time and cold
at another. But, McTaggart complains, on Russell’s view the facts don’t
change, since it’s always the case that the poker is hot at the first time and
cold at the second. How is this complaint underwritten by tense-operator-
primitivism? The complaint, moreover, is extremely perplexing. If the poker
is hot at one time but not at another, doesn’t it follow that “the facts change”?
If not, what is this notion of fact on which McTaggart rests so much weight?
To answer these questions we must delve more deeply into the mindset of
the prophet of passage, and into further questions about fundamental
ideology. Doing so will reveal the existence of a number of different versions
of the doctrine of time’s passage.
As I read him, Williamson isn’t just offering the familiar complaint that if
Lewis’s worlds existed, they’d be part of actuality. (Or maybe he’s offering a
deeper version of that complaint.) The argument’s engine is a notion that I’ll
call saturation— the notion of “all variables and parameters being filled in”.
Williamson’s idea is that the possible-worlds theory of modality is
incompatible with the evident fact that saturated statements are capable of
contingency. According to Williamson, the possible-worlds theory delivers
contingency only for something like an open formula: ‘In w, ϕ’, where w is a
free variable. This is said to be contingent because it is satisfied by some
worlds and not others. But this formula is unsaturated. What are saturated, for
the possible-worlds theorist, are statements like ‘In world a, ϕ’, where a is a
name of a particular world. But such statements are not contingent. More
fully, the argument maybe interpreted thus:18
1. For some ϕ concerning the nonexistence of talking donkeys, It is contingent that ϕ is true.
2. It is contingent that ϕ is true only if: ϕ is true and saturated and possibly, not: ϕ is true.
3. If modal realism is true, then ‘There are no talking donkeys’ (unrestricted quantifier) is not true.
4. If modal realism is true, then ‘Possibly, not: there are no talking donkeys in @’ is not true.
5. ‘There are no talking donkeys in w’ (where w is a variable) is not saturated.
6. If modal realism is true, then no other ϕ concerning the nonexistence of talking donkeys is true,
saturated, and such that possibly not: ϕ is true.
7. Therefore, modal realism is not true.
The defender of passage thinks that (T) is saturated (and can nevertheless
change), whereas the spatializer thinks that only (T-rel) is saturated (and he
supplies no notion of change for such statements). But in what sense must a
spatializer think that (T) is “unsaturated”, “missing a parameter”?
Is it because (T) doesn’t correspond to a fact? Earlier I associated one
sense of ‘fact’ with saturation in order to formulate actualism and
temporalism. But my intent was to use saturation to explain that sense of
‘fact’; it’s doubtful that there is any notion of facthood that can be used to
explain saturation. The ordinary notion of facthood cannot do the job. It does
little violence to ordinary usage if we define a ‘fact’ as a property of times;
but under this definition, (T) does correspond to a fact, namely the property
of being a time at which Ted is sitting. Under this definition, facts obtain
relative to times; fact F obtains relative to t iff t instantiates F. Of course, one
could introduce a different sense of ‘fact’ on which obtaining is nonrelative;
but the question of whether (T) is saturated had better not turn on the merely
terminological question of what we mean by ‘fact’. One might reply that the
question isn’t terminological if we take ‘fact’ in a joint-carving sense, but it is
doubtful that there is any such sense; and anyway, the debate over passage
surely doesn’t require its acceptance. (I would reply similarly to the claim
that (T) is unsaturated because it doesn’t express a proposition: we could
define up propositions that obtain relative to times; the existence of a joint-
carving sense of ‘proposition’ is doubtful; and anyway the debate over
passage surely doesn’t turn on its existence. See also section 6.3.)
One might say instead that (T) is unsaturated because it isn’t true—true
simpliciter that is. Only saturated statements like (T-rel) are true. But now we
have defined saturation in terms of the notion of a sentence being true
simpliciter, and the latter notion seems to be in the same boat as the notion of
saturation. Furthermore, deflationists about truth cannot take this line. For
even spatializers must admit that one can assert sentences like (T) without
specifying a time (the time is somehow “supplied by context”); and given
deflationism, this requires asserting that (T) is true.
Assume that spatializers will indeed admit that (T) is true (perhaps
because they accept deflationism about truth). This introduces a further
problem with the notion of saturation: how do we single out an appropriately
metaphysical sense of saturation? The fact that (T) is true means that it is
semantically complete, so to speak. A spatializer might also allow that (T) is
grammatically and psychologically complete: (T) is a grammatical sentence
given our best syntactic theory (unlike ‘loves Sally’) despite the absence of a
syntactic element for a temporal parameter, and one can think (T) without
thinking a temporal parameter (again unlike ‘loves Sally’). It’s only in a
metaphysical sense that the spatializer thinks (T) is incomplete: it is the
spatializer’s metaphysics of time—not psychology or syntax or semantics—
that demands a temporal parameter. But what is this distinctively
metaphysical notion of saturation?19
There are, therefore, questions about what saturation might amount to.
Nevertheless, reflection on some further examples will make it intuitively
clear that there is indeed a distinctively metaphysical notion of saturation. As
we will see in the next section, there are difficult questions about the
underlying metaphysics of saturation, but that should not lead us to doubt that
some such notion is intelligible and important.
Suppose you’re facing the Empire State Building from the south. To the
left of the ESB is the Hudson River. Now, the fact in question is really that
the Hudson is to the left of the ESB relative to your orientation. It’s not to the
left of the ESB, full stop; there’s no such thing as being to the left, full stop.
That’s not to deny that the Hudson is to the left of the ESB; it’s just to say
that “The Hudson is to the left of the ESB” isn’t “complete” until an
orientation is filled in.
According to me, God does not exist. According to Dean Zimmerman,
God does exist. But that doesn’t exhaust the facts in this case. There’s
another fact: that God doesn’t exist. (Were Dean writing this paragraph, of
course, the previous sentence would read differently.) When I say this, I’m
not merely reporting the claim with which this paragraph began, keeping the
relativization to my beliefs implicit. The claim that God doesn’t exist needs
no completion concerning my beliefs. God doesn’t exist, full stop.
Contrast this with the case of the Empire State Building. We don’t want to
say that, in addition to the relativized facts: the Hudson is to the left of the
ESB relative to this orientation, and the Hudson is to the right of the ESB
relative to that orientation, there is an unrelativized fact: The Hudson is to
the left of the ESB, full stop. There simply is no such fact. Whereas, in
addition to the relativized facts God exists according to Dean and God does
not exist according to Ted, there is an unrelativized fact about whether God
exists, full stop.
Few would accept unrelativized facts of directions or reject an
unrelativized fact about God’s existence; but in other cases there is room for
disagreement. In addition to facts about what is morally wrong according to
various cultures, are there further facts about what is wrong, full stop? Moral
realists will answer yes; moral relativists no (though they might grant that
nonrelativized utterances of the form ‘X is wrong’ can be true, since they
attribute wrongness-in-the-speaker’s culture.)
It seems clear from these examples that the notion of saturation makes
sense. There is no need for a further parameter to get a truth-value out of
‘God exists’; there is need for a further parameter with ‘The Hudson is to the
left of the ESB’; ‘X is wrong’ may or may not need a further parameter.
Also, the need for a parameter is metaphysical, not psychological or
linguistic. I don’t know whether there’s a syntactic or semantic or
psychological demand for a parameter of orientation in ‘the Hudson is to the
left of the ESB’. But at any rate, think of other cases. A moral relativist
needn’t think that there’s a linguistic or psychological need for a parameter
specifying a culture in ‘X is wrong’. Given the special theory of relativity, we
need to fill in a frame of reference to get a truth-value out of ‘e1 and e2 are
simultaneous’, but neither the mind nor the language organ demands it.
There’s something metaphysically distinctive, then, about all parameters
being filled. When all parameters are filled, we can call the result a fact. And
this is a metaphysical—not linguistic or psychological—notion of fact.
We can think of all this in terms of “perspective”. Among all the belief-
perspectives, one is distinguished (the one corresponding to someone whose
beliefs are all true).20 Concerning left–right, there is no distinguished
perspective. The Hudson is to the left of the ESB with respect to one
orientation, to the right of the ESB with respect to another; neither orientation
(perspective) is privileged.
— is between — and —
a is between — and —
a is between b and —
a is between b and c.
The idea of saturation is that the final case differs importantly from the first
three. There’s something metaphysically distinctive about all of the argument
places of a relation being filled in. In my terms, the distinction between the
final case and all the previous cases is some sort of joint in nature. Or again,
where F is a one-place predicate, R is a two-place predicate, and a and b are
particulars, there is something in common between a case where something is
F and a case where a bears R to b; and this something in common is not
shared by the property F, the relation R, the property of bearing R to b, and so
on. Some kind of joint in nature separates (saturated) facts, on the one hand,
from (unsaturated) properties and relations on the other. But what kind of
joint?
We might appeal to the existence of facts or propositions to make the
distinction, but the existence of facts or propositions at the fundamental level
is doubtful. And anyway, the intuitive idea requires no such reification: it is
that utterances of “New York is between Washington and Boston”, “The
Phillies play in the National League”, and “Ted is a philosopher” are to be
grouped together (at a very high level of abstraction!), and are to be
distinguished from “New York is between”, “in the National League”, “Ted”,
and so forth; and that this grouping is no arbitrary choice on our part, but
rather reflects the world’s nature.
It’s initially tempting to invoke a joint-carving notion of “argument
place”. The idea would be that a distinguished description of the world will
include a specification, for each relation, of all of its argument places. Then
we could define a saturated sentence as one that specifies a value for each
argument place of each relation that it concerns.21 But this approach requires
reifying relations. Worse, it apparently requires reifying argument places.22
Also the approach recognizes only one potential source of unsaturation: a
relation with an unfilled argument place. But there are other potential
sources. For example, some claim that quantifiers have argument places
(places for times as with the relativizer of section 11.3, or for sortal
properties).
We are searching for a joint in nature that unifies “complete” sentences
like “∃xFx” and “Rab”, as against fragments like “F” and “Ra”. The
problem is that there seems to be no particular linguistic expression to which
this joint corresponds. My solution is to think of the joint as not
corresponding to any particular linguistic expression at all, but rather to a
linguistic category: that of the complete sentence in a fundamental language.
In a fundamental language, a language in which the category of sentence
carves at the joints, sentences are always “metaphysically complete”—
saturated. In languages like English, which includes metaphysically
incomplete as well as metaphysically complete sentences (‘Ted is sitting’ as
well as ‘Ted is sitting at noon on May 17, 2010’), the category of sentence
does not carve at the joints.
Think of it this way. Sentences play a distinctive and central role in our
cognitive and linguistic lives, a role that Frege explored in “Thought”. It is
with sentences that we make assertions, express our beliefs, desires,
conjectures, and so forth. (We do these things with complete sentences, not
fragments like “between”, “ a is between”, and so on.) It is natural to think
that there is an aspect of the world’s structure that we are getting at with this
role. We would get at this aspect perfectly only if we eschewed all implicit
parameters; and we do not do this in English (sentences like ‘Ted is sitting’
include an implicit temporal parameter). Nevertheless, we get at this aspect
reasonably well in English. Parameters in English must normally be explicit;
we cannot—without ellipsis—assert ‘between’, ‘a is between’, and so forth.
Such exceptions as there are, are in the minority, and they are rule-governed.
Asking whether the category of sentence carves at the joints is less
familiar than asking whether a given predicate carves at the joints, but the
underlying idea is the same. When we ask whether quantifiers, modal
operators, or causal predicates carve at the joints, we are asking whether
certain facets of our conceptual scheme latch onto reality’s distinguished
structure. Whether our discourse using the facet is objective, semantically
determinate, worthy of attention, and so on, turns on this matter of joint-
carving. These questions do not go away when we turn to more ubiquitous,
abstract, and pervasive facets of our conceptual scheme. Just as we can ask
how well we are getting at the nature of things when we quantify, modalize,
or speak of causation, we can ask how well we are getting at the nature of
things when we accord a cognitively central role to the category of sentence.
Might there be no joint in nature in the neighborhood of our use of
sentences? Metaphysicians must always live with the possibility of a bad
mismatch between how we think and how the world really is. But in this case
the realization of this possibility would be dire. Our cognitive lives revolve
around sentences. To claim that all of our asserting, believing, desiring, and
so forth is just badly on the wrong track—not just the small imperfection that
results from our use of implicit parameters, but a massive mismatch with
reality resulting from there simply being no joint in the vicinity—would be
far more of a skeptical position than claiming that we are on the wrong track
with quantification (say), or with some particular predicate, or even with
predication itself. I can’t even imagine what it would be like to reorient my
cognitive life so as not to revolve around sentences.
Hitherto I have defined a “fundamental language” as one in which all the
primitive expressions carve at the joints. Let us now expand this formulation,
to require that the category of sentence also carves at the joints.23 We may
then introduce a distinction between saturated and unsaturated sentences in
nonfundamental languages—at least when those languages have an
appropriate sort of metaphysical semantics. Suppose, for example, that the
sentences of some nonfundamental language divide into two sorts, depending
on the relationship between the sentence S and its metaphysical truth-
condition µ(S). If S is of the first sort, then S and µ(S) share logical form. But
if S is of the second sort then µ(S) is logically richer than S; in particular, µ(S)
contains a part that is syntactically like S, but also a further part that
systematically depends on some feature of the context in which S is uttered.
(This further part of µ(S) has no syntactic counterpart in S.) We may then call
the first sort of sentences saturated and the second sort unsaturated.24
For example, suppose that the spatializing metaphysics of time is true, and
suppose the metaphysical truth-condition for ‘Ted is sitting at noon on May
17, 2010’ has the form Ted is ϕ at α (ϕ and α are translations into a
fundamental language of ‘is sitting’ and ‘May 17, 2010’, respectively). This
metaphysical truth-condition is syntactically parallel to ‘Ted is sitting at noon
on May 17, 2010’, and so that sentence is saturated. Suppose further that the
metaphysical semantics for an utterance u of ‘Ted is sitting’ has the form
Ted is ϕ at β u , where β u names the time of u. Then ‘Ted is sitting’ is
unsaturated: its metaphysical truth-condition consists of a portion that is
syntactically like it, but contains in addition a further systematic enrichment:
at β u .25
The failure of the category of sentence in English to carve at the joints is
due, intuitively, to the fact that this category is metaphysically heterogeneous.
The category includes both dated sentences, which match their metaphysical
truth-conditions in syntactic structure, as well as present-tense sentences
which do not. (Other kinds of context-sensitivity also contribute to the
heterogeneity.) This metaphysical imperfection of English is of an unfamiliar
sort. More familiar sorts result from the English lexicon containing particular
words that fail to carve at the joints, whereas this less familiar sort results
from a structural feature of the metaphysical semantics of English.
Applying the notion of joint-carving to linguistic categories like the
category of sentence requires us to revisit the question of how to regiment
structure-talk. Section 6.3 distinguished two regimentations. On one, the
primitive operator attaches to individual expressions we are querying for
joint-carving: (∃) (is negatively charged), and so on. This regimentation
apparently cannot formulate the claim that the category of sentence carves at
the joints, since there is no particular expression to be queried. On a second
regimentation, attaches to full sentences, but the sentences contain dummy
variables taking the place of sentence-parts we are not querying. Thus “
” is how we regiment the claim that existential quantification carves
at the joints. Given this regimentation we may formulate the idea that the
category of sentence carves at the joints by attaching to a dummy
sentence-variable: (P) The intuitive idea is that we are querying the
category of the dummy variable P—the category of the sentence.
Since this approach to regimentation seems a bit artificial, it’s worth
mentioning an alternative, “quietist” approach to introducing the idea of a
fundamental language. On the quietist approach, we no longer speak of the
category of sentences carving at the joints. Instead, we say that a fundamental
language is one that results from raising the standards—in a distinctively
metaphysical way—for making assertions and doing other things with
complete sentences. When we raise the standards in this way, we disavow
various typical mechanisms for tacitly supplying parameters, such as the
current time for tensed sentences, quantifier domain restriction, comparison
classes for gradable adjectives, and so on. Whereas normally we are willing
to say things like “It is now raining”, “everyone is at the meeting”, “Allen
Iverson is short”, and so forth, we refuse to say such things when attempting
to speak a fundamental language. We say only fully articulated things like “It
is raining in New York City at noon on May 17, 2010”, “Every member of
the NYU Philosophy Department was at the philosophy faculty meeting on
May 6, 2010”, “Allen Iverson is short for a basketball player” and so on. This
raising of standards is parallel to other sorts of standard-raising in
metaphysics room. Ordinary talk of properties and similarity, for example, is
flexible and context-dependent: we are apt to speak of things as sharing some
property in common when they share nearly any salient feature, never mind
whether that feature carves at the joints. In the metaphysics room, on the
other hand, one speaks of shared properties only when the shared feature
carves at the joints. Relatedly, ordinary quantification might plausibly be
regarded as not being joint-carving; outside of the philosophy room we’ll say
that there is a way to win this chess match or that we have more in common
with our college friends than with our high school friends, whereas in the
metaphysics room we will say these things only if we think that there really
are—in the joint-carving sense—such entities as ways or things-in-common.
So: instead of introducing the fundamental language by means of an
explicit stipulation (“The category of sentence is to carve at the joints”), on
the quietist approach we instead introduce it implicitly, by exhibiting the
raised standard. The hope is that by doing so, the semantics of the resultant
language will disallow all unarticulated parameters. If we do this, then
assuming that reality does indeed contain structure in the vicinity of
saturation (however that might be understood), it would take a perverse
interpreter indeed to interpret our sentences using implicit parameters. It must
be admitted, though, that the quietist approach would be a major departure
from the approach to joint-carving that I have been developing in this book,
since it gives up on the idea that one can characterize joint-carving by means
of a distinctive addition to ideology.
The reader may have a sense that we have gone off the rails. To be honest,
I share that sense. The claim that the category of sentence carves at the joints,
for example—and that it may be regimented as (P)—strains to the
breaking-point my intuitive grip on the notion of joint-carving. But on the
other hand, it’s evident from examples that there just is a metaphysically
significant notion of saturation. I invite the skeptical reader not to simply
dismiss the issue, but rather to join my struggle to make sense of this notion,
and perhaps come up with something better.
View 1 has an odd feature: each (temporary) predicate has a monadic version
usable from the present perspective and a distinct indexed version usable
from the atemporal perspective. For example, from the present perspective
we say that Ted is sitting; from the atemporal perspective we say that Ted is
sitting at various times. How does sitting relate to sitting-at? Views 2 and 3
avoid this by “thinning” one of the two perspectives. (There are also
intermediate views, according to which one or both perspectives are more or
less thinned.)
The fifth and final variety is the doctrine of the growing block universe.
According to C. D. Broad (1923), the past and present are real, but the future
is not. Reality consists of the present and past portions of the spatializer’s
block universe, which grows by the addition of new “layers of being” to its
future edge. We can clarify the content of these metaphors by using our
framework.
Like the defender of the moving spotlight, the growing blocker believes in
a changing external perspective on the block universe—changing in the sense
of the tense operators. But unlike the moving spotlight view, it’s not just a
smidgen of the facts about the block that change; and the changing facts have
nothing to do with a primitive property of presentness. The changing facts
involve the constant addition to the block.
Like the spatializer, the growing block theorist thinks that the saturated
statements are those that are from an external perspective on the block. Thus
each of the following is saturated:
But unlike the spatializer, the growing blocker thinks that ‘There are human
colonies on Mars’ is false. It’s false because the block ends at the present,
and humans haven’t yet colonized Mars.
Also, the growing block theorist—given my construal, anyway—accepts
primitive tense operators.36 These are not inert when prefixed to saturated
sentences about the contents of the block universe. Using these tense
operators we can describe the growth of the block:
Thus the facts about the block universe change, according to the growing
block view. But there is a constraint on this change.37 Once “positive”
statements (examples include ‘Ted is sitting at t’ and ‘There exists a
dinosaur’, but I won’t try to make the notion precise) become true they
remain true forever after (e.g., A(∃xDx→G∃xDx)). For the only change
from the atemporal perspective is that of the addition of new layers of being.
Many defenders of the growing block view are motived primarily by the
thought that the future is “open” whereas the past is not. (They’re less
motivated by a desire for genuine change; thus the view perhaps doesn’t
belong in this section.) One sort of openness is secured simply by denying the
truth of statements that assert the existence of future individuals and facts,
such as ‘There are human colonies on Mars’ and ‘Ted lives in Ithaca in
2012.’ A stronger sort of openness would be secured by denying the truth or
(nonepistemic) determinacy of futuretensed statements such as ‘F (There are
human colonies on Mars)’ and ‘F(Ted lives in Ithaca in 2012).’38
To conclude. I myself am a spatializer. I reject all the A-theories of time
that I have considered, since I deny that tense operators are metaphysically
fundamental. The A-theorists’ fundamental languages are therefore deeply
defective, by my lights. Nevertheless, my disagreement with the A-theorists
is substantive, since it concerns the nature of the correct fundamental
ideology.
1 Arthur Prior’s (1967; 1968a; 1970; 1976; 1996) tense-logical approach to presentism justly
dominates the market.
2 See Quine (1960c, §36); Russell (1915); Sider (2001b, chapter 2); Smart (1963, chapter 7).
3 Prior and Fine (1977, p. 32).
4 The usual tense operators are insufficient; presentists also need a way to talk about temporal
distances. This is often accomplished by “metrical tense operators”, such as Px: “it was the case x
minutes in the past that”. But taking such an operator as metaphysically primitive would involve real
numbers in the ultimate metaphysics of time, and would apparently require a distinguished unit of
temporal measure. The presentist might instead adapt Mundy’s (1987) approach to quantities: i) replace
Px with infinitely many properties of propositions, which are properties of having been true at some
particular fixed distance in the past; ii) introduce primitive relations between these properties (e.g. the
relation of p1 being twice p2, meaning in effect that the temporal distance associated with p1 is twice
that of p2); and iii) lay down assumptions about these primitive relations from which one can prove a
representation theorem guaranteeing a function f (unique up to an arbitrary choice of unit) that assigns
one of these properties to each real number; and finally iv) define Px ϕ as meaning that the proposition
that ϕ has the property f(x). But this involves propositions in the ultimate metaphysics of time. A better
strategy, I think, is less platonistic: replace Px with primitive polyadic tense operators such as
C(ϕ,ψ,α,β) (C for congruence), meaning intuitively that some pair of cases of ϕ and ψ are separated in
time by the same amount, and in the same direction, as some pair of cases of α and β. (Unlike the usual
presentist operators, C is time-reversal symmetric.) Project: figure out how tightly the sentences
containing such operators constrain their Kripke models. (The issues in Hawthorne and Sider (2002) are
relevant.)
5 I write the predicate D without a parameter for a time because I think of an entity’s species as
being permanent. Spatializers who deny this would regiment the atemporal “There are dinosaurs” as
∃x∃tDxt—“Something is at some time a dinosaur”.
6 See Lewis (1986b, 202–4); Hinchliff(1996); Merricks (1994).
7 Just for fun: how might it go? Take Λ, V, ∃, and ∀ primitive; and suppose that there are two
points, r and u (real and unreal), relative to which objects have features. For instance, I am human
relative to r and a dragon relative to u—that is: philosopher(Ted,r) and dragon(Ted,u). Let’s recursively
define the expression “(ϕ) x” (read: “the translation of sentence ϕ with respect to point x”), where x may
be either r or u, as follows:
But the Humean account shows that we do not need truth by convention to
avoid the “metaphysically odd” in our account of modality.9
Distinguish between governance and classification conceptions of
necessity. According to the governance conception, necessity is a source of
truth. When ϕ is true, ϕ is true because ϕ is true.10 (Compare the
governance conception of laws of nature, on which laws “guide” the
evolution of the world.11) On the classification conception, on the other hand,
the truth of ϕ comes first. Necessity plays no role in truthmaking. To say that
a true proposition is necessary is to classify that proposition as being of a
certain sort, but the proposition is true on its own merits.12
The Humean theory is on the classification side of this divide. (As is
combinatorialism, and Lewis’s modal realism. What is most fundamental for
Lewis is truth from the perspective of the pluriverse; necessities are just
certain kinds of truths about the pluriverse.13 For the combinatorialist, a
necessary truth is just a truth that remains true in all combinations.) Everyday
modal thought may fit the governance conception better than the
classification conception (much as everyday thinking about laws of nature
arguably fits the governance conception). But according to the Humean,
nothing answers to the governance conception; modality isn’t what we
ordinarily take it to be.
The core idea of the Humean account, then, is that necessary truths are
truths of certain more or less arbitrarily selected kinds. More carefully: begin
with a set of modal axioms and a set of modal rules. Modal axioms are
simply certain chosen true sentences; modal rules are certain chosen truth-
preserving relations between sets of sentences and sentences. To any chosen
modal axioms and rules there corresponds a set of modal theorems: the
closure of the set of modal axioms under the rules.14 Any choice of modal
axioms and modal rules, and thus of modal theorems, results in a version of
Humeanism: to be necessary is to be a modal theorem thus understood.15
(“Modal” axioms, rules, and theorems are so-called because of their role in
the Humean theory of modality, but the goal is to characterize them
nonmodally; otherwise the theory would fail to be reductive. Also, the set of
modal “axioms” need not be recursive.)
A simple version of Humeanism to begin with: the sole modal rule is first-
order logical consequence, and the modal axioms are the mathematical truths.
(Logical truths are logical consequences of any propositions whatsoever, and
so do not need to be included as modal axioms.) The following sections
develop the Humean account by considering a series of worries, and
responding with a combination of refinement and argument. The resulting
account will be partial16 in various ways; but it will be enough, I think, to
justify the claim that Humean metaphysical truth-conditions for modal
statements can in principle be given.
Any sentence of this form is true whenever there are n or fewer entities (the
only way to make the antecedent true is to assign n distinct entities to x1…xn,
each of which satisfies F; but if there are no more than n entities, then y must
be assigned one of these things as well, in which case the consequent comes
out true.) So no matter what substitutions we make for the predicates, the
sentence remains true; thus it counts as logically true given Quine’s criterion,
and so counts as necessarily true given Humeanism. But some sentences of
this form seem only contingently true: they could have been falsified if there
had existed n things satisfying the antecedent, and some additional entity that
failed to satisfy the consequent. It might be responded that these
consequences are unproblematic: since abstract entities are infinite in number
and exist necessarily, it is impossible for there to exist just one thing, or just
finitely many things.20 But a Humean might deny the existence of abstracta.
Moreover, the contextualist (see below) might want to allow contexts in
which ‘abstract entities exist necessarily’ is false. Whatever its other merits,
Quine’s theory of logical truth does not mesh with the Humean account of
modality.
The “best-system” account of logical truth mentioned in section 10.3, on
the other hand, if extended to a theory of logical consequence, would mesh
just fine with Humeanism. So would a model-theoretic conception of logical
consequence. The model-theoretic conception (and Quine’s as well) faces the
question of how to characterize the notion of a logical constant. Only logical
constants receive constant interpretations in all models, so the
characterization affects the resultant notion of logical consequence.21 But an
element of conventionality or subjectivity or projection or semantic
indeterminacy in the notion of a logical constant, resulting in such an element
in the notion of necessity, will be acceptable to the Humean.
The Humean theory is mostly neutral on the characterization of
mathematical truth, provided the characterization is non-modal and plausibly
yields necessary truths. One vague conception: a mathematical truth is a
proposition that concerns just mathematics and is true. There is a question
parallel to that of how to characterize the logical constants: what is to count
as a part of mathematics? But again, an element of conventionality,
subjectivity, or the like will be tolerable to the Humean. If there are sharp
lines to be drawn around logic and mathematics, then necessity here is sharp;
if not, not. The spirit of Humeanism is that necessity is not a realm to be
discovered. We draw the lines around what is necessary. It should be no
surprise that we sometimes do this incompletely, arbitrarily, or projectively
Note that the Humean need not assume that mathematical statements are true.
If they are not, then there are no mathematical truths, and hence no
mathematical necessities, which would seem to be the right consequence
given this philosophy of mathematics.
12.4 Analyticity
“Analytic truths should turn out necessary.”
Granted. We should include each analytic truth—in the sense of section
9.8— as a modal axiom. Analytic sentences were there characterized, recall,
as sentences that are both true and definitional (where a definitional sentence
is a sentence intended to constrain the meanings of its terms). This does not
require truth by convention, since part of the characterization of an analytic
sentence is that that sentence be (“already”) true.22
12.5 Laws of metaphysics
“Statements of fundamental metaphysics should turn out noncontingent.”
It seems to be part of the concept of metaphysical necessity that certain
statements of fundamental metaphysics are noncontingent. Consider for
example:23
Parthood is transitive.
There are no (merely) past or future objects.
Objects have temporal parts.
Any objects have a mereological sum.
In particular, consider these sentences as they occur in discussions of
fundamental metaphysics, where the terms in question are intended to carve
at the joints, and where the truth of the sentences is a matter of controversy.
In such contexts, the sentences seem to be noncontingent: necessarily true if
true; necessarily false if false.24 But in such contexts the sentences do not
seem analytic. They are the subject of controversy, and so are not construed
as definitional of the terms they contain. It might be argued that certain
ordinary sentences containing the disputed vocabulary (‘part’, quantification,
temporal vocabulary) are definitional; but philosophers who think that this
vocabulary carves at the joints and engage in dispute over the nature of these
joints suspend any such definitional constraints. If the sentences (in this
context) are not analytic, how shall the Humean account for their
noncontingency?
By adding a new group of modal axioms: the true propositions about such
fundamental and abstract matters. What justifies their status as modal
axioms? This is just how the concept of necessity works. Such propositions
have no further feature that explains their inclusion as modal axioms.
Exactly what sorts of truths about “fundamental and abstract matters” get
included as modal axioms? I’m not sure how much sharpening of this vague
formulation is possible (or necessary), but we might wheel in the generalized
Lewisian account of lawhood from section 3.1. If complexity is expensive,
only the laws of logic count as laws (recall section 10.3). If it is cheap, then
physical and special-science generalizations also count as laws. If its cost is
middling, the special-science laws drop away but the laws of physics remain.
Now, consider a cost of complexity intermediate between the first
(“expensive”) and the last (“middling”). Here we drop the laws of physics but
still retain more than the laws of logic: we also retain what one might call
laws of metaphysics. (Despite the grand name, no heavy-duty metaphysics is
intended; the underlying account of lawhood is reductive.) The sacrifice in
simplicity needed for their inclusion is greater than that required for the laws
of logic, since the relevant terms (such as mereological and temporal
vocabulary) are not quite so topic-neutral and pervasive as those of logic. But
the laws of metaphysics are simpler because more abstract, pervasive, and
topic-neutral than the laws of fundamental science, and because less
“specific”.
The Humean view about necessity requires no commitment to any
particular laws of metaphysics. It says merely that the laws of metaphysics,
whatever they happen to be, are to be included as modal axioms. The
Humean could, for example, be neutral about whether objects have temporal
parts; she would say simply that whichever of ‘Things have temporal parts’
and ‘Things do not have temporal parts’ is true is a modal axiom. The roster
of modal axioms is a function of whatever the nonmodal facts concerning
fundamental and abstract matters turn out to be.
The laws of metaphysics provide examples of synthetic necessary truths.
Supposing it to be true that past and future objects do not exist, it is
impossible that they exist, despite the fact that there is no conceptual
incoherence in supposing that they do. Some metaphysicians find synthetic
necessities deeply disturbing, and go to great lengths to avoid them. Ross
Cameron (2007), for example, argues that i) mereological sums exist; but ii)
existential claims are never analytic; and so, desiring to avoid synthetic
necessities, concludes that iii) it is contingent that mereological sums exist.
Thus, for example, although the subatomic particles in my body compose
something—namely, me—there is a possible world exactly like ours at the
subatomic level in which those particles compose nothing. A second
example: Cian Dorr’s (2004) hostility to synthetic necessities plays an
important role in his argument against non-symmetric relations. And
Cameron and Dorr are just two recent examples of a centuries-old tradition
that finds synthetic necessities metaphysically mysterious. As Dorr (2004,
section 3) puts it, “Metaphysical necessity is never ‘brute’: when a logically
contingent sentence is metaphysically necessary there is always some
explanation for this fact.”
I wonder whether the aversion to synthetic necessities survives the full
repudiation of truth by convention. Dorr requires necessities to be
“explained”. He explains the necessity of the logically contingent “All water
is H2O”, for example, by the fact that metaphysical analysis reveals it to
express the same proposition as the logical truth “All H2O is H2O.” But why
doesn’t the necessity of this logical truth then need to be explained?
Assuming that truth by convention is off the table, the question must be
faced.
A certain sort of picture-thinking is initially compelling. It couldn’t be
necessary that mereological sums exist, for what would force the existence of
a further whole, in addition to the existence of a given set of parts? The fact
of the parts’ existence is one fact, the existence of the whole another fact;
how could the first necessitate the second? But the picture does not withstand
scrutiny. Why not reason also as follows: the fact that it is raining is one fact;
the fact that it is either raining or snowing is a distinct fact; how could the
first necessitate the second? One is tempted to respond that the cases are
different: the fact that it’s either raining or snowing isn’t a separate fact from
the fact that it’s raining. But the temptation dissipates once truth by
convention has been repudiated. Once we recognize that logical content is as
“wordly” as nonlogical content, we see that there is no interesting construal
of fact-identity on which the first pattern of reasoning is sustained but the
second is not. The picture-thinking loses its grip. For the picture was that we
perceive in allegedly unproblematic cases of logical necessitation a certain
kind of connection, a connection which explains the neces-sitation; and we
see that this connection is missing in the case of mereological sums. But now
we see that the perceived connection was never there in the first place.
From a Humean perspective, synthetic necessities are no more puzzling
than analytic or logical necessities. As it happens, we use the word
‘necessary’ to encompass certain synthetic truths in addition to analytic and
logical truths. But there’s no deep fact here: we could have used ‘necessary’
for just the analytic and logical truths—or for a more inclusive set of truths.
The fact that certain synthetic truths are necessary is no more surprising than
the fact (if it is a fact) that cups are glasses.
The aversion to synthetic necessities makes a bit more sense from a non-
Humean perspective, but even then its status is hardly that of metaphysical
bedrock. Suppose, for example, that necessity is a primitive feature of the
world, an irreducible “glow” in some true propositions. What then would be
wrong with saying that certain synthetic propositions glow, in addition to
logical and analytic propositions? There can be no “constitutive” explanation
of why the logical truths glow, for example, in the sense of an explanation
which says: to glow is to be such-and-such; logical truths are examples of
such-and-suches; so logical truths glow. For the glow is primitive. And if the
modal primitivist lacks a constitutive explanation of why the logical truths
glow, what’s so bad about lacking a constitutive explanation of why certain
further propositions glow? The modal primitivist might respond that a leaner,
more attractive view about primitive modality would restrict its application as
much as possible. The more restriction of the glow the better; best-case
scenario: restriction solely to the logical truths. Fair enough, but the resulting
doctrine is then one speculative metaphysical hypothesis among many, not a
bedrock truth whose denial would be “unintelligible” (as Lewis (1983b, p.
366) describes a related denial).
The Humean treatment of the necessity of laws of metaphysics
undermines “arguments from possibility” for conclusions in fundamental
metaphysics. Such arguments begin by claiming that a certain proposition is
possible—perhaps on the grounds that “modal intuition” informs us that it is
possible, perhaps because of some general presumption in favor of
possibility. Next, the possibility is argued to be incompatible with a certain
fundamental proposition of metaphysics. So the fundamental proposition is
possibly false. Finally, it is concluded that the fundamental proposition is
actually false, since fundamental propositions of metaphysics are
noncontingent. For example, I once argued that mereological nihilism (the
view that only mereologically simple entities exist) is actually false on the
grounds that gunk is possible (Sider, 1993b). And even arguments about
weightier matters, such as David Chalmers’s (1996) argument against
materialism, fall in this category.
Such arguments are undermined by Humeanism. This is not because
Humeanism undermines the premise that fundamental propositions of
metaphysics are noncontingent. On the contrary, Humeanism vindicates this
premise, since fundamental propositions of metaphysics count as modal
axioms when true.25 It is rather because Humeanism undermines our reason
for accepting the possibility in question. Intuitively, this is because for
propositions of fundamental metaphysics, possibility boils down to the actual
falsity of rivals.
A proposition p of fundamental metaphysics typically has rivals: other
propositions of fundamental metaphysics that are incompatible with p. (I
have in mind competing accounts of the same subject matter. For example,
rivals to materialism include dualism and idealism.) Now, the set of modal
axioms is defined as containing, among other things, the propositions of
fundamental metaphysics that are true, whatever those happen to be. And to
say that a proposition is possible, on the Humean view, is to say that that
proposition’s negation is not a logical consequence of the modal axioms.
Thus, to say that the fundamental metaphysical proposition p is possible is to
say that its negation is not a logical consequence of a set that is defined as
containing its true rivals. Given this, there is next to no epistemic difference
between asserting that p is possible and asserting that its rivals are false.26
Assuming the Humean theory, then, neither modal intuition nor a putative
presumption in favor of possibility can be regarded as probative in matters of
fundamental metaphysics—unless intuition or the presumption are somehow
probative concerning the actual falsity of rivals; but then there would be no
need to bring in possibility; one could argue directly against the rivals.
Arguments from possibility in effect assume that modality is separate, in a
certain sense, from actuality. They assume that the status of possibility is one
we can assess independently of questions about actuality, and so, in the case
of noncontingent propositions, make genuine epistemic advances on
questions of actuality by reasoning through this separate status. But for the
Humean, modal notions are not separate from actuality in this way. To be
necessary just is to be true and of a certain sort.
I have been disparaging arguments from possibility; but it may be
objected that surely some such arguments are good. Imagine a physical
theory that predicts bizarre results if there are exactly seventeen particles, but
makes sensible predictions otherwise. Can we not object that the theory
makes the wrong predictions with respect to those physically possible
scenarios involving exactly seventeen particles? We could; but we could also
object without bringing in modality. Since the theory makes an exception for
the case of seventeen particles, it is surely needlessly complex, and is
therefore less explanatory than an otherwise similar theory without the
exception. I suspect that something similar is true generally: when there is
good in an argument from possibility, it can be recast in other terms—
explanation, for instance.
12.7 Contextualism
It’s a familiar point that natural language modal words are contextually
variable. “Johnny can’t watch TV next door”, I might say, indicating that
going next door is forbidden to Johnny. But I might later say, with no change
in the facts being described: “Johnny can watch TV next door (since our
neighbors leave their doors unlocked), but he can’t watch across the street
(since the doors there are locked).” Still later I might say: “Johnny can go
across the street (since that’s close by), but he cannot go across town (since
he doesn’t yet know how to drive).” More extremely, I might say: “Johnny
can go to the moon (since the technology exists), but not to Mars”, whereas
later I might say “Johnny can travel to Mars but not to star systems 10,000
light years away (since supraluminal travel violates the laws of nature and
humans don’t live to be 10,000 years old).”
This contextual variation might be regarded as happening only with
restricted modalities. There is some one “outer” modality, according to this
view, of which each contextual modality is a restriction.29 The outer modality
might be claimed to be “metaphysical necessity”, for example. On this view,
a restricted necessity “necessarily, ϕ” is analyzed as (R→ϕ), and a restricted
possibility “possibly, ϕ” is analyzed as ♢(RΛϕ), where and ♢ express the
outer notions of metaphysical necessity and possibility and R is a restricting
sentence. In the case of ‘Johnny can’t watch TV next door’, for example, the
restrictor R might be the sentence ‘Johnny satisfies his obligations’; in the
case of ‘Johnny can go to the moon’, R might specify the current state of
space travel (but not the fact that Johnny has no money for a ticket). On this
picture, though R can vary contextually, talk of outer possibility and necessity
is contextually constant.
A more attractive picture, I think, is that there is no such contextually
constant outer modality. Even the outer and ♢ vary contextually. In
Humean terms, there can be contextual variation both in the modal axioms
and in the modal rules, resulting in variation in the modal theorems and hence
in what is necessary and possible.
This contextual variation may be motivated both from within the
perspective of Humeanism and directly from ordinary use of modal words.
From within a Humean perspective, contextual variation is natural to admit,
since nothing deep holds the modal axioms and rules together in the first
place. If there were a primitive glow associated with all necessary truths, then
it would be natural to have a contextually invariant word for that glow; but in
the absence of such a glow, why not allow contextual variation? And such
contextual variation seems called for by ordinary usage. Just as the following
speeches seem admissible:
“Johnny can’t go to the moon. Well, he could if he had enough money to buy
a ticket from NASA.” [shift from a kind of personal possibility to
technological possibility]
“Things can’t just disappear. Well, they could if the law of conservation of
matter were false.” [shift from nomic possibility to metaphysical possibility]
so do the following:
It might be objected that we can follow up each of the second two speeches
with disavowals: “but the occupation relation just couldn’t hold in a one–
many pattern”, “but dialetheism just couldn’t have been true”. But these seem
to be no better conversational moves than the analogous moves in the first
speeches: “but he just couldn’t have obtained enough money for a ticket”,
“but the law of conservation of matter just couldn’t have been false”. English
modals are context-dependent through and through; there is no stable “outer
modality”.
This instability can also be seen in talk of the necessity of laws of
metaphysics. First, although philosophers—especially metaphysicians—tend
to speak of the laws of metaphysics as being noncontingent, in ordinary
contexts it isn’t unnatural to speak of the laws of metaphysics as being
contingent. And second, there seems to be some contextual variation, or at
least indeterminacy, in what counts as a law of metaphysics. Think, for
example, of the boundary between metaphysics and fundamental physics.
Supposing spacetime to in fact have four dimensions: is this a “mere physical
necessity”, or is it a “metaphysical necessity”? There’s no contextually
constant answer. Likewise for “Points of spacetime exist.”
What I have been characterizing in this chapter has been an outer
modality, a modality that is usually restricted in context. But what has
emerged in this section is that even this outer modality varies contextually. In
context, various modal axioms or rules may be contextually dropped,
resulting in a more restrictive notion of necessity and hence a broader sort of
possibility. Some modal axioms or rules may be harder to suspend than
others, as may be some patterns of suspension; but any pattern is in-principle
possible.30 Thus, there is no sharp line between restricted and unrestricted
metaphysical necessity.
12.9 Micro-reduction
“What about Lewis’s example of the talking donkey?”
One of the chief advantages Lewis claimed for his modal realism against
rival theories of possible worlds was that only modal realism can reduce
modality. Consider for example “linguistic ersatzism”, according to which
possible worlds are maximal consistent sets of sentences in some suitable
world-making language. This rival apparently cannot reduce modality, since
the relevant notion of a consistent set of sentences must apparently be modal.
Mere logical consistency will not rule out possible worlds with married
bachelors, for instance. Lewis considered the move of defining consistency as
logical consistency with a set of “meaning postulates”, but rejected it with an
argument along the following lines (1986b, pp. 150–7).33
Let C0 completely describe New York City in every microphysical detail
(relationally as well as intrinsically). It is surely necessary that any C0 is a
city. The ersatzer must therefore include a sentence of the form:
(C) Any C0 is a city
among the meaning postulates. But no one knows what different
arrangements at the micro-level would suffice for the existence of a city, and
so no one knows what meaning postulates of the form (C) to add. (Lewis’s
example making this point involved ‘talking donkey’ rather than ‘city’.)
Even if the ersatzer does not know which particular sentences to add, she
might still produce some defining condition that would delineate the class of
meaning postulates so as to include the appropriate instances of (C). But this
must be done nonmodally; the ersatzer cannot, for instance, stipulate that all
necessary truths of form (C) are to count as meaning postulates.
Mark Heller has argued that the ersatzer need not solve this problem. In
Heller’s (1998) version of linguistic ersatzism, possible worlds are sets of
sentences in a language that can describe only the distribution of fundamental
properties over spacetime. Since the language contains no macro-predicates,
it lacks the predicate ‘is a city’. Consistency can then be just logical
consistency.34 The problem of micro-reduction then becomes one of how to
interpret these worlds, how to say when it is true in one of them that there
exists a city. But, Heller claims (1996), interpretation need not be regarded as
part of the theory of possible worlds. It is part of a project of the analysis of
ordinary concepts, and is optional for a philosopher of modality.
If all we wanted were a theory of possible worlds, then we could indeed
postpone solving the problem of micro-reduction in this way. But we want a
reduction of modality as well as a theory of worlds. The two are generally
connected thus:
It is necessary that ϕ iff for every possible world, w, it is true that ϕ in w.
This biconditional contains the locution it is true that ϕ in [possible world] w
. If the locution remains undefined then no analysis of modality has been
given. But to define it requires solving the problem of micro-reduction, for
the locution must be defined in the case where w is a world with subatomic
particles arranged in way C0 and ϕ is ‘There exists a city’.
This problem threatens the Humean as well, since sentences like (C) do
not seem to be mathematical truths, analytic truths, laws of metaphysics,
natural kind axioms, or logical consequences of such sentences.
The Humean should introduce another group of modal axioms, derived
from a theory of metaphysical truth-conditions (section 7.4) for the language
in question. There are, I assume, metaphysical truth-conditions for statements
about cities, smiles, and candy. The metaphysical semantics generating these
metaphysical truth-conditions, let’s assume, contains axioms of the form
“Predicate F applies to object x iff ϕ(x)”, where F may be ‘city’, ‘smile’,
‘candy’, and so on, and where ϕ(x) is phrased in purely fundamental terms.35
For each such axiom of the metaphysical semantics, we should add a
corresponding modal axiom:
∀x(Fx↔ϕ(x))
∀x(city(x)↔ϕ(x))
12.10 De re modality
“What about de re modality?”
De dicto modal claims, it is often said, concern the modal features of
propositions, whereas de re modal claims concern the modal features of
objects. “Necessarily: the number of the planets is odd” is said to be de dicto
because it attributes necessity to a proposition, the proposition that the
number of the planets is odd; whereas “The number of the planets is such
that: it is necessarily odd” is de re since it attributes a modal feature, being
necessarily odd, to an object, namely the object that in fact numbers the
planets—8, as we’re now told. This characterization is imperfect, but all I
need here is a rough-and-ready sense of the distinction.
The modal axioms and rules laid out so far need to be augmented to
deliver the full range of de re modal truths. For example, ‘Necessarily, Ted is
human’ is commonly supposed to be true: any entity of a nonhuman species,
no matter how like me in other respects, simply would not be me. But ‘Ted is
human’ is not a modal theorem, given the current definition.
One approach would parallel section 12.8’s treatment of the necessary a
posteriori. ‘Ted is human’ names a biological organism and specifies its
species; and it’s plausible that any such sentence is necessarily true if true at
all. So we could simply add to our list of modal axioms, all such sentences
that are true. More generally, Saul Kripke (1972) taught us of a wider class of
sentences containing proper names that are necessarily true if true at all.38
These include sentences of the following forms: i) “α is F”, where α is a
proper name and F is a “sortal” predicate (species predicates are a special
case); ii) “α is F”, where F specifies material origins; and iii) “α = β”, where
α and β are proper names. All true sentences of these forms could be added as
modal axioms. (A familiar theme: nothing deep need underlie the selection of
these new modal axioms; the selection reflects how our concept of necessity
happens to work.)
A second kind of de re modal claim involves “quantifying into modal
contexts”: a variable inside the scope of a modal operator is bound to a
quantifier outside, as in ‘∃x human(x)’ (“Something is such that it is
necessarily human”). The Humean theory so far supplies truth-conditions for
ϕ only when ϕ lacks free variables; but to account for quantifying-in, truth-
conditions must also be given in the case where ϕ may contain free variables
(‘ human(x)’). The usual Tarskian strategy for assigning truth-conditions to
formulas with free variables is to relativize those truth-conditions to variable
assignments—functions from free variables to entities. Following this
strategy, the Humean could allow modal axioms and theorems to contain free
variables, and could relativize modal axiom-hood, rulehood, and
theoremhood to variable assignments. In categories i)–iii) of modal axioms
mentioned in the previous paragraph, α and β can now be variables as well as
proper names. So, for example, ‘human(x)’ would count as a modal axiom
relative to a variable assignment g that assigned me to x (category i) above),
and thus would count as a modal theorem relative to g; thus ‘ human(x)’
would be true relative to g; thus ‘∃x human(x)’ would be true simpliciter.
That, then, is one approach the Humean could take to de re modality. An
alternate approach is counterpart-theoretic. David Lewis (1968; 1971; 1986b)
defined modality in terms of possible worlds, but famously denied that
individuals are located in more than one possible world. As a result, he could
not agree with the usual possible-worlds definition of de re modality,
according to which an object is necessarily F iff that very object is F in every
possible world. Rather, he said, an object is necessarily F iff in every possible
world, that object’s counterpart is F, where a counterpart of an object in a
world is something that is similar enough to that object, and is more similar
to that object than anything else in its world. A Humean could base her
theory of de re modality on these ideas, as follows. First, take the Humean
account offered in the preceding sections as an account of de dicto necessity.
Second, use de dicto necessity to construct abstract possible worlds and
individuals, in any of the standard ways. For example, possible individuals
could be defined as certain sets of formulas, or certain sorts of properties.39
Third, introduce a counterpart relation over the abstract possible individuals.
Fourth, give counterpart-theoretic truth-conditions for de re modal sentences.
Thus, ‘Necessarily, Ted is human’ will turn out true iff all of my abstract
counterparts represent me as being human.40
Even Humeans who reject the counterpart-theoretic approach to de re
modality may pursue the general strategy of the previous paragraph to enrich
their account of modality in other directions. The general approach is to take
the Humean account as an account of some initial notion of necessity; use
that initial notion to introduce abstract possible worlds and individuals; and
then use those abstract possible worlds and individuals to define a further,
enriched, sort of necessity. For example, to introduce an actuality operator,
@, the Humean might build up abstract worlds using a @-free language, and
then give truth-conditions for @ in terms of those worlds. A similar strategy
could be used to give truth-conditions for statements about counterfactuals,
dispositions, supervenience, and other modal notions.
There is exactly one thing that has no members but is not a member of any
open thing [this is the null set]; everything else either has a member [and so is
a set], or is a member of some open thing [and so is a point of spacetime].
(R1(x,y) holds iff x bears each ϕ relation to everything that is more massive
than y; R2(x,y) holds iff some pair of relations standing in ψ hold between x
and y in opposite directions.) Moreover, we can define higher-order
predicates of relations, again by quantifying over relations that satisfy the
initial predicates. This procedure can then be iterated. After defining higher-
order predicates of relations using quantification over relations that satisfy ϕ
and ψ, we can quantify over relations that satisfy those predicates to define
still higher-order predicates of individuals and relations; and so on.
These iterative constructions can at each stage make use of any notions
that can be defined in fundamental terms. For example, suppose we define a
notion of metaphysical necessity as described in chapter 12; then modal
notions may be employed in the iterations. Given a notion of necessity, we
might define corresponding possible worlds—maximal consistent sets of
sentences, perhaps. We might then use these worlds in a reduction of
causation, counterfactuals, chance, and other notions, as Lewis envisaged.9
All such reductionist programs may be brought into the iterative construction
of further relations. Given these possibilities for definition, I see no in-
principle barrier to the possibility of giving a metaphysical semantics for
predicates of ordinary physical objects, as well as for the distinctive
vocabularies of chemistry, biology, psychology, economics, semantics, and
other disciplines.
We needn’t always identify objects with sets of spacetime points;
sometimes more complex set-theoretic constructions are called for. Consider,
for example, metalinguistic talk—talk about language. My worldview
includes no linguistic ideology, no notions of predicate, sentence, conjunct,
satisfies, true, means, pragmatically implicates. So if we want to speak of
languages (whether formal or natural), we need a metaphysical semantics.
Now, it is perhaps natural to identify a “linguistic atom” (symbol, for a
formal language; word, morpheme, phoneme, or whatever, for a spoken
language) with a set of spacetime points: the set of points located inside some
production (inscription or utterance) of that symbol. But we cannot construe
all linguistic entities this way, since many complex linguistic entities will
never be produced (the conjunction of the longest two sentences ever
produced, for example). So it’s natural instead to take complex linguistic
entities to be set-theoretic constructions (perhaps sequences, perhaps tree-
structures) of linguistic atoms, and thus as set-theoretic constructions of sets
of points, rather than as mere sets of points.
This metaphysical semantics associates existential truth-conditions with
sentences that quantify existentially over linguistic entities—set-theoretic
constructions out of sets of spacetime points really exist. The hard work, as
with physical-object talk, comes with the predicates. Syntactic predicates are
comparatively easy. For example, if c is the set of spacetime points identified
with the sign for conjunction, then the metaphysical truth-condition for the
syntactic predicate ‘s is the conjunction of s1 and s2’ might be something like
this: ‘s is a tree with top node c containing two child nodes, one of which is
s1, the other of which is s2.’ Semantic, pragmatic, and other linguistic notions
will be more difficult, but the project here is continuous with the general
project of giving a metaphysical semantics for talk about macro-entities, and
the iterative techniques described above may again be used.
The identifications I have proposed—of physical objects with sets of
occupied points, linguistic atoms with sets of production points, linguistic
complexes with set-theoretic constructions from linguistic atoms—are
somewhat arbitrary. They’re not wholly arbitrary; it’s not as if I’ve simply
observed that the pure settheoretic hierarchy has enough entities with which
to identify everything, and left it at that. But there’s no denying that there are
multiple alternates to my sketch of a metaphysical semantics. Fortunately,
this multiplicity is harmless. What we want out of a metaphysical semantics
for L is a good explanation of the linguistic behavior of speakers of L, and
there is often an element of arbitrariness when explaining higher-level
phenomena. What we’re after in linguistics (and psychology, and economics,
and …) is a good model, not a unique model.10
I have imagined one way the book of the world might be. It is not a tale of
common sense. But we can, I think, recognize it as our own.
1 Or perhaps points of some higher-order space, if the foundations of quantum mechanics lead in
this direction.
2 Ideological (rather than ontological) parsimony leads me to this view: nihilism lets us eliminate
parthood from fundamental ideology; set-membership can take up the slack. See Sider (2011).
3 Define an urelement to be any member of anything that is open.
4 Compare Quine (1976b).
5 An alternate approach would be that of Sider (1996a).
6 My initial description of this worldview as a version of mereological nihilism must therefore be
qualified. Although the worldview denies that there are fundamental ascriptions of parthood, it allows
that sentences of nonfundamental languages can truly ascribe parthood. Moreover, since both
composites and their parts are identified with sets, it even allows that there exist, in the fundamental
sense of ‘there exist’, entities that are asserted by nonfundamental sentences to have parts.
7 See also the discussion of infinite definitions in section 7.11.1.
8 Compare Lewis (1986b, section 1.5).
9 See Lewis (1973a; b; 1994).
10 The arbitrariness would not be harmless if we applied notions from our fundamental ideology to
the arbitrarily constructed entities—qua arbitrarily constructed entities, so to speak. It would not be
harmless, for example, to construe sentences (qua sentences) as being fundamentally located in
spacetime, in the sense of being subsets of open sets. On the one hand, we are surely free to choose any
reasonable method for identifying sentences with sets; but on the other hand, what if the chosen method
identifies sentences with sets that are not subsets of open sets? (See Forrest and Armstrong (1984);
Sider (1996c).)
Recall the claim in section 6.3 that since semantics isn’t fundamental, we can’t take the facts about
structure to fundamentally involve semantic entities. I wrote as if the problem was that semantic entities
don’t fundamentally exist. But that isn’t quite right, since our metaphysical semantics might identify
semantic entities with certain set-theoretic constructions, which do fundamentally exist. The problem is
rather this: since which sets are identified with semantic entities is arbitrary, and since the notion of
structure, , is part of our fundamental ideology, we can’t apply it to semantic entities (qua semantic
entities).
References
Adams, Robert Merrihew (1974). Theories of actuality. Noûs, 8, 211–31.
Albert, David Z. (1996). Elementary quantum metaphysics. In Bohmian Mechanics and Quantum
Theory: An Appraisal (eds. J. T. Cushing, A. Fine, and S. Goldstein), pp. 277–84. Kluwer
Academic Publishers, Dordrecht.
Armstrong, David M. (1978a). Nominalism and Realism, volume 1 of Universals and Scientific
Realism. Cambridge University Press, Cambridge.
— (1978b). A Theory of Universals, volume 2 of Universals and Scientific Realism. Cambridge
University Press, Cambridge.
— (1983). What Is A Law Of Nature? Cambridge University Press, Cambridge.
— (1986). In defence of structural universals. Australasian Journal of Philosophy, 64, 85–8.
— (1989). A Combinatorial Theory of Possibility. Cambridge University Press, New York.
— (1997). A World of States of Affairs. Cambridge University Press, Cambridge.
— (2004). Truths and Truthmakers. Cambridge University Press, Cambridge.
Arntzenius, Frank (2008). Gunk, topology, and measure. In Oxford Studies in Metaphysics (ed. Dean
W. Zimmerman), volume 4, pp. 225–47. Oxford University Press, Oxford.
Arntzenius, Frank and Hawthorne, John (2005). Gunk and continuous variation. The Monist, 88,
441–65.
Ayer, Alfred Jules (1936). Language, Truth and Logic. Victor Gollancz Ltd, London. 2nd edition.
Bach, Kent (1994). Conversational implicature. Mind and Language, 9, 124–62.
Bealer, George (1982). Quality and Concept. Clarendon Press, Oxford.
Beall, J. C. and Restall, Greg (2006). Logical Pluralism. Clarendon Press, Oxford.
Beebee, Helen (2000). The non-governing conception of laws of nature. Philosophy and
Phenomenological Research, 61, 571–94.
Bennett, Karen (2004). Spatio-temporal coincidence and the grounding problem. Philosophical
Studies, 118, 339–71.
— (2006). Zombies everywhere! MS. Available at http://courses.cit.cornell.edu/kb383/zombies.pdf.
— (2009). Composition, colocation, and metaontology. In Chalmers et al. (2009), pp. 38–76.
Bigelow, John (1988). The Reality of Numbers: A Physicalist’s Philosophy of Mathematics.
Clarendon Press, Oxford.
Blackburn, Simon (1993). Essays in Quasi-Realism. Oxford University Press, Oxford.
Boghossian, Paul (1997). Analyticity. In A Companion to the Philosophy of Language (eds. Bob Hale
and Crispin Wright), pp. 331–68. Blackwell, Oxford.
— (2003). Blind reasoning. Aristotelian Society, Supplementary Volume, 77, 225–48.
Boolos, George (1984). To be is to be the value of a variable (or to be some values of some
variables). Journal of Philosophy, 81, 430–49.
Bourne, Craig (2002). When am I? A tense time for some tense theorists? Australasian Journal of
Philosophy, 80, 359–71.
Boyd, Richard (1988). How to be a moral realist. In Essays on Moral Realism (ed. Geoffrey Sayre-
McCord), pp. 181–228. Cornell University Press, Ithaca, NY.
Braddon-Mitchell, David (2004). How do we know it is now now? Analysis, 64, 199–203.
Båve, Arvid (2010). How to precisify quantifiers. Journal of Philosophical Logic, 40, 103–11.
Bricker, Phillip (1992). Realism without parochialism. Read to the Pacific Division of the APA.
Available at http://www.umass.edu/philosophy/PDF/Bricker/realism_without_parochialism.pdf.
— (1993). The fabric of space: Intrinsic vs. extrinsic distance relations. In Midwest Studies in
Philosophy XVIII: Philosophy of Science (eds. Peter French, Theodore E. Uehling, Jr, and
Howard K. Wettstein), pp. 271–94. University of Notre Dame Press, South Bend, IN.
Britton, Karl (1947). Are necessary truths true by convention? Aristotelian Society, Supplementary
Volume, 21, 78–103.
Broad, C. D. (1923). Scientific Thought. Harcourt, Brace and Company, New York.
— (1936). Are there synthetic a priori truths? Aristotelian Society, Supplementary Volume, 15, 102–
17.
Burgess, John (2005). Being explained away. Harvard Review of Philosophy, 13, 41–56.
Cameron, Ross P. (2007). The contingency of composition. Philosophical Studies, 136, 99–121.
— (2008). Turtles all the way down: Regress, priority and fundamentality in metaphysics.
Philosophical Quarterly, 58, 1–14.
— (2010). From humean truthmaker theory to priority monism. Noûs, 44, 178–98.
— (2011). Truthmakers. In Oxford Handbook of Truth (ed. Michael Glanzberg). Oxford University
Press, Oxford. Forthcoming.
Carnap, Rudolf (1937). The Logical Syntax of Language. Routledge & Kegan Paul, London.
— (1950). Empiricism, semantics and ontology. Revue International de Philosophie, 4, 20–40.
Reprinted in Meaning and Necessity: A Study in Semantics and Modal Logic, 2nd edn. University
of Chicago Press, Chicago.
Chalmers, David (1996). The Conscious Mind. Oxford University Press, Oxford.
— (2005). The Matrix as metaphysics. In Philosophers Explore the Matrix (ed. Christopher Grau),
pp. 132–76. Oxford University Press, New York.
— (2009). Ontological indeterminacy. In Chalmers et al. (2009), pp. 77–129.
— (2011). Verbal disputes. Philosophical Review. Forthcoming.
Chalmers, David, Manley, David, and Wasserman, Ryan (eds.) (2009). Metametaphysics. Oxford
University Press, Oxford. Chisholm, Roderick (1976). Person and Object: A Metaphysical Study.
Open Court Publishing Co., La Salle, Illinois.
Chomsky, Noam (2000). New Horizons in the Study of Language and Mind. Cambridge University
Press, New York.
Churchland, Paul M. (1981). Eliminative materialism and the propositional attitudes. Journal of
Philosophy, 78, 67–90.
Coppock, Paul (1984). Review of Nathan U. Salmon, Reference and Essence. Journal of Philosophy,
81, 261–70.
Correia, Fabrice and Schnieder, Benjamin (eds.) (2012). Grounding. Cambridge University Press,
Cambridge. Forthcoming.
Dasgupta, Shamik (2009a). Individuals: An essay in revisionary metaphysics. Philosophical Studies,
145, 35–67.
— (2009b). Symmetry in reality. Ph.D. thesis, New York University, New York.
— (2010). On the plurality of grounds. MS. Available at
http://www.shamik.net/Research_files/dasgupta%20on%20the%20plurality%20of%20grounds.pdf
Davidson, Donald (1967a). The logical form of action sentences. In The Logic of Decision and
Action (ed. Nicholas Rescher), pp. 81–95. University of Pittsburgh Press, Pittsburgh, PA.
— (1967). Truth and meaning. Synthese, 17, 304–23.
— (1970). Mental events. In Experience and Theory (eds. L. Foster and J. Swanson), pp. 79–101.
Duckworth, London.
— (1977). The method of truth in metaphysics. In Midwest Studies in Philosophy II: Studies in the
Philosophy of Language (eds. Peter French, Theodore E. Uehling, Jr, and Howard K. Wettstein),
pp. 244–54. University of Minnesota Press, Minneapolis, MN.
deRosset, Louis (2010). Getting priority straight. Philosophical Studies, 149, 73–97.
Devitt, Michael and Sterelny, Kim (1999). Language and Reality: An Introduction to the Philosophy
of Language. MIT Press, Cambridge, MA, 2nd edition.
Divers, John (2002). Possible Worlds. Routledge, London.
Divers, John and Melia, Joseph (2002). The analytic limit of genuine modal realism. Mind, 111, 15–
36.
Dorr, Cian (2002). The simplicity of everything. Ph.D. thesis, Princeton University.
Dorr, Cian (2004). Non-symmetric relations. In Oxford Studies in Metaphysics (ed. Dean W.
Zimmerman), volume 1, pp. 155–92. Oxford University Press, Oxford.
— (2005). What we disagree about when we disagree about ontology. In Fictionalism in Metaphysics
(ed. Mark Kalderon), pp. 234–86. Oxford University Press, Oxford.
— (2007). There are no abstract objects. In Sider et al. (2007), pp. 32–63.
— (2010). How to be a modal realist. http://users.ox.ac.uk/~sfop0257/papers/ModalRealism.pdf.
Dowty, David R., Wall, Robert E., and Peters, Stanley (1981). Introduction to Montague Semantics.
Kluwer, Dordrecht.
Dreier, James (2004). Meta-ethics and the problem of creeping minimalism. Philosophical
Perspectives, 18, 23–44.
Dretske, Fred (1977). Laws of nature. Philosophy of Science, 44, 248–68.
Dummett, Michael (1973). The philosophical basis of intuitionist logic. In Proceedings of the Logic
Colloquium, Bristol, July 1973 (eds. H. E. Rose and J. C. Shepherdson), pp. 5–49. North-
Holland, Amsterdam.
Eddon, Maya (2012). Fundamental properties of fundamental properties. In Oxford Studies in
Metaphysics (eds. Karen Bennett and Dean W. Zimmerman), volume 8. Oxford University Press,
Oxford.
Eklund, Matti (2002). Inconsistent languages. Philosophy and Phenomenological Research, 64, 251–
75.
— (2006). Neo-fregean ontology. Philosophical Perspectives, 20, 95–121.
— (2007). The picture of reality as an amorphous lump. In Sider et al. (2007), pp. 382–96.
— (2008). Putnam on ontology. In Following Putnam’s Trail: On Realism and Other Issues (eds.
Maria Uxia Rivas Monroy, Concepcion Martinez Vidal, and Celeste Cancela), pp. 203–22.
Rodopi, Amsterdam.
— (2009). Carnap and ontological pluralism. In Chalmers et al. (2009), pp. 130–56.
Etchemendy, John (1990). The Concept of Logical Consequence. Harvard University Press,
Cambridge, MA.
Everett, Anthony and Hofweber, Thomas (eds.) (2000). Empty Names, Fiction and the Puzzles of
Non-Existence. CSLI Press, Stanford.
Field, Hartry (1980). Science Without Numbers. Blackwell, Oxford.
— (1989). Realism, Mathematics and Modality. Blackwell, Oxford.
— (2003). The semantic paradoxes and the paradoxes of vagueness. In Liars and Heaps (ed. J. C.
Beall), pp. 262–311. Oxford University Press, Oxford.
— (2008). Saving Truth from Paradox. Oxford University Press, Oxford.
Fine, Kit (1994a). Essence and modality. In Philosophical Perspectives 8: Logic and Language (ed.
James Tomberlin), pp. 1–16. Ridgeview, Atascadero, CA.
— (1994b). Senses of essence. In Modality, Morality, and Belief (ed. Walter Sinnott-Armstrong), pp.
53–73. Cambridge University Press, New York.
— (2000). Neutral relations. Philosophical Review, 109, 1–33.
— (2001). The question of realism. Philosopher’s Imprint, 1, 1–30.
— (2003). The problem of possibilia. In Loux and Zimmerman (2003), pp. 161–79.
— (2005). Tense and reality. In Modality and Tense, pp. 261–320. Oxford University Press, New
York.
— (2009). The question of ontology. In Chalmers et al. (2009), pp. 157–77.
— (2010). Some puzzles of ground. Notre Dame Journal of Formal Logic, 51, 97–118.
— (2011). The pure logic of ground. MS.
— (2012). Guide to ground. In Correia and Schnieder (2012). Forthcoming.
Fitelson, Branden (2006). The paradox of confirmation. Philosophy Compass, 1, 95–113.
Fodor, Jerry A. (1974). Special sciences (or: The disunity of science as a working hypothesis).
Synthese, 28, 97–115.
— (1987). Psychosemantics. MIT Press, Cambridge, MA.
Forrest, Peter (2004). The real but dead past: A reply to Braddon-Mitchell. Analysis, 64, 358–62.
— (2006). Uniform grounding of truth and the growing block theory: A reply to Heathwood.
Analysis, 66, 161–3.
Forrest, Peter and Armstrong, David M. (1984). An argument against David Lewis’ theory of
possible worlds. Australasian Journal of Philosophy, 62, 164–8.
Frege, Gottlob (1879). Begriffsschrift, ein der arithmetischen nachgebildete Formelsprache des
reinen Denkens. Verlag L. Nebert, Halle/Saale. Translated as Concept Script, A Formal
Language of Pure Thought Modelled Upon That of Arithmetic, by S. Bauer-Mengelberg in From
Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 (ed. J. van Heijenoort, 1967),
pp. 1–82. Harvard University Press, Cambridge, MA.
— (1884). The Foundations of Arithmetic. Blackwell, Oxford, 2nd edition.
— (1952/1892). On sense and reference. In Translations of the Philosophical Writings of Gottlob
Frege (eds. Peter Geach and Max Black). Blackwell, Oxford.
— (1997/1918). Thought. In The Frege Reader (ed. Michael Beany), pp. 323–45. Blackwell, Oxford.
Frost, Robert (1936). A Further Range. H. Holt, New York.
Funkhouser, Eric (2006). The determinable-determinate relation. Noûs, 40, 548–69.
Gamut, L. T. F. (1991). Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical
Grammar. University of Chicago Press, Chicago, IL.
Gettier, Edmund L. (1963). Is justified true belief knowledge? Analysis, 23, 121–3.
Goodman, Nelson (1955). Fact, Fiction, and Forecast. Harvard University Press, Cambridge, MA.
Goodman, Nelson (1978). Ways of Worldmaking. Hackett, Indianapolis.
Grice, Paul (1975). Logic and conversation. In Syntax and Semantics, Volume 3: Speech Acts (eds.
Peter Cole and Jerry Morgan), pp. 41–58. Academic Press, New York.
Grice, Paul and Strawson, Peter F. (1956). In defense of a dogma. Philosophical Review, 65, 141–58.
Grünbaum, Adolf (1973). Philosophical Problems of Space and Time. D. Reidel, Dordrecht, 2nd
edition.
Gunderson, Keith (ed.) (1975). Language, Mind and Knowledge, volume 7 of Minnesota Studies in
the Philosophy of Science. University of Minnesota Press, Minneapolis.
Hale, Bob (1987). Abstract Objects. Blackwell, Oxford.
Hale, Bob and Wright, Crispin (2001). The Reason’s Proper Study. Oxford University Press, Oxford.
Hall, Ned (2006). Philosophy of causation: Blind alleys exposed; promising directions highlighted.
Philosophy Compass, 1, 86–94.
Hamilton, Andrew (2007). Laws of biology, laws of nature: Problems and (dis)solutions. Philosophy
Compass, 2/3, 592–610.
Hanson, William H. (1997). The concept of logical consequence. Philosophical Review, 106, 365–
409.
Harman, Gilbert (1999). Reasoning, Meaning and Mind. Oxford University Press, Oxford.
Haslanger, Sally (1995). Ontology and social construction. Philosophical Topics, 23, 95–125.
Hawthorne, John (2001). Freedom in context. Philosophical Studies, 104, 63–79.
— (2006a). Epistemicism and semantic plasticity. In Zimmerman (2006), pp. 289–322.
— (2006b). Metaphysical Essays. Oxford University Press, Oxford.
— (2006c). Plenitude, convention, and ontology. In Hawthorne (2006b), pp. 53–70.
— (2007). Craziness and metasemantics. Philosophical Review, 116, 427–40.
— (2009). Superficialism in ontology. In Chalmers et al. (2009), pp. 213–30.
Hawthorne, John and Sider, Theodore (2002). Locations. Philosophical Topics, 30, 53–76.
Hawthorne, John (O’Leary-) and Cortens, Andrew (1995). Towards ontological nihilism.
Philosophical Studies, 79, 143–65.
Heller, Mark (1996). Ersatz worlds and ontological disagreement. Acta Analytica, 15, 35–44.
— (1998). Property counterparts in ersatz worlds. Journal of Philosophy, 95, 293–316.
Hempel, Carl (1945). Studies in the logic of confirmation I & II. Mind, 54, 1–26 & 97–I2I.
Hinchliff, Mark (1996). The puzzle of change. In Philosophical Perspectives (ed. James Tomberlin),
volume 10, pp. 119–36. Blackwell, Cambridge, MA.
Hirsch, Eli (1986). Metaphysical necessity and conceptual truth. In Midwest Studies in Philosophy
XI: Studies in Essentialism (eds. Peter French, Theodore E. Uehling, Jr, and Howard K.
Wettstein), pp. 243–56. University of Minnesota Press, Minneapolis, MN.
— (1993). Dividing Reality. Oxford University Press, New York.
— (2002a). Against revisionary ontology. Philosophical Topics, 30, 103–27.
— (2002b). Quantifier variance and realism. Philosophical Issues, 12, 51–73.
— (2005). Physical-object ontology, verbal disputes, and common sense. Philosophy and
Phenomenological Research, 70, 67–97.
— (2007). Ontological arguments: Interpretive charity and quantifier variance. In Sider et al. (2007),
pp. 367–81.
— (2008). Language, ontology, and structure. Noûs, 42, 509–28.
— (2009). Ontology and alternative languages. In Chalmers et al. (2009), pp.231–59.
Hodes, Harold (1984). Logicism and the ontological commitments of arithmetic. Journal of
Philosophy, 81, 123–49.
Hofweber, Thomas (2000). Quantification and non-existent objects. In Everett and Hofweber (2000),
pp. 249–73.
— (2005). A puzzle about ontology. Noûs, 39, 256–83.
— (2007). Innocent statements and their metaphysically loaded counterparts. Philosopher’s Imprint,
7, 1–33.
— (2009). Ambitious, yet modest, metaphysics. In Chalmers et al. (2009), pp. 260–89.
Horgan, Terence and Potrč, Matjaž (2000). Blobjectivism and indirect correspondence. Facta
Philosophica, 2, 249–70.
— (2002). Addressing questions for blobjectivism. Facta Philosophica, 4, 311–22.
Horn, Laurence R. (1989). A Natural History of Negation. University of Chicago Press, Chicago.
Horwich, Paul (1990). Truth. MIT Press, Cambridge, MA.
Hudson, Hud (2006). The Metaphysics of Hyperspace. Oxford University Press, Oxford.
Jackson, Alex (2010). Time and logic. MS.
Jackson, Frank (1998). From Metaphysics to Ethics: A Defence of Conceptual Analysis. Oxford
University Press, Oxford.
Jubien, Michael (2007). Analyzing modality. In Zimmerman (2007), pp. 99–139.
Kaplan, David (1989). Demonstratives. In Themes from Kaplan (eds. Joseph Almog, John Perry, and
Howard Wettstein). Oxford University Press, New York.
Kim, Jaegwon (1982). Psychophysical supervenience. Philosophical Studies, 41, 51–70.
Kim, Jaegwon (1989). The myth of nonreductive materialism. Proceedings of the American
Philosophical Association, 63, 31–47.
— (1992). Multiple realization and the metaphysics of reduction. Philosophy and
PhenomenologicalResearch, 52, 1–26.
King, Jeffrey C. (2005). Anaphora. Available at http://plato.stanford.edu/entries/anaphora/.
Krantz, David H., Luce, R. Duncan, Suppes, Patrick, and Tversky, Amos (1971). Foundations of
Measurement. Academic Press, New York.
Kripke, Saul (1972). Naming and necessity. In Semantics of Natural Language (eds. Donald
Davidson and Gilbert Harman), pp. 253–355, 763–9. D. Reidel, Dordrecht. Revised edition
published in 1980 as Naming and Necessity (Harvard University Press, Cambridge, MA).
— (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690–716.
— (1982). Wittgenstein on Rules and Private Language. Harvard University Press, Cambridge, MA.
Lange, Marc (2005). A counterfactual analysis of the concepts of logical truth and necessity.
Philosophical Studies, 125, 277–303.
Lewis, David (1968). Counterpart theory and quantified modal logic. Journal of Philosophy, 65, 113–
26.
— (1969). Convention: A Philosophical Study. Blackwell, Oxford.
— (1970a). Anselm and actuality. Noûs, 4, 178–88.
— (1970b). How to define theoretical terms. Journal of Philosophy, 67, 427–46.
— (1971). Counterparts of persons and their bodies. Journal of Philosophy, 68, 203–11.
— (1973a). Causation. Journal of Philosophy, 70, 556–67.
— (1973b). Counterfactuals. Blackwell, Oxford.
— (1975). Languages and language. In Gunderson (1975), pp. 3–35.
— (1979). Counterfactual dependence and time’s arrow. Noûs, 13, 455–76.
— (1983a). Extrinsic properties. Philosophical Studies, 44, 197–200.
— (1983b). New work for a theory of universals. Australasian Journal of Philosophy, 61, 343–77.
— (1984). Putnam’s paradox. Australasian Journal of Philosophy, 62, 221–36.
— (1986a). Events. In Lewis (1986c), pp. 241–69.
— (1986b). On the Plurality of Worlds. Blackwell, Oxford.
— (1986c). Philosophical Papers, Volume 2. Oxford University Press, Oxford.
— (1991). Parts of Classes. Blackwell, Oxford.
— (1992). Armstrong on combinatorial possibility. Australasian Journal of Philosophy, 70, 211–24.
— (1994). Humean supervenience debugged. Mind, 103, 473–90.
— (2004). Void and object. In Causation and Counterfactuals (eds. John Collins, Ned Hall, and L.
A. Paul), pp. 277–90. MIT Press, Cambridge, MA.
Lewy, Casimir (1976). Meaning and Modality. Cambridge University Press, Cambridge.
Loewer, Barry (1996). Humean supervenience. Philosophical Topics, 24, 101–27.
Lombard, Lawrence Brian (1999). On the alleged incompatibility of presentism and temporal parts.
Philosophia, 27, 253–60.
Loux, Michael J. and Zimmerman, Dean W. (eds.) (2003). Oxford Handbook of Metaphysics. Oxford
University Press, Oxford.
Lycan, William (2001). Real Conditionals. Oxford University Press, Oxford.
MacFarlane, John (2005). Logical constants. Available at http://plato.stanford.edu/entries/logical-
constants/.
Mackie, J. L. (1977). Ethics: Inventing Right and Wrong. Penguin, London.
Malcolm, Norman (1940). Are necessary propositions really verbal? Mind, 49, 189–203.
Markosian, Ned (1993). How fast does time pass? Philosophy and Phenomenological Research, 53,
829–44.
— (1998). Simples. Australasian Journal of Philosophy, 76, 213–26.
— (2004a). Simples, stuff, and simple people. The Monist, 87, 405–28.
— (2004b). Soc it to me? Reply to McDaniel on maxcon simples. Australasian Journal of
Philosophy, 82, 332–40.
Marshall, Dan (2009). Can ‘intrinsic’ be defined using only broadly logical notions? Philosophy and
Phenomenological Research, 78, 646–72.
Maudlin, Tim (1993). Buckets of water and waves of space: Why spacetime is probably a substance.
Philosophy of Science, 60, 183–203.
— (1996). On the unification of physics. Journal of Philosophy, 93, 129–44.
— (2007a). The Metaphysics Within Physics. Oxford University Press, New York.
— (2007b). A modest proposal concerning laws, counterfactuals, and explanations. In Maudlin
(2007a), pp. 5–49.
— (2007c). On the passing of time. In Maudlin (2007a), pp. 104–42.
McDaniel, Kris (2003). Against maxcon simples. Australasian Journal of Philosophy, 81, 265–75.
— (2007a). Brutal simples. In Zimmerman (2007), pp. 233–66.
— (2007b). Extended simples. Philosophical Studies, 133, 131–41.
— (2009). Ways of being. In Chalmers et al. (2009), pp. 290–319.
— (2011a). Being and almost nothingness. Noûs, Forthcoming.
— (2011b). A return to the analogy of being. Philosophy and Phenomenological Research,
Forthcoming.
McGee, Vann (2005). Two conceptions of truth? Philosophical Studies, 124, 71–104.
McGinn, Colin (1981). Modal reality. In Reduction, Time and Reality (ed. Richard Healey), pp. 143–
88. Cambridge University Press, Cambridge.
— (2000). Logical Properties. Oxford University Press, Oxford.
McLaughlin, Brian and Bennett, Karen (2005). Supervenience. Available at
http://plato.stanford.edu/entries/supervenience/.
McTaggart, J. M. E. (1908). The unreality of time. Mind, 17, 457–74.
Melia, Joseph (1995). On what there’s not. Analysis, 55, 223–9.
— (2000). Weaseling away the indispensability argument. Mind, 109, 455–79.
Merricks, Trenton (1994). Endurance and indiscernibility. Journal of Philosophy, 91, 165–84.
— (2006). Good-bye growing block. In Zimmerman (2006), pp. 103–10.
— (2007). Truth and Ontology. Oxford University Press, Oxford.
Millikan, Ruth Garrett (1989). Biosemantics. Journal of Philosophy, 86, 281–97.
Montague, Richard (1973). The proper treatment of quantification in ordinary English. In
Approaches to Natural Language (eds. Jaakko Hintikka, J. M. E. Moravcsik, and Patrick
Suppes), pp. 221–42. Reidel, Dordrecht, Boston.
Mortensen, Chris (1989). Anything is possible. Erkenntnis, 30, 319–37.
Mundy, Brent (1987). The metaphysics of quantity. Philosophical Studies, 51, 29–54.
Nerlich, Graham (1976). The Shape of Space. Cambridge University Press, Cambridge.
— (1982). The present state of realism. Philosophical Quarterly, 32, 272–9. Review of Richard
Healey (ed.), Reduction, Time and Reality: Studies in the Philosophy of the Natural Sciences.
Nolan, Daniel (2011). The extent of metaphysical necessity. MS.
North, Jill (2009). The ‘structure’ of physics: A case study. Journal of Philosophy, 106, 57–88.
— (2010). Structure in classical mechanics. Available at
http://courses.cit.cornell.edu/north/Structure_CM_Rev_newer.pdf.
Oliver, Alex (1996). The metaphysics of properties. Mind, 105, 1–80.
Pap, Arthur (1958). Semantics and Necessary Truth. Yale University Press, New Haven.
Parsons, Josh (2003). Entension, or how it could happen that an object is wholly located in each of
many places. MS. Available at
http://www.otago.ac.nz/philosophy/Staff/JoshParsons/papers/entension2.pdf.
Parsons, Terence (1980). Nonexistent Objects. Yale University Press, New Haven.
Paul, L. A. (2009). Counterfactual theories of causation. In Oxford Handbook of Causation (eds.
Helen Beebee, Christopher Hitchock, and Peter Menzies), pp. 158–84. Oxford University Press,
Oxford.
— (2010). A new role for experimental work in metaphysics. Review of Philosophy and Psychology,
1, 461–76.
Peacocke, Christopher (1997). Metaphysical necessity: Understanding, truth and epistemology. Mind,
pp. 521–74.
— (1999). Being Known. Clarendon Press, Oxford.
Penrose, Roger (2005). The Road to Reality. Alfred A. Knopf, New York.
Pietroski, Paul (2003). The character of natural language semantics. In Epistemology of Language
(ed. Alex Barber), pp. 217–56. Oxford University Press, Oxford.
Plantinga, Alvin (1974). The Nature of Necessity. Oxford University Press, Oxford.
— (1976). Actualism and possible worlds. Theoria, 42, 139–60.
Poincaré, Henri (1952). Science and Hypothesis. Dover, New York. Republication of the first English
translation, published by Walter Scott Publishing, London, 1905.
Priest, Graham (1987). In Contradiction: A Study of the Transconsistent. Martinus Nijhoff,
Dordrecht.
Prior, A. N. (1960). The runabout inference ticket. Analysis, 21, 38–9.
— (1967). Past, Present, and Future. Oxford University Press, Oxford.
— (1968a). Papers on Time and Tense. Oxford University Press, Oxford.
— (1968b). Quasi-propositions and quasi-individuals. In Prior (1968a), pp. 135–44.
— (1970). The notion of the present. Studium Generale, 23, 245–8.
— (1971). Objects of Thought. Oxford University Press, Oxford.
— (1976). Thank goodness that’s over. In Papers in Logic and Ethics, pp. 78–84. Duckworth,
London.
— (1996). Some free thinking about time. In Logic and Reality: Essays on the Legacy of Arthur
Prior (ed. Jack Copeland), pp. 47–51. Clarendon Press, Oxford.
Prior, A. N. and Fine, Kit (1977). Worlds, Times, and Selves. Duckworth, London.
Putnam, Hilary (1975a). Mathematics, Matter and Method. Cambridge University Press, Cambridge.
— (1975b). The meaning of meaning. In Gunderson (1975), pp. 131–93.
— (1975c). On properties. In Putnam (1975a), pp. 305–22.
— (1975d). What is mathematical truth? In Putnam (1975a), pp. 60–78.
— (1978). Meaning and the Moral Sciences. Routledge and Kegan Paul, Boston.
— (1980). Models and reality. Journal of Symbolic Logic, 45, 464–82.
— (1981). Reason, Truth and History. Cambridge University Press, Cambridge.
— (1987). Truth and convention: On Davidson’s refutation of conceptual relativism. Dialectica, 41,
41–67.
Quine, W. V. O. (1936). Truth by convention. In Philosophical Essays for A. N. Whitehead (ed. O. H.
Lee), pp. 90–124. Longmans, New York.
— (1948). On what there is. Review of Metaphysics, 2, 21–38.
— (1951a). Ontology and ideology. Philosophical Studies, 2, 11–15.
— (1951b). Two dogmas of empiricism. Philosophical Review, 60, 20–43.
— (1953). Notes on the theory of reference. In From a Logical Point of View, pp. 130–8. Harvard
University Press, Cambridge, MA.
— (1960a). Carnap and logical truth. Synthese, 12, 350–74.
— (1960b). Variables explained away. Proceedings of the American Philosophy Society, 104, 343–7.
— (1960c). Word and Object. MIT Press, Cambridge, MA.
Quine, W. V. O. (1966). The Ways of Paradox. Random House, New York.
— (1969). Natural kinds. In Ontological Relativity and other Essays, pp. 114–38. Columbia
University Press, New York.
— (1976a). On multiplying entities. In The Ways of Paradox, pp. 259–64. Random House, New
York. Revised and enlarged edition.
— (1976b). Worlds away. Journal of Philosophy, 73, 859–63.
Quinton, Anthony (1958). Properties and classes. Proceedings of the Aristotelian Society, 58, 33–58.
Railton, Peter (1986). Moral realism. Philosophical Review, 95, 163–207.
Rayo, Agustín and Uzquiano, Gabriel (1999). Toward a theory of second-order consequence. Notre
Dame Journal of Formal Logic, 40, 315–25.
Rayo, Agustín and Yablo, Stephen (2001). Nominalism through de-nominalization. Noûs, 35, 74–92.
Reichenbach, Hans (1958). The Philosophy of Space and Time. Dover, New York.
Restall, Greg (1996). Truthmakers, entailment and necessity. Australasian Journal of Philosophy, 74,
331–40.
Rosen, Gideon (1990). Modal fictionalism. Mind, 99, 327–54.
— (1994). Objectivity and modern idealism: What is the question? In Philosophy In Mind: The Place
of Philosophy in the Study of Mind (eds. Michaelis Michael and John O’Leary-Hawthorne), pp.
277–319. Kluwer, Dordrecht.
— (2010). Metaphysical dependence: Grounding and reduction. In Modality: Metaphysics, Logic,
and Epistemology (eds. Bob Hale and Aviv Hoffmann), pp. 109–36. Oxford University Press,
Oxford.
Routley, Richard (1980). Exploring Meinong’s Jungle and Beyond. An Investigation ofNoneism and
the Theory of Items. Philosophy Department Monographs, Research School of Social Sciences,
Australian National University, Canberra.
Russell, Bertrand (1903). The Principles of Mathematics. Routledge, London.
— (1915). On the experience of time. The Monist, 25, 212–33.
— (1919). Introduction to Mathematical Philosophy. Routledge, London.
Russell, Jeffrey Sanford (2010). The structure of gunk: Adventures in the ontology of space. In
Zimmerman (2010), pp. 248–74.
Sagan, Carl (1980). Cosmos. Random House, New York.
Savitt, Steven (2004). Presentism and eternalism in perspective. Available at http://philsci-
archive.pitt.edu/archive/00001788/01/PEP.pdf.
Schaffer, Jonathan (2007). From nihilism to monism. Australasian Journal of Philosophy, 85, 175–
91.
— (2009a). On what grounds what. In Chalmers et al. (2009), pp. 347–83.
— (2009b). Spacetime the one substance. Philosophical Studies, 145, 131–48.
— (2010a). The internal relatedness of all things. Mind, 119, 341–76.
— (2010b). The least discerning and most promiscuous truthmaker. Philosophical Quarterly, 60,
307–24.
— (2010c). Monism: The priority of the whole. Philosophical Review, 119, 31–76.
Schiffer, Stephen (2003). The Things We Mean. Clarendon Press, Oxford.
Schnieder, Benjamin (2011). A logic for ‘because’. Review of Symbolic Logic. Forthcoming.
Shalkowski, Scott (1994). The ontological ground of the alethic modality. Philosophical Review, 103,
669–88.
Sidelle, Alan (1989). Necessity, Essence and Individuation. Cornell University Press, Ithaca, NY.
— (2002). Is there a true metaphysics of material objects? Philosophical Issues, 12, 118–45.
— (2007). The method of verbal dispute. Philosophical Topics, 35, 83–114.
— (2009). Conventionalism and the contingency of conventions. Noûs, 43, 224–41.
— (2010). Modality and objects. Philosophical Quarterly, 60, 109–25.
Sider, Theodore (1993a). Naturalness, intrinsicality and duplication. Ph.D. thesis, University of
Massachusetts.
— (1993b). Van Inwagen and the possibility of gunk. Analysis, 53, 285–9.
— (1995). Sparseness, immanence and naturalness. Noûs, 29, 360–77.
— (1996a). All the world’s a stage. Australasian Journal of Philosophy, 74, 433–53.
— (1996b). Intrinsic properties. Philosophical Studies, 83, 1–27.
— (1996c). Naturalness and arbitrariness. Philosophical Studies, 81, 283–301.
— (2001a). Criteria of personal identity and the limits of conceptual analysis. Philosophical
Perspectives, 15, 189–209.
— (2001b). Four-Dimensionalism. Clarendon Press, Oxford.
— (2002). The ersatz pluriverse. Journal of Philosophy, 99, 279–315.
— (2003). Reductive theories of modality. In Loux and Zimmerman (2003), pp. 180–208.
— (2004). Précis of Four-Dimensionalism, and replies to critics. Philosophy and
PhenomenologicalResearch, 68, 642–7, 674–87.
— (2005). Another look at Armstrong’s combinatorialism. Noûs, 39, 679–95.
— (2006). Beyond the Humphrey objection. Available at
http://tedsider.org/papers/counterpart_theory.pdf.
— (2007a). Neo-Fregeanism and quantifier variance. Aristotelian Society, Supplementary Volume,
81, 201–32.
— (2007b). Parthood. Philosophical Review, 116, 51–91.
— (2008a). Monism and statespace structure. In Being: Developments in Contemporary Metaphysics
(ed. Robin Le Poidevin), pp. 129–50. Cambridge University Press, Cambridge.
— (2008b). Yet another paper on the supervenience argument against coincident entities. Philosophy
and Phenomenological Research, 77, 613–24.
— (2009). Ontological realism. In Chalmers et al. (2009), pp. 384–423.
— (2011). Against parthood. MS.
Sider, Theodore, Hawthorne, John, and Zimmerman, Dean W. (eds.) (2007). Contemporary Debates
in Metaphysics. Blackwell, Oxford.
Siegel, Susanna (2006). Which properties are represented in perception? In Perceptual Experience
(eds. Tamar Szabó Gendler and John Hawthorne), pp. 481–503. Oxford University Press,
Oxford.
Skow, Bradford (2010). Extrinsic temporal metrics. Oxford Studies in Metaphysics, 5, 179–202.
Smart, J. J. C. (1963). Philosophy and Scientific Realism. Routledge & Kegan Paul, London.
Soames, Scott (1992). Truth, meaning, and understanding. Philosophical Studies, 65, 17–35.
Sober, Elliot (1994). A Bayesian primer on the grue problem. In Grue! The New Riddle of Induction
(ed. Douglas Stalker), pp. 225–40. Open Court, Chicago.
Sorensen, Roy (2001). Vagueness and Contradiction. Clarendon Press, Oxford.
Sosa, Ernest (1999). Existential relativity. In Midwest Studies in Philosophy XXIII: New Directions in
Philosophy (eds. Peter French and Howard K. Wettstein), pp. 132–43. Blackwell, Oxford.
Sperber, Dan and Wilson, Deirdre (1986). Loose talk. Proceedings of the Aristotelian Society, 86,
153–71.
Stalnaker, Robert (1968). A theory of conditionals. In Studies in Logical Theory: American
Philosophical Quarterly Monograph Series, No. 2. Blackwell, Oxford.
— (1976). Possible worlds. Noûs, 10, 65–75.
— (1977). Complex predicates. The Monist, 60, 327–39.
Stanley, Jason (2000). Context and logical form. Linguistics and Philosophy, 23, 391–434.
Strawson, Peter F. (1952). Introduction to Logical Theory. Methuen, London.
— (1959). Individuals: An Essay in Descriptive Metaphysics. Routledge, London.
Street, Sharon (2006). A Darwinian dilemma for realist theories of value. Philosophical Studies, 127,
109–66.
Strevens, Michael (2006). Scientific explanation. In Encyclopedia of Philosophy. Macmillan
Reference USA.
Tappenden, Jamie (1993). Analytic truth—it’s worse (or perhaps better) than you thought.
Philosophical Topics, 21, 233–61.
Tarski, Alfred (1959). What is elementary geometry? In The Axiomatic Method, with Special
Reference to Geometry and Physics (eds. Leon Henkin, Patrick Suppes, and Alfred Tarski), pp.
16–29. North-Holland, Amsterdam.
Tarski, Alfred and Givant, Steven (1999). Tarski’s system of geometry. Bulletin of Symbolic Logic, 5,
175–214.
Thomasson, Amie L. (2003). Fictional characters and literary practices. British Journal of Aesthetics,
43, 138–57.
— (2005). The ontology of art and knowledge in aesthetics. The Journal of Aesthetics and Art
Criticism, 63, 221–9.
— (2006). Debates about the ontology of art: What are we doing here? Philosophy Compass, 1, 245–
55.
— (2007). Ordinary Objects. Oxford University Press, New York.
— (2009). Answerable and unanswerable questions. In Chalmers et al. (2009), pp. 444–71.
Tooley, Michael (1987). Causation: A Realist Approach. Clarendon Press, Oxford.
Turner, Jason (2008). Ontology, quantification, and fundamentality. Ph.D. thesis, Rutgers University.
— (2010a). Ontological nihilism. In Oxford Studies in Metaphysics (eds. Karen Bennett and Dean W.
Zimmerman), volume 6, pp. 3–54. Oxford University Press, Oxford.
— (2010b). Ontological pluralism. Journal of Philosophy, 107, 5–34.
Unger, Peter (1979). I do not exist. In Perception and Identity: Essays Presented to A. J. Ayer with
His Replies to Them (ed. G. F. Macdonald), pp. 235–51. Macmillan, New York.
van Fraassen, Bas (1989). Laws and Symmetry. Clarendon Press, Oxford.
van Inwagen, Peter (1990). Material Beings. Cornell University Press, Ithaca, NY.
— (1998). Modal epistemology. Philosophical Studies, 92, 67–84.
— (2010). Changing the past. In Zimmerman (2010), pp. 3–28.
von Fintel, Kai (2001). Counterfactuals in a dynamic context. In Ken Hale: A Life in Language, pp.
123–52. MIT Press, Cambridge, MA.
Wasserman, Ryan (2005). The problem of change. Ph.D. thesis, Rutgers University.
Weatherson, Brian (2003). What good are counterexamples? Philosophical Studies, 115, 1–31.
Williams, Donald C. (1951). The myth of passage. Journal of Philosophy, 48, 457–72.
Williams, J. Robert G. (2005). The inscrutability of reference. Ph.D. thesis, University of St
Andrews.
— (2007). Eligibility and inscrutability. Philosophical Review, 116, 361–99.
Williamson, Timothy (1985). Converse relations. Philosophical Review, 94, 249–62.
— (1988). Equivocation and existence. Proceedings of the Aristotelian Society, 88, 109–27.
— (1994). Vagueness. Routledge, London.
— (1998). Bare possibilia. Erkenntnis, 48, 257–73.
— (2002). Necessary existents. In Logic, Thought and Language (ed. A. O’Hear), pp. 233–51.
Cambridge University Press, Cambridge.
— (2003). Everything. Philosophical Perspectives, 17, 415–65.
— (2007). The Philosophy of Philosophy. Blackwell, Malden, MA.
Wilson, Deirdre and Sperber, Dan (2004). Relevance theory. In Handbook of Pragmatics (eds.
Laurence R. Horn and Gregory Ward), pp. 607–32. Blackwell, Malden, MA.
Wittgenstein, Ludwig (1958). Philosophical Investigations. Blackwell & Mott, Oxford, 3rd edition.
Translated by G. E. M. Anscombe.
Wright, Crispin (1983). Frege’s Conception of Numbers as Objects. Aberdeen University Press,
Aberdeen.
— (1992). Truth and Objectivity. Harvard University Press, Cambridge, MA.
Yablo, Stephen (1992). Review of Alan Sidelle, Necessity, Essence and Individuation. Philosophical
Review, 101, 878–81.
— (1998). Does ontology rest on a mistake? Aristotelian Society, Supplementary Volume, 72, 229–
61.
— (2000). A paradox of existence. In Everett and Hofweber (2000), pp. 275–312.
— (2001). Go figure: A path through fictionalism. In Midwest Studies in Philosophy XXV: Figurative
Language (eds. Peter French and Howard K. Wettstein), pp. 72–102. Blackwell, Oxford.
Zimmerman, Dean W. (1998). Temporary intrinsics and presentism. In Metaphysics: The Big
Questions (eds. Dean W. Zimmerman and Peter van Inwagen), pp. 206–19. Blackwell,
Cambridge, MA.
— (2005). The A-theory of time, the B-theory of time, and ‘taking tense seriously’. Dialectica, 59,
401–57.
Zimmerman, Dean W. (ed.) (2006). Oxford Studies in Metaphysics. Oxford University Press, Oxford.
— (2007). Oxford Studies in Metaphysics, volume 3. Oxford University Press, Oxford.
— (2010). Oxford Studies in Metaphysics, volume 5. Oxford University Press, Oxford.
Index
A-theory, see passage (time)
abstract entities, 85–6, 90–1
aesthetics, 57–60, 62
alien meanings, 50, 70, 71
analyticity, 191–5
and substantivity, 193–4
and truth, 192–3
Ayer’s conception of, 98
defined, 193
epistemology of, 194–5
Quine’s critique, 191–2
eligibility, 31
entity-grounding, see ground, Schaffer’s approach
entrenching, 159–61, 163
epistemic value, 61–6
objectivity of, 38, 53
essence, 267
excluded middle, 227–8, 234
explanation, 23, 28, 30, 64, 131
ultimate, 159–60, 163
expressivism, 45, 57, 113–14, 125–6
extended simples, 79–82
K3, 233–8
knee-jerk realism, 18–20
objecthood, 205–6
objectivity, 60–1, 65–6, 72
Ontologese, 171–3, 197
ontological commitment, 166–7, 169–70, 201–3, 209, 211–12
ontological deflationism, 7, 81, 167–8, 173–201
ontological free lunch (Armstrong), 198–9
ontological nihilism, 199
ontological pluralism, 207
ontological realism, 88–90, 95–6, 168–73, 188, 199–201
and presentism, 242–4
ontological semi-realism, 149–50
ontologism, see structure, ontic approach to
ontology, 79, 166–215
easy, 189–91, 195–9
quantification
carves at the joints, see ontological realism
higher-order, 208–15, 229
metaphorical, 197
nonfundamental, 120–1, 127, 171–2, 196–8, 293–4
temporally relative, 243–4
quantifier variance, 89, 151, 175–88, 201
quantity, 218, 240, 279–80
saturation, 249–57
schmexists, vii, 89, 148
semantic candidates, see candidates
semantic goals, 50–7
semantic pressure, 75, 76
semantics is nonfundamental, 90–1, 235
semantics versus pragmatics, 77–8
similarity, 1, 63, 87–90
of facts, 88–90
simple charity-based descriptivism, 31–3, 74
simplicity, 10–14, 86, 141, 154–6, 169, 201, 209–10, 214–15
and laws of nature, 22
skepticism about the present moment, 261–2
smuggling, 157–9, 161, see also “the proposition (fact, state of affairs) that”
space, 79
spacetime structure, see physical geometry
sparse entities, see structure, ontic approach to
spatializing (time), 239–40, 265, 292
special sciences, 14, 28, 48, 129
laws, 22
states of affairs, 153, 163–4
structural truth, 147, see also fundamental truth (fundamental fact)
structure
absolute versus comparative, see structure, degrees of
and fundamentality, 5–6
argument for positing, 10–11, 132
degrees of, 5, 28, 78, 128–33, 136
determinate, 137, 235
epistemology of, 11–15
generality of, 8, 85–7, 216
introduced, 1–2
is explanatory, 132, 139–41
is structural, 132, 137–41
not a feature of abstract or linguistic entities, 90–2
not reducible, 15–18
objectivity of, 18–20, 38, 65–6
of grammatical categories, 203, 253–7
ontic approach to, 94–6
querying complex expressions, 92–4
regimentation, 91–4, 141, 256
subpropositional, 128, 147–53, 203, 220
understanding of, 9–10
stuff, 183–4
subjectivity, 57–60, 65
substantivity, 6–7, 65, 70, 77–9, 86–7
characterized, 44–54
dimensions of, 38, 52
is metalinguistic, 47, 51
joint-carving sufficient but not necessary for, 46, 48, 71
metaphysical versus conceptual, 50, 73–4
subtleties, 47–54
supersubstantivalism, 292
synthetic necessities, 275–7
tense operators, 154, 240–2
metrical, 240
“the proposition (fact, state of affairs) that”, 86, 111, 157–9
theoretical terms, 32–3, 48, 74
tonk, 102–3, 195
totality facts, 158
Tractarian ontological realism, 203–6
trumping (reference magnetism), 32
truth by convention, 97–104, 191, 194, 268–70, 276
truth supervenes on being, 155–6
truthmaker free-for-all, 160–1
truthmaking, 105, 153–61
understanding, 9–10
universals, 4, 85–6, 94, 96, 157
Ural mountains (Hawthorne example), 32, 48
use, see charity to use
vagueness, 234–8
worldly, 137
verbal questions, see substantivity