X-Message-Number: 25415
From: "Basie" <>
Subject: Identity, Persistence, and the Ship of Theseus 
Date: Sun, 26 Dec 2004 17:50:34 -0500

Identity, Persistence, and the Ship of Theseus
Heraclitus's "river fragments" raise puzzles about identity and persistence: 
under what conditions does an object persist through time as one and the 
same object? If the world contains things which endure, and retain their 
identity in spite of undergoing alteration, then somehow those things must 
persist through changes. Heraclitus wonders whether one can step into the 
same river twice precisely because it continually undergoes changes. In 
particular, it changes compositionally. At any given time, it is made up of 
different component parts from the ones it was previously made up of. So, 
according to one interpretation, Heraclitus concludes that we do not have 
(numerically) the same river persisting from one moment to the next.

Plato is probably the source of this "paradoxical" interpretation of 
Herclitus. According to Plato, Heraclitus maintains that nothing retains its 
identity for any time at all:

  "Heraclitus, you know, says that everything moves on and that nothing is 
at rest; and, comparing existing things to the flow of a river, he says that 
you could not step into the same river twice" (Cratylus 402A).
But what Heraclitus actually said was more likely to have been this:

  "On those who enter the same rivers, ever different waters flow." (fr. 12)
On Plato's interpretation, it's not the same river, since the waters are 
different.  On a less paradoxical interpretation, it is the same river, in 
spite of the fact that the waters are different. On both interpretations of 
Heraclitus, he holds the Flux Doctrine: Everything is constantly altering; 
no object retains all of its component parts from one moment to the next. 
The issue is: what does Flux entail about identity and persistence? Plato's 
interpretation requires that Heraclitus held what might be called the 
Mereological Theory of Identity (MTI), i.e., the view that the identity of 
an object depends on the identity of its component parts. This view can be 
formulated more precisely as follows:

  For any compound objects, x and y, x = y only if every part of x is a part 
of y, and every part of y is a part of x.
  I.e., an object continues to exist (from time t1 to time t2) only if it is 
composed of all the same components at t2 as it was composed of at t1. 
Sameness of parts is a necessary condition of identity.
It now seems that if we want to allow that an object can persist through 
time in spite of a change in some of its components, we must deny MTI. An 
object x, existing at time t1, can be numerically identical to an object y, 
existing at time t2, even though x and y are not composed of exactly the 
same parts.

But once you deny MTI, where do you draw the line? Denying MTI leaves us 
vulnerable to puzzle cases, the mother of all of which is the following.


The Ship of Theseus
This is a puzzle that has been around since antiquity, probably later than 
Heraclitus, but not much later. It first surfaces in print in Plutarch (Vita 
Thesei, 22-23):
  "The ship wherein Theseus and the youth of Athens returned had thirty 
oars, and was preserved by the Athenians down even to the time of Demetrius 
Phalereus, for they took away the old planks as they decayed, putting in new 
and stronger timber in their place, insomuch that this ship became a 
standing example among the philosophers, for the logical question of things 
that grow; one side holding that the ship remained the same, and the other 
contending that it was not the same."
Plutarch tells us that the ship was exhibited during the time [i.e., 
lifetime] of Demetrius Phalereus, which means ca. 350-280 BCE. (Demetrius 
was a well-known Athenian and a member of the Peripatetic school, i.e., a 
student of Aristotle. He wrote some 45 books, and was also a politician).

The original puzzle is this: over the years, the Athenians replaced each 
plank in the original ship of Theseus as it decayed, thereby keeping it in 
good repair. Eventually, there was not a single plank left of the original 
ship. So, did the Athenians still have one and the same ship that used to 
belong to Theseus?

But we can liven it up a bit by considering two different, somewhat 
modernized, versions. On both versions, the replacing of the planks takes 
place while the ship is at sea. We are to imagine that Theseus sails away, 
and then systematically replaces each plank on board with a new one. (He 
carries a complete supply of new parts on board as his cargo.) Now we can 
consider these two versions of the story:

  1.. Simple version: Theseus completely rebuilds his ship, replaces all the 
parts, throws the old ones overboard. Does he arrive on the same ship as the 
one he left on? Of course it has changed. But is it it?
    Let A = the ship Theseus started his voyage on.
    Let B = the ship Theseus finished his voyage on.
  Our question then is: Does A = B? If not, why not? Suppose he had left one 
original part in. Is that enough to make A identical to B? If not, suppose 
he had left two, etc. Where do you draw the line?


  2.. Complex version: Like the simple version, but with one addition --  
following Theseus in another boat is the Scavenger, who picks up the pieces 
Theseus throws overboard, and uses them to rebuild his boat. The Scavenger 
arrives in port in a ship composed of precisely the parts that composed the 
ship Theseus started out in. He docks his ship right next to one that 
Theseus docked.
  Now we have:


    C = the ship the Scavenger finished his voyage on.
  Our problem is to sort out the identity (and non-identity) relations among 
A, B, and C. The only "obvious" fact is that B   C (after all, they are 
berthed side by side in the harbor, so they can hardly be one and the same 
ship!). Beyond that, there are two alternatives:

    1.. MTI tells us that A = C. The ship on which Theseus started his 
voyage, namely A, is identical to the ship on which the Scavenger finished 
his voyage, namely C. So we have two ships: one (A) that was sailed out by 
Theseus and (C) sailed in by the Scavenger, and another one (B) that was 
created (out of new parts) during the voyage and was sailed into port by 
Theseus.

    2.. The alternative is to abandon MTI and hold that A = B. On this 
account, we still have two ships, but their identity and non-identity 
relations are different: one ship (A) was sailed out by Theseus and (B) 
sailed in by Theseus, and another one (C) was created (out of used parts) 
during the voyage and was sailed into port by the Scavenger.
  Unfortunately, both alternatives lead to unintuitive consequences.


    1.. The problem with alternative (i) is that it requires Theseus to have 
changed ships during the voyage. For he ends up on B, which is clearly not 
identical to C. But Theseus never once got off his ship during its entire 
voyage: Theseus got on board a ship (A), sailed a voyage during which he 
never got off the ship, and arrived at his destination in a ship (B). He was 
on just one ship during the whole process, but alternative (i) seems to 
require that he was on (at least!) two different ships.

    2.. The problem with alternative (ii) is that in holding that A = B and 
admitting (as it must) that B   C , it must also hold that A   C . Yet every 
part of A is a part of C, and every part of C is a part of A! So A and C are 
two different ships even though their parts are the same; and what of A and 
B? They have no parts in common, and yet A and B are the same ship.
    These results seem as paradoxical as the view that there are no 
persisting objects.

Conclusion: MTI seems too strong. It denies identity to objects that we 
think of as persisting through time. But that leaves us with some problems:

  1.. What do we replace it with? Spatio-temporal continuity (the intuition 
behind our alternative (ii), above) is the most promising (and common) 
suggestion. A persisting object must trace a continuous path through 
space-time. And tracing a continuous path is compatible with a change of 
parts, so long as the change is gradual and the form or shape of the object 
is preserved through the changes of its component materials. So it appears 
that we can replace MTI with the theory of spatio-temporal continuity (STC).

  2.. But STC is also problematic. For it is easy to imagine cases in which 
our intuitions tell us that we have numerical identity without 
spatio-temporal continuity. Consider that an object can be disassembled and 
then reassembled. (Think of a bicycle that is taken apart. The parts are 
then placed in a number of separate boxes, which are then shipped, 
separately, across country. The boxes are then unpacked and the bicycle is 
reassembled.) How do we account for its identity? STC breaks down in this 
case, for there is no continuously existing bicycle-shaped object tracing a 
smooth path through space-time. But MTI gives us the right result: the 
reassembled bicycle is made of exactly the same parts as the one that was 
taken apart, and so is numerically the same bicycle.
  In fact, there is a way of describing the case of Theseus's ship that 
seems to demand MTI rather than STC. Suppose the ship (A) is in a museum, 
and a clever ring of thieves is trying to steal the ship by removing its 
pieces one at a time and then reassembling them. Each day, the thieves 
remove another piece, and replace it with a look-alike. When they have 
removed all the original pieces, we are left with this situation. There is a 
ship, B, that is in the museum (made of all new materials), and there is a 
ship, C, in the possession of the thieves (the original pieces of A now 
reassembled). Which ship is A (Theseus's original ship)? Surely not B-it's 
just a copy of A, left behind in the museum by the crooks to cover up their 
crime. It is C that will interest the antique dealer who is interested in 
buying A, the original ship.

We are still struggling with Heraclitus's puzzle.

Rate This Message: http://www.cryonet.org/cgi-bin/rate.cgi?msg=25415