Professional Documents
Culture Documents
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide
range of content in a trusted digital archive. We use information technology and tools to increase productivity and
facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org.
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at
https://about.jstor.org/terms
Springer is collaborating with JSTOR to digitize, preserve and extend access to Philosophical
Studies: An International Journal for Philosophy in the Analytic Tradition
1. I shall begin by making two asumptions, the first of which I shall not
argue for. This is that the thesis of the necessity of identity is true, which
means that the extension of the identity relation is the same at every possible
world. The second assumption is that de re truths about metaphysical
possibility, and in particular the transworld identity claims they entail,
cannot simply be barely true; for any such truth there must be something of a
relatively less problematic nature in virtue of which it is true, or, equivalently,
if the required transworld identity relation obtains, there must be facts in
which its obtaining consists. 2 Pinning these notions down is a tricky business,
but it is easy to illustrate their intent with examples. Consider, for instance,
the case of identical (monovular) twinhood in humans. Identical twins are
produced when the normal processes consequent upon the formation of the
zygote (the entity which is the immediate result of the fusion of the father's
sperm with the mother's egg) break down in a certain way: after the first
mitotic division of the zygote, the resulting daughter cells separate and
develop independently into distinct embryos. From our point of view, the
important fact is that mitotic division is physically symmetric, for each
daughter cell receives a copy of the chromosomes of the parent cell, and each
copy is, so to speak semi-original. A chromosome consists of a pair of
intertwined strings of DNA, and each string is itself a sequence of molecules
called nucleotides. Replication is effected by the intertwined strings
unravelling from each other, each string then acting as a template for the con-
struction, from materials present in the cell, of a sequence of nucleotides
exactly like the one from which it has just unravelled. Then each original
DNA string resumes the double helix structure by intertwining itself with the
new string whose construction it has just directed. Thus two chromosomes
are obtained from one, each new chromosome contains half the matter of the
original chromosome, and the new matter in such a pair of daughter
chromosomes has the same source. The two chromosomes now proceed to
opposite ends of the cell nucleus; since replication has been occurring with all
the chromosomes in the cell, division of the cell 'down the middle' produces
a pair of cells identical in genetic content, each containing half the genetic
material of the original cell.
Suppose, then, that A is an actual but untwinned human being. Could A
have been an identical twin? Granted that the intension of 'identical twin'
is fixed by the actual mechanics of mitosis, an affirmative answer to this
question amounts to the claim that there is a possible world in which A's
zygote undergoes fission as described, followed by non-standard separation,
and A is identical to one or other of the two resulting individuals B and C.
But we ought to be very reluctant to say that there is such a world. Of course,
A's zygote could divide in the required way; but from the account of mitosis
just sketched, it is evident that there is nothing in such a situation to
determine which of B and C is identical to A. Nothing makes A one of th
rather than the other, that is, there is nothing in virtue of which such an
identity might obtain. Perhaps the example is rather underdescribed. There
will be some worlds in which B turns out to be rather more like A as he is
the actual world than C does; but also vice-versa. And there will be some
worlds in which both B and C are equally dissimilar to A as he actually is. At
least with respect to these worlds, an identity claim would be completely
unmotivated. Moreover, the necessity of identity prevents us from saying that
A is identical to B in some worlds, and to C in others, depending upon how B
in addition S also occurs in w'. And if the sceptic returns answer (ii), that in
S & S'-worlds it is still the output of S' which is the actual tree, then we can
invite him to consider a world w which only contains S, but S exactly as it is
in some S & S'-world w', such that it is agreed that the output of S in w is
the actual tree.6 Then w and w' are related as above. But in general, if w and
w are thus related with respect to a system which occurs in both, then if the
output of that system in w' is non-identical to a certain object, its output
in w cannot be identical to it, for w and w' have so been chosen that all the
features in virtue of which the output of the system in w has a certain
identity reappear in w'. In particular, for choices of w and w' meeting the
stated conditions for answers (i) and (iii), if the output of S' in w' is not the
actual tree, then the output of S' in w cannot be the actual tree either; and
for w and w' as described for answer (ii), if the output of S in w' is not the
actual tree, then its output in w cannot be either, contradicting the
descriptive condition by which w was introduced.
3. There is a general line the sceptic can take, on which he can produce a
number of variations, in order to resist this objection: the idea is to acquiesce
in the employment of the notion of that in virtue of which a certain
possibility is realized, but to deny that any case with both generation
systems contains all the relevant features of his case with S' alone, since, he
could say, the non-occurrence of S is a relevant feature of the latter, and is
one of the features in virtue of which the output of S' is the actual tree whe
other circumstances are as specified in the antecedent of the backtracking
counterfactual. But this position is surely untenable. How can what goes on
concerning another acom affect the identity of this tree? How can it be that
if certain things had happened which actually didn't then a given object
would have had a certain identity, but would have lost that identity without
any change in internal state whatsoever simply if some other causally isolated
process had also occurred?
Someone who thinks that this is possible believes that transworld identity
is extrinsically determinable, or as I shall put it for short, extrinsic. We can
get some grip on the content of this view by comparing the extrinsicness
thesis (hereafter 'E-thesis') for transworld identity with the E-thesis for
identity through time. Imagine a sequence of spatio-temporally continuous
thing-stages uninterrupted observation of which gives every appearance of the
presence of a single persisting thing, and let t and t' be times in the releva
period and s and s' the observed thing-stages at these times. Then the E-
thesis for identity through time says that whether or not s and s' are stages
of a single continuant is determined not just by intrinsic features of the
relationships amongst the various stages in the sequence that links s and s',
but also by the properties of causally unrelated thing-stages at t'. Reverting
again to the example of the split brain operation, the E-thesis would allow us
to hold that if the operation is performed on A and both half brains
transplanted to give 'new' individuals B and C, then neither B nor C is
identical to A, but if only one half is transplanted, say the B-half, while
the other is destroyed, then the resulting individual is identical to A. On
such a view, if the second case obtained, it would be appropriate for the
resulting individual to say 'Thank goodness the other half brain was
destroyed, otherwise I wouldn't have existed'. That is, his identity is fixed
by events which involve the other half brain and do not involve him.
However, we can imagine that the situation is set up in such a way that this
difference in identity would be completely unreflected by any other difference
in the states of that individual.
By analogy, the E-thesis for transworld identity says that whether or not
an object x in a world w is on the same 'transworld heirline' (Kaplan's phrase)
as an object y in another world w' tums upon whether certain events in which
y is not involved do or do not occur in w'. To see how false this is to any
conception of identity, compare transworld identity with the crossworld
relation which holds between x in w andy in w' iffy is the most similar thing
in w' to x as it is in w. Clearly, in order to determine the extension of this
relation for a pair of worlds it is necessary to look not just at how similar x is
in w to y in w', but also at how similar other things are in w' to the way x is
in w. That is, the E-thesis for crossworld similarity as defined is true. But
transworld identity is a different relation from crossworld similarity; when
the two notions are clearly distinguished, the E-thesis for the former loses any
vestige of plausibility.7
Are there any temporal phenomena which would support an E-thesis in
the modal case? In our example, the identity of a tree in a world is tuming
upon what other trees there are in that world. This conception has the follow-
ing temporal analogue: keeping one's eye on a particular tree-like arrange-
ment of wood throughout a period of time could not yield even prima facie
evidence that one had been observing the same tree throughout that period;
for that conclusion, one would also need information that no other trees
4. These arguments against the sceptic all exploit the fact that he proffered
alternative generation systems for actual objects which were compossible
with their actual generation systems, forcing ad hoc variations in the identity
of certain objects from world to world according to whether or not the
actual generation-system also occurs in the world. But this defect can be
remedied by a modified scepticism, according to which any alternative origin
for an object must involve a generation system non-compossible with its
actual generation system. The case of organisms such as human beings, whose
generation systems involve propagule-fusion, is one to which such a scepticism
would fruitfully apply. Suppose A is a human being whose zygote is actually
formned from the fusion of a sperm b with an egg c, and let us call A's genera-
tion system Sl. Then S, is non-compossible with S2, a generation system
involving the fusion of the spenn b with an egg c' non-identical to c, since
b cannot survive fusion as an entity with an identity of its own. So a back-
tracking counterfactual can be constructed as before such that, barring the
necessity of origin, we would be strongly inclined to hold that some
antecedent world in which A is the output of S2 is more similar to the actual
world than any in which A is not. The counterfactual would therefore be
true, its antecedent would describe genuinely possible circumstances, and in
them A would have S2 ; so A could have had S2 .
However, modified scepticism succumbs to essentially the same objection
as was made against its unqualified predecessor. If A could have had S2, then
A could have had S3, a fusion of a sperm b' non-identical to b with the egg c
of SI. So let us consider S4, a fusion of the sperm b' from S3 with c' from
S2. This process is compossible with SI , and we can use this fact to show that
the sceptic is now committed to an indeterminacy thesis about transworld
identity just as objectionable as the E-thesis. Here are the four processes, each
with its output:
The problem with modified scepticism, essentially, is that if there are facts
in virtue of which A could have had S3, it is hard to see why there should not
be facts of the same kind in virtue of which it could have had S4, so that the
modification effected by this form of scepticism would simply rule out a
genuine possibility by ad hoc stipulation. One of the ways in which this fault
manifests itself is in the consequence of the position that the identities
of objects in a set of possible worlds will vary according as different choices
of an actual world in the set are made. That is, the identities of objects in a
structure are indeterminate, and the indetenninacy is differently resolved
(the transworld heirlines differently traced) as different models are defined
upon the structure. With respect to our example, for each Si, let wi, be a
world in which Si occurs. Then if w1 is actual, A, 02 and 03 are the same
thing, and 04 is something different, whereas if W4 is actual, 02, 03 and 04
are the same and A is distinct from all of these.9 So indeterminacy is induced,
not as extrinsicness was by surveying different parts of the modal universe
from the same place, but by altering one's perspective upon the same part of
the modal universe: the identities of 02 and 03 change according as w1 or
W4 is supposed to be actual. In terms of ordinary modal locutions, if C is
a set of conditions realized in W4 and not realized in any other world at least
as similar to the actual world as W4, then we cannot make a counterfactual
supposition beginning 'if C had actually been the case, ' without
disturbing the identities of actual and possible objects none of whose
properties are effected by the supposition. The temporal analogue of this
view would be that the identities of objects which exist at given times
sometimes alter simply in virtue of time's passing. One does not have to ho
a priori that time can have no causal powers to find this conclusion as un
ceptable as the E-thesis about transworld identity.