David Wiggins - Sameness and Substance Renewed
David Wiggins - Sameness and Substance Renewed
David Wiggins - Sameness and Substance Renewed
DAVID WIGGINS
Wykeham Professor of Logic Emeritus in the University of Oxford
PUBLISHED BY CAMBRIDGE UNIVERSITY PRESS (VIRTUAL PUBLISHING)
FOR AND ON BEHALF OF THE PRESS SYNDICATE OF THE UNIVERSITY OF
CAMBRIDGE
The Pitt Building, Trumpington Street, Cambridge CB2 IRP
40 West 20th Street, New York, NY 10011-4211, USA
477 Williamstown Road, Port Melbourne, VIC 3207, Australia
http://www.cambridge.org
Preface page ix
v
vi Contents
The identity of indiscernibles
Proposition D further explicated and amplified: and D(ii) as the proper
development of D
Existence and sortal predications
Further D principles
Miscellaneous further principles; and a doubt about counting
.
Corresponding to the three tasks mentioned in the first paragraph, we
have the notions identical (same), continuant and individuate.
(i) The notion of sameness or identity that we are to elucidate is not
that of qualitative similarity but that of coincidence (as an object, thing
or substance), a notion as primitive as predication and correlative with
it in the following way: if and only if Socrates is a man, then Socrates is
identical with some man, and thus (we shall argue) shares all his proper-
ties with him. (This equivalence is offered as a manifest truth, rather than
as an analytical definition of ‘is a man’ or of anything else. It is not
offered as a part of a canonical or mandatory definitional sequence. See
below, §.) No reduction of the identity relation has ever succeeded.
(See especially Chapter Six, §.) Nor yet is it called for, once we realize
how much can be achieved in philosophy by means of elucidations that
put a concept to use without attempting to reduce it but, in using the
concept, exhibit its connexions with other concepts that are established,
genuinely coeval or collateral, and independently intelligible. (Compare
here Wittgenstein, Tractatus Logico-Philosophicus, ., ., ..) Not
only is identity irreducible. Only in a vacuous sense of ‘supervene’, or a
weak and irrelevant one, does it supervene on the totality of properties
and relations other than itself. (See Chapter Six, §.)
(ii) We have to explicate what it is to be a continuant or a substance.
This explication will not amount to a definition. Nor will it be achieved
without the ineliminably practical demonstration of the ordinary per-
ceptible individuals of common experience. The explication must go
some way beyond mere demonstration. But to set out, as so many phi-
losophers have done in emulation of Book of Aristotle’s Metaphysics,
with the high-minded aspiration to achieve an altogether purer kind of
definition of substance, and then to abandon the concept of substance
just because the result does not satisfy, is to end up doing philosophy that
is at once ill-tempered and needlessly bad. It represents the inability to
learn from Aristotle’s experiment.3
13
For my own attempts to learn from it, see my ().
Preamble
Kant writes at § of Prolegomenon to Any Future Metaphysic: ‘People have
long since observed that in all substances the proper subject, that which
remains after all the accidents (as predicates) are abstracted, remains
unknown.’ I protest that the substances or subjects we begin with are not
unknown but known, that the only abstraction in which we need to be
interested is utterly distinct from that which is supposed to result from the
notional (mythical) removal of properties from a substance. The interest-
ing and benign form of abstraction is that which results from the ascent
from particular kinds of substance to the determinable substance of some
further specifiable kind. (Ascent to what Wittgenstein in Tractatus Logico-
Philosophicus called a formal concept.) This form of abstraction cannot part
us from our conviction that substances are things which are known to us.
(iii) The Oxford English Dictionary defines ‘individuate’ in terms of
‘single out’ or ‘pick out’, and this definition is well suited to the purposes
of this book. That which individuates – in the one sense in which the
word will be used in this book4 – is in the first instance a thinker.
(Derivatively, but only derivatively, one may find oneself saying that a
substantive or predicate individuates.) To single x out is to isolate x in
experience; to determine or fix upon x in particular by drawing its
spatio-temporal boundaries and distinguishing it in its environment
from other things of like and unlike kinds (at this, that and the other
times during its life history); hence to articulate or segment reality in such
a way as to discover x there. To single x out though, or even to prolong
the singling out of x into the effort to keep track of x, is not yet (unless
‘in thought’) to refer to x or to designate x. And one may well refer to x,
of course, without in our primary sense singling x out at all. This is not
to say that, if there were no singling out, there could be reference.
Singling out is the sheet-anchor for information about particulars.
The verbs ‘individuate’ and ‘single out’ are not intensional. If a
thinker singles out x or individuates x, and x⫽y, then, whether or not he
knows it, he singles out or individuates y. Such verbs do, however, permit
of a complementation that is intensional. A Greek could have simply
singled out Socrates; he could have singled out Socrates as Socrates; he
could have singled out Socrates as a certain man or philosopher; or he
could have singled out Socrates as the Athenian married to Xanthippe
who was represented by Plato to have stressed (Phaedrus e) the equal
importance, in classification and in carving, of ‘dividing where the joints
are’. What then is the relation of singling out and singling out as? In due
14
Contrast books about logic or metaphysics where the verb is used to stand for the relation
between a predicate and some unique thing that satisfies the predicate.
Preamble
course, we shall discover reason to think that there could be no singling
out tout court unless there could also be singling out as. (This is not a pri-
ority claim.) It will be declared that not just any attempt at singling out
counts as singling something out; that that which is required in a given case
derives from what the thing itself is. It will be a consequence of the
account of these matters to be given here that, for a thinker to single out
or individuate a substance, there needs to be something about what he
does, something about his rapport with x or his relational state towards x
and his practical sensibility in relation to x, which (regardless of whether
he articulately knows this or not – for all he needs is clear indistinct
knowledge, cf. Chapter Three, note and associated text – and regard-
less of whether it is a singling out as) sufficiently approximates to this: the
thinker’s singling x out as x and as a thing of a kind f such that member-
ship in f entails some correct answer to the question ‘what is x?’ For the
philosophical cargo carried by this Aristotelian question, see Chapter
One and the chapter mottoes prefixed to it from Aristotle’s Categories.
One further and equally Aristotelian part of that cargo makes reference
to the way in which x behaves, how it acts and reacts. It will be every-
where insisted, moreover, that the singling out at time t of the substance
x must look backwards and forwards to times before and after t. And it will be
categorically denied in Chapters Five and Six, that, where it is indeter-
minate what was singled out, we have the singling out of something
indeterminate. (Even at this distance the thing denied has the distinctive
smell of fallacy.) But at this point in summarizing what is to come, I
venture well beyond explanation of terminology and deep into the phi-
losophy of the matter. Chapters Five and Six aim to complete the
account of what singling out is. If they succeed, it will become finally
clear how and why the singling something out at t cannot help but look,
as I say, both backwards and forwards to times before and after t.
In sum, let the English language fix what will be meant by ‘single out’
and ‘pick out’. Let these verb phrases sustain the practical and episte-
mological significance of ‘individuate’, ‘individuation’ and ‘individua-
tive’. Let philosophy then seek to say what individuative acts and
thoughts amount to. At this point, a reader who has had enough of pre-
liminaries may want to advance to Chapter One.
17
At § (‘Divided reference’), Quine () notes the following variants for ‘sortal predicate’: ()
individuative predicate; () articulative predicate; () substance-name; () shared, or multiply
denotative, name; () predicate which divides its reference (extension). Another variant that has
had some currency, on which see Woods (), is () boundary drawing predicate. (Cf. Frege
(), §.) All six terms serve to illuminate the difference, partially but only imperfectly reflected
in the grammatical division of noun and adjective or verb, between Aristotle’s ontologically basic
question What is x? and less basic questions such as What is x like? Where is x? What is x doing? Note
that looking at these terms in this Aristotelian way will enforce a diachronic interpretation of ‘indi-
viduate’, ‘articulate’, etc. We shall not be in the business of describing first what it takes for syn-
chronic momentary presentations (things presented) a and b to be the same dog and then
describing what it takes for a presentation now and a presentation tomorrow to be ‘concanine’.
Identity over time is just identity. The same holds of identity at a time. Such truisms should con-
dition any account of the terms of a given identity judgment. Any secure practical grasp of what
counts now as a dog regulates present judgments in the light of future and past findings about
the same thing. And vice versa. See my ‘Reply to Noonan’ in Lovibond and Williams ().
18
The letter is dated . See Dummett (), Chapter Five. The diagram is reproduced in my
() and my ().
Preamble
determined by this rule.) To grasp the rule is to grasp how or what a thing
must be (or what a thing must do) in order to satisfy the predicate. To
grasp this last is itself to grasp the Fregean concept. Thus ‘horse’ stands
for that which Victor is and Arkle is, for instance – just as, outside the
sortal category, the verb-phrase ‘runs swiftly’ stands for that which Arkle
does. When I declare that to grasp this rule is to come to understand
what horse is or run swiftly is, someone may insist that, in that case, the
concept so spoken of, horse or run swiftly or whatever it may be, is a prop-
erty. I shall not demur, but simply insist in my turn that the notion of a
rule of correlation to which I appeal is pretheoretical. It is not indissol-
ubly wedded to an extensional criterion of concept identity. The exten-
sional criterion is the by-product, not here needed, of the
mathematicians’ regimentation of an entirely intuitive notion.9
The concept horse is not then an abstraction such as horse-hood or
horse-ness (whatever these are). It is something general or, better, univer-
sal; and to that extent it will be philosophically contentious. But horse or
mammal or carnivore surely are things that we need to speak of or quantify
over, in metaphysics and in science.10 Objects fall under them and so on
– and, under this aspect, objects can be seen as belonging to divers
assemblages, variously denominated species, sorts, kinds.11
Seen in this way, as something with instances, the concept belongs on
the level of reference (reference in general being something of which
naming is one special case). But there is another use of the word
‘concept’ which is equally common, if not more common, and this
belongs on the level of sense. It is this rival use of the word ‘concept’ that
we find in discussions that are influenced directly or indirectly by Kant.
In those discussions, talk of things falling under a concept, or of con-
cepts having extensions, may be less felicitous. Or rather, it will not come
to the same thing. Perhaps everything will fall into place, however, and
the connexion will be visible between the two uses of the word, if we try
to reserve the word ‘concept’ for the Fregean use and we prefer the word
‘conception’ to cover the Kantian use (seeing a Fregean sense as a very
special case of a conception). The connexion that there is between the
two may then be understood as follows:
19
See B. A. W. Russell, Introduction to the Mathematical Philosophy (London, ), p. , and the
further references to Ramsey, Quine and Church given in Aaron Sloman’s neglected but valu-
able article ‘Functions and Rogators’ (). See especially pp. , , .
10
For more on these, see my (), especially the references to Elliot Sober, ‘Evolutionary Theory
and the Ontological Status of Properties’, Philosophical Studies, (), and my (). The
quantification in question is over both sortal and non-sortal properties.
11
In ordinary English and even in ordinary philosophical English, some of these terms lead a
double life perhaps, as denoting assemblages or as denoting properties.
Preamble
Thinker T has an adequate conception of the concept horse (an adequate con-
ception, as one says in English, of a horse) if and only if T can subsume things
under horse, knows what it would take for a thing to count as a horse, and has
some sufficiency of information about what horses are like, etc.
In a word, the conception of horse is a conception of that which ‘horse’
stands for, namely the concept of horse, or the concept horse. (Similarly,
one may speak of an idea of horse and mean by this a conception of the
concept horse.) On these terms, the right way to understand what a phi-
losopher means when he speaks of grasp of the concept horse may be to
understand him as speaking in a telescoped way of having an adequate
conception of that which the predicate ‘horse’ stands for, namely horses.
Such phraseology as ‘grasp of the concept horse’ was common in Sameness
and Substance. Given the option of reading it as just indicated, there are
places where I have seen no danger in the telescoped terminology’s
remaining in place.
At this point, with terminological explanations more or less complete
(and ready to be repeated later, as and when necessary), the reader who
has not yet postponed reading the rest of this Preamble ought probably
to advance to Chapter One.
13
A definition can be real with respect to genus and nominal with respect to differentia. The philoso-
phers’ favourites like ‘sibling’, ‘oculist’ and ‘bachelor’ have definitions like this.
14
There may be a measure of injustice to Locke (as well as to certain other philosophers) implicit
in this usage. By using terms that are commonly conceived of as Locke’s property and stressing
constantly the importance of the real, I may seem to be claiming that, in his adherence to what
he called the nominal, Locke failed to see things which some say he did see. Locke’s doctrine of
ektypes and archetypes, and the way he contrasts ideas of mixed modes with ideas of substance,
both suggest not only that he had a grasp of the question whether a given predicate has an exten-
sion-involving or not extension-involving sense, but also that he may have anticipated the ideas
of onus of match and direction of fit which, following Michael Woods (op. cit., in footnote ) and
David Shwayder (), p. , I have found so suggestive in J. L. Austin (‘How to Talk: Some
Simple Ways’, P.A.S. –) and have allowed to influence the exposition given here of certain
thoughts that now have currency in philosophy about substantives and kinds. Such ideas cer-
tainly go back to Leibniz. See Leibniz’s Meditations on Truth, Knowledge and Ideas, Gerhardt , espe-
cially p. . See also Discourse on Metaphysics (sections –) and New Essays (Akademie, pp.
–). Some see the germ of all this in Aristotle’s account at Posterior Analytics a21 of how we
may effect a preliminary determination of a phenomenon (e.g. a certain noise in the clouds) and
then, having picked it out, gradually refine our description of its nature and work back to the
rudiments of a real (or as Leibniz would say causal) definition. It may well be that some com-
parable credit is due to Locke, if he is correctly interpreted. Chapter Three credits Putnam and
Kripke with refurbishing such ideas for present purposes.
15
See From a Logical Point of View, pp. –. This view of that which is enduringly important in
Quine’s argument accrues to me from remarks and commentaries that Hilary Putnam has
offered since the nineteen sixties. For the consistency of this thing with the modest essentialism
that will be advocated in this book (from Chapter Four onwards), see Quine’s later judgment in
Ways of Paradox ( edition): ‘There is also in science a different and wholly respectable vestige
of essentialism or of real definition . . . It consists in picking out those minimum distinctive traits
of a chemical, or of a species, or whatever, that link it most directly to the central laws of science.
Such definition . . . is of a piece with the chemical or biological theory itself [and] conforms
strikingly to the Aristotelian quest . . . This vestige of essentialism is of course a vestige to prize.’
Preamble
world. (See the previous paragraph.) Nothing, however, prevents the
occurrence of such concepts in judgments that are themselves a priori.
For instance, ‘all rabbits are rabbits’ requires (of anyone who under-
stands it at all) a certain quantum of experience; but, once a thinker has
got a posteriori that which is required to understand it, he needs nothing
more to see that it is true. In this sense, the judgment, whose compre-
hension is in part a posteriori, is itself a priori. Moreover, it is true no matter
what. So it holds necessarily. Notoriously, though, not everything that
involves such concepts yet holds necessarily can be a priori. Pursuing the
deictic demonstration of gold and investigating the relevant similarities
of good specimens of the stuff that is denominated ‘gold’, physical
chemists have found ways to light upon the element with atomic number
seventy-nine. Since that is the very stuff they were directed to by the
deictic demonstration, it seems gold is necessarily the stuff with atomic
number seventy-nine. (Use Russell’s theory of descriptions and
Smullyan () to understand the grammar of this claim.) But the expe-
rience that it takes to understand the semantics of ‘gold’ was insufficient
to establish this identity. It holds necessarily but a posteriori. The same
surely holds good for ‘Lucifer is Noctifer’. The a posteriori basis on which
each of these names is understood does not suffice to establish that
Lucifer is Noctifer. Only when that identity is established empirically can
modal reasoning convert this discovery into the discovery that there is no
circumstance in which Lucifer is not Noctifer. The identity holds neces-
sarily – necessarily but a posteriori.
These matters are familiar, even if they still lie on the margin of con-
troversy. But, beyond those treated by Saul Kripke, certain adjacent
questions are less familiar. Leibniz writes in On Nature Itself (G , , fol-
lowing §)
Matter resists being moved by a certain natural inertia (as Kepler well calls it)
so that . . . it requires for its motion an active force proportional to its size . . .
Just as matter has a natural inertia which is opposed to motion, so in a body
itself, and indeed in every substance, there is a natural constancy which is
opposed to change.
.
In the ensuing chapters, there are notations and locutions that may give
the impression that, despite protestations to the contrary, I am engaged
in the business of constructing a formal system. But the only aim of these
notations is to effect abbreviation where abbreviation is needed, or to
make fixed and transparent whatever is taken in the context to be the
logical and inferential character of certain antecedently familiar forms
and locutions. In the case of notations such as ‘ ⫽ ’, this disclaimer
a b
donkey
is to be borne particularly in mind. This simply abbreviates ‘a is the same
donkey as b’, where that is to be understood as having whatever meaning
the language imparts to these English words. Again, at the outset of the
inquiry in Chapter One, the question is put whether x can be the same
f as y without being the same g as y. But there is no policy here to dimin-
ish dependence on informal English. To make a question in English out
of this schema, for instance, replace the letters ‘ x ’ and ‘ y ’ by names of
things and the thing-kind letters ‘f ’ and ‘g’ by predicates denominating
16
Cf. Christopher Peacocke, ‘Intuitive Mechanics, Psychological Reality and the Idea of a
Material Object’, in Spatial Representations, ed. Eilan, McCarty and Brewer (Oxford, ).
Preamble
kinds of thing, e.g. ‘donkey’, ‘horse’, ‘tree’, ‘mammal’, ‘animal’, ‘beast of
burden’. In sum, the codifications proposed should be seen as an invita-
tion to agree in finding a certain meaning in natural language expres-
sions of which the notations are the counterpart, and then to treat these
notations as specifying that meaning canonically.
Notation such as this, latching as it does onto one particular under-
standing of the reusable words that make up some phrase or latching
onto one particular reading of the construction in which the words are
placed, represents, if you will, a first step in the direction of a system-
atic account of the logical grammar of English. But it is no more than
a first step. Much has been learned from experiments with an approach
that is opposite to mine, i.e. with a would-be exact or calculus-building
approach. This has advanced some matters by raising questions not
previously encountered and identifying all sorts of possible answers to
these questions. Yet all too often this top down approach has had the
effect of precipitating its proponents rather suddenly into issues for
which there had been no discursive or presystematic preparation. In
this book, by contrast, the approach is that of the underlabourer –
albeit an underlabourer not denied the distant prospect of discerning a
simple Leibnizian order implicit in the syntax and semantics of
English.
17
See Quine review of P. T. Geach, Reference and Generality (); also Perry ().
Preamble
general class of predications only by the non-syntactic marks insisted
upon at § above. (These marks are further discussed in Chapters One,
Two and Three.) A variant that I think Quine might tolerate, and
(having scrutinized all extant alternatives) I should myself prefer it, is to
see ‘a is the same donkey as b’ as saying that a stands to b in the relation
of identity as restricted to (things that are) donkeys. Hence our notation in
a ⫽b
this book: . In Russell and Whitehead’s official Principia
donkey
Mathematica notation (see Volume , *), the approved rendering would
have been (a) ⫽[ donkey (b).
The advantage of proposals such as these is that they simultaneously
show forth the distinctive contribution of ‘donkey’ to the linguistic forms
that the word ‘donkey’ helps to make up and show it as made by means
of a single mode of combination. Suppose that for one moment we rep-
resent this mode of contribution by the invented verb ‘to donkey’. Then
‘a is a donkey’ becomes ‘a donkeys’ and ‘a is the same donkey as b’
becomes ‘a donkeys and a⫽b’ or else (essentially similarly, but in a way
that brings ‘⫽’ and ‘donkey’ better into construction together): a has to
b the relation of identity as restricted to things that donkey, or a has to b
the relation same [ donkey.
So far so good. Now, helping ourselves to similar verbs for other sub-
stantives, we can quickly make sense of ‘there is something that a is’, ‘a
is the same what as b?’, ‘a is the same something as b’, and so on. For pur-
poses of such contexts, the letters ‘f ’ and ‘g’, which have served so far as
schematic, will need to take on the role of true variables,18 ranging over
the general things which we claimed to discover that thing-kind words
stand for. Examples would be person, plant, tree, house, horse, donkey,
etc.19 On these terms, if we continue with our temporary representation
of nouns by verbs, we can say that ‘a is something’ is true if and only if
a something-s; that a something-s if and only if for some f (one of these
general items) a f-s, or (᭚f)(fa). Similarly, ‘a is the same something as b’ is
18
If we were constructing a formal system, it would be a heinous offence to let the same letters f
and g do duty sometimes as schematic letters, understood by reference to the role of holding a
place for their designated linguistic replacements, and at other times as genuine variables, under-
stood by reference to whatever items ‘all’ and ‘some’ range over. But, as I have said, our nota-
tion is not introduced for the purpose of constructing a formal system. It is only abbreviatory
and disambiguative.
19
This is second level quantification but of a very limited kind. There is no question yet, of quan-
tifying over everything true of x. We quantify over the sorts of thing which this or that given
object is, in the Aristotelian sense of this phrase. For this, see again the epigraphs for Chapter
One.
Preamble
true if and only if, for some f, a f-s and a ⫽b or, better, a has to b the
relation of identity as restricted to things that f; or, more formally, (᭚f )
冢 冣
a⫽b
f
. Note that in the quasi-formalized version, concatenation is
taken to do the work of the verb ending. When we revert to the ordinary
English form a is an f and look back at the quasi-formalized version, this
concatenation is seen as having taken over the work of the indefinite
article too, bracketing for us the nice question of how much or little sig-
nificance to attach to the English form ‘a is a(n) . . .’.
In sum, following the variant that I propose on Quine’s proposal, we
then have the equivalence:
a ⫽b ↔ (᭚f) ⫽
a b
f 冢 冣
Let it be as clear as anything can that, in embracing and exploiting this
equivalence, one is not agreeing with Geach’s claim that always ‘x is
identical with y’ is an abbreviation for ‘x is the same f as y’ where f ‘rep-
resents some count noun supplied from the context of utterance’ (‘or else
it is just a half-formed thought’).20 One is disagreeing deliberately and
actively with that. If vindication were really needed of the bare ‘a ⫽b’,
then the right-hand side of our equivalence would vindicate it. It would
vindicate it as definite, determinate and well formed. It is determinate
in the same way as ‘I talked with someone yesterday at noon’ is determi-
nate for a truth-value.21
In Sameness and Substance the question of how ⫽ and ‘a is an f ’ are
a b
f
related was left undecided. In so far as it can now be treated as decided,
there should be no strict need to argue separately or twice over, as in
⫽
Chapter One, about the formal properties of ‘⫽’ and ‘ f ’. There is
something to be said, though, for trying to satisfy the reader separately
under each head. Again, in Chapter Two, where the doctrine of Sortal
20
See Geach (), p. . See also Geach (), p. .
21
It follows that there are two reasons why there has never been any temptation, either in Sameness
and Substance () or in Wiggins (), in each of which ‘a ⫽b’ was treated as guaranteed the
冢 冣
same truth-value as ‘(᭚f) a ⫽ b ’, to follow Geach in claiming that ‘a ⫽b’ is in any way defective
f
冢 冣
or incomplete. First, no variable is free on the right side. Secondly, being Leibnizian ‘(᭚f ) a ⫽ b ’
f
and ‘a⫽ b’ are both determinate in the further sense of excluding the possibility (see Chapter
冢
One) that (᭚g) ga & not a ⫽ b .
g 冣
Preamble
Dependency is formulated, it may be wondered what strict need there
now is for the third clause of Principle D to invoke f-coincidence as such.
In that third clause, is more required than that there should be no differ-
ence at all between the particular f that a is and the particular f that b
is? In the absence, however, of complete reconstructions of the lifespans
of a and of b (and that is the normal case), some idea of f-coincidence
does seem integral to the ordinary working or application of the third
clause of D. In Sameness and Substance Renewed, the third clause remains
as it was. See Chapter Two, §.
.
Do the determinations of the foregoing section mean that there is a
danger that we may be forced to concur in a claim that adherents of
Quine are apt to repeat sometimes, as if in evidence against positions
like D? Does it mean that ‘x⫽y’ is prior somehow to the practices,
directly and indirectly invoked by D, of the individuation of things and
the assignment of things to thing-kinds?
When we do propound identity conditions for bodies, or persons, or classes, we
are using the prior concept of identity in the special task of clarifying the term
‘body’ or ‘person’ or ‘class’; for an essential part of the clarification of a term is
clarification of the standard by which we individuate its denotata.22
Well, no. There is no need at all to concur in the asymmetry Quine has
seemed to suggest. For the truth is that there can be no question in this
province, where so much is primitive, of anything’s being absolutely prior
– either logically or philosophically or psychogenetically. To be sure,
‘Juno donkeys’ or ‘Juno is a donkey’ will seem (so soon as we look at this
predication as it appears in English) to mean or imply that Juno is the
same as one of the donkeys or is identical with one of the donkeys. But,
as we shall see in Chapter Two, there is also an opposite dependence.
The practical grasp of identity itself presupposes the capacity to
subsume things under kinds, to refer to them and to trace them (or keep
track of them). But in order to trace things, one has to trace them in the
way that is appropriate to this or that kind, and then, by dint of one’s
understanding of congruence as flowing from identity or coincidence, to
assign to an object picked out at one time and again at another time
everything that is true of either. But if that is right, then not only does
sortal predication presuppose identity. Identity presupposes sortal pred-
22
W. V. Quine (). My italics.
Preamble
ication.23 These things belong together – or the grasp of each requires
the grasp of the other. Identity is a notion coeval with the determinable
entity of some determinate kind, which brings with it the possibility of the par-
ticular determinations that figure in particular sortal predications.
Without thinking very hard about what one is hoping for, one forms
too easily the aspiration to discover a starting point from which one
could introduce, stage by stage, as if definitionally, the apparatus of
naming, substantial predication, identification and differentiation, then
other kinds of predication, then quantification over individuals, then
quantification over sorts, then abstraction (the prototype of lambda
abstraction), then quantification over properties . . . If the process to be
reconstructed were intended to be definitional or quasi-definitional,
however, then all the hazards of piecemeal definition would have to be
guarded against (the hazard of the left hand’s undoing or altering what,
unknown to the left hand, the right has already done). The difficulties
would quickly appear of keeping careful account of what already pre-
supposes what. Given the absolutely foundational nature of that with
which we are concerned, however, and the primitiveness of the predica-
tive and other devices that are under consideration, I should claim that
it is a false picture that bewitches one who demands such a quasi-
definitional sequence. What we have here to confront is a whole skein of
connected practices. These practices are intertwined with one another.
Their relations can indeed be set out in all sorts of true equivalences. But
it does not follow they can be set out in a developing sequence of the kind
we were meant to be looking for. It is much more likely that the basic
23
Geach seeks to penetrate to a deeper level of analysis of sortal predication, by isolating an under-
lying mode of combination effected by the attribution of equivalence relations (which are not
necessarily, according to Geach, congruence relations) such as x is the same donkey as y, x is the same
apple as y, etc. This relation can then be derelativized as in ‘x is the same donkey as x’, ‘x is the same
apple as x’, etc. Finally, he offers these latter forms as definitions of ‘x is a donkey’, ‘x is an apple’.
Geach’s proposal can be separated from Geach’s case against absolute identity and his denial
of congruence.
If the proposal were offered on the level of psychogenetic theory, then it would be implau-
sible. For it is hard to avoid thinking that calling x the same horse as y presupposes picking x out
and picking it out as something (as a horse?) simpliciter. If there were nothing more to horse-
identity than there was to being a horse, whence could come the relationality that Geach dere-
lativizes?
If Geach’s proposal is simply grammatical or definitional in its intent, well, that is more plau-
sible. But it may be less clear than it looks. For as soon as we try to bring Geach’s ‘same donkey
as’ forms into the requisite relation with ‘the same what?’ and ‘the same something as’, which
are indispensable to the whole rhetoric of sortalism, we need to discern structure within ‘is the
same donkey as’. This structure cannot, however, be, for Geach, that which is suggested by the
English predicable ‘is the same donkey as’. For that apparently reintroduces both absolute iden-
tity and simple ‘donkey’ predication.
Preamble
forms and devices have to be learned together. Just as the keystone of an
arch and the adjoining bricks can be placed together, but only if
somehow they are placed there simultaneously or they are put into posi-
tion with the help of a temporary external support, so each primitive
device is learned simultaneously and in reciprocity with each of the others.
In the language learning case, there is the possibility of partial and
interim grasp of a device. But the full grasp of any one device will
require the full grasp of many or most of the others. If semantic devices
are well made, then, once they are fully mastered, they will operate
smoothly and in concert together. Their mutual relations will indeed
allow of their being rehearsed by logical equivalences. If a sceptical
question arises, however, about whether in their supposed reciprocity the
concepts corresponding to the expressions we are concerned with are
well made, the only answer that ought to be promised is that, several
chapters into the book, there will be indirect assurance that the locutions
‘same’, ‘horse’, ‘same horse’ collaborate securely in the modes of com-
bination of which we avail ourselves in identifying things, placing them
in kinds, distinguishing them from other things and attributing other
properties to them. For the interim, the most that should be offered in
answer to the question broached in paragraph one, § above, is a non-
definitional and non-psychogenetic account of a single mode of combi-
nation linking ‘is an f ’ and ‘is the same f ’.
(᭙x)(f(x) → 冢x ⫽f x冣).
The congruence of sameness that is affirmed by Leibniz’s Law or the
Indiscernibility of Identicals,
(᭙x)(᭙y)((x ⫽y) → (x ↔ y))7
has as its same f counterpart:
冢a ⫽f b冣 → (a ↔ b)
as including among its replacements any predicable of the form ‘ ⫽ ’.8
a x
g
Then we have
冢a ⫽f b冣 → (冢a ⫽g a冣 ↔ 冢a ⫽g b冣).
But then, by modus ponens and the supposition that ⫽ , we have the
a b
f
consequent
冢a ⫽g a冣 ↔ 冢a ⫽g b冣.
⫽
But now, by the reflexivity of ‘ ’ and g(a), as in the third conjunct, we
g
have
冢a ⫽g a冣.
18
For what follows, see Wiggins (), pp. –. For similar derivations see Perry (), p. ;
Stevenson (), p. . Stevenson worked out a formalized framework in which this and other
claims could be formally evaluated in Stevenson ().
The absoluteness of sameness
Hence, by modus ponens,
冢a ⫽g b冣.
Hence we arrive at not R. So, if we suppose that the first conjunct of
R holds true, then we obtain the denial of the remainder of R. It follows
that R is not true.
The questions that now arise are whether Leibniz’s Law is true (as this
derivation presumes) and, if so, whether it is as true for ‘is the same f as’
as it is for ‘⫽’. In support of an affirmative answer, I shall urge four con-
siderations:
(i) Leibniz’s Law marks off what is peculiar to real identity and it differ-
entiates it in a way in which transitivity, symmetry and reflexivity (all
shared by exact similarity, weighing the same, having exact equality in pay, etc.)
do not.9
(ii) How, if a is b, could there be something true of the object a which
was untrue of the object b? They are the same object. People sometimes speak
of counter-examples to Leibniz’s Law. But these are scarcely more
impressive than the counter-examples to the Law of Non-Contradiction.
19
Cf. Frege’s remark in his review of Husserl, p. in Geach and Black’s Translations from the
Philosophical Writings of Gottlob Frege (Oxford, ): ‘I agree . . . that Leibniz’s explanation eadem
sunt quorum unum potest substitui alteri salva veritate does not deserve to be called a definition; my
reasons, however, are different from Husserl’s. Since any definition is an identity, identity itself
cannot be defined. This explanation of Leibniz’s could be called an axiom that brings out the
nature of the relation of identity; as such it is fundamentally important.’ We may fault Frege’s
doctrine of definition here, and we ought to note that the eadem sunt quorum unum alteri substitui
potest principle says more than the principle that I have called Leibniz’s Law. But when construed
as a contention about Leibniz’s Law, Frege’s contention seems incontrovertible. (See also
Grundgesetze der Arithmetik, Jena, , Band, .)
The Indiscernibility of Identical was familiar to Aristotle (see De Sophisticis Elenchis a37). But
I follow custom in calling it Leibniz’s Law. It is not to be confused with the distinctively
Leibnizian (and non-schematic) converse, the Identity of Indiscernibles (to be discussed in § of
the next chapter). Leibniz’s eadem sunt quorum unum alteri substitui potest principle presumably entails
both Leibniz’s Law and the Identity of Indiscernibles.
It may be asked what protects the schematic Leibniz’s Law from illegitimate replacements for
the letter phi (). I follow Quine in holding that intensional replacements are excluded by ‘the
incoherence of bound variables in any but referential position’. See Journal of Philosophy ,
(), p. . Quine writes ‘This version of the principle of identity is a little broader than the
version in terms of properties, since the open sentence represented by ‘x’ can sometimes exceed
the range of properties, for reasons unrelated to substitutivity and related rather to Russell’s
paradox.’ By ‘the version in terms of properties’, Quine means the non-schematic second level
principle that if x is y then every property of x is a property of y, which is discussed and defended
by Cartwright (), p. .
Quine’s characterization of the substitutivity schema suffices in my opinion to answer all the
questions about paradox that Geach has seen as counting against the congruence conception of
identity. See the works by Geach cited at note above, in further reply to which, I would refer
to my reply to Harold Noonan in Lovibond and Williams (), p. , note .
The absoluteness of sameness
Concerning modal and intensional contexts, Frege and his inheritors
have shown how ineffective such contexts are to discover to us objects
that are at once identical (or numerically the same f) and discernible.10
At their best, these Fregean arguments are given on the basis of inde-
pendently plausible accounts of what else is being conveyed in the pur-
ported counter examples.
(iii) If Leibniz’s Law is dropped, or if classical identity is dropped in
favour of some allegedly un-Leibnizian relative identity, then we need
some formal principle or other, and one of at least comparable univer-
sality, to justify the instances of the intersubstitution of identicals that
evidently are valid. The instability, indeterminacy or arbitrariness of all
extant emendations and relativizations of Leibniz’s Law only corrobo-
rate the case for a pure congruence principle such as Leibniz’s. (See
below, §, and especially footnote .)
(iv) Suppose there were terms t1 and t2 both designating z, one and the
same donkey, and suppose there were a context ( ) such that the result
of supplying t1 to it was true and the result of supplying t2 was false. What
ought we to say if it were suggested that the open sentence (x) deter-
mined a property? Call the putative property Q. We ought to ask: How
can the donkey both have and lack the property Q? The question is
unanswerable. Let the R-theorist note that this argument can be stated,
as it is stated here, without showing any special favour between ‘⫽’ and
⫽
‘ ’. It supports Leibniz’s Law for both of these relations. In order to
f
counter it, the R-theorists will have to uncover much more complexity
than appears to be present in the innocuous locution ‘t1 designates z and
t2 designates z’. Nor is that enough. R-theorists will need to deny the very
possibility of there being such a relation as simple designation. (Chapter
Six, §, footnote bears on these matters.)
a⫽b
.
g
The previous section showed why we ought not to expect to find any true
judgments whose truth requires the relativity of sameness. Nevertheless,
given that there is no shortage of apparent examples in the form ⫽
a b
f 冢 冣
& not
a⫽b
g冢 冣 & (g(a) v g(b)), it will be as well to classify them,
10
See ‘On Sense and Reference’ (Frege, ). Frege’s defence of Leibniz’s Law is fortified in a way
independent of his theory of direct and indirect sense and real and apparent reference by
Cartwright (), p. .
The absoluteness of sameness
however crudely. There are five types of case where a is not the same g
as b. Only three of these will provide ways for R to appear to be exem-
plified, but it will do no harm to enumerate all five.
() g may simply be the wrong covering concept for both a and b where
nevertheless a ⫽b. The evening star is the same planet but not the same star
as the morning star. For Venus is not a star. This is not a case of
冢 冣
follows that not ⫽ , properly read, is not true. (Similarly, the author
a b
g
of Childe Harold I/II () was the same person as the baby born in
who was christened George Gordon Byron. That author was a poet. But,
if we said the author was the same poet as the baby, that would give the
impression that the baby could write verses when he was a baby and that
is not true. The baby will, however, be the same poet as the author of
Childe Harold I/II.)
The second matter that type-() cases bring to our attention is this.
They underline the need to distinguish between sortal concepts that
present-tensedly apply to an individual x at every moment throughout
x’s existence, e.g. human being, and those that do not, e.g. boy, or cabinet
minister. It is the former (let us label them, without prejudice, sub-
stance-concepts) that give the privileged and (unless context makes it
otherwise) the most fundamental kind of answer to the question ‘what
is x?’ It is the latter, one might call them phased-sortals, which, if we
are not careful about tenses, give a false impression that a can be the
same f as b but not the same g as b. But, in fact, they do not conflict at
all with what is to be proved: namely that, for all x and all y, every
concept that adequately individuates x for any stretch of its existence
yields the same answer, either directly or via the principle of individ-
uation for the substantive it restricts, as every other genuinely individ-
uating concept for x or y to the question whether x coincides with y or
not.
The first appearance of the phased-sortal is probably the best
moment to inveigh against a misunderstanding of identity which has
culminated in attempts to show that the only true identity is the ‘identity
at a time’ of one and the same phase or thing-moment of a thing, ‘iden-
tity through time’ being held by those in the grip of this conception to
connote some different relation that holds between the different phases
The absoluteness of sameness
or thing-moments out of which individual continuants are supposed to
be combined or concatenated.11
Whatever the merits of this idea as a programme for linguistic reform,
those drawn to it have never appreciated the true scale of the re-orga-
nization that they are envisaging. There is no serious prospect that this
view of the identity relation will do justice to any of the actual questions
of continuity and persistence that perplex our habitual modes of
thought about identity and difference. That which these questions want
in the first instance is not replacement by other questions given in terms
of phases of things or thing-moments12 or in an alien four-dimensional
mode. The answers these questions require from philosophy ought to be
given in language that speaks as simply and directly as natural languages
speak of proper three-dimensional continuants – things with spatial
parts and no temporal parts, which are conceptualized in our experience
as occupying space but not time, and as persisting whole through time.13
Unlike sets or classes, continuants can gain and lose elements. The terms
11
Cf. Hume, Treatise of Human Nature, Bk. , §: ‘We have a distinct idea of an object that remains
invariable and uninterrupted through a supposed variation of time; and this idea we call that of
identity or sameness. We have also a distinct idea of several different objects existing in succes-
sion, and connected together by a close relation; and this to an accurate view affords as perfect
a notion of diversity as if there were no manner of relation among the objects.’
12
Against a related but distinct proposal concerning existence and persistence, see Chapter Two. See
also Chapter Six, §, where some eirenic remarks are offered on the four-dimensional mode of
speech. For a discussion of the distinction that Mark Johnston, David Lewis and other writers have
made between the endurance and the mere perdurance of things, see §. of my ‘Substance’ ().
13
It is well worth remarking that, if we respect this way of thinking, then by a transposition we
arrive at the everyday conception of event. An event takes time, and will admit the question
‘How long did it last?’ only in the sense ‘How long did it take?’. An event does not persist in the
way in which a continuant does – that is through time, gaining and losing new parts. A continu-
ant has spatial parts. To find the whole continuant you have only to explore its boundaries at a
time. An event has temporal parts. To find the whole event you must trace it through the histor-
ical beginning to the historical end. An event does not have spatial parts in any way that is to be
compared with (or understood by reference to) the way in which it has temporal parts.
At least in the light of this conception of the differences of events and continuants, there
appears to be a terrible absurdity in such claims as ‘a material object is just a long event’. For an
illuminating specimen of such claims, see C. D. Broad in Scientific Thought, p. :
We usually call a flash of lightning or a motor accident an event, and refuse to apply this
name to the history of the cliffs of Dover. Now the only relevant difference between the flash
and the cliffs is that the former lasts for a short time and the latter for a long time. And the
only relevant difference between the accident and the cliffs is that if successive slices, each of
one second long, be cut in the histories of both, the contents of a pair of adjacent slices may
be very different in the first case and will be very similar in the second case. Such merely
quantitative differences as these give no good ground for calling one bit of history an event
and refusing to call another bit of history by the same name.
This will not do. Material object and event are in some sense duals. It has recently come to seem
more and more important in philosophy to understand the notion of an event (cf. Donald
Davidson, ‘Causal Relations’, Journal of Philosophy, , ). A fair start can be made on these
questions if we take note of all the hints of analogy and disanalogy we get from the unreformed
language of things and events.
The absoluteness of sameness
of the identity questions that we are concerned with in this book stand
for these continuants themselves, John Doe, say, not for phase-thick lam-
inations of their four-dimensional counterparts, John Doe-when-a-boy,
or for infinitesimally thin time-slices of these held fast between percep-
tual impressions, John Doe-as-caught-sight-of-there-then. And, by the
same token, the phased sortals like ‘boy’ or ‘old man’ that we encounter
in English never denote ‘phases’ of entities or (if that were different) the
entities themselves frozen at an instant. They denote the changeable
changing continuants themselves, the things themselves that are in these
phases. No faithful elucidation of identity judgments will seek to alter
this. People often speak of identity over time and distinguish this from
identity at a time. But identity is just identity. (See Chapter Six, §.)
Experience proves that here there is a choice between tedious repeti-
tion and scarcely prevailing against a deep-seated tendency of the
human mind towards confusion.14 In the equivalence x is a boy at t if and
14
It is a profound and important question, which one should long keep open, what underlies this
nisus towards disorder. That it is not provincial to any particular language or culture is attested
by the confusion, misrepresentation and misquotation to which Cratylus and others subjected
the gnomically simple insights of Heraclitus, a thinker as innocent of the confusion of ‘numer-
ical’ and ‘qualitative’ sameness as he was of any positive desire to equate opposition and contradic-
tion. Robert Coburn has given an able account of some of the sources of confusion. (See ‘The
Persistence of Bodies’, American Philosophical Quarterly, , .) For another source, scrutinize the
quotation from Hume at footnote . The capacity to make inner images is as difficult to control
as it is indispensable in most human thinking. Perhaps it will help even to explain the folly Russell
describes in ‘The Philosophy of Logical Atomism’ (Logic and Knowledge, ed. R. C. Marsh, London,
, p. ) when he writes:
Identity is a rather puzzling thing at first sight. When you say ‘Scott is the author of Waverley’,
you are half-tempted to think there are two people, one of whom is Scott and the other the
author of Waverley, and they happen to be the same. That is obviously absurd, but that is the
sort of way one is always tempted to deal with identity.
There is another confusion that is a converse of this: its aetiology will deserve equal attention from
someone who comes closer than I shall to completing the theory of individuation and identity:
The question of what we count as survival, as continuing to be the same person, is even more
difficult to answer in a precise and definite way. (Joel Kupperman, Character, New York, ,
p. .)
Nobody has any choice about going on ‘being the same person’. One is bound to do so. In
ceasing to be, one does not become somebody or something else. The difficult question is rather
this: what it takes, conceptually speaking, to survive or persist. For another case of ‘changing my
identity’, see
One of Locke’s insights was that although under the description ‘this lump of matter’ I may
be changing my identity from moment to moment, under a description ‘this person’ I am
not. (David Sedley, ‘The Stoic Criterion of Identity’, Phronesis, , p. . Cf. Hobbes cited
below at note .)
I am not a lump of matter, even if a lump of matter constitutes me. I cannot then change my
identity under the description ‘lump of matter’. I cannot change my identity at all in any rele-
vant sense of ‘my identity’. (For another sense of ‘my identity’ that may be needed sometimes,
but is not at issue here, see Chapter Seven, §.)
The absoluteness of sameness
only if x is a male human being who has not at t reached maturity, we have the
substance term ‘human being’, and two qualifications of it which deter-
mine proper subsets of the class of human beings. I have followed Geach
in calling these qualifications ‘restrictions’ of the concept human being. It
follows that, unlike ‘boyhood’, ‘boy’ cannot denote a phase. Still less can
‘boy’ denote a phase or stage, whatever that would be, of a human being.
A boy is a human being. No human being is a stage of a human being,
or an -year-old cross-section of a year-long space–time worm.
Suppose some boy grows up and lives seventy years. If that is how it is,
then there is only one answer to the question ‘How long did that boy
persist in being?’ – namely seventy years. He lived seventy years. He did
not live seventy years as a boy, but, when he grew up, that growing up
was not the passing away of a boy.
So much for confusions that can flow from imperfect recognition of
the presence in natural language of phased predicates and the phased
sortal concepts that they introduce. Finally, if there were need, further
refinements could be introduced at this point, e.g. between predicates
like ‘infant’, ‘adult’, ‘pupa’, ‘tadpole’, which every member of the exten-
sion of the substance term that they restrict must in due course satisfy if
only it lives so long, and predicates like ‘conscript’, ‘alcoholic’, ‘captive’,
‘fugitive’ or ‘fisherman’, of which this does not hold. This distinction,
like certain others that are there to be made, is not without interest. But
we shall not need these refinements to dispose of type-() cases repre-
sented as cases of R.
The point we have now reached is the fourth and fifth types of identity
claim where R appears to be verified. Here at last we shall find cases with
a semblance of plausibility.
() is the variant where, in the timeless idiom,
冢a ⫽f b冣 & not 冢a ⫽g b冣 & (g(a) v g(b)) & (g(a) & not g(b)).
() is the type of case where, allegedly,
. ( )
(␦) An argument in Geach’s Reference and Generality, p. , might prompt
the following suggestion. Whatever is a river is water. Suppose I moor
my vessel at the banks of Scamander when that river is in full torrent.
The next day, the river on which my vessel is now moored is the same river
as the river on which I moored it yesterday. But, even though rivers are
water, the river is not the same water. The water on which I moored it is
now part of the Aegean Sea.
() John Doe the boy is the same human being as Sir John Doe the Lord
Mayor, but not the same collection of cells as Sir John Doe.16
() ‘[I]t may be said, without breach of the propriety of language, that
such a church, which was formerly of brick, fell to ruin, and that the
parish rebuilt the same church of freestone, and according to modern
architecture. Here neither the form nor the materials are the same, nor
is there anything in common to the two [sic] objects but their relation to
the inhabitants of the parish; and yet this alone is sufficient to make us
denominate them the same.’17 So we may say of Hume’s church that the
present church is the same church as the old parish church but not the
same building or the same stonework as the old parish church.
() At Paddington Railway Station I point in to the Cornish
Riviera Express and say: ‘That is the same train as the train on which
the Directors of the Great Western Railway travelled to Plymouth in
.’ Same train, yes, it may be said, but not the same collection of coaches and
locomotive.
() A petitioner asks to see the same official as she saw last time. The
man she sees is the same official but not the same man. (Cf. Geach, op. cit.,
p. .)
() The Lord Mayor is not the same official as the Managing Director of
Gnome Road Engineering Ltd (indeed they often write one another
letters) but he is one and the same man.
() Dr Jekyll and Mr Hyde were the same man but not the same person or
personality. (Cf. Locke, Essay, , , and .)
() ‘There is but one living and true God . . . and in unity of this
Godhead there be three Persons of one substance, power, and eternity;
the Father, the Son, and the Holy Ghost.’ (Article of the Articles.)
16
Cf. Hobbes, De Corpore, Ch. , §: ‘It is one thing to ask, concerning Socrates, whether he be the
same man and another to ask whether he be the same body; for his body, when he is old, cannot
be the same as it was when he was an infant, by reason of the difference of magnitude; yet nev-
ertheless he may be the same man.’ 17
Hume, Treatise . (p. in the Everyman edition).
The absoluteness of sameness
This is to say that the Father, Son and Holy Ghost are the same God but
not the same person.18
Some of these examples are more convincing than others, but none
of the examples (␣)–() is sufficiently secure to provide an independent
argument for the conceptual possibility of (), which is the most difficult
case. I shall argue that all the perspicuous cases repose on ambiguities of
reference or logical form or on special uses of ‘be’ (e.g. the use I shall call
the constitutive use). None of them shows a way for relations like ‘is the
same horse as’, ‘is the same river as’ (in the usage that ties them to ques-
tions of identity and existence) to escape from the congruence require-
ment. Any reader who is prepared to take this on trust (or can satisfy
himself of it) should skip now (or so soon as he is satisfied) to section
of this chapter. The suggestion to skip is intended seriously.
. -( )
(␣) and () hang together. For if the jug is the same collection of bits as
the heap of fragments and the heap of fragments is the same collection
of bits as the coffee pot, then, by transitivity, the jug must be the same
collection of bits as the coffee pot. Either both or neither, then, is a true
identity-statement. The difficulty is that if the jug is the same collection
of material parts or bits of china clay as the coffee pot, that is if they are
one and the same collection of china-bits, then their life histories and
durations must be the same. (Call that the life-histories principle.) But
the coffee pot will be fabricated or assembled at t3 by my ingenious friend
and exist only from then on. The jug won’t then exist any more.
(␣) will only be what is required as a case of type () if the sentence
‘that heap is the jug you saw last time’ comes to something more than
‘the matter you see there is the same matter as the matter of the jug you
saw when you came here last time’. Similarly () must not be reducible
to the unexceptionable claim that the jug and coffee pot are made of the
same matter. Otherwise, it is no longer obvious that we have the type-()
identity-statement the relativist required. To get that, the ‘is’ in ‘is the
same collection of china bits’ of (␣) and () must mean ‘⫽’ and we must
take collection of china-bits as a straightforward covering concept. The ‘is’
in question must not be comparable to the ‘is’ in ‘The soufflé you are
eating is flour, eggs and milk’ or the ‘is’ of ‘The portico is wood and
18
A collection of the writings of the Church fathers on this matter is to be found at pp. –, ff.,
ff., ff. of Documents of the Christian Church, selected and edited by Henry Bettenson (Oxford,
). See also op. cit. in note below.
The absoluteness of sameness
stucco’. I shall call the latter the ‘is’ of constitution, contrast it with the ‘is’
of identity, and shall attempt to prove that it is precisely this constitutive
‘is’ that we have in (␣) and (). If I am right, then this occurrence of ‘is
the same collection’ means ‘is constituted from the same collection’.
Suppose, with (␣), that the jug is straightforwardly the same collec-
tion of china-bits as the heap of fragments. Then, if this is a type-()
identity-statement, we are entitled to infer that the jug is a collection of
china-bits. (If Hesperus is the same planet as Phosphorus then Hesperus
is a planet.) But then there must be some collection of china-bits with
which the jug is identical. (If you doubt the principle linking identity
and predication of this sort, namely that if x is then there must be
some -thing with which x is identical,19 then consider whether you will
deny this instance of it: if Hesperus is a planet then there is some planet
with which Hesperus is identical.) Suppose there to be some such col-
lection. Then, again, we have trouble from the principle that, if a and
b are identical, then they must have the same life history. Suppose I
destroy the jug. Do I then destroy the collection? Either I do or I don’t.
If I do, then both (␣) and () fail to be true with covering concept collec-
tion of china-bits and fail as type-() examples. If I don’t thus destroy the
collection, then it cannot be true of the jug that it is a collection of
china-bits in the normal predicative sense of ‘be a . . .’. Nevertheless it
is true, under some other reading of ‘be’, that the jug is a collection of
china-bits. That is to say that it is china-clay. It is true in the sense that
the jug is made of china-clay or constituted of a collection of china-bits.20
This is what is predicatively true of the jug. So much seems obvious. But
the argument requires two supplementary remarks. One remark con-
cerns the behaviour of ‘same’ in (␣) and () within the gloss same collec-
tion, the other remark concerns the sense of ‘collection’. Together, these
19
A principle no less true for having prompted false theories of predication, e.g. Antisthenes’ iden-
tity-theory. Cf. Aristotle, Metaphysics, b32; Hobbes, De Corpore, ch. , §. It implies no such
absurdity. The principle is denied by Noonan in Mind (), p. . Cf. also p. , where
Noonan claims something can be a man by constituting that man but be not identical with that man:
‘What constitutes a man is not identical with that man, but on my account it is identical with
something which is a man, namely itself.’ For further discussion of Noonan’s position, see my
reply to him in Lovibond and Williams ().
20
I am not saying that the possibility of this paraphrase by itself forces us to postulate this distinct
sense of ‘is’. l am saying that the independent plausibility of this paraphrase, plus the plausibil-
ity of Leibniz’s Law which would otherwise have to be amended or abandoned, plus the difficul-
ties of amending Leibniz’s Law or finding any f-restricted version of this principle for same f that
stands in the right connexion to what it is for an f thing to exist, forces us to postulate this dis-
tinct sense of ‘is’.
For collateral evidence supporting the hypothesis, as first formulated in Wiggins (), that
this distinct reading of ‘is’ needs to be postulated, see the article by Tyler Burge cited at footnote
of Chapter Two.
The absoluteness of sameness
remarks will occupy all seven paragraphs that intervene between here
and the transition to example (␥).
The argument for the non-identity of jug and collection does not rely
on a special or unfair construal of the term ‘collection’. The possible
construals seem to be three in number. ‘ (A)’ where A is in some sense
or other a collection can presumably mean either (i) that class A is or,
(ii) that each of the As is , or (iii) that a physical aggregate A is .
Sense (i) cannot be what we are really looking for, even if skilful and
opportunistic reinterpretations of might hold a set-theoretical inter-
pretation of the ‘A’ in ‘ (A)’ onto the rails for an indefinitely long time.
In the end, the only way in which one could explain breaking or scatter-
ing a set-theoretical entity would have to be parasitic on the way one
explained what one had to do to a physical configuration to break or
scatter it. At root, the thing we need to be interested in is a notion of col-
lection or manifold for which there can be no empty or null collection,21
and for which it holds that ‘if we take the German Army as our mani-
fold and an infantry regiment as a domain within it, it is all one whether
we choose to regard as elements within it the battalions, the companies,
or the single soldiers’.22 Notoriously this is not true of sets.
Sense (ii) of collection is not what we are looking for either. If I repair
or destroy an item, I do not repair or destroy each part of it. (Since each
part of a part is a part this would be difficult.) Nor in any non-
Anaxagorean universe do we wish ‘Jug (A)’ to mean each of the As is a
jug.
Sense (iii) suggests the definition of sum or fusion in Lesniewski’s mer-
eology.23 An individual X would be a Lesniewskian sum of [all elements of
the class of parts of the] jug J if all [elements of the class] parts of J were
parts of X and if no part of X were disjoint from all parts of J.24 This
would certainly seem to be the sort of thing that we are looking for,
because, according to this notion, all collections of parts of the jug,
21
‘If we burn down all the trees of a wood we thereby burn down the wood. Thus [in the concrete
sense of class] there can be no empty class.’ Frege’s review of Schroeder’s Algebra der Logik in
Geach and Black’s Translations, p. . 22
Ibid, p. .
23
For a description of mereology (the calculus of individuals) see Tarski (), p. ; or Nelson
Goodman’s Structure of Appearance (Cambridge, Mass., ), ch. . See also Woodger (), ch.
, §, and appendix E (by Tarski), p. .
For one capital philosophical defect of mereology as thus formulated, see footnote of
Chapter Three. I am relieved and encouraged to find my reservations about these mereological
systems vindicated in Simons ().
24
The definition of ‘Y is disjoint from Z’ is ‘no individual W is a part both of Y and Z’. The ref-
erence to classes in the definition of sum of elements is eliminable (as is indicated by the square
bracketing). The ‘part of ’ relation is transitive in mereology.
The absoluteness of sameness
however specified (whether as china-clay bits or as molecules, or as
atoms), and all collections of collections of parts of the jug, etc., are
intended to define and exhaust one and the same Lesniewskian whole or
sum, X, of the jug. If ‘collection’ is defined in this way, however, and if
mereology is grafted straight onto that pre-existing scheme of three-
dimensional persisting things and their parts that we are operating (and
anybody who wanted to obtain our type-() or type-() contrasts would
have to be willing to operate), then perhaps the jug turns out not to be
the same collection, in this sense of ‘collection’, as the coffee-pot in (␣)
and ( ). For if X⫽J then among the parts of X is J itself. For everything
is part of itself. So if J is broken at t2 and there is no such jug as J after
t2, then it looks as if X does not survive t2 either.25
In fact the problems that would arise in adding mereology to a logical
system already possessed of a concept of identity defined for three-
dimensional continuants, whose parts are not specified in terms of a pre-
determined scheme of logical ‘atoms’, have been studied insufficiently.26
The reason for this is that the adherents of mereology have almost
always wished to operate a four-dimensional scheme which (as I have
already complained) reduces everyday continuants to temporal series of
slices, ‘thing-moments’ or spatio-temporal regions of the space–time
continuum, and have usually advocated a most implausible semantic dis-
tinction between identity or difference at a time and identity or differ-
ence through time. (More is said against this below in Chapter Six, §.)
For the former concept of identity, they say that ‘x⫽y’ can be defined
mereologically by the condition that x is a part of y and y is a part of x;
whereas for spatio-temporal continuity, or what is sometimes called gen-
identity, these definitions have to be supplanted or supplemented by
special conditions of a quite different character. The thing that chiefly
matters here, in a discussion of (␣) and (), is that, no matter how these
extra conditions may be stated and whatever alternatives there may be
to Lesniewski’s general method of defining ‘concrete collection’ and
however three-dimensional wholes may be accommodated, the same
fundamental dilemma remains. Either ‘concrete collection’ is defined in
25
It is pointless to try to counter this by redefining the Lesniewskian whole of J without including
J as part of J. One cannot destroy the non-proper part of J without affecting the proper parts of J
and doing something just as drastic to them as to J. For to shatter J, or even break it into two, is
to shatter the indefinite number of proper parts of it that lie across the break. This may amount
to the destruction of these parts. (That depends on what destruction is deemed to amount to in
the mereological framework.) The ordinary continuants of ordinary three-dimensional talk are
not built up in any predetermined way from logical ‘atoms’ and aggregates of these.
26
This remark dates from before the appearance of Peter Simons’s book. For his book, see above,
Preface paragraph six.
The absoluteness of sameness
such a way that concrete collection X has the same principle of individ-
uation as the jug, or it is not so defined. If it is not, then the life-histories
principle debars X from identity with the jug and the type-() example
disappears.27 But if X does have the same principle of individuation as
the jug, then again, for a different reason, we don’t have a type-()
example. For under this option, the jug isn’t the same concrete collection
as the coffee pot. What is more, the chances are that the whole project
of equating thing and matter will then have degenerated into triviality.
If X is to be defined so as to be no more and no less tolerant of
damage or of replacement of parts, etc., than is the jug, then sponsors
of X will need to help themselves to the everyday continuant concept jug
so as to secure the right configuration and persistence-conditions for X.
But this is to ascend from the level of bits of things to the level of some-
thing whole, structured and jug-like, namely a jug. The jug is constituted
of certain matter and identical only with a certain whole or continuant
at present constituted in a certain way out of that matter. That is to say
it is identical with the jug. Unless the project is thus trivialized and con-
crete collection is so defined, the true statement that the jug or the coffee
pot is X must not be allowed by anybody who accepts the life-histories
principle to have the standard consequence of the ordinary ‘is’ that it is
identical with the mereological thing X. The ‘is’ must mean ‘is consti-
tuted of ’, and collection of parts will not function standardly as a normal
covering concept in the locution ‘is the same collection as’, as it figures
in our examples (␣) and ().
Since ‘the jug is the heap of fragments’ and ‘the jug was the same
china-clay as the coffee pot’ both boil down to identity of matter, the
supplementary remark about ‘the same’ that was promised seven para-
graphs ago is simply this: the words ‘the same’ can do appropriate duty
with constitutive ‘is’ just as readily as they can do their ordinary duty
with ‘is’ taken in the sense where it yields so-called numerical identity
(the sense paraphrasable as ‘is the same substance or continuant as’). So much
for (␣) and ().
27
Still a doubt may persist. Isn’t the life-histories principle too strong? Might not the jug be iden-
tical with a stretch of some Lesniewskian whole X for such time as no part of the jug is broken
or replaced? But quite apart from the support we have adduced for the strict life-histories prin-
ciple, this ‘temporary identity’ is surely a peculiar sort of identity. See now my reply to Noonan
in Lovibond and Williams (). We surely cannot give a sense to the supposition that Hesperus
might be the same planet as Phosphorus for a bit and then stop being Phosphorus. But then the
relation between the jug and the redefined whole X looks as if it cannot be the same sort of rela-
tion as that between Hesperus and Phosphorus. The conclusion for which I am arguing is of
course just this, that they are related by the one being composed or constituted of the other, not
by identity.
The absoluteness of sameness
Example (␥) also requires considerable unpacking, but I think its
power to convince is quite deceptive. We may begin by asking what is
meant by ‘Cleopatra’s Needle’. What it is that someone points to when
he points to Cleopatra’s Needle. There is here a special difficulty that has
to be faced by a consistent defender of the position Geach took up in
Reference and Generality. To keep (␥) in play at all as a type-() example, the
defender will have to claim that landmark and stone give different princi-
ples of identity. But by the theory of proper names defended in Reference
and Generality, the sense of a proper name is given by the principle of
identity built into the general term associated with it. It seems to follow
that if ‘Cleopatra’s Needle’ had two equally good but different ‘nominal
essences’ then it ought to be ambiguous. In which case (␥) should not sur-
prise or impress us any more than any other startling paradox arrived at
by equivocation.
Rather than object in general to this theory of proper names,28 let us
simply examine the different specifications one might give of the
received meaning of ‘Cleopatra’s Needle’. What again is Cleopatra’s
Needle? Is it a stone? If a stone is what it is, if ‘it is a stone’ properly
answers Aristotle’s what is it question, then, so soon as that stone is rotted
away completely, Cleopatra’s Needle is rotted away completely. For they
are one and the same stone. Cleopatra’s Needle, the stone, is not then
the same anything as anything that exists in . For if the stone,
Cleopatra’s Needle, no longer exists in then it is not then the same
landmark as anything, even if something different may have come to
fulfil the same role as it did.
But perhaps the fact the stone has completely rotted away by
does not imply that there is no longer any such thing as Cleopatra’s
Needle. Stone is not then the sense-giving sortal. It may be that monument
or monument suitable for use as a landmark is what Cleopatra’s Needle sub-
stantially is. And perhaps monuments can be completely refashioned
and still persist. But then ‘Cleopatra’s Needle in is not the same
stone as Cleopatra’s Needle in ’ need only mean that Cleopatra’s
Needle is not made of the same material as it was in . The dates
surely qualify the verb in any case. Cleopatra’s Needle is not constituted
in of the same material as Cleopatra’s Needle was constituted of in
. Once its matter was a (piece of) stone, now its matter is concrete.
In that case the words ‘the same’ are serving in (␥), with the versatility
already remarked upon in connexion with (␣) and (), to indicate that
28
Which could be defended against the criticisms of Linsky all the more effectively if the general
thesis of the present chapter were correct.
The absoluteness of sameness
you can’t say about the material of Cleopatra’s Needle in what you
could have said in . (A type-() analysis might also be attempted.)
These are not all the possibilities. One might think landmark was what
gave ‘Cleopatra’s Needle’ its sense. But there is something rather pecu-
liar about treating ‘landmark’ as an ordinary substance-concept suitable
for giving a proper name a sense. It is really more like a title conferred
on an object when it attains a certain position of conspicuousness.
Compare ‘chairman’ or ‘official’ or ‘president’ or ‘sovereign’. In that
case, in one use, landmark is a restriction of a sortal concept. It presup-
poses the availability in principle of some underlying sortal predicate
that says what sort of object. This takes us back to the alternatives
already mentioned. There does, however, exist the possibility of another
use, which one might call a titular use, of the phrase ‘same landmark’.
According to this, for x to be the same landmark as y, x has only to mark
the same spot as y did.29 But in this use, something else, something non-
identical with the obelisk and distinct under every genuine covering
concept, can succeed it as the same landmark. It must be this view of
‘landmark’ that (␥)’s defender exploits in suggesting that the Meriden
stone ceases to be the same landmark when it is transported to London.
‘Cleopatra’s Needle’ then turns out not to be an ordinary proper name
at all. It emerges as an abbreviation for the description ‘whatever suit-
able object of suitable dignity conspicuously marks such and such a spot
on the Embankment in London’.
The effectiveness of this critique of example (␥) does not depend on
there being a hard and fast or canonically correct answer to the question
‘what is Cleopatra’s Needle?’ The example may owe a specious plau-
sibility precisely to the fact that ‘Cleopatra’s Needle’ can remain ambig-
uously poised between these and perhaps yet other incompatible
interpretations.
With this, the alleged cases of () are concluded. It begins to appear
why there simply cannot be cases of type (). Where (᭚f) ⫽ and
a b
f 冢 冣
a b
g 冢 冣
allegedly (᭚g) not ⫽ & g(a) v g(b), either g is a substantial sortal
29
If this use exists and extends to ‘sovereign’ then all that is required for Queen Elizabeth II to be
the same sovereign as Queen Elizabeth I is that she should rule the same country. And perhaps
‘The same sovereign was a man, is now a woman’ need not signify that anybody has changed
sex (unless ‘anybody’ be thought of as adapted to perform precisely the same trick as ‘sovereign’).
Queen Elizabeth herself simply succeeded a man.
The absoluteness of sameness
concept or it is not. If it is not substantial then the champion of (␥) needs
to show that we have more than a type-() case or a case of constitutive
‘is’. If g is a substantial sortal concept, however, then either a or b has to
fall under g without the other falling under g. But that has been excluded.
37
Is the Erscheinung a sort of internal accusative of ansehen, or the whole visual field of the seeing,
or the object seen? – and, if it is the last, why suppose there is one and only one such object?
The absoluteness of sameness
having constant reference, even though the stuff (wood) that makes up
the this both makes up a copse and makes up five trees.38 What interests
Frege is that, according to which of these choices we make, we either
arrive at a concept with the number one or arrive at a concept with the
number five. What interests me, however, is that, if we are concerned
with the reference of ‘this’ or of any other designation whatever – con-
cerned that is about what object it designates – then we have to take care
to discover whether the ‘this’ stands for a copse or for a class whose
members are certain trees or an aggregate of certain trees. These are not
the same thing.
38
See Wiggins (). When Socrates claims in the Parmenides that he is one man and many parts,
right and left parts, back and front parts, upper and lower parts, all different (enumerated at e,
cf. Philebus d), Plato seems to say that Socrates himself partakes both of one and of many. Of
course Frege could not say such a thing. And, if we credit Frege with following through consis-
tently the idea that ‘to use the symbol a to signify an object, we must have a criterion for decid-
ing in all cases whether b is the same as a’ (§), then we ought to deny that he is in any way
suggesting at § that the ‘dies’ has constant reference to objects. His sole interest is in the shift
of concept. (‘Neither any individual object’ is intended to dismiss the whole question of objects.)
The absoluteness of sameness
consider an arbitrary individuative sort or kind h. Either x falls under h
or it doesn’t. If x does not belong to h, then by the principle T→ (F→
p), we have
x⫽y
→ (h(x) → ⫽ ).
x y
g h
On the other hand, if x does belong to h, then we have
x⫽y
& h(x).
g
Law and ⫽ , the object y has this predicate too. So again we have
x y
g
x⫽y
→ (h(x) → ⫽ ).
x y
g h
Restoring quantifiers, we then have the following conclusion, entailing
the denial of R:
Upon those who step into the same rivers different and again differ-
ent waters flow. The waters scatter and gather, come together and
flow away, approach and depart.
(Heraclitus, Diels fragments , , text and translation after Kirk, Cosmic
Fragments, Cambridge, , pp. –.)
. D ‘ ’
If identity were sortal-relative and sortal-relative just by reason of the
holding of R or the Relativity of Identity, then that would help to
support the Sortal Dependency of Individuation or D, as that was given
in the Preface and the first pages of Chapter One. For D is a thesis that
some champions of R have wanted to see as a kind of obverse of R. The
obverse they look for says that, on pain of indefiniteness, every identity
statement stands in radical need of an answer to the question same what?
But R is false, we have decided. It can lend no support to anything, least
Outline of a theory of individuation
of all to the claim that there is some semantical indeterminacy in the
plain ‘a is b’ locution. (See Preamble, § ad fin.) Let us forget about this
obverse.
When D is clearly dissociated from R, that which remains is this:
D: a⫽ b if and only if there exists a sortal concept f such that
() a and b fall under f;
() to say that x falls under f or that x is an f is to say what x is (in the
sense Aristotle isolated);
() a is the same f as b, that is coincides with b under f in the manner of
coincidence required for members of f, hence congruently . . . [See
below §, paragraph .] [For ‘concept’, see Preamble §. See also
Preamble, § ad fin.]
Why dwell so particularly upon D if the three-place predicable ‘x is the
same f as y’ is going to be Leibnizian? Why is this attenuated version of
D worth recovering from the wreckage of R? It is worth recovering
because it registers the way in which, wherever there is a point at issue
in matters of identity, this depends in a systematic way upon what a and
b are. D unfolds and articulates the collateral and coeval ideas by the pos-
session of which we deploy the ideas of entity, identity and substance
upon that which confronts us in experience.
The import and importance of D may be brought out by considering
the position of a philosopher who proposes to dispense altogether with
it. So far as this philosopher is concerned, the point at issue in questions
of a and b’s identity or difference is indeed dependent on what a is and
b is, but only to an unremarkable extent. If a and b are to count as the
same, then a and b will have to agree in respect of all properties and rela-
tions, sortal properties themselves being among these properties.
Suppose I ask: Is a, the man sitting on the left at the back of the res-
taurant, the same person as b, the boy who won the drawing prize at the
school I was still a pupil at early in the year ? To answer this sort of
question is surprisingly straightforward in practice, however intricate a
business it would be to spell out the full justification of the method we
employ. Roughly, though, what organizes our actual method is the idea
of a particular kind of continuous path in space and time the man would
have had to have followed in order to end up here in the restaurant; and
the extraordinary unlikelihood (if the man himself were questioned and
these dispositions investigated) of certain sorts of memory-dispositions
existing in anyone or anything that had not pursued that path. Once we
have dispelled any doubt whether there is a path in space and time along
which that schoolboy might have been traced and we have concluded
Outline of a theory of individuation
that the human being who was that schoolboy coincides with the
person/human being at the back of the restaurant, this identity is
settled. And then we can say that, no matter what property is and no
matter whether the question of either entity’s instantiating figured in
our inquiry into the spatio-temporal paths of a and b, a has if and only
if b has . The continuity or coincidence in question here is that which
is brought into consideration by what it is to be a human being.
I am not urging here that our actual method, focused upon the ques-
tion of this particular path of a human being, gives us a risky but prac-
tically indispensable short cut to establishing each of the indefinitely
many instances of the schema a ↔ b. Nor am I urging that it happens
there is no other way of establishing each instance (though that must be
a capital consideration). The contention is rather that to determine cor-
rectly the answer to our continuity question, the question about the
traceability of things through their life-histories, precisely is to settle it
that, no matter what property is, a has if and only if b has . I am
also urging (as the epistemological reflection of a criteriological point)
that it is impossible even in theory to conceive of some way independent of
the prior discovery that a⫽b by which to establish that a and b have all
and only the same properties. For suppose one were to renounce all elu-
cidations of identity other than one given in terms of a’s and b’s com-
plete community of properties. Then how would one think about the
non-permanent properties enjoyed by an individual a identified with
respect to the past and the properties enjoyed by an individual b iden-
tified with respect to the present? One is only justified in pooling the non-
permanent properties of a and b if there is some other basis for the
identity of a and b than their having all their properties in common.
Finally, I would urge that, wherever the sortal concept under which a and
b coincide is the sortal concept for a kind of continuant and one can ask
‘what is it for an f to persist?’, it is the idea of a sequential history of a
thing’s doings and undergoings that comes into consideration. Without
this idea or the willingness to explore analogous points about items that
are not continuants, little sense will be made of very much that we actu-
ally do with the concept of identity. As Leibniz puts the point that I too
have wanted to insist upon, ‘By itself continuity no more constitutes sub-
stance than does multitude or number . . . Something is necessary to be
numbered, repeated and continued’ (Gerhardt , ). Indisputable to
our deployment of the ideas of entity, identity and substance is our
deployment of our countless ideas of their determinations.
Can some analogous point be made about entities that are not
Outline of a theory of individuation
substances or material continuants? Suppose that, in making a tally of
the fs, Edward first uses the vocable ‘one’ then two more vocables. His
tally of the fs he gives as ‘three’. Suppose Kallias, in making a tally of
the gs deploys the vocable ‘hen’ then uses two more vocables of which
the second is ‘tria’. Then on this basis alone, we can say that whatever is
true of Edward’s tally number is true of Kallias’s tally number. (Or so
anyone will say who subscribes to the idea that natural numbers are
objects.) No more is needed. In practice, we don’t start with x↔ y. We
reach x ↔ y from identity.
Someone might accept this much and still insist that no philosophical
analysis or explanation can ever be achieved along the lines I intend, or
without dismantling the question of identity. In the case of continuants,
he will seek to dismantle it into a question of relating to some finer-
grained continuity relation holding between thing-moments.1 ‘Unless
something of this sort is attempted, the only thing that is left for the phi-
losophy of individuation to attempt will be as pointless as it is circular.’
The charge is worth considering, first as directed against the elucida-
tions of particular identities for which D provides the recipe, then as
directed against D itself. In the longer term, though, another answer will
appear, namely the peculiar exigency that the method of elucidation will
discover in the conditions for significant true application in any particu-
lar area of the sentence-form ‘a is the same as b’.
11
For my view of attempts that have been made along these lines, see Chapter One, § and Chapter
Six, §. Against the claim that philosophy cannot dispense with such efforts, see Preamble, §.
Outline of a theory of individuation
The first charge might be that, if the author of the statement ‘a is b’
says in this way what each item is, then his amplification of the judg-
ment already involves the general idea of continuant-identity. Reply:
there is no harm at all in this provided two conditions are satisfied. First,
the notion of continuity that is invoked must not be the kind of conti-
nuity that we have affected to disbelieve in altogether. In so far as con-
tinuity is something general, the continuity in question must be the
determinable continuity of such and such sort-specific kind, of which man-coin-
cidence, donkey-coincidence, tree-coincidence can be the determinations.
Secondly, when the author of the statement ‘a is b’ says what the a is and
what the b is, he must be able to do this without prejudging the question
of the truth of the identity-claim. But this question can be left open. It
can be left open even if the answer is, if correct, then necessarily
correct.
The second alleged vacuity or circularity relates to the terms of D
itself. In order to trace a, one must find out what a is, or so I have said.
But what will count as knowing what a is in the Aristotelian sense? What
counts as a sortal concept for a continuant? Suppose the answer depends
in part on the idea of a principle of continuity for a. What then of the
determinable continuity (or coincidence) of such and such sort-specific kind? Has
the nature of this determinable been explained?
Here we are caught in a circle which would be vicious if we thought
we were bringing the concept of identity into being by means of other
ideas prior and better understood. The circle would be vicious if we
could not appeal to some extant a priori understanding of the identity
relation or we could not invoke a going practice which will effect the
sortal articulation of individual continuants as this f or that g or whatever.
Happily, though, we lack none of these things, unless we want to offer
up Leibniz’s Law to some numen of confusion. So, where the theoreti-
cal aim is only to enhance the understanding we already have of same-
ness, as this is ascribed or not ascribed within the class of continuants,
the doubt can be met. For D puts us in mind of that which Aristotle’s
isolation of the what is it? question also recalls to us, namely our practi-
cal mastery of the business of assigning things to kinds and our capac-
ity to get a grasp upon the nature of a thing. Compare Metaphysics
a 10–12. It is only by virtue of that capacity of ours that we can keep
track of a thing through change and distinguish between doing this cor-
rectly and making a mistake in doing it. As for ‘coincide’ (and its corre-
late ‘to be continuous with’), I hope that the meaning of this technical
term may be further secured by the following schema:
Outline of a theory of individuation
where f is what x is (in Aristotle’s sense), x coincides with y under sortal concept
f if and only if the way in which x is f-related to y suffices for whatever is true
of x to be true of y and whatever is true of y to be true of x.
12
At the same time providing for the concatenation of property variable and individual variables
to be understood as effecting predications. So, officially speaking, the Identity of Indiscernibles,
given in the maximally perspicuous form, says that x is identical with y if and only if, for all pure
properties , x has if and only if y has . For the question of which properties are pure, see
the ensuing paragraph.
Outline of a theory of individuation
Not everyone who has wanted to defend the Identity of Indiscernibles
has been prepared to follow Leibniz into his theories of relations,
space and time. But, unless one is prepared to follow argument where
argument leads and delimit the range of the property variable in
something approximating to Leibniz’s manner, the formulation ‘for all
, x ↔ y’ becomes a relatively trivial condition. Once predicables
involving ‘⫽’ or its congeners and its derivatives are included within
the range of the variable, the formula is neither an analytical explica-
tion nor even a serviceable elucidation of identity. For the formula
manifestly presupposes identity. It presupposes it in such a way that
any particular issue of identity will move round and round in a small
circle.
On the other hand, if one gives the principle of the Identity of
Indiscernibles the Leibnizian and more interesting interpretation, or if
(as I note that Leibniz probably did not) one envisages the principle
being used, not merely for the refutation of identity claims, but for their
positive or effective determination, then strange results follow.
Wittgenstein noted at Tractatus Logico-Philosophicus . that the Identity
of Indiscernibles rules out a possibility that involves no evident incoher-
ence at all, namely that of two objects’ having absolutely all their prop-
erties in common. Max Black and others have explored the difficulties
one will have in trying to deny the logical possibility of a universe con-
sisting only of two qualitatively indistinguishable spheres. (See Black
().) This matter will be resumed in Chapter Six, §.
. D
It will be inquired in the next Chapter how any predicate at all could
measure up to the responsibilities that go with the title of standing for a
substance-concept. But, in advance of Chapter Three, let us assess the
magnitude of the office that it now appears such a concept must dis-
charge and try to reckon up in some further principles, without any
regard to economy or completeness or independence of statements, the
duties that have already been laid upon it.
19
Note that ‘a exists at t’ is not on the theory we have advanced here an incomplete assertion. It
says (᭚f) (f is a substantial concept for a and a is in the extension at t of f). This is a complete
assertion, and it well reflects the apparent completeness of actual denials and assertions of tem-
poral existence. Someone bent on rejecting D(ii) might advance a theory to be sharply distin-
guished from mine. He might claim that ‘a exists’ is an incomplete assertion and propose a
doctrine of relative existence. By this theory of existence, the distinction we have drawn between
phased and substantial sortal concepts is simply misconceived. For by this new theory, whatever
concept f is, a thing may always cease to exist as an f but continue to exist as a g. About this pro-
posal I should remark that it may well be the only consistent option for someone bent on reject-
ing D(ii); but it would constitute a daring reconstruction of the principles of the continuant
ontology and of the whole way we at present think and speak. As I have said already, D(ii) was
intended to reflect the ontology implicit in our present way of thinking and of puzzling ourselves
about everyday identity questions. According to that, many things do definitely stop existing.
Outline of a theory of individuation
First, in summation of what has been said already, we have
D(iii): a is identical with b if and only if there is some concept f such
that () f is a substance-concept under which an object that belongs
to f can be singled out, traced and distinguished from other f enti-
ties and distinguished from other entities; () a coincides under f with
b; () ]coincides under f § stands for a congruence relation: i.e. all
pairs 〈x,y〉 that are members of the relation satisfy the Leibnizian
schema x if and only if y.
D(iv): f is a substance-concept only if the grasp of f determines (with
or without the help of further empirical information about the class
of fs) what can and cannot befall any x in the extension of f, and what
changes x tolerates without there ceasing to exist such a thing as x;
moreover f is only a substance-concept if the grasp of f determines
(with or without the help of further empirical information about the
class of fs) the relative importance or unimportance to the survival of
x of various classes of changes befalling specimens of f (e.g. how close
they may bring x to actual extinction).
Clause () of D(iii) answers to the requirement that community of prop-
erties should be not the basis but the consequence of the satisfaction of
an acceptable criterion of identity. It may seem either emptily unattain-
able – in the case where it is not allowed that anything at all could guar-
antee the satisfaction of the Leibnizian schema – or magic of some sort.
But it is not magic. D(iii) simply recapitulates the principle on which in
our actual practice, sustained as that is by the idea of the nature of an
object and (where applicable) its life-span, predicates are applied to a and
b or (as the case may be) withheld from a or b in respect of any instant
or period belonging to the life history of this (these) persisting continu-
ant(s). This is not to say, however, that it will always be possible to write
down an explicit f-involving condition that suffices for the identity of a
with b. The thing we can write down will only be some verbal expression
of the larger practical understanding enjoyed by one who can convert
his grasp of the concept of an f into some capacity to determine what
is at issue in any particular case where it is asked, with respect to an a or
a b which is an f, whether a is the same as b.
No doubt a sceptic may say that our practice has no business to be sus-
tained by such ideas as that of an object’s life-span or nature, etc.,
however filled out in particular cases. He will say that any practices
founded in them must be precarious in the extreme. But here, as usual,
our chief concern must be to describe from within and to sustain from
within the ideas that the sceptic attacks, and then to enumerate such
Outline of a theory of individuation
sources of support as they do have. It is not the purpose to render them
immune to all doubt or difficulty – still less to minimize the considerable
commitment that someone incurs when he says what something is. Such
commitment is indeed precarious, but no more precarious than anything
else that is worth the candle. It should be added that it will be rare for
any sortal concept that qualifies by D(iii) as a substance predicate (or as
determining a principle of tracing) to come up to the standards a posi-
tivist would propose for observationality or direct experiential confirmability.10
I do not think this prevents a predicate that qualifies by the standard set
by D, D(i), D(ii) and D(iii) from furnishing a principle of individuation
for members of its extension. Nor does it prevent D(iii) from determin-
ing and organizing any recognizably empirical tests that may be elab-
orated for whether a or b is an f thing, for whether a is the same f as b,
and for a or b’s continued existence.11
Connoisseurs of the literature of identity and individuation will have
noticed that little room has been left in these formulations of D princi-
ples to accommodate the distinction of which so much has sometimes
been made between synchronic principles of boundary drawing (some-
times called criteria of distinctness) and diachronic principles of reiden-
tification (criteria of ‘transtemporal’ identity). This is not an oversight.12
It is my contention that, as principles that purport to be of one or the
10
Across the full range of their received applications, not even ‘white’ or ‘flexible’ or ‘soluble’ do.
11
The same point, or almost the same point, can be seen from a completely different angle.
Consider the biologically informed description of the Protozoon Paramecium (Class Ciliata):
Paramecium reproduces by both asexual and sexual means . . . Sexual reproduction is by
means of a process called conjugation. In Paramecium not all individuals are alike: there are
two different classes which are known as mating types . . . Conjugation begins with a pairing
and then partial fusion of the anterior ends of two individuals of opposite types. The micro-
nucleus in each undergoes meiosis and then there is an interchange of nuclei between the
two individuals. In each individual a new micronucleus is formed by the fusion of one of its
own micronuclei with one from the other individual. This is essentially fertilization. The
macronuclei degenerate. ( J. A. Moore, Principles of Zoology (New York, ), p. .)
Contrast with the above the description that might be given by an observer who was attentive
but not biologically informed. Such a description would leave room for the possibility that the
individual paramecia a, b survive the process described. It is principles D(iii) and D(iv) that artic-
ulate the rationale for insisting, on the basis of Moore’s description, that they cannot survive it.
With D(iv), it should become finally clear why, in the sense of ‘coincide’ that I employ in order
to elucidate identity, a thing does not coincide with its matter. Coinciding is not simply being in
the same place at the same time. Just as there is no such thing as mere continuity so there is no
such thing as coinciding otherwise than under a concept. A house, for instance, does not coin-
cide with its bricks and mortar. For in ‘the house is bricks and mortar’ the is is constitutive. Here
we do not have identity. Cf. Chapter One, §.
12
See my symposium paper ‘The Individuation of Things and Places’, section , Proceedings of the
Aristotelian Society, Supplementary Volume (); see M. J. Woods’s reply, ibid.; see Woods ().
See also my reply to Harold Noonan in Lovibond and Williams ().
Outline of a theory of individuation
other sort are filled out in the direction of adequacy, the distinction dis-
appears. It is of course a severer test of someone’s grasp of the concept
of cat to ask him to determine whether this cat is the same cat as the cat
that licked the saucer clean on Monday of last week than it is to ask him
to count the cats in the parlour now at . pm, making sure that none
is counted twice. It does not follow, though, that the thing tested by the
first assignment can be seen as built up from the cat-lore needed to meet
the second assignment plus some altogether different kind of lore or
some different sort of grasp of what cats are.
In so far as the sense and semantics of substance words come into ques-
tion here, or our grasp of this sense, these things must wait for Chapter
Three, §§–, as must the justification and full explication of the D-
principle I shall place next:
D(v): f is a substance-concept only if f determines either a principle
of activity, a principle of functioning or a principle of operation for
members of its extension.
The Leibnizian echo of ‘activity’ is deliberate – as will emerge when the
activity of natural things is distinguished from the fulfilment of function that
is characteristic of organs and artefacts.13 In Chapter Three, where this
distinction will be made, a key role will be played by a principle that is a
direct consequence of D(iii):
D(vi): If f is a substance-concept for a, then coincidence under f is fully
determinate enough to exclude this situation: a is traced under f
and counts as coinciding under f with b, a is traced under f and
counts as coinciding under f with c, yet b does not coincide under f
with c.
Consider what happens when an amoeba divides exactly in half and
becomes two amoebas. We are committed by D(vi) and the other doc-
trines of this chapter to find that neither of the resultant amoebas
qualifies as coinciding under the concept amoeba with the original
amoeba. Chapter Three will show how the peculiar facts about a
natural kind, discovered a posteriori, could in any given case be enlisted
to support this ruling. But two things are immediately obvious. The
first is that, since not both amoebas can be identical with the original,
and since neither has a better claim than the other, no sensible theory
13
In advance of Chapter Three, however, let me commend Hacking (). The Leibnizian echo
made by ‘activity’ is deliberate but, outside the monadological framework, it does not have to
import anything very different from ‘way of being, acting and reacting’ – something a stone
might have.
Outline of a theory of individuation
will want to count either amoeba as identical with the original one.14
The second obvious point is that judgments of coincidence and iden-
tity must not be withheld ad hoc simply because transitivity is threat-
ened. There must be something that one who grasped the a posteriori
concept amoeba could see (not necessarily independently of general
knowledge of the kind) was lacking in any idea of amoeba-coinci-
dence that was ready or poised to count amoeba division as a way of
persisting for amoebas.
Let us not make the wrong denial here. The process of division is
of course the process by which Amoeba proteus, for example, is per-
petuated. Particular amoebas perpetuate it. But Amoeba proteus is
not a substance or a particular. It is something universal (a kind or a
clone of organisms or cells all produced asexually from one ancestor
or stock from which they are genetically indistinguishable). The
thought we were concerned with in relation to D(vi) concerned not
Amoeba proteus but the particulars that instantiate and perpetuate it.
So the second point that we were concerned with in the paragraph
preceding this may be beneficially expanded to run like this: if
amoebas (amoebas plural, the particulars) are to be objects of refer-
ence, then there must be something or other that one who understood
amoebas and grasped the a priori constraints upon the determinable
continuant-identity (is the same something or other as) could in practice
find to be independently wrong with the suppositions that generate
the contradiction that D(vi) proscribes. Moreover, there is something
wrong, as would be apparent to anyone who contrived to observe and
understand this general process of division.
One other thing deserves remark. Principles such as D(vi) not only
enforce our formal understanding of the identity relation. As we see
from the work that they do here, they bear witness to our grasp of the
distinction between particular and universal.
14
Contrast Prior, ‘Time, Existence and Identity’, P.A.S., (–). The view I have put in the
text conforms with the only thorough attempt that is known to me to work out a logic of divi-
sion and fusion, namely that of Woodger (), p. . One amoeba becomes two amoebas. But
here, in a manner that will remind the reader of a thesis frequently defended in Chapter One,
the verb ‘becomes’ receives an analysis making it correspond to the ordinary ‘becomes’ in the
same way in which constitutive ‘is’ corresponds to the ordinary ‘is’ of predication and identity.
The matter of the original amoeba – the ‘it’ – is the fusion, or the matter, of the two new ones
taken together. There is matter such that first a was constituted of it, and then b and c were con-
stituted of it.
Further light is shed on the amoeba question by the ‘Only a and b’ rule of Chapter Three, §.
We shall call this D(x), a principle that will come into its own in Chapter Seven.
Outline of a theory of individuation
. ;
From the falsity of R we have
D(vii): there are no essentially disjunctive substance-concepts (f or g)
coincidence under which might allow a to be the same (f or g) as b
and allow a to be the same (f or g) as some c that was distinct under
every covering concept from b.
Some disjunctive sortal predicates are innocuous in this regard, e.g.
when one disjunct f is subordinate to a higher sortal. (For example,
animal or mouse is innocuous. a cannot be the same mouse as b and a differ-
ent animal from b. The sortal predicate reduces here to animal.)
Disjunctive sortal predicates will be innocuous when the corresponding
conjunctive sortal is a satisfiable concept (e.g. animal and mouse, which
reduces in the opposite direction to mouse). But for that case disjunctive
sortals seem to be as superfluous as they are innocuous.15 The argument
for D(vii) is not, of course, an argument against the essentially disjunc-
tive (f or g) being a concept. It is an argument against its being a sortal
concept.
D(viii): If f is a substance-concept for a then, however indefinitely
and unforeseeably the chain of a’s f coincidents a, a’, a’, a’’’ . . .
extends, whatever is truly or falsely applicable to one member of the
chain must be truly or falsely applicable to every member of the chain
whatever. But then all fs must belong to one category.
This follows a fortiori from Leibniz’s Law, and is trivial. But it is worth
deducing for the sake of the things it brings out against certain allegedly
possible metamorphoses, for instance that of Proteus into fire at Homer,
Odyssey , –. These difficulties will present themselves again in
Chapter Three.
I now come to the doubt. It would be all of a piece with the speculative
tradition to which these speculations belong to add
D(ix?): f is a sortal concept only if it furnishes the materials for the
question, and for the determination of a definite and finite answer to
the question: ‘How many fs are there in region r at time t?’
This is more or less the claim C of the first section of Chapter One.
Many or most of the concepts that it is the aim of this and the next
15
It is sometimes objected that we must have disjunctive sortals for certain kinds of counting oper-
ation. But ‘There are women or shadows here’ means ‘The number of women plus the number
of shadows⫽ ’. We do not need disjunctive sortal concepts to find our way here.
Outline of a theory of individuation
chapter to characterize do satisfy this principle. For all I know, everything
traditionally accounted a concept of material substances satisfies it. But
it is one thing to be able to say how many fs there are in some particu-
lar context and another thing to provide the conceptual prerequisite for
the thing that D(ix) seems to require: namely a general method of enu-
merating fs. Subject to any doubts that Hobbes’s puzzle of Theseus’ ship
may arouse concerning artefact kinds (see Chapter Three, §), the
concept crown gives a satisfactory way of answering identity-questions
for crowns. But there is no universally applicable definite way of count-
ing crowns.16 The Pope’s crown is made of crowns. There is no definite
answer, when the Pope is wearing his crown, to the question ‘how many
crowns does he have on his head?’ Something similar will apply in the
other cases of homeomery.
Given that someone knows how to count and can also be relied upon
to count correctly in some particular situation, then to see if they give
the right answer there to the question ‘how many fs?’ shows whether they
can pick out fs and isolate them correctly from their background and
from one another. That is what carries C of Chapter One, § and the
putative principle D(ix) so close to the truth. But the objection to taking
these general principles as necessary for a concept’s being individuative
is that someone might be able to tell reliably whether this arbitrary
f-thing was the same or not the same as some independently identified
f-thing, even though there were far too many different ways of articulat-
ing f-things for there to be any definite answer to the question how many
fs there were to be found in this or that given place. To ask for the latter
as well is to ask for more than is needed to ensure that f is a sortal
concept.
Frege wrote in Foundations of Arithmetic, §, ‘only a concept which (a)
delimits what falls under it in a definite way [der das unter ihn Fallende
bestimmt abgrenzt], and (b) which does not permit any arbitrary division of it
into parts [und kein beliebige Zertheilung gestattet] can be a unit relative
to a finite number’. His condition (a) could be naturally developed to
16
Cf. wave, volume of fluid, worm, garden, crystal, piece of string, word-token, machine. This is a rag-bag.
These are all kinds of individual decomposable into matter, though there is a good sense of ‘sub-
stance’ in which not all are kinds of substance. So far as concerns any general doubt or the
general logic of identity and individuation, it must be worth taking note of homeomerous items
in other categories, such as colours and their shades, quantities, wanderings, wonderings, read-
ings, insults.
With the exception of this minor disagreement about countability taken as a necessary condi-
tion of a concept’s being a sortal concept, there is here no disagreement with Strawson’s account
of these matters in Individuals, or with the written and oral tradition concerning these predicates.
The intention has not been to cut loose of that tradition, but to correct and enlarge it.
Outline of a theory of individuation
cover precisely that which we have intended by our conditions upon
being a sortal concept. But there is no reason to think that the second
condition, italicized here, is for Frege’s special purpose otiose. His par-
ticular interest in this passage concerns counting, and the second condi-
tion, condition (b), seems to represent a precise further requirement that
has to be satisfied for there to be a universally applicable distinction
between right and wrong answers to the special question ‘how many?’
Like D(ix), this requirement goes appreciably beyond any requirements
it would be sensible to place upon the generality of sortal concepts that
are enjoined upon us by our concerns with the what is it? question.
D(ix) fails. But D(ix) is not the last candidate to consider. Chapter
Three, §, will introduce another, namely D(x), the Only a and b rule. In
due course, anyone who follows through the rationale for articulating
such principles will surely want to frame others.
The barley drink disintegrates and loses its nature unless it is con-
stantly stirred.
(Heraclitus, Diels fragment .)
That which is a whole and has a certain shape and form is one in a
still higher degree; and especially if a thing is of this sort by nature,
and not by force like things which are unified by glue or nails or by
being tied together, i.e. if it has in itself the cause of its continuity.
(Aristotle, Metaphysics a22–5, as translated by W. D. Ross.)
If we say ‘The North Sea is , square miles in extent’ . . . we assert something quite objec-
tive, which is independent of our ideas and everything of the sort. If we should happen to
wish, on another occasion, to draw the boundaries of the North Sea differently . . . that would
not make false the same content that was previously true. (Cf. Dummett (), p. .)
20
I am indebted to my colleague Naci Mehmet for persuading me to take this approach more seri-
ously than once I did and helping me to understand it better. He will wish me to enter the normal
disclaimers on his behalf.
Sortal concepts
working ship is no more, the reconstituted ship is Theseus’ ship; (iii) that,
where a ship is reconstituted from discarded planks but the working ship
is not destroyed and continues working, the working ship is Theseus’ ship
and persists into an open future. (These decisions reflect the perceived
strengths of considerations that are meant to count, however defeasibly,
in favour of an identity.)
In the application to our case, the best candidate proposal, so given,
perpetuates some questionable preferences, especially concerning the
working ship. (Does it really not matter, as in (i), provided that the
working ship continues and is the sole candidate, what changes the can-
didate undergoes? Could Theseus’ ship continue in the shape of a Dutch
barge or a Chinese junk?) But the proposal might easily be hedged or
qualified. Nor is it necessary to take exception to the fact that the best
candidate theorist’s method is dialectical or (in the correct and non-
condemnatory sense) casuistic. The chief objection is rather that this
approach proves inappropriate, as so far characterized, to questions of
identity. The most general form of the objection is this. In notionally pur-
suing object a in order to ascertain its coincidence or non-coincidence with b, or in
retracing the past history of b to ascertain its identity link with a, I ought not to need
to concern myself with things that are other than a or other than b. This is not to
deny that singling a out or singling b out may involve contrasting a or b
with a background of other things. But the identity of a with a, of b with
b, and of a with b, once we are clear which things a and b are, ought to
be a matter strictly between a and b themselves. Let us call this D(x) or
the Only a and b rule and adjoin it to the other D principles of Chapter
Two.21 In its official form – see the sentence italicized above, as glossed
by the two succeeding sentences – this is not a principle that is stated in
the object language. Contrast D, D(i), D(ii), D(iii). It is akin to D(iv) or
D(v). It is a dialectical rule for the adjudication of persistence and coin-
cidence claims founded in the nature of the identity relation.
Consider the cases (ii) and (iii) mentioned in the last paragraph but
one. Here it is supposed that the reconstituted ship claims identity with
Theseus’ ship; and whether this title is accorded to it or not depends at
least in part on the presence or absence of the working ship. Does that
contravene the Only a and b rule proposed in the previous paragraph? It
21
Compare Bernard Williams (), a discussion antedating in the philosophical literature of
identity the rediscovery of Miss Barcan’s proof (), of the necessity of identity. See also his
(), pp. –. At Philosophical Explanations (Oxford, ), pp. –, Robert Nozick animad-
verts sceptically upon this insight of Williams’s. But I do not think he measures up to its full
logico-metaphysical rationale.
Sortal concepts
appears that it does. In the present version, the best candidate theory
sees the reconstituted ship as a weaker claimant than the working ship.22
If so, then the working ship candidate and the reconstruction candidate
must be distinct. But then (as remarked) the reconstruction’s identity
with Theseus’ ship, wherever it is identical, seems to depend on a third
thing.
I should expect that, at this point, someone will ask why one should
not simply reword the fourth view. Why not say that, where the claim
of the reconstituted ship is good, namely in case (ii), this ship, precisely
by reassembling Theseus’ ship, ipso facto reconstructs a ship that was at
one point a working ship, was constantly repaired, then broke up
(though some of its parts were recovered)? That suggestion, it will be
said, has the effect of preserving the Only a and b rule. And I agree that
it does. But to preserve the rule in this way effectively dispenses alto-
gether with the best candidate formulation. (See below, the fifth view.)
The reconstructed ship is Theseus’ ship, if that can be made out, not
because it is the best candidate for the role but because it is in this
reconstruction from the original materials that the effort to track
Theseus’ ship from its beginning onwards finds Theseus’ very ship.
One finds the ship that is Theseus’ ship and thereby one finds a ship
that was reconstituted by restoring to Theseus’ ship, after accidents
that befell it at some intermediate moment, original planks and mate-
rials.
Someone who was as sure as Hobbes was that working ship and
reconstituted ship could coexist might try to salvage the rivality that the
best candidate view assumes by asking us to consider the reassembled
ship ‘on its own’ – or as it might have been if it had been put together
before the breaking up of the working ship. But that only starts more
trouble. Do we want to say of this reconstruction that it is premature but,
if only it had appeared later, it would have been identical with Theseus’
ship? Or do we want to say that at the break-up of the working ship, the
prematurely reassembled ship becomes identical with Theseus’ ship? (Can
literal sense be made of being not identical at one moment and then
22
For that which is surprising in the very idea of weaker and stronger claimants, compare Arnauld,
letter of May to Leibniz:
I can as little conceive of different varieties of myself and a circle whose diameters are not
all of equal length. The reason is that these different varieties of myself would all be distinct
from one another, otherwise there would not be many of them. Thus one of these varieties
of myself would necessarily not be me: which is manifestly a contradiction. (Gerhardt , ,
translated by H. T. Mason.)
Sortal concepts
becoming identical?23) Neither of these suggestions is at all promising.
Let us remember that the title in question is not the title to the sobriquet
‘Theseus’ ship’. It is the title to identity with Theseus’ ship, a particular
ship originating from the eighth century BC.
Similar troubles arise for the best candidate view where the finding is
that we have case (iii), namely the working ship’s defeating the candidate
by reconstitution. The best candidate theorist says that the working ship
is Theseus’ ship by virtue of its being a stronger candidate than the
reconstructed ship. That infringes the Only a and b rule. Of course, we
can respect the rule better if we can find some other basis on which to
say that the working ship is indeed Theseus’ ship. But here we must
remember that this other basis might have nothing to do with the rela-
tive ‘strength’ or ‘weakness’ of the claims of reconstituted ships against
working ships. One might say instead that, in tracking Theseus’ ship
through its journeys and various repairs, one comes upon the working
ship, not a reconstruction from original materials. The idea of candi-
dacy and strength of candidacy could, of course, be restored to the scene
by someone’s pointing insistently to the reconstructed ship, and describ-
ing its claims as not quite good enough, etc. But once that line is pre-
ferred, there is further trouble. We are laid open to the thought that this
reconstructed ship, now lying in Piraeus, this very ship – if only the
working ship, which is the so-called ‘better candidate’, were not still
extant and plying once yearly to Delos – would have been Theseus’ ship.
Someone might perhaps say that. But the idea that on these terms,
namely the simple absence of the stronger contender, the ship now
deemed the worse candidate would have been Theseus’ ship itself seems
23
I will give an argument that literal sense ought not to be made. Suppose that we can make sense
of a and b’s being identical at time t, or
a⫽b
f, t
Suppose then that it is true that
a⫽b
f, t
and suppose that, in addition to existing at t, a will also exist at t´. Then so will b exist at t´. For
a is at t the same f as b is. So
a⫽b
f, t⬘
Indeed, anything that can be truly said at t about a can be truly said about b too, whether the
thing said be past, present or future. Either that or we don’t know what it is for a and b to be iden-
tical at t. How then can temporal identity require anything less than full Leibnizian congruence.
Generalizing then, we have for any f,
᭚t冢 冣
a⫽b
f, t
→ ᭙t⬘ 冢 a⫽a a⫽b
f, t⬘
→ 冣
f, t⬘
.
Sortal concepts
to be absurd. There is a temptation to add as a separate modal step:
nothing might have been a different entity from the entity it actually is.
(Compare Chapter Four, §.) But it is the utter oddity of such a claim
about the weaker candidate that discovers to us the real intuitive grounds
for doubting that anything might have been a numerically different
entity from the one it actually is. The absurdity of the idea confounds
the understanding of ‘⫽’ that is implicit in everything we think and say
about identity. If the issue is one of what founds what, then the impos-
sibility of conceiving of an entity’s not being identical with that with
which it is in fact identical seems to be the real foundation for the modal
claim, rather than the other way about.
A simple conclusion suggests itself – that the best candidate theory,
lacking obvious means to talk sensibly or intelligibly about plural candi-
dates for identity, must cede place to a theory that identifies, for a given
circumstance and a given question of identity, the best way to think of a
thing and the best way to track the thing. Preferably this will be a theory
that excludes, by its operation and application, the very possibility of dis-
tinct rivals for identity with Theseus’ ship. Such a theory will surely reg-
ulate the dialectic of same and different by the Only a and b rule. An
adherent of this fifth view will say that D(x) could only be abandoned on
pain of forswearing any claim to the effect that the dialectic just spoken
is a dialectic of real sameness and difference.24
The search for the fifth view already promised and hinted at may use-
fully take off from a simple reflection: the problem with which Theseus’
ship confronts us is that of conjoining the ordinary commonsensically
strict notion of identity with the commonsensically loose requirements
that we place upon artefact persistence. Even if we are to relax cau-
tiously the demands we have been placing on artefact identity or we are
to recognize the tolerance that so many of our conceptual practices
require and in real life rarely abuse, we can scarcely grant ordinary arte-
fact concepts or the things that satisfy them an indefinite tolerance of
disassembly, repair, discontinuance of function, and part replacement.
Unless we grasp this nettle, and are prepared for some degree of reform,
either of concepts or of the philosophical account we give ourselves of
our concepts, we shall not disarm Hobbes’s ship paradox. Will this mean
that we are faced here with a stark choice between abandoning the laws
24
This is not of course to deny that a third thing may be evidentially relevant (as in detective rea-
soning) to the question whether a⫽ b. For further discussion of D(x) see Harold Noonan,
‘Wiggins, Artefact Identity and Best Candidate Theories’ and ‘The only X and Y Principle’, both
in Analysis, (). But see also Nathan Salmon (), pp. –.
Sortal concepts
of identity and abandoning – in the spirit of the maxim no entity without
identity – the received ontology and ideology of artefacts? That fearful
outcome is to some extent anticipated in the high metaphysical tradition
of substance that seeks, for related reasons, to demote artefacts from the
status of genuine entities.25 But in truth, the data before us suggest a
much less exciting conclusion.
Suppose that we forget analogies with living substances and, running
to the opposite extreme, we remake our conception of artefact persis-
tence on the model of the identity-condition for quantities that has been
proposed by Helen Morris Cartwright.26 The condition she proposes
does not exclude change, but it excludes all addition or subtraction of
matter whatever. As remodelled and adapted to the formulation of a
persistence condition for artefacts, this condition would need to be made
more demanding in one way, in order for it to require some however ves-
tigial continuance of the thing’s capacity to subserve the roles or ends
the artefact was designed (as that very artefact) to subserve. (Cf. D(v).)
On the other hand, the ‘no subtraction’ condition could be relaxed
somewhat without our confronting the risk that condition D(vi) will be
breached. Even on these revised terms, the possibility can still be
excluded of competition à la Hobbes between different candidates for
identity with Theseus’ ship. Some of an artefact’s matter may perhaps
be exchanged with matter from its surroundings, provided that all
replacement of material parts is referred back to the first state of the fin-
ished artefact, and provided only, if the reader will forgive the comical
precision of this first attempt, the artefact retains more than half of that
original matter (or provided that it retains, where such is definable, the
material of some individuatively paramount nucleus). Under this condi-
tion there will never be more than one claimant to the title of ship of
Theseus. Under this condition, it can remain determinate whether the
ship of Theseus itself has been traced effectively through time. (For the
requirement of determinacy, see Chapter Six, §, thesis (iv).) Finally, by
reference to some strict condition like the one we began with or some
25
Aristotle maintained that natural things are the real beings par excellence to which everything
else is secondary. Leibniz maintained that the title of real unity must be reserved to ‘animate
bodies endowed with primitive entelechies’. Cf. Leibniz, Nouveaux Essais, ..: ‘It is true that
there appear to be species which are not really unum per se (i.e. bodies endowed with a genuine
unity or with an indivisible being which makes up their whole active principle), any more than
a mill or a watch could be . . .’: ... ‘In a word, perfect unity should be reserved for animate
bodies, or bodies endowed with primary entelechies; for such entelechies bear some analogy to
souls and are as indivisible and imperishable as souls are.’ Cf. also .., on which see R. Coburn
(). For further discussion, see my (), p. .
26
See Helen Morris Cartwright (), pp. –.
Sortal concepts
modification of that, it becomes possible to see our linguistic practices
as underhung by a sort of safety net that justifies the confidence we feel
in our capacity for controlled opportunism. The lesson we find ourselves
learning from Hobbes is one that we can see to be reasonable in itself,
namely that the ‘unity of form’ conception of individuation needs to be
carefully constrained in its application to things that evolve in a way that
is not nomologically controlled and that submit to repair by replacement
of parts. The question of their persistence needs to be stringently regu-
lated by considerations relating to change of matter. (This is not,
however, an essentialist claim. It relates only to the limitations upon
change. See below Chapter Four, §. Nor yet is it surprising.27 See
Chapter Six, §.)
I do not want to claim too much for the fifth approach. It is doubtful
whether any admissible relaxation of the strict condition we began from
can be guaranteed to account for each and every judgment of artefact
identity by which we are rationally tempted. But in respect of the more
audacious judgments of artefact identity, where the concept will exceed
its strength and take us too far from the original function or material con-
stitution of the artefact, the time has come to point out that it is not at
all obvious that the judgments in question always do demand to be read
literally as statements of identity. When someone gives his watch to the
watchmaker to clean and repair, the thing he wants back may, on a very
sober and literal minded construal, be either that very watch (by the
unproblematic criterion) or else a watch with a certain obvious relation
to his (a watch of the same kind, in better working order, enjoying con-
siderable community of parts, etc.). If he wants more than that, if he
thinks of his watch as an antiquarian or historical relic from a better age
or as a work from the hand of a great artist, then he should take more
precautions than we normally do take. He should care about its original
constitution. The truth is though that, for some practical purposes, we
simply do not mind very much about the difference between artefact sur-
vival and artefact replacement. (A negligence that in no way undermines
the real distinction between these.)
So much for how matters seem to stand with the normal artefacts
which, in everyday life and outside the museum, we freely permit to
27
It is not surprising in itself. But one or two of its consequences may surprise (in advance at least
of legitimate qualification). Where the repairs to a working ship are reaching their constitutive
limit, you will not always be able to tell by one careful look whether the ship in front of you is the
same as the ship you saw yesterday. There is moreover one conceivable circumstance where car-
rying a plank from one place to another and joining it to a reconstruction that is in progress from
discarded original planks will count as shifting Theseus’ ship itself from one place to the other.
Sortal concepts
be repaired, altered and (without our realizing it very well) replaced.
But could there not be artefact concepts that were less permissive in
their definition (as required by D(iv) and D(v)), were more like natural
kind terms in the specificity of what they required of their instances,
and did not raise the problems that are raised by artefacts that are
subject to disassembly, part-replacement and discontinuance of func-
tion? The answer to this question is that there surely could be. True, I
have not been able to find any normal artefact concepts which require
of their exemplifications anything remotely analogous to unremitting
obedience to some specialized principle of activity that conditions the
sense of the artefactual substantive itself. There is, however, one very
special kind of artefact whose survival-requirement is extremely
detailed and specific. This is the work of art. We shall postpone the
special features of this and cognate concepts until the last section of
Chapter Four, where we shall maintain that the conceptual need
which a natural law will supply for the identity of a natural thing but
not for an ordinary artefact kind, the artist’s conception of his activity
and its eventual product can supply for the work of art. But works of
art and their like are in a special class of their own among artefacts,
and most especially perhaps for purposes of the theory of individua-
tion.
Rather than explore this or other analogies with the principle of activ-
ity of a natural substance (e.g. the analogy furnished by such social arte-
facts as an administration, or a governing body recruited and replenished by
a formal procedure) or seek to extend further the discussions begun in
this chapter, 28 it is time to provide an outline of what is supposed to have
been achieved in the first three chapters.
Individuative essentialism
17
See W. V. Quine, ‘Three Grades of Modal Involvement’, Proceedings of the XIth International Congress
of Philosophy. Brussels , Vol. (Amsterdam: North Holland Publishing Co., ) reprinted
in Ways of Paradox (see footnote ), p. . See also ‘Reference and Modality’ in Quine (), st
edn (this essay was rewritten for the edition).
18
Compare Ian Hacking () for an analysis which is amenable to the same semantical treatment
and delivers the same results as the present chapter seeks to establish.
The truth predicate is defined for a language containing this ‘necessarily’ in my ‘The De Re
“Must”: A Note on the Logical Form of Essentialist Claims’, and for a richer language containing
it by C. A. B. Peacocke in ‘Appendix to David Wiggins’ ‘The De Re “Must”’’, both in Truth and
Meaning: Essays in Semantics, ed. Gareth Evans and John McDowell (Oxford, ). See also my ().
For the idea of treating ‘necessarily’ as a modifier of predicates, or (which is not quite the
same) of the copula, see ‘The Identity of Propositions’, in Geach (), p. ; R. Cartwright,
‘Some Remarks on Essentialism’, Journal of Philosophy, (); Wiggins (), p. ; R.
Stalnaker and R. Thomason, ‘Abstraction in First Order Modal Logic’, Theoria, (); G. E.
Hughes and M. J. Cresswell, An Introduction to Modal Logic (London, ), note ; John Woods
‘Essentialism, Self-Identity and Quantifying In’, in Identity and Individuation, ed. Milton K. Munitz
(New York, ); Wiggins (). See also Christopher Kirwan, ‘How Strong are the Objections
to Essence?’, Proceedings of the Aristotelian Society, (–); Tyler Burge, ‘Belief De Re’, Journal of
Philosophy (). For the historic sources of this view of the matter, see for instance Aristotle, Prior
Analytics a15–23, De Interpretatione Ib26ff; De Sophisticis Elenchis a23–3a.
19
See also pp. – of Wiggins ().
10
The decision to signal these occurrences specially by this particular notation begins without prej-
udice either for or against the appropriateness of ⵧ and 䉫 to this role. The decision leaves it
open whether the pairs NEC and ⵧ and POSS and 䉫 will prove to be related as an ordinary truth-
definition for open and closed sentences involving the logical constants relates (say) predicate-
negation and sentence-negation.
Individuative essentialism
to which NEC and POSS are to apply we take any open sentence, say ‘x is
a man’ or ‘if x is a man then x has the property G’ or ‘x is identical with
y’, and bind the free variable or free variables in the open sentence with
an abstraction operator . Thus: (x)[Man x] or (x)[Man x →Gx] or
(x)(y) [x⫽y]. These abstracts may be read ‘the property that any x has
just if x is a man’, ‘the property that any x has just if, if x is a man, then
x has property G’, ‘the relation in which any x and y stand just if x is y’
respectively.
We may now express the judgment that an entity or a sequence of
entities 〈. . .〉 falls in the extension of some property or relation so desig-
nated as follows:
Caesar has (x) [Man x]
Everything has the property (x) [M(x) →G(x)]
〈the evening star, the morning star〉 have (x) (y) [x⫽y],
or, more handily and conventionally, we may exercise the option to
employ a simple juxtaposition of the -term and a subject term, to be
marked by angle brackets, thus:
(x) [Man x], 〈Caesar〉
(᭙z) ((x) [M(x)→G(x)], 〈z〉)
(x) (y) [x⫽y], 〈the evening star, the morning star〉.
So far these are mere -equivalents of simpler sentences. But putting
or to work on these abstracts, and leaving the subject term
incontrovertibly outside the scope of the modality, we have
[ (x) [Mx]], 〈Caesar〉
(᭙z) ([ (x) [M(x)→G(x)]], 〈z〉)
[ (x) (y) [x⫽y]], 〈the evening star, the morning star〉.
The last says that the evening star and the morning star necessarily have
the relation that any x and y have if and only if they are identical. It is a
second level sentence introduced by means of -abstraction. More col-
loquially and idiomatically, it says that it is necessary for the evening star
and morning star to be identical. Informally, there is much use of such
versions in this book. Indeed I would emphasize that the modal enrich-
ment of the first order logical framework by modality and second level
notions is explained in the English vernacular. Once the second level
framework is in place, however, the official explication runs in the lan-
guage of properties and the having of properties – and predicate letters
take on the official role of variables. In this way things are managed in
such a way that the de re ‘necessarily’ starts life with credentials no worse
Individuative essentialism
than those of Quine’s relational senses of saying and believing (already
referred to in (E) above). Just as Ralph believes of the man in the brown
hat (or of the man seen at the beach; it makes no difference, for they are
identical) that he has the property or attribute x (x is a spy), or just as
the man in the brown hat (alias the man at the beach) is universally
believed to have the attribute spyhood – so, in this prima facie innocuous
sense of ‘necessarily’, Caesar (or the conqueror of Gaul, or the consul
of , it makes no difference how you refer to him and it makes no
difference what philosophical account is given of definite descriptions)
is necessarily such that he has the attribute man. Following the parallel,
we can say that the relational ‘[NEC (x) [Mx]], 〈Caesar〉’ stands to
notional ‘ⵧ (Man (Caesar))’ as the relational ‘Of Caesar is universally
believed (x) [Man x]’ (⬇ ‘It is universally believed of Caesar that he is
a man’) stands to the notional ‘It is universally believed that (Man
(Caesar))’. Compare (E) above.
At the point where the -abstraction operator first appears, let one
example and five equivalents illustrate the two-way rule under which it
operates:
(a) Caesar is a man
(b) Caesar has the property of being a man
(a⬘) Man (Caesar)
(b⬘) (x) (Man x), <Caesar>
(c) the value for the argument Caesar of the function from objects to truth-
values (x) (Man x) is the truth-value true.
English permits the two-way transition between (a) and (b). The -
abstraction rule permits a similar two-way transition between (a⬘) and (b⬘).
11
See Barcan (), Wiggins (). For an exemplary restatement of the Barcan proof, with a rea-
soned review of all the formal and philosophical issues, see Williamson ().
12
This holds of both the deduction and the truth definition required for that minimal fragment of
first order logic which adjoins to abstracts of the form [x y (x⫽ y)] in the object language.
In the metalanguage the additional requirement is to adjoin to abstracts of the form
[x y (x satisfies y)]
Individuative essentialism
to be true and necessarily true statement coincided perfectly in their exten-
sions, Miss Barcan’s theorem could still stand in our version. For the
conclusion is not put forward here as a necessarily true statement. (On
this we remain mute.) It is put forward as a true statement of de re neces-
sity. The thing that the proof comes down to is simply this: Hesperus
is necessarily Hesperus, so, if Phosphorus is Hesperus, Phosphorus is
necessarily Hesperus. The only conceivable point left to argue is
whether there is a de re use of ‘must’ in English. But the onus is on the
contingency theorist and the anti-essentialist at last. The latter has to
dispel as illusion what seems to be fact – that in English there exist
many such de re uses.
That is not all. By showing that all identicals are in fact identicals,
the proof will furnish one other thing to anyone who is party to a natural
intuition: the intuition that designations of things that are necessarily
identical ought to be intersubstitutable within the scope of ‘necessarily’.
One who is party to that intuition no longer needs any act of faith to
believe that the ordinary modal logic of ⵧ and 䉫, permitting quantifi-
cation into the ‘necessarily’ and ‘possibly’ contexts represented as ⵧ and
䉫 contexts, can give blameless expression to de re necessities. The
identity of all actual identicals revindicates this as an entirely reasonable
belief. And, on this basis, we need not demur at the necessity of identi-
cals given in the familiar form
H ⫽P→ⵧ (H ⫽P).
Advancing from this point, one may argue for something more con-
troversial, namely the necessary distinctness of things that are actually
distinct. Improving on earlier derivations that invoked stronger princi-
ples, Kripke gave a proof of this on the sole basis of the necessity of
identity and the so-called Brouwersche principle
not A→ ⵧ (not ⵧ A),
which is equivalent to
A →ⵧ 䉫 A.13
Once one is given the Brouwersche principle and its / counter-
part in the lambda notation, the difference of actually different
13
A model theoretic vindication of this formula would depend on the claim that accessibility
between worlds is symmetrical. For discussion of this see my p. , note , in Lovibond and
Williams () and the paper by Williamson in the same volume. Williamson offers a more
general discussion, of the Brouwersche axiom and of whether it is indispensable to the proof of
the necessity of difference.
Individuative essentialism
things is readily available. But, in the light of the revindication of the ⵧ
and 䉫 notation now afforded by the version of the proof of the
necessity of identity, the reader may be spared the vexation of following
Kripke’s proof in the notation.
When stated in the ⵧ 䉫 notation, Kripke’s proof may be given as
follows (see Williamson, op. cit.). Begin with the necessity of identity as in
Barcan and Kripke,
(H ⫽P) →ⵧ (H ⫽P).
Contraposing this, we have
Not ⵧ (H ⫽P)→Not (H ⫽P).
Being proven from a theorem, this is a theorem. So we have the neces-
sity of it:
ⵧ (Not ⵧ (H⫽P) → Not (H ⫽P)).
And then, by the modal principle ⵧ (A →B) →(ⵧA → ⵧB), we have
ⵧ (Not ⵧ (H ⫽P))→ⵧ (Not (H ⫽P)).
But by the Brouwersche principle, we have
Not (H ⫽P)→ ⵧ (Not ⵧ (H⫽P)).
In which case, by virtue of the last two formulae and the transitivity of
→, we have
Not (H ⫽P)→ⵧ (Not (H ⫽P)).
In other words, if Hesperus is different from Phosphorus, then it is nec-
essary that Hesperus be different from Phosphorus. And the same for all
other cases. If Venus is distinct from Mars (and it is), then Venus is nec-
essarily distinct from Mars.
Such formal results as this help to confirm and consolidate a meta-
physical conception which the necessity of identity alone might almost
have sufficed to vindicate. According to this conception, facts about the
identity and difference of individuals are part of the necessary structure
of reality and are completely invariant across possible worlds. (See
Williamson ().) It is simply not an option for us even to describe or
envisage possible worlds in a way that would conflict with the identities
and distinctnesses that actually hold. Rather, actual identities and differ-
ences have to condition the specification of any world whatever that
counts as a candidate to contain actual things – things of the real world.
Individuative essentialism
Moreover (again as Kripke has emphasized), the identities of the things
within a possible world are specified along with their other properties or
relations.
14
On asymmetrical formulae such as these, see my () and () cited at note ; also Kit Fine,
‘Essence and Modality’, Philosophical Perspectives, Vol. , ed. J. Tomberlin (Atascadero, Calif.,
Ridgeview Publishing Co., ); also (a work in which my grasp slipped of the point stressed in
footnote of Chapter Three) ‘Mereological Essentialism, Asymmetrical Essential Dependence,
and the Nature of Continuants’, Grazer Philosophische Studien /: Festschrift for Roderick Chisholm
(), –.
15
Quine (), p. . (Cf. Quine (), p. : ‘Classes are like attributes except for their iden-
tity conditions.’) The reader is urged to focus for a moment on the ‘may’ in the sentence I have
cited in the main text. For another use of the same ‘may’, see p. of Goodman’s ‘A World of
Individuals’ (Problems and Projects ()), ‘While a class of individuals is uniquely a class of just
those members, a whole made up of individuals may also be made up of quite other parts.’
Neither of these is an epistemological ‘may’. Nor yet is either of them de dicto. Do they exem-
plify any grade of modal involvement officially approved by Quine?
Individuative essentialism
‘We use the word ‘set’ in such a way that a set is completely determined when
its members are given.’16
Suppose that we try to apply these criteria, and we are invited to think
of a thing ␣ simply identified as the entity (whether class or attribute we
do not yet know) to which there belong the items x and y and only these.
Then it seems that, if we are to envisage ␣ for what it is, the question we
have to ask is whether ␣, the very thing ␣, could have dispensed with the
particular entities x and y. If it could – if ␣ could lack x or could lack y
– then ␣ is not a set or a class.17 That is the thought that is suggested by
Quine’s distinction of classes and attributes, and suggested equally by
received justifications of the axiom of extensionality given in terms of
membership determining set-identity.
The idea that motivates this way of talking is that, whereas there is no
constitutive connexion between being this or that property and any
actual extension, or between being this or that man and some actual par-
ticular position in space–time, there is such a connexion between the
membership and the identity of a set. The thought that is needed – and
I should hope by now to have cleared it of the suspicions expressed by
Quine in ‘Reference and Modality’18 – is the de re modal thought that, if
␣ is a class containing x and y, then ␣ could not have lacked x.19 Set
16
Patrick Suppes, Introduction to Logic (Princeton, N.J., ), p. .
17
Compare Kit Fine, ‘First Order Modal Theories I – Sets’ Nous, (), pp. –.
18
In pursuit of a different purpose, one critical in effect of the ‘may’ we seem to have found (note
) even in texts of Goodman and Quine, Cartwright has expressed a reservation that is cognate
with Quine’s:
(x) (y) (z) ((z苸x ↔ z苸 y) →x ⫽y ) . . . will be a theorem of any pure theory of classes but pre-
sumably of no pure theory of attributes . . . but it is a difference between theories, and I know
of no coherent way in which it can be supposed to carry over to the objects dealt with in the
theories. It does, of course, reflect a difference between the concepts class and attribute.
Richard Cartwright: ‘Class and Attribute’, Nous, (). (See also R. Sharvey, ‘Why a Class
Can’t Change Its Members’, Nous, ().) My claim is that the formal proposals that have been
sketched in § save from Quine’s doubts and Cartwright’s doubts not only the essentialist ‘must’,
‘may’, ‘can’, ‘could’, ‘able/unable’ and not only the usage into which Quine and Goodman
themselves seem sometimes to lapse, but also the kind of language cited in note .
19
Suppose someone doubted the necessity of the membership relation. Then the question would
be whether he could combine his doubt with any argued or principled affirmation of extension-
ality, or advance on behalf of extensionality such claims as ‘a set is nothing more than a unity
constituted by its members’ (Richmond Thomason, Symbolic Logic (London, ), p. ). If
there is no other way of identifying such a unity than via its constituents, and such a unity can
be given simply by giving all its members, then is not its identity derivative from these, and deriv-
ative in a way in which the identity of a perceptibly demonstrable horse or tree is not derivative
from that of any particular cells or derivative from the identity of any particular sequence of
spatio-temporal positions or particular sequence of paired space–time positions and material
components? Against those not convinced, here is a final or Parthian shot: try conceiving the
unit set of x, namely {x}, as the unit set of y where y苷x. Now try conceiving the pair set {x,y}
as lacking either x or y. . . .
Individuative essentialism
theorists who say that it is a peculiarity of sets to be determined by their
members, or who distinguish sets from attributes in Quine’s way, are
surely saying at least this. And it need occasion no surprise that, in order
to delimit an area within which extensionality will reign, in order to
justify intuitively the axioms of extensionality for the mathematicians’
world of sets and exclude attributes from the intended interpretation of
Greek letter variables, one has to trespass for a moment outside the
delimited area and talk in a language of richer expressive resources.
Suppose so much can be accepted. Then, given (⌬) of section , one
might say that the pair set {Eiffel Tower, Crystal Palace} is essentially a
set, and essentially a set with just these members, because nothing could
count as envisaging that very set in a way that implied that it was not a
set, or that it lacked these members.
At risk of recycling the obvious but warned by experience that there
is often no alternative, I stress that the claim under discussion is not that
it is impossible to envisage such sets as {Eiffel Tower, Crystal Palace}
under any other description than ‘pair set whose sole members are Eiffel
Tower and Crystal Palace’. One might conceive of this set under the
description ‘the pair set whose members are in Z’s opinion the most
remarkable works of nineteenth-century engineering in the capital cities
London and Paris’, or in indefinitely many other ways. To show that the
set itself, the very one we are concerned with, could lack Eiffel Tower,
one must envisage that set as lacking Eiffel Tower. Once we tried to do
this, the question would be what it was we could succeed in envisaging as
lacking the Eiffel Tower.
It may seem for a moment that one can envisage anything of any-
thing, even ‘lacking Eiffel Tower’ of {Eiffel Tower, Crystal Palace}, pro-
vided that the identification the envisager starts off with is as vague as, say,
‘entity mentioned or had in mind at t by F. Hausdorff’. But that is the
same mistake in another guise. Starting off with so vague a description
of the thing mentioned by Hausdorff should not make it easier but
harder for the would-be envisager to be sure that he has, in the serious
sense, conceived of that entity under the description ‘lacking the Eiffel
Tower’. The sort of possibility we are interested in should not be such as
to be augmented by ignorance.20 The same goes for the necessity and pos-
sibility that Ayer was discussing in his own enunciation of principle (⌬).
The conceiving must be with regard to some determinate thing that
answers to some specification that identifies it, however contingently, as
20
Cf. Arnauld’s Objection ‘De Natura Mentis Humanae’, against Descartes, at p. , vol. of
Oeuvres de Descartes, ed. Adam and Tannery (Paris, –).
Individuative essentialism
that particular thing. Then the question must be how this thing can be
counterfactually envisaged; and what it is possible to envisage of it must
depend on what the particular entity is, whether Dickens, the Pyramids,
or whatever. The more you know about the thing, the more authorita-
tive your findings of possibility and impossibility ought to be.
28
Leibnizens Mathematische Schriften, ed. C. I. Gerhardt (Berlin and Halle, –), Vol. , p. .
Cf. Discourse of Metaphysics, Ch. (Gerhardt, Philosophischen Schriften, Vol. ). ‘I agree that consid-
eration of these forms is of no service in the detail of natural philosophy, and must not be used
for explaining phenomena in particular. And it was in this that our scholastics failed, and the
Physicians of past times following their example, believing that they could account for the prop-
erties of bodies by mentioning forms and qualities without going to the pains of examining the
manner of operation; as if one were willing to content oneself with saying that a clock has the
horodictic quality resulting from its form, without considering in what all this consists . . . But
this failure and misuse of forms must not make us reject something knowledge of which is so
necessary in Metaphysics.’ (Translation by Lucas and Grint.) Cf. also Chapter ibid.
Individuative essentialism
essential properties such as necessarily identical with Caesar, which are spec-
ified through a designation of the thing in which they inhere, we must
expect the de re essences of individuals to be shared or shareable in prin-
ciple. The requirement that essences determined otherwise than
through identity itself should be unique to particulars (like almost any
other attempt either to say anything or to deny anything by means of the
idea of haecceity or this-ness) is the product of confusion. We get from the
‘this’ of ‘this f ’ (where f represents some sortal specification) all the par-
ticularity that is required for anchorage to the actual entity of which we
are to conceive in various counterfactual ways. Whether or not Strawson
has demonstrated the necessity for thought as we know it of individuals,
he would appear to have shown at least this: that, wherever thought does
recognize individuals, the functions of ‘this’ and ‘such’ are in the end
(regardless of any limited interchangeability of role) mutually irredu-
cible. (Cf. Chapter Six, §.) It is true that Russell’s Theory of
Descriptions may be seen as a proposal for redrawing one apparent fron-
tier between predicating and designating. But whatever we make of that
theory, naming or designating (which is a linguistic function that is entity-
involving in a way in which predicating need not be) and predicating are
two functions. So far, we lack any reason to believe in the existence of
any haecceitas that is defined or manufactured otherwise than via desig-
nation of the owner of the property in question. It is hard to think of
anything true and significant that could be said using the idea of this-
ness (which-ness?) not better said while respecting the distinctions desig-
nation/predication and particular/universal. It is harder still to imagine an
approach to the identity of a thing that makes its explanatory beginning
with haecceitas.
Conspicuous among the non-particularized properties of Caesar that
pass the test of being invariant under all counterfactual speculations that
can count as successful de re conceivings of Gaius Julius Caesar, we must
expect to find properties with negations not coconceivable with his sortal
identification human being (or, more weakly, not coconceivable with
animal, see below, §). Our provisional expectation is that each of the
properties (save those defined through identity itself) that Caesar must
have will in principle be multiply satisfiable.
29
There are constant temptations to confuse differences in the grounds for modal attributions with
differences in their meaning. It is not necessary to settle here the question whether we have here
an array of distinct senses disposed around a focal idea, or a univocal idea which can conjoin
with different parameters to yield a variety of different kinds of semantic output. See also my op.
cit. in Lovibond and Williams (), pp. –.
30
Pace Wittgenstein who, for the same sort of reasons as I am rehearsing in this chapter, isolated
such attributions but dubbed them non-descriptive.
There is a sense in which an object may not be described. This is that a description may
ascribe to it no property whose absence would reduce the existence of the object itself to
nothing. Description may not express what would be essential for the existence of the object.
(Philosophische Bemerkungen §§–. Cf. also Tractatus Logico-Philosophicus ..)
Individuative essentialism
pressing here. The principles we have to use in keeping individuals under continuous observa-
tion can be made to yield genus terms. There is abstraction from species to genus. (Cf. Ishiguro
()). But there is no abstraction from individuals to species. The principle we use in observ-
ing and tracing a particular does not come with a species concept which we get by abstraction from
individuals. That would be impossible, for in so far as we have a species concept for an individ-
ual, the possession of this concept and the ability to pick out the thing under it cannot be separ-
ated. For genera terms, however, which presuppose individuation, there is no such difficulty. ‘Je ne
disconviens point de cet usage des abstractions, mais c’est plutôt en montant des espèces aux
genres que des individus aux espèces. Car (quelque paradoxe que cela paraisse) il est impossible
à nous d’avoir la connaissance des individus et de trouver le moyen de déterminer exactement
l’individualité d’aucune chose, à moins que de la garder elle même.’
Individuative essentialism
But it is no part of the essentialist’s purpose to deny that in exploring the
grounds of de re modal attributions we encounter matters of degree.
Vagueness in the delimitation of kinds is not a new admission.32 Nor
does the need to decide whether or not a certain threshold has been
reached entail that the choice to make or not make a given modal asser-
tion is unprincipled or arbitrary, or a matter of no moment. For the
admission does not undermine any of the point or interest or determi-
nacy we have shown how to attach piecemeal to these questions, or
degrade the complexity of what is involved in seeking to establish, well
below the level of how things superficially appear to be, whether one can
or cannot envisage some property of Caesar. In the end, it may or may
not prove, in given cases, that there is indeterminacy. If (over and above
vagueness) there is indeterminacy, then it may be expected that this will
be an echo of the contestability that can attach to the practicalities of indi-
viduation itself – a matter resumed at some length in Chapters Six and
Seven.
sibilities concerning actual individuals. According to this model, the ways in which an individ-
ual might have been different are restricted to divergences from actual history: ‘It follows that
any complete alternative possible history for Julius Caesar must have some segment that is the same
as some portion of his actual history’ (p. ). Mackie calls this the ‘overlap requirement’. She calls
it this without enthusiasm – for she deliberately confines her efforts to explaining why the thesis
of the necessity of origin is found attractive and refrains from advocating the thesis herself – and
she bases the need for some such requirement as that of overlap on a version of the ‘anchoring
requirement’ that has motivated the present chapter. See Ayer’s wording of our (⌬) in § above.
I note, however, that, for obvious reasons, she moderates the literal force of the overlap require-
ment to avoid the ‘absurdly strong principle [as it applies to x within an alternative world] that
requires complete coincidence of properties at some time. Nor . . . need it be taken to require that
the overlap include sameness of temporal or spatial location’ (footnote ). But then the question
arises why overlap must be interpreted to require either sameness of material constitution or
coming from the same sperm and egg. Perhaps this doubt about whether there is here any argu-
ment for the necessity of origin as such converges upon the unspoken reservation that discou-
rages Mackie from coming out in any positive advocacy of the necessity of origin.
Individuative essentialism
purpose, or conceive of its enjoying the negation of the disjunction of
all predicates that relate to its having been fashioned for cognate pur-
poses? That is too much. One cannot envisage any of these things. These
suppositions fail requirements analogous to those already argued for. Let
us search then for de re necessities lying between these extremes of ease
and difficulty in envisaging the table as otherwise than it is.
Let us ask first: can one genuinely envisage my table’s being made of
different wood?37 Here there is little or nothing we can postpone to the
day of an empirical discovery. For all the physical facts upon which the
problem is based may be available already. My provisional answer is this:
that difference of material is something one can envisage without jeop-
ardizing the title of the supposition to relate to this very table.38 The
essence of this or that table does not demand any particular matter, only
the right kind of matter for that artefact.
Here, in front of me, is a table, one much used and leant upon in
writing, a table damaged ten years ago by an inundation of water
through the roof, but carefully repaired, revarnished and repolished. Its
whole simple history is known and available back to the occasion of its
being bought in Chalk Farm, London, NW, in . Let us suppose
that its previous owner and user was also its maker. Let us suppose the
table came into being in , after the intending artificer came upon
several pieces of some Indian hardwood. Could the artificer not, when
he made the table, have taken other pieces? Surely he could. The table
came into being when he did whatever he did to the pieces that he
managed to find. That which constitutes the table he then constructed
and distinguishes it from anything else at all, is something that resulted
from the acts he visited upon the pieces he took at the moment of
making it and the kind of wood those pieces were to which he did what-
ever he did in order to make the table. Why look for more? The table
can in principle be traced back to the time when it was made. But, con-
sistently with everything that we can show in this way, surely this table
37
I venture to think that the argument given at footnote of Kripke () for the necessity of
constitution depends on treating constitution as if it were identity. For the distinction, see
Chapter One, §.
38
Let us contrast a table, taken together with its wood, and an objet trouvé (on which the artist might
stamp his initials, suppose, and the date and place of the find), taken together with the object
itself before the artist confers upon it that status. In the second case, <objet trouvé, the object
itself>, simply by virtue of the genre, the object found is not transformed into the work of art. Or
rather it is not transformed in the way in which the hardwood is transformed into a table. The
objet trouvé is not transformed thus, even if the artist crops, trims or polishes the thing found. For
in the case of objet trouvé, the stuff of the work of art is the object itself. Contrast the situation (as
I claim it appears) with <table, hardwood pieces>.
Individuative essentialism
could (metaphysically could) have been made from other pieces of wood.
This is not to say that it easily or non-disruptively could. If we knew
more about the table’s actual history, then we might find that the pieces
actually employed were the only suitable pieces of wood that were in any
way available to its maker for a table anything like this. We might find
that amazingly many things would have had to be different for the table
to have been made in from different pieces of hardwood – espe-
cially when we realize that, as a matter of fact, placed as he was, the pre-
vious owner was the only craftsman who was in a position to make such
a table and we remember that, at that time, suitable wood for making
furniture was very scarce. In that case, not only is there no categorical
‘could have been differently constituted’ to be affirmed here (in the sense
of potuit or poterat). There rarely is in such cases. Maybe all the hypothet-
ical ‘coulds’ that are true (all the ‘coulds’ that have the sense of potuisset)
are surprisingly remote from reality. That would be interesting, in its
way. But not even this would show there is no world where the table has
different matter. If there is just one such world, then that suffices for the
flat metaphysical ‘could have’. And what on earth could make the sup-
position of its having other matter incoherent?
Would I go so far then as to say that we are free to distinguish between
two worlds as qualitatively similar as you like, each containing one table
very like my table, and free to do so by identifying the table in the one
world but not the table in the other world as my table? I am committed
to reply that we can do this.
Suppose though that the only relevant difference between the two
worlds is this: that in world one the table has the matter of my table in
the actual world, and in world two it doesn’t. Even here, in the face of
this description of the two worlds, I should say that I can complete the
supposition corresponding to world two. I think I can do this by stipulat-
ing that in world two, and not in world one, it is my table that the sup-
position relates to. What could prevent that? Where such a supposition
is entertained, all that has happened is that our supposition about where
the table is has been separated from our supposition about where such
and such a parcel of matter is, taking advantage of their independent
specifiability and of the non-identity between table and wood.
‘But how can you, where two worlds are qualitatively indistinguish-
able, make a ruling of identity in defiance of the one thing that remains
to distinguish the one table from the other, namely the identity of the
matter?’ Answer: How can you, who ask me this question regarding two
worlds that are qualitatively indistinguishable, insist that the table in one
Individuative essentialism
but not in the other world is made of such and such matter? Only surely
by allowing supposition to settle which pieces of wood in which world are
the actual pieces making up my actual table. So ‘supposition’ is my
answer too, subject of course to the Aristotelian constraint. Worlds are
the shadows of our suppositions and they take on their identity from
these. Suppositions themselves take on their identity from (inter alia) the
objects they relate to. If they sever themselves from these objects, then
they collapse (or cease to relate to that to which they purport to relate).
But the supposition that involves the table’s being constituted from
different matter does not sever itself from the table that stands in front
of me.
. - -
Chapter Four was an exploration of the conceptual limits of our think-
ing about the things that belong to this or that particular ultimate indi-
viduative kind. It pointed to the riches that will lie hidden within any
individuative kind which is a natural or real kind. In the examination of
how we are constrained in our thought about individuals belonging to
kinds that need to be deictically-cum-nomologically specified, we were
Conceptualism and realism
discovering that which plays in the determination of the essences of such
particulars the part that verbally explicit definitions can play in determi-
nation of the nominal essences of particulars such as artefacts. In both
sorts of case, the constraints on thought derive directly or indirectly from
that which is meant by what we think or say. But in the deictically spec-
ified case, where the sortal predicate is like ‘frog’ and unlike ‘house’ and
has its sense fixed in a manner that is reality-involving, meaning is con-
ferred (or so we claimed) in a distinctive way. And this in its turn gener-
ates conclusions that appear to go well beyond those conventionally
accounted as semantical. To anyone who thinks he knows how to make
such distinctions, it will seem to be a metaphysical thesis, not a semanti-
cal thesis, that being a human being or having the G property (see
Chapter Four, §) is an absolute individuative prerequisite for anything’s
being Caesar. For this reason, the arguments of Chapter Four will attract
the hostility of at least two schools of thought. Designating my own posi-
tion (simply for brevity and convenience) conceptualist realism, I suggest
that one of its likeliest critics may be called the anti-realist conceptualist, and
another the anti-conceptualist realist.
The anti-realist conceptualist may or may not be an R theorist, and
may or may not have found intelligible the defence of principle D
attempted in Chapter Two. What he is certain to find questionable in
the extreme is the purported absoluteness (non-relativity to topic,
context, or level), of the necessity that I have alleged (exempli gratia) to
attach to the particular entity Caesar’s being a human being.1 The anti-
conceptualist realist, on the other hand, whose position is addressed at
§ following, will scarcely object to the categorical conceptions of neces-
sity, substance, truth or whatever that lurk in earlier chapters; but he will
doubt (as Michael Ayers does, for instance)2 that anyone ought to count
as a realist who is prepared to embrace the sort of conceptualism that
informed the argument that I gave for D and that motivated the deriva-
tion of de re necessity. There is a third form of opposition that might come
from latter-day Humeans who are convinced of the theoretical impos-
sibility of a de re necessity that is not reducible to the analyticity of some
sentence. But I have said my piece against this school, and shall now
direct attention upon the other two.
‘It is all very well’, my new opponents are likely to object, ‘talking as
you did in the previous chapter of the constraints on envisaging a thing.
11
See Bas C. van Fraassen (–).
12
See Michael R. Ayers (). See also Parts One and Three, Vol. of Ayers ().
Conceptualism and realism
Suppose that the place marked by the z-variable in “it is possible to envis-
age z’s being ” is, as you claim, an extensional position and somehow
confers extensionality upon “z” in “z can be ”. We shall not object. We
are also ready to suppose that, when Quine claimed that to be necessar-
ily greater than seven was not a trait of a number but depended only on
the manner of referring to the number,3 he overlooked the kind of neces-
sity that you have found outside the range of Quine’s three grades of
modal involvement and claimed to find traces of in Quine’s and
Goodman’s own writings. We shall not even demur when you claim that,
if a thinker genuinely conceives of z as , there must, for purposes of
the kind of possibility you were concerned with, be some sortal concept
f such that z can be identified as this or that instance of f, f and being
coconceivable of z. This last requirement may perhaps justify you in
adopting, for purposes of your brand of possibility, what Quine called
an “invidious attitude towards certain ways of specifying a thing and
favouring [some over] other ways [of specifying x] as somehow reveal-
ing the essence of the object”. But these concessions, in the particular
form in which you are trying to extract them, are perfectly unimportant.
For the most you can ever obtain by these means is a conceptualism that
is shaped and conditioned by human powers of envisaging. These
powers are the product, both time-bound and culture-bound, of a con-
ceptual scheme which is determined by interests that are very special.
However deep seated they may seem to us, such interests in the world
that surround us are scarcely implanted in us by nature in order that our
beliefs or theories should mirror nature itself. You are deceiving yourself
if you think you have found some philosophical engine by which to invest
with real essences the concrete entities of the world. For us, there is no
doubt a certain apparent indispensability in the everyday conceptual
scheme that we, from our limited and cosmically insignificant point of
view, bring to bear upon the world. But the real entities of the real world
are whatever they are, independently of whether human beings exist or
not. They are perfectly indifferent, so to speak, in this matter of how
human beings conceive of them. That is not our only complaint. A
further charge that we should urge against you is that the conceptual
scheme for which you are working to get this privilege is scarcely very
different, even now, from the scheme that systematically delayed the
progress of natural science beyond the jejune approximations of
Aristotle.’
13
See Quine (), pp. and .
Conceptualism and realism
The moral that the anti-realist conceptualist seeks to draw from all
this is that the aspiration to contemplate, however distantly, the real
essences of concrete things is best forgotten about. For in nature itself,
he will say, there are no modalities.
The moral drawn by the anti-conceptualist realist, on the other hand,
is not that essentialism as such is mistaken. The conclusion he will come
to is that the realist aspiration is inimical to any position like the concep-
tualism that I have been arguing for. He will persist in the idea that the
realist ideal is to be valued above any supposed conceptualist insight. But
he will hold fast to his conviction that, in the long run, there must be
some better approach than that which is supposed to lead through (A) –
(H) of Chapter Four to the real essences of concrete things.
In answer to these critics, I shall be content for the most part to
clarify the claims of the particular conceptualism defended here to be
one form of realism. For the objection I have just rehearsed compre-
hends in each of its two forms a number of misapprehensions whose
removal will be far more instructive and far more liberating of thought
than exhaustive responses to the divers accusations and counter-
suggestions that each critic could muster on his side. Once conceptu-
alist realism is recognized for what it is, its metaphysical plainness will
be manifest.
.
(a) The objection given in the previous section depends partly on a mis-
understanding of one point that Chapter Four will have made familiar.
The conditions that have been characterized as peculiarly central to the
articulation of this or that particular thing and its division from the rest
of reality concerned, not the world’s need to contain Caesar, but only
the kind of thing Caesar had to be if there was to be any such thing as
Caesar, namely (say) a human being. The necessity in question is at once
crucial with respect to the question of the individual’s being there to
articulate, and peculiarly innocuous. The necessity is categorical with
respect to Caesar, but from another point of view it is a conditioned
necessity. The singular thing about this necessity resides in the character
of its condition. The condition comprehends all states of affairs in which
there exists . . . well, the very entity in question.4
14
For the reasons for putting the matter in this way, see § of my article ‘The Kant – Frege –
Russell View of Existence: a rehabilitation of the second level view’, in Modality, Morality & Belief,
ed. Sinnott, Armstrong, Raffman and Asher (Cambridge, ).
Conceptualism and realism
(b) To put a sentence forward as a true statement of de re necessity (or
as a de dicto necessity for that matter, if the de dicto were in question) is not
to put the sentence forward as in some special way proof from revision,
correction, or the boredom of our descendants. Those who object in
such terms to essentialism as an expression of the stick-in-the-mud men-
tality or of ill-advised reaction have insufficiently distinguished these
several statuses.
(c) It is necessary to reiterate the sincerity of the essentialist adher-
ence to principle ⌰ of § of Chapter Four. Essences of natural things,
as we have them here, are not fancified vacuities parading themselves
in the shadow of familiar things as the ultimate explanation of every-
thing that happens in the world.5 They are natures whose possession by
their owners is the precondition of their owners being divided from the
rest of the reality as anything at all. These natures are delimited by ref-
erence to causal or explanatory principles and purposes that are low
level perhaps; but they are fully demanding enough for something to
count as their being disappointed or frustrated. (Witness the longish list
of would-be sortal concepts that have definitely failed.) It is true that,
whatever these principles may once have seemed to be, the principles
we have called the laws of development of individual natural sub-
stances (that is the laws associated with individuative kinds of natural
things) are not themselves the scientifically basic laws of the physical
world. (Or rather, they need not be.) Nor in general are they reducible
(in the strict and proper sense) to such basic laws. Nevertheless, the
kind-bound laws of coming to be, of distinctive activity, and of passing
away are nomologically grounded. They are supervenient upon, or better
(as Leibniz might put it) consentient with, the more basic laws that are
immanent in all things.6
15
We do not look for scientifically ultimate explanations at this level of conceptualization. By the
standards of , years ago it was not necessarily unscientific to look for them there, as Aristotle
justifiably and non-vacuously did. (See the interpretation offered by Alan Gotthelf in ‘Aristotle’s
Conception of Final Causality’, Review of Metaphysics, ().) Of course, it has been discov-
ered since Aristotle that the search for fundamental explanations and principles, and for mech-
anisms underlying the phenomena, requires not only a new vocabulary but also a new ontology.
On this see below, §. But let us take a sane view of all this. The failure of Aristotelian science is
final. Its failure does not entail, however, that science has shown that every explanation in any
way worth having of anything worth knowing must eventually find expression at the level of the
science that has displaced the human world view.
16
Cf. Leibniz, Gerhardt , , op. cit. at head of Chapter Three. Not only are these ideas separa-
ble from the teleological view of nature (see Chapter Three, Section ). They are separable also
from the teleological conceptions of certain theorists of Natural Law about the levels of excel-
lence that natural things may realize or attain to. For an amusing and summary account of these
ideas see H. L. A. Hart, The Concept of Law (Oxford, ), p. .
Conceptualism and realism
(d) The realist conceptualist may cheerfully admit that the sortal con-
cepts of which we are possessed, and which he argues to be presupposed
to our articulation of reality, are (in a certain fashion and sense – see §
below) the creatures of our interests (provided that these interests are
generously enough conceived to include our curiosity). He may also
allow that (often at least) there may be no one way in which we must artic-
ulate reality, nor any one level at which we must. The thing that does not
follow from any of this, he will say, is that, relative to some determinate
epistemological-cum-practical interest, there is arbitrariness in the dis-
criminations we make, or in the existence conditions that we ascribe to
the members of the natural and artefact kinds under which our interests
(as properly and generously conceived) oblige us to make sense of expe-
rience. For the supposed arbitrariness of whether or not this or that
concept is brought or not brought to bear upon reality – better (see
Preamble §) the supposed arbitrariness of whether we deploy the con-
ception corresponding to this concept and look for fs in reality, or deploy
the conception corresponding to that concept and look for gs in reality –
cannot be translated into any corresponding arbitrariness in the articu-
lation of the things themselves that fall under the concept.7 Arbitrariness
or vagueness that attaches to the determination of the extension of the
sortal concept has a different source (see Chapter Four, §).
Nobody will find any of these confusions or misapprehensions very
inviting – at least when they are anatomized in this way. But that does
not mean that they are dead or inert or have no indirect influence.
Moreover, confusion apart, it must also be allowed that the thinking the
anti-essentialist opposes to the essentialist conception is sustained by the
enchantment of an image that is vivid in the extreme.
18
Van Fraassen, part of ‘Essence and Existence’ (–). Cf. part :
The nominalist’s first and basic move in this game is to say that all natural necessities are
elliptic for conditional verbal necessities. This sheet on which I write must burn if heated,
because it is paper – yes. But the only necessity that is really there is that all paper must burn
when heated. This is so, but means only that we would not call something paper if it behaved
differently . . . When sufficiently refined, the position that all non-verbal necessities are ellip-
ses for conditional necessities ex vi terminorum can be held.
Cf. also the same author’s ‘The Only Necessity is Verbal Necessity’, Journal of Philosophy (Feb.
).
Conceptualism and realism
narrowest sense which, whatever dues it pays to ‘indiscernibility at a
world’, is ‘no respecter’ of identity in the proper sense. The question
then is: can we really understand this first stage of the reconstruction?
Only, I submit, if we can make sense of an entity that is nothing in par-
ticular. (Cf. the justification and refinement of ⌬ of Chapter Four,
section , undertaken in § and §.)
Van Fraassen’s adherence to the Identity of Indiscernibles is impor-
tant here. Contrast with his explicit reliance upon the principle every-
thing that we have claimed in Chapter Two against the Identity of
Indiscernibles and have elsewhere implied (in agreement with P. F.
Strawson, Individuals, the chapter on monads and passim) about the indis-
pensability and irreducibility of the demonstrative function. To turn this
into this-ness and, having found no way to understand this-ness as a sort of
such-ness, to seek then to patch matters up by espousing the Identity of
Indiscernibles – this is a counsel of confusion, confusion that is needless.
But there is scarcely anything unconfused that can be said or denied by
the use of the words haecceitas and this-ness. What these words purport to
help one to say or deny is no less mixed up than the noises that they make
are unlovely. (Cf. Chapter Four, §.)
Finally, I would claim that the whole charm of Van Fraassen’s picture
depends on one’s allowing that one can first have an ontology of partic-
ulars conceived as bare, and then at a second stage introduce, as an
instrument of understanding, explanation and discovery, what Quine
and Geach have called an ideology. But is it not a mysterious suggestion
that a whole range of attributions, including sortal attributions which say
what various everyday things are, could be determined at this second
stage (in radical dependence, Van Fraassen suggests, on some human
viewpoint), by being superimposed upon a completed first stage ontol-
ogy which is at once bare yet existentially determinate? For anyone
versed in the notion that an ontology is by no means an empty or uncom-
mittal thing, this is as strange as being asked to believe that one could
distinguish between (first) a neutral or concern-uncontaminated ontol-
ogy of jokes (what it is for x to be a joke, or for x and y to be the same
joke, or for there to be such a joke as z), and (second), a quite separate
and interest-contaminated range of predicative attributions to jokes
(‘funny’, ‘comic’, ‘witty’, ‘off-colour’, ‘whimsical’) or things in jokes
(‘incongruous’, ‘ludicrous’, ‘absurd’). Is it compatible with a good theory
of existence to suppose that the first stage (ontology) could have been
provided for while leaving absolutely everything else to be determined
at the second (ideology)? Let anyone still charmed by Van Fraassen’s
Conceptualism and realism
picture rehearse these questions again, mutatis mutandis, for natural
numbers, quantities, shades, . . .
Obviously, if ontology were completely insensitive to all changes in
theory, in ideology or in how things are conceived, and if one and the
same fixed set of entities could be descried by conceptions of the world
that were different to just any degree that you like, then that would
subvert not only Chapter Four but also the account offered in Chapter
Two, §, of the relationship between existence and belonging to a sort.
I should hope that the positive account of existence offered there had
the attraction of simplicity. There is a range of basic sortal attributions
that we apply to various everyday things – ‘this is a horse’, ‘this is a tree’,
‘that is a man’. These belong to the level of ontology and, at least to
this extent, ontology and ideology must contaminate one another
immediately. What is strange is that the anti-essentialists whom I am
attacking9 accept all these attributions in their unmodalized form, and
then (one stage too late, in my opinion, for they have already consented
to pick out the thing and to involve themselves, however minimally, in
some proto-theoretical conception of entities of the relevant kind)
adduce as a reason to deprecate the suggestion that any of these things
had to be a horse, or a tree or a man, the anthropocentricity of the view-
point that underlies and conditions the attributions. But here as every-
where the question is: of what could one ever be speaking if one allowed
that it might equally well have been a prime number or a fire shovel,
though it was in fact neither?
.
By way of partial summary of this and the previous chapter, I shall close
with some suggestions or speculations concerning the relation of the sci-
entific world view and the less theoretical view of reality which lags
behind the scientific world view but is practically indispensable to the
sustaining of any meaning that might be attributed to our thoughts.
(i) Many of the scientifically significant shifts in our conceptions of the
world represent not shifts in our conceptions of a settled ontology, or
shifts in the individuative conceptions proper to one and the same set of
entities, but the abandonment for certain explanatory purposes of the old
set of entities and the old ontology. The ‘ingredients’ that composed the
things of the old ontology may then be inventoried, if that needs to be
the question at issue, in other counts of the stuff of the world. In so far as
questions about the old set of entities are answered rather than simply
abandoned, the answer may be given under the new order by bridge
principles (whose ad hoc character it will do no harm to acknowledge) or
even by recourse to considerations (again ad hoc) of a mereological kind.
(ii) Where a shift in conception is a genuine revision of the old con-
ception of the old entities and the same entities are recognizable, i.e.
where the shift is an improvement or development of the individuative
conceptions which were constitutive of the old ontology, the old ontol-
ogy can happily take over the improvement. (Cf. the G property of § of
Chapter Four.) If the deictic-cum-Leibnizian account of concept-for-
mation is correct, then conceptual schemes are designed from the outset
to allow for this kind of improvement.
(iii) Scientific progress towards an explanatorily more fruitful concep-
tion of the world that abandons an old ontology for certain explanatory
purposes may or may not need to discredit the ontology of the older, less
theoretical conception of the world. (Cf. Chapter Six, §.) There will be
Conceptualism and realism
cases where that older ontology still counts as adequate in its own terms.
The older ontology may yet be cotenable with the more theoretical con-
ception. Contrasting the actual discrediting of entities of some kind, pal-
pable or impalpable, with the discovering of new entities at the atomic
or subatomic level, let us not conceive the latter as determining the level
to which everything else must be reduced (in the serious sense of
‘reduce’18), even if this is the level at which macroscopic events are prom-
ised certain sorts of explanation. Let us note too that these promised
explanations may or may not be forthcoming and may or may not be
completely formulable at that level; and may, even if forthcoming, leave
high and dry but perfectly unharmed the familiar macroscopic entities
in which we cannot abandon our interest. Indeed there are some prac-
tical interests we cannot become blind to, and some entities in which it is
impossible for us to lose our interest (most notably perhaps the entities
to be treated in Chapter Seven).
(iv) A new conception of the world and its accompanying ontology
will not come bare of individuative concepts or of de re necessities of its
own. As always, the thing that generates these de re necessities will be the
requirement that everything conceivable of the new entities be cocon-
ceivable in the new ontology with that which is their most fundamental
sortal identification. Principle ⌬ of Chapter Four concerned a necessity
that is not in the narrow sense logical necessity. But its strength (contrast
certainty) is equal to that of logical necessity. For once the theoretically
fundamental sortal property f is fixed upon and its extension comes to
light, it is not for thought to renege, even hypothetically (lest thought lose
its grasp of its object), upon the determination of how a thing falling
within that extension has to be in order to be an f (belong to f).
18
For the serious sense of ‘reduce’ deployed in philosophy, let me commend the following:
Most people are natural metaphysicians, and it is an easy passage for them from the unassailable
methodological doctrine that physics and chemistry are applicable to biological objects, to the
metaphysical doctrine, that living organisms are ‘nothing but’ physical systems. This . . . retards
the search for explanatory hypotheses on the biological level, just as a purely behaviouristic
approach to psychology retards and discourages the search for other hypotheses in that science . . .
There is one more point to be mentioned in connexion with the doctrine of the reducibility
of biology to physics and chemistry: people who hold the doctrine do not in fact believe it. If you
want to reduce biology to physics and chemistry, you must construct bi-conditionals which are
in effect definitions of biological functors with the help of those belonging only to physics and
chemistry; you must then add these to the postulates of physics and chemistry and work out their
consequences. Then and only then will it be time to go into your laboratories to discover whether
these consequences are upheld there. From the fact that people do not do this, I venture the guess
that they confuse reducibility of biology to physics and chemistry, with applicability of physics and
chemistry to biological objects. ( J. H. Woodger, Biology and Language, Cambridge, , pp. –.
Compare also Alfred Tarski’s Appendix E for Woodger’s earlier work, The Axiomatic Method in
Biology, Cambridge, .)
.
When something is singled out, an object of some sort impinges on a
conscious subject, and the subject, in having the de re thought that he has
when he is so impinged upon (a thought that may issue in a claim such
as ‘That bald man has been standing out there in the snow for four
hours’), takes the object for something that it is (a bald man). The subject
apprehends the object in at least one way correctly (even if, in all sorts of
ways that are neither cognitively nor practically crucial, he misappre-
hends it). Let us label this claim (). () is not drafted in order to exclude
animals from the role of subject.
We can also say () that, when the subject singles out an object, his
thought is answerable for its success to the nature and condition of the
object singled out and his thought counts as the kind of thought that it
11
For those sensible enough to have reached this point by skipping the many pages that stretch back
from here to the summary of the first three chapters (see Chapter Three, §), or for those who
simply prefer to begin the book here, I resume at this point one key theme, repeating certain
essentialist and conceptualist claims in order to push them further. (For some of these, see the
partial résumé furnished at Chapter Five, §.) Bearing in mind the interests of those stalwart
enough to have arrived hither by the longer route, the résumé is made in a fresh, albeit highly
partisan fashion. At some points the text derives from my contribution to T. Pettit and J.
McDowell (eds.), Subject, Thought and Context (Oxford, ). See also my ().
A signpost for the reader: first, this chapter seeks to support Reid’s claim and kindred claims
about identity. The chosen route is through a further development of the thesis of conceptual-
ist realism. Then the chapter seeks to confute a general conception of identity apparently visible
in Wallace Stevens’s dictum (torn disobligingly from its context) and in related formulations. (I
cite Stevens from Anne Righter in Shakespeare and the Idea of the Play (London, ), p. .)
Identity will emerge in this chapter as determinate, irreducible, autonomous and not interest-
ingly supervenient on anything else whatever – like unto no other relation.
Identity: absolute, determinate, and all or nothing
is by virtue of being answerable in that particular way to that particular
object.
At this point, the contentions of Chapter Five will suggest a further
claim (): that, when an object is singled out by a subject in the manner
described in () and (), it will not be determinable without reference to
the content of that sort of thought on the subject’s part what object it
was that impinged upon his mind. For the question of what impinged on
his mind is not a simple question of what material something bumped
into his sensory-cum-neural apparatus. At any given time all sorts of
things will have done that. (Was his thought of a substance, of a stuff, of
an event . . ., and, if of a substance then a substance of what kind, size,
or typical life-span?)
Among philosophers favourably disposed to the conjunction of () and
(), there is one who will deprecate any suggestions which the verb
‘impinge’ may seem to carry of a material-or-causal transaction yet take
keen pleasure in the important (however inadequate) concession to his
viewpoint that he sees in () as strengthened by (). For the sake of
having a name, let us call this philosopher, among the various inheritors
of R, an idealist. (Why an idealist? Compare the however reluctant use
Kant makes of the appellation in the Critique of Practical Reason, Preface,
ad fin.: ‘Names that designate the followers of a sect have always been
accompanied with much injustice: just as if one said that N is an ideal-
ist. For although N not only admits but even insists that our ideas of
external objects have actual objects or external things corresponding to
them, yet N holds that the form of the intuition does not depend on
them, but on the human mind’ (trans. Abbott).)
Another kind of philosopher may be content enough with () but reject
() and be markedly unwilling to allow that it is only by reference to a de
re thought conceived as irreducibly de re that it can be determined what object
impinged on the consciousness of the subject. Let us call this philoso-
pher, who is among the inheritors of not-R, a materialist.2
There is a third stand someone may take. Let us give the name of con-
ceptualist or a conceptualist-realist to anyone who is eager to deny R
and accept () and () together (as literally understood); happy to say that
any full or proper development of () and () taken together would issue
in (); and happy to deny that there is any reductive level (of retinal
12
He is to be numbered among the bare absolutists of Chapter Three, §. In practice, not all bare
absolutists will want to call themselves materialists. Nor will all dissociate themselves vehemently
from every distinctive claim that is comprised under () or (). Here, as in Chapter Three, §,
philosophical stereotypes are useful in exposition, but will not carry any weight in argument.
Identity: absolute, determinate, and all or nothing
stimulation or whatever) at which some theory could keep track together
of objects singled out and of thoughts of such objects. (He is likely to
say that, if such objects and thoughts are to be conceived together in the
kind of reciprocity already adumbrated in the conjunction () () (),
then a theory of this kind is impossible.) Such a philosopher is to be
numbered among the D-absolutists of Chapter Three, §. That is my
crowd. His position grows out of the claim developed in Chapter Five
that our cognitive access to objects in reality is made by this such concep-
tions, where this such conceptions were said to be present in advance of
the recognition of any particular object as this or that kind of a thing,
but were seen as wide open to correction in the light of empirical dis-
coveries relating to entities of the general kind to which some particular
thing belongs.
. a b , a
b
When we are faced with such examples, it may be asked what there is to
be said in favour of a theory of individuation that does not hasten to
make room for objects that are indeterminate in respect of identity
(objects such that it is indefinite which things they are).
Suppose that a is b. Then, given Leibniz’s Law, whatever is true of a
is true of b. Now a is determinately a. But if so, then b is determinately
a. So, by conditional proof and the symmetry of identity, if a is b, a is
determinately b. In which case there is no future in the supposition that
one could say that a was b but refuse to affirm that it was determinately b.
Putting the matter more formally, and letting ‘⌬’ mean ‘determi-
nately’,8 we have
(i) a⫽b (Hypothesis)
(ii) ⌬ (a ⫽a) (Truism)
(iii) ⌬ (a ⫽b) ( (i), (ii), Leibniz’s Law)
(iv) (a ⫽b) →⌬ (a ⫽b) (conditional proof)9
18
Note that this is not Evans’s use of ⌬. The resemblances between Evans’s argument and the one
now to be presented would need to be taken point by point, and on their merits. Note also that,
if the sign ⵜ were introduced here, it would mean ‘not determinately not’ and, being duals, ⌬
and ⵜ would be consistent. The relation of the two signs would be similar to that of 䊐 and 䉫.
Never mind that there is no one-word translation of ⵜ into English.
19
There may also be doubt about the use of the rule of conditional proof in the derivations of
a ⫽ b → ∆a ⫽ b and a ⬆ b → ∆a ⬆ b. For recent discussion, see Richard G. Heck, Jr, ‘That There
Might Be Vague Objects (So Far as Concerns Logic)’, Monist, (), pp. –. See espe-
cially p. following. Heck offers a scrupulous commentary on Evans’s argument with ⌬ under-
stood not as here (see note ). But Heck’s general conclusions, not less his constructivist
inclination, transcend that framework and they will cohere in substance with those defended in
this chapter.
Identity: absolute, determinate, and all or nothing
The reader will perceive instantly the parallelism between this deriva-
tion and the Barcan Marcus proof of the necessity of identity given in
Chapter Four, §§–. The parallelism will be equally apparent between
the interpretive issues that arise in each case. If there is doubt about the
kind of context that is created by ‘determinately’, for instance, then it
may be that the doubt is to be circumvented by recognizing a predicate
adverb and forming complex predicables by -abstraction. (See Evans,
and see again Chapter Three, §.)
When he has explored these parallels, the reader will be able to come
to his own view of the prospects of following the paradigm of Chapter
Four and extending the proof of a ⫽b→ ⌬ (a ⫽b) into a proof that a 苷b
→⌬ (a 苷b). Just how hard it would be to deny even the second and
stronger of these claims has been shown by Timothy Williamson.10
(Compare the proof in Chapter Four of the necessary distinctness of
non-identicals.)
Again, it will be equally obvious that the derivation (i) (ii) (iii) (iv), is
available for any interpretation at all of ⌬ that verifies premiss (ii) and
preserves the referential transparency of the context it creates. For
instance, if we read (ii) as ‘a is absolutely identical with a (i.e. not as a
matter of degree)’, then we can deduce Reid’s conclusion that if a is b
then a is absolutely b (not as a matter of degree).
18
Perhaps then we have an animal that comprises two animals. This is simply a case of homeomery,
not of indeterminate objecthood. For individuation and number concepts, see Chapter Two, ad
fin.
For more general issues that arise here about ostension, see Chapter One, especially § and
§.
Identity: absolute, determinate, and all or nothing
members to be lapsing (or to have lapsed) in . The first question is
whether there is any good reason to allege this identity. It cannot be
made to hold by a simple decision on the part of those meeting in
(even if decisions on the part of the founders are relevant to the ques-
tion). On what terms, if any, was the club dissolved in ? What had
been the articles of association? The thing that really needs to be made
out is the point of the claim of identity, and the case for the identity. If
the case is not good enough, then the thing that we are prompted by (iv)
to say is that the clubs are not the same. Why object to that?
Example (c), Theseus’ ship, is a more complex matter (as we have seen
already in Chapter Three, §). But what does the question of identity
turn on here? Without using the idea of identity, one cannot say. But
using it freely and imagining a set-up where we are not unduly hampered
by problems of unknowability, perhaps one can contrive to say some-
thing at least. First, we have a reference to Theseus’ ship; and then (let
us suppose) we have a reference to the ship whose late return in
delayed Socrates’ drinking of the hemlock. Behind each reference stands
the singling out of the object of that reference. What exactly did each of
these singlings out catch hold of ? To determine that, we have to find
some common way of further amplifying, developing and specifying each
singling out,19 reaching backwards and forwards along the life span of
each object, working towards a more and more complete answer to this
question. (Advice: it will save work and serve clarity to do what we nor-
mally do without thinking, namely begin work on the object that is spec-
ified by reference to the earlier time.) In the end, either we shall find that
we have rendered it completely manifest that, as fully spelt out, these are
the singlings out of one and the same ship, or else we shall find that we
have collected an x and y such that, for some genuine predicable that
is true of one or other of x and y, it holds that x and it does not hold
that y.
On what principle, then, must we determine the temporal extent of
the life span of Theseus’ working ship? Well, it depends in the first
instance on what ships are and what that ship was. We have said that
one can allow for the occasional disassembly of the ship; that one can
allow for a measure of replacement of parts; that one can allow for
modifications of the ritual or religious functions of the ship, with or
without structural alteration. The thing one cannot allow (or so it was
19
This stipulation, which ensures the compatibility and commensurability of the singlings out as
further amplified, corresponds to the ‘there exists a sortal concept f such that . . .’ clause in the
statement of principle D given in Chapter Two above.
Identity: absolute, determinate, and all or nothing
declared in Chapter Three), if Theseus’ ship is to be that which is being
singled out, is arbitrarily much of all three kinds of change. (If we do
allow arbitrarily much of all three, we may find we have let in
Hobbes’s competitor ship.) Perhaps each such change is pro tanto insig-
nificant. But that which matters at each point is the overall distance of
the new condition at that point from the original condition of the ship
that Theseus dedicated to Apollo. (If we are careful about this, if we
recognize that any real candidate to be the ship whose late arrival
delayed Socrates’ death in must inherit the answerability of
that ship to the condition of Theseus’ own ship, if we insist also
that not arbitrarily much of the matter of Theseus’ ship can be dis-
carded, then nothing can colourably emerge as a rival ship during the
lifespan of the ship.) And in the end we must say no (or refuse to say
yes) when too many such changes are too variously combined with one
another or too much of the original matter is lost from the ship. The
better our understanding of what is at issue, the more exact our sense
will be of when to say no.
Needless to say, this way of regulating Sorites reasonings respects the
vagueness of predicates that are vague. Identity is not one of them. It
respects also the graduability of predicates that can qualify a thing to
some degree. Identity is not one of these either. Note also that that which
the determinacy of identity enforces is that each and every positive deci-
sion of identity must be judged by the same strict standard as we ought
to require for determinate (and absolute) identity.
That ruling is tailored to identity. But what is so unfair or so unman-
ageable about it? Suppose that, in reaching forward from the origin to
later times, we get to a point t after which, using that backward-looking
standard, we cease to be satisfied that the very same thing is being singled
out. Then we shall say that what we have at t is indeed Theseus’ ship.
But, when confronted with something picked out by reference to times
later than t, we shall refuse to affirm that Theseus’ ship is this ship.
Contraposing (iv), it will then be open to us to find that Theseus’ ship is
not identical with any item we are presented with that is found after t.
Before we thought, we might have been in doubt. But having thought
about what identity involves, it will be apparent to us that there is no
alternative but to permit the logic of identity to regulate our individua-
tive thinking. By this logic, a ship found after t has to be a new and differ-
ent ship that emerged from the process of successive remodellings of a
ship that was older and different. Provided we see this decision as itself
arising from the exigencies of singling out a continuant that has a history
Identity: absolute, determinate, and all or nothing
and an original condition that cannot be read off it at a glance, the deci-
sion will appear reasonable and inevitable.
footnote (cont.)
the puzzle that have become visible as a result of Geach’s discussions, see Stoicorum Veterum
Fragmenta, ., and the commentary thereon given by David Sedley at pp. – of ‘The Stoic
Criterion of Identity’, Phronesis ().
24
Geach’s explanation of this usage may be reproduced as follows: a name for an A can be
explained as a name associated with the criterion of identity: Same A. Whereas a name of an A
names something which is an A, but need not be associated with the criterion of identity.
Chapter One (see also my reply to Noonan in ‘Replies’ (Lovibond and Williams, )) will
have made it clear that, on my view, one who uses a name n for an A object x is committed to
the possibility of making it determinate which of the As he has picked out by the name n and is
equally committed to the possibility of making it determinate that it is to x rather than the matter
or the parts of x that he is referring. (Cf. Chapter One § on the ‘is’ of constitution.) But to make
that determinate is to commit oneself to the principle of individuation for x. In practice there is
simply no need for a name of an A that is not a name for an A.
Identity: absolute, determinate, and all or nothing
Thus each one of the names ‘c1, c2, . . . c1,001’, or again the name ‘c’, is a name
of a cat; but none of these , names is a name for a cat, as ‘Tibbles’ is. By
virtue of its sense ‘Tibbles’ is a name, not for one and the same thing (in fact, to
say that would really be to say nothing at all), but for one and the same cat. This
name for a cat has reference, and it names the one and only cat on the mat; but
just on that account ‘Tibbles’ names, as a shared name, both c itself and any of
the smaller masses of feline tissue like c12, and c279. For all of these are one and
the same cat, though not one and the same mass of feline tissue. ‘Tibbles’ is not
a name for a mass of feline tissue.
So we recover the truth of the simple story we began with. The price to pay
is that we must regard ‘ _______ is the same cat as _______ ’ as expressing only a
certain equivalence relation, not an absolute identity restricted to cats; but this
price, I have elsewhere argued, must be paid anyhow, for there is no such abso-
lute identity as logicians have assumed.
That, no doubt, is one way to answer. But for those who reject R and
affirm Leibniz’s Law,25 there must be another response. I think the best
response would be one that adds nothing to the description of the puzzle
situation, but shows instead how something needs to be taken away. My
suggestion is that one should scrutinize carefully the purported defini-
tion of cn. Our freedom to single out this rather than that was not the
freedom either to remake the concept cat or to reconfigure its instantia-
tions. Suppose you take the concept cat as you find it, you look for its
instantiation in object c901 and you count c901 as a cat. Then you are com-
mitted to track down all of c901.26 But that (if it is anything at all) is
nothing lesser than Tibbles. If Tibbles has such a hair as h901 (or has a
tail), then you cannot define c901 into existence as the cat that lacks the
hair (or lacks that tail). For there is no such cat.
At this point, the reader will remember the analogous claim that was
advanced in Chapter One, §, namely that, if John Doe was a boy and
later a man, there is no possibility of picking out or fixing upon an
object, a boy, John-Doe-as-a-boy, that is distinct from the substance John
Doe, who grew old and was by an old man. (This is not to say that
one could not in have picked out John Doe as a boy. But here the
25
My response to Geach’s charges against the coherence of Leibniz’s Law and absolute identity is
given at ‘Replies’ (Lovibond and Williams, ), p. .
26
There is here a faint but interesting analogy with something that Robert Nozick has urged. See
Philosophical Explanations (Oxford, ), p. . The point that I think I see there in Nozick is in no
way proprietary to the Closest Continuer theory, defended by Nozick. The point I think I see in
Nozick’s discussion (see especially his citation from Tversky) relates to the level of conceptions
or senses. It is a misunderstanding of the concept cat (and a failure to grasp the point of the concept)
not, in applying it to the set-up Geach describes (namely, Tibbles on a mat), to deploy the whole
reach of the concept. It is worse still, having denied the concept its full application, to institution-
alize this misdemeanour in the manner of Geach’s definition of cn.
Identity: absolute, determinate, and all or nothing
‘as a boy’ is to be read in construction with the verb ‘pick out’, not with
‘John Doe’.)
The technical sophistication of those who tinker with the proposals I
am opposing here is completely out of scale, I suggest, with the small
heed they are prepared to pay to the most invaluable commonplaces of
the logical theory of definition, not least its admonitions concerning
creative definitions.27
42
Roman Private Law founded on the Institutes of Gaius and Justinian, by R. W. Leage, nd edn by C. H.
Ziegler (London, ).
Identity: absolute, determinate, and all or nothing
the magistrate determined in favour of A’s plea to retain the picture,
on the grounds that Wednesday evening’s picture is not the same work
as the sketch belonging to B that A discovered on Monday morning.
Suppose everyone agrees that too much has happened on the tablet
between Monday afternoon and Wednesday evening for any other
finding. Suppose it has been ruled that Monday’s work was restoration
and Tuesday’s mere meddling. The meddling has changed the original’s
appearance a little, there has been significant qualitative change, but on
Tuesday the original still exists (albeit ‘improved’, A says). Obviously
then, the moment when Monday’s picture ceased to exist occurred on
Wednesday. Suppose that the crucial changes that A made to the picture,
though begun earlier in the day, were not fully in progress until . pm.
Now consider this identity claim: ‘The original sketch, the sketch that
was visible on Monday, on Tuesday, and on Wednesday morning, is iden-
tical with Wednesday evening’s picture.’ That claim is certainly false (or
so we are supposing). Yet is not the following remark, made by a witness
Caecilia, true? – ‘The picture that was on the tablet at . pm on
Wednesday was almost the same picture as the picture belonging to B that
A discovered on B’s tablet on Monday. Indeed, if A had been attempt-
ing less, if A had not taken it into his head to impose his own concep-
tion of the scene depicted, then the picture to be found on the tablet at
. pm on Wednesday would indeed have been the same picture as that
which A discovered on the tablet on Monday.’ (Cf. Chapter Four, §.)
Let it be conceded immediately that, given the finding of non-identity
between the original sketch belonging to B and A’s finished work, this
could well be a sensible, non-pointless and true thing to say. The ques-
tion is whether the proper interpretation of the claim involves identity
itself ’s holding either almost or not quite. What I should say is that, when
she offers the commentary last quoted, Caecilia has no need at all to
commit herself to that idea. For when she stated that the Wednesday
. pm picture was almost the same as the original discovered on
Monday, she can be interpreted faithfully as saying that the former
picture has a strong qualitative resemblance to the latter. Caecilia can
also be interpreted as expressing the thought that it was almost the case that
there was on the tablet at . pm, Wednesday, a picture that was one
and the same picture as the picture discovered on the tablet on Monday.
If such and such hadn’t happened, or if someone had dissuaded A from
following his impulse, then the picture on the tablet at . pm would
have been the same. But here the definite description ‘the picture on the
tablet at . pm on Wednesday’ must have the sense of ‘whatever
Identity: absolute, determinate, and all or nothing
picture it was/would have been’. (That is an entirely normal use, on
some views a standard use, of a definite description.)
Nothing then forces this issue. One could accept Caecilia’s remark
entirely verbatim without having any use for the idea that a can be
almost identical with b (in the numerical sense of identity) or could
almost have been b. But why should one resist the idea?
If I resist, it is on the strength of the following thought. The aspirant
who reaches a height of ft ⁄in either goes on to ft or he doesn’t. But
whichever he does, whether he succeeds or he fails, he is there and he
makes it or he doesn’t make it to ft. It is he who lives through his good
or bad luck. It is not so similarly easy to make sense of there being through-
out something that would or would not count, on Wednesday at . pm,
as numerically identical with the Monday picture. We could of course
say, for the case of a variant on the actual history in which someone
restrains A on Wednesday morning, that the picture of Monday was
almost destroyed on that Wednesday, but escaped. But in any scenario that
Monday picture can’t have been almost identical with the actual
Wednesday . pm picture. In the actual scenario, the Monday picture
was obliterated or effaced some time on Wednesday before . pm. In
the variant where A is restrained, the Monday picture is still on B’s tablet
on Wednesday at . pm. It is there, not almost there, even if it almost
suffered the fate of being painted out.
In our putative example, there is indeed, in both variants, something
that is there all along, namely the tablet that belonged to B. But B’s tablet
is not identical with either the original sketch or the new painting that A
made out of that sketch. (Here Roman Law and the doctrine of individ-
uation agree.) The tablet with B’s picture on it can indeed become by
degrees a tablet that supports the new picture that is A’s property (even
while it, the tablet, remains B’s). It is not of course to be denied that the
picture B owned can become more like the picture that will be ascribed to
A. Under A’s earlier restorative attentions, the picture that B owned can
indeed, in this sense, creep up on the status of A’s picture. But it cannot
creep up on being the same picture as A’s picture and either fail, or just
fail, or just succeed or easily succeed in being that very picture. It is no
easier for it to be almost the very same picture as A’s picture than it is for
it to be in part numerically identical with that picture.
Conclusion: When Caecilia comments, plausibly enough, that the
. pm Wednesday picture is almost the original Monday sketch, or
vice versa, she is not charitably or sensibly interpreted as saying anything
at all that would entail that this very picture, even though it is just coming
Identity: absolute, determinate, and all or nothing
into being under the care of A, is almost numerically the same as the
picture which, on Monday, A discovered on a tablet belonging to B. (Nor
is the converse claim at all promising.) If this is right, then it supports the
thought that identity itself is not only all or nothing. It actively excludes
(or so it now appears) the ideas of just making it, almost making it, or a
near miss.
Those who want always to be sure there is some formal demonstra-
tion in the offing may see the doubts I have just rehearsed about the idea
of an entity a’s being almost identical with an entity b (and my reading
of Caecilia’s claim as altogether innocent of that idea) as furnishing an
advance commentary on the following derivation:
(i) a ⫽b (Hypothesis)
(ii) a is not almost identical with a and is not almost distinct from a
(iii) a is not almost identical with b and is not almost distinct from b
(iv) (a⫽b)→(a is not almost identical with b and is not almost distinct from b)
(v) (a is almost identical with b or a is almost distinct from b)→a苷b.
Commentary. (v) is the contraposition of (iv). (iv) is arrived at by condi-
tional proof from (iii) and (i), discharging (i). (iii) comes from (ii) and
Leibniz’s Law. (ii) is a substantive claim about a’s identity with a. In (ii),
the ‘not almost’ is read twice over in one natural way. This is the same
as the way in which it is read in (iv). (ii) itself reflects one special thing
about identity. It reflects the same thing that organizes the persuasive
efforts of all the preceding paragraphs of this section. Moreover, (ii) is
true.
.
In this chapter there is just one rash claim about identity (and singling
out) that I have held back from entering. I have not said that findings of
identity are uncontentious. All or nothing, no near misses, determinate,
and all the rest – that is one thing. Uncontentious is another thing alto-
gether. Identity can be all or nothing, determinate, exclude degree,
exclude near misses . . . and be contentious. But the theory of identity
that allows findings of identity to be contentious – this I have aspired to
render less contentious. Once sober conceptualism comes to the aid of
ordinary common sense, philosophy has no need (I declare) to supplant
the common sense conception according to which identity is utterly
special and unique.
Personal identity
You would not find out the bounds of the soul, though you traversed every path:
so deep is its logos.
Heraclitus
PART ONE
.
If the thesis of the Sortal Dependency of Identity (D) is correct, then a
simple expectation arises: namely that, in the case where A and B are
persons, the content of the sentence ‘A is the same as B’ may be eluci-
dated, through the equivalence of ‘A⫽B’ and ‘A is the same something
as B’, as requiring for its truth that A should coincide with B under the
concept person. This can scarcely be wrong. But, since the question that
it pushes into immediate prominence, of what sort of thing persons are,
leads into a thicket of philosophy, anyone who has been once through
the thicket may wonder whether it can be skirted.
One way round seems to be to reflect that, if A and B are the kind
of creature that we take ourselves to be – the kind of creatures writing
or reading this book, I mean – then an equally good answer to the same
what? question ought to be ‘human beings’. For if A and B are persons
and human beings, then A could never be the same person as B and
not the same human being as B; or the same human being as B and
not the same person. (Cf. Chapter One, § following.) So, given the
human beinghood of A and B, this furnishes a perfectly good cover-
ing concept for the identity ‘A is the same as B’. ‘Person’ and ‘human
being’ differ in sense. They may even differ in their extension. But that
Personal identity
is immaterial.1 What matters is that here, in so far as they assign any,
the concepts person and human being assign the same underlying princi-
ple of individuation to A and to B, and that that principle, the human
being principle, is the one that we have to consult in order to move
towards the determination of the truth or falsehood of the judgment
that A is B.
Human beings, endowed as they are with a distinctive mode of activ-
ity of their own, are substances in the rich sense of ‘substance’ that has
been built up in the preceding chapters.2 Their mode of activity is
nothing unknown to us. So one might well wonder how questions of
identity covered by the human being concept could fail to find the notion
of identity at its most straightforward and unproblematical best. By
admitting of answers that are principled, such questions ought to
exclude the risk (and even the risk of the risk) of indeterminacy. See
Chapter Six. Ought it not to be safe then, in any case where it is not
doubtful that A and B are determinately identified, to see the apparent
non-determinacy of truth-value residing in a claim ‘A⫽B’ as entailing
that A is actually not B? On this view, the difficulty of undecided ques-
tions of personal identity ought to derive either from faulty formulation
or from ignorance. Or else, if human being is metaphysically troublesome
(which need not be very surprising), then we must attend again, at need,
to the question of what human beings are (cf. §) in order that we be
better placed to apply to the problem of their individuation the princi-
pled ingenuity and vigilance that ought to be promoted by any adequate
dialectic of sameness and otherness.
One might wonder why this passage of Butler has not been permitted
to settle the whole matter once and for all in favour of a substance
Personal identity
account, either a human being account or else a soul account. Not only
does it seem obvious that the general is the same person and the same
subject as the boy. To one content to work within the framework which
we owe to miscellaneous insights of P. F. Strawson (see especially
Chapter Three of his Individuals) and of Donald Davidson, it will appear
plainly that the most interesting point in the case sustaining Locke’s
insight could have been readily accommodated within the human being
view. Let us see how.
Par excellence, a person is not simply one of us or a proper object of
our reciprocity,6 but a subject also of interpretation, a being that both
interprets and is interpreted. In making sense of others and of ourselves
in the business of interpretation, we cannot, however, make do with the
bare idea of ‘a subject of interpretation’. We need some further notion,
however rough and ready, of what sort of thing is to count, empirically
or operationally speaking, as a subject of interpretation. The grammat-
ical substantive ‘interpreter’ lies too close to being a mere determinable
to serve the purposes of individuation. If ‘subject’ or ‘interpreter’ is to
play any properly sortal rôle at all here, if sense is to be made of how
subjects of interpretation find other subjects of interpretation, there is
need for some further determination. As we find our feet in the world
and learn to adjust to others’ expectations, as we begin to understand
what we mean by the words we have learned already to utter, as we
extend our capacity to interact with others and participate or co-operate
with them, what stereotype of personhood do we have to catch onto,
clearly if not distinctly, and learn to elaborate?7 In its individuative and
recognitional non-effectiveness, the conception furnished by John Locke
is not very much better than the bare idea of ‘interpreter’. Even here,
however, we may be able to make a new beginning from the materials
that Locke provided. People are animate beings (we may revise his declar-
ation to say) – or palpably substantial souls, if you prefer – bearers of P-pred-
icates and M-predicates, who not only think things, but do things and undergo
things, beings who reason, reflect, perceive, feel, imagine, desire, intend
and have experiential memory . . . are happy or miserable . . . conceive
16
For the thought that ‘us’ has an essential occurrence in this claim, see op. cit. at note above.
17
Pace Peter Winch’s presidential address, ‘Eine Einstellung zur Seele’, Proceedings of the Aristotelian
Society (–), the question does not presuppose that we find our feet in the world by procedures
analogous to those that the philosophers of semantic interpretation have described. It only pre-
supposes that, beginning and proceeding however we do, participatively and interactively no
doubt, we reach some point where we know roughly what a person is. In catching on, we grasp
the stereotype, clearly though indistinctly. For my use of the word ‘stereotype’ here, see Chapter
Three, note , last paragraph. For clear and indistinct knowledge, see Chapter Three, footnote .
Personal identity
of themselves thus (as above) . . . who have and conceive of themselves
as having a past accessible in experiential memory and a future access-
ible in intention. . . . Is it not by virtue of our grasping practically and
following through some such stereotype, is it not by virtue of our per-
fecting our application of it in the perceptible world, that the marks of
personhood come home to us, and are available to be elaborated in phi-
losophy? More soberly, let us say that in this way the marks are assem-
bled of persons as we know them from the only case we shall ever become
familiar with, namely that of persons who are human beings. Finally, at
the last step, the position of experiential memory comes to the fore. If
experiential memory is a mark of personhood, and persons need to con-
ceive of this faculty as essential to their own way of being, then that
secures its full significance to our expectation that, when people do or
suffer something, this will impress itself on their mind, extend their infor-
mation, colour their experience and influence their future responses. In
the absence of that expectation, few if any of our finer-grained inter-
pretations of people or the practices these expectations support could
ever be sustained.
If so much is correct, then, because of its central role in interpreta-
tion, experiential memory plays a special part in the full picture of per-
sonhood. But that finding (I insist) does not imply that experiential
memory will impinge on the necessary (or sufficient) conditions of the
survival of persons or play any role in the statement of sufficient condi-
tions of survival. (Still less is memory put at the service of a construction
of some self that is distinct from the human being.) Locke can be right
about remembering as central among the marks of personhood without
Locke’s or the neo-Lockeans’ being right about personal identity.
Neo-Lockeans have ignored such partial accommodations and dis-
tracted attention from them. Human being theorists may justly com-
plain of that. But there are at least two other reasons why Butler’s
criticism of Locke’s theory of personal identity has been found incon-
clusive. The first is that so many of Butler’s admirers have appeared to
overlook the possibility (the bare theoretical possibility, I mean, but it is
one much prized by neo-Lockeans) that the act of experientially remem-
bering (remembering ‘from the inside’) planting a fig tree (say) might be
modelled (logico-grammatically speaking) on such acts as conceiving or
imagining or visualizing planting a fig tree.8 For the notable point about
18
These are acts where the mental content imagined, visualized or conceived does not call for the
subject of the act, the planter, to be specified. A fortiori, the subject need not be specified as the
same as the conceiver, imaginer or visualizer. On these and related matters, see Bernard
Personal identity
acts such as these is that they do not make the kind of reference back to
the self which invited Butler’s charge against Locke. Taken by them-
selves, the would-be truisms adduced by the Butlerians are not enough
to vindicate Butler’s criticisms. And so much must be admitted by
human being theorists.
In the second place, friends of Butler and human being theorists have
sometimes overlooked how easily the boy whose exploits the general has
forgotten can be reunited by the neo-Lockean view with the general
himself. Lockeans were well within their rights to be irritated when
Butlerians represented that there was an easy objection against Locke to
be found in this quarter. The Lockean’s point is worth making more
explicit – not so much because it is decisive in Locke’s or anyone else’s
favour as for the sake of a fairer recapitulation of some of the saner or
more durable preoccupations of the philosophy of personal identity. In
the absence of such a recapitulation, Butler’s central insight will con-
tinue to be obscured, or its real significance will not be appreciated.
. -
To the friends of Butler, that might seem to be the end of the matter. But
it is notorious that the neo-Lockeans have not wanted to give up. No
13
Butler’s own account of identity is imperfect and at some points confused. In fact, it comes as a
relief that he unreasonably refuses to elucidate a notion so simple, so final and so spiritual as that
of identity of person. For the best statement of something that is closer to what Butler, given his
beliefs and preoccupations, really ought to have said, see Thomas Reid (), , §.
14
Of course, some strength might be restored to the right-hand side by reimporting (somehow) any
causal components that are lost by inserting ‘or apparent’. See below, § following. But the con-
siderations urged in the next paragraph will still apply.
15
I call it R because Derek Parfit calls it R. Let not the relation R be confused with the thesis R of
the relativity of identity, denied in Chapter One; or C with C, denied at p. .
Personal identity
doubt there have been bad reasons for this – blind perseverance allied
with the inertia of misplaced ingenuity, phenomenological (would-be
phenomenological) overdrive, a hypostatization of the conscious subject
(which prepares some of us to reject the conscious subject as so charac-
terized) or the misunderstanding of the traditional idea of a substance
(allied, no doubt, with an unacknowledged residual attachment to it or
dependence upon it). But perhaps there have been good reasons, as well.
In a book published thirty-seven years ago and devoted in part to the
diagnosis of a mistake that was far commoner then than it is now (in
/) – namely that of supposing that ordinary claims of experi-
ential memory have to represent themselves as claims of identity (rather
than as importing the presupposition of it) – Sydney Shoemaker pro-
posed a striking thought experiment:
‘Suppose that medical science has developed a technique whereby a surgeon
can completely remove a person’s brain from his head, examine or operate on
it, and then put it back in his skull (regrafting the nerves, blood-vessels, and so
forth) without causing death or permanent injury. . . . One day a surgeon dis-
covers that an assistant has made a horrible mistake. Two men, a Mr Brown and
a Mr Robinson, had been operated on for brain tumours, and brain extractions
had been performed on both of them. At the end of the operations, however,
the assistant inadvertently put Brown’s brain in Robinson’s head, and
Robinson’s brain in Brown’s head. One of these men immediately dies, but the
other, the one with Robinson’s body and Brown’s brain, eventually regains con-
sciousness. Let us call the latter ‘Brownson’ . . . He recognizes Brown’s wife and
family (whom Robinson had never met), and is able to describe in detail events
in Brown’s life, always describing them as events in his own life. Of Robinson’s
past life he evidences no knowledge at all. Over a period of time he is observed
to display all of the personality traits, mannerisms, interests, likes and dislikes,
and so on that had previously characterized Brown, and to act and talk in ways
completely alien to the old Robinson.
What would we say if such a thing happened? There is little question that
many of us would be inclined, and rather strongly inclined, to say that while
Brownson has Robinson’s body he is actually Brown. But if we did say this we
certainly would not be using bodily identity as our criterion of personal iden-
tity. To be sure, we are supposing Brownson to have part of Brown’s body,
namely his brain. But it would be absurd to suggest that brain identity is our cri-
terion of personal identity.’16
At the time when Shoemaker’s book appeared, and along with almost
everyone else, I was extremely impressed by this example. Yet I see now
that we were not all impressed for the same reason. Some were
16
(), pp. –. (See also pp. , , –, , –.)
Personal identity
impressed by the simple thought that, if the brain transfer were per-
formed with preternatural dexterity, then Brownson’s experience would
be a subjectively seamless continuation of Brown’s. Others, a smaller
group perhaps, but the group to which I belonged and would have
avowed loyalty (this is not only hindsight), would have preferred to say
that the special thing about Brownson was that he was the functional
inheritor and continuator of all of Brown’s vital faculties. This was the
reason why Brownson counted as the unique inheritor of the title to be
Brown, the reason why Brownson was Brown, that very substance.
Neither Brown nor Robinson nor Brownson was a brain. But the brain,
being the seat of memory and consciousness, was not just any old part
of the body among others.17 It was the essential nucleus of a person (of
a human being) – or so we were wont to maintain. Moreover, experien-
tial memory was more than a mere potentiality. It was a shaped and
developed capacity, conspicuous among all the vital functions of person-
hood and coeval (in persons as they are known to us) with our developed
faculties for sentience, locomotion, desire, cognition, . . . etc.18 Why then
should not the embodied faculty for experiential memory enter into the
whole principle of activity of persons conceived as we conceive them? (See
D(v), Chapter Two, §.) Why should it not enter into some plausible
emendation of the serviceable principle suggested by a misappropria-
tion of Locke’s own words ‘the identity of the same man consists in
nothing but a participation of the same continued life, by constantly
fleeting particles of matter, in succession vitally united to the same orga-
nized body’? Why not let the emendation that is needed for the sake of
the Brown–Brownson case, considered as a case of personal identity,
require for the persistence of a person the operation of the same prin-
ciple of activity and/or the participation of the same continued life
‘vitally united to the same vehicle’ or ‘vitally united to the same seat of
vital functions’?
17
See my (), p. , para. . (See also p. of the second item cited at note .) There was
nothing to prevent one from being impressed by both kinds of consideration. I must have had
some regard to the other kind when, a little later, I wrote ‘we should scarcely allow a criminal to
escape the penalty due to the unique doer of a criminal act by contriving his own fission’. See
‘Locke, Butler and the Stream of Consciousness: and Men as a Natural Kind’, op. cit. note
above, the precursor of the chapter that the present chapter replaces. But this kind of consider-
ation was secondary.
18
Even if Brownson had taken some time to settle down after the operation to get used to his body,
to exercise its neural connexions and resume Brown’s life – and philosophers are still apt to under-
estimate the preternatural dexterity and knowledge that the imaginary surgeon and his equally
imaginary team of anaesthetists, suturists, radiographers, laser-technicians, physiotherapists,
psychotherapists, counsellors and the rest, would have to bring to bear – , the need for such a
convalescence might not have made any essential difference to that which then impressed one.
Personal identity
34
The same goes for the role of direct perception and one’s memory of what one believes. In the
argument of these pages, I follow the argument of my article, ‘Remembering Directly’ ().
That argument, I should record, is an attempt to develop in one particular direction one of the
points made by Evans, The Varieties of Reference (Oxford, ), pp. ff. (I cannot understand
Parfit’s answer to Evans, given in his (), p. .) How dare I, having (in effect) criticized Q-
memory theorists for not demonstrating the soundness of their definitions, offer non-conclusive
arguments, all founded in the suspicion that the sense of the word ‘remember’ is at once inde-
finable and sound? I only dare because the dialectical positions are not exactly symmetrical. First,
we scarcely know of any correct analytical definitions. So the most we have is the prospect of a
correct definition of Q-memory. Secondly, ‘Q-remember’ is the neologism. We ought to refuse
to use it till it is given a determinate use. In the case of ‘remember’ it has a determinate use. The
conviction is at once defeasible and indispensable to us.
Personal identity
testimony itself be exactly what it now is once quasi-memory was
counted among the sources of the testimony of others.)
Suppose it has started to rain and I need to be sure that, if I am going
to go out later, then I shall not get wet. Then I need to be able to take it
as a perceptual datum that I see that it is raining, and as a memory
datum that I have an umbrella. If the question arises in my mind ‘Am I
sure I still have an umbrella?’, then I need to be able to summon another
memory, such as the recollection of having seen it very recently hanging
on a peg. I need to be able to say from personal memory not only ‘there
are pegs in the hall and by the back door’ but also ‘I remember seeing
the umbrella there yesterday night.’ From perception and memory and
memory of coming in last night, etc., I need to be able to say: ‘I’m at
home. This is the back door through which I entered. So the umbrella
must now be hanging in the corridor at the back.’
The trouble with such a train of thoughts in the form in which it
would need to be redeployed under the Q-modified conception of
memory is that the idea of an umbrella-check effortlessly organized by
someone’s idea of his own single-tracked unitary life becomes proble-
matic in a quite new way – precisely as we see it doing in the long cita-
tion from Parfit given in §. We can dispense with infallibility. What we
cannot dispense with is the organization of such thoughts by starting
points consisting of the unmediated presentations of memory and per-
ception and the accreditation of such presentations by their provenance
as unmediated. That is not all. To know how to start upon any future col-
lation of evidences I shall need to know which findings had that direct
provenance. If I am remembering in the normal fashion and I can
expect to place that which I remember, then I shall know, as and when I
need, what explanation to seek of the relevant perceptual and memory
findings, both the correct ones and the mistaken. I can weigh how com-
pelling each such finding is and try to put a body of them together into
a coherent narrative that accommodates together and explains together
their several verisimilitudes or falsisimilitudes. But how else can they be
placed so except in a partial narrative of my life? For thoughts such as these,
identity is not eliminable.
The quasi-memory theorist may react to these difficulties by suggest-
ing that the normal truth-condition for remembering be modified in
such a way that all I need to be able to claim is ‘someone in an R-rela-
tion to me saw the umbrella hanging on a peg’. If the Q-theorist is stick-
ing to his brief, however, then he has no title to that explanation. Even if
he can whitewash the ‘me’, he cannot appeal to the relation R in the
Personal identity
explanation of ‘quasi-remember’. For quasi-memory is one of the things
he needs to use in order to construct the definition of R.
PART TWO
. ,
Here is a summation of what has been claimed so far in this chapter: for
personhood as we know it, the identity of persons coincides (I began by
37
There is a special difficulty in disentangling memory from identity. Unlike a perception, whose
occurrence ties it to what was there to be perceived and whose correctness can in principle be
regulated from other investigations of what was there to be perceived at the time and place of
the perceiving, and unlike a portrait whose title and original provenance ties it to some sitter to
whose appearance it is answerable, the act of recollecting an experience, the event e to which the
recollection is answerable for its correctness, does not permit the identification of its content or
referent, namely e, to be made on the simple basis of the place or time of the occurrence of the
act of recollection. The place and time of doing the act of recollection afford no indication what-
ever.
On the inner view of memory, the importance of this comes out in the need (already men-
tioned) for the rememberer to place the thing remembered, the experience, and thereby signal
the correctness condition of the memory-state in question, by reference to something in the
sequence of his own life. He can only do this sort of placing or fixing of e by engaging in the
kind of thought that the definition of quasi-memory does nothing to make sense of and that is
problematic for Brownsons () and ().
On the outer view of memory, the same point comes out first in the need to ascertain from
the subject what memory presents to him (see the inner view) and secondly in the need to iden-
tify by reference to the outer life of the rememberer the very experience – wherever there is one – to which
the recollective act or memory state is answerable for its correctness.
Personal identity
suggesting) with the identity of human beings. Human beings are sub-
stances possessed of a specific principle of activity to which, in the
course of a life, each one of us gives his own yet more specific, more and
more distinctive, determination. Prominent among the specifically
human activities is our exercise of the cognitive faculties. Faced with
Sydney Shoemaker’s Brown–Brownson case, our provisional first
finding was in favour of the identity of Brown and Brownson, because
Brownson appeared to be the determinately traceable functional contin-
uator of Brown (we said) and Brownson seemed to inherit (in the manner
in which any ordinary person who has suffered no such adventures is
constantly inheriting from himself) the perfected epistemic and other
capacities of Brown. He carries these forward through time, together
(we assumed) with Brown’s other skills and abilities. Moreover, we found
on further examination that the judgment that Brownson is Brown lies
well outside the reach of Butler’s objection to Locke. If there are diffi-
culties with the Brown–Brownson case, they do not reside here. Neither
for purposes of Brownson’s thoughts, nor yet for the purposes of describ-
ing in third person mode (or in philosophical mode) the set-up that
includes those Brownson thoughts, is there the slightest need to try to
construct the identity free notion of experiential memory. Nothing
appears to prevent us from thinking of Brownson as having full cogni-
tive responsibility for the claims that he makes from direct personal
memory.
That summarizes only what happened up to §. Now for the rest.
Consider the case where we have not Shoemaker’s Brownson but two
splinters, Brownson () and Brownson (), resulting from the transplant-
ing of the two halves of Brownson’s brain into bodies of twin Robinsons
(each found available, we are to suppose, in debrained condition). Here,
we allowed that we may want to say that it is as if Brownson () and
Brownson () remember. But we declared that, on the terrain lying
beyond the case Shoemaker introduced, no stronger claim ought to be
allowed than it’s as if. For neither Brownson () nor Brownson () is the
same as Brown, and there is no newly minted, properly defined remem-
bering-of-experiences relation (or so it was argued) in which Brownsons ()
and () can stand to Brown. (That was the conclusion of §§–.) No new
memory concept that was modelled on the notion of memory that once
commended Locke’s discussion to us ought to try to make room for per-
sonal or experiential remembering in the case of Brownsons () and ().
Friends of quasi-remembering seek to improve on the finding that in
various ways it is for Brownsons () and () as if each of them were
Personal identity
Brown. But in so far as quasi-remembering gets us beyond that anodyne
judgment into something that is stateable without the use of the ‘as if ’, it
brings nothing but conceptual disruption.38 ‘Quasi-remember’ is ill-
defined; and in its application to Brownsons () and (), a confluence
appears of two things that scarcely mix, the idea of a person as a singu-
lar thing with an individual biography and the idea of a person as a
quasi-universal, susceptible of multiple instantiation.
39
If a Parfitian person were corporate, what account would it offer of its own members? Does each
member itself have members? In case there is a reader who wants to pursue this question and
in case that may be useful, he will find an informal statement of the Fundierungsaxiom in note .
Personal identity
. ,
40
In the philosophical transition that will carry us slowly back to our start-
ing point, viz. the Shoemaker case in its original state, there remains one
other case I have to comment upon, namely the case where the brain of
Brown is split but only one of the two portions is successfully trans-
planted into a Robinson twin. The other dies, we may suppose. Let us
call the survivor of these events Brownson Sole. In the circumstances (it
will be asked), how can we refuse to treat Brownson Sole as Brown
himself ? If Brownson Sole claims to have seen the Aurora Borealis from
a fishing boat off Orkney on which he was the only US national, if he
gets the numerous details of Brown’s adventure right and this is no fluke
or accident, then how can we help but treat Brownson Sole as one who
was indeed there? It may seem that the only thing that is left to ask is
how well he remembers seeing the Aurora Borealis.
We can go as far as we like with the as if (I reply) and we can take the
as if as lightly or as seriously as we wish to take it. Indeed we can take the
as if fully seriously enough to experiment with questions put to a being
that we count only as a ‘repository’ or the carrier of traces of some event
they were not present at. When someone devises a whole philosophy of
als ob, that can be taken seriously too. But consider the judgment that
Brownson Sole is the same as Brown. If it is true, it ought to depend only
upon Brown and Brownson Sole. It ought not to depend on an assurance
about the existence or non-existence of another thing altogether besides
Brown and Brownson Sole. It cannot depend ad hoc on the accomplished
death or destruction or non-viability of the other half-brain that was
poised to animate some rival to Brownson Sole. Any verdict about
Brown and Brownson Sole issued in such dependence would infringe the
Only a and b rule, D(x) of Chapter Three, §, which is founded on D(vi)
of Chapter Two, § (ad fin.) and the sortalist cum conceptualist argument
for D(vi). The argument there was all of a piece, moreover, with our
commitment to the distinction between a particular and a universal. (See
above, §, the paragraph beginning with the words, ‘A third remark’.)
At this point, it is easy to imagine that someone may say that the Only
a and b rule looks plausible enough as an abstract logical requirement,
40
Readers following the suggestion in the Preface that § following should stand as a conclusion
for the book will probably be familiar enough with present philosophical trends in thinking about
personal identity to guess immediately what has been in progress here. If not, § and § of this
chapter, with or without §, will supplement §.
Personal identity
but ask how the normal theory and practice of individuation as we have
described it could ever underwrite its satisfaction: ‘In practice, in the
actual business of making identity judgments, the Only a and b rule is
unworkable.’ My answer to that runs as follows: if Brownson Sole were
the same as Brown, where Brown is a human being and thereby a cog-
nitive being, then Brownson would have to be the same human being
and the same cognitive being as Brown. But Brownson Sole came into
being from Brown not in a manner constitutively sufficient to preserve
the transitivity of identity or to perpetuate the activity of a human being
as a cognitive being. (See § following.) On these terms, there is no ques-
tion of Brownson Sole’s being the same as Brown. The Only a and b rule
is not unworkable at all. It asks no more of us than that, when we address
questions of identity, we should persist in a way of thinking that pre-
serves the distinctiveness of identity and marks the difference between
singular and universal. If identity itself is a matter of indifference to you,
of course you can ignore the rule. (Cf. Chapter Three, §, paragraph .)
In that case, your judgments will not differentiate identity from resem-
bling, succeeding, going proxy for, being a replica of . . ., and you don’t
care. If you do care, don’t ignore the rule.
43
Cf. Williams (–).
Personal identity
whose body is animated by half of Brown’s brain; let the third be a
Robinson in whom it happens that the other half of Brown’s brain dies;
let the fourth be long since dead.
In the first of these two cases, as newly conceived, the body of
Brownson Sole is for all relevant purposes indistinguishable (my adver-
sary will say) from the body of Brown. In the second case too, anything
Brown can do with his body Brownson can do with his, etc. ‘As for the
process by which Brownson Sole comes to be from Brown [this philoso-
pher may say], let that be characterized as the process by which a person
x is perpetuated in matter qualitatively indistinguishable from x’s and as the sole inher-
itor of x’s particular faculties and physiognomy. If such a thing were demanded
[he will add], then a guarantee could certainly accompany the process
just characterized. For, as thus characterized, this process can be guaranteed
not to create multiple candidates for identity with x. It can also be guar-
anteed not to collide with any of the cognitive considerations adduced
in the endless chapter on this subject by David Wiggins. It is all very well
for the purist of identity to claim that he is coming to terms with the
forensic marks of our concept of human being. It is time for the purist
to come to terms with the forensic character of our disputations about
identity. Provided that we slightly redescribe the Brown–Brownson case
and all its successors, these cases can still show everything they were
intended to show.’
My preliminary reply to this philosopher will be to voice my doubt
whether making Brownson’s face very like Brown’s face can fully over-
come the disquiet that attaches to the very idea of ‘wearing’ a face. Off
stage, one does not wear a face, only an expression of the face.
My second point of reply is that the guarantee my opponent proffers
for Brownson Sole is entirely empty if the guarantee now given for the
said process’s not delivering multiple candidates only consists in the fact
that, if it did do so, then we shouldn’t call the process in question ‘the
process by which a person x is perpetuated in matter qualitatively indis-
tinguishable from x’s own and as the sole inheritor of x’s . . . particular
faculties and physiognomy’. Within our given ontology of processes,
with going standards (however local, inscrutable or challenging to
theory) of identity and difference, a separation of the kind that my oppo-
nent is attempting simply cannot be achieved by putting a special label
upon one part of one variety of one of them. (Compare Aristotle,
Metaphysics, , a ff.) New nomenclature cannot undo the obvious
truth that, by the processes he is deploying and the means he is using to
perpetuate Brown in Brownson, a surgeon skilled in such techniques
Personal identity
(namely transplanting brains or half-brains into bodies matching exactly
the bodies they come from or else, for this involves the same things, into
the bodies within which they will be viable) could produce multiples, and
might indeed produce all sorts of further outcomes for which we are
even worse prepared.44
The third point of reply relates to the idea of a guarantee. This is an
idea my opponent wants to cut down to size, to mock and belittle. Let us
strive harder to make sense of it. A genuine guarantee relating to this or
that process must relate to the nature of the process itself rather than a
mere description of it. Moreover, genuine guarantees exist. However
you describe it, the process of jam-making can be guaranteed not to
produce heavy water out of ordinary water. The now standard process
by which a stone is removed from the gall-bladder or is broken up there
can be guaranteed not to remove the appendix. Another process that
comes with a certain guarantee is the natural process, sustained by the
operation of numerous laws of biochemistry, physiology and the rest, by
which a human being comes into existence, matures and eventually
ceases to be, by ‘natural death’. That process is not of course guaranteed
to save a human being from murder or from premature death by asbes-
tosis, say, or irradiation. But it is certainly guaranteed not to produce
multiples, not to transplant brains or half-brains, and not (if that were
the better way to think of Brownson) to furnish new bodies to living, con-
tinuing brains. That is what makes this familiar process and the princi-
ple of activity associated with it one part of the basis for the making of
judgments of identity. It is the lawful dependability of this process that
entitles one whose judgments are shaped by that principle of activity to
claim that his practice is answerable to the Only a and b rule. If the prac-
tice is answerable to that rule and it sees itself as reliant on dependable
processes of this sort, then the practice will properly differentiate judg-
ments of identity from judgments to the effect that the object b is the
44
‘When Parties in a State are violent, he offered a wonderful Contrivance to reconcile them. The
Method is this. You take a Hundred Leaders of each Party; you dispose them into Couples of
such whose Heads are nearest of a Size; then let two nice Operators saw off the Occiput of each
Couple at the same Time, in such a Manner that the Brain may be equally divided. Let the
Occiputs thus cut off be interchanged, applying each to the Head of his opposite Party-man. It
seems indeed to be a Work that requireth some Exactness; but the Professor assured us, that if it
were dextrously performed, the Cure would be infallible. For he argued thus; that the two half
Brains being left to debate the Matter between themselves within the Space of one Scull, would
soon come to a good Understanding, and produce that Moderation as well as Regularity of
Thinking, so much to be wished for in the Heads of those, who imagine they came into the World
only to watch and govern its Motion: And as to the Difference of Brains in Quantity or Quality,
among those who are Directors in Faction; the Doctor assured us from his own Knowledge, that
it was a perfect Trifle’ (Jonathan Swift, Gulliver’s Travels: Book , A Voyage to Laputa).
Personal identity
proper replacement/surrogate/proxy for object a, or of a (‘is one of the
a’s’). No doubt, as I have already allowed, the distinctiveness of identity
may in some connections be unimportant. But those cases are a poor
basis on which to engage in rhetoric about the ‘forensic character of our
actual disputations about identity’.
This threefold reply is likely to stir up at least two counter-objections.
The first will consist of a challenge to apply the positive account that I
have given of the human principle of activity to the case of the human
zygote. Normally, the zygote becomes the embryo, but sometimes it
divides and becomes twin embryos. What do I say about that? I am com-
mitted to react to this fact with a general ruling to the effect that the
human being dates from a time after the zygote finally splits or settles
down to develop in unitary fashion. The human being, the human
person, dates from the point whenceforth it is nomologically excluded
that its zygote will divide. I am happy, however, to be committed to say
that.45 An advantage of this decision, which entails that the fertilization
of the egg is one part of the assemblage and further preparation of the
materials from which the fetus develops, is that it has the effect of block-
ing the unwelcome suggestion that the fetus is the particular egg that the
sperm activated. (If we concurred in that unwelcome suggestion, the
fetus might even be accounted as just as old as the egg itself. What will
explain better than the ruling that I have proposed why nobody wants
to say that the fetus is as old as the egg itself ?)
The second objection to what I have claimed concerns the guarantees
on which the ordinary business of individuation normally relies. It may
be expected to arise from the fact that such guarantees fall far short of
any logical exclusion of the sort of events that figure in cases that reach
beyond Shoemaker’s example: ‘These guarantees are logically insuffi-
cient. But it would be foolish [I shall be told], on the part of those who
are so enamoured of their theory that they will put their shirt on guar-
antees of the kind that you mention, to seek to strengthen these guaran-
tees. For then these enthusiasts will find they have excluded the
45
I find that, years ago, intuitively and in its own way, by a route not wholly dissimilar from that
followed in the text, the Committee of Enquiry into Human Fertilization and Embryology ()
chaired by Baroness Warnock came to substantially the same conclusion. (See Lords Hansard,
December .) On ‘become’ see p. , note .
If one is moved by moral arguments to adopt a certain conception of the person and one cor-
rectly deploys this conception upon some question of identity and difference, must the decision
about identity and difference then qualify automatically as a ‘moral decision’? I am uncertain,
if only because of uncertainty concerning the terms of the question. Leaving that uncertainty
on one side, let us not forget that seeing a moral reality can be the reminder of a metaphysical
reality.
Personal identity
interventions of orthodox medicine and dentistry from ‘proper’ or
‘admissible’ application to human beings as such.’
To this I should reply that it is not my concern, either here or any-
where else, to represent judgments of strict identity as resting on justific-
atory premisses that culminate in the deduction of an identity or that
bring among their logical consequences the satisfaction of the D princi-
ples given in Chapters Two and Three. That is not how the strictness of
the relation of identity is to be marked or vindicated. We have long since
rejected the deductive conception of identity-judgment. See Chapter
Three, §. (See also Chapter Six, §, where I found myself reminding
the reader of the familiar fact that one can see directly, however fallibly,
that it is one’s brother not one’s uncle who has come to call on one.) The
thing which really matters, where someone makes a responsible (however
fallible) judgment of identity between the individual objects a and b, is
that the various things the person judging has regard for in arriving at it
should be the right things for a judgment of identity – that they be things
appropriate for a type of judgment which, by its nature, goes well beyond
the weaker claim that b instantiates a, that b inherits the role of a, or that
b is interchangeable or interfungible with a. One who makes the judge-
ment that a is b deploys an understanding which is all of a piece with the
business of subsuming object a under some kind that is associated with
a principle of activity (or way of behaving) that things of a’s kind exem-
plify. His understanding must be all of a piece with knowing how to keep
track of such things, with grasping things’ natures well enough to chron-
icle what they do or undergo, etc. (See Chapter Two and the various D
principles that are assembled and paraded there. See also the Preface,
last paragraph but six, for the description I see as consequential upon
conceiving thus of identity and individuation.) For any genuine object,
there is some right way of keeping track of it and this must track it as a
particular. Cf. Chapter Two, §. It is from this simple truism that the whole
business of making of judgments of identity extrapolates.
What remains then of the difficulty about splitting (etc)? The real
difficulty that the theory of individuation must have from cases of split-
ting, medical intervention, transplantation and the rest (or so I conclude)
is not that such occurrences breach the limited and specific guarantees
at which the objector is sneering (and which are all that are needed to
sustain the relevant way of thinking of something’s being securely
singled out), but that they add complications to the picture we have held out
of a substance coasting along (as it were) autonomously or under its own
steam. (Which does not mean that, even in this picture, it interacts with
Personal identity
nothing else.) In coming to terms with these complications, quasi-casu-
istically so to speak, without much generality but in ready appreciation
of the universality of the commitments that one creates by deciding in
one way rather than another, we need constantly to refer the issues that
arise back to our conception of the sort of thing that we are dealing with.
Minor interventions (medical, dental, orthopaedic, osteopathic . . .) in a
human being’s pattern of being and acting confront us with no concep-
tual difficulties at all. In acquiescing in these, we do not prejudice our
understanding of such a pattern. The substance’s organic independence
can still be conceived as undiminished. There is no problem of persis-
tence. (We do not commit ourselves to allow anything on the scale of the
Brown–Brownson case.) At the other extreme, however, in the so far
imaginary cases where it seems a human being is simply treated as a tem-
plate for the production of copies, it is manifest (it ought not to be con-
troversial) that ideas are changed almost out of recognition. That is what
I should say about Parfit’s teletransportation, a fictional process which
can as readily carbon-copy me twice (or thrice, or the number of times
it takes to make a regiment) as once. In so far as these cases are taken as
amounting to the perpetuation of the person Brown, we have lost hold
altogether of the notions we began with of what Brown is. The judg-
ment that the singular being Brown persists thereby is unsustainable.
Everything depends then on that which lies between the unproble-
matic cases and the cases that are out of the question. In these interme-
diate cases, where massive transplanting of organs or constant
interchange of parts is contemplated, as well as constant fine-tuning of
a human being by such expedients as gene therapy, the newly emerging
conception under which we subsume a human substance will still be the
conception of an individual thing or substance with a destiny of its own.
Nevertheless, as we proceed along the road indicated, the conception of
a human person will diverge further and further from that of a self-
moving, animate living being exercising its capacity to determine, within
a framework not of its own choosing and replete with meanings that are
larger than it is, its own direct and indirect ends. The conception will
converge more and more closely upon the conception of something like
an artefact – of something not so much to be encountered in the world
as putatively made or produced by us, something that it is really up to us
(individually or collectively) not merely to heal or care for or protect but
also to repair, to reshape, to reconstruct . . . even to reconceive.
This new or emerging conception of what a person is will perplex us
not only with philosophical variants on the problem of artefact identity
Personal identity
but with practical questions. At the beginning, it may seem these ques-
tions will be easy enough. Later on, when less and less seems to be
excluded by the then prevalent conception of human beinghood, they
may bewilder us. I speculate that this bewilderment can only grow as
that conception is progressively adjusted to the thought that little or
nothing that a human being might more than idly wish needs to be out
of the question or excluded by our human limitations. Will not bewil-
derment then turn to total aporia as our conception of human person-
hood is adjusted to the further thought that it is not merely our destiny
that is (in large part) up to us, or our ethical identity, but even the kind
of thing it is that we are? In the here and now, at a point well short of
this limit, there has, of course, been a huge increment in the sum of
human well-being. Why deny that? But before extrapolating this gain
mindlessly into the open future, or simply rejoicing in the technological
freedom that geneticists and medical scientists have been encouraged to
create for us, there are questions to answer.
Here is one of them. If we cannot recognize our own given natures
and the natural world as setting any limit at all upon the desires that we
contemplate taking seriously; if we will not listen to the anticipations and
suspicions of the artefactual conception of human beings that sound in
half-forgotten moral denunciations of the impulse to see people or
human beings as things, as tools, as bearers of military numerals, as
cannon-fodder, or as fungibles; if we are not ready to scrutinize with any
hesitation or perplexity at all the conviction (as passionate as it is ground-
less, surely, for no larger conception is available that could validate it)
that everything in the world is in principle ours or there for the taking;
then what will befall us? Will a new disquiet assail our desires themselves,
in a world no less denuded of meaning by our sense of our own omni-
potence than ravaged by our self-righteous insatiability?46
I frame the question and, having formed it, I grave it here. But a book
such as this is not the place in which to enlarge upon it, to answer it, or
to speculate about the mental consequences of our available energies
being diverted from the gradual discovery and enhancement, within the
limits set by our animate nature, of more sustaining human ends – and
the further consequences of these energies being progressively redi-
rected to the endless elaboration of the means to ends that are less and
less often explored in thought or feeling. This book is not the place nor
46
As the book goes to press, I find a perceptive account of some related misgivings in Harry G.
Frankfurt, Necessity, Volition, and Love (Cambridge University Press, ), pp. ff.
Personal identity
is its author the philosopher or moralist to hold up to human beings the
image of the insatiability by which they relentlessly simplify the given
ecology of the earth and change out of all recognition the given frame-
work of human life. In a treatise on identity and individuation, it is
enough and more than enough to point to the conceptual tie that links
together these issues of life’s framework and meaning, of individuation,
and of the way in which we conceive of a human being.
In this work, the chief thing that needs to be made clear is that no
freedom that the theory of individuation leaves it open to us to exercise
in how we think of ourselves could ever liberate us from the constraints
laid down in Chapter One. Whatever it may amount to, our freedom to
remake the idea of personhood (to remake it by our pursuits and our
choices) could not entail that it would be up to us, once it was determi-
nate what a and b were, whether a certain identity judgment a ⫽b was
true or false. For it is impossible on the level of reference and truth-value
for there to be such freedom. As soon as it is determinate what a or b is,
the result of Chapter One, §, is inescapable. Moreover, once an iden-
tity question is construed in a definite way, it must be determinate what
the question turns on. Nothing is left to stipulate. Only at the level of
sense is there any room for conceptual invention to enter. At that level,
I do not deny, there is freedom to reformulate bit by bit the answer that
we commit ourselves to give to the what are we? question. It is a freedom
we cannot really escape. It is cognate with the conceptualist (residually
idealist) insight we expounded in Chapter Six and linked there with our
miscellaneous capacities to come to terms with the exigency of the iden-
tity relation. But we should think much harder how we exercise it. We
should think harder then about the choices that commit us to think of
personhood in one way rather than another. These questions are essen-
tially contestable. But from that it does not follow that they permit of
more than one answer.
Apart from the logic of individuation, what ought to constrain us in
how we think of human beinghood? Only the power of discursive reflec-
tion. How wise is it then to allow the goal of attaining the perfect state
of material and bodily well-being to fly constantly before us like the
rainbow or a will o’ the wisp? How wise is it for those who have almost
everything to project limitlessly into an open future their opportunities
to reconstruct and reconceive themselves in order to have yet more?
Where once angels feared to tread, how far will we go? If Schopenhauer
had conceived how elusive and difficult the question was going to be
found of what conception we should make for ourselves of ourselves; if
Personal identity
he had conceived how difficult it would be found by the very substances
who exemplify the thing-kind whose nature has come into question; if
he had known what kind of commotion the question would occasion or
how sensitive the answer would be to the stability or instability of the
expectations that still prevail about the world in which we still hope to
find meaning and have our engagement; then I wonder whether he
would have wanted to persist in his optimistic declaration that ‘Just as
the boatman sits in his little boat . . . so in the midst of a world of suffer-
ing the individual man calmly sits, supported by and trusting the princip-
ium individuationis’ (World as Will and Idea, §).
Select bibliography
Index of names of persons cited or mentioned
Johnson, W. E., 8 Rumfitt, Ian, x
Johnston, Mark, 31, 178 Russel, B. A. W., 10, 16, 32, 126, 147, 213
Justinian, 92, 189ff.
Sainsbury, R. M., 166
Kamp, J. A. W., xi Salmon, Nathan, 99, 166
Kant, I., 5, 10, 158 Schoenheimer, Rudolf, 55
Kirwan, C., 112 Shopenhauer, Arthur, 243–4
Kolakowski, Leszek, 148–50 Schroedinger, E., 124
Kraut, R., 23 Sedley, David, 32, 174
Kripke, Saul, xi, 12–14, 79, 80, 116, 118, 122, Sharvey, R., 119
130–3, 134 Shoemaker, Sydney, 206–7, 208, 212
Kupperman, Joel, 32 Shwayder, David, 12
Simons, Peter, xi, 38–9, 88, 166, 178
Leibniz, G. W., 1, 12, 13, 57, 61–3, 72, 77, 78, Sloman, Aaron, 10
81, 84–6, 92, 97, 100, 107, 109, 123, Smart, Brian, 94
128–9, 143, 153, 154, 187 Smullyan, A., 13, 164
Leo, Pope, 48 Snowdon, Paul, x, xiv, 228
Lesniewski, S., 38–40 Sober, E., 10
Lewis, David, 31, 177, 178 Stalnaker, R., 112
Linsky, Leonard, 34, 41 Stead, G. C., 212
Loar, Brian, 111 Stevens, Wallace, 157
Locke, John, xiii, xiv, 9, 12, 35, 55, 87, Stevenson, Leslie, 26
197–203, 204, 205, 207, 234 Strawson, P. F., xi, 9, 124, 187–8, 195, 234–5
Lovibond, Sabina, x Suppes, Patrick, 119, 176, 196
Swift, Jonathan, 238
McDowell, John, xi, 11, 79, 211
MacIntyre, A., 123 Tarski, A., 94, 156
Mackie, Penelope, xiii, 121, 132–3 Tennant, N., xi
Mehmet, Naci, x, 95ff. Thomason, Richmond, 67, 112, 119, 164
Mellor, D. H., 79, 182
Valéry, Paul, 219
Miri, Mrinal, 208
Velleman, David, 200
Moravcsik, J., 178–80
Vygotsky, Lev, 195
Nietzsche, F., 81 Wallace, John, 185
Noonan, Harold, x, 4, 23, 27, 37, 40, 71, 99, Warnock, Mary, 239
174 Weil, Simone, 139
Nozick, Robert, 96, 175 White, A. R., 121
Nussbaum, Martha, xi William of Sherwood, 173
Williams, Bernard, xi, xiv, 96ff., 199, 204, 236
Odegard, D., 23 Williams, S. G., x, 46
Ovid, 66 Williamson, Timothy, x, xii, 102, 114ff., 161,
163, 165, 185
Parfit, Derek, 161, 205, 208ff., 222ff., 241 Winch, Peter, 198
Peacocke, Christopher, x, xi, 14, 112 Wittgenstein, L., 5, 6, 8, 63, 127, 187, 193,
Peirce, C. S., 153 218
Plato, 6, 53, 67, 88, 93, 229 Wollheim, R. A., xi
Pratt, Vernon, 79 Woodger, J. H., 38, 73, 156, 181
Prior, A. N., 8, 24, 73 Woods, John, 112
Putman, Hilary, xi, 51, 78–9, 80, 88, 198 Woods, M. J., 9, 12, 71
Quine, W. V., 9, 12, 15–18, 25, 27, 79, 103, Xenophon, 93
111, 112, 118, 141, 184–6 Xu, Fei, 151
Quinton, A. M., 150
Young, J. Z., xi
Reid, Thomas, 88, 157, 197, 203, 205
Righter, Anne, 157 Zemach, E., 23
Index of content (themes, theses, examples, etc)
See also Table of contents and Preface pp. xii–xvii
Index of content
constitutive ‘is’ 32, 36, 37, 39–43, 51–2, 71, edges compared and contrasted with lines in
73, 180 nature, 6 (quoting Plato, Phaedrus), 159
construe versus construct, 151, 171–6 eels and elvers (example), 88
see conceptualism, idealism elucidations (contrast analyses), 2, 5, 59–60
contestability, 66, 85, 130, 192, 243 equilibrium of a thing that is not alive with its
continuants, three dimensional, persisting surroundings, 86, 90
whole through time, 2, 3, 5, 31–3, 59ff.; essentialism, individuative, xii, 12, 13, Chapter
see synchronic/diachronic contrasts 4, 127–9, 140–4, 147–51
continuity, xii, 57 events versus continuants, 31
continuum question, 167 exigency of identity, xv, 4, 5, 24–8, 53–4, 102,
conventionalism, 88 159, 170–1
copse (example), 52–3 existence, 67, 68–9
Cornish Riviera Express (example), 35, 44 extension–involving, see deixis
corporate beings, 229ff.
covering concept, 24 face (of a person), 235–6, 237
criterion/principle of identity/individuation, fission, see splitting
xiii, 41, 53, 60–1, 69, 72-3, 77ff., 244 forensic conception, xiv, 197, 234ff., 237
see also activity see also human being conception, persons
cross-classification, 67 formal concept, 6
foundationalism in theory of knowledge,
D, xii, 18, 22, 23, 24, 55–61, 96, 103, 104, 220–1
140–1, 159, 193 flux, 3
D(i) principle, 64, 96 functioning, principle of, 72, 86ff., 91ff.
D(ii) principle, 64–9, 96, 123 Fundierungsaxiom, 218, 230
D(iii) principle, 70, 77, 84, 91, 92, 96 fusion 38, 94
D(iv) principle, 70, 84, 96 see also mereology
D(v), 72, 77, 84, 91, 96
D(vi), 72 gene pool, 80, 123
D(vii), 74 general/specific, the distinction contrasted
D(viii), 74 with the universal/singular distinction,
D(ix?), 74–6 xv
see also C geographical and/or geological things, 87, 90
D(x)=the Only a and b rule, 73, 76, 96ff., 107, grades of modal involvement, 111–12, 118
231ff., 238ff. grasshopper (example), 86
the principle has no expression in object Grelling’s paradox, 213
language, 96 guarantees, 237–9; see laws and propensities
see also universal versus singular
D-absolutist, 105, 159 haecceitas, 125ff.
definition, 7, 8, 11–12, 19, 80, 88, 175, 196, Holy Trinity (example), 35–6, 45–50
213, 216ff., 220–4 homeomerous things, 74–6, 168, 230
see also terminology see also Fundierungsaxiom, Tibbles
deixis, 5, 8, 11–12, 13, 78–80, 82, 124, 140, human being conception, xiv, 193–6, 203–4,
153, 155, 177 234ff., 242ff.; see also face, forensic
delta or ⌬ principle, 109, 121, 151, 156 conception
determinables and determinates, 6, 8 (see Hume’s church (example), 35, 43–4
note 6), 58–9, 69, 73, 194, 198
determinacy, xii, 151, 157, 160, 162, 163–7, idealism, 139, 151, 157, 158–9, 165, 171–3
170, 194–5 identity, absolute not relative, Chapter 1
dialect of sameness and difference, xv; see see also D, exigency of identity, R
judgements of identity, D and D holds, where it holds, necessarily, see
principles necessity of identity
difference, see determinacy, necessity of all or nothing, determinate, etc, Chapter 6
identity “identity”, a person’s own, 211, 235
divides its reference, see sortal concepts identity, coextensive surrogates for, 103,
division, see amoeba, Brownson, splitting 184
Index of content
identity ‘at a time’, 31–2, 40, 98, 177 materialism, 158–9
identity judgments, see judgments of identity memory, experiential or personal, xiii–xiv,
identity of indiscernibles, principle of, 61–3, 198ff. to the end of Chapter 7
146, 187–8 its factive character, 204, 209–30
ideology and ontology, xii, 146–7, 155–6 see also causal theory of perception,
imagining, 110–11, 118ff., 120 note, 121–3, normativity, repository
130–1, 140ff., 199–200 mereology, xi, xvi, 37–40, 43, 94, 166–7
incompleteness (supposed) of bare identity, the mereological version of identity, 39, 94
thesis dismissed, 17 Meriden Stone (example), 34, 41
india–rubber ball (example), 90 monads, 85, 92
individuate, 6–7, 18, 159–61 monstrous birth (example), 161, 168
see also single out, sortal concepts, what is it? mountain (examples), 87, 166–7
question/category
individuation, principles of, natural kind terms, 77ff.
see criterion/principles of ‘near miss’, 188–92
identity/individuation necessary/contingent: relation of the
inertia, 13–14 distinction to that of a priori / a posteriori
intensionality, intensional replacements 12–14
prevented from replacing schematic in relation to individuative essentialism,
letters, opacity and transparency, etc, 27, Chapter 4 and 5
28, 49, 115, 116, 119ff. de re construals, 111–12, 124–7
interpretation, 2, 103, 198–203 in syntactic combination with lambda
Ip, a putative criterion for personal identity, abstraction, 112–14
201ff. in relation to conceivability, 110, 111,
isotopes, 79 118–23
“asymmetrical” cases, 118
Jekyll and Hyde (example), 35, 45 consistency of necessity with vagueness,
John Doe (examples), 29–32, 35, 43, 44, contestability, etc, 111, 129–30, 192
175–6 ordinary necessity coinciding with physical
judgments of identity, seen as an extension of necessity, 85, 127
the capacity to single out, not inferred necessity of class membership, 95–102,
from information that is identity-free, 118–33
xiii, xv, 61, 105, 167, 171, 176–83, 233, necessity of identity, and of difference, 19,
240 113ff.
jug (example), 34, 36–40 necessity of origin principle, questioned,
121ff., 132
lambda abstraction, 19, 113ff. net (metaphor), 152, 160
landmark (example) 41–2 Nile (example), 90
see also Cleopatra’s Needle, Meriden Stone normativity, 223ff., 228ff.
laws and propensities relating to a kind of nucleus, individuative, 92, 207
thing, xi, 70–2, 77, 81, 82, 84, 86, 88, numbers as objects, 51, 58
107, 139, 153, 237–9
see also activity, guarantees, life histories objets trouvés, 134
principle, natural kind terms official (“same official”), 35, 44–5
Leibniz’s Law, 4, 5, 27, 28, 37, 46ff., 53–4, 59, Only a and b principle, see D (x)
114, 164, 170 ordered pairs representing relations in
see also exigency of identity, intensionality extension, 50–1
life histories principle, 37, 40, 57 organs, such as heart, liver, 86
live/not live distinction, 90
locust (example), 86 paradigms, 5, 215–16
Lot’s wife (example), 64–7 see deixis
paramecium (example), 71
M-and P-predictates (in P. F. Strawson’s sense), persons, xii–xiv, 156, Chapter 7
195, 198, 234 phased sortal concept, 29–30, 42, 64
‘martlet’, 218 ‘phases’, etc, 30–3, 175–82, 201
Index of content
physiognomy, xiv, 208–9, 234–6 single out, xiii, 1, 2, 3, 6–7, 52–3, 128–9,
possibilia, 108 150–1, 157–61, 166–7, 169–75
possible worlds, 109, 116ff., 130, 134–6 as conditioning the idea of an object, 173
practical capacities (as presupposed to see also what is it? question
individuation), xiii, 2–3, 5,7, 9, 18–20, slices, see phases, synchronic/diachronic
105, 198 contrasts
see judgments of identity sortal concepts, and sortal predication, 8–11,
predication, 5, 10, 19, 37, 111 18–19, 21–2, 42–3, Chapter 2 passim,
Proteus, 66 63–5, 69, 77ff., 125, 128–30
sortal concordance of certain concepts, 33
qua, 48–50, 89 sortal continuity principle, 65
quantities, 100 sovereign (example), 42
quasi-remember, 213–14; definition of same species, 77–80, 83–6, 123, 124
cross-examined, 214–30, Chapter 7 splitting, 72–3, 91–102, 161–2, 168–71, 208,
passim 228, 233, 238, 240
quasi-thunderstorm, 218 see also amoeba, Brownson
stages, see phases
R or relativity of indentity thesis, denied, stereotype, 79, 198
23ff., 29, 34ff., 53–4, 55–6, 66, 105, substance, 1, 3, 5, 6, 8, 13, 14, 72, 77ff., 100,
140–1, 158 150, 178, 194, 196, 228, 241
R, a relation of psychological connectedness see also activity, laws and propensities
that the neo-Lockeans aim to define, 205 substitutivity, see congruence, exigency of
in fact presupposing person identity, xiv, identity, Leibniz’s Law
212ff., 226 subtraction, among concepts, 217, 218
see also quasi-remember supervenience, xiii, xiv, 5, 143, 186ff.
real and nominal definition, 11–12 sweater and wool (example), 150–1
realism, 105 symmetrical object, 188
see also anti-realist conceptualism, synchronic/diachronic contrasts, 9, 32, 71–2,
conceptualism and conceptualist realism 160, 176–82
reciprocity, two-way flow, back and forth, 2, 3, see also phases
18–20, 149–50, 153, 158–60, 172–3 synthetically produced, 90
reduce, 5, 156, 186
reference, 6, 41, 52–3, 176–82 teletransportation, 241
reflexivity of identity, 25 temporal parts, 31
relativity of identity, thesis of, see R see also phases, synchronic/diachronic
repository (of memories), 228 contrasts
see also quasi-remember tense, 29–30, 180
restriction of a relation, 33, 63 terminology, xv, xvi, 1, 5, 7–8
Richard’s paradox, 213 see also definition
rivers (examples), 35 Thebes to Athens, road (example), 49
Roman Law, 92, 189–92 Theseus’ ship (example), 92ff., 95ff., 161–2,
169
salamander (example), 86 Tibbles, Tib (examples), 173–6
same donkey, and its relation to same simpliciter, transplant, 206, 207, 210, 238, 241
14–20, 25, 33 see also Brownson
same place at same time, 22, 94, 106, 147, twins (Siamese), 168
148, 150, 151, 181, 243 see also splitting
same what? question, see what is it? question
seas (various examples), 90, 94–5, 166 ‘unity’ relation, 176–7
sense, definiteness of, 218 universal versus singular or particular: the
sense and point, 3, 171–3, 217–22 distinction contrasted with the
sense and reference, 9, 79–86, 165, 171–3, general/specific distinction, xv, 73, 228ff.,
243 233ff., 239, 240ff.
sets: and essentialism, 95–102, 118–23 see also D(x)
see also Fundierungsaxiom, ordered pairs use, meaning as, 1, 2, 3
Index of content
vagueness, xii, 111, 128–30, 137, 160, 165 works of art, 91, 101, 102, 136–8, 189–92
see also determinacy see also objets trouvés
‘world’, 165–7
wasps’ nests (example), 90
what is it? question/category, 9, 21, 24, 59, zeugma, 44–5
60, 77ff., 109, 121, 129, 131, 144, zygote (example), 239
160