Professional Documents
Culture Documents
PDF Being Necessary Themes of Ontology and Modality From The Work of Bob Hale Ivette Fred Rivera Ebook Full Chapter
PDF Being Necessary Themes of Ontology and Modality From The Work of Bob Hale Ivette Fred Rivera Ebook Full Chapter
https://textbookfull.com/product/ontology-modality-and-mind-
themes-from-the-metaphysics-of-e-j-lowe-alexander-carruth/
https://textbookfull.com/product/being-freedom-and-method-themes-
from-the-philosophy-of-peter-van-inwagen-first-edition-keller/
https://textbookfull.com/product/meanings-and-other-things-
themes-from-the-work-of-stephen-schiffer-1st-edition-ostertag/
https://textbookfull.com/product/art-mind-and-narrative-themes-
from-the-work-of-peter-goldie-1st-edition-julian-dodd/
Ethics Society and Politics Themes from the Philosophy
of Peter Winch Michael Campbell
https://textbookfull.com/product/ethics-society-and-politics-
themes-from-the-philosophy-of-peter-winch-michael-campbell/
https://textbookfull.com/product/logic-and-philosophy-of-time-
themes-from-prior-1st-edition-hasle/
https://textbookfull.com/product/far-from-camelot-far-
from-2-rylee-hale/
https://textbookfull.com/product/logic-and-philosophy-of-time-
further-themes-from-prior-1st-edition-blackburn/
https://textbookfull.com/product/logic-language-and-mathematics-
themes-from-the-philosophy-of-crispin-wright-1st-edition-
alexander-miller/
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
Being Necessary
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
Being Necessary
Themes of Ontology and Modality
from the Work of Bob Hale
Ivette Fred-Rivera and Jessica Leech
1
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
3
Great Clarendon Street, Oxford, OX2 6DP,
United Kingdom
Oxford University Press is a department of the University of Oxford.
It furthers the University’s objective of excellence in research, scholarship,
and education by publishing worldwide. Oxford is a registered trade mark of
Oxford University Press in the UK and in certain other countries
© the several contributors 2018
The moral rights of the authors have been asserted
First Edition published in 2018
Impression: 1
All rights reserved. No part of this publication may be reproduced, stored in
a retrieval system, or transmitted, in any form or by any means, without the
prior permission in writing of Oxford University Press, or as expressly permitted
by law, by licence or under terms agreed with the appropriate reprographics
rights organization. Enquiries concerning reproduction outside the scope of the
above should be sent to the Rights Department, Oxford University Press, at the
address above
You must not circulate this work in any other form
and you must impose this same condition on any acquirer
Published in the United States of America by Oxford University Press
198 Madison Avenue, New York, NY 10016, United States of America
British Library Cataloguing in Publication Data
Data available
Library of Congress Control Number: 2018936570
ISBN 978–0–19–879216–1
Printed and bound by
CPI Group (UK) Ltd, Croydon, CR0 4YY
Links to third party websites are provided by Oxford in good faith and
for information only. Oxford disclaims any responsibility for the materials
contained in any third party website referenced in this work.
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
Preface
Three days before we submitted the final manuscript of this volume to the Press, Bob
Hale passed away. The book had always been intended as a celebration of his
philosophical work, but we had not anticipated the sad circumstances in which it
might also serve as a memorial.
Bob was an extraordinary philosopher, as can be gathered from the careful and
fruitful engagement with his work in the following pages. Bob combined great
philosophical vision and insight, with remarkable intellectual stamina, rigour, and
generosity. He was always happy to discuss philosophy, and that philosophical
discussion would be thorough, searching, and enormously helpful. Bob wouldn’t
let you get away with a quick and easy answer to a problem; he would walk you
through it, step by step, detail by detail, until a more complex, richer, and ultimately
much more philosophically satisfying picture came into view.
Bob’s published work includes three major books: Abstract Objects (1987), The
Reason’s Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics
(2001, co-authored with Crispin Wright), and Necessary Beings: An Essay on Ontol-
ogy, Modality, and the Relations Between Them (2013). In this most recent book, Bob
drew together the different strands of his research in metaphysics, philosophical
logic, and philosophy of mathematics into a comprehensive and interrelated picture
of reality, modality, existence, and how philosophical investigation into these areas
should be conducted. It is an exceptional piece of philosophy and many of the
chapters in this volume are a testament to that, in attempting to grapple with
many of its important claims and arguments.
As well as a philosopher, Bob was also a great teacher, mentor, colleague, collab-
orator, and friend. His ability to convey his knowledge, his no-nonsense approach to
philosophy, his clarity, his sensibility to art, and concern for the underprivileged were
remarkable. His loss will be felt immeasurably for a long time to come. This book is,
of course, dedicated to the celebration of his philosophical work. But we also, with
deep sadness, dedicate it to his friendship, and to his memory.
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
Contents
1. Introduction 1
Ivette Fred-Rivera and Jessica Leech
2. On Some Arguments for the Necessity and Irreducibility of Necessity 15
John Divers
3. The World of Truth-Making 36
Kit Fine
4. Essentialism and Logical Consequence 60
Rosanna Keefe and Jessica Leech
5. Radical Contingentism, or; Why Not Even Numbers Exist Necessarily 77
Peter Simons
6. Properties and Predicates, Objects and Names: Impredicativity
and the Axiom of Choice 92
Stewart Shapiro
7. Predication, Possibility, and Choice 111
Roy T. Cook
8. Logicism, Ontology, and the Epistemology of Second-Order Logic 140
Richard Kimberly Heck
9. On the Permissibility of Impredicative Comprehension 170
Øystein Linnebo
10. Neo-Fregeanism and the Burali-Forti Paradox 188
Ian Rumfitt
11. Analytic Essentialist Approaches to the Epistemology of Modality 224
Anand Jayprakash Vaidya
12. Rethinking the Epistemology of Modality for Abstracta 245
Sònia Roca-Royes
13. Counter-Conceivability Again 266
Crispin Wright
Index 283
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
1
Introduction
Ivette Fred-Rivera and Jessica Leech
Ontology is the philosophical study of what there is. In practice, this amounts to
more than it might seem. Ontology isn’t simply presenting an inventory of medium-
sized dry goods: it typically involves questions concerning the kinds of entities there
are. Are there universals, or can we account for categorization in terms of concepts,
language, or sets? Are there really things like tables, or are there just ‘particles
arranged table-wise’? Are there objects made up of a fusion of any things whatsoever,
or are there constraints on composition? Is there an object that has the Eiffel Tower
and Angela Merkel as its only two parts, or not? Do all entities have a location in
space and time, or are there abstract entities that do not?
Modality concerns possibility, necessity, and cognate notions. We typically think
that there are some things that are the case, but that could have been otherwise—for
example, that Barack Obama became president of the United States of America—and
some that are the case but also could not have been otherwise—for example, that 2
and 2 make 4, or perhaps that Barack Obama is a human being (if he had been
anything other than a human being, so the thought goes, that would not have been
the very same thing as Obama). The metaphysics of modality takes on the challenge
to explain these apparent modal facts. What is it that grounds the fact that something
is merely possible, or that it is necessary, or impossible? Are such modal facts mind-
independent, or do they depend on our own conceptual engagement with the world,
or the way we use language to talk about the world? If there are mind-independent
modal matters, can we reduce them to non-modal facts, or is modality fundamental?
Are there fundamentally modal properties of objects? And so on.
What is the relationship between ontology and modality: between what there is,
and what there could be, must be, or might have been? In the first half of the
twentieth century, distrust of metaphysics produced answers in terms of theory,
language, and convention. Modality was reduced to mere linguistic convention,
questions of ontology to choices between theories, perhaps, one might say, to choices
between conventions.¹ Quine famously rejected this conventionalist approach, not to
¹ Such a view is often associated with thinkers such as Carnap. Carnap distinguished between a
linguistic framework or theory in terms of which we can ask internal questions about entities and so
forth, and external questions about the choice of theory or framework. It is the framework that determines
what must or can be true within that framework, but there may be a choice of framework external to that.
See Carnap (1950).
OUP CORRECTED PROOF – FINAL, 20/8/2018, SPi
salvage notions of ontology and necessity, but to cast even more doubt on their
legitimacy.² There is perhaps an interesting tale to tell of the relationship between
ontology and modality, if both are considered largely defunct. But this book will
answer the question in a more positive light.
In recent decades, philosophers have taken metaphysics more seriously as a
substantive discipline in its own right. Two broad traditions have emerged in
which the relationship between ontology and modality has also become central.
Firstly, the rise of an understanding of modality in terms of quantification over
possible worlds, or other entities, ties modality to a particular ontology of that
domain of quantification. In general, necessity is understood as truth in all worlds;
possibility as truth in at least one; impossibility as truth in no world. In order to take
this seriously as a metaphysical account of the nature of modality, one must give an
account of the kinds of things over which one is quantifying. Perhaps most famously,
David Lewis’s modal realism claims that worlds are concrete, just like our own,
actual, world.³ More precisely, for Lewis, there exist individuals, sets of individuals,
and sums of individuals. A maximal spatiotemporally and causally related sum of
individuals is a world.⁴ Worlds, therefore, do not bear spatiotemporal or causal
relations to each other, and they do not share parts (they do not overlap). With
this purportedly amodal ontology in place, Lewis promises not only to give a
reductive account of modality—worlds are characterized without appeal to modal
facts, and modality is analysed in terms of quantification over those worlds—but an
account of many other things. For example, properties are defined as sets of individ-
uals and propositions as sets of worlds.
Whilst Lewis’s modal realism is perhaps the best-known, or most-taught, version
of a worlds account of modality, there are other options. One might take worlds to be
properties, understood as ways the world could be (or couldn’t be), or propositions
that describe how the world could be (or couldn’t be).⁵ But in each case, we still face
the challenge to give an account of the nature and existence of the worlds or world-
like entities in the domain of quantification. In many cases, this will also involve
giving an account of when such a world is possible, e.g., when a property is a way the
world could have been, or when a proposition describes how the world could have
been, rather than an impossibility. Such theories will fail to reduce modality to
ontology, and as such may be deemed to be inferior to Lewisian modal realism, but
one may question whether reduction is a worthy goal at all here.⁶
This, then, is one major thread of late twentieth-century philosophy that wove
together modality and ontology. The other began, perhaps, with Kripke’s renewed
confidence in de re necessity—modality of things, not just words—and the associated
idea of essence.⁷ Upon such a view, it is natural to think of entities as having
modal properties in a substantive sense (i.e., in a stronger sense than that there
² See, for example, Quine (1936), (1951), (1963). ³ See Lewis (1986).
⁴ See Divers (2002) for a particularly clear presentation of Lewis’s view.
⁵ See, for example, Forrest (1986), Hale (2013), chapter 10, and Stalnaker (2003) and (2012).
⁶ There is also a question whether reduction is achievable in the way Lewis suggests. See Divers and
Melia (2002) and Hale (2013), chapter 3.
⁷ See Kripke (1981).
OUP CORRECTED PROOF – FINAL, 20/8/2018, SPi
are true modal statements about the things, which may also be the case on the
quantificational view). This has developed, through the work of philosophers such as
Kit Fine and David Wiggins, into one of the leading approaches to the philosophy of
modality today.
At the heart of this essentialist trend is the idea that individuals have an essential
nature which determines how they could and couldn’t have been different, and how
they could and couldn’t change. For example, if Socrates is essentially a human, then
he couldn’t have been a boiled egg, although he could have been taller than he actually
was. Within this broad family of views there is again variation. For example, at the
heart of Wiggins’s view is the notion of a sortal property: a property that provides an
individual with a principle of individuation. Such a principle determines when things
are the same or different at a time and over time. Wiggins argues that such properties
are thereby necessary to their bearers.⁸ On such a view, a certain ontology—that of
individuals and sortals—plays a crucial role in explaining what the de re necessities for
individuals are, but modality is not thereby given an analysis.
By contrast, Fine and others have argued that essence should be understood on the
model of definition—in Aristotle’s terms, the ‘what it is to be’ something—and that
de re modality can then be given an account in terms of essence.⁹ In this tradition, the
relation between ontology and modality is as strong as ever: necessity is understood
as what is true in virtue of the natures of things and, as such, modality has its source
firmly in ontology, in the existence and natures of things. Many pages have been
devoted to debating whether such a reduction of de re necessity to essence can in fact
be achieved, or whether an analysis of essence in terms of modality—plus some
additional metaphysical or ontological machinery, such as the distinction between
sparse and abundant properties—can be defended.¹⁰ There is also much work
developing the Finean account of necessity as truth in virtue of the natures of things,
and an extension of this programme to an understanding of dependence and
grounding.¹¹
In addition to these two broad philosophical traditions that bring together modal-
ity and ontology in such an intimate way, there is a third, important, and too-often
neglected area of philosophy where ontology and modality interact. This is the realm
of what we might call modal ontology: the question of whether and what things exist
necessarily or contingently. Within metaphysics, there are debates concerning whether
or not there exist a range of purportedly necessary beings: are there abstract objects,
numbers, sets, propositions, Platonic universals, and so on? One important way in
which modality and ontology meet, then, is simply in the modality of existence: whether
there are necessarily existing things in general, and whether there are particular kinds of
things that exist necessarily.
This way of framing things conceals a presumption in favour of contingent
existence and sets up necessary existence as a difficult case. This is perhaps the
⁸ See Wiggins (2001). ⁹ See in particular Fine (1994) and Hale (2013).
¹⁰ See, for example, Correia (2007), Cowling (2013), Della Rocca (1996), Gorman (2005) and (2014),
Skiles (2015), and Wildman (2013).
¹¹ See, for example, Audi (2012), Correia (2005, 2008), Correia and Schnieder (2012), Fine (2015),
Jenkins (2005), and Wilson (2014).
OUP CORRECTED PROOF – FINAL, 20/8/2018, SPi
default position of many such debates where, for example, Platonism about certain
kinds of things is taken to involve additional commitments and thus bears the burden
of proof against the nominalist. However, in recent years arguments have been put
forward that in fact seem to favour necessary existence as the basic case, and
contingency as in need of defence. It has been argued that the correct modal logic
is S5 and, moreover, in combination with other plausible principles of quantified
modal logic, that this entails necessitism: everything that exists, exists necessarily (and
there couldn’t be more objects than there actually are).¹² This poses a new challenge.
If one wants to agree that a quantified modal logic that validates S5 and the Barcan
Formulas is the logic that correctly captures facts about (absolute) necessity, as seems
reasonable, then one must either accept necessitism or find a way to defend the
possibility of contingent existence. This latter challenge has been taken on in recent
work such as Hale’s Necessary Beings (Hale, 2013) and Stalnaker’s Mere Possibilities
(Stalnaker, 2012).
These are issues for modal ontology that arise largely within the bounds of
metaphysical discussion. But there is another application of modal ontology that is
also of central importance. The development of analytic philosophy has included a
development of, and increased interest in, the study of logic: not just the study of
deductive systems, but of how best to interpret the most interesting and important
logics, i.e., how to provide them with a suitable semantics and how then to best
understand that semantics. As soon as we start to make commitments to one
semantics over another, ontological matters come to bear. For example, the devel-
opment of second-order logic famously incited Quine to charge that it is merely ‘set
theory in sheep’s clothing’, arguing that the semantics for second-order logic commit
us to the existence of a particular kind of mathematical object.¹³ In thus bearing such
an ontological commitment, for Quine, second-order logic is no logic at all. Boolos’s
response, that we can understand monadic second-order logic in terms of plurals,
has paved the way for an application of a more deflationary ontology of pluralities of
things.¹⁴ At the very least, semantics for logics introduce ideas variously of models,
propositions, sets, properties, and more, which must then face up to the ontologist’s
scrutiny. Moreover, one should note that many of these things are typically thought
of as existing necessarily, or at least as being abstract. Hence, the development of and
interest in advanced logics that has become part and parcel of analytic philosophy
introduces a host of ontological questions and, in particular, a host of questions
within what we have been calling modal ontology.
Of course, one may deny that any such things exist. One may well indulge in a taste
for desert landscapes, and eschew the existence of anything that smacks of abstract-
ness or necessity, but one cannot avoid acknowledging the questions that are raised.
As such, anyone with a serious interest in ontology and modality on the one hand, or
logic on the other, should not ignore these questions of modal ontology.
Bob Hale’s recent book, Necessary Beings (2013), is a prime example of how
ontological and modal considerations can combine into a mutually supporting
account of our world. Hale favours what might be called a Fregean approach to
ontology. Objects are to be understood as ‘what are or could be primary semantic
values of singular terms’, properties as ‘what are or could be primary semantic values
of predicates’ (Hale 2013, 32). Notably, both ontological principles make appeal to
modal considerations—the fundamental ontological categories of object and prop-
erty are to be understood, in part, in terms of what could be semantic values of
different categories of expression. But this does not constitute some kind of reduction
of ontology to modality. Modality, in turn, is understood along essentialist lines, as
having its source in the nature of things. Ontology and modality, for Hale, are
intertwined.
Hale extends his approach to address issues of modal ontology, including the
nature and modal status of abstract objects, mathematical objects, and the best
semantics for second-order logic. Part of Hale’s motivation for taking the Fregean
approach to ontology is that it leaves open the question of whether or not there are
abstract objects—at least prima facie, singular terms could refer to abstract objects
just as much as concrete objects. It is a mistake, argues Hale, to start with a
conception of objects that already forecloses on such a question, e.g., such as if one
took spatiotemporal properties to be required for objecthood. Hence, even the
possibility of having a debate about the existence of abstract objects should place
constraints on our approach to ontology.
What approach one takes to ontology, modality, and the relationship between
them can also have a significant impact on the kind of epistemological account open
to us. In particular, if one takes modality to bear a particularly strong relation to
ontology—e.g., if you think that modality has its source in the natures of things—
then one would expect knowledge of modality to involve at least at some stage some
knowledge of those things (and their natures). If you think that modality is to be
reduced to quantification over worlds, one will need to be able to say something about
our epistemic access to other—perhaps spatiotemporally and causally isolated—worlds.
Necessary Beings draws together several different strands of Hale’s previous work
on ontology, modality, modal ontology, and modal epistemology. It brings to the fore
a clear thematic unity to Hale’s work and, in doing so, also shows how these
questions of ontology, modality, modal ontology, and epistemology hang together.
These topics tie the chapters in this volume together. The chapters span across a
range of issues connected to ontology, modality, and the relationships between them.
In particular, a number of the chapters address neglected matters of modal ontology.
First, John Divers questions two defences of modal primitivism, each offered by
Hale. Firstly, Divers considers Hale’s ‘anti-sceptical master argument’, developed
from work by Ian McFetridge and Crispin Wright.¹⁵ The argument is supposed to
show that merely the minimal belief that it is sometimes the case that some rule
R preserves truth under reasoning from some given suppositions, commits one also
to a belief that there is at least one rule R that is necessarily truth-preserving, i.e.,
preserves truth under reasoning from any suppositions. Following Hale’s line of
reasoning, this argument may appear vulnerable to a certain kind of Quinean
confirmational holism, according to which one could never know, of the various rules
and suppositions one was employing, which was the necessarily truth-preserving
one. But by appeal to a refutation of this kind of confirmational holism by Wright
(1986), one can avoid this problem. Divers argues, in response, that even if the anti-
sceptical master argument is successful in itself, it will have limited force against a
modal sceptic. For the argument supposes that the modal sceptic will at least be
prepared to accept counterfactual reasoning from suppositions in a few cases. Divers
argues that, ‘when Quine signs up for claims about “every supposition” he is not
signing up for what McFetridge, Hale and their willing interlocutor are signing up
for’, and hence concludes that ‘the McFetridge-Hale dialectic is apt to engage, compel
and convert only a sceptic about necessity who, nonetheless, accepts a battery of
presuppositions about counterfactual supposition’. In short, the Quinean sceptic is
safe in his scepticism. Divers goes on to discuss whether the master argument could
be employed successfully against any other variety of sceptic. Secondly, Divers
defends a Lewisian reduction of modality to worlds against Hale’s objections. Hale
objects that the Lewisian harbours an unacceptable modal commitment due to the
role played in his theory by the principle of recombination; Divers responds that,
properly understood, recombination does not play any such problematic role in the
Lewisian theory.
Chapter 3 also touches on an ontology of possible worlds. The use of possible
worlds semantics has become well established, but worlds are large, complicated,
unwieldly things. Thus, a number of philosophers have explored prospects for using
something less than worlds—possibilities, understood as less complete than worlds—
in their place.¹⁶ In his contribution to this volume, Kit Fine explores the details of a
kind of truthmaker semantics: a semantics in which statements are evaluated at
partial possibilities rather than at possible worlds, where worlds are understood,
roughly, to be some kind of maximal possibility. As Fine notes, ‘It is a common idea
that the full resources of possible worlds semantics are not required to provide an
intensional semantics for classical logic. For these purposes, one need only appeal to
partial possibilities.’ However, in his chapter, Fine shows that things are not so
simple. He argues that, given some reasonable assumptions about the semantics,
classical logic can only be properly accommodated if one allows that there are
possible worlds amongst the partial possibilities. A move to work with partial
possibilities does not, it turns out, absolve us from commitment to worlds as well.
Nevertheless, even if we are committed to worlds (more precisely, what Fine calls
‘world-states’), there are still truthmakers that are not world-states present in the
semantics, and so the world-states need only play a marginal role in the delineation of
semantic content.
Next, Rosanna Keefe and Jessica Leech consider issues arising from our other main
strand of ontology and modality: essentialism. In the first instance, essentialists about
modality promise to provide an account of metaphysical necessity in terms of
essence: it is metaphysically necessary that p just when it is true in virtue of the
natures of things that p. This account can then be extended—or rather restricted—to
¹⁶ See Fine (1975), Hale (2013), Humberstone (1981), and Rumfitt (2015).
OUP CORRECTED PROOF – FINAL, 20/8/2018, SPi
ontological commitments as set theory. This is indeed how many philosophers have
responded to Quine’s charge. But Heck notes that there is a very different way to
think about the dispute. Different theories may be more or less epistemically demand-
ing. Even if the ontological commitments of two theories are the same, the principles
of one rather than the other may be easier to justify, and hence we would have a good
reason to favour one over the other.
Heck’s discussion centres on the key issue of impredicative comprehension
axioms. A comprehension axiom states, roughly, that for every formula in a language
there is a property or relation holding of the objects referred to in the formula.
Formulas yield properties. Such an axiom is impredicative if, in defining the prop-
erty, one is allowed to quantify over all properties, where this might include the
property to be defined. Consider Heck’s example:
9F8x½Fx 8G9Hð. . . G . . . H . . . x . . .Þ
In such a case, a property Fξ is given a definition by a formula that quantifies over all
properties. How might one justify the use of such an axiom? Heck argues that the
central concern, of Quine and others, is that an epistemic justification of this kind of
principle requires appeal to an understanding of the powerset axiom. Different
theories may all have the full powerset as their domain, and thus share the same
ontological commitments, but one might nevertheless take a theory that did not
require a full knowledge of set theory to be less demanding than, and therefore
preferable to, alternatives that did. Indeed, Heck offers such a theory, their Arché
logic. They claim that, ‘The way we understand the axioms and rules of Arché logic
might require the second-order domain to be a certain privileged domain without
requiring it to be the full powerset, even if the privileged domain is the full powerset’
(emphasis ours). Our understanding of a logical theory may not require us to grasp
the resources of the full powerset, even if the theory is ultimately ontologically
committed to this. Thus, it is not just ontological commitment that makes a differ-
ence between theories. There is a crucial role to be played by epistemological matters.
Ultimately, Heck sees themselves as disentangling these ontological and epistemo-
logical issues.
Øystein Linnebo’s contribution is also concerned with impredicative comprehen-
sion. He raises the issue in the context of the ‘paradox of reification’. This consists of
an inconsistent triad of otherwise attractive claims concerning the ontological com-
mitments of our logic and how we can refer to or talk about the things in that
domain.
(1) Unrestricted comprehension: No restriction is needed on the second-order
comprehension scheme.
(2) Concepts are things: Every concept can also figure as the value of a first-order
variable.
(3) Absolute generality: It is possible to generalize over absolutely all things.
Linnebo states that ‘The challenge posed by the paradox of reification is to balance
the strength of our comprehension principles against the forms of reification that we
permit.’ In other words, we need to balance what kinds of things we allow into our
ontology against the kinds of definitions of things that we allow in our logics.
OUP CORRECTED PROOF – FINAL, 20/8/2018, SPi
between the different Comprehension Schemas that have been proposed for
higher-order and plural logic involves taking a stand on contested ontological and
metaphysical questions. The previous few chapters show that we need to engage in
ontological matters in order to provide adequate semantics for some logics. We now
see that the version of Comprehension we choose for our logic can affect the ontology
to which we are able to appeal.
Finally, we have three chapters focusing on epistemological concerns. One
approach to modal epistemology takes our knowledge of possibility and necessity
to have its source in our ability to draw deductive inferences. Another takes our
modal knowledge to have its source in our ability to conceive of different scenarios.
In his chapter, Anand Jayprakash Vaidya focuses on a particular variety of deductive
approach, what he calls ‘essentialist-k theory’. Such a theory takes modal knowledge
to be derived from knowledge of essence. For example, one might start with know-
ledge that E is the essence of a and infer, via one’s knowledge that essence implies
necessity and that being E implies being F, that a is necessarily F. Vaidya compares
and contrasts two existing versions of essentialist-k theory, one due to Jonathan
Lowe, the other due to Bob Hale.¹⁸ The views differ—in particular, Lowe defends a
‘no entity’ account of essence, according to which the essence of something is not a
kind of entity, whereas Hale allows that essences are entities, namely, properties—
however, Vaidya argues that they are both in danger of falling foul of the same
problem. Simply: how can we account for the knowledge of essence which sits at the
base of these theories? Vaidya maintains that ‘we need to distinguish between an
account that provides a fundamental story about the source of modal knowledge
and an account that tells us a story about how a specific epistemic instrument can be
a source of modal knowledge in a specific domain’. The merit to be found in an
essentialist-k approach is not so much tied to what the account takes as its basis, or
starting point, but rather in the account given of the steps taken towards modal
knowledge. Vaidya calls his preferred interpretation of Hale’s modal epistemological
account an argument-based approach. Such an approach promises success, because it
seems right that our claims to modal knowledge should be supported by good
arguments. As Vaidya puts the point, ‘In the case of fundamental metaphysics we
must take an argument-based approach to modal knowledge, since fundamental
metaphysics requires precision of proof from basic principles as to what further
classes of modal claims are warranted.’ However, once we take this to be the
justification behind such an account, one can see that there is room for alternative
accounts of modal knowledge to have bearing as well. In other contexts, for example,
working out whether a table could fit somewhere else in the room, a simpler
conceivability approach may be appropriate, because in such a context it seems
sufficient for knowledge of that possibility to simply imagine the table in a different
place. It is difficult to see what kind of precise argument would do better. Hence,
Vaidya concludes tentatively in favour of a pluralism of modal instruments.
Sònia Roca-Royes takes up the challenge to explain our de re modal knowledge. In
particular, she argues for a non-uniform epistemology of modality, i.e., that we need
in retaining the CCP along with finding an account of how apparent counter-
conceptions of metaphysical necessities in general, and the identity of pain and
C-fibre firings in particular, are really counter-conceptions of something else. The
radical approach takes the apparent counter-conceptions more seriously, and so
requires us to rethink the standing of the CCP.
In his contribution to this volume, Wright first canvasses versions of the conser-
vative option variously suggested and developed by himself in former work, and Hale
in response. For example, one option suggested by Hale is that, in some cases, we
conflate conceiving of P’s being false with conceiving of what it would be like if, as is
perfectly possible, P were thought to be false. However, Wright argues that none of the
options considered is able adequately to answer the problem raised by the pain case.
The point is not simply that, if one wishes to defend physicalism, none of these
options are open to one. Rather, the question of the conceivability of the very
distinctions suggested by the conservative option leads to trouble. Hence, ultimately,
Wright recommends the radical option. We must recognize and take seriously that
‘when it is metaphysical possibility that is at issue . . . some metaphysical impossibil-
ities may be perfectly lucidly conceivable—precisely because the impossibilities
concerned are not grounded in the first place (purely) in our concepts of the events,
states or stuffs etc. concerned’. The CCP concerns conceptual possibility, but when
our concepts are inadequate in various ways to the natures of things, conceivability
will fail to give us a guide to metaphysical possibility.
References
Audi, P. (2012) ‘Grounding: Toward a Theory of the In-Virtue-of Relation’, Journal of
Philosophy 109 (12): 685–711.
Boolos, G. (1999) Logic, Logic, and Logic, edited by R. Jeffrey, Harvard University Press.
Carnap, R. (1950) ‘Empiricism, Semantics, and Ontology’, Revue Internationale de Philosophie
4: 20–40.
Correia, F. (2005) Existential Dependence and Cognate Notions, Philosophia Verlag.
Correia, F. (2007) ‘(Finean) Essence and (Priorean) Modality’, Dialectica 61: 63–84.
Correia, F. (2008) ‘Ontological Dependence’, Philosophy Compass 3: 1013–32.
Correia, F. and Schnieder, B., eds. (2012) Metaphysical Grounding: Understanding the Struc-
ture of Reality, Cambridge University Press.
Cowling, S. (2013) ‘The Modal View of Essence’, Canadian Journal of Philosophy 43 (2):
248–66.
Della Rocca, M. (1996) ‘Recent Work on Essentialism: Part 1’, Philosophical Books 37: 1–13.
Divers, J. (2002) Possible Worlds, Routledge.
Divers, J. and Melia, J. (2002) ‘The Analytic Limit of Genuine Modal Realism’, Mind 111 (441):
15–36.
Fine, K. (1975) ‘Critical Notice of Lewis, Counterfactuals’, Mind 84 (335): 451–8.
Fine, K. (1994) ‘Essence and Modality’, in James Tomberlin, ed., Philosophical Perspectives 8,
1–16.
Fine, K. (2015) ‘Unified Foundations for Essence and Ground’, Journal of the American
Philosophical Association 1 (2): 296–311.
Forrest, P. (1986) ‘Ways Worlds Could Be’, Australasian Journal of Philosophy 64 (1): 15–24.
Gorman, M. (2005) ‘The Essential and the Accidental’, Ratio XVIII: 276–89.
OUP CORRECTED PROOF – FINAL, 20/8/2018, SPi
2
On Some Arguments for the
Necessity and Irreducibility
of Necessity
John Divers
2 Indispensability?
2.1 Hale’s appropriation of McFetridge
Hale (48–62) develops and enhances an argument (familiar from Hale 1999) that
aims to compel the belief that at least one rule of inference is necessarily truth-
preserving. It will do, for present purposes, simply to state, and then take as read: (a)
that the necessity in question is intended to be alethic, absolute, and broadly logical;
(b) it is further intended to be open to explanation as a species of metaphysical
necessity; and (c) necessary truth-preservingness of a rule will yield the necessary
truth of various propositions via the standard transformation.³ Hale’s anti-skeptical
master argument is an ingenious construction from independent arguments due to
Ian McFetridge (1990) and to Crispin Wright (1986).
The McFetridge argument is of the kind that proceeds by giving a skeptic enough
rope to hang herself. Our would-be skeptic sets out by refusing to believe that there is
even one rule of inference, R, that is necessarily truth-preserving: but she admits the
modest belief that it is sometimes the case that some rule R* preserves truth under
given suppositions. The argument then proceeds ad hominem, intending to show
how sustaining the modest belief that the would-be skeptic does embrace will
rationally compel her further to embrace the belief that she initially rejects. The
argument is as follows.
necessity, possibility, contingency, etc. When modality is so narrowly construed then the characterization
of Hale’s position as “primitivism” or “fundamentalism” about modality is not quite right. But if, following
much of Hale’s own usage, “the modal facts” is construed broadly so as to encompass predications of
essence and accident, as well as predications of the narrower class of modalities proper, then the
characterization of Hale’s position as “primitivism” or “fundamentalism” about modality is in order. In
my version of the narrative we operate the latter convention.
³ The basic idea is that wherever we have necessary truth-preservingness of a rule we have the truth of
corresponding, descriptive, necessitated conditionals. So if the rule is (left-hand) &-elimination [A & B/B]
we have the truth of all conditionals of the form [□((p&q)!q)].
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
What the skeptic resists is commitment to there being some rule R such that for
every supposed circumstance S, R preserves truth under S—that is M2:
(M2) 9R(8S(R preserves truth under S)).
A lemma is then required to establish a connection between M2 and necessity. That
lemma is that commitment to M2 is equivalent to belief in the logical necessity of the
Rule R (when R is represented by a conditional statement). Support for the lemma is
supplied by a proposal that traces back to Mill. For M2 says of some R that it
preserves truth under every circumstance that might be supposed, which is to say
that R preserves truth under (at least) every logically possible circumstance and, thus,
that R is logically necessary. We may then proceed to argue for M2 and we do so by
reductio, via a dilemma, of the contrary hypothesis.
Suppose, contra M2 that for every rule R, there is some hypothesis or supposed
circumstance S under which R fails to preserve truth. Dilemma: for arbitrary such R1,
either the appropriate defeating circumstance, S, is (known) stateable, or it is not.
Suppose that S is stateable. Consider an arbitrary rule, R1, which says: From
{X1 . . . Xn} infer Y. And let “S1” abbreviate the disjunction of what are known to
be all the supposed circumstances under which R1 fails to preserve truth. Now
consider the rule, R1*, which says: from {X1 . . . Xn, not-S1} infer Y. Since S1 gives,
by hypothesis, the only circumstances in which the inference from {X1 . . . Xn} to
Y fails to preserve truth, there are no circumstances in which R1* fails to preserve
truth. So, there is a rule, R1*, such that there is no circumstance in which it fails to
preserve truth. So the contrary hypothesis is false (by reductio, since it entails its own
negation). So M2 is true.
Suppose we do not presume that the defeating circumstance, S, for arbitrary rule
R1, is stateable. Consider, then, the question whether, in a given supposed circum-
stance, P, the rule R1 invariably preserves truth. To answer that question, we must
reason about R1 under supposition P: we suppose that P, and work out what would
then be the case with R1. But which rules can we rely upon in reasoning for this
purpose? Take R1 itself: we can’t rely on use of R1 since it’s precisely the reliability of
R1 that we are trying to establish. Take any other rule R2, and ask whether we can
reliably use it (in working out whether R1 is reliable under P). If we take it that the
circumstances under which R2 is reliable are stateable, then we’re back on the first
horn of the dilemma (we’ll be able to show that there is a rule, R2*, that never fails to
preserve truth). So let us not presume that the circumstances under which R2 is reliable
are stateable, and consider, now, the question whether R2 is reliable in reasoning
(about R1) under the supposition that P. Then we embark on an infinite regress. We
cannot use R2 itself in that circumstance. And if we appeal to R3, then either we can
state the circumstances in which it fails to preserve truth (back onto the first horn), or
we cannot—in which case we must ask whether R3 is reliable in reasoning (about R2)
under supposition P . . . So this second “non-stateable” horn of the dilemma works
out in one of two ways: either it terminates in appeal to some rule for which the
invalidating circumstances are stateable (and in that case, by the reasoning of the first
horn, we can construct a fail-safe rule); or there is no such termination, and so no rule
is reliable (for the reasoning concerned an arbitrary rule). Thus, finally, the reliable
use of any rule of inference in any supposed circumstance presupposes—mandates
OUP CORRECTED PROOF – FINAL, 22/8/2018, SPi
commitment to there being—some such rules that are truth-preserving under every
supposition and, so, logically necessary.
Hale will ultimately endorse this general line of reasoning and its conclusion, but
he detects a flaw in the argument as McFetridge left it. The flaw is that McFetridge
has left his opponent an escape route via appeal to an epistemological thesis that is
supported by the Quinean doctrine of confirmational holism. However, Hale con-
tends, this Quinean thesis has been (to all intents and purposes) refuted by Wright
(1986). To sloganize, we might say that McFetridge requires the good standing of the
kind of a priority that Quine rejects and that Wright establishes. Thus, the escape
route is sealed and the shared aim of McFetridge and Hale is achieved—that is: to
compel the belief that at least one rule of inference is necessarily truth-preserving.
For my critical purposes, I need not (and shall not) reproduce any details of
Wright’s argument and I need to (and shall) appeal only to very broad features of
the McFetridge argument. My complaint is that even if the Hale master argument,
or even the McFetridge argument on its own, achieves all that it is dialectically apt to
achieve, this is an outcome of limited significance. I will suggest both that the success
of such an argument is somewhat less than required for the purpose advertised in
Hale (2013) and that its value is otherwise limited.
Tykkiä Kolja piti kädessään kaikkien edessä, niin että jokainen voi
nähdä ja nauttia. Iljuša kohottautui ja katseli ihastuneena leikkikalua
syleillen edelleen oikealla kädellään Perezvonia. Vaikutus kohosi
suuremmoiseksi, kun Kolja ilmoitti, että hänellä on ruutiakin ja että
voi heti laukaista tykin, »jos se vain ei häiritse naisia». »Äitikulta»
pyysi heti, että hänen annettaisiin lähempää katsella leikkikalua,
mikä pyyntö heti täytettiinkin. Pronssinen tykki, joka oli pyörien
varassa, miellytti häntä tavattomasti, ja hän alkoi kuljetella sitä
polvillaan. Pyyntöön saada ampua hän antoi täydelleen myöntävän
vastauksen ymmärtämättä sentään, mitä häneltä pyydettiin. Kolja
näytti ruudin ja haulit. Alikapteeni entisenä sotilaana ryhtyi itse
lataamaan ja pani tykkiin hyvin pienen määrän ruutia sekä pyysi
jättämään haulit toiseen kertaan. Tykki asetettiin lattialle, suu tyhjää
paikkaa kohti, sankkiin pistettiin kolme ruutijyvää ja sytytettiin
tulitikulla. Tulokseksi tuli mitä loistavin laukaus. »Äitikulta» vavahti,
mutta alkoi heti nauraa ilosta. Pojat katselivat äänettöminä ja
juhlallisina, mutta kaikkein onnellisin oli alikapteeni katsoessaan
Iljušaan. Kolja nosti tykin lattialta ja lahjoitti sen Iljušalle samoin kuin
haulit ja ruudin.
— Äiti, ota itsellesi, tässä on, ota itsellesi! — huudahti äkkiä Iljuša.
— Krasotkin, saanko minä lahjoittaa sen äidille? — kääntyi hän äkkiä
rukoilevan näköisenä Krasotkinin puoleen ikäänkuin peläten, että
tämä loukkaantuu, kun hänen antamansa lahja lahjoitetaan toiselle.
— Ruutia minä tuon sinulle nyt tästä lähin niin paljon kuin vain
tahdot, Iljuša. Me teemme nyt itse ruutia. Borovikov on saanut tietää
sen kokoonpanon: kaksikymmentäneljä osaa salpietaria, kymmenen
rikkiä ja kuusi osaa koivuhiiltä, kaikki on survottava yhdessä,
kaadettava siihen vettä, sekoitettava puuroksi ja hierottava rummun
nahkan läpi — näin saadaan ruutia.
— Hän tietää kaikki, isä, tietää paremmin kuin kaikki muut! — yhtyi
Iljušetškakin puheeseen. — Hän vain on olevinaan tuommoinen,
mutta hän on koulumme paras oppilas kaikissa aineissa…
— Minä se olen.
— Ahaa!
6.
Varhainen kehitys
— Ja ymmärsittekö?
— Oi, kyllä, kaikki… se on… miksi te luulette, että en olisi
ymmärtänyt? Siellä on tietysti paljon rivouksia… Minä tietysti pystyn
ymmärtämään, että se on filosofinen romaani ja kirjoitettu aatteen
esittämiseksi… — sekaantui Kolja jo kokonaan. — Minä olen
sosialisti, Karamazov, minä olen parantumaton sosialisti, — sanoa
paukautti hän yhtäkkiä hyötähyviään.
Rakennuksen muistat sä
Ketjusillan luona.