An Introduction To Metametaphysics
An Introduction To Metametaphysics
An Introduction To Metametaphysics
T U O M A S E . TA H K O
University of Helsinki
University Printing House, Cambridge CB2 8BS, United Kingdom
www.cambridge.org
Information on this title: www.cambridge.org/9781107434295
A catalogue record for this publication is available from the British Library
Preface page ix
v
vi Contents
Glossary 236
Bibliography 243
Index 255
Preface
ix
newgenprepdf
x Preface
contrast, if you consider metaphysics the heart of philosophy and can’t get
enough of it, if you enjoy comparing different theories and judging their
relative merits, then – you guessed it – you too have opened the right book.
The author of this book is a metaphysician working in the tradition that
is usually called analytic metaphysics. The analytic vs. continental distinc-
tion is not – the author feels – particularly helpful, but for want of a more
descriptive account, it should be made clear that this book is focused on
the analytic tradition. The author of this book also has a particular meta-
metaphysical attitude. This attitude is a type of ontological realism, which
we will look into in detail later in this book. But as a reader, you should be
aware that the author is biased in favour of certain types of realist meta-
physics and towards the view that metaphysics does have both intrinsic
value and an impact throughout philosophy and the sciences. This is not
an uncommon attitude amongst metaphysicians, but it certainly requires
justification. However, this is not a research monograph defending a par-
ticular position, so space will be given to various positions. Metaphysicians
are a defensive lot; they hold their metaphysical views dear and their meta-
metaphysical views perhaps even dearer, despite the fact that they don’t
always explicitly express the latter. So you will notice that the present
author sometimes takes a defensive attitude. Accordingly, this introduc-
tion to metametaphysics is ‘opinionated’ – someone with a more dismis-
sive attitude towards metaphysics would no doubt write a very different
account. In any case, since it is still much too early to talk about a fully
established set of metametaphysical views, despite certain clear patterns,
anyone writing a book on metametaphysics has to make some difficult
choices on how to lay out the various positions and indeed even what to call
them. Similarly, the precise area that a book on metametaphysics – intro-
ductory or otherwise – should cover is certainly open to debate. This book,
if anything, errs on the side of covering too much, since at times the reader
may feel that the discussion has turned to first-order metaphysics instead
of the promised meta-analysis of metaphysics. This is largely because it is
very difficult, impossible even, to discuss the various metametaphysical
issues without resorting to a battery of examples of first-order metaphys-
ical debates.
The reader will soon notice that there are two themes not obviously
included under metametaphysics, but discussed extensively throughout
this book. They are epistemology and (philosophy of) science. Although it
1.1 Metametaphysics or metaontology? 3
1
Peter van Inwagen, ‘Metaontology,’ Erkenntnis 48 (1998), pp. 233–250.
2
The terminology has Husserlian origins, see Barry Smith and Kevin Mulligan,
‘Framework for Formal Ontology,’ Topoi 3 (1983), pp. 73–85.
1.1 Metametaphysics or metaontology? 5
3
E. J. Lowe, The Four-Category Ontology: A Metaphysical Foundation for Natural Science
(Oxford: Clarendon Press, 2006).
4
D. Chalmers, D. Manley, and R. Wasserman (eds.), Metametaphysics (Oxford University
Press, 2009).
6 Why should you care about metametaphysics?
This chapter continues to discuss existence questions, but the focus shifts
towards quantification: the status and meaning of the existential quantifier,
including its history and name, are discussed. In particular, the question of
the Quinean criterion of ontological commitment, according to which we
are ontologically committed to those entities that we quantify over, is criti-
cally examined, also with reference to its modern counterparts. Moreover,
the possibility of so-called ‘quantifier variance’ is discussed, as defended
by Eli Hirsch and opposed by Ted Sider, among others. Quantifier variance
is the thesis that there is no single (best) quantifier meaning. The thesis is
closely related to Hirsch’s view that ontological debates concerning physi-
cal objects are ‘merely verbal’. Finally, Kit Fine’s alternative metaontologi-
cal position, which attempts to undermine the importance of existence
questions, is discussed.
1.3 Chapter outlines 9
This chapter concerns the view that reality comes with a hierarchical struc-
ture of ‘levels’. This type of view has a long history and it remains very
popular. Our everyday experiences as well as scientific practice seem to
strongly support such a view, since scale is a major factor in both of them.
Usually, the reference to scale becomes apparent when talking about parts
and wholes – which are studied in mereology: we talk about subatomic
10 Why should you care about metametaphysics?
prove useful to the reader of this book. The material is divided between
introductory and more advanced material. Here the focus is exclusively
on books, but the reader is encouraged to browse the final bibliography
for further material.
Introductory material
1
Readers interested in a more historically oriented account may refer to Matti Eklund,
‘Carnap’s Metaontology,’ Noûs 47.2 (2013), pp. 229–249. As Eklund makes clear, the
typical narrative of the Quine–Carnap debate is highly controversial. But to simplify
matters, we will focus on the way that the debate has been presented in much of con-
temporary literature.
2
We use the notion of ‘language pluralism,’ following Eklund’s ‘Carnap’s Metaontology,’
for what is sometimes called ‘ontological pluralism’; compare with Matti Eklund,
‘Carnap and Ontological Pluralism,’ in D. Chalmers, D. Manley, and R. Wasserman
(eds.), Metametaphysics (Oxford University Press, 2009), pp. 130–156. This is to distin-
guish Carnap’s view from a different view which is, somewhat confusingly, also some-
times called ‘ontological pluralism’. This more recent usage of the term refers to the
idea according to which there are many ‘ways of being’. We will return to this issue (in
passing) in Chapter 6. See also Kris McDaniel, ‘Ways of Being,’ in Chalmers, Manley, and
Wasserman (eds.), Metametaphysics, pp. 290–319.
13
14 Quine vs. Carnap: on what there is and what there isn’t
3
For a prominent example, see Eli Hirsch, ‘Physical-Object Ontology, Verbal Disputes,
and Common Sense,’ Philosophy and Phenomenological Research 70 (2005), pp. 67–97. Note
however that Hirsch limits his discussion to composite physical objects.
4
W. V. Quine, ‘On What There Is,’ The Review of Metaphysics 2 (1948), pp. 21–38; reprinted
in his From a Logical Point of View (Cambridge, MA: Harvard University Press, 1980),
pp. 1–19.
5
Again, see Eklund, ‘Carnap’s Metaontology.’
6
Chalmers, Manley, and Wasserman (eds.), Metametaphysics.
2.1 On what there is 15
information before we engage with the topic in more detail. That back-
ground will be provided in this chapter, but we will also get to engage with
some of the more controversial aspects of the Quine–Carnap debate, includ-
ing the contemporary incarnations of their respective views. This chapter
starts with a brief recap of the role of Quine’s famous article in the first
section and continues with a discussion of one of its central themes, the
problem of ‘Plato’s beard’, in the second section. After that, in the third sec-
tion, we make a small detour and consider the views of Alexius Meinong,
whose import on the metaontology debate is often ignored. We will see that
Meinong’s work is very much relevant both for the Quine–Carnap debate
and for a number of contemporary views. In the fourth section we will intro-
duce Carnap’s distinction between e xternal and internal questions, which also
survives, in one form or another, in many contemporary views. From this,
(neo-)Carnapian language pluralism emerges, to be discussed in the fifth
section.
If ontology is the study of what exists, then it would seem that the answer
to the ontological question is not very difficult: everything exists. This
is the rather anticlimactic starting point of Quine’s ‘On What There Is’.
It might appear that this answer is immediately unsatisfactory. For one
thing, what are we to say of Sherlock Holmes and other such entities that,
on the face of it, do not exist, but nevertheless appear to be something?
This is a topic which we will pick up below, but before that we ought to
spend a moment discussing the underlying motivation of Quine’s ques-
tion. In particular, is it really the purpose of ontology simply to list all the
things that there are? Surely not: for instance, we are also interested in the
relationships between existing things. Yet, it would not be fair to Quine to
reduce his position to the over-quoted opening of his article. The import-
ant metaontological aspect of the Quinean position is the thesis that being
is the same as existence, that is, there are no things that do not exist. Peter
van Inwagen, who is a card-carrying Quinean, summarizes the thesis as
follows:
example will be either, “That does too exist”, or “There is no such thing as
that”.7
(1) Take your best scientific theory and assume that what this theory says
is true.
(2) Translate the sentences of your theory into a formal language, typically
first-order predicate logic.
(3) The domain of (existential) quantification in your translated theory will
give you the ontological commitments of that theory.
7
Peter van Inwagen, ‘Meta-ontology,’ Erkenntnis 48 (1998), p. 235.
2.1 On what there is 17
Note the mention of scientific theories here; for Quine, the central task of
philosophy is to assess and assist scientific theory choice – to determine the
ontological commitments of scientific theories. Of course, this three-step
formula is certainly not the whole of Quine’s import on the topic, but
merely a rough simplification.
While we are on the topic of Quine’s ‘On What There Is’, a further issue
to bring into attention is that in the famous article in question, Quine was
perhaps more interested in defending his version of nominalism rather
than a particular methodological or metaontological point. Quine wanted
to show that when we say that there are red houses, red roses, and red
sunsets, we do not need to commit to the existence of any universal redness,
which all of these red things exemplify. This is simple to show by follow-
ing the method described above: when we translate ‘Socrates is mortal’
into a formal language, we get ‘∃x M(x)’, where ‘M’ stands for the predi-
cate ‘mortal’ and the value of variable ‘x’ is ‘Socrates’. Here the domain of
the existential quantifier includes Socrates, which we are quantifying over
(in this formula, ‘Socrates’ is a bound variable). But we are not quantifying
over ‘mortal’ – to express a commitment to the universal ‘mortality’ we
would have to resort to second-order logic.8 Now, Quine himself wishes to
strongly resist this type of quantification over predicates, where the predi-
cate is understood as ranging over things such as properties or universals.
As we will see, Quine strives to keep his ontology as sparse as possible,
which means that quantification over such suspicious entities as univer-
sals, for instance, is to be avoided at all costs. Moreover, Quine has inde-
pendent reasons to avoid ascending to second-order logic – he famously
considered second-order logic to be set theory in disguise, or somewhat
more poetically, ‘set theory in sheep’s clothing’.9 What Quine meant by
this is that second-order logic is not logic, properly speaking, but rather a
branch of mathematics (namely a part of set theory). On Quine’s under-
standing, first- and second-order quantification turn out to have very dif-
ferent statuses. The first quantifies over objects, the existence of which is
8
For more on second-order logic, and to see how this could be done, see Herbert B.
Enderton, ‘Second-order and Higher-order Logic,’ in E. N. Zalta (ed.), The Stanford
Encyclopedia of Philosophy (Fall 2012 edn); see http://plato.stanford.edu/archives/fall2012/
entries/logic-higher-order/.
9
W. V. Quine, Philosophy of Logic, 2nd ed. (Cambridge, MA: Harvard University Press,
1986), Ch. 5.
18 Quine vs. Carnap: on what there is and what there isn’t
not in any doubt. But the second purports to be much more powerful, as it
quantifies over the realm of universals, properties, concepts … The exist-
ence of these more abstract things can, however, be doubted, and Quine
himself was particularly doubtful about them. It should be added though that
Quine’s reason to resist quantification over abstract entities derives from his
view regarding the role of quantification itself, namely that quantification is
intimately linked to ontological commitment. More precisely, the quantified
sentences of a theory express the ontological commitments of the theory.
We have arrived at the heart of one of Quine’s most famous slogans: ‘To
be assumed as an entity is, purely and simply, to be reckoned as the value
of a [bound] variable’.10 This is, in sum, what Quine considers to constitute
ontological commitment. We will assess the Quinean criterion of ontological
commitment primarily in the next chapter; let us now turn to the problem
of nonbeing, which continues to enjoy a central role in the metaontology
debate.11
Nonbeing must in some sense be, otherwise what is it that there is not? This
tangled doctrine might be nicknamed Plato’s beard; historically it has proved
tough, frequently dulling the edge of Occam’s razor.12
The historical origin of this puzzle is Plato’s Sophist, where the views of
Parmenides are discussed. It is proposed that to say something or to think
something is to speak or think of something. The idea is that when Plato
thinks or says that Pegasus does not exist, he must be thinking of Pegasus.
Hence, there exists something that Plato is thinking of, namely Pegasus! The
upshot, aptly summarized by Christie Thomas, is that ‘The problem of non-
being has the perplexing consequence that negative existence claims quite
10
Quine, ‘On What There Is,’ p. 13.
11
For further discussion on ontological commitment and Quine’s criterion, see also
Philip Bricker, ‘Ontological Commitment,’ in E. N. Zalta (ed.), The Stanford Encyclopedia
of Philosophy (Winter 2014 edn); see http://plato.stanford.edu/archives/win2014/entries/
ontological-commitment/.
12
Quine, ‘On What There Is,’ p. 2.
2.2 Plato’s beard 19
generally seem to require the being of the very objects they deny’.13 Occam’s
razor is supposed to lead us towards a sparser ontology by denying the exist-
ence of unwanted entities, but the doctrine seems to be in trouble if that very
denial commits us to the existence of those unwanted entities. The sparse
ontology that Quine prefers is appropriately illustrated with his metaphor of
a ‘desert landscape’. The idea is exactly that of Occam’s razor, namely that we
should avoid making ontological commitments beyond those that are neces-
sary. For Quine, the desire for desert landscapes is closely connected with
the project of avoiding the apparent ontological commitments of ordinary
language by paraphrasing – expressing the problematic sentence in an onto-
logically non-committing manner, where appropriate.
Quine’s proposed solution to the riddle of nonbeing relies on a para-
phrasing strategy familiar from Bertrand Russell’s theory of descriptions.
Quine wants to steer well clear of the numerous alternative solutions that
he discusses, such as unactualized possibilities and impossible entities –
these would lead us towards a more bloated ontology instead of the
desertified one that he prefers. By employing Russell’s theory, Quine can
paraphrase problematic statements in such a way that no commitment to
non-existing things is required. For instance, the statement ‘The present
King of France is bald’. can be paraphrased as ‘Something is the King of
France and is bald, and nothing else is the King of France’. This solution
relies on Russell’s theory of definite descriptions. Here the definite description
is ‘The present King of France’, but note that this description works quite
differently from a proper name such as ‘Socrates’ in the sentence ‘Socrates
is bald’. The resulting logical forms for these sentences are thus also differ-
ent, which enabled Russell to solve various puzzles.14 Quine believed that
here we also have the tools to solve the Platonic riddle of nonbeing. On
Quine’s view names, descriptions or even predicates do not entail onto-
logical commitment; only quantifying over something does. So if you can
paraphrase away the quantification over non-desirables like unicorns or,
in Quine’s case, universals, then your theory can be maintained without
13
Christie Thomas, ‘Speaking of Something: Plato’s Sophist and Plato’s Beard,’ Canadian
Journal of Philosophy 38.4 (2008), p. 633. Thomas goes on to provide a historically
detailed analysis of this case, arguing that Plato himself need not be committed to
the existence of things like Pegasus, and hence: ‘Plato’s beard is not quite as tough on
Ockham’s razor as Quine and others have led us to believe,’ p. 667.
14
See Bertrand Russell, ‘On Denoting,’ Mind 14 (1905), pp. 479–493.
20 Quine vs. Carnap: on what there is and what there isn’t
15
Quine, ‘On What There Is,’ p. 3.
2.3 Enter Meinong 21
principle of independence, which states, roughly, that an entity may have any
properties whatsoever, independently of its existence. According to this
principle, non-existent objects can have all the properties that we ascribe
to them: we can (truly) say that non-existent golden mountains are made of
gold and that round squares are round. For Quineans everything exists, for
Meinongians not everything exists.
Meinong himself probably considered existence itself to be ‘said in
many ways’, that is, to be equivocal rather than univocal, but many later
Meinongians would agree with Quineans about there being just one sense
of existence. So there are several different aspects to the debate between
Quine and Meinong on the one hand and contemporary Quineans and
Meinongians on the other. Similarly, where Quine rejects the distinction
between ‘there is’ and ‘exists’, Meinong himself might endorse this dis-
tinction and make use of it in addressing the problem of nonbeing, but
not all contemporary Meinongians would do so. For instance, Graham
Priest, whose views we’ll discuss in more detail below, would be closer to
Quine on this particular point even though his view can be called a type
of Meinongianism.16 Accordingly, we should keep in mind that Meinong’s
original position, which is partly open to interpretation, may be different
from the position of some contemporary philosophers who have adopted
the label ‘Meinongian’. The same is no doubt true of Quine and ‘Quinean’.
But the core of the debate between these various versions of Quineanism
and Meinongianism is the disagreement about the status of existence as a
property that can be distinguished from the object itself – this is an issue
where Priest would be squarely in the Meinongian camp.
Leaving the historical details aside, we may distinguish between vari-
ous further positions regarding existence and quantification among con-
temporary Meinongians. For instance, some would consider existence to
be univocal, with Quine, but some would deny this. Some would distin-
guish between different senses of ‘being’ for existents and non-existents,
whereas some would deny this distinction and insist that non-existents
have no being whatsoever. Let’s borrow a passage from David Lewis to fur-
ther illustrate the various options that now emerge; here is Lewis on ‘con-
troversial entities’ that some would consider to exist and some would not:
16
Graham Priest, Towards Non-Being: The Logic and Metaphysics of Intentionality (Oxford
University Press, 2005).
22 Quine vs. Carnap: on what there is and what there isn’t
These controversial entities include past and future things, the dead who
have ceased to be and those who are not yet even conceived; unactualized
possibilia; universals, numbers, and classes; and Meinongian objects,
incomplete or inconsistent or both. An expansive friend of the entities
who says that all these entities exist may be called an allist. A tough
desert-dweller who says that none of them exist may be called a noneist.17
17
David Lewis, ‘Noneism or Allism?’, Mind 99.393 (1990), p. 23.
18
Richard Woodward, ‘Towards Being,’ Philosophy and Phenomenological Research 86.1
(2013), p. 183. See also Tatjana von Solodkoff and Richard Woodward, ‘Noneism,
Ontology, and Fundamentality,’ Philosophy and Phenomenological Research 87.3 (2013), pp.
558–583.
2.3 Enter Meinong 23
19
See Richard Routley, ‘On What There Is Not,’ Philosophy and Phenomenological Research 43
(1982), pp. 151–578 and Priest, Towards Non-Being. See also David Lewis’s commentary
on Routley in Lewis, ‘Noneism or Allism?’
20
Tim Crane, The Objects of Thought (Oxford University Press, 2013), p. 24.
21
For discussion, see for instance Daniel Nolan, ‘Impossible Worlds: A Modest Approach,’
Notre Dame Journal of Formal Logic 38.4 (1997), pp. 535–572.
24 Quine vs. Carnap: on what there is and what there isn’t
22
For a survey of the current debate, see Maria Reicher, ‘Nonexistent Objects,’ in E. N.
Zalta (ed.), The Stanford Encyclopedia of Philosophy (Summer 2014 edn); see http://plato.
stanford.edu/archives/sum2014/entries/nonexistent-objects/.
23
See for instance, Francesco Berto, ‘Modal Meinongianism and Fiction: The Best of Three
Worlds,’ Philosophical Studies 152 (2011), pp. 313–334, and Terence Parsons, Nonexistent
Objects (New Haven, CO: Yale University Press, 1980), as well as the already cited work
by Routley and Priest.
24
Priest, Towards Non-Being, p. 86.
2.3 Enter Meinong 25
25
See Reicher, ‘Nonexistent Objects.’
26
Crane, The Objects of Thought, p. 60
26 Quine vs. Carnap: on what there is and what there isn’t
(S) Some characters in the Bible existed and some did not.27
27
Ibid., p. 30. For a classic discussion relating to this example, see Saul Kripke, Reference
and Existence (Oxford University Press, 2013).
28
Ibid., p. 37.
2.4 External and internal questions 27
Quine’s ‘On What There Is’ was partly aimed at Carnap, since Quine was
suspicious of Carnap’s commitment to properties, propositions, and mean-
ings. For Carnap, these are as unproblematic as numbers: there is nothing
wrong in our commitment to such entities. Carnap’s position relies on his
distinction between internal and external questions:
29
Ibid., p. 46 ff. For an in-depth discussion of quantifiers such as ‘some,’ see also Hanoch
Ben-Yami, Logic and Natural Language (Surrey: Ashgate, 2004).
30
Rudolf Carnap, ‘Empiricism, Semantics, and Ontology.’ Reveue Internationale de
Philosophie 4 (1950); reprinted in his Meaning and Necessity: A Study in Semantics and Modal
Logic (University of Chicago Press, 1956), p. 206.
28 Quine vs. Carnap: on what there is and what there isn’t
31
Ibid., p. 214.
32
For further discussion on ‘framework,’ see Eklund, ‘Carnap’s Metaontology,’ pp. 231 ff.
2.4 External and internal questions 29
Eklund’s view is that Carnap is not a relativist in this sense, but merely a
language pluralist, which is the view that emerges from the interpretation of
frameworks as linguistic systems or language-fragments. We’ll return to a
contemporary discussion of language pluralism in the fifth section.
Leaving Carnap exegesis aside, the internal/external distinction is not
just of historical relevance. The distinction has been applied and adapted
33
For discussion, see Eklund, ‘Carnap and Ontological Pluralism,’ p. 132.
34
Eklund, ‘Carnap’s Metaontology,’ p. 233.
30 Quine vs. Carnap: on what there is and what there isn’t
35
See for instance Thomas Hofweber, ‘Ambitious, Yet Modest, Metaphysics,’ in Chalmers,
Manley, and Wasserman (eds.), Metametaphysics, pp. 260–289.
2.4 External and internal questions 31
whether they are in the domain of the quantifier or not. Hofweber illus-
trates the distinction further with statements such as ‘Someone kicked
me’, where the reading of the quantifier is clearly external – there is a
specific someone who kicked me and it doesn’t necessarily even matter if
I don’t know who it is. But consider: ‘There is someone we both admire,’
but I have forgotten who it is that we both admire. In this case the idea
is that the quantifier will not range over the whole world, even though it
could be anyone that we both admire. Why is that not enough? Well, if it
happens to be, say, Sherlock Holmes that we both admire, then it appears
that the quantifier would range over something that is not included in
the world at all. So while communicating under partial ignorance about
who it is that we both admire, the quantifier cannot be understood in the
external sense.
Hofweber goes on to apply the internal/external distinction to
the familiar question: ‘Are there numbers?’ On the internal reading,
the answer turns out to be a trivial ‘yes’. But Hofweber is not an advo-
cate of the trivialization of metaphysics. Indeed, he suggests that on the
external reading the question is not trivial, and furthermore, he thinks
that mathematics does not provide an answer to the external reading.
Accordingly, perhaps it is the external reading of existence questions that
metaphysics is concerned with: they are not (entirely) trivial and the spe-
cial sciences do not answer them. On the face of it, this of course con-
trasts with Carnap’s view – Hofweber, after all, considers himself to be
defending the possibility of metaphysics, albeit in a ‘modest’ sense. But
since we have seen that it is rather difficult to pin down Carnap’s view, it
is an open question how much of this is truly in contrast with Carnap. For
Hofweber, the external and internal readings have the same status, but
his account does agree with Carnap’s to the extent that internal readings
of quantified statements are very often trivial. Indeed, when it comes to
the question ‘Are there numbers?’ Hofweber considers the question to be
trivial on the internal reading, but that’s not what metaphysicians are
usually thought to be after when they ask this question. Carnap’s judge-
ment about this is that the metaphysician asks a meaningless question,
but Hofweber has a little more to say. In particular, he considers number
words to be non-referential. Hofweber posits that number-talk does not
even aim to refer. If this is correct, then there is nothing in the world that
numerals pick out and hence no such things as ‘numbers’:
32 Quine vs. Carnap: on what there is and what there isn’t
Number words, just like any other words, can be used by particular
speakers with the intention to refer, and these speakers can succeed in
referring to something. I can use ‘two’ to refer to my biggest tomato plant,
and succeed. But I can’t use it or any other word to refer to the number
two (as this phrase is commonly used).36
More generally, Hofweber concludes that all that is left for metaphys-
ics to do is to determine whether, in regard to a given existence question,
internalism or externalism is true. If internalism is true, then there are
no entities of the type in question. If externalism is true, then metaphys-
ics has nothing to do with the answer. According to this view, the role of
metaphysics is modest indeed, even if it is supposed to be more ambitious
than according to Carnap.37
Admittedly, Hofweber’s use of the internal/external distinction has only
a remote connection to Carnap’s, but the distinction has been taken up
by many others as well. For instance, David Chalmers adapts the distinc-
tion and develops a new, related distinction: ordinary existence assertions
vs. ontological existence assertions.38 The former, as the name suggests,
are ordinary assertions such as ‘There are three chairs in this room’. The
latter are typical philosophical assertions, such as ‘There is a universal
“redness” shared by this red chair and that red table’. Chalmers illustrates
the distinction with the idea of an ‘ontology room’ – a special place where
it is acceptable to make ontological existence assertions and possible to
have debates about matters ontological. Outside the ontology room, only
ordinary existence assertions can be properly evaluated. The ontology
room has become a standard tool in metametaphysics, although it may
have only a loose connection to Carnap’s original view. In any case, we
ought to look into this tool in some more detail, since we will encounter it
later on as well.
Before Chalmers, Cian Dorr proposed that the questions of ontology
could be conceived as being discussed in the special language of ontol-
ogy, call it Ontologese, which is more suitable for ontological debates than
36
Hofweber, ‘Ambitious, Yet Modest, Metaphysics,’ p. 268.
37
For further discussion, see T. E. Tahko, ‘In Defence of Aristotelian Metaphysics,’ in
T. E. Tahko (ed.), Contemporary Aristotelian metaphysics (Cambridge University Press,
2012), pp. 26–43.
38
See David Chalmers, ‘Ontological Anti-Realism’ (p. 81), in Chalmers, Manley, and
Wasserman (Eds.), Metametaphysics, pp. 77–129.
2.4 External and internal questions 33
ordinary English.39 The scenario that Dorr entertains is that of several (iso-
lated) language communities, each one of them speaking English, but dif-
fering in one crucial respect. Let us focus on just two of these communities,
the universalists and the nihilists. These labels reflect the attitude of each
community regarding the ‘Special Composition Question’ – something of a
default test case in the metametaphysics literature.40
universalists and the nihilists make in their respective languages hold true
in that language. Dorr calls this type of view ‘conciliatory’, because we can
conciliate the debate between the communities simply by translating their
respective claims about composition. How exactly this could be done is of
course another question, and one which Dorr has attempted to answer.
Others, such as Ted Sider, would disagree with the Carnapians about the
possibility of such a translation.42 We need not go into all the details of the
possible translation scheme here, but there is one aspect that we will have
to consider in some detail later, namely the possible variation of the mean-
ing of quantifiers between languages.43
Before we move on, let us use this debate to further illustrate the idea
of the ontology room. To understand this tool in the present context, we
might think that it is us, as metaphysicians, who constitute one language
community, and ‘folk’ – the woman and man of the street – who consti-
tute another language community. In fact, the previous example, SCQ, is
something that ‘folk’ may not have a very strong opinion about. In the
‘folk language’, both universalism and nihilism seem to make rather
strange claims. Folk will likely think that a number of objects compose
a further object whenever they seem to do so. There are tables and chairs,
cars and houses. It would seem utterly silly to deny that these composite
objects exist. Similarly, ‘objects’ like the combination of your nose and
the Eiffel Tower seem blatantly not to exist. But many metaphysicians take
these types of debates quite seriously. So we may ask: is the disagreement
between ordinary folk and metaphysicians a substantial one? Here is the
charitable reading that Dorr proposes:
What we debate in the ontology room is the question what there is strictly
speaking – what there really, ultimately is – what there is in the most fundamental
sense. Of all the many meanings a quantifier like ‘something’ might
have, one is special. This is the one in terms of which all the rest are to be
analysed; it is the one such that to find out what there is in this sense would
be to fulfil the traditional metaphysical goal of comprehending reality as it is
in itself. When we do ontology, our quantifiers bear these special meanings.44
42
See Ted Sider, ‘Hirsch’s Attack on Ontologese,’ Noûs 48.3 (2014), pp. 565–572.
43
For a classic account on this issue, see Eli Hirsch, ‘Quantifier Variance and Realism,’
Philosophical Issues 12 (2002), pp. 51–73.
44
Dorr, ‘What we Disagree about when we Disagree about Ontology,’ p. 250.
2.5 Language pluralism 35
45
Eli Hirsch, a kind of neo-Carnapian, is perhaps the best known proponent of quantifier
variance, e.g., his ‘Quantifier Variance and Realism’.
2.5 Language pluralism 37
‘exist’ (or ‘numbers’, for that matter) means the same thing in these differ-
ent languages, we are not saying anything very worthwhile. Surely, the
language pluralist wants to say something more than this. But what does
she want to say?
First, regarding the historical case, we should note that language plural-
ism does not fall straight out of Carnap’s distinction between internal and
external questions. We can accept this distinction without committing
ourselves to language pluralism. Still, the tool provided by the internal/
external distinction is certainly attractive for anyone who is inclined to
accept language pluralism. If we agree that all the external questions –
which ontology mostly deals with – are pragmatic, then it might seem
that our ontological disagreements quickly begin to dissipate. However,
this inference does not go through as it is. As Matti Eklund puts it, the
internal/external distinction needs to be complemented by the assump-
tion that there are ‘equally good’ languages to choose from.46 In other
words, language pluralism follows only if one thinks that it genuinely
doesn’t matter – other than for pragmatic purposes – which language we
choose. But this makes language pluralism a much less attractive view, for
there are surely many questions that we would regard less sensitive to the
Carnapian analysis. For instance, scientific questions such as ‘Are there
tigers in Australia?’ are evidently not subject to the same type of vari-
ation between languages as, perhaps, the question about the existence of
numbers. It would be rather strange indeed to insist that it is a question of
which language we adopt whether there turn out to be tigers in Australia.
So it is difficult to see how the language where tigers exist in Australia and
the language where they do not could be ‘equally good’ in the required
sense. The upshot is that even if in ontology we ask questions that often
seem to turn on a choice of language, this does not appear to be true of sci-
ence or ordinary discourse in general. Nevertheless, language pluralism,
at least in some of its forms, requires the additional assumption regarding
‘equally good’ languages.
It turns out that getting to the bottom of the language pluralist’s posi-
tion is more difficult than it may first have seemed. On the one hand, the
position is threatened by trivialization. On the other, the initial force and
46
Matti Eklund, ‘Carnap and Ontological Pluralism,’ p. 140.
38 Quine vs. Carnap: on what there is and what there isn’t
this sort of view, we should perhaps be focusing on ‘there is’ and its ilk
instead. We might then suggest that the debate about univocalism con-
cerns ‘there is’, which means something different from ‘exists’.1 Some of
these issues are closely related to the problem of whether ‘exists’ should be
considered a predicate as opposed to a quantifier. We have discussed related
matters in some detail in Chapter 2 and seen that there are arguments on
both sides. Below we will get a little deeper into this issue, but despite a
recently active debate, it should be noted that the received view still takes
existential quantification quite seriously, leaving the view taking existence
as a predicate to the minority.2 We will also consider a more neutral way to
understand ontological commitment, making use of a distinction between
the ontological commitments of a sentence and the semantic machinery
assigning truth conditions to that sentence.
Later on, in the third section, we will return to the topic of quanti-
fier variance in its contemporary form. A brief overview of the ongoing
debate between Eli Hirsch and Ted Sider on this topic will be given,
although these two are by no means the only philosophers who have
contributed to the discussion. Finally, after we have considered quantifi-
cation and ontological commitment from several angles, the reader may
be pleased – or frustrated! – to discover that the emphasis on quantifi-
cation in metaontology may in fact be misguided, as argued by Kit Fine.
Fine’s view will be considered in the fourth section. The discussion so far
has assumed that the manner in which Quine understands the task of
ontology is at least broadly correct, even if we have heard from many dis-
senting voices already. This understanding is that ontological questions
are (primarily) quantificational questions. But this assumption has been
called into question; we will consider some reasons to think that the
most interesting ontological questions are in fact not quantificational.
So what else could these interesting ontological questions be? That will
be a recurring topic in later chapters, but one popular suggestion is
1
For a related discussion, see Hanoch Ben-Yami, Logic and Natural Language (Surrey: Ashgate,
2004); Hanoch Ben-Yami, ‘Plural Quantification Logic: A Critical Appraisal,’ Review of
Symbolic Logic 2.1 (2009), pp. 208–232.
2
For further discussion on ‘existence’ and especially on the issue of whether it should be
considered a predicate, see Michael Nelson, ‘Existence,’ in E. N. Zalta (ed.), The Stanford
Encyclopedia of Philosophy (Winter 2012 edn); see http://plato.stanford.edu/archives/
win2012/entries/existence/ and the references therein.
3.1 The meaning of the existential quantifier 41
the question, but when we get to discussing quantifier variance, the second
issue becomes more pressing.
On the face of it, it may seem preferable to ascribe different meanings to
‘exist’ in different contexts. For instance, when we say that numbers exist,
we do not seem to mean it in quite the same sense as when we say that
some sort of material object exists. Accordingly, perhaps the meaning of
the existential quantifier could be thought to depend on the type of entity
that we are quantifying over? After all, numbers are abstract objects, so
their ‘existence’, whatever it amounts to, would not seem to be quite like
that of material objects. The natural conclusion to draw from this is that
‘existence’ simply means something else in these cases; ‘exists’ is equivocal
rather than univocal. Attractive as this line of thought may be, Quineans
would not find it persuasive. The mistake, they would insist, is thinking
that existence is some kind of activity – something that a thing does. Peter
van Inwagen, commenting on Gilbert Ryle’s argument to the effect that
existence is equivocal, takes just this line and specifies further what the
univocacy of existence amounts to:
The thesis of the univocacy of existence […] does not imply that existence
comes in species or that ‘existent’ is a ‘generic’ word like ‘colored’ or
‘sexed.’ This thesis does not imply that there are or could be ‘species’
words that stand to the generic ‘existent’ as ‘red and ‘green’ stand to ‘color’
and as ‘male’ and ‘female’ stand to ‘sexed.’3
It turns out that the issue is rather more complicated than it might have
seemed at first. Indeed, to clarify what the Quinean position amounts to,
we should take aboard the thesis that quantification commits us ontologically
in addition to the thesis that it is univocal.
One way to understand the idea of ontological commitment is to think
about the truth-conditions of sentences.4 To cash out the ontological commit-
ments of a sentence, we need to determine what kinds of constraints the
3
Peter van Inwagen, ‘Being, Existence, and Ontological Commitment,’ in D. Chalmers,
D. Manley, and R. Wasserman (eds.), Metametaphysics (Oxford University Press, 2009),
p. 486.
4
For further discussion on this and other ways to understand ontological commit-
ment, see Augustín Rayo, ‘Ontological Commitment,’ Philosophy Compass 2/3 (2007),
pp. 428–444; see also Philip Bricker, ‘Ontological Commitment,’ in E. N. Zalta (ed.),
The Stanford Encyclopedia of Philosophy (Winter 2014 edn); see http://plato.stanford.edu/
archives/win2014/entries/ontological-commitment/.
3.1 The meaning of the existential quantifier 43
5
See Augustín Rayo, Construction of Logical Space (Oxford University Press, 2013). For dis-
cussion, see Matti Eklund, ‘Rayo’s Metametaphysics,’ Inquiry: An Interdisciplinary Journal
of Philosophy 57.4 (2014), pp. 483–497.
6
This simplifies matters a bit; compare with Rayo, Construction of Logical Space, pp. 6–7.
44 Quantification and ontological commitment
Sentences (1) and (2) seem to express the same fact. But (1) seems to carry
with it more existential ‘weight’ than (2), since it is natural to interpret it
as expressing the existential quantifier, whereas (2) does not immediately
strike us as containing an existence claim. As Tim Crane notes, (2) does of
course entail the existence of a pig and would normally only be uttered by
someone who believes that a particular pig – the one on the sofa – exists.8
But reflecting Rayo’s line of thought, Crane points out that we ought to dis-
tinguish between the content of a sentence and what the content of the sen-
tence entails. We can interpret both (1) and (2) as involving quantification,
since ‘a pig’ may perhaps be considered to function as a quantifier. But this
does not mean that (1) makes an existential claim unless a semantic link
exists between existence and quantification. (2) of course entails that a pig
exists and normally a person uttering (2) would surely not deny a commit-
ment to the existence of pigs. However, the point of saying that (1) makes
an existential claim relies on the thought that (1) and (2) express the same
proposition. Crane accepts that (1) and (2) say the same thing and even that
they both involve quantification, but the point he is pressing is that just
the fact that a claim is quantificational does not make it an existence claim.
Not unlike Rayo’s suggestion, semantic theory would be needed to estab-
lish such a link and both Crane and Rayo seem to be sceptical of the exist-
ence of such a link.
Furthermore, even if Quine is correct about the existential commitment
of first-order quantification, we must keep in mind that his claim does not
extend to all quantificational sentences, such as those involving modality.
We might say that ‘It is possible that there are such things as dragons’, and
7
These examples are discussed in Tim Crane, The Objects of Thought (Oxford University
Press, 2013), p. 43 ff.
8
Ibid., p. 44.
3.2 The existential quantifier and ontological commitment 45
9 For a historical overview, see Graham Priest, ‘The Closing of the Mind: How the
Particular Quantifier Became Existentially Loaded Behind Our Backs,’ The Review of
Symbolic Logic 1.1 (2008), pp. 42–55.
10
Graham Priest, Towards Non-Being: The Logic and Metaphysics of Intentionality (Oxford
University Press, 2005), p. 148.
46 Quantification and ontological commitment
only does the entity in question not exist, but it could not exist. So it seems
that there is a natural use for existentially non-loaded quantification. But
perhaps there are some theoretical reasons to prefer existentially loaded
quantification?
Before modern logic emerged, there is little reason to think that quan-
tification was used in an existentially loaded sense. Of course, Aristotle
and the mediaeval logicians did not talk about ‘quantification’, but the
principle was already in use. The idea of quantifying over something fea-
tured in the practice of determining the domain of discourse. According to
this approach, ‘existential’ quantification does not involve any special
connection with existence. Rather, ‘existence’ becomes a technical term
which should not be considered as ontologically loaded. Indeed, some
nineteenth-century logicians, such as Keynes and Venn, were very careful
to point out that in the context of logic ‘existence’ should be understood
simply as a sort of placeholder for whatever it is that we are currently
investigating.11 It was only at the beginning of the twentieth century that
Bertrand Russell knowingly started using existentially loaded quantifica-
tion. In the previous chapter it was mentioned that Russell was interested
in Meinong’s work, but ended up reacting to it quite critically. In fact, if
Priest’s interpretation is to be believed, Russell seems to have decided to use
existentially loaded quantification and only started developing arguments
to that effect as an afterthought.12 The result was that Quine had a natu-
ral ally in Russell against Meinong. In any event, Quine’s rather rhetorical
case against Meinong in ‘On What There Is’ has been hugely influential
and, perhaps partly because of Russell’s earlier influence, it was accepted
without much quarrel. But as we have seen, there are those who remain
sceptical about the ontological weight of the existential quantifier.
What is the alternative? If existential quantification were not consid-
ered existentially loaded, then perhaps we would do better if we called it
the ‘particular quantifier’ instead, as is sometimes suggested. In that case,
the quantifier should be read as ‘for some’, where it is left open whether
the entity being quantified over exists or not. This is the type of view that
Crane ends up considering as well:
11
For details, see Priest, ‘The Closing of the Mind,’ p. 46.
12
Ibid., p. 51.
3.2 The existential quantifier and ontological commitment 47
13
W. V. Quine, ‘Existence and Quantification,’ in his Ontological Relativity and Other Essays
(New York, Columbia University Press, 1969).
14
Crane, The Objects of Thought, p. 47.
15
Zoltán Gendler Szabó, ‘Believing in Things,’ Philosophy and Phenomenological Research 66
(2003), pp. 584–611.
48 Quantification and ontological commitment
indicate what the relevant plural term refers to. To put this a bit more
clearly: to think that Martians are green is to stand in a certain relation to
the proposition <Martians are green>. Now, for a thinker’s representation
of [Martians] to be correct, Martians must exist and at least part of one’s
conception of them should be true (e.g., Martians being green). Moreover,
we can think of Martians even if they don’t exist, because thinking of them
is just to stand in a certain relation to a proposition about them. But it is
a further question whether the proposition, say, <Martians are green>, is
representationally correct, or in other words, true. Szabó’s summary of the
view is as follows:
In this way, one can say that there are true propositions about Fs (where
Fs are, e.g., Martians), while denying belief in Fs. This is possible if the
term is representationally incorrect: if there’s nothing that fits the ordin-
ary conception of Fs. Yet, once it’s agreed that there are true propositions
about Fs, that would suggest that one should believe that there are Fs. This
seemingly contradictory (and admittedly a little confusing!) situation is
resolved in Szabó’s theory because one can assume that the ordinary con-
ception of Fs does not apply to Fs. For instance, one could believe that
there are Martians, but deny that they are anything like what the stereo-
typical story about little green men suggests. The upshot that Szabó draws
is that ontological commitment cannot be as simple as the Quinean idea
of theory acceptance, since one may think that even a true theory mis-
represents some of its crucial terms. On Szabó’s terminology this would
mean that one should not believe in some of the entities that the theory
is – on Quine’s criteria – existentially committed to. Of course, Quine does
not talk about ‘believing in’, at least not in this fashion, so strictly speak-
ing Szabó’s theory is just an alternative way of understanding ontological
commitment, one that a Quinean could readily dismiss. Alternatively, if
a Quinean states: ‘I believe that Pegasus flies’, this would not entail that
16
Ibid., pp. 606–607.
3.3 Quantifier variance and verbal debates 49
she ‘believes in’ Pegasus; we can instead give a paraphrase of the sentence
following the Russelian account of definite descriptions. But at any rate,
it appears that there are a variety of alternative views regarding quantifi-
cation and its links or lack thereof to ontological commitment, as well as
some reasons to think that even the term ‘existential quantifier’ is itself
misleading. Regardless, we will continue to talk about the ‘existential
quantifier’ in this book, for problematic as the term and its connotations
may be, this is certainly the standard usage. However, the reader is advised
to remain wary about these matters in what follows.
There is a popular strand of the quantification debate that we have not yet
properly discussed, even though it focuses exactly on the issue of whether
(existential) quantification is univocal or not: quantifier variance. Since
quantifier variance is one of the central topics of metaontology, this is also
an important reason for considering the debate between Carnap and Quine
to be central in metaontology. But we do not need to dwell on Carnap
and Quine any longer, especially because we saw that the contemporary
reconstruction of their debate is problematic at best. Nevertheless, the
issue concerning the univocalism vs. equivocalism of quantification is, by
many, considered to be at the heart of metaontology. For instance, here is
Sider’s view on the matter: ‘the central question of metaontology is that
of whether there are many equally good quantifier meanings, or whether
there is a single best quantifier meaning’.17 Sider himself is strongly of the
opinion that there is indeed a single best quantifier meaning. Note that, to
be precise, we must keep in mind that the thesis that there is a single best
quantifier meaning is in fact different from the thesis that quantification
is univocal: all that Sider’s position requires is that in the context of ontol-
ogy – when we speak Ontologese (see previous chapter) – quantification is
univocal. So there could be cases where the meaning of quantification is
context-dependent and hence equivocal, but those cases do not undermine
the fact that quantification is univocal with regard to ontological questions.
17
Ted Sider, ‘Ontological Realism,’ in Chalmers, Manley, and Wasserman (eds.),
Metametaphysics, p. 397.
50 Quantification and ontological commitment
18
For a defence of this view, see Ted Sider, Writing the Book of the World (Oxford University
Press, 2011).
19
For a survey of all three options, see C. S. Jenkins, ‘What Is Ontological Realism?’,
Philosophy Compass 5/10 (2010), pp. 880–890.
20
A case in point due to Gerald Marsh, ‘Is the Hirsch–Sider Dispute Merely Verbal?’,
Australasian Journal of Philosophy 88.3 (2010), pp. 459–469.
3.3 Quantifier variance and verbal debates 51
21
Eli Hirsch, ‘Ontology and Alternative Languages,’ in Chalmers, Manley, and Wasserman
(eds.), Metametaphysics, p. 231.
22
We will here focus on Hirsch’s account. The literature on this topic is expand-
ing rapidly though, see for instance Kathrin Koslicki, ‘On the Substantive Nature
of Disagreements in Ontology,’ Philosophy and Phenomenological Research 71 (2005),
pp. 85–105; David Chalmers, ‘Verbal Disputes,’ Philosophical Review 120.4 (2011),
pp. 515–566; C. S. I. Jenkins, ‘Merely Verbal Disputes,’ Erkenntnis 79.1 (2014), pp. 11–30.
52 Quantification and ontological commitment
they agree on objective facts, but use a different language to speak about
them. If the same word means different things in different languages,
then this may give rise to a very simple merely verbal dispute. If apples
are ‘apples’ in your language and ‘oranges’ in someone else’s, then this
is likely to cause some confusion. But once you’ve successfully translated
their ‘orange’ into your ‘apple’, then the disagreement dissipates. Hirsch’s
claim is stronger, though, as he wants to say that some debates are merely
verbal quite generally. It’s not just that two people may have a merely ver-
bal dispute; two groups of philosophers holding competing views can also
have such a dispute.
It is plausible that these two features of Hirsch’s view, quantifier vari-
ance and verbal disputes, are logically independent.23 Someone may defend
quantifier variance without thinking that many ontological debates are
merely verbal. Equally, someone may think that many ontological debates
are verbal, but resist quantifier variance. Given that we have already dis-
cussed the complications related to the interpretation of quantifiers in
some detail, it is the second aspect of Hirsch’s view that deserves more
attention than the first here. We will return to quantifier variance and
related issues in Chapter 4.
Let’s get a little deeper into the verbal dispute issue. Hirsch makes some
important qualifications to this view, the most important of which is the
following:
What Hirsch insists is that a debate can fail to be merely verbal only if
each side in a debate is genuinely charitable and still fails to interpret the
assertions of the other side as being true in their respective language. This
is, roughly, Hirsch’s principle of charity. But note that Hirsch is open to there
being debates that are substantial – that is, debates that do not reduce to a
linguistic choice. This is another aspect in which Hirsch considers himself
23
As proposed by Matti Eklund, ‘Review of Quantifier Variance and Realism: Essays in
Metaontology,’ Notre Dame Philosophical Reviews (2011); see https://ndpr.nd.edu/news/24
764-quantifier-variance-and-realism-essays-in-metaontology/
24
Hirsch, ‘Ontology and Alternative Languages,’ p. 231.
3.3 Quantifier variance and verbal debates 53
to part ways with Carnap, whom Hirsch takes to make the sweeping claim
that all ontological debates are merely verbal. Interestingly, Hirsch men-
tions the debate between Platonists and nominalists as an example of a
debate that he considers not to be verbal. Recall that in Chapter 2 we used
the debate between Platonism and nominalism as an example of a debate
which a language pluralist might consider to be merely linguistic. In view
of this, Hirsch’s position would seem to amount to a type of restricted
or moderate language pluralism. Let’s try to understand this view a little
better.
The first issue to note is that a merely verbal dispute cannot just be one
in which each side makes true assertions in their respective language. For,
as Hirsch notes, there could be a merely verbal debate even in cases where
the sides do not make true assertions: ‘There may be a verbal dispute about
whether Harry is running around the squirrel or merely running around
the tree containing the squirrel, when in fact Harry is home in bed and the
runner is someone who looks like Harry’.25 Accordingly, it should be suf-
ficient to consider a debate to be merely verbal if each side agrees that the
other party speaks the truth in their respective language. It then becomes
a matter of linguistic interpretation to determine whether a given dispute
is indeed merely verbal. This would leads us towards the view that issues
in metaontology can sometimes be settled in terms of linguistic interpreta-
tion. Hirsch does not put it quite this way, but this is close to a view that
some philosophers working on the topic hold.
One of Hirsch’s primary examples of a merely verbal debate is the
one between perdurantists and endurantists. This is a classic debate about
the spatiotemporal parts of material objects: everyone would agree that
material objects have spatial parts, but do they also have temporal parts?
In other words, how do objects persist through time? Perdurantists hold
that material objects have temporal parts in addition to spatial parts and
hence that objects ‘perdure’. Endurantists hold that material objects do
not have temporal parts, which leads them to think that objects are wholly
present at any time that they exist; they ‘endure’. Due to related issues con-
cerning space and time, these views are versions of four-dimensionalism
and three-dimensionalism, respectively. On the perdurantist view, mate-
rial objects can be thought of as a type of ‘spacetime worm’, since all the
25
Ibid., p. 238.
54 Quantification and ontological commitment
different temporal parts are also, in some sense, parts of the object. In con-
trast, the endurantist view attaches no special significance to past or future
temporal parts of an object – the object is there at a given time and that’s
it. This may look like a perfectly normal ontological debate, presumably
with some connection to physics, but it has become something of a test
case in metaontology – primarily because some philosophers, like Sider,
take it to be a substantial debate whereas some, like Hirsch, consider it
merely verbal.
Much ink has been spilled trying to settle the matter, but we will con-
sider a slightly different approach. The reason for this is that the perdur-
antism/endurantism debate may not be a particularly good example of a
substantial ontological debate in the first place. Why? Because there are
plausible arguments to the effect that the theories are in fact metaphysically
equivalent, as defined by Kristie Miller:
26
Kristie Miller, ‘The Metaphysical Equivalence of Three and Four Dimensionalism,’
Erkenntnis (2005) 62.1, p. 92.
27
For further details, see E. J. Lowe and Storrs McCall, ‘3D/4D Controversy: A Storm in a
Teacup,’ Noûs (2006) 40, pp. 570–578.
3.3 Quantifier variance and verbal debates 55
28
The SCQ originates in Peter van Inwagen’s Material Beings (Ithaca, NY: Cornell University
Press, 1990).
29
Eli Hirsch, ‘Physical-Object Ontology, Verbal Disputes, and Common Sense,’ Philosophy
and Phenomenological Research (2005) 70.1, p. 68, fn. 2
56 Quantification and ontological commitment
and universalists can be taken seriously. But there may be a better move
available, as Hirsch’s opponent only needs to provide some sort of plausi-
ble criterion for when composition occurs and then the debate turns on
whether everyone accepts that criterion or whether there are other, com-
peting criteria available. For example, one might suggest that composition
occurs only when the combination of the various candidate objects pos-
sesses novel causal powers over and above of the causal powers of the can-
didate objects on their own.30 This type of criterion is testable: we can study
each of the candidate objects to determine their individual causal pow-
ers and then study the presumed composite object that these candidate
objects compose. If the causal powers of the presumed composite object
are not merely a conjunction of the causal powers of the candidate objects,
then the criterion under consideration would suggest that the composite
object does indeed exist. Here we have a genuine difference between the
ontological elements of two competing theories, namely the set of causal
powers with which composite objects are endowed. Moreover, Hirsch’s
condition for a merely verbal debate is not obviously satisfied, because the
role of causal powers in the suggested theory is not something that can
easily be considered simply as a different language or a different way of
speaking of the same ontological elements. However, in fairness it should
be noted that the theory regarding the causal powers of composite objects
is certainly a controversial one – for one thing, it’s not clear which causal
powers we should focus on (some causal powers could be considered trivial
when it comes to composition).
Unfortunately, the task of settling the Special Composition Question –
or even whether it really is an ontologically substantial question – is far too
great for us to undertake here, so we will have to just take it as a lesson
in the convolutions of metametaphysics. The debate between Hirsch and
Sider is ongoing. In his most recent rejoinder to Hirsch, Sider argues that
‘Ontologese is supposed to be just like English except for the semantics of
quantifiers’.31 The idea is that one could suspend Hirsch’s requirement for
charity, at least in those contexts where quantification is involved. Here it
is worth noting again that we have been focusing on the status of quan-
tification in our actual language. If we instead consider the best possible
30
For one version of such a view, although restricted to persons, see Trenton Merricks,
Objects and Persons (Oxford University Press, 2001).
31
Ted Sider, ‘Hirsch’s Attack on Ontologese,’ Noûs 48.3 (2014), p. 567.
3.4 Beyond existence questions 57
The realist and anti-realist about natural numbers, for example, will most
likely take themselves to be disagreeing on the reality of each of the
natural numbers – 0, 1, 2, … ; and this would not be possible unless each
of them supposed that there were the numbers 0, 1, 2, … It is only if the
existence of these objects is already acknowledged that there can be debate
as to whether they are real (Quine’s error, we might say to continue the
joke, arose from his being unwilling to grasp Plato by the beard).32
I believe that the case of mereological sums and temporal parts has been
especially misleading in this regard. For the question of their existence has
often been taken to be a paradigm of ontological enquiry and, indeed, it is
this case more than any other that has given rise to the recent resurgence
of interest in meta-ontology. But the case is, in fact, quite atypical since it is
60 Quantification and ontological commitment
35
Fine, ‘The question of ontology,’ p. 173.
62 Quantification and ontological commitment
grounding may be of some help in this regard, but we will postpone discus-
sion of this notion until Chapter 5.36
Fine, we should note, is not alone in holding the view that metaphysics
should not focus on existence questions. This is also the view of Tim Crane,
who puts it as follows:
36
For further discussion, see also Kit Fine, ‘What Is Metaphysics?’, in T. E. Tahko (ed.),
Contemporary Aristotelian Metaphysics (Cambridge University Press, 2012), pp. 8–25.
37
Crane, The Objects of Thought, p. 51.
3.4 Beyond existence questions 63
varieties though and not all of these are compatible with Hirsch’s own pic-
ture – this topic is central in the next chapter.
Now that we have covered the topic of quantification and ontologi-
cal commitment from both a historical and a contemporary angle, it is
time to move into a more general topic, namely that of identifying the
different metaontological positions, such as realism, deflationism, and
conventionalism.
4 Identifying the alternatives:
ontological realism, deflationism,
and conventionalism
1
See especially Amie Thomasson, Ontology Made Easy (Oxford University Press, 2015).
66 Identifying the alternatives: ontological realism, deflationism
2
Ted Sider, ‘Ontological Realism,’ in D. Chalmers, D. Manley, and R. Wasserman (eds.),
Metametaphysics (Oxford University Press, 2009), pp. 384–423.
4.1 Ontological realism and anti-realism 67
3
Ted Sider, Writing the Book of the World (Oxford University Press, 2011), p. 18.
4
Kit Fine, ‘The question of ontology,’ in Chalmers, Manley, and Wasserman (eds.),
Metametaphysics, pp. 157–177.
68 Identifying the alternatives: ontological realism, deflationism
The three candidate senses for ontological realism that have been
outlined so far correspond to a large extent with those discussed by Carrie
Jenkins under the labels ‘ontological disputes are serious’, ‘one best quanti-
fier meaning’, and ‘ontological facts are objective’, respectively.5 To clarify,
the third view suggests that there are some ontological facts and they are
objective (so one could reject this view either by claiming that there are
no ontological facts or by claiming that they are not objective). As Jenkins
argues, it is possible to hold various combinations of these three views,
even though it sometimes seems that they are assumed to stand or fall
together. Someone could very well have quarrels with the idea of there
being one best quantifier meaning while accepting that there are objective
ontological facts and that ontological disputes are generally serious (i.e.,
substantial). This goes some way against Sider, who seems to think that the
seriousness of ontological disputes and the rejection of quantifier variance
go hand in hand, so that to reject seriousness is to accept quantifier vari-
ance.6 As we saw in the previous chapter, Hirsch would likely disagree, but
we do not need to dwell on the quantifier variance debate here.
What is the upshot? Jenkins suggests, roughly in agreement with Karen
Bennett and David Chalmers, that the best terminological practice would be
to use the label ‘realism’ for the most general of the three positions, namely
‘ontological facts are objective’.7 ‘Anti-realism’ will then be the rejection of
this view, either by claiming that there are no ontological facts or by claiming
that ontological facts are not objective. One motivation which Jenkins states
in favour of this terminological practice is that we already have labels for the
two other possible senses that could be attached to ‘ontological realism’. The
first case we discussed – having to do with the seriousness or substantive-
ness of ontological debates – can be captured with the notion of ontological
non-deflationism (or ‘inflationism’), to be discussed further in a moment.
The second case, ‘one best quantifier meaning’, can be captured in terms
5
C. S. Jenkins, ‘What Is Ontological Realism?’, Philosophy Compass 5/10 (2010),
pp. 880–890.
6
In fact, it’s slightly more complicated than this, as Sider’s case has to do with the
importance of structure and ‘joint-carving,’ but we will return to this in more detail in
the fourth section of the chapter.
7
Jenkins, ‘What Is Ontological Realism?’, p. 888; David Chalmers, ‘Ontological
Anti-Realism,’ in Chalmers, Manley, and Wasserman (eds.), Metametaphysics,
pp. 77–129; Karen Bennett, ‘Composition, Colocation and Metaontology.’ in Chalmers,
Manley, and Wasserman (eds.), Metametaphysics, pp. 38–76.
4.1 Ontological realism and anti-realism 69
of the debate on quantifier variance; that is, Sider sides with the ‘quantifier
invariantist’, who subscribes to the view that there is one best quantifier
meaning, whereas Hirsch sides with the ‘quantifier variantist’. Given these
labels, which are already in use, the notion of ‘ontological realism’ remains
distinct from the two other issues. Jenkins’s suggestion seems reasonable
and is consistent with the initial, broad usage of the notion that we adopted
in the previous section. Hirsch likewise wishes to defend ontological realism
in this broader sense, so the disagreement between Sider and Hirsch is not
about ontological realism understood broadly.
It seems that we have some good reasons to follow this terminological
practice. But one issue still looms large: as noted earlier, there is the risk
that, on this usage, ontological realism becomes an issue that we cannot
easily argue for – a knee-jerk view that must be accepted at the outset, if
at all. Related to this, consider Bennett’s reaction to anti-realism (Bennett’s
anti-realist claims that there is no fact of the matter about whether or not
there are Fs, for a given F):
I do not know how exactly to argue against it, and I am not entirely sure
what it means. ‘There are Fs’ might be vague or ambiguous in some way,
in which case the unprecisified sentence might not have a determinate
truth-value.8
This reaction leaves open the possibility that one could accept there to
be a fact of the matter about whether or not there are Fs given an appropri-
ate precisification; that is, given that we are able to make it precise, in what
manner the relevant existence question is to be understood. Yet, one might
think that this is such a difficult task that we will never be able to precisify
the question in a satisfactory manner. Strictly speaking, this view would
not appear to be anti-realism, however, as it is effectively being said that
there at least could be a fact of the matter about whether or not there are
Fs – we just don’t know. Bennett defines a closely related view called epis-
temicism: there is a fact of the matter about whether or not there are Fs, and
disputes about it are not merely verbal, but we have very little to justify
our belief in either of the options.9 When laid out like this, epistemicism
8
Bennett, ‘Composition, Colocation and Metaontology,’ p. 40.
9
Compare this with epistemicism about vagueness, the view that there is a sharp cut off
for the applicability of vague predicates such as ‘is bald,’ but we cannot possibly know
what that cut off is.
70 Identifying the alternatives: ontological realism, deflationism
10
For a view which takes there to be no fact of the matter about whether or not there
are Fs, hence taking existence questions to lack truth-value, see Stephen Yablo, ‘Must
Existence-Questions have Answers?’, in Chalmers, Manley, and Wasserman (eds.),
Metametaphysics, pp. 507–525.
11
Ibid., p. 73.
4.2 Ontological deflationism 71
unlikely with regard to these two problems which have, after all, received
the attention of our leading metaphysicians for quite some time.
Note that all this is neutral with respect to ontological realism vs.
anti-realism, on Bennett’s intended reading. Since we have little reason
to go one way or the other regarding these problems, the debates are sim-
ply underdetermined, they take no stand on whether or not there really are
objective facts. Having said that, the anti-realist could get some mileage
from this situation: isn’t it grist to the anti-realist’s mill that we have not
been able to settle these debates? What other evidence could there even be
for anti-realism? Is it not unreasonable to require that the anti-realist is able
to demonstrate that there could be no objective fact of the matter? Perhaps
so, but this line of argument is unlikely to persuade the ontological realist,
since the realist does think that she is able to make at least some progress
regarding these problems – they are at the very least tractable. Of course, if
Bennett is correct, then these debates are considerably less tractable than
the ontological realist may have led us to believe, but this does not auto-
matically vindicate the anti-realist position. So if we follow Bennett, we
should perhaps remain agnostic about these debates, at least until further
evidence emerges.
discoveries involve finding out something new about the world, something
empirically tractable, ontological discoveries often seem to lack this type
of significance – indeed, it is not even appropriate to talk about ontological
discoveries. If we know all the properties of a lump of bronze, which hap-
pens to be in the shape of a statue, there seems to be little at stake when we
ask whether the lump and statue are two different things spatiotemporally
co-located or just one thing. The answer, one might think, reflects only our
semantic, conceptual, or linguistic preferences.
While the preceding is not exactly a definition of ontological deflation-
ism, it should at least make clear what motivates the view: deflationism
is the type of reaction that most of us engaged in metaphysics have heard
when trying to explain what it is that we metaphysicians actually do to
those not trained in the discipline (and indeed sometimes even to those
who are trained in it!). The issue is not, of course, quite as simple as this.
For one thing, we should note that the somewhat sceptical reaction of the
deflationist does not automatically lead to ontological anti-realism. Even
if the answers to some ontological questions are trivial or merely a matter
of semantic preference, it does not mean that there aren’t objective facts
concerning them. This is easy to see in the case of trivial answers, for we
can supposedly easily agree on what the fact is in these cases. The case of
semantic preference might seem to lead towards anti-realism, though – at
least the lack of any objective fact would perhaps explain why there is a dis-
agreement, say, about the co-location of the statue and the lump. But while
this type of semantic relativism is certainly compatible with anti-realism, it
does not entail it. This should already be clear from our discussion of epis-
temicism above, as we’ve seen that it is possible to remain neutral about
the ontological realism vs. anti-realism issue on epistemic grounds while
developing, say, a view about one’s semantic preference towards a given
ontological question. However, note again that Bennett’s epistemicism
rules out this type of semantic deflationism by definition; that is, her epis-
temicism assumes that (some or many) ontological disputes are not purely
verbal or relative to semantic preference.
So it is possible to separate ontological deflationism from the onto-
logical realism vs. anti-realism issue, but as a matter of fact, many onto-
logical deflationists, such as Hirsch and Thomasson, take themselves to
be committed to some version of ontological realism. One way to distin-
guish the type of ontological realism that deflationists may adopt and the
4.2 Ontological deflationism 73
type of ontological realism that we’ve seen Fine and Sider defend would
be to talk about lightweight and heavyweight realism, respectively, following
Chalmers.12 But since we’ve seen that it might be best to define ontological
realism simply as the view that there are objective ontological facts, this
distinction is perhaps not entirely helpful. Chalmers suggests that heavy-
weight realism comes with the additional commitment that ontological
questions are highly non-trivial, but this seems an unnecessary complica-
tion, given that we already have the notion of ontological deflationism (and
non-deflationism or inflationism), which corresponds with the lightweight
vs. heavyweight distinction. Accordingly, we will follow this more estab-
lished usage in what follows and leave the lightweight vs. heavyweight
distinction aside.
Despite its common-sense appeal, ontological deflationism faces an ini-
tial challenge: if we are to believe that many ontological questions – exist-
ence questions in particular – have a trivial answer, then how does the
ontological deflationist explain the fact that we often disagree about what
that answer is? A partial explanation might be that different people have
different semantic preferences, perhaps due to cultural norms and so forth.
Yet, philosophers typically claim to have arguments in favour of answer-
ing certain existence questions either positively or negatively. Indeed, one
might think that existence claims could never be trivial, unless they turn
out to be analytically true or false. But it is difficult to see how existence
claims could be analytically true or false. These types of considerations
partly motivate Chalmers to favour a type of anti-realism, but the same
considerations could of course motivate a version of non-deflationism as
well. Ontological deflationism is not quite so easily refuted though. As
we’ll see in a moment, Amie Thomasson provides a version of deflationism
whereby existence claims are not analytically true or false, but neverthe-
less turn out to have ‘easy’ answers.13
Thomasson’s version of ontological deflationism does not rely on quanti-
fier variance, in contrast to Hirsch. This is one reason why we should distin-
guish between ontological deflationism and quantifier variance: one can be
a deflationist without being a quantifier variantist (whether the opposite is
possible, i.e., to be a quantifier variantist without being a deflationist, is more
12
Chalmers, ‘Ontological Anti-Realism,’ p. 78.
13
For the complete version, see Amie Thomasson, Ontology Made Easy. For a shorter over-
view, see her ‘The Easy Approach to Ontology,’ Axiomathes 19 (2009), pp. 1–15.
74 Identifying the alternatives: ontological realism, deflationism
14
For further discussion, see Amie Thomasson, Ordinary Objects (Oxford University
Press, 2007).
4.2 Ontological deflationism 75
conditions for the terms in that language have been settled, the exist-
ence claims are ‘internal’, more or less in the Carnapian sense. We do not
need to return to the complications involved with the interpretation of
the Carnapian position and the notion of ‘framework’, which were dis-
cussed extensively in the preceding chapters, but it is not difficult to see
that Thomasson’s approach could be appealing to those with Carnapian
sympathies. The view does have a clear point of connection with language
pluralism, as discussed in Chapters 2 and 3. Be that as it may, we now have
a fairly good idea about what ontological deflationism along Thomasson’s
line amounts to, if true: many or most ontological disputes, at least the
ones concerning existence claims of the usual type, are relatively easy to
settle. In some cases it may turn out that the dispute is not even substan-
tial, if the disputants have been using different application conditions for
the same term. But one advantage that Thomasson’s approach seems to
have is that even in these cases it is not all that difficult to come to an
agreement once the relevant application conditions are explicitly stated.
Of course, this still leaves the cases where it just isn’t possible to specify
application conditions in a satisfactory manner – Thomasson’s judgement
about these cases is that they are ‘unanswerable’, questions that on a closer
look turn out to be pseudo-questions.15 But what if most of ontology turns
out to be confused in this manner? What if there really are no genuine
ontological questions, just pseudo-questions? What if we can carve up the
world any which way we like? Then we would end up with a more extreme
type of ontological deflationism: full-blooded conventionalism. This is the
view that we will examine in the next section.
15
See Amie Thomasson, ‘Answerable and Unanswerable Questions,’ in Chalmers,
Manley, and Wasserman (eds.), Metametaphysics, pp. 444–471.
4.3 Towards extreme conventionalism 77
have to lay out the position in more detail. First, let’s focus on a version of
conventionalism that starts from the apparent subjectivity of our manner
of classifying reality. A realist would think that even though some of our
classificatory efforts are indeed guided by mind-dependent reasons, such as
different pragmatic considerations, the majority of them are nevertheless
mind-independent. In other words, there really are such things as apples,
cats, mountains, and stars, and they have what we might call natural bound-
aries, something that separates them from other things. The realist would
consider the boundaries of these objects and kinds to ‘carve nature at the
joints’. It is not always easy to state the exact identity conditions of vari-
ous things that we believe to have natural boundaries, but the extreme
conventionalist thesis is that there are no such mind-independent identity
conditions and that all our efforts to determine the boundaries of things
are subjective.16 On this basis, it may seem that anti-realism immediately
follows, but this is not quite right, for it would be possible to maintain
that even if we are fundamentally unable to overcome our conventions
and hence state mind-independent identity conditions for anything what-
soever, this could simply be due to our psychological limitations. Thus, one
might adopt something along the lines of Bennett’s epistemicism, with-
holding judgement about realism vs. anti-realism. Perhaps this would be a
pyrrhic victory, though; honest ontological realism surely requires that we
can, at least sometimes, reach correct judgements about the structure of
reality, to carve at the true joints of reality.
What makes extreme conventionalism a metametaphysical position
rather than just a first-order metaphysical position? Well, one upshot of
extreme conventionalism is that many of our ontological debates turn out
to be non-substantial. For instance, the debate about composition to which
we keep returning would, on the conventionalist analysis, be merely due to
a clash between different conventions about composition. Moreover, there is
nothing objective in the world that settles this clash between conventions,
for they have been adopted for some mind-dependent reason, such as a cul-
tural norm or a pragmatic choice. So the view at hand has metametaphysi-
cal implications that are very similar to quantifier variance, but the motive
16
For an entertaining construal of this type of view, see Achille C. Varzi, ‘Boundaries,
Conventions, and Realism,’ in J. K. Campbell, M. O’Rourke, and M. H. Slater (eds.),
Carving Nature at Its Joints: Natural Kinds in Metaphysics and Science (Cambridge, MA: MIT
Press, 2011), pp. 129–153.
78 Identifying the alternatives: ontological realism, deflationism
17
Barry Smith and Achille C. Varzi, ‘Fiat and Bona Fide Boundaries,’ Philosophy and
Phenomenological Research 60.2 (2000), pp. 401–420.
18
Varzi, ‘Boundaries, Conventions, and Realism,’ pp. 144–145.
4.3 Towards extreme conventionalism 79
Varzi’s analysis may help us to get our feet back on the ground: is there
really any connection between how the world is structured and our evalu-
ation of things such as trout-turkeys? Varzi argues that there might not be,
since even though we initially feel uncomfortable about strange hybrids,
we have nevertheless welcomed, for instance, a variety of genetically
manipulated plant-hybrids, such as orange-mandarins and peppermint.
Indeed, our intuitions and feelings of discomfort should not be relied on
if we hope to determine the actual structure of reality, for it is true that
we are biased in our evaluations. Once again, we would appear to be on
our way towards a position not unlike the deflationism emerging from
language pluralism. But this time the view arises from the simple realiza-
tion that our judgements are thoroughly influenced by our psychological
biases. However, even though Varzi makes a commendable effort to enter-
tain the extreme conventionalist line of thought, it does become less plaus-
ible when we move from everyday examples and cases such as the debate
over composition to scientific examples.
Consider the Standard Model of particle physics and its spectacular suc-
cess in producing accurate predictions. The Standard Model gives us a list
of fundamental particles that do not seem to be subject to the type of argu-
ment that Varzi presents; that is, we can ‘look’ at electrons as closely as
we want, but if electrons are truly fundamental particles, then we will not
discover any substructure, anything that might cause us to think that there
are various candidates as to how the boundaries of the electron are to be
determined. Of course, if it turns out that electrons are not fundamental,
then we might have to look closer into their substructure to find truly fun-
damental particles – if there are any (we will return to the question of fun-
damentality in Chapter 6). Moreover, there are various ways to interpret the
relevant physics, but none of these interpretations would seem to support
extreme conventionalism. Even views according to which there is strictly
speaking no particles, but merely some structure or relations, as certain
versions of structuralism hold, would fall short of extreme conventionalism.
Although the world might turn out to be merely a lump of dough on these
views, it would not be an amorphous lump, as the lump would have internal
structure, some ‘joints’ according to which we may structure it.19
19
For further discussion, see Tuomas E. Tahko, ‘Boundaries in Reality,’ Ratio 25.4 (2012),
pp. 405–424. For a brief discussion of the notion of ‘amorphous lump,’ see Michael
80 Identifying the alternatives: ontological realism, deflationism
Dummett, Frege. Philosophy of Language, 2nd edn (Cambridge, MA: Harvard University
Press, 1981), p. 577.
20
For the connection between conventionalism about modality and objects, see Alan
Sidelle, ‘Modality and Objects,’ The Philosophical Quarterly 60.238 (2010), pp. 109–125.
21
Alan Sidelle, ‘On the Metaphysical Contingency of Laws of Nature,’ in T. S. Gendler
and J. Hawthorne (eds.), Conceivability and Possibility (Oxford University Press, 2002),
p. 319.
4.3 Towards extreme conventionalism 81
claims to be analytic principles that are true in virtue of our linguistic con-
ventions. There is an interesting complication to this story: what if the
conventions themselves had been different, for instance, what if the con-
vention that guarantees the necessity of ‘Water is H2O’ had been different?
Then it would seem that either water might have failed to be H2O or water
might not have necessarily been H2O.22 This issue has one especially inter-
esting metametaphysical implication concerning the analysis of changing
conventions. If conventionalism (about modality) is true, then metaphysi-
cal debates concerning modality will presumably have different outcomes
when associated with different conventions. That is, if something like
Sidelle’s story is correct and ‘the modal force’ of necessary truths comes
from conventions, then a change in those conventions ought to have an
influence on the modal truths. Yet, as Sidelle argues, this is not quite so
simple.23
To illustrate the problem, let us stipulate that the term ‘water’ refers
to the macrophysical, superficial qualities of water, such as being a clear,
tasteless liquid, etc. (let us ignore the various complications with such
phenomenal qualities for the moment). We can now imagine a counter-
factual scenario where another liquid with a different microstructure,
say, XYZ, as in Hilary Putnam’s traditional ‘Twin Earth’ scenario, falls
under the extension of ‘water’ due to having the same superficial quali-
ties. Now it seems that in the counterfactual scenario it would be true to
say that ‘There is water which lacks hydrogen’, but Sidelle insists that we
could not translate this sentence directly to our normal usage of ‘water’,
as there must be different rules governing the use of ‘water’ in effect
here. However, this failure of translation is not as radical as using the
sound ‘water’ (or its equivalent in other languages) for something quite
different, like overcooked spaghetti (Sidelle’s example!), since the usage
of ‘water’ in the counterfactual scenario is, after all, very much like our
use of ‘water’, given that we are referring to the superficial qualities that
XYZ also has.
What is the upshot? Well, it appears that there are different conventions
governing the use of ‘water’ for us and for the Twin Earth folk. So we cannot
22
This type of complication concerning conventionalism, about modality and pos-
sible strategies to address it, is discussed in Alan Sidelle, ‘Conventionalism and the
Contingency of Conventions,’ Noûs 43.2 (2009), pp. 224–241.
23
Ibid., pp. 233 ff.
82 Identifying the alternatives: ontological realism, deflationism
simply translate their true statement ‘There is water which lacks hydrogen’ to
our equivalent statement, which is false. Thus, the difference in conventions
does not have any implications towards the essence of water after all. But
according to Sidelle, this does not undermine conventionalism, for it demon-
strates that we could have used the same term in very similar circumstances
to generate different truth values for the same counterfactual and modal sen-
tences. What is crucial in this account is that Sidelle thinks we would not
have been making a metaphysical mistake despite the different truth-values.
Thus, the conventionalist can argue that regardless of whether or not there are
mind-independent modal facts, it is the conventions themselves that gener-
ate ‘the modal force’; either there simply are no modal (or essentialist) facts
or if there are, then we can use ‘water’ just as well to refer to one such fact or
the other, without making any mistake (of a metaphysical sort). In the latter
case, we would end up with what Sidelle calls ‘metaphysical universalism’:
According to Sidelle, the fact that varying conventions fail to have modal
implications is due to a failure of translation, thus at the level of language
rather than ontological fact. Although, as Sidelle admits, if ‘metaphysical
universalism’ is true, then there is still a sense in which the realist would
be correct in saying that the source of modality is in the world – since there
are modal facts after all. But Sidelle thinks that this would still be compat-
ible with a type of conventionalism about modality, since any debate about
modal facts would nevertheless be answered with reference to our conven-
tions rather than the objective facts.
This compact presentation of Sidelle’s conventionalism about modality
is too brief to enable us to fully articulate the upshot of the position, but
for the purposes of our overview of various metametaphysical positions in
this chapter, we can already clearly see what kind of implications this line
24
Ibid., p. 235.
4.4 A case study: Sider’s ontological realism 83
of thought would have. Interestingly, one of these is, once again, a type of
epistemicism: Sidelle ends up accepting, although reluctantly, the possibil-
ity of a position according which there could be objective modal facts, even
though he insists that they would be inert when it comes to actual debates
concerning modality.
25
Sider, Writing the Book of the World.
26
Ibid., p. vii.
84 Identifying the alternatives: ontological realism, deflationism
27
Plato, Phaedrus, translated by R. Hackforth (Cambridge University Press, 1972),
265d–266a.
28
Sider, Writing the Book of the World, p. 71.
29
Ibid., p. 48.
4.4 A case study: Sider’s ontological realism 85
What are the crucial terms? Reflecting our earlier discussion, Sider
takes them to be quantificational. In fact, he states that ‘the thesis that
quantifiers carve at the joints is the best way to defend the substantivity
of ontological questions’.30 Ontological assertions are often of the form
‘∃xFx’, or, ‘There are Fs’. Thus, the first-order existential quantifier is a
crucial term, and carves at the joints. If F also carves at the joints, then
the question of whether there are Fs is ‘guaranteed’ to be substantive; so
there is a tight connection between S-OR and quantification. In particu-
lar, Sider hopes to defend S-OR against deflationism by arguing that the
first-order existential quantifier carves (perfectly) at the joints. However,
Sider’s project is primarily methodological, as he is not concerned about
what the Fs are. Hence, we could attempt to reconstruct Sider’s key claim
as the following conditional claim about a fundamental language:
30
Ibid., p. 96.
86 Identifying the alternatives: ontological realism, deflationism
This comes from a chapter of Sider’s book that deals with reference mag-
netism. The idea is that highly joint-carving candidate terms like ‘mass’ or
‘electron’ latch on to the joints of reality even if their usage, namely the
physicists’ theory of ‘mass’, does not quite reflect the actual joint-carving
terms ‘mass’ and ‘electron’. Recall that there can be multiple joints in
the vicinity of a perfectly joint-carving candidate, but any candidate suf-
ficiently close to a joint-carving one will do as long as there is a genuine
joint-carving property or object in the vicinity. So Sider’s view seems to be
that any characteristic feature that we actually use to identify electrons can
turn out to be mistaken. All that is required is that there is a joint-carving
category that is an approximate fit for actual usage.
Let us reproduce Sider’s key example, which focuses on the property of
being an electron.32 We have a theoretical term, E, which is intended to carve
at the joints. We also have a single element of structure, e (understood as a
feature of reality rather than a concept), which carves at the joints and is
associated with E by the relevant disputants (in an ontological or a scientific
debate). However, e only needs to satisfy enough of the ‘core theory’ typically
associated with E. By ‘core theory’ Sider means the defining characteristics
of E. In the case of ‘electron’, Sider lists mass, negative charge, and ‘being a
subatomic particle that orbits nuclei’ as part of the core theory. Note that
although Sider connects e with meaning, the issue is not conceptual; here
e would reflect the feature of reality expressed by the property of being
31
Ibid., p. 32.
32
Ibid., pp. 48–49.
4.4 A case study: Sider’s ontological realism 87
33
Ibid., p. 49.
34
The Pauli Exclusion Principle states that no two fermions can occupy the same quantum
state (and so have the same four quantum numbers) at the same time. Fermi–Dirac
statistics apply to (systems of ) particles with half integer spin, i.e., fermions.
88 Identifying the alternatives: ontological realism, deflationism
[W]hether or not the tightly bound electron pairs can really undergo
the BEC directly, is an old but fundamental (and nontrivial) problem,
particularly as we know that the bound electron pairs are not exactly
bosons.37
35
A Bose–Einstein condensate is a phase of matter which emerges at extremely low
temperatures. In a Bose–Einstein condensate, an unlimited number of bosons can be
grouped together in a single (lowest) quantum state. The theoretical possibility of such
a condensate was predicted by Bose and Einstein in the 1920s; the first condensate
was produced in 1995. This can be achieved for instance by cooling down rubidium
atoms. For more details, see the popular article by E. A. Cornell and C. E. Wieman, ‘The
Bose-Einstein Condensate,’ Scientific American 278.3 (1998), pp. 40–45.
36
Named after the Bardeen–Cooper–Schrieffer (BCS) theory of superconductivity. In fact,
what we are talking about here are strictly speaking fermionic condensates, in which a
pair of fermions are bound together, as in a Cooper pair, and then, acting like a boson,
can form a Bose–Einstein condensate.
37
Gang Su and Masuo Suzuki, ‘Towards Bose–Einstein Condensation of Electron
Pairs: Role of Schwinger Bosons,’ International Journal of Modern Physics B 13.8 (1999),
p. 926.
4.4 A case study: Sider’s ontological realism 89
38
Bennett, ‘Composition, Colocation and Metaontology.’
90 Identifying the alternatives: ontological realism, deflationism
might settle ontological debates, there is also the threat that it is too easy
(cf. Thomasson’s ‘easy’ approach) to do so – too easy for the serious onto-
logical realist at any rate.
Even if it isn’t reasonable to conclude that the burden of proof is now
on the ontological realist, it does seem clear that the realist owes us a more
fine-grained story about how, exactly, we come to know metaphysical
truths. For the most part, metaphysicians are quite happy to pursue the
questions they are interested in without an in-depth analysis of the tools
they use to do so, but this arguably leaves them too vulnerable to the defla-
tionist’s critique. Indeed, since the rise of metametaphysics, metaphysi-
cians have been much more aware about the pressing need to thoroughly
survey the epistemological foundations of the discipline, including its
‘toolbox’. At least partly because of this, certain new areas of research have
in recent years gained a substantial boost. Among them are the topics of the
next two chapters: grounding, ontological dependence, and fundamental-
ity. As we’ll see, the metaphysician’s toolbox has been supplemented with
some very promising tools due to these areas of research. One central issue
has been to shift our interest towards what is fundamental rather than
what is derivative: if the status of composite objects, for instance, is sub-
ject to such an intense debate without there being much hope of settling
the Special Composition Question (see Chapter 2), then perhaps we should
focus on what it is that grounds the existence of composite objects – what
they depend on for their existence. The next two chapters will address such
questions.
Besides driving efforts to expand the metaphysician’s toolbox, prob-
lems emerging from metametaphysics have, to a certain extent, shifted
attention towards purely epistemic issues. At least, this would seem to
be the case once we have made sure that a given debate is not merely lin-
guistic. In other words, we also need conceptual clarification to ensure
that the language of metaphysics is accurate. Assuming that we can do
this, research concerning epistemic issues in metaphysics becomes cen-
tral. Of course, epistemology lives a life of its own, but there has recently
been a growing interest in such research – also by metaphysicians them-
selves and not just epistemologists. It may not be appropriate to speak
of ‘the epistemology of metaphysics’ as a subdiscipline of its own quite
yet, but the various topics to be discussed later in this book – modal
epistemology, the role of intuitions in philosophy, and the relationship
92 Identifying the alternatives: ontological realism, deflationism
1
The definitive work is Kit Fine, ‘The Question of Realism,’ Philosophers Imprint 1
(2001), pp. 1–30, but for more recent discussion, see especially F. Correia and
B. Schnieder (eds.), Metaphysical Grounding: Understanding the Structure of Reality (Cambridge
University Press, 2012); see also R. L. Bliss and K. Trogdon, ‘Metaphysical Grounding,’ in
E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Winter 2014 edn); see http://plato.
stanford.edu/archives/win2014/entries/grounding/.
93
94 Grounding and ontological dependence
While all of the above no doubt express some important type of depend-
ence relationship, they are also clearly quite different from each other. In (1),
2
Additional recommended resources on ontological dependence include Fabrice Correia,
‘Ontological Dependence,’ Philosophy Compass 3 (2008), pp. 1013–1032, Tuomas E. Tahko
and E. J. Lowe, ‘Ontological Dependence,’ in E. N. Zalta (ed.), The Stanford Encyclopedia
of Philosophy (Spring 2015 edn); see http://plato.stanford.edu/archives/spr2015/entries/
dependence-ontological/; and Kathrin Koslicki, ‘Varieties of Ontological Dependence,’
in Correia and Schnieder (eds.), Metaphysical grounding, pp. 186–213.
5.1 Ontological dependence: a fine-grained notion 95
we mean that a set {x, y, z} could not exist if its members, namely x, y, z, did
not exist. The type of dependence in question is rigid existential dependence,
to be clarified in a moment. (In fact, there is another sense of dependence
at work in (1) as well, namely identity-dependence, but we will return to this
example later on, in the next section.) In (2), we seem to have in mind a more
general kind of dependence: there could not be electricity if there were no
electrons. So existence of electricity depends on the existence of particles of
a specific kind, electrons. This second type of dependence is also existential,
but to separate it from the rigid dependence in (1), we may call it generic exis-
tential dependence. In (3) we are instead referring to the ontological independence
of God. Presumably, God does not depend for her existence on anything, by
her very nature. In other words, it is part of the essence of God that she is
ontologically self-sufficient. We might call this essential independence, in con-
trast to essential dependence.
A family of notions is beginning to emerge. However, we should formu-
late each notion somewhat more precisely. The first thing to note in defin-
ing ontological dependence is the modal-existential element in dependence
claims. For instance, we’ve said that a set cannot exist unless its members
do. So there is a sense in which the existence of a set necessitates the exist-
ence of its members. Indeed, it is common to talk, for example, about rigid
existential necessitation as synonymous with rigid existential dependence
and generic necessitation as synonymous with generic existential depend-
ence. Typically, statements of ontological dependence are thought to refer
to metaphysical modality (rather than, say, conceptual or logical modality).3
This is primarily because they concern matters that are broader than
just conceptual or logical; the ontological independence of God being a
case in point. Besides God, substances and perhaps fundamental particles are
often considered to be entities that do not depend for their existence upon
anything else.
We can now give an initial definition of rigid existential dependence:4
3
The distinction between different kinds of modality is a matter of some debate, but
metaphysical necessity is typically understood as a broader kind of necessity than con-
ceptual or logical necessity, while logical necessity is strictest. In other words, a meta-
physically necessary truth would be something that is necessary in virtue of something
other than the definitions of concepts and the laws of logic.
4
This and the following non-formal definitions are taken from Tahko and Lowe,
‘Ontological Dependence’.
96 Grounding and ontological dependence
5
The origin of the term ‘rigid’ is Saul Kripke, Naming and Necessity (Harvard University
Press, 1980).
6
As discussed in Kripke, Naming and Necessity.
7
The labels (RXD) and (GXD) are to separate eXistential dependence from eSsential
dependence – see below.
5.1 Ontological dependence: a fine-grained notion 97
part of x’ in (GXD)). The important difference between the rigid and the
generic cases is that (RXD) refers to a specific object whereas (GXD) only
requires that at least some Fs exist. Another example, mentioned earlier,
where (GXD) would seem to capture the correct sense of dependence is (2),
‘Electricity ontologically depends on electrons’.
Let us now turn to a formal presentation of these notions. We use
the sentential operator ‘☐’ for metaphysical necessity, the one-place
predicate ‘E’ for existence, and the two-place sentential operator ‘→’ for
material implication. Following this notation, we can formalize rigid
existential dependence (RXD) and generic existential dependence (GXD)
as follows:
(RXD) ☐ (Ex → Ey)
(RXD) can be read as ‘x rigidly depends for its existence on y’, or alter-
natively ‘x rigidly necessitates y’. In (GXD), we have added the existential
quantifier ‘∃’ as well as the general term F to express the thought that ‘x
generically depends for its existence on something being an F’, or alterna-
tively ‘x generically necessitates F’. The important difference between the
rigid and the generic cases is that (RXD) refers to a specific object whereas
(GXD) only requires that at least some Fs exist. We would now have the
tools to formalize (1) and (2), but note that there are cases where further
tools are required. Consider:
On the face of it, what we mean in (4) is that if parents x and y had not
existed, then their child z could not have come into existence. This looks
like a case of rigid existential dependence, but it is clear that once z has
been conceived/born, her father/mother can go out of existence without
any effect on her own existence. At that point, there is only past rigid exis-
tential dependence. For cases such as this, we would require temporally
relativized versions of (RXD) and (GXD), but we will omit these compli-
cations here.8 In any case, we now have an initial understanding of the
modal-existential analysis of ontological dependence.
8
The specific formalization is a voluntary exercise. See Correia, ‘Ontological Dependence,’
p. 1016 for further details.
98 Grounding and ontological dependence
But what about (3)? It does not seem to fit this analysis neatly. Moreover,
there are other famous examples where the modal-existential analysis
would seem to break down, or not to be sufficiently fine-grained. Consider
the relationship between Socrates and the temporally extended event
or process that was his life.9 If we attempt to formulate this relationship
in terms of (RXD), it will turn out that Socrates’s life depends rigidly for
its existence upon Socrates. But surely Socrates’s existence also depends
upon his life! At the same time, we may state numerous things that are evi-
dently true of the life of Socrates, yet are not true of him, and vice versa (for
example, his life was long, but came to an abrupt ending, while Socrates
himself was snub-nosed). The upshot is that Socrates and his life surely
cannot be identical. It seems thus that there are certain difficult questions
which the modal-existential analysis may not fully address, at least not in
the simple form that we have presented it. This warrants us to consider
more fine-grained notions of dependence, such as identity-dependence and
essential dependence.
9 The example originates from Tahko and Lowe, ‘Ontological Dependence.’
10
For a classic account, see Ruth Barcan Marcus, ‘Essentialism in Modal Logic,’ Noûs 1.1
(1967), pp. 91–96.
11
See Kit Fine, ‘Essence and Modality,’ Philosophical Perspectives 8 (1994), pp. 1–16.
12
Kit Fine, ‘Ontological Dependence,’ Proceedings of the Aristotelian Society 95 (1994), pp.
269–290.
5.2 Identity-dependence and essential dependence 99
Socrates and the number 2, for example. Given that numbers necessarily
exist, it is necessarily the case that the number 2 exists if Socrates does. But
presumably we do not want to say that Socrates depends upon the number
2, or indeed on most necessary existents that you might put in the place of
the number 2. Yet, the modal-existential account makes everything depend
upon every necessary existent, which seems like the wrong result.
Admittedly, those who defend a modal-existential analysis of onto-
logical dependence could insist that it applies only to contingent objects.13
Simons makes this type of qualification by focusing on concrete enti-
ties, hence excluding necessary existents by definition; he also excludes
self-dependence. Simons calls the resulting notion of dependence weak rigid
dependence, but a stronger notion, strong rigid dependence, is also defined – the
latter is a special case of the former.14 One example of weak rigid depend-
ence as defined by Simons would be a particular water molecule depending
for its existence on a particular oxygen atom. In the case of strong rigid
dependence, the dependent object cannot be a proper part of the object
it depends upon. So object x is strongly rigidly dependent on object y if x
depends for its existence on y and y is not a proper part of x. One example
of strong rigid dependence defined thus would be a particularized property
(these are often known as ‘tropes’ or ‘modes’) depending for its existence
on a substance, e.g., the particular redness of an apple depending for its
existence on the apple. In addition to these rigid notions, Simons defines
corresponding notions of (weak and strong) generic dependence. But while it
is possible to avoid some of the challenges raised for the modal-existential
account with these qualifications, they do nevertheless leave room for an
alternative account of ontological dependence that could also be applied
to necessary existents. Alternatively, a proponent of the modal-existential
account could simply bite the bullet and insist that every contingent entity
does rigidly depend for its existence on necessary existents. One reason to
do so would be the ability to get by with a sparser battery of ontological
tools – a consideration motivated by parsimony.
The modal-existential analysis of ontological dependence can thus be
developed further and it can perhaps overcome some of the problems
that are typically associated with it. But there are areas where a more
13
See Peter Simons, Parts: A Study in Ontology (Oxford: Clarendon Press, 1987), p. 295.
14
Ibid., p. 303.
100 Grounding and ontological dependence
15
E.g., Koslicki, ‘Varieties of Ontological Dependence.’
5.2 Identity-dependence and essential dependence 101
Identity dependence (ID) x depends for its identity upon y =df There is a
two-place predicate ‘F’ such that it is part of the essence of x that x is related
by F to y.
Rigid essential dependence (RSD) x depends for its existence upon y =df
It is part of the essence of x that x exists only if y exists.
16
The Axiom of Extensonality is part of the standard Zermelo–Frankel formulation of set
theory; it states that any two sets with exactly the same members are equal.
17
Kit Fine, ‘Logic of Essence,’ Journal of Philosophical Logic 24 (1995), pp. 241–273;
E. J. Lowe, ‘Two Notions of Being: Entity and Essence,’ Royal Institute of Philosophy
Supplement 83.62 (2008), pp. 23–48.
18
These definitions follow Tahko and Lowe, ‘Ontological Dependence.’
102 Grounding and ontological dependence
(RSD) can be read as ‘it is part of the essence of x that it exists only if y
does’, whereas the natural reading of (GSD) is ‘it is part of the essence of x
that it exists only if something is an F’. It is important to note that while
it is uncontroversial that all essential truths about x are necessary truths
about x, the converse – the claim that all necessary truths about x are essen-
tial truths about x – has been challenged by Fine and Lowe.20 The challenge
is important in this connection because if all necessary truths about x were
also essential truths about x, then (RSD) and (GSD) would simply reduce to
(RXD) and (GXD) (recall that they can be understood in terms of metaphysi-
cal necessitation). In other words, essential dependence is of genuine interest
only to those who are non-reductionist about essence, that is to those who
adopt a non-modal conception of essence as defended by Fine and Lowe.
We can find slightly different formulations of essential dependence in
the literature. For instance, on Kathrin Koslicki’s re-construal of Fine’s
essentialist account, we get:21
19
Fine, ‘Logic of Essence.’
20
See Fine, ‘Essence and Modality’; E. J. Lowe, ‘What is the Source of our Knowledge of
Modal Truths?’, Mind 121 (2012), pp. 919–950.
21
Koslicki, ‘Varieties of Ontological Dependence,’ p. 190.
5.2 Identity-dependence and essential dependence 103
22
Fine, ‘Ontological Dependence,’ p. 275.
23
Koslicki, ‘Varieties of Ontological Dependence,’ p. 195.
104 Grounding and ontological dependence
We have already made use of the notion of ‘ground’ and it seems clear that
it has something to do with ontological dependence. But is grounding just
a variety of ontological dependence? At the outset, we can assume that if
grounding were to be understood as a type of ontological dependence, it
would be some sort of explanatory dependence. The idea that whatever does the
grounding also somehow explains what is being grounded is a crucial part of
the notion’s appeal. Relations of ontological dependence often seem to have
a similar type of explanatory role, but the link to explanation is weaker: even
though the existence of water depends on the existence of hydrogen and
oxygen, it does not seem to be the case that the existence of hydrogen and
oxygen explain the existence of water. Rather, what explains the existence of
water is the ability of hydrogen and oxygen atoms to form molecules (even
though this is rather simplified). So it seems that not all relations of ontologi-
cal dependence can be grounding relations in the usual sense.
We need something stricter than just ‘an explanatory role’ to identify
grounding – otherwise we would end up with a much too liberal notion,
for we may regard a number of loosely connected things explanatory in
some very loose sense. For instance, we might say that the fact that Smith
24
Ibid., p. 200, fn 13.
5.3 Is grounding ontological dependence? 105
25
See Koslicki, ‘Varieties of Ontological Dependence,’ for a thorough discussion of the
essentialist notion of dependence.
26
See Fabrice Correia and Benjamin Schnieder, ‘Grounding: An Opinionated
Introduction,’ in Correia and Schnieder (eds.), Metaphysical Grounding, pp. 1–36.
106 Grounding and ontological dependence
27
For discussion of the first three distinctions as well as a number of other distinc-
tions, see Kit Fine, ‘Guide to Ground,’ in Correia and Schnieder (eds.), Metaphysical
Grounding, pp. 37–80. We will not cover all of the relevant distinctions here. For dis-
cussion of the operational/relational approaches (the latter is sometimes also called
‘predicational’), see Kelly Trogon, ‘An Introduction to Grounding,’ in M. Hoeltje,
B. Schnieder, and A. Steinberg (eds.), Varieties of Dependence (Munich: Philosophia Verlag,
2013), pp. 97–122.
28
Fine, ‘Guide to Ground,’ p. 50.
5.4 Formal features of ground 107
29
For an analysis of weak ground, see Louis deRosset, ‘What is Weak Ground?’, Essays in
Philosophy 14.1 (2013), Article 2.
30
This has been labelled the ‘orthodox’ approach by Michael Raven, ‘Is Ground a Strict
Partial Order?’, American Philosophical Quarterly 50.2 (2013), pp. 191–199.
108 Grounding and ontological dependence
31
For further details, see Fabrice Correia, ‘Grounding and Truth-Functions,’ Logique &
Analyse 211 (2010), pp. 251–279.
32
Ibid., p. 254.
33
The example ‘I took an umbrella because it was raining’ may look like a case of caus-
ation rather than (or in addition to) grounding. This may indeed be the case. We will
return to the relationship between grounding and causation below.
5.4 Formal features of ground 109
34
For further details, see Correia, ‘Grounding and Truth-Functions.’
35
For some challenges, see C. S. Jenkins, ‘Is Metaphysical Dependence Irreflexive?’,
The Monist 94.2 (2011), pp. 267–276; Jonathan Schaffer, ‘Grounding, Transitivity, and
Contrastivity,’ in Correia and Schnieder (eds.), Metaphysical Grounding, pp. 122–38;
Tuomas E. Tahko, ‘Truth-Grounding and Transitivity,’ Thought: A Journal of Philosophy 2.4
(2013), pp. 332–340.
110 Grounding and ontological dependence
36
On this, see Fine, ‘Ontological Dependence.’
5.4 Formal features of ground 111
(i) The fact that a particular bottle of beer, b, exists is partially grounded
in the fact that b has a stable macrophysical structure.
(ii) The fact that b has a stable macrophysical structure is partially
grounded in the fact that certain fundamental laws of physics hold.
37
See Tahko, ‘Truth-Grounding and Transitivity’ for further discussion of this example.
38
For instance, we could refer to the Pauli Exclusion Principle, which states that two fer-
mions in a closed system cannot be in the same quantum state at the same time. This
principle is sometimes said to be responsible for the space-occupying behaviour of
matter, as it ‘prevents’ atoms from collapsing. We encountered this principle in pass-
ing in Chapter 4 and will refer to it again in Chapter 6.
112 Grounding and ontological dependence
It seems that (iii) states a part of the ‘ultimate ground’ of the existence
of b. This is perfectly in accordance with the usual treatment of ground-
ing – we only need the transitivity of grounding to get this result. But at the
same time one might think that (iii) is a rather odd grounding claim. The
reason for this is that we do not immediately see how fundamental laws of
physics are relevant for the existence of a particular bottle of beer. The clash
of intuitions at hand here – between a certain type of intuitive relevance
and ontological ground – may highlight a deeper issue concerning ground.
The issue is that of epistemic as opposed to ontological relevance. The notion
of ground is generally considered to be ontological, in which case the clash
of intuitions described here should not cause much concern, at least insofar
as the opposition to claims like (iii) is based only on considerations of epi-
stemic relevance. So if one asks whether there’s any beer left and someone
answers that there is a bottle of beer in the fridge, one would not consider
it relevant that the macrophysical stability of the bottle depends, in some
sense, on certain fundamental laws of physics. Considerations such as these
may prompt us to question whether ground is truly a single ontological rela-
tion or are there instead several distinct notions of ground, perhaps some
of them ontological and some epistemic. If this were the case, then it might
seem that grounding is unable to do all the work it is often claimed to do.39
We turn to an overview of some this work, but we will briefly return to the
issue concerning distinct notions of ground towards the end of the chapter.
The title of this subsection suggests that a lot of ground will be covered.
This is true, but we will not need to spend too much time on any given
issue.40 The reason is partly because we are about to move to a rather
39
Besides Tahko, ‘Truth-Grounding and Transitivity,’ see for instance Jessica Wilson,
‘No Work for a Theory of Grounding,’ Inquiry 57.5–6 (2014), pp. 1–45 for discussion
regarding the work that grounding is supposed to do in different contexts. For further
discussion regarding the formal features of ground, see Gonzalo Rodriguez-Pereyra,
‘Grounding is Not a Strict Order,’ Journal of the American Philosophical Association
(forthcoming).
40
For a more in-depth discussion of many of the topics of this subsection, see for
instance Gideon Rosen, ‘Metaphysical Dependence: Grounding and Reduction,’ in
B. Hale and A. Hoffman (eds.), Modality: Metaphysics, Logic, and Epistemology (Oxford
University Press, 2010), pp. 109–135.
5.5 Grounding, causation, reduction, and modality 113
It will not do, for example, to say that the physical is causally determinative
of the mental, since that leaves open the possibility that the mental has a
distinct reality over and above that of the physical. Nor will it do to require
that there should be an analytic definition of the mental in terms of the
physical, since that imposes far too great a burden on the anti-realist. Nor
is it enough to require that the mental should modally supervene on the
physical, since that still leaves open the possibility that the physical is itself
ultimately to be understood in terms of the mental.
Fine’s suggestion, unsurprisingly, is that the right question about the rela-
tionship of the physical and the mental is whether the latter is grounded in
the former. Let us now look at each of the mentioned aspects of grounding
in some more detail.
As Fine suggests, even if physical states causally determine mental states,
this does not mean that mental states could not have a s eparate existence
over and above the physical. However, this does make an assumption
about what physicalism involves – one that not everyone would necessarily
accept. The assumption is that physicalism rules out the possibility that the
mental is separate from but depends on the physical.42 To establish phys-
icalism in this sense, a stronger connection between physical and men-
tal states should be demonstrated, such as grounding. From this, we can
infer that grounding is, in some sense, stronger than causation – although
41
Fine, ‘Guide to Ground,’ p. 41.
42
For relevant background concerning physicalism in philosophy of mind, see for
instance Daniel Stoljar, ‘Physicalism,’ in E. N. Zalta (ed.), The Stanford Encyclopedia of
Philosophy (Spring 2015 edn); see http://plato.stanford.edu/archives/spr2015/entries/
physicalism/.
114 Grounding and ontological dependence
43
Schaffer, ‘Grounding, Transitivity, and Contrastivity,’ p. 122.
44
But for a defence of the ‘orthodoxy’ and against the possibility of counterexamples
to the transitivity and irreflexivity of grounding, see Raven, ‘Is Ground a Strict Partial
Order?’
45
For discussion, see Rosen, ‘Metaphysical Dependence: Grounding and Reduction,’
especially pp. 122 ff.
46
For a defence of the view that reduction should be conceived as identity, see Paul Audi,
‘A Clarification and Defense of the Notion of Grounding,’ in Correia and Schnieder
(eds.), Metaphysical Grounding, pp. 101–121.
5.5 Grounding, causation, reduction, and modality 115
47
For an overview of these options, see Trogdon, ‘An Introduction to Grounding.’
48
This type of characterization can be found in Rosen, ‘Metaphysical Dependence:
Grounding and Reduction.’
116 Grounding and ontological dependence
This final section of the chapter deals with an important issue, the
relationship between grounding and truthmaking. The truthmaking litera-
ture is somewhat older than the modern grounding literature, but the issue
is complicated by the fact that some of the early grounding literature was
49
For a much more comprehensive discussion of this issue, see Kelly Trogon,
‘Grounding: Necessary or Contingent?’, Pacific Philosophical Quarterly 94 (2013),
pp. 465–485.
5.6 Grounding and truthmaking 117
50
In particular, see Gonzalo Rodriguez-Pereyra, ‘Why Truthmakers?’, in H. Beebee and
J. Dodd (eds.), Truthmakers: The Contemporary Debate (Oxford University Press, 2005), pp.
17–31, and Benjamin Schnieder, ‘Truth-Making Without Truth-Makers,’ Synthese 152.1
(2006), pp. 21–46. However, the contemporary truthmaking literature dates from as
early as Kevin Mulligan, Peter Simons, and Barry Smith, ‘Truth-Makers,’ Philosophy and
Phenomenological Research 44.3 (1984), pp. 287–321.
51
On this, see David M. Armstrong, Truth and Truthmakers (Cambridge University Press,
2004), p. 5.
118 Grounding and ontological dependence
52
Again, see Tahko, ‘Truth-Grounding and Transitivity.’
53
Fine, ‘Guide to Ground,’ pp. 43–46.
54
For instance, Trogdon assumes univocalism in his ‘An Introduction to Grounding,’ sug-
gesting that it is a reasonable starting point. Trogdon also associates this type of univo-
calism with Rosen.
55
For a sceptical response, see Chris Daly, ‘Scepticism About Grounding,’ in Correia and
Schnieder (eds.), Metaphysical Grounding, pp. 81–100.
5.6 Grounding and truthmaking 119
This chapter concerns the view that reality comes with a hierarchical struc-
ture of ‘levels’. This view has a long history and it remains very popular.
Our everyday experiences as well as scientific practice seem, prima facie, to
strongly support such a view, since scale is a major factor in both of them.
The existence of a scale suggests that there is some way to structure reality
and this idea is naturally combined with the thought that this structure
can be described in terms of ontological dependence – a tool which is now
at our disposal. The relevance of scale becomes apparent when we consider
parts and wholes, which are studied in mereology: we talk about subatomic
particles constituting atoms, atoms constituting molecules (and other
superatomic structures), and molecules constituting everything we see
around us. To express this in terms of ontological dependence we might
say that a whole depends for its existence on its parts (although not everyone
would agree that this is the correct direction of the dependence relation,
as we will see). Fundamentality comes in when we consider whether there
is an end to this chain of dependence: do we ever reach the smallest parts?
That is, is there a fundamental, ‘bottom level’, or does the hierarchical
structure of reality continue ad infinitum? The received view has long been
that there indeed is a fundamental level that everything else ‘stands on’.
The fundamental level is usually thought to be at the smaller end of the
spectrum: atomism suggests that there are certain (subatomic) indivisible
simples, particles that are fundamental or ontologically independent. But
we must immediately note that the fundamental level must not necessarily
be at the bottom, the smaller end – the fundamental end could also be at
the top; that is, the universe as a whole could be considered fundamental,
to be prior to its parts.
We will look into all of these options in much more detail below. But
before that, it should be mentioned that some recent work on this topic,
120
Fundamentality and levels of reality 121
taking heed of contemporary physics, has gone some way towards refuting
the idea of ‘levels’ altogether. Without the hierarchical view introduced
by the levels metaphor, talk about a fundamental level seems problematic.
So before we can get started, we will have to clarify a number of issues,
such as the levels metaphor itself.
Further problems are introduced when we try to make sense of the pos-
sibility that there could be no fundamental level at all. While future phys-
ics may help to clarify the issue, it is not clear that any amount of empirical
work will conclusively settle it. An important question here is whether it
is possible that the levels not only go on ad infinitum, but are also infin-
itely complex. So far we have seen that each consecutive level brings with
it certain new properties, but could it turn out that at some point it’s just
‘turtles all the way down’? This is the idea that there is an infinity of levels
but the same structure repeats and hence we would have infinity without
complexity.1 But before we attempt to make sense of these ideas, we should
get clearer about the state of the art regarding fundamentality.
The cone in Figure 6.1 represents the hierarchical structure of reality,
with the smallest thing(s) at the bottom and the universe as a whole at
Figure 6.1
1
This type of repetitive structure has been coined as ‘boring’ in Jonathan Schaffer, ‘Is
There a Fundamental Level?’, Noûs 37 (2003), pp. 498–517. For further discussion on
this type of boring infinite descent, see Tuomas E. Tahko, ‘Boring Infinite Descent,’
Metaphilosophy 45.2 (2014), pp. 257–269.
122 Fundamentality and levels of reality
the top. Why a cone? Because it reflects the idea that there is a scale to the
structure of reality. Another reason: it seems natural to think that there
are fewer different kinds of things at the smaller end of the spectrum. The
Standard Model of particle physics currently postulates that there are 61
elementary or fundamental particles (if we count particles and their cor-
responding antiparticles as well as the various colour states of quarks and
gluons). In contrast, the larger end of the spectrum may be considered
to encompass all the different kinds of things there are in reality – per-
haps even infinitely many different kinds. The lines at each end of the
cone represent the hypothetical bottom and top levels. The dotted sections
represent the possibility of infinite descent and infinite ascent, beyond the
hypothetical bottom and top levels.
Four options immediately arise regarding the hierarchical structure of
reality:
If both ends of the cone are closed, then we might consider either one
of them as fundamental. If only one end is closed, then it appears that only
the closed end could be considered fundamental, whether it is the top or
the bottom. This follows directly from the idea that at the fundamental end
the chain of dependence must terminate. The first three options enable dif-
ferent varieties of metaphysical foundationalism, which, in its broadest sense,
states simply that there is a fundamental level. The fourth option, how-
ever, cannot support metaphysical foundationalism, as there is neither a
top nor a bottom level. In this case, only some sort of metaphysical infinitism
would seem to be available. However, this description is somewhat simpli-
fied, as we have not yet said much about what ‘fundamentality’ amounts
to. We will do so in due course.
There are three questions that this chapter is primarily concerned with:
2
See J. Ladyman and D. Ross (with D. Spurrett and J. Collier), Every Thing Must Go (Oxford
University Press, 2007), especially pp. 4, 53–57, and 178–180.
3
See for instance Schaffer, ‘Is There a Fundamental Level?’
124 Fundamentality and levels of reality
4
Paul Oppenheim and Hilary Putnam, ‘Unity of Science as a Working Hypothesis,’ in
H. Feigl et al. (eds.), Concepts, Theories, and the Mind-Body Problem, Minnesota Studies in
the Philosophy of Science (Vol. II, pp. 3–36) (Minneapolis: University of Minnesota
Press, 1958).
6.1 The ‘levels’ metaphor 125
5
See Ladyman and Ross, Every Thing Must Go, p. 47.
6
For discussion, see Jaap van Brakel, ‘Chemistry and Physics: No Need for Metaphysical
Glue,’ Foundations of Chemistry 12 (2010), pp. 123–136.
126 Fundamentality and levels of reality
One such approach comes from Alexander Rueger and Patrick McGivern.7
They suggest that the hierarchy of reality should be understood as a
sequence, not of entities, but of behaviours of entities. These behaviours,
they claim, are not ordered according to spatial part–whole relations as
in the OP account – this is what helps to avoid reductionism. This type of
account might even be motivated by current physics:
When physicists talk about levels, they often do not have in mind a
mereological ordering of entities. Instead, what they describe is best
understood as a stratification of reality into processes or behaviours at
different scales. To describe a system’s behaviour at a particular scale,
we first specify a set of equations that represent the relevant features of
the system at that scale. It is then the solutions to those equations – for
instance, the integration of an equation over some time interval – that
describe the behaviour of the system on that scale. Note that ‘behaviour’ is
understood very broadly here as the distribution of properties of a system
over space and/or time.8
As Ladyman and Ross are opposed to the ‘levels’ metaphor in general, they
would presumably not be satisfied with this alternative approach. They are
not alone in questioning the metaphor.9 Moreover, the notion of ‘scales’
used by Rueger and McGivern would seem to do much of the work of the
original ‘levels’, so it is not entirely clear that this account manages to
avoid the mereological connotations of levels. There are also those who
deny that there is a fundamental level, but accept the levels metaphor in
some form.10
But why exactly do Ladyman and Ross abandon the levels metaphor –
what is so problematic with the mereological ordering? One of their major
concerns appears to be that the classic accounts simply assume atomism
and take granularity to be the primary criterion for distinguishing levels.
However, if something along the line suggested by Rueger and McGivern
is feasible, then the atomistic assumption may not be necessary for the
7 Alexander Rueger and Patrick McGivern, ‘Hierarchies and Levels of Reality,’ Synthese
176 (2010), pp. 379–397.
8 Rueger and McGivern, ‘Hierarchies and Levels of Reality,’ p. 382.
9 For further discussion, see John Heil, From an Ontological Point of View (Oxford: Clarendon
Press, 2003), Ch. 2.
10
E.g., Schaffer, ‘Is There a Fundamental Level?’; Andreas Hüttemann and David
Papineau, ‘Physicalism Decomposed,’ Analysis 65 (2005), pp. 33–39.
6.2 Mereological fundamentality 127
levels metaphor. Another concern that Ladyman and Ross have is that the
mereological ordering is not supported by current physics. They contend
that the levels metaphor understood as a mereological structure ordered
by part–whole relations fails as there is no good evidence for mereological
atomism coming from physics.11 We’ll look into their objection in more
detail below. But as we will see in due course, mereological atomism is not
built-in to the notion of fundamentality or ‘levels’. Let us now try to specify
the sense of ‘fundamentality’ at play in this discussion.
We have already been talking about mereological atomism and its con-
nection to fundamentality, but we have not yet defined this conception of
fundamentality. Here is a simple definition:
Note that (MF) has two parts: the mereological hierarchy, and the idea
that fundamentality is a thesis about the fundamental mereological level.
(MF) comes in two primary forms, depending on which end of the mereo-
logical scale is considered fundamental. An additional commitment that
those in support of (MF) may have is that the entities at the fundamental
level have the highest degree of ‘reality’. This type of view about ‘degrees
of being’ can be traced all the way to Aristotle, but it has proven some-
what difficult to explicate this view and it remains unclear what the link
is between such a view and recent work on fundamentality.12 Metaphors
abound, but typically the idea is that x is fundamental or ontologically inde-
pendent in this sense if and only if nothing grounds x.13 The notion of onto-
logical independence is familiar to us from Chapter 5, but we can now
make some further use of it.
11
Ladyman and Ross, Every Thing Must Go, pp. 53–57.
12
For a recent attempt to clarify this link, see Kris McDaniel, ‘Degrees of Being,’
Philosophers’ Imprint 13.19 (2013). McDaniel argues that there is indeed such a link and
that we can (and should) make use of it.
13
See Jonathan Schaffer, ‘On What Grounds What,’ in D. Chalmers, D. Manley, and
R. Wasserman (eds.), Metametaphysics (Oxford University Press, 2009), p. 373.
128 Fundamentality and levels of reality
Furthermore, although the above definition of (MF) does not state it,
(MF) is generally combined with the idea that the there is an asymmetric
ontological dependence relation from one end of the scale to the other.
It is the direction of this dependence which divides proponents of (MF)
into pluralists and monists, although we should note that pluralism and
monism are views independent of (MF) and hence variations of plural-
ism and monism without (MF) are possible.14 When combined with (MF),
the pluralists hold that the direction of the dependence is from the
larger to the smaller, resulting in mereological atomism – this is, per-
haps, the standard view. The monists think that the parts are depend-
ent on the whole and hence that there is only one fundamental entity,
namely the universe. One proponent of the monist view is Jonathan
Schaffer, who considers only substances to be fundamental, and further,
that there is exactly one substance, namely the cosmos. On this under-
standing, a substance is a basic or fundamental, ontologically independ-
ent entity. This is roughly how Aristotle might characterize the notion
of ‘substance’. It is the cosmos, conceived as a substance, which is prior
to its (arbitrary) parts. Schaffer’s Spinoza-inspired priority monism, how-
ever, does not assume mereological atomism. In fact, one of Schaffer’s
arguments in favour of priority monism is that it is compatible with the
possibility of atomless gunk, whereby matter is infinitely divisible ‘gunk’
and matter or objects have no smallest parts; there are no mereological
simples. The question of gunk is of some importance here, as those com-
mitted to (MF) + pluralism and the idea that the dependence relation
goes from the larger to the smaller will struggle to accommodate the
infinite divisibility of matter entailed by a ‘gunky’ ontology – we will
return to this shortly.
Even though (MF) combined with mereological atomism is something
of a default view when it comes to fundamentality, it is also the most
resisted: as we saw above, Ladyman and Ross strongly oppose the view.
Most opponents of (MF) are worried about the additional commitment to
mereological atomism. The specific worry that Ladyman and Ross have
is directed precisely against mereological atomism: none of the various
atomistic conceptions can stand the test of contemporary physics. The
14
For further discussion on the monism/pluralism issue as well as an alternative account
of fundamentality, see Kelly Trogdon, ‘Monism and Intrinsicality,’ Australasian Journal of
Philosophy 87 (2009), pp. 127–148.
6.2 Mereological fundamentality 129
15
Erwin Schrödinger, ‘Discussion of Probability Relations Between Separated Systems,’
Proceedings of the Cambridge Philosophical Society 31 (1935), p. 555; quoted in Ladyman and
Ross, Every Thing Must Go, p. 19.
16
However, the inference from quantum entanglement to the failure of individuality
and hence mereological atomism can be questioned. For a discussion of this issue,
see Mauro Dorato and Matteo Morganti, ‘Grades of Individuality. A Pluralistic View of
Identity in Quantum Mechanics and in the Sciences,’ Philosophical Studies 163 (2013), pp.
591–610.
130 Fundamentality and levels of reality
17
For a very recent example, see Paavo Pylkkänen, Basil J. Hiley, and Ilkka Pättiniemi,
‘Bohm’s Approach and Individuality,’ in A. Guay and T. Pradeu (eds.), Individuals Across
the Sciences, Ch. 12 (Oxford University Press, 2015).
18
See Ned Markosian, ‘Against Ontological Fundamentalism,’ Facta Philosophica 7 (2005),
pp. 69–84.
19
However, degrees of reality do not necessarily have to be associated with mereological
fundamentality.
20
Ross P. Cameron, ‘Turtles All the Way Down: Regress, Priority and Fundamentality,’
Philosophical Quarterly 58 (2008), pp. 1–14.
6.2 Mereological fundamentality 131
this approach has been questioned.21 There are various approaches that one
could take in order to resist the result and we will consider one of them in
detail below, but let us first briefly examine the intuition at stake. Cameron
and many others writing about fundamentality and the idea that compos-
ition couldn’t ‘get off the ground’ without a fundamental level typically
acknowledge that this appeal to intuition hardly constitutes an argument in
favour of fundamentality. An obvious problem here is that our ‘folk’ intui-
tions may not be a reliable source of evidence when it comes to matters
such as the constraints on the fundamental structure of reality – some-
thing that we will discuss further in Chapter 8. One complication concerns
the way in which we think about the structure of space-time. If space-time
itself is made up of zero-dimensional space-time points and hence has no
internal structure, no smaller parts, then this ‘pointy’ space-time would
seem to rule out a certain type of infinite regress by its very nature: surely
those space-time points themselves do not depend for their existence on
anything and hence are, in one sense, fundamental? On the other hand,
it’s standard to think that any given collection of these space-time points
composes a space-time region. These regions are identified in terms of their
composite space-time points. This discussion is related to various issues
in the metaphysics of space and time, but what matters to us now is that
there are two different ways to conceive of the relationship between the
points and the regions; as John Hawthorne puts it:
21
See for instance Matteo Morganti, ‘Dependence, Justification and Explanation: Must
Reality Be Well-Founded?’, Erkenntnis 60.3 (2015), pp. 555–572.
22
John Hawthorne, ‘Three-dimensionalism vs. Four-Dimensionalism,’ in T. Sider,
J. Hawthorne and D. W. Zimmerman (eds.), Contemporary Debates in Metaphysics
(Oxford: Blackwell Publishing, 2008), p. 264.
132 Fundamentality and levels of reality
23
Ladyman and Ross, Every Thing Must Go, p. 19.
24
Compare with Jaegwon Kim, Essays in the Metaphysics of Mind (Oxford: Oxford University
Press, 2010), p. 183. Kim prefers ‘mereological dependence’ instead of the term ‘mereo-
logical supervenience’ and contrasts it with causal dependence.
6.3 Further specifications: well-foundedness and dependence 133
between a whole and its parts, and it is, of course, the sense of dependence
that seems to be underlying (MF). One upshot of all this is that there is a
wide agreement about the incompatibility of pluralism + (MF) + gunk (or
metaphysical infinitism more generally). Recall that pluralism in this con-
text refers to the idea that there is a plurality of fundamental objects (or
kinds) at the fundamental level – a view that goes naturally together with
mereological atomism. Most seem to be inclined to drop gunk and keep
pluralism + (MF). But recall also that one could drop pluralism and adopt
monism instead, as Schaffer does – Schaffer’s priority monism suggests
that the universe as a whole is prior to its parts. In fact, Schaffer considers
it an argument in favour of his priority monism that it is able to accom-
modate gunky ontologies. But we’ve also seen reasons to doubt (MF) above;
the preceding considerations would seem to undermine at least one moti-
vation for (MF), because one could accept that mereological dependence
cannot be infinite while denying that the fundamental level consists of
mereological simples. Given this, as well as the forceful objections against
(MF) from physics by Ladyman and Ross (and others), the present status of
(MF) is in doubt. But rather than try to pass judgement about any of this, we
should open up the assumptions behind (MF) and contrast it with a more
general sense of fundamentality.
25
For the distinction between full and partial ground, see section 5.4.
26
There are various other possible formulations of well-foundedness, for a recent survey,
see Scott Dixon, ‘What Is the Well-Foundedness of Grounding?’, Mind (forthcoming).
6.3 Further specifications: well-foundedness and dependence 135
idea is partially analogous to the familiar Zeno paradoxes, such as the race
between Achilles and a tortoise. As the story goes, Achilles gives a head start
to the tortoise, but in the time that it takes Achilles to reach the starting
point of the tortoise, p1, the tortoise has already reached point p2. So Achilles
must reach point p2, but since he does not move instantaneously, the tortoise
has reached point p3 in the meanwhile; this way it seems that Achilles will
never be able to overtake the tortoise. Of course, we know very well that this
sequence, although infinite, does terminate – Achilles will indeed overtake
the tortoise. The case of infinite chaining is somewhat different in the sense
that it would take an infinite amount of ‘time’ to reach the fundamental
level, so it is not directly analogous. But as long as there is a fundamental
level, infinity can perhaps be dealt with. This idea can be seen in Schaffer’s
work, as well as in Karen Bennett’s.27 For instance, Bennett requires that a
well-founded chain must not be infinite at the fundamental end, even though
well-foundedness is compatible with an infinity of grounded entities. A chain
can be infinite and well-founded, that is, grounded in something fundamen-
tal. As Ricki Bliss puts it: ‘A finite grounding chain is well-founded but a well-
founded grounding chain need not be finite’.28 The upshot is that (WF) only
requires that the grounding chain eventually terminates, even if it takes
infinitely many steps to reach the fundamental level.
Given that we are now laying the foundations for a notion of funda-
mentality broader than (MF), we also have to characterize a notion of
ontological dependence that would be able to maintain the type of hier-
archical chain of dependence or order that could explicate it. We are look-
ing for asymmetric sequences of ontological dependence that could start,
for instance, from macrophysical objects and terminate at a fundamental
level. It seems that only a rather general sense of ontological dependence
will do the trick. One possibility which would appear to be sufficiently gen-
eral would be a sequence of generic existential dependence:29’
27
See Schaffer, ‘Is There a Fundamental Level?’, pp. 509–512; Karen Bennett, ‘By Our
Bootstraps,’ Philosophical Perspectives 25 (2011), p. 34.
28
Ricki L. Bliss, ‘Viciousness and the Structure of Reality,’ Philosophical Studies 166.2 (2013),
p. 416.
29
Originally introduced in section 5.1.
136 Fundamentality and levels of reality
30
David M. Armstrong, Truth and Truthmakers (Cambridge University Press, 2004),
pp. 19–20.
138 Fundamentality and levels of reality
31
For an account of minimal truthmakers, see Tuomas E. Tahko and Donnchadh
O’Conaill, ‘Minimal Truthmakers,’ Pacific Philosophical Quarterly (2015 [online], forth-
coming). For the details of Ted Sider’s ‘ideological fundamentality,’ see his Writing the
Book of The World (Oxford University Press, 2011); see also section 4.4 of this book.
6.4 Generic ontological fundamentality 139
32
Kit Fine, ‘Towards a Theory of Part,’ Journal of Philosophy 107.11 (2010), p. 560.
33
Ibid., pp. 567–568.
140 Fundamentality and levels of reality
type of view defended for instance by Ladyman and Ross, according to which
reality is fundamentally relational or structural.34
Now that we have a clearer idea about what fundamentality amounts
to, let us briefly look at one outlier: the possibility of a repetitive version
of metaphysical infinitism – the view that the grounding chain does not
terminate. The idea is that the same structure could repeat infinitely.
This is an idea also entertained by Schaffer; he calls this type of infinite
descent ‘boring’, or in other words, the same structure keeps repeating –
it’s ‘turtles all the way down’.35 In other words, there is no novelty in the
structure after a certain point. The part of the structure that repeats could
be of any length, as long as it starts anew at some point. What makes this
possibility interesting is that such a repeating structure might even be
enough to satisfy (GOF). To see this, consider the idea of ontologically
minimal elements again, as introduced with the definition of (GOF).
The infinite descent of a repetitive structure could allow for an onto-
logically minimal description in the sense that a description of the repeti-
tive part only needs to be supplemented with an instruction to continue as
before, for instance ‘the world stands on four elephants, the four elephants
stand on a turtle, the turtle stands on two camels, the camels stand on
four elephants, the four elephants stand on a turtle … and repeat ad infin-
itum’. No other terms than these four elephants, a turtle, and two camels
can be introduced that would describe reality more minimally – they carve
perfectly at the joints and hence could be understood to constitute the
fundamental level in the sense of (GOF). But we are treading on very con-
troversial terrain here – this option is not yet established in the literature,
even though it is receiving more and more attention.36
Summarizing, it appears that much remains to be done in order to spec-
ify the range of options with regard to fundamentality. The generic notion
34
For further discussion of this type of structuralist view and fundamentality, see for
instance Kerry McKenzie, ‘Priority and Particle Physics: Ontic Structural Realism as a
Fundamentality Thesis.’ British Journal for the Philosophy of Science 65 (2014), pp. 353–380;
Steven French, The Structure of the World: Metaphysics and Representation (Oxford University
Press, 2014).
35
Schaffer, ‘Is There a Fundamental Level?’, p. 505. See also Tahko, ‘Boring Infinite
Descent.’
36
See for instance Matteo Morganti, ‘Dependence, Justification and Explanation: Must
Reality Be Well-Founded?’; Matteo Morganti, ‘Metaphysical Infinitism and the Regress
of Being,’ Metaphilosophy 45.2 (2014), pp. 232–244; Ricki Bliss, ‘Viciousness and Circles
of Ground,’ Metaphilosophy 45.2 (2014), pp. 245–256.
6.5 Fundamentality and physics 141
37
David Bohm, Causality and Chance in Modern Physics, 2nd ed. (London: Routledge,
1984), p. 95.
142 Fundamentality and levels of reality
38
The Pauli Exclusion Principle states that no two identical fermions, such as electrons,
can have all the same quantum numbers (e.g., spin, angular momentum, energies of
electrons) at the same time. This means, for instance, that if two electrons in an atom
occupy the same orbital and hence have the same energy, then they must differ with
regard to another quantum number, namely spin.
6.5 Fundamentality and physics 143
Ladyman and Ross accuse metaphysicians of doing in their search for ‘genu-
ine causal oomph’.39 The ‘microbangings’ model of fundamental physics is
indeed not very fruitful, but the idea of levels of reality and of a fundamen-
tal level does not need to be intimately connected with that model – this is
what we are in the process of showing here.
We’ve seen that macrophysical objects depend for their existence on
certain principles. These principles themselves depend on a distribution
of fundamental physical constants that fall within a specific range. The
dependence here is transitive: ultimately macrophysical objects depend for
their existence on the distribution of fundamental physical constants, as
will become clear in what follows.
One important fundamental physical constant associated with the sta-
bility of matter (and hence the existence of macrophysical objects) is the
elementary charge, namely 1.6021892 × 10−19 coulombs. This is the charge
of a proton, whereas an electron has a negative charge of equal strength.
Interestingly, the charges of all other freely existing subatomic particles that
have a charge are either equal to or an integer multiple of the elementary
charge. Quarks, which are the constituents of protons, have charges that
are integer multiples of one third of the elementary charge, but they are
not freely existing as individiual particles. The total charge of the atom is of
course neutral. The picture gets somewhat more complicated when details
about the underlying fundamental forces are introduced; for instance, the
nucleus holds together in virtue of the strong nuclear force, which overpow-
ers the repulsive forces between the (net) positively charged quarks that
make up protons. (Quarks can form quark–antiquark pairs – mesons – and
combinations of three quarks – baryons, such as protons and neutrons –
which are collectively known as hadrons.) What is interesting for us is
whether fundamental physical constants, such as the elementary charge,
are physically necessary for the stability of matter. In other words, if the
fundamental constants had been different, would atoms still be stable?
It has been suggested that at least some of the fundamental physical
constants do, or at least could vary over time, specifically the fine-structure
constant (sometimes called the electromagnetic force coupling constant),
39
Ladyman and Ross, Every Thing Must Go, p. 4. By ’microbangings’, Ladyman and Ross
mean something like what has traditionally been called ’billiard-ball physics’, i.e., rad-
ically simplified physics in which particles are imagined to be tiny spheres bouncing
off each other.
6.5 Fundamentality and physics 145
For example, if we were to allow the ratio of the electron and proton
masses β = me/mN and the fine structure constant α to change their values
(assuming no other aspects of physics are changed by this assumption –
which is clearly going to be false!), then the allowed variations are very
constraining. Increase β too much, and there can be no ordered molecular
structures because the small value of β ensures that electrons occupy
well-defined positions in the Coulomb field created by the protons in the
nucleus. If β exceeds about 5 × 10−3 α2, then there would be no stars. If
modern grand unified gauge theories are correct, then α must lie in the
40
For further discussion regarding fundamental physical constants especially as they are
related to laws of nature, see Tuomas E. Tahko, ‘The Modal Status of Laws: In Defence
of a Hybrid View,’ The Philosophical Quarterly (2015 [online], forthcoming).
146 Fundamentality and levels of reality
narrow range between about 1/180 and 1/85 in order that protons not
decay too rapidly and a fundamental unification of non-gravitational forces
can occur. If, instead, we consider the allowed variations in the strength of
the strong nuclear force, αs, and α then roughly αs < 0.3α1/2 is required for
the stability of biologically useful elements like carbon.41
41
John D. Barrow, ‘Cosmology, Life, and the Anthropic Principle’, Annals of the New York
Academy of Sciences 950 (2001), p. 147.
42
This is not the only factor that we simplify for the purposes of illustration. For a more
rigorous account, see for instance Marc Lange, ‘Could the Laws of Nature Change?’,
Philosophy of Science 75.1 (2008), pp. 69–92.
6.5 Fundamentality and physics 147
43
John Heil, The Universe As We Find It (Oxford University Press, 2012), pp. 38 ff.
148 Fundamentality and levels of reality
44
Jonathan Hackett, ‘Locality and Translations in Braided Ribbon Networks,’ Classical and
Quantum Gravity 24 (2007), p. 5757.
45
Howard Georgi, ‘Effective Quantum Field Theories,’ in Paul Davies (ed.), The New Physics
(Cambridge University Press, 1989), p. 456.
46
Ibid.
6.5 Fundamentality and physics 149
47
Hans Dehmelt, ‘Triton,… Electron,… Cosmon,…: An Infinite Regression?’, Proceedings
of the National Academy of Sciences 86 (1989), p. 8618. See also Tahko, ‘Boring Infinite
Descent’ and Morganti, ‘Metaphysical Infinitism and the Regress of Being.’
150 Fundamentality and levels of reality
neutrons, the strong nuclear force relies on the exchange of mesons, but it
is merely a residual force of the strong force (that is, the colour force) that
binds together positively charged quarks. In the latter case, the relevant
exchange particles are gluons. A full examination of the strong force would
require delving into quantum chromodynamics, but all we are interested
in here is the apparent need for independent exchange particle(s) at each
level where the force is active (e.g., mesons and gluons).
The core of the issue is this: if any physical model with infinite des-
cent requires postulating infinitely many new forces and corresponding
exchange particles, can such a model ever be well-founded? Ultimately,
that depends on our understanding of a viable fundamental level given
the complications of contemporary physics – which is something that has
not been examined in much detail so far. So as should be obvious from the
preceding discussion, research on these issues is still very young, and also
rather challenging because of the limited empirical data. But one thing is
clear: the search for a fundamental level will no doubt remain a central
puzzle in metametaphysics and physics alike for the foreseeable future.
7 The epistemology of metaphysics:
a priori or a posteriori?
Throughout this book, we have encountered various issues that fall within
the purview of epistemology. We have seen that the substance, significance,
and progress of many a debate depends on the success of our attempts to
gain knowledge about the subject matter of that debate. In the two preced-
ing chapters, we have acquired various further tools to express more pre-
cisely what it is that we are trying to gain knowledge about, but these tools
are of limited help when it comes to the epistemic side. Indeed, the dis-
cussion has quickly turned to matters so abstract that it is difficult to even
evaluate the relative merits of different views. So it is high time to address
the epistemic issues that loom large over the metametaphysics literature.
These issues are not commonly considered to be a part of metametaphys-
ics per se, but rather just a part of first order metaphysics or epistemology.
The present author holds a different opinion: in many cases the epistemic
part of a debate in metametaphysics is so intimately connected with the
ontological part that it is simply impossible to distinguish between metam-
etaphysics ‘proper’ and epistemology. Hence, we cannot avoid delving into
epistemic issues when we pursue questions in metametaphysics; they are a
central part of the methodology of metaphysics.
One of the central questions here is whether metaphysical knowledge
is gained by a priori or a posteriori means, or by some combination thereof.
If a posteriori elements are involved, then the obvious question that follows
is to what extent are these elements due to science; that is, what is the
relationship between science and metaphysics? However, this question is
so broad and important that we will dedicate a chapter of its own to it,
namely Chapter 9. But the a priori vs. a posteriori distinction itself ought to
be discussed briefly. We will do so in the first section of this chapter.
In no other area is the epistemic issue more pressing than in questions
that deal with modal truths. We have already seen plenty of examples
151
152 The epistemology of metaphysics: a priori or a posteriori?
1
Laurence BonJour, In Defense of Pure Reason (Cambridge University Press, 1998),
pp. 7–11.
2
For further discussion regarding these and other problems, see Tuomas E. Tahko, ‘A
New Definition of A Priori Knowledge: In Search of a Modal Basis,’ Metaphysica 9.2 (2008),
pp. 57–68, and Tuomas E. Tahko, ‘A Priori and A Posteriori: A Bootstrapping Relationship,’
Metaphysica 12.2 (2011), pp. 151–164.
3
For one influential account, see Albert Casullo, A Priori Justification (Oxford University
Press, 2003).
154 The epistemology of metaphysics: a priori or a posteriori?
the distinction is unlikely to be sharp, then not that much hangs on this
issue in the first place.
In sum, the reader should be aware that the approach taken in this
book holds there to be a place for the notion of apriority, even if it is
sometimes very difficult to determine whether a process or a proposition
is a posteriori, a priori, or both. Given this, some mention should be made of
the possibility of a more deflationary approach: one might think that no
useful purpose is being served by the a priori vs. a posteriori distinction. For
instance, Timothy Williamson has recently argued that since experience
plays a role that is more than purely enabling but less than strictly evidential
both in clear cases of a priori knowledge (or justification) and in clear cases
of a posteriori knowledge, the distinction really does not have much theo-
retical significance.4 Often, it is the notion of apriority which comes out as
the underdog when such challenges are posed, probably because empiri-
cal elements have such a strong standing in contemporary philosophy.
Many of these challenges derive from logical empiricism, Quine’s denial
of the analytic/synthetic distinction, or more recent radical empiricism. It
is not clear that these challenges capture the subtlety of the intertwined
conception of apriority and aposteriority that we have stipulated above.
But there have been many recent challenges concerning the coherence
or significance of the notion of apriority, so they should be taken seri-
ously. Albert Casullo has recently made an effort to address some of these
challenges, although he is also concerned about the problems regarding
the experiential/non-experiential distinction.5 However, discussing these
issues in more detail here would take us too far from our primary topic,
even though ultimately any account of the epistemology of metaphys-
ics that resorts to these notions will have to face the difficult questions
regarding the a priori vs. a posteriori distinction that we have outlined here.
4
Timothy Williamson, ‘How Deep is the Distinction Between A Priori and A Posteriori
Knowledge?’ in A. Casullo and J. C. Thurow (eds.), The A Priori in Philosophy (Oxford
University Press, 2013).
5
Albert Casullo, ‘Four Challenges to the A Priori–A Posteriori Distinction,’ Synthese (2013
[online], forthcoming).
156 The epistemology of metaphysics: a priori or a posteriori?
6 For an excellent selection of articles dealing with conceivability in particular, see
T. S. Gendler and J. Hawthorne (eds.), Conceivability and Possibility (Oxford University
Press, 2002).
7 See for instance George Bealer, ‘Modal Epistemology and the Rationalist Renaissance,’
in Gendler and Hawthorne (eds.), Conceivability and Possibility, pp. 71–125; and his ‘The
Origins of Modal Error,’ Dialectica 58.1 (2004), pp. 11–42.
8 David Chalmers, ‘Does Conceivability Entail Possibility?’, in Gendler, and Hawthorne
(eds.), Conceivability and Possibility, pp. 145–200.
9 E. J. Lowe, ‘What is the Source of our Knowledge of Modal Truths?’, Mind 121 (2012), pp.
919–950.
10
Kit Fine, ‘Essence and Modality,’ Philosophical Perspectives 8 (1994), pp. 1–16.
11
For a more systematic theory of understanding and essence, see Anand Vaidya,
‘Understanding and Essence,’ Philosophia 38 (2010), pp. 811–833. Vaidya’s account, how-
ever, may not be compatible with the type of (realist) essentialism that Lowe hopes to
defend, so it represents a somewhat different approach to the topic.
7.2 Modal rationalism and a priori methods 157
12
For a selection of state-of-the-art articles on the topic, see R. W. Fischer and F. Leon
(eds.), Modal Epistemology After Rationalism, Synthese Library (Dordrecht: Springer,
forthcoming).
13
For an argument to the effect that conceivability and imaginability should be dis-
tinguished, see Marcello Oreste Fiocco, ‘Conceivability, Imagination, and Modal
Knowledge,’ Philosophy and Phenomenological Research, 74.2 (2007), pp. 364–380.
14
For an overview of two-dimensional modal semantics, see David Chalmers, ‘The
Foundations of Two-Dimensional Semantics,’ in M. Garcia-Carpintero and J. Macia
158 The epistemology of metaphysics: a priori or a posteriori?
necessary truths such as ‘Gold is the element with atomic number 79’ are
to be reconciled with conceivable yet metaphysically impossible scenarios
such as ‘Gold might have turned out not to be the element with atomic
number 79’. One reaction to this issue is to say that it is always conceiv-
able that things might have been otherwise, while another would be to
insist that conceivability is restricted by the current a posteriori framework.
A proponent of (SMR) might favour the first option, whereas (PMR) is more
naturally combined with the restricted use. Plausibly, we can distinguish
between different types of conceivability here, as Chalmers and Stephen
Yablo, among others, have done.15 However, no generally accepted conven-
tion about the use of conceivability in such cases exists despite the vast lit-
erature, and in fact it may even be possible to be a strong modal rationalist
and accept that conceivability is always restricted – this would seem to be
a coherent view if it is emphasized that we cannot simply step out of our
current epistemic situation and so must always reason within certain ‘a
posteriori bounds’. To put the distinction between the two possible reactions
more precisely, the first issue is whether we should fix conceivability in
terms of how the world might be before we have any a posteriori knowledge,
limited only by a priori consideration, or how the world might be given the
a posteriori framework. Here we can immediately see that the relationship
between a priori and a posteriori elements comes into question.
On the basis of the above discussion, a further possibility of a dismissive
reaction emerges: if there is any sense in which a posteriori elements are
required to get the modal rationalist view off the ground then it would not
seem to be rationalism as it is traditionally understood. This type of dismis-
sive reaction would lead to either (SMR) or a flat denial of modal ration-
alism. However, this may not be an entirely fair reaction, for we should
Inconceivable
Conceivable and
metaphysically
impossible
Conceivable and
metaphysically
possible
Figure 7.1
16
Timothy Williamson, The Philosophy of Philosophy, (2007, Oxford: Blackwell Publishing),
especially Ch. 5.
7.2 Modal rationalism and a priori methods 161
17
Williamson, The Philosophy of Philosophy, p. 164.
162 The epistemology of metaphysics: a priori or a posteriori?
could be, but unless we have a more general story about the class of such
constitutive facts, then we have not yet discovered a reliable method. In
fact, Williamson does not even attempt to come up with such a story, as
he believes that we do not need to know which facts are constitutive; it suf-
fices that we know some constitutive facts.18 To see that it is important for
Williamson’s method that we hold the correct facts fixed, consider what
would happen if we held some non-constitutive facts fixed. What would hap-
pen is that we would end up ruling out (as metaphysically impossible) cer-
tain possibilities that we wish to include: say, if we held it fixed that Earth
is the third planet from the Sun, we would end up ruling out the possibility
that the planet Venus never formed, which is surely possible! Similarly, if
we fail to hold some constitutive fact as fixed, say that elements are defined
by their atomic number (if that is indeed the case), then we would errone-
ously include metaphysical impossibilities, such as gold failing to be the
element with atomic number 79. So it does seem that something more
needs to be said about constitutive facts.
However, attempts to come up with an analysis of constitutive facts have
been made; one candidate, not surprisingly, is that constitutive facts of the
relevant type concern essences. If Williamson’s account were to be supple-
mented with a satisfactory analysis of constitutive facts in terms of essences,
then we would seem to have a fairly strong case for modal rationalism.
But note that we would also lose part of Williamson’s original motivation,
namely the possibility of a uniform account – an account that explains our
knowledge of modal truths in terms of a single rational faculty, namely the
ability to handle counterfactuals. So if essences are needed to undergird the
account, then why not go all out for an essence-based approach?
According to the essence-based approach, which was popularized by Fine,
essentialist facts can be understood as non-modal constitutive facts (which
entail modal facts).19 Now, if we have some prior epistemic access to these
constitutive, essentialist facts, then we can address the previous concern. For
instance, if we consider atomic number to be essential for elements, then
the atomic number of gold being 79 is a constitutive fact that we know inde-
pendently of Williamson’s counterfactual analysis, hence enabling a distinct
18
For further discussion, see Sonia Roca-Royes, ‘Conceivability and De Re Modal
Knowledge,’ Noûs 45.1 (2011), pp. 22–49, and Tuomas E. Tahko, ‘Counterfactuals and
Modal Epistemology,’ Grazer Philosophische Studien 86 (2012), pp. 93–115.
19
Fine, ‘Essence and Modality.’
7.3 The epistemology of essence 163
What we are now interested in is the process of coming to know modal facts
via our knowledge of essentialist facts. Fine says less about the epistemic
dimension than the ontological one, but his account of the ontological rela-
tionship between essence and modality has been hugely influential. On the
epistemic side, Lowe has done much of the pioneering work.20 Both Lowe’s
and Fine’s understandings of essence follow a ‘neo-Aristotelian’ line whereby
the essence of an entity is its real definition. This idea is not easily elaborated on,
but one way to understand real definitions is to take them to be expressed by
propositions which tell us what a given entity is or would be – we can also state
the real definitions of things that are non-existent.21 Lowe considers essence
to be prior to existence both ontologically and epistemically. In Lowe’s own
words: ‘instead of trying to explicate the notion of essence in terms of that
of modality, as on the Kripkean account of essence, the very reverse needs
to be done’.22 Note that unless we assume that essence can be understood in
non-modal terms, the area of the epistemology of essence would seem to col-
lapse into modal epistemology proper, as the essentialist truths would simply
be a proper subset of the modal truths. But if essence can be understood in
non-modal terms, then the question about our epistemic access to essential-
ist truths is very pressing indeed. Note further that Lowe holds that essences
cannot be entities in themselves, on pain of infinite regress. For if every entity
had an essence (as Lowe also holds) and essences were entities, then essences
themselves would have to have essences as well, and so on ad infinitum.
20
For further discussion, see Tuomas E. Tahko, ‘Empirically-Informed Modal Rationalism,’
in Fischer and Leon (eds.), Modal Epistemology After Rationalism, Synthese Library
(Dordrecht: Springer, forthcoming).
21
See Lowe, ‘What is the Source of our Knowledge of Modal Truths?’, p. 935.
22
E. J. Lowe, ‘Essence vs. Intuition: An Unequal Contest,’ in A. R. Booth and
D. P. Rowbottom (eds.), Intuitions (Oxford University Press, 2014), p. 264. See also
E. J. Lowe, ‘Two Notions of Being: Entity and Essence,’ Royal Institute of Philosophy
Supplements 83.62 (2008), pp. 23–48. In the Kripkean account of essence, essential prop-
erties are defined simply as necessary properties.
164 The epistemology of metaphysics: a priori or a posteriori?
Even though this passage may not convince everyone about the possibil-
ity of our knowledge of essences, it does at least make clear what Lowe’s
take on the issue is, namely that the epistemology of essence is a sim-
ple a priori process of understanding what an entity is (or would be). On
Lowe’s view, this is the basis of all modal knowledge, including a posteriori
necessities.
To see how essence and metaphysical modality come apart on this view,
consider the difference between two geometrical examples, as discussed
by Lowe:
Lowe suggests that (E1) gives us the generating principle of ellipses – and
hence their essence – whereas (E2) states merely a necessary property
of ellipses. We can understand properties such as (E2) once we know
the generating principle of ellipses, but Lowe insists that (E1) is not
contained in (E2); we need an understanding of the essences of cones
as well as ellipses before we can produce (E2). This is how essence and
23
Lowe, ‘Two Notions of Being: Entity and Essence,’ p. 39.
24
Lowe, ‘What is the Source of our Knowledge of Modal Truths?’, p. 936.
7.3 The epistemology of essence 165
(2) is trivially true on the Finean analysis of essence, so it is (1) that does the
real work here. To put all this to together, consider the following example,
which features one of the tools we also learned about in Chapter 5, namely
essential dependence:
Consider the following thing, for instance: the set of planets whose orbits
lie within that of Jupiter. What kind of thing is that? Well, of course, it is a
set, and as such an abstract entity that depends essentially for its existence
and identity on the things that are its members – namely Mercury, Venus,
Earth, and Mars. Part of what it is to be a set is to be something that
depends in these ways upon certain other things – the things that are its
members. Someone who did not grasp that fact would not understand
what a set is.26
25
Ibid., p. 938.
26
Lowe, ‘Two Notions of Being: Entity and Essence,’ p. 37.
166 The epistemology of metaphysics: a priori or a posteriori?
27
Note however that attempts to develop different versions of the essence-based account
(although not necessarily modal rationalist in the strong sense) continue. For a very
recent attempt, see Bob Hale, Necessary Beings: An Essay on Ontology, Modality, and the
Relations Between Them (Oxford University Press, 2013), Ch. 11.
7.4 Modal empiricism and the status of armchair methods 167
The term ‘modal empiricism’ is not yet established in the literature, but
since we are looking into an approach that contrasts with modal rational-
ism, calling it modal empiricism would seem to be a natural choice; the
notion has previously been used for instance by Carrie Jenkins.28 Roughly
speaking, modal empiricism encompasses views that suggest our modal
knowledge derives primarily from experience, or, to put it somewhat dif-
ferently, that experience is what ensures the reliability of our modal knowl-
edge. The latter is close to what Jenkins suggests: experience provides an
epistemic grounding for our concepts, the basis of our conceptual abili-
ties. Hence, somewhat surprisingly, the reliability of conceivability itself
is based on experiential knowledge! Williamson’s account, one aspect of
which we discussed above, has a similar starting point. It starts from the
evolutionary basis of our ability to entertain counterfactual suppositions
and proceeds to assess the reliability of conceivability on this basis. More
precisely, Williamson reduces our capacity for modal knowledge to our
capacity for assessing counterfactual conditionals, which he claims to have
an evolutionary basis; it has been extremely useful for us as a species to be
able to entertain counterfactual suppositions (and to do so successfully).
For instance, if a tiger threatens you, your survival may depend on your
ability to predict the tiger’s behaviour on the basis of its possible behaviour.
This leads Williamson to conclude that the worries regarding conceivability
and especially the over-generation of possibilities that we discussed in the
previous section fail to acknowledge the evident successes of conceivability
in more mundane scenarios: ‘Once we recall its fallible but vital role in
evaluating counterfactual conditionals, we should be more open to the idea
that it plays such a role in evaluating claims of possibility and necessity’.29
Thus, it seems that Jenkins’s and Williamson’s accounts – and many others
as well – have elements both of modal rationalism and modal empiricism.
One reason for this peculiar situation – the fact that many recent
accounts attempt to develop an empiricist basis for conceivability or other
28
C. S. Jenkins, ‘Concepts, Experience and Modal Knowledge,’ Philosophical Perspectives 24
(2010), pp. 255–279.
29
Williamson, The Philosophy of Philosophy, p. 163.
168 The epistemology of metaphysics: a priori or a posteriori?
30
Jenkins, ‘Concepts, Experience and Modal Knowledge,’ p. 266.
31
This puzzle and some of the discussion that follows is adapted from Daniel Nolan, ‘The
A Posteriori Armchair,’ Australasian Journal of Philosophy 93.2 (2015), pp. 211–231.
170 The epistemology of metaphysics: a priori or a posteriori?
32
For the original example, see Alan Gibbard, ‘Contingent Identity,’ Journal of Philosophical
Logic 4 (1975), pp. 187–221.
7.4 Modal empiricism and the status of armchair methods 171
33
For some further discussion regarding theoretical virtues, see Chris Daly, Introduction
to Philosophical Methods (Peterborough, ON: Broadview Press, 2010).
34
For example, see L. A. Paul, ‘Metaphysics as Modeling: The Handmaiden’s Tale,’
Philosophical Studies 160.1 (2012), pp. 1–29.
172 The epistemology of metaphysics: a priori or a posteriori?
that this lesson is clearly taken seriously. Whether or not the result-
ing view is, properly speaking, modal empiricism is partly just a termino-
logical matter. What seems to be needed, in any case, is some sort of a
hybrid view.
There are at least two reasons to think that both in the area of modal
epistemology, which we have been focusing on, as well as in the epis-
temology of metaphysics more generally, there is a need to employ both a
priori and a posteriori methods. The first reason is that the area of research
encompasses entities of many different kinds and it is plausible that we
cannot acquire knowledge of all these different kinds of things in exactly
the same manner. In particular, metaphysics investigates both concrete
and abstract entities. When we are dealing with abstract entities, such
as sets, it is difficult to see how any judgements we might make about
the nature of sets could be anything but a priori, since we have no direct
contact with sets (even if we may have direct contact with the members
of sets). In contrast, when our research concerns concrete things – say,
instances of natural kinds such as water – it seems that we simply have
no alternative but to resort to empirical research in order to learn about
their properties.
The second reason to think that some kind of a ‘hybrid’ view is likely to
be correct is due to the issues we discussed in the first section of this chap-
ter and towards the end of the previous section: the a priori vs. a posteriori
distinction itself would appear to allow for some vagueness. Hence, a priori
and a posteriori elements in metaphysical inquiry may be intertwined to the
extent that it is quite difficult if not impossible to take them apart at all.
This, at any rate, is the possibility that we will briefly explore in this section.
As a first pass, let us briefly return to Lowe’s view regarding modal episte-
mology, which we classified under modal rationalism. Lowe’s view, at least at
first glance, appears to be uniform: he holds that our access to modal knowl-
edge is purely a priori. However, it should be noted that Lowe himself appar-
ently never used the label ‘modal rationalism’ for his view. In fact, Lowe is
very critical of the other modal rationalist approaches, such as intuition- and
conceivability-based approaches. He argues that a view taking intuitions as
evidential in metaphysics, quite generally, is ‘fundamentally misguided and
7.5 Combining a priori and a posteriori methods 173
35
Lowe, ‘Essence vs. Intuition: An Unequal Contest,’ p. 256.
36
Ibid., p. 257.
37
Tahko, ‘A Priori and A Posteriori: A Bootstrapping Relationship.’
38
The following discussion is adapted from Tuomas E. Tahko, ‘Natural Kind Essentialism
Revisited,’ Mind 124.495 (2015), pp. 795–822.
39
See Saul Kripke, Naming and Necessity (Cambridge, MA: Harvard University Press, 1980)
and Hilary Putnam, ‘The Meaning of “Meaning”’ (1975), reprinted in his Mind, Language
and Reality: Philosophical Papers, Vol. 2 (Cambridge University Press, 1979), pp. 215–271.
Here we will not attempt to be entirely faithful to the views of Kripke and Putnam, but
will instead focus on the received view based on their earlier work, here labelled the
Kripke–Putnam framework.
174 The epistemology of metaphysics: a priori or a posteriori?
also the case that water has its actual microstructure essentially – even
though empirical work is needed to determine what individual samples
of water are made up of – then ‘Water is H2O’ is a metaphysically neces-
sary a posteriori essentialist truth. That water does have its actual micro-
structure essentially is usually considered to be knowable a priori, but
we will see that this assumption must be clarified. Accordingly, the core
of the Kripke–Putnam framework is that the combination of an essential-
ist a priori truth about a given natural kind essence and empirical, a
posteriori information about the microstructure of that natural kind are
needed to establish such metaphysically necessary theoretical identity
sentences.
Typically, one would conclude that since empirical information is
needed to establish such metaphysically necessary truths, the process of
inquiry is, by and large, a posteriori. After all, the content of the a priori part
here is very simple indeed, it only amounts to saying that if water is H2O,
then this is necessarily so. This a priori part is quite generally taken to be
entirely unproblematic, since it is thought that natural kinds such as water
are obviously defined by their intrinsic properties, which is to say their
microstructure. But once we start to unpack this assumption, it turns out to
be rather more complicated. For it must be recalled here that our initial
familiarity with water (and other natural kinds), is not via its microstruc-
ture, but rather via its macroscopic, phenomenological properties, such as
its boiling point and its ability to dissolve other compounds. So it seems
that we need an additional assumption to complement the a priori element
to get the desired result, namely the metaphysical necessity of the theoreti-
cal identity statement ‘Water is H2O’. This assumption is that the following
principle is true:
the substance can undergo chemical reactions. The question that emerges
now is: what is the epistemic status of (MD)? For it is this principle that
would seem to do most of the work in securing the metaphysical neces-
sity of ‘Water is H2O’ rather than the relatively simple a priori principle we
started with – or indeed even the empirical discovery that water is in fact
H2O. Moreover, (MD) also seems to be a core part of the criteria of identity for
chemical substances.
Here we at the heart of the ‘hybrid’ approach: it turns out that the rele-
vant principle – that microstructure determines the macroscopic proper-
ties of chemical substances – is not easily established either by ‘pure’ a
priori or empirical inquiry. Why is this? Let’s attempt to unpack what it
means that a chemical property is a property of a chemical substance in
virtue of which the substance can undergo chemical reactions. This should
ring a bell for those who recall our discussion of the ‘in virtue of’ rela-
tion in Chapter 5. Take a concrete example: electronegativity – the abil-
ity of an atom or a functional group of a molecule to attract electrons.
For the purposes of understanding how microstructure and macroscopic
properties are assumed to be related according to the picture at hand,
tracking the source of this ability is important. In the case of electro-
negativity, the ability of an atom to attract electrons is influenced by its
nuclear charge. Atoms with a higher electronegativity attract valence
electrons more strongly; hence the distance from the atom’s nucleus to
its valence electrons tends to be shorter. There is a straightforward way
in which electronegativity is related to the microstructural properties
of the substance, to its nuclear charge in particular. So in this case it
seems that we do have a reasonably good idea about how electronega-
tivity and microstructure are related. However, electronegativity is itself
something that is not directly observed, and so it is not macroscopic in
the sense that chemical properties such as boiling point, solubility, and
flammability are. We do of course have a pretty good idea about some of
the microstructural properties that are correlated with properties such as
these, but correlation is not determination and hence not enough to estab-
lish (MD).
The problem can be highlighted by asking whether we are really deal-
ing with physical or chemical properties: it used to be (and often still is)
common practice to consider properties such as boiling point to be phys-
ical properties, not necessarily connected with the chemical properties of
176 The epistemology of metaphysics: a priori or a posteriori?
40
For further details, see Tahko, ‘Natural Kind Essentialism Revisited.’
8 Intuitions and thought
experiments in metaphysics
This chapter discusses two general, closely related epistemic tools used in
metaphysics: intuitions and thought experiments. As we saw in Chapter 7,
both of these tools make an appearance in modal epistemology, which was
our primary case study in the epistemology of metaphysics. But since intui-
tions and thought experiments are used in philosophy more broadly – not
just in metaphysics – they deserve a treatment of their own. Note how-
ever that we will be focusing on the usage of these two tools in metaphys-
ics. Metaphysicians routinely cite intuitions as prima facie evidence for a
given view, but sometimes the appeal to intuitions seems to serve an even
stronger role – especially in cases where there do not appear to be any
other epistemic tools at our disposal. Thought experiments likewise often
rely on an intuitive reaction, such as in the case of Hilary Putnam’s Twin
Earth scenario (discussed in Chapter 4): we are presented with a thought
experiment, but instead of an empirical test the relevant test seems to be a
test of intuitions. On the face of it, thought experiments are thus a type of
‘intuition pump’, as discussed by Daniel Dennett.1
Given that the literature on intuitions spans the whole discipline of
philosophy, we cannot engage with the topic in anything like a thorough
manner.2 Instead, we might focus on the status of intuitions with regard to
metaphysical thought experiments in particular. Perhaps a better under-
standing of how intuitions work will also help us to better understand
1
Daniel Dennett, Intuition Pumps and Other Tools for Thinking (New York: W. W. Norton &
Co, 2013).
2
For a general overview, see Joel Pust, ‘Intuition,’ in E. N. Zalta (ed.), The Stanford
Encyclopedia of Philosophy (Fall 2014 edn); see http://plato.stanford.edu/archives/
fall2014/entries/intuition/. A recent anthology of state-of-the-art articles that may
prove useful is A. R. Booth and D. P. Rowbottom (eds.), Intuitions (Oxford University
Press, 2014).
177
178 Intuitions and thought experiments in metaphysics
3
Darrell P. Rowbottom, ‘Intuitions in Science: Thought Experiments as Argument
Pumps,’ in Booth and Rowbottom (eds.), Intuitions, p. 119.
8.1 Specifying ‘intuition’ 179
the most famous thought experiments have actually been recreated in the
laboratory (e.g., the Einstein–Podolsky–Rosen thought experiment regard-
ing quantum entanglement, which we’ll discuss in the fourth section), but
in philosophy this would not always be possible. Certainly, many thought
experiments in epistemology have been recreated, most famously the
Gettier cases – they are quite easy to recreate.4 But there are many meta-
physical thought experiments we probably would not like to see realized,
at least not the ones involving zombies! (Of course, philosophical zombies
are nothing like Hollywood zombies, but some might regard qualia-lacking
copies of ourselves rather scary …) However, as it will turn out, the appar-
ent differences between scientific and philosophical thought experiments
may not be as drastic as it might first seem.
4
Gettier cases are examples of justified true belief (JTB) which we would not intuitively
consider as knowledge, hence challenging the classic JTB analysis of knowledge.
5
These and other conceptions of ‘intuition’ are discussed in more detail in C. S. I.
Jenkins, ‘Intuition, “Intuition”, Concepts and the A Priori,’ in Booth and Rowbottom
(eds.), Intuitions, pp. 91–115.
6
For the original Twin Earth scenario, see Hilary Putnam, ‘The Meaning of “Meaning” ’
(1979), reprinted in his Mind, Language and Reality: Philosophical Papers, Vol. 2 (Cambridge
University Press, 1979), pp. 215–271. For further discussion regarding the analysis of
the scenario, see Tuomas E. Tahko, ‘Natural Kind Essentialism Revisited,’ Mind 124.495
(2015), pp. 795–822.
180 Intuitions and thought experiments in metaphysics
7
Hilary Putnam, ‘Is Water Necessarily H2O?’, in J. Conant (ed.), Realism with a Human Face
(Cambridge, MA: Harvard University Press, 1990), p. 70.
8.1 Specifying ‘intuition’ 181
8
See Jenkins, ‘Intuition, “Intuition”, Concepts and the A Priori,’ p. 94.
182 Intuitions and thought experiments in metaphysics
It’s fairly easy to see where this type of view might originate from. For
instance, when presented with propositions that are analytically true – true
in virtue of the meanings of the concepts involved – we seem to have a rele-
vantly immediate reaction to them. Consider the proposition ‘All vixens are
female’. Since vixens are female foxes, the concept of ‘female’ would appear
to be contained in the concept of ‘vixen’. So we might say that it is purely
by understanding what the word ‘vixen’ means that we know ‘All vixens are
female’ to be true. An interesting question is whether this involves an infer-
ence of some sort. Certainly, in most cases we would consider such cases to
be obvious in the sense discussed earlier, so any inference involved would
likely be implicit. But it is a matter of debate whether conceptual analysis
in general could be understood as free from inference in the relevant sense.
In any case, there is clearly a limitation with the view that intuitions are
closely connected with conceptual or linguistic competence, as very often
intuitions are used in connections where there seems to be more at stake
than conceptual or linguistic issues. This is arguably also the case in the Twin
Earth scenario, even though it should be noted that Putnam was originally
interested in the semantic aspects of the scenario, namely what we mean by
‘water’. But since the upshot of the scenario even when considered on purely
semantic terms is supposed to be that meanings are fixed externally (it’s the
microstructure of water that counts), it appears that the intuitive reaction
to the scenario is richer than just a grasp of something like the truth of ‘All
vixens are female’. Indeed, Ernest Sosa emphasizes that focusing on purely
linguistic features in connection with intuition is not sufficient. Rather, we
should be more interested in the underlying process of understanding, which
Sosa specifies as follows:
11
Ernest Sosa, ‘Intuitions: Their Nature and Probative Value,’ in Booth and Rowbottom
(eds.), Intuitions, pp. 36–49.
184 Intuitions and thought experiments in metaphysics
Given that Sosa includes the content of propositions as a crucial part of the
basis of intuitive rational beliefs, it would seem that the type of ‘intuition’
at work in the Twin Earth scenario could be salvaged, for it seems pos-
sible to build enough information (about the microstructure of water, for
instance) into the content of propositions. However, this certainly shifts
the focus from pure conceptual or linguistic ability towards something
richer. If we need both understanding and some further grasp of the con-
tent of propositions to reach intuitive rational beliefs, then the immediacy
criterion might once again be questioned.
A recent extensive study of the use of intuitions in philosophy, by
Herman Cappelen, focuses on this type of conceptual competence view
about intuitions, noting their specific phenomenology and epistemic
status.12 Cappelen suggests that intuitions understood in this fashion are
commonly considered to be used extensively as evidence in contemporary
analytic philosophy. But Cappelen’s key claim is that these types of intui-
tions are in fact not used as evidence, contrary to what many contemporary
analytic philosophers think. This calls for further reflection on the meth-
ods actually in use in contemporary analytic philosophy.
While Cappelen’s project is certainly interesting, we cannot engage
with it in detail here. By way of justifying this omission, we have already
seen some shortcomings in the conception of intuitions according to
which they are based on conceptual competence. In his commentary on
Cappelen’s book, David Chalmers has argued to the same effect, noting for
instance that even if in some areas of philosophy intuitions seem to stem
from conceptual competence, there are other areas where the intuitions
relied upon are clearly not similar, such as moral intuitions and other nor-
mative intuitions.13 It is more plausible (even if not uncontroversial) that
conceptual competence is central for linguistic intuitions, which are natur-
ally of interest in philosophy of language. More to the point, there may
be specific reasons to avoid this conception of intuitions when it comes to
metaphysical inquiry. For unless we have prior reasons to think that con-
cepts reliably mirror reality, then we have little reason to think that intui-
tions based on conceptual competence will provide reliable evidence of
12
Herman Cappelen, Philosophy without Intuitions (Oxford University Press, 2012).
13
David J. Chalmers, ‘Intuitions in Philosophy: A Minimal Defense,’ Philosophical Studies
171.3 (2014), pp. 535–544.
8.2 Intuitions and experimental philosophy 185
Before we move on, let us briefly note one interesting aspect related espe-
cially to the study of linguistic or conceptual intuitions (and of special rel-
evance from the point of view of epistemology). A movement which we
have not yet discussed is so-called experimental philosophy or ‘x-phi’.15 This
is an area which focuses on, among other things, testing popular philo-
sophical thought experiments and the intuitions that they generate in the
general population, especially transculturally. Among popular test cases
are the Gettier cases, having to do with intuitions regarding the concept
of knowledge. But there is also a growing literature on experimental phi-
losophy applied to metaphysics and to causation in particular.16 Debate
14
However, for a defence of the view that experience provides an epistemic ground-
ing for our concepts and hence the needed mirroring, see C. S. Jenkins, ‘Concepts,
Experience and Modal Knowledge,’ Philosophical Perspectives 24 (2010), pp. 255–279.
15
For a survey of experimental philosophy, see for instance J. Horvath and
T. Grundmann (eds.), Experimental Philosophy and its Critics (London: Routledge, 2012).
A very recent analysis focusing especially on the source of intuitions is Helen de
Cruz, ‘Where Philosophical Intuitions Come From,’ Australasian Journal of Philosophy
(2015).
16
See for instance David Rose and David Danks, ‘Causation: Empirical Trends and Future
Directions,’ Philosophy Compass 7.9 (2012), pp. 643–653. Another recent area of focus,
which we’ll discuss in more detail below, is temporal experience, see L. A. Paul,
‘Temporal Experience,’ Journal of Philosophy 107.7 (2010), pp. 333–359.
186 Intuitions and thought experiments in metaphysics
17
Anand Vaidya, ‘Intuition and Inquiry,’ Essays in Philosophy 13.1 (2012), Article 16.
8.2 Intuitions and experimental philosophy 187
(i) The proponents of two competing views both possess the relevant con-
cept and disagree about its application in a given case.
(ii) The proponents of two competing views do not both possess the rel-
evant concept and their disagreement is actually due to applying differ-
ent concepts in the given case.
18
For discussion of such attempts with regard to the concept of causation, see Rose and
Danks, ‘Causation: Empirical Trends and Future Directions.’
188 Intuitions and thought experiments in metaphysics
something that is used to ensure that a debate is substantial, that is, non-
linguistic. How this is to be done, exactly, is another matter. In any case,
one consequence of this is that intuitions seem to come into play in meta-
physics whenever there is a possibility of a variation in the possession of
relevant concepts between proponents of competing views. But let us now
move to a more direct usage of intuitions in metaphysics.
The use of intuitions in metaphysics has not been studied as widely as their
use in epistemology and philosophy of language, for instance. One reason
for this may be the fact that many of the relevant intuitions do not neatly
fit into the specifications that we discussed above. For instance, metaphysi-
cal inquiry into the nature of time and space would typically start from
our experience of time and space rather than from, say, the analysis of the
concepts of ‘time’ and ‘space’. A very recent survey of the usage of such
experience-based intuitions has been made by Jiri Benovsky.19 Benovsky
analyses a number of case studies regarding the use of experience-based
intuitions in metaphysics, ultimately drawing the conclusion that the intu-
itions in use – if they are to be called that – are by and large based on our
(varying) phenomenological experiences, which are unable to stand their
ground in the face of scientific scrutiny. The upshot of his analysis is that
we ought to not take such ‘intuitive data’ as serious metaphysical evidence.
But let’s take a look at one of Benovsky’s case studies so that we can decide
for ourselves.
Take the case of temporal experience with regard to the judgements we
make about the A-theory and B-theory of time.20 Very briefly, the A-theory
amounts to the view that tense properties, meaning those involving time,
are irreducible – that is, ‘yesterday’, ‘last year’, ‘a million years ago’, and so
19
Jiri Benovsky, ‘From Experience to Metaphysics: On Experience-based Intuitions and
their Role in Metaphysics,’ Noûs (2013 [online], forthcoming).
20
This is not the place to introduce the reader to the details of these theories, but for
a compact introduction, see Ned Markosian, ‘Time,’ in E. N. Zalta (Ed.), The Stanford
Encyclopedia of Philosophy (Spring 2014 edn); see http://plato.stanford.edu/archives/
spr2014/entries/time/. The locus classicus in this area is J. M. E. McTaggart, ‘The Unreality
of Time,’ Mind 17 (1908), pp. 457–473; reprinted in R. Le Poidevin and M. McBeath
(eds.), The Philosophy of Time (Oxford University Press, 1993), pp. 23–34.
8.3 Experience-based intuitions 189
Take the case of the hour hand on a mechanical watch: it moves so slowly
that we just do not perceive it as moving. We can of course observe that
it has moved, if we look at it after some time, but such a “perception” is
no experience of movement at all. Thus, we have a case where there is
movement, but we do not experience it as such, simply because the hour
hand’s continuous movement is far too slow for us to be able to perceive
it. Indeed, what we realize here, is that our capacities to notice change and
movement have a lower limit and that anything that moves too slowly will
not be registered by our perceptual system as moving.22
21
See Paul, ‘Temporal Experience.’
22
Benovsky, ‘From Experience to Metaphysics,’ p. [5].
190 Intuitions and thought experiments in metaphysics
illusions are a good example. Since our sense of the passage of time is
closely linked to change and hence motion, this seems once again to high-
light the unreliability of the phenomenology of time perception.
What is the upshot? Well, since the phenomenology related to our
experience of time is clearly very badly biased and often misleading, any
intuitive support that it provides for a general metaphysical theory about
the nature and reality of tense is surely in serious doubt. Based on this
and other examples, Benovsky states that we can draw no metaphysical
conclusions from the nature of our experience. So this purports to be a
strong case against using experience-based intuitions as evidence – or even
as heuristic tools. There are fairly obvious metametaphysical implications
to be drawn from this, one of them being that at least certain types of intui-
tions are likely to be ‘polluted’ by the phenomenological framework of our
experience. If this is the case, we need to seriously reconsider the value of
data drawn from these intuitions. But perhaps there are different types of
intuitions? If so, such intuitions might be able to avoid being polluted in
this sense. One possible avenue are pure ‘a priori intuitions’, which would
appear to be more directly tied to our cognitive or rational abilities.
23
E.g., George Bealer, ‘Intuition and the Autonomy of Philosophy,’ in M. DePaul and W.
Ramsey (eds.), Rethinking Intuition: The Psychology of Intuition and Its Role in Philosophical
Inquiry (Lanham, MD: Rowman and Littlefield, 1998), pp. 201–240; Laurence BonJour,
In Defense of Pure Reason (Cambridge University Press, 1998).
24
Bealer, ‘Intuition and the Autonomy of Philosophy,’ p. 165.
8.4 Rational intuition 191
25
George Bealer, ‘The Incoherence of Empiricism,’ Aristotelian Society Supplementary Volume
66 (1992), pp. 99–138.
192 Intuitions and thought experiments in metaphysics
In contrast, Bealer argues that intuitions manage to satisfy all three cs.
First, if you consider your intuitions, it is likely that they are largely a con-
sistent set. But even if some of your intuitions do conflict each other, you
will likely be able to come up with a more complete description of what
is happening in the problematic scenario in such a way that the apparent
conflict of intuitions can be resolved. Secondly, even though there may be
cases where your intuitions conflict with those of someone else, who there-
fore appears to fail to corroborate your own intuitions, there are also plenty
of clear test cases where our intuitions corroborate each other extremely
strongly. For example, in the areas of elementary logic and mathematics,
intuitions are widely shared. But even in more complex cases, such as the
Twin Earth thought experiment, the intuitive reaction to the scenario is
widely shared, at least when specified further. So it may be that often the
initial conflict in intuitions is simply due to an under-described scenario.
Finally, our intuitions seem to be very rarely disconfirmed by direct empir-
ical evidence, since the judgements we make on the basis of intuitions are
often quite independent of experience and observation.
One might of course further challenge that while some intuitions may
satisfy the three cs, it is nevertheless clear that not all intuitions fully sat-
isfy them. But perhaps this is acceptable to a moderate rationalist – to use
Bealer’s term. After all, if we endorse the fallibility of intuitions, we had
better acknowledge that in some cases they fail. It is enough to maintain
that intuitions can, at least sometimes, be used as evidence. Bealer himself
attempts to make a somewhat stronger case, but here we will set aside his
further discussion, largely because it is aimed primarily at the ‘Quinean’
26
Bealer, ‘The Incoherence of Empiricism,’ p. 110.
8.4 Rational intuition 193
This may remind the reader of issues discussed in Chapter 7 regarding the
relationship between a priori and a posteriori reasoning. Chudnoff makes a
related point: even if the empiricist has trouble accounting for the abstract,
the ‘apriorist’ also has trouble explaining how any ‘pure’ form of reasoning
alone could form the epistemic basis for any beliefs. It would seem that
some pre-existing background knowledge is always required. Chudnoff
himself proposes that intuitive reasoning could be the missing link: it
‘injects’ a priori reasoning with some content – this is a crucial element in
Chudnoff’s account of intuitions as ‘intellectual perceptions’.28 However,
it will be left up to the reader to decide whether ‘pure’ empiricism can be
maintained when it comes to metaphysics. We have certainly seen that the
question is considerably more difficult than it may have initially seemed.
To finish this section, let us take a brief look at a recent attack on
intuition-based philosophy of the type suggested here, by James Ladyman
and Don Ross.29 This attack is based on something that we mentioned ear-
lier: the apparent difference between philosophical armchair intuitions
27
Chudnoff, Intuition, p. 14.
28
Ibid., p. 15.
29
J. Ladyman and D. Ross (with D. Spurrett and J. Collier), Every Thing Must Go (Oxford
University Press, 2007), pp. 10–15.
194 Intuitions and thought experiments in metaphysics
and those used in science. Ladyman and Ross give a number of examples
of metaphysical armchair intuitions which seem to be blatantly incorrect
from a scientific point of view. Indeed, it is easy to find such examples, in
metaphysics and science alike – just consider the fact that Newton devoted
more time to alchemy than any other area of research and apparently
thought that this work was highly important. So they emphasize the point
that intuitions are clearly not a reliable method of inquiry, but they don’t
think that this entails that armchair reasoning is completely worthless. For
they admit that it is often said that a particularly good physicist has ‘sound
physical intuition’. But here the use of the word ‘intuition’ is supposedly
different, as it refers to ‘the experienced practitioner’s trained ability to see
at a glance how their abstract theoretical structure probably – in advance
of essential careful checking – maps onto a problem space’.30 Ladyman and
Ross further distance the intuitions of metaphysicians from the intuitions
of scientists by pointing out that the former are often taken as evidence
whereas the latter are only heuristically valuable. On this view, intuitions
should at best constitute only prima facie evidence: careful study, or in some
cases empirical research, is required before they can be accepted. So it may
indeed be that intuitions in philosophy and science are used somewhat
differently and perhaps this speaks against them as reliable evidence in
philosophy. But perhaps we should not put too much weight on this differ-
ence until a more comprehensive study of how intuitions are in fact used
in science is seen.31 We will now change the topic a bit and look into the
method of generating intuitions in the first place, namely thought experi-
ments; it may be illuminating to start by considering exactly how thought
experiments are used in science.
30
Ibid., p. 15.
31
For what may very well be a first systematic attempt at such a study, see Jonathan
Tallant, ‘Intuitions in Physics,’ Synthese 190 (2013), pp. 2959–2980.
8.5 Scientific thought experiments 195
32
David Atkinson, ‘Experiments and Thought Experiments in Natural Science,’ in
M. C. Galavotti (ed.), Observation and Experiment in the Natural and Social Sciences, Boston
Studies in the Philosophy of Science 232 (Dordrecht: Kluwer, 2003), pp. 209–225.
196 Intuitions and thought experiments in metaphysics
33
Jeanne Peijnenburg and David Atkinson, ‘When Are Thought Experiments Poor Ones?’,
Journal for General Philosophy of Science 34.2 (2003), pp. 305–322.
34
This ‘swampman’ thought experiment originates in Donald Davidson, ‘Knowing One’s
Own Mind,’ Proceedings and Addresses of the American Philosophical Association 60.3 (1987),
pp. 441–458.
198 Intuitions and thought experiments in metaphysics
that of course the duplicate is also mentally identical and the other side
claiming that something would be missing – perhaps the duplicate would
be a phenomenological ‘zombie’.35 These two very different intuitive reac-
tions are of course untestable, except perhaps by another thought experi-
ment. The upshot is that the Doppelgänger thought experiment produces
irredeemably contradictory conclusions, even among experts.
In fact, the same thought experiment serves to illustrate the other
indication of a bad thought experiment, according to Peijnenburg and
Atkinson. They claim that the contradictory conclusions in this case are
caused by question-begging premises: the thought experiment is meant to
explain our intuitions about the mental and the physical, but these intui-
tions are also the cause of the contradictory conclusions. The worry, then, is
that the thought experiment relies on the very intuitions that it is designed
to produce and it certainly gives us a limited idea about the methodology
behind thought experiments. Take once again the EPR thought experi-
ment, which apparently did not make the correct prediction, although it
produced a real experiment (quite a bit after the actual thought experi-
ment was introduced). It seems thus that the EPR thought experiment
was good only because of the contingent fact that Bell happened to find a
way to test it empirically. One question that emerges is how long we are
supposed to wait for a potential empirical experiment before we deem a
thought experiment to be a bad one? This is a concern that Daniel Cohnitz
has also raised.36 Indeed, unless we can define what constitutes a thought
experiment, we might not even recognize the work that thought experi-
ments do (in science and philosophy). Peijnenburg and Atkinson refuse to
attempt this:
Since we are preoccupied with the difference between good and bad,
we do not feel the need to state exactly what thought experiments are;
after all one can distinguish good from bad theories, or thoughts, or
experiments without being able to define what exactly theories, thoughts
or experiments are.37
35
See David Chalmers, The Conscious Mind (Oxford University Press, 1996), p. 95.
36
Daniel Cohnitz, ‘When are Discussions of Thought Experiments Poor Ones?
A Comment on Peijnenburg and Atkinson,’ Journal for General Philosophy of Science 37.2
(2006), pp. 373–392.
37
Peijnenburg and Atkinson, ‘When Are Thought Experiments Poor Ones?’, p. 306.
8.6 Philosophical thought experiments 199
Yet, one might think that the value of a thought experiment, its ‘goodness’
or ‘badness’, is closely tied to what thought experiments are. If we set aside
the purely pragmatic criterion – that a thought experiment is only valu-
able if it produces a real experiment – then we ought to try to make some
progress in this regard. Note that even if we were to look for a purely prag-
matic criterion, philosophical thought experiments will clearly require a
different criterion than the one proposed by Peijnenburg and Atkinson.
As a starting point, we may derive a hint from our earlier discussion: it
looks as if a thought experiment can be valuable while failing to corre-
spond with actual reality; that is, thought experiments by themselves do
not need to be a reliable guide towards how things are in the actual world.
To put this in terms of an example, just take the EPR thought experi-
ment: although the thought experiment is perfectly consistent, it turned
out not to correspond with actuality (since it was refuted by Bell’s experi-
ments). Naturally, thought experiments that do not correspond with the
actual world in the relevant sense might not be very interesting, at least
beyond the purely pragmatic value of urging someone to falsify them
experimentally. But the goal of philosophical thought experiments is
clearly different – it would seem that it is enough if the thought experi-
ment describes a (metaphysically) possible scenario. Now, it should be
immediately noted that one area of debate with regard to many philo-
sophical thought experiments, such as the one involving Döppelgangers, is
exactly whether they are possible – or indeed even conceivable. Setting this
issue aside and assuming that most philosophical thought experiments
do succeed in describing a possible scenario, it remains a separate issue
whether this scenario is true, or in other words, corresponds with actual-
ity. Insofar as a thought experiment succeeds in this regard, it is typically
left to intuitions or further argument to settle the truth of the matter (but
we have of course discussed various problems regarding the use of intui-
tions as evidence). In any case, the suggestion that thought experiments
deal with possibility brings us back towards the discussion of Chapter 7,
namely modal epistemology.
Since we have discussed modal epistemology in great detail already, we
do not need an in-depth discussion here. But it may be worth noting that
mere conceivability is unlikely to be enough. The reason for this was dis-
cussed in Chapter 7, but can be found already in Roy Sorensen’s classic
account of thought experiments: ‘We may open a modal inquiry with a
200 Intuitions and thought experiments in metaphysics
casual appeal to what we can imagine, but we cannot close it’.38 In other
words, room for error always remains. But even if we sometimes conceive
of impossibilities, Sorensen suggests that more often than not we neverthe-
less manage to conceive of a possible scenario. Conceivability presumably
does capture various (metaphysical) possibilities and it is plausible that all
possibilities are, at least in principle, conceivable. The sceptic may com-
plain that since there is no clear way to ensure that something we conceive
is genuinely possible, this overlap can be regarded as worthless. But as
Sorensen notes, drawing an analogy with memory, this type of scepticism
may be too extreme to be an interesting thesis (it is near self-refuting).39
If conceivability is not enough, what are our options? An appeal to
conceptual knowledge or conceptual analysis might be tried, and often is.
This is the approach that Frank Jackson takes.40 Jackson is specifically
interested in philosophical thought experiments, such as Putnam’s Twin
Earth thought experiment, but he does consider applying the concep-
tual framework to scientific thought experiments as well. For instance,
he considers Galileo’s thought experiment about falling bodies in com-
parison to the Twin Earth thought experiment and draws the following
conclusion:
38
Roy Sorensen, Thought Experiments (Oxford University Press, 1992), p. 41.
39
For further discussion on conceivability, see Marcello Oreste Fiocco, ‘Conceivability,
Imagination and Modal Knowledge,’ Philosophy and Phenomenological Research 74 (2007),
pp. 364–380.
40
Frank Jackson, From Metaphysics to Ethics: A Defence of Conceptual Analysis (Oxford: Clarendon
Press, 1998).
41
Jackson, From Metaphysics to Ethics, pp. 78–79.
8.6 Philosophical thought experiments 201
42
Frank Jackson, ‘What Mary Didn’t Know,’ The Journal of Philosophy 83 (1986),
pp. 291–295.
43
Peijnenburg and Atkinson, ‘When Are Thought Experiments Poor Ones?’, pp. 309–310.
44
Sorensen, Thought Experiments, p. 94.
202 Intuitions and thought experiments in metaphysics
We can see that the type of metaphysics Carnap has in mind does not align
very neatly with the difficulty of distinguishing a priori and a posteriori ele-
ments discussed in Chapter 7, nor with the specification of intuition in
Chapter 8. Indeed, in the paper quoted above, Carnap discusses authors
such as Hegel and in the 1957 ‘Remarks by the author’ added to the English
translation he explicitly adds that he had in mind the systems of Fichte,
1
For an overview, see Richard Creath, ‘Logical Empiricism,’ in E. N. Zalta (ed.), The
Stanford Encyclopedia of Philosophy (Spring 2014 edn); see http://plato.stanford.edu/
archives/spr2014/entries/logical-empiricism/
2
Rudolf Carnap, ‘The Elimination of Metaphysics Through Logical Analysis of Language,’
trans. by Arthur Pap, in A. J. Ayer (ed.), Logical Positivism (New York: The Free Press, 1959),
p. 76; originally published in Erkenntnis 2.1 (1931) as ‘Überwindung der Metaphysik
durch logische Analyse der Sprache,’ pp. 219–241.
203
204 Demarcating metaphysics and science: can metaphysics be naturalized?
Schelling, Hegel, Bergson, and Heidegger. So, while it’s unlikely that the
logical positivists would be entirely happy with contemporary analytic
metaphysics, the primary target of their criticism was metaphysics of a
quite different type.
The background of the movement was the departure of various sub-
disciplines from the remit of philosophy. Since by the beginning of the
twentieth century there were already established subdisciplines of phys-
ics, mathematics, biology, psychology, and so on, it was not clear what
was left for philosophy to do. One perhaps fairly understandable reac-
tion to this was that all that’s left is ‘metaphysics’, something completely
non-empirical, based on a privileged access to some quite different type
of evidence than that to which the empirical sciences appeal. This led to
the mystification of philosophy, which now seemed quite distant from the
various empirical sciences that went from triumph to triumph. The logical
positivists, then, were extremely suspicious of the type of a priori reasoning
that would clearly have to be the basis of anything that was left for philoso-
phy to study. Of course, as we have seen in the previous chapters, the situ-
ation is not quite as simple as that, even if the strict demarcation between
metaphysics and science were correct: there are still ways to accommodate
a posteriori methods in metaphysics.
The question about the demarcation between metaphysics and science
may not be quite as pressing as it was when the logical empiricists were
active, but this doesn’t mean that the problem has been solved. Far from
it: the development of modern physics and especially quantum mechanics
have made it clear that the world may in fact be stranger than even the
wildest metaphysical speculations have dared to suggest. As Tim Maudlin
puts it:
This generates a novel worry about the status of metaphysics: if the world
is truly as strange as science suggests, then how could metaphysics ever be
able to say anything informative about it independently of the sciences?
The likely answer is that it cannot, but this is already something that
3
Tim Maudlin, The Metaphysics Within Physics (Oxford University Press, 2007), pp. 78–79.
Demarcating metaphysics and science: can metaphysics be naturalized? 205
4
These principles originate in J. Ladyman and D. Ross (with D. Spurrett and J. Collier),
Every Thing Must Go (Oxford University Press, 2007).
206 Demarcating metaphysics and science: can metaphysics be naturalized?
5
Aristotle, Metaphysics, trans. W. D. Ross, revised by J. Barnes (Princeton University Press,
1984), Bekker page numbers 1003a22–28.
9.1 Autonomous metaphysics 207
6
For discussion of various forms of naturalism in philosophy, see Jack Ritchie,
Understanding Naturalism (Stocksfield: Acumen, 2008).
208 Demarcating metaphysics and science: can metaphysics be naturalized?
7
For instance, a defence of the view that there are four such categories can be found
in E. J. Lowe, The Four-Category Ontology (Oxford: Clarendon Press, 2006). For various
arguments to the effect that there should be fewer or more categories than four, see
the articles in Tuomas E. Tahko (ed.), Contemporary Aristotelian Metaphysics (Cambridge
University Press, 2012).
8
Jonathan Schaffer, ‘Monism: The Priority of the Whole,’ Philosophical Review 119 (2010),
pp. 31–76.
9.1 Autonomous metaphysics 209
9
Again, see Lowe, The Four-Category Ontology; the subtitle of the book is A Metaphysical
Foundation for Natural Science.
210 Demarcating metaphysics and science: can metaphysics be naturalized?
10
See for instance L. A. Paul, ‘The Context of Essence,’ Australasian Journal of Philosophy 82
(2004), pp. 170–184.
11
Ladyman and Ross, Every Thing Must Go, p. 13.
9.2 Fully naturalistic metaphysics 211
12
Bas C. van Fraassen, The Empirical Stance (New Haven, CT: Yale University Press, 2002).
13
Ladyman and Ross, Every Thing Must Go, Ch. 1.
212 Demarcating metaphysics and science: can metaphysics be naturalized?
14
Van Fraassen, The Empirical Stance, p. 3.
9.2 Fully naturalistic metaphysics 213
15
Ibid., pp. 47–48.
16
Ladyman and Ross, Every Thing Must Go, p. 60.
17
Van Fraassen, The Empirical Stance, p. 61.
214 Demarcating metaphysics and science: can metaphysics be naturalized?
Depending on who one listens to, string theory has either already led us
a considerable distance down the road to a complete theory of quantum
gravity, or it has achieved absolutely nothing that counts as physics rather
than mathematics.18
The basic problem with string theory is that it has made little in terms of test-
able predictions – exactly the same issue that people like van Fraassen find
problematic when it comes metaphysics. Now, one reaction to this is to con-
sider string theory just as ‘bad’ as ‘strong metaphysics’. Indeed, the physicist
Lee Smolin reacts against string theory as strongly as van Fraassen does against
metaphysics; Smolin is especially troubled by the fact that string theory has
received vast amounts of funding in the last few decades, at the cost of leav-
ing research on alternative theories largely unfunded.19 We do not need to
dwell on the politics of the situation, but it is worth noting that the celebrated
empirical sciences are apparently at least sometimes subject to problems simi-
lar to those encountered in metaphysics, according to van Fraassen.
How could a metaphysician with less eliminative tendencies reply to
van Fraassen’s challenge? Recall that one of van Fraassen’s points is that
scientific theories are ‘initially understood’. This flies in the face of a point
that was briefly entertained in Chapter 7: a scientific theory cannot be
‘understood’ unless it is interpreted, and the metaphysician may insist that
interpretation requires tools coming from outside of science: the interpre-
tation of any theory T cannot be provided within T, for otherwise it should
itself be interpreted, giving rise to a vicious regress (here T can be consid-
ered science as a whole, on a par to the empirical stance). When it comes
to areas like quantum mechanics, even most physicists would acknowl-
edge that philosophical questions cannot be avoided in the interpretation
of the relevant theories.20 Before those tools are applied, at most one has
the sort of instrumental ability that we saw van Fraassen to push earlier.
Indeed, these instrumental abilities may be satisfactory to scientists insofar
as their immediate goals are considered (to produce practical applications,
18
Ladyman and Ross, Every Thing Must Go, p. 168.
19
For a popular account, see Lee Smolin, The Trouble with Physics (London: Penguin
Books, 2006).
20
For further discussion, see Craig Callender, ‘Philosophy of Science and Metaphysics,’
in S. French and J. Saatsi (eds.), The Continuum Companion to the Philosophy of Science
(London: Continuum, 2011), pp. 33–54. One good example might be the ’many worlds’
9.2 Fully naturalistic metaphysics 215
Note that the type of metaphysics that van Fraassen is primarily react-
ing against is ‘Quinean’, or at least that is how he sees the project: ‘The
genuflection toward science among Quine’s heirs has all too often been
toward a naive caricature purveyed by the past generation of philosophers
at whose knees Quine himself learned it’.23 Accordingly, he does not dis-
cuss or analyse the various more fine-grained formulations of metaphysics
and ontology that we have been pursuing in this book. In fact, a propo-
nent of ‘strong metaphysics’ might even concede van Fraassen’s point if
it is applied to those who attempt to strengthen the position of metaphys-
ics with an appeal to its continuity with science – E. J. Lowe for one cer-
tainly does concede the point.24 Indeed, Lowe suggests that van Fraassen is
absolutely right when it comes to the assertion that metaphysicians claim
continuity with science by appealing to a shared methodology, namely infer-
ence to the best explanation. Van Fraassen’s point, as we have seen, is that
metaphysics fails, catastrophically, to uphold the standards of science in
this regard. But this critique only goes through if metaphysics is indeed
conceived as continuous with science in this sense, something that Lowe
ascribes to ‘false friends’ of metaphysics:
[T]he fault lies here not with metaphysics as such, properly conceived, but
only with those of its false friends who mistakenly seek to enhance its
credit by assimilating its task to that of empirical science. Metaphysics and
empirical science are not ‘continuous’ with each other in any sense which
implies that they have the same goals and methods, or that metaphysics
is just the extension of empirical science to questions of greater generality
than any that are addressed by the so-called ‘special’ sciences. Rather,
when both are conducted fruitfully, metaphysics and empirical science
exist in a symbiotic relationship, in which each complements the other.25
23
Van Fraassen, The Empirical Stance, p. 11.
24
E. J. Lowe, ‘The Rationality of Metaphysics,’ Synthese 178 (2011), p. 101.
25
Lowe, ‘The Rationality of Metaphysics,’ pp. 101–102.
9.3 The Principle of Naturalistic Closure and the Primacy of Physics 217
a hint about what the answer might be. We will return to this issue in the
fourth section of this chapter, but first we will consider another scientifi-
cally minded view, which attempts to provide a ‘naturalized’ c onception of
metaphysics.
The two principles in the title of this section come from Ladyman
and Ross.26 They have been discussed extensively in recent years and it
would be impossible to do full justice to this discussion here. We will
instead focus on certain important aspects of the debate, relevant espe-
cially from the point of view of metametaphysics. It has already become
clear that Ladyman and Ross share some aspects of van Fraassen’s criti-
cism of metaphysics; the polemical first chapter of their book has spurred
a remarkable reaction not only from metaphysicians, but also from philos-
ophers of science. Since we ended the previous section with a quote from
Lowe, we might start this one by considering a challenge that Ladyman
and Ross pose for him and anyone else who pursues what has been pejo-
ratively labelled ‘neo-scholastic metaphysics’. Crucially, Ladyman and
Ross attempt to generalize their critique of contemporary metaphysics
beyond the broadly ‘Quinean’ picture, with which van Fraassen seems
to be primarily concerned. For instance, they attempt to challenge met-
aphysicians’ use of intuitions and a priori inquiry. However, as we saw
in Chapter 8, these issues are fairly complicated. Ladyman and Ross tar-
get one admittedly popular approach, according to which metaphysical
a priori inquiry is more or less just conceptual analysis. They appear to
suggest that Lowe and indeed most contemporary metaphysicians adopt
‘the familiar methodology of reflecting on our concepts (conceptual
analysis)’ for doing metaphysics.27 Ladyman and Ross are quite correct
to ask how conceptual analysis could possibly reveal anything about the
structure of reality, but this is (again!) a concern that many metaphysi-
cians share – Lowe among them. So perhaps this critiquing aspect of the
26
Ladyman and Ross, Every Thing Must Go, Ch. 1.
27
Ibid., p. 16.
218 Demarcating metaphysics and science: can metaphysics be naturalized?
28
Ibid., p. 64.
9.3 The Principle of Naturalistic Closure and the Primacy of Physics 219
The core of the scientistic stance is the search for unification among sci-
entific theories on the basis of physics. In order to achieve such unification,
we should finally outline the two principles mentioned in the title of this
section: the Principle of Naturalistic Closure (PNC) and the Primary of Physics
Constraint (PPC). Here are short formulations of both principles:
29
Ibid., p. 37.
30
Ibid., p. 44.
220 Demarcating metaphysics and science: can metaphysics be naturalized?
to them, but this is quite far from reality. Nature does not play billiards!
But the question is whether this is enough to fully motivate principles like
(PNC) and (PPC).
Take (PNC) first. It would seem to reduce metaphysics merely to the task
of unifying scientific hypotheses. Many metaphysicians would think (and
have thought) that this misconstrues the methodology of metaphysics. For
instance, in a review of Ladyman and Ross’s book, Cian Dorr puts it as
follows:
31
Cian Dorr, ‘Review of Every Thing Must Go,’ Notre Dame Philosophical Reviews (2010); see
https://ndpr.nd.edu/news/24377-every-thing-must-go-metaphysics-naturalized/
32
Katherine Hawley, ‘Science as a Guide to Metaphysics?’, Synthese 149.3 (2006): 451–470.
9.3 The Principle of Naturalistic Closure and the Primacy of Physics 221
33
Hawley, ‘Science as a Guide to Metaphysics?’, pp. 465–466.
222 Demarcating metaphysics and science: can metaphysics be naturalized?
34
Ladyman and Ross, Every Thing Must Go, p. 119.
35
For details, see for instance Mauro Dorato and Matteo Morganti, ‘Grades of Individuality.
A Pluralistic View of Identity in Quantum Mechanics and in the Sciences,’ Philosophical
Studies 163 (2013), pp. 591–610.
36
For further discussion on underdetermination, see Steven French, ‘Metaphysical
Underdetermination: Why Worry?’, Synthese (2011) 180, pp. 205–221; see also Steven
French, The Structure of the World: Metaphysics and Representation (Oxford University Press,
2014), especially Ch. 2.
9.3 The Principle of Naturalistic Closure and the Primacy of Physics 223
science is proposed. But the cost of accepting both of the principles pro-
posed is that metaphysics becomes simply a ‘handmaiden’ of science. Note
also that we have omitted entirely a discussion of the positive proposal put
forward by Ladyman and Ross, a view they call ‘ontic structural realism’
(OSR). We encountered the structuralist view briefly in Chapter 6, but have
not properly engaged with it. This is partly because the details of the the-
ory are less important from a metametaphysical point of view than from
the point of view of first-order metaphysics or philosophy of science, where
(OSR) is an important contender, and partly because we could not do justice
to (OSR) here.37 We might note, though, that this ontological picture has
been challenged, among other things, on the basis of an oversimplistic pic-
ture regarding ontological dependence: one version of (OSR) suggests that
objects depend for their identities on the structures to which they belong,
so the structure is more fundamental than the objects – hence the title of
Ladyman and Ross’s book, Every Thing Must Go. Now, this looks like a claim
of identity-dependence, but as we’ve seen in the discussion in Chapters 5
and 6, there are several difficult questions to address before we can accur-
ately formulate and use this notion of dependence – a task which Ladyman
and Ross do not undertake.38
Setting the details of the ontological picture aside, there is another
important methodological challenge that can be derived from the two prin-
ciples, (PNC) and (PPC). This concerns a core area of metaphysics – one that
we discussed in considerable detail in Chapter 7 and also earlier – namely
modality. We already mentioned the challenge regarding modal epistemol-
ogy, namely that philosophers have often wrongly regarded something as
possible or necessary. More generally, one might worry that it is unclear
what the conceptual space that metaphysics is supposedly concerned with
is like, and it is sensible to think that it is ultimately physical modality
that determines what we regard as metaphysically possible, necessary, or
impossible. In other words, following (PPC), a scientifically minded philoso-
pher could argue that all modality reduces to physical modality and hence
any judgements that we make about what is possible or necessary should
have physics – or science more generally – as their source.
37
For a classic overview of structural realism, see James Ladyman, ‘What is Structural
Realism?’, Studies in History and Philosophy of Science Part A 29 (1998), pp. 409–424.
38
For further discussion, see, e.g., Donnchadh O’Conaill, ‘Ontic Structural Realism and
Concrete Objects,’ The Philosophical Quarterly 64.255 (2014), pp. 284–300.
224 Demarcating metaphysics and science: can metaphysics be naturalized?
Craig Callender has raised a challenge not unlike this one, pointing
out that the focus on metaphysical modality is suspicious precisely because
metaphysicians have claimed that this is an area on which science can say
very little.39 Callender thinks that the focus on metaphysical modality is
one of the primary reasons for the disconnect (or even hostility!) between
contemporary metaphysics and philosophy of science. The rift could be
put as follows. Science concerns the actual world and makes claims about
what is physically possible and necessary, but metaphysicians want some-
thing stronger: they want to know what is metaphysically necessary, say,
whether the actual laws of physics hold across all possible worlds. Indeed,
the debate about the laws of nature is one of the central topics of con-
temporary analytic metaphysics and it is perhaps not surprising that those
philosophers who have scientific training or interests find this debate frus-
trating. Who cares about whether salt dissolves in water in some remote
possible world!40 Well, as Callender points out, this is not really the right
way to think about the matter:
I submit that the basic problem with some metaphysics today is the
idea that the philosopher and scientist doing ontology are performing
fundamentally different and separate jobs. The metaphysician’s picture
that the scientist works in the lab, discovering the actual world’s features,
while the metaphysician discerns the wider universe of possible, isn’t
right. The error is thinking that the science of the actual world doesn’t
affect what one thinks is possible or impossible. The history of science and
philosophy amply displays that what we think is possible or impossible
hangs on science. Or going in the other direction, the error is thinking
that modal intuitions are reliable if they are not connected to a systematic
theory of a large domain, one possessing many theoretical and empirical
virtues.41
39
Callender, ‘Philosophy of Science and Metaphysics,’ p. 40. Similar concerns are raised
in Maudlin, The Metaphysics Within Physics.
40
For discussion regarding laws of nature and this very example, see for instance
Alexander Bird, Nature’s Metaphysics (Oxford University Press, 2007). See also Tuomas
E. Tahko, ‘The Modal Status of Laws: In Defence of a Hybrid View,’ The Philosophical
Quarterly (2015 [online], forthcoming).
41
Callender, ‘Philosophy of Science and Metaphysics,’ p. 43–44.
9.4 Methodological similarities 225
This is, by all accounts, a fair assessment, one that the present author
would readily agree with. But there is one more issue worth mentioning
before we move on, having to do with the relevant interpretation of modal
claims. While Callender is correct in that the exclusive focus on irreducible
metaphysical modality is suspicious, the thought that the modal space
that scientists deal with is somehow absolutely well defined does not fol-
low. Even a proponent of ‘strong metaphysics’ need not commit to the
irreducibility of metaphysical modality. Indeed, as we saw in Chapter 7,
on the essentialist framework of Fine and Lowe metaphysical modality
reduces to essence, albeit it is unlikely that a scientifically minded phil-
osopher would find the appeal to irreducible essence any more satisfying.
Nevertheless, the point is that (semi-)autonomous metaphysics does not
need to commit to any single piece of doctrine, such as irreducible meta-
physical modality. The scientifically minded philosopher only needs to
insist on the necessity of the conceptual and methodological ‘toolbox’ of
metaphysics for performing certain tasks, such as the interpretive task we
have now encountered several times. Note that this immediately makes
room for a more moderate form of naturalism about metaphysics – some-
thing that we will discuss in more detail in the last section of this chap-
ter. But first, let us take a look at the potential methodological similarities
between science and metaphysics, for it seems that Callender is calling
exactly for a closer study of such similarities, instead of focusing on the
evident differences.
Whilst rushing through the various comments and critical remarks con-
cerning the relationship between science and metaphysics we have, hope-
fully, made at least some progress. There is clearly quite a bit of chatter
between scientists (or rather, ‘scientifically-minded’ philosophers) and
metaphysicians and despite some extremists, there is a rough consensus
that the two cannot be entirely independent of each other. But if there is
some overlap between the disciplines, we still ought to ask: does this over-
lap concern the methods or the subject matter of science and metaphysics?
One recent and potentially helpful discussion on just this issue is due to
L. A. Paul, who suggests that metaphysics and science have effectively the
226 Demarcating metaphysics and science: can metaphysics be naturalized?
same methodology, but distinct subject matters.42 The core of Paul’s pro-
posal can be summarized with the following passages:
The fact that the subject matter of metaphysics can be ontologically prior
to the subject matter of science is reflected in the fact that many concepts
of metaphysics are conceptually prior to the concepts of science. […] There
is no way to make sense of the central concepts of classical field theory or
quantum chromodynamics without using a concept of property.44
Note that Paul is making a strong claim here: she appears to suggest that we
cannot even understand or interpret science without resorting to notions
which are distinctly philosophical, or require a philosophical analysis. It
is indeed relatively uncontroversial that the notion of a property is prior to
that of, say, electric charge: electric charge is a specific case of property.
In this sense, metaphysical concepts do appear more fundamental than
scientific concepts. But why should we think that this priority holds quite
generally? Moreover, this in itself may not be sufficient to establish that
metaphysical inquiry has a ‘privileged’ role to play when it comes to study-
ing the fundamental structure of reality, as one could interpret Paul to be
suggesting. In general, one might have doubts about whether conceptual
priority is a convincing criterion or indication of ontological priority. There
are at least two reasons to doubt that there is such a strong link between
them. First, it is often very difficult to even determine when one concept
is prior to another – the order of the acquisition of concepts being of little
help. Secondly, even if a specific sense of priority and dependence among
42
L. A. Paul, ‘Metaphysics as Modeling: The Handmaiden’s Tale,’ Philosophical Studies 160
(2012), pp. 1–29.
43
Paul, ‘Metaphysics as Modeling: The Handmaiden’s Tale,’ p. 5.
44
Ibid., p. 6.
9.4 Methodological similarities 227
45
James Ladyman, ‘Science, Metaphysics and Method,’ Philosophical Studies 160.1 (2012),
pp. 31–51.
9.4 Methodological similarities 229
46
Timothy Williamson, The Philosophy of Philosophy (Blackwell Publishing, 2007),
especially Ch. 5.
47
Paul, ‘Metaphysics as Modeling: The Handmaiden’s Tale,’ p. 23.
230 Demarcating metaphysics and science: can metaphysics be naturalized?
49
For a recent example of a view on these lines, see Matteo Morganti, Combining Science
and Metaphysics (New York: Palgrave Macmillan, 2013).
50
Lowe, ‘The Rationality of Metaphysics,’ p. 100.
232 Demarcating metaphysics and science: can metaphysics be naturalized?
51
See E. J. Lowe, ‘Two Notions of Being: Entity and Essence,’ Royal Institute of Philosophy
Supplements 83.62 (2008), pp: 23–48.
9.5 Moderately naturalistic metaphysics 233
a kind rather than as pointing to abstract universals) requires input from the
empirical sciences, it appears that the process of coming to know essences
cannot be completely a priori, at least not in all cases. In fact, unless some
account is given of this empirical element Lowe’s point runs the risk of being
reduced to an uncontroversial but relatively unimportant claim about our
understanding of concepts (rather than grasp of ‘real’ essences).
What remains of Lowe’s proposal, then? Can his suggestion that meta-
physics is an exploration of a sui generis, fundamental space of possibilities be
saved in spite of the shortcomings just pointed out? To maintain that we have
a priori access to essence even in the case of material objects such as natural
kinds, Lowe would have to adopt the view that the essential features of mate-
rial objects are, by and large, accessible to us via a simple reflective process.
This does not compel Lowe to claim that the full essence is to be reached so
easily, but we ought to be able to access enough of the essence to be able to
separate one object from another. Hence, if we try to separate water from
other superficially similar liquids, it would not be enough to say that, for
instance, water is a transparent liquid (in ‘normal’ conditions, i.e., in room
temperature etc.) because there are several other chemical substances, such
as hydrogen peroxide, that have the same (essential) features. But consider
where Lowe ends up:
[O]ur natural classifications do not need to be, and in fact should not be,
forced into a single, all-embracing taxonomic scheme. Real divisions in
nature are reflected by our natural classificatory schemes, but they are often
divisions at different levels, allowing for a good deal of cross-classification.
So, to revert to an earlier example, there is nothing wrong in saying that, for
some purposes, diamond, graphite and charcoal may be regarded as different
kinds of substance[.]52
52
E. J. Lowe, ‘Locke on Real Essence and Water as a Natural Kind: A Qualified Defence,’
Aristotelian Society Supplementary Volume 85 (2011), pp. 16–17.
234 Demarcating metaphysics and science: can metaphysics be naturalized?
Let us see where we can get with this. What we are effectively looking
for is a model, more or less in Paul’s sense, which would give us the tools
to assess cases like elements, explaining our ability to make predictions
about them in advance of observations. So consider carbon. Diamond and
graphite, which Lowe mentions, are two of the several allotropes of car-
bon – pure forms of the same element that differ in structure. But there
is of course a reason behind the fact that we typically classify different
allotropes as members of the same kind, despite the significant differences
in their chemical properties. The reason has its source in the fact that des-
pite their many differences, the allotropes of carbon can be subjected to
the same type of chemical reaction with the same type of result. This reac-
tion is oxidation: If one burns diamond, graphite, or charcoal, the result
is always the same, namely pure carbon dioxide. If any of these allotropes
were compounds of different elements instead, the burning would result in
some impurities. As it happens, this is exactly how Lavoisier, the famous
eighteenth-century chemist, discovered that diamond is indeed an allo-
trope of carbon. Lavoisier heated a diamond in a glass jar until it disap-
peared and observed that the weight of the jar had not changed, hence
concluding that the diamond must have been made of carbon to produce
the carbon dioxide gas present in the jar after heating.53
We can conclude that when modelling elements, we ought to take into
account at least two things. The first is the ability of elements to form allo-
tropes and their ability to form compounds with other elements (which
can also take several forms; that is, polymorphism in general must be taken
into account). The second is the survival of something essential to the elem-
ent in all of the different forms that it can take. More precisely, it is in
virtue of the essence of carbon that carbon atoms are capable of forming
allotropes with varying crystalline structures, and it is also in virtue of the
essence of carbon that the vast range of forms that carbon can take in a var-
iety of allotropes and compounds still share some aspect of the elemental
form of carbon. What these aspects are is a question of chemistry and we
need not go into a lot of detail here.54 But we could perhaps understand the
53
For further discussion, see Tuomas E. Tahko, ‘Empirically-Informed Modal Rationalism,’
in R. W. Fischer and F. Leon (eds.), Modal Epistemology After Rationalism, Synthese Library
(Dordrecht: Springer, forthcoming).
54
But see Tuomas E. Tahko, ‘Natural Kind Essentialism Revisited,’ Mind 124.915 (2015),
pp. 795–822.
9.5 Moderately naturalistic metaphysics 235
236
Glossary 237
emergence, emergent: The idea that complex systems and patterns can arise or
emerge out of simple interactions; the emergent properties of a complex
system may not be reducible to the parts of the system.
endurantism and perdurantism: Competing views regarding temporal parts.
Perdurantists hold that material objects have temporal parts in addition
to spatial parts and hence that objects ‘perdure’; objects persist by having
temporal parts. Endurantists hold that material objects do not have tempo-
ral parts, which leads them to think that objects are wholly present at any
time that they exist; they ‘endure’. See also three- and four-dimensionalism.
entity: Something existing, an object, although not necessarily a material object.
essence: The essence of an entity can be expressed through its identity and
existence conditions; the properties which make it the very thing it is.
These properties are necessary for the entity: it couldn’t exist without
them. Sometimes essence is explicated in terms of real definition, some-
times in purely modal terms. Typically, essences are not considered to be
entities themselves.
essentialism: The view that (at least some) things have essences, which make
them the very things or kinds of things that they are. One version of this
view is natural-kind essentialism, which postulates essences for natural kinds,
such as water.
external questions: Originating from Rudolf Carnap. External questions are
questions that go beyond established frameworks; they concern the appli-
cability of a framework to reality. According to Carnap, these are typically
questions that philosophers (metaphysicians) ask, but Carnap regards
them as meaningless. See also internal questions.
essential dependence: A form of ontological dependence whereby an entity x
depends essentially for its existence upon an entity y, in the sense that it is
part of the essence of x that x exists only if y exists.
existential dependence: A form of ontological dependence whereby an entity x
depends upon an entity y for its existence, in the sense that x couldn’t exist
if y didn’t exist.
experience-based intuition: Intuition derived from experience; concerning the
phenomenology of the subject matter of the intuition rather than concep-
tual analysis.
fallibilism, fallible: The view that a given position is subject to revision; the
position is fallible.
four-dimensionalism: See three- and four-dimensionalism.
238 Glossary
always be merely linguistic, some think that there could also be vagueness
in the world, that is, metaphysical vagueness.
well-foundedness: An order is said to be well-founded if every non-fundamental
element of the order is fully grounded by some fundamental element(s).
The notion of well-foundedness may be used to explicate metaphysical
foundationalism.
Bibliography
243
244 Bibliography
Jackson, F. 1986. ‘What Mary Didn’t Know,’ The Journal of Philosophy 83,
291–295.
1998. From Metaphysics to Ethics: A Defence of Conceptual Analysis. Oxford: Clarendon
Press.
Jenkins, C. S. 2010. ‘Concepts, Experience and Modal Knowledge,’ Philosophical
Perspectives 24, 255–279.
2010. ‘What Is Ontological Realism?’, Philosophy Compass 5/10, 880–890.
2011. ‘Is Metaphysical Dependence Irreflexive?’, The Monist 94.2, 267–276.
2014. ‘Intuition, “Intuition”, Concepts and the A Priori,’ in A. R. Booth and D.
P. Rowbottom (eds.), Intuitions. Oxford University Press, pp. 91–115.
2014. ‘Merely Verbal Disputes,’ Erkenntnis 79.1, 11–30.
Kim, J. 2010. Essays in the Metaphysics of Mind. Oxford University Press.
Koslicki, K. 2005. ‘On the Substantive Nature of Disagreements in Ontology,’
Philosophy and Phenomenological Research 71, 85–105.
2012. ‘Varieties of Ontological Dependence,’ in F. Correia and B. Schnieder
(eds.), Metaphysical Grounding. Cambridge University Press, pp. 186–213.
Kripke, S. 1980. Naming and Necessity. Cambridge, MA: Harvard University
Press.
2013. Reference and Existence. Oxford University Press.
Ladyman, J. 1998. ‘What Is Structural Realism?’, Studies in History and Philosophy
of Science Part A 29, 409–424.
2012. ‘Science, Metaphysics and Method,’ Philosophical Studies 160.1, 31–51.
Ladyman, J. and D. Ross (with D. Spurrett and J. Collier). 2007. Every Thing Must
Go. Oxford University Press.
Lange, M. 2008. ‘Could the Laws of Nature Change?’, Philosophy of Science 75.1,
69–92.
Lewis, D. 1990. ‘Noneism or Allism?’, Mind 99.393, 23–31.
Lowe, E. J. 2006. The Four-Category Ontology: A Metaphysical Foundation for Natural
Science. Oxford: Clarendon Press.
2008. ‘Two Notions of Being: Entity and Essence,’ Royal Institute of Philosophy
Supplements 83.62, 23–48.
2010. ‘Ontological Dependence,’ in E. N. Zalta (ed.), The Stanford Encyclopedia of
Philosophy (Spring 2010 edn), see http://plato.stanford.edu/archives/spr2010/
entries/dependence-ontological/
2011. ‘Locke on Real Essence and Water as a Natural Kind: A Qualified
Defence,’ Aristotelian Society Supplementary Volume 85, 16–17.
2011. ‘The Rationality of Metaphysics,’ Synthese 178.1, 99–109.
2012. ‘What Is the Source of Our Knowledge of Modal Truths?’, Mind 121,
919–950.
Bibliography 249
2015. ‘The Modal Status of Laws: In Defence of a Hybrid View,’ The Philosophical
Quarterly, (online) (forthcoming).
‘Empirically-Informed Modal Rationalism,’ in R. W. Fischer and F. Leon (eds.),
Modal Epistemology After Rationalism, Synthese Library. Dordrecht: Springer
(forthcoming).
Tahko, T. E. and E. J. Lowe. ‘Ontological Dependence,’ in E. N. Zalta (ed.), The
Stanford Encyclopedia of Philosophy (Spring 2015 edn), see http://plato.stan-
ford.edu/entries/dependence-ontological/
Tahko, T. E. and D. O’Conaill. 2015. ‘Minimal Truthmakers,’ Pacific Philosophical
Quarterly, (online) (forthcoming).
Tallant, J. 2013. ‘Intuitions in Physics,’ Synthese 190, 2959–2980.
Thomas, C. 2008. ‘Speaking of Something: Plato’s Sophist and Plato’s Beard,’
Canadian Journal of Philosophy 38.4, 631–667.
Thomasson, A. 2007. Ordinary Objects. Oxford University Press.
2009. ‘Answerable and Unanswerable Questions,’ in D. Chalmers, D. Manley,
and R. Wasserman (eds.), Metametaphysics. Oxford University Press, 444–471.
2009. ‘The Easy Approach to Ontology,’ Axiomathes 19, 1–15.
2015. Ontology Made Easy. Oxford University Press.
Trogdon, K. 2009. ‘Monism and Intrinsicality,’ Australasian Journal of Philosophy
87, 127–148.
2013. ‘Grounding: Necessary or Contingent?’, Pacific Philosophical Quarterly 94,
465–485.
2013. ‘An Introduction to Grounding,’ in M. Hoeltje, B. Schnieder, and A. Steinberg
(eds.), Varieties of Dependence. Munich: Philosophia Verlag, pp. 97–122.
Vaidya, A. 2010. ‘Understanding and Essence,’ Philosophia 38, 811–833.
2012. ‘Intuition and Inquiry,’ Essays in Philosophy 13.1, Article 16.
Van Brakel, J. 2010. ‘Chemistry and Physics: No Need for Metaphysical Glue,’
Foundations of Chemistry 12.2, 123–136.
Van Fraassen, B. C. 2002. The Empirical Stance. New Haven: Yale University
Press.
Van Inwagen, P. 1990. Material Beings. Ithaca, NY: Cornell University Press.
1998. ‘Meta-ontology,’ Erkenntnis 48, 233–250.
2009. ‘Being, Existence, and Ontological Commitment,’ in D. Chalmers, D.
Manley, and R. Wasserman (eds.), Metametaphysics. Oxford University Press,
pp. 472–506.
Varzi, A. C. 2011. ‘Boundaries, Conventions, and Realism,’ in J. K. Campbell, M.
O’Rourke, and M. H. Slater (eds.), Carving Nature at Its Joints: Natural Kinds in
Metaphysics and Science. Cambridge, MA: MIT Press, pp. 129–153.
Von Solodkoff, T. and R. Woodward. 2013. ‘Noneism, Ontology, and
Fundamentality,’ Philosophy and Phenomenological Research 87.3, 558–583.
254 Bibliography
a posteriori necessity, 80, 154, 164 constitutive facts, 161–63, 229, 230, 236
allism, 22, 236. See also noneism conventional, conventionalism, 9, 63, 65,
analyticity, 27, 73, 80, 113, 155, 183, 191 76–83, 86, 89, 90, 169, 233, 236, 238,
application conditions, 74–76, 236 240
apriority, 10, 11, 80, 146, 151, 152–55, Correia, Fabrice, 108
159, 164, 168–76, 178, 180, 181, 190, counterfactuals, 81, 82, 160, 161, 162, 167,
193, 203, 206, 217, 231, 232 229, 230, 231, 236
Aristotle, Aristotelian, 3, 4, 9, 46, 57, Crane, Tim, 23, 25–27, 44, 46, 47, 62
64, 67, 93, 100, 101, 103, 127, 128,
163, 195, 196, 206, 207, 208, 209, definite descriptions, 19, 49
240, 241 Dennett, Daniel, 177
armchair metaphysics, 152, 169, 170, 171, dependence. See ontological dependence
193, 194, 206 Dorr, Cian, 32, 33, 34, 35, 220
Armstrong, D. M., 137
atomism, 120, 125–30, 133, 134, 136, 139, 'easy' ontology, 65, 66, 73, 74, 75, 91
142, 236, 238 Einstein, Albert, 88, 178, 196
Eklund, Matti, 29, 37
Bealer, George, 156, 178, 190–93 emergence, emergent, 143, 146, 208, 237
Bennett, Karen, 68–71, 72, 77, 89, 135 endurantism and perdurantism, 53–55,
Bohm, David, 129, 141 187, 237. See also three- and four-
dimensionalism
Cameron, Ross, 130–33 epistemicism, 69, 70, 71, 72, 77, 83
Carnap, Carnapian, 8, 13–15, 20, 27, 28, essence, 82, 95, 98, 100–4, 115, 152, 156,
29, 31, 32, 33, 35, 37, 38, 41, 49, 50, 157, 162–66, 169, 173, 174, 225, 232,
51, 53, 64, 75, 76, 203, 211, 237, 238 233, 234, 236, 237, 239, 240
causation, 9, 56, 93, 94, 108, 111, 113, essentialism, 100, 156, 235, 237
114, 144, 185, 186, 187, 218, 229, 230, existence, 6, 8, 10, 13, 15, 16–29, 32,
235, 238 35, 37, 39, 40, 41, 42, 44, 46, 47,
Chalmers, David, 5, 14, 32, 68, 73, 156, 51, 57–62, 69, 73, 74, 75, 85, 91,
158, 184 93, 95–100, 102, 104, 110, 112, 120,
chemical substance, 125, 174, 180, 202, 131, 136, 144, 166, 210, 221, 237,
233 240
conceptual analysis, 169, 182, 183, 200, external questions. See internal and
206, 217, 236, 237 external questions
255
256 Index
natural kinds, 89, 166, 169, 172, 173, 174, principle of charity, 52, 240
205, 232, 237, 239 principle of independence, 21, 23, 25, 240
natural necessity. See modality:physical Putnam, Hilary, 81, 124, 125, 173, 177,
naturalism, 85, 191, 207, 212, 225, 239 179, 180, 183, 200
necessity. See modality
nihilism (about composition), 34, 35, 55, quantification, quantifiers, 4, 6, 8, 14,
187, 239, See also universalism (about 16–18, 19, 21, 23, 26, 27, 30, 34, 35,
composition) 36, 39–52, 56, 57, 58, 59, 60, 61, 62,
Nolan, Daniel, 169–72 66, 68, 69, 85, 228
nominalism, 17, 53 quantifier variance, 8, 9, 36, 40, 42, 49–57,
nomological necessity. See modality: 66, 68, 69, 73, 75, 77, 240
physical quantum field theory, 132, 148
noneism, 22, 23, 24, 25, 39, 236, See quantum mechanics, 28, 125, 129, 132,
also allism 148, 197, 204, 214, 221, 222
Quine, Quinean, 4, 5, 8, 13–27, 30, 35, 38,
ontic structural realism. See structuralism 39, 40, 41, 42, 44, 45, 46, 47, 48, 49,
Ontologese, 32, 49, 56, 239 50, 57, 59, 64, 138, 155, 191, 192, 203,
ontological anti-realism, 9, 64, 72, 76 216, 217, 228
ontological commitment, 4, 6, 8, 14, 16,
18, 19, 23, 39–49, 58, 63, 64, 227 rational intuition, 11, 190–94, 240, See also
ontological deflationism, 9, 14, 36, 62, 64, intuitions
65, 66, 67, 71–76, 78, 79, 84, 85, 90, Rayo, Augustín, 43, 44, 45, 47, 51
91, 92, 236 real (metaphysically robust), 58, 60, 61,
ontological dependence 233
essential, 95, 98, 100, 101–4, 165, 237 real definition, 101, 104, 163, 164, 165,
generic existential, 95, 96, 97, 135, 237, 240
146 reduction, reductionism, 9, 13, 52, 94,
identity-dependence, 95, 98–101, 104, 102, 113, 114–16, 124–26, 152, 167,
223, 238 168, 176, 188, 189, 223, 225, 237, 240
rigid existential, 96, 97, 102, 110, 136 reference magnetism, 86, 87
ontological realism, 2, 9, 50, 64–73, 77, regress, 131, 139, 148, 149, 163, 214, 238
83, 85, 89, 240, See also ontological relativism, 29, 72, 241
anti-realism; ontological deflationism Ross, Don, 11, 123, 125–27, 128, 129, 132,
133, 137, 140, 141, 142, 144, 193, 194,
paraphrase, 19, 49 213, 217–23
Parsons, Terence, 24 Routley, Richard, 24, 25
Paul, L.A., 225–31, 234, 235 Rowbottom, Darrell, 178
physical constants, 136, 144–47 Russell, Bertrand, 19, 20, 24, 45, 46
Plato, Platonism, 8, 15, 18, 19, 20, 36, 53,
59, 84 Schaffer, Jonathan, 62, 114, 128, 133, 135,
pluralism (as opposend to monism), 105, 138, 140, 141, 208
128, 133, 137, See also monism Schrödinger, Erwin, 129
possibility. See modality Sidelle, Alan, 80–83
possible worlds, 23, 25, 116, 157, 180, 224, Sider, Ted, 8, 9, 33, 34, 40, 49, 50, 54,
230, 236, 240 56, 57, 62, 65, 66, 67, 68, 69, 71, 73,
powers, 56 83–90, 138
Priest, Graham, 21, 24, 25, 45–47 Simons, Peter, 99
258 Index
Smith, Barry, 78 Twin Earth, 81, 177, 179, 180, 183, 184,
Smolin, Lee, 214 192, 200, 201
Sorensen, Roy, 199, 200, 201
Sosa, Ernest, 183, 184, 193 universalism (about composition), 34,
special composition question, 33, 34, 35, 55, 56, 75, 187, 241. See also nihilism
55, 241 (about composition)
structuralism, 79, 223, 241 universals, 17, 18, 19, 20, 22, 32, 208, 215,
structure, 77, 79, 83, 84, 119, 120, 121, 233, 236
124, 127, 131, 136, 137, 138, 139, 140,
146, 147, 185, 204, 205, 206, 217, 223, vague, vagueness, 4, 5, 69, 153, 172, 181,
227, 228 202, 207, 241
substance, 95, 99, 128, 215, 227, 239, 241 Vaidya, Anand, 156, 186, 187
supervenience, 113, 116, 132 Van Fraassen, Bas, 211–17, 218
Szabó, Zoltán Gendler, 47, 48 Van Inwagen, Peter, 4–6, 15, 16, 33, 42, 50,
55, 70, 170, 241
theoretical virtues, 170, 171, 228, 230, Varzi, Achille C., 78–80
231, 235, 241 verbal disputes, 50, 51–57, 62, 69, 70, 71,
Thomas, Christie, 18, 19 72, 75, 240
Thomasson, Amie, 71, 72, 73–76, 78, 91
thought experiments, 10, 177–81, 185, well-foundedness, 123, 133–35, 136, 150,
186, 192, 194–202, 229, 232 242
three- and four-dimensionalism, 53, 55, Williamson, Timothy, 155, 160–63, 167,
66, 241. See also endurantism and 168, 229, 230, 231
perdurantism Woodward, Richard, 22
Trogdon, Kelly, 118
truthmaking, 9, 94, 116–19, 137, 139, 241 Yablo, Stephen, 70, 158