Showing posts with label Paradox. Show all posts
Showing posts with label Paradox. Show all posts

03 March 2017

Time for a Change

Zeno was an ancient Greek famous for inventing paradoxes:
The third [paradox] is … that the flying arrow is at rest, which result follows from the assumption that time is composed of moments … . he says that if everything when it occupies an equal space is at rest, and if that which is in locomotion is always in a now, the flying arrow is therefore motionless. (Aristotle Physics, 239b.30)
In other words, if we think of an arrow flying through the air, the arrow is the same length throughout the flight. It takes up the same amount of space. At any given moment in time, the arrow is at a given location in space, taking up a given space. If we could freeze time at any random moment the arrow would appear to be stationary; it would not be moving, it would only be in one place. So if at any moment the arrow is stationary, it is stationary at every moment. Which is paradoxical. Nāgārjuna wrestles with motion and time in a similar way because moments are also built into the Buddhist understanding of time.

In a YouTube video interview, George Lakoff explains to an interviewer, in the space of approximately 3¾ minutes, that the paradox is due to the metaphorical nature of our thought and the framing of the problem. In this essay I'm going to recapitulate his argument in my own words.


Metaphorical

So the first thing to notice is the way I write about a space of time the previous sentence. This is a metaphor. It turns out that metaphor TIME IS SPACE occurs in almost every human language. But there are two main ways of conceptualising time as space. Firstly, time is a stationary path along which we move:
  • We are approaching [the time for] lift-off
  • We're past the time for apologies
  • I'm looking forward to a future with jet packs
Or, time is a like river flowing past us:
  • Crunch time is rapidly approaching
  • The past is receding in my memory
  • Time passed without me noticing
Time is typically a one dimensional space, so it can be long or short, for example, but seldom wide, narrow, or tall. Occasionally, we may talk about a window of time, though what this comes down to is a slot marked by a beginning and end time. Here, the metaphor is not TIME IS A WINDOW but, instead, MOMENTS ARE WINDOWS. TIME FLIES, but this is a variant on the flowing time metaphor where we are fixed and time goes past us. Time may also be a container, so that events happen "in time", in the space of an hour. Again, the metaphor is, MOMENTS ARE CONTAINERS. A window can be a container, because it is framed. In this essay, I'm going to focus on the linear spatial metaphors for time.

Metaphors are linguistic structures. In the first lot of three sentences we have a human agent which acts on time (time is the patient of the verb). In the second group of three, time itself is the agent of the action. In one, time is passively acted on by us and. in the other. time is actively acting on us. And the actions in both cases are motions (go, pass, approach, recede). These are linguistic structures that help us to conceptualise and talk about of the flow of events that make up experience. However, these linguistic structures do not correspond to structures in reality. Part of the reason they do not is that the two metaphors contradict each other. Time cannot be both stationary and in motion at the same time. Maybe we could call this Lakoff's Paradox.

In English, we cannot even discuss time except in terms of the spatial metaphor - length of time, how long is a second. Length is extension in space. We have no separate word for extension in time.*
* The obvious candidate, 'endure', actually comes from a root *deru meaning "to harden"; from which, ultimately, we also get our word 'true'.
These metaphors for time describe a linear progression. But it only seems to go in one direction. We can move in any direction in space, why is the dimension of time different? This is a question that Lakoff doesn't answer, but its always useful when thinking about time, to get into this.


Time's Arrow

The answer is well-known to us now as the arrow of time, a concept developed by Sir Arthur Eddington (who was also the first to test a prediction of Einstein's theory of relativity). The basis of the arrow of time is entropy. The second law of thermodynamics says that in any closed system entropy always increases. More simplistically we can say that disorder tends to increase over time. So, comparatively, a whole egg has low entropy, a broken egg has more entropy (more disorder), and a scrambled egg has high entropy. The arrow of time means that if someone shows us a film of an egg being broken and cooked backwards we can almost always tell straight away because the film shows us things moving in ways that are not possible and events happening in an order that contradicts the arrow of time. In reality eggs never uncook themselves and reform into white and yolk.

Incidentally, it's frequently pointed out that living things are an exception to this rule because they sustain order against the second law. There are two responses to this assertion. Firstly, living organisms are temporary motes of complexity, and complexity varies differently than disorder. Entropy increases steadily over time, but the complexity need not. If we take the example of the universe as a whole, entropy steadily increases as times goes on, but complexity starts at a minimum, rises to a maximum at about 1010 years (about now, in fact), and then declines back to a minimum by about 10100 years. The universe will continue to expand indefinitely, but once we reach a certain point the universe is as disordered as it can get and there is no arrow of time. Secondly, life increases the entropy of the universe more rapidly than non-living systems. For every low entropy photo of sunlight that falls on the earth, living things radiate 20 high entropy photons back into space. One way of defining living things is that we are systems for efficiently converting low entropy energy into high entropy energy. So life doesn't break the second law of thermodynamics, it uses energy to create complexity, that speeds up the increase in entropy locally. 

Coming back to time, it is a narrow path or flow, and it goes one way. But why do we see time as being broken up into moments? And is it really like that?


A Moment of Your Time

We measure time relative to cyclic phenomena. There are natural cycles such as planetary orbits, annual seasonal changes, the phases of the moon, menstrual cycles, the diurnal cycle, breaths, and heartbeats. And to these we have added phenomena such as burning candles, dripping water, oscillating pendulums, vibrating piezoelectric crystals, and finally the oscillations of radiation emitted by excited caesium atoms relaxing (in "atomic" clocks). In addition to this there are firing cycles of neurons in the brain that coordinate the beating of your heart, your breathing, and other cyclic bodily events, thought these are quite variable depending on how active we are. We measure time by counting numbers of regular cyclic phenomena. A stretch of time is so many repetitions of a cycle. A "moment" in time is the time for one iteration of the shortest cyclic phenomenon.

In reality, time is not composed of moments at all. Time is a way of conceptualising the procession of events that happen as the universe evolves. These events happen at their own pace. Events are not coordinated like a symphony orchestra is coordinated by a conductor. Events are more like a marathon where everyone runs at their own pace. 

The division of time (and space) into units is arbitrary. For example, note that years, months, and days are all based on natural cyclic phenomena, but they do not match up. A year is not a whole number of months (moon cycles) or days. This is why our calendars have to be adjusted occasionally, such as adding an extra day every four years, because the year is ~365.25 days. There is no "snap to grid" feature when it comes to time. 


Aspect and the Three-Times Structure

Coming back again to linguistics, when we use language to describe events, the verbs we use contain information on aspect. Different languages note different aspects, but aspect includes such information as the beginning, persistence, or ending of an event; and event in progress, completed, or yet to begin; and whether an event is continuous, cyclic, iterative, and so on. Amateur linguist Benjamin Lee Whorf (1956) wrote some interesting essays on aspect in indigenous American languages. In English I can indicate continuing or completed actions in the past, present, or future.
  • I was running (past, incomplete )
  • I ran (past, complete)
  • I am running (present, incomplete)
  • I have run (present, complete)
  • I will run (past, incomplete)
  • I will have run (future, complete)
The structure of time into past, present, future is common to Sanskrit, and thus, I presume, to Indo-European languages in general. We can also indicate repetitive actions. So one walk is a tramp. To repeatedly walk over something is to trample it. One oscillation is a wag, many is a waggle, though in English we often express aspect through adverbs like 'constantly', 'repeatedly', 'occasionally', or 'persistently'.

In most English time metaphors, the present is where we are now, the future is what is in front of us, and the past is what is behind us. In the time-flow metaphors of some languages, the future is sneaking up from behind us and we cannot see it, while the past flows away from us in front, where we can see it. The future could be quite unnerving in such cultures!

If we are the agent, then the "present" is the moment we are in, where a "moment" is an entirely arbitrary unit of time. And we still favour traditional measures because our sense of time is geared to them. A moment is roughly a heartbeat. The idiom "in a heartbeat" means "instantaneously". But we also have idioms for moments such as "in the blink of an eye", "a finger snap", "half a tick". Of course we can measure time many orders of magnitude more precisely than this now, but anything much shorter than a heartbeat is difficult for us to imagine. Past, present, and future are features of the metaphorical structure of language, but not of time in reality, because the present is an arbitrary time.

In John Searle's language, the present is an observer-relative function. The present isn't an intrinsic feature of the universe, but occurs to us as a subjective feature of time. So, epistemically, we understand there to be this structure to time, and since we all agree on it, it is epistemically objective. But it is ontologically subjective. The present only exists in our minds, because our minds have the features they do. 


Time to Get Real

Which brings us to the question of the reality of time. When the interviewer asks Lakoff about the reality of time, he says:
"There may be no such time as "time in reality". And that's what's interesting. There may be just events in reality."
Time is unlikely to exist independently of our metaphorical conception of it. This seems to be consistent with the universe that physicists describe at quantum and cosmological scales. The universe simply evolves in patterned ways. Some of those patterns persist as structures and those structures form increasingly complex layers of structure. In a sense, we could say that from this point of view that there are no entities, there are just some persistent processes, like standing waves in a river. Many physicists now think that time is not fundamental, but that it emerges as a property of the interactions of quantum fields. What his might mean in human terms, like most of quantum theory, is far from obvious or, in fact, completely obscure. It may not even be possible to disentangle our metaphorical time and what time is in reality, if it is anything. 

This insight into the metaphorical basis for how we understand time is important for deconstructing Zeno's arrow paradox. The paradox is based on reifying the notion that time can be measured in moments. It assumes that the moments we perceive in time relative to some other cyclic events are real. But they are not. In reality, the evolution of the universe is continuous and not broken down into moments. 

As we know, different layers of the universe require different descriptions. At the quantum level, events may be discrete, such as the transition of an electron from one energy state to another. This is what the quantum part of quantum theory means. At the quantum level, change can be discontinuous. But at the macro level (i.e., at the mass, length, and energy scale relevant to human experience) change is never discontinuous. It may happen very rapidly, but it is always continuous.

So, if change is continuous and we divide it up into moments, what happens is that we lose information about the continuity of the process. The same thing happens when converting music to a digital format. If the sampling rate is less than about twice the highest frequency we can hear then the loss of fidelity at the high end starts to become obvious. The average healthy person can hear sounds up to about 20 kilo-Hertz. Which is why digital music samples at roughly 48 kHz or more. But even if we sample at 96 kHz or more, we still lose information. Other factors intervene. Our equipment for turning digital signals into analogue waves in the air will not produce 100% fidelity, either, so sampling a million Hz would be pointless. The point is that dividing time into moments is a lossy process.

Time is not a series of moments, it is an unfolding of events: a marathon rather than an orchestra. So, for example, there is no such thing as "the present moment" because the idea of a moment is defined relative to some cyclical event, and we are free to choose difference reference points. Different authorities define the present moment as lasting a different number of units or fractions of seconds. A second is the length of time that it takes for a 1 meter pendulum to complete an arc. Or a second is "the duration of 9,192,631,770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the caesium 133 atom". In other words, a second is arbitrary, but if we all choose the same arbitrary measure, then we agree on how long a second is.

We now have enough information to understand the misunderstanding that creates the paradox.


Resolving the Paradox

Zeno's arrow is not stationary at any given moment. Moments are arbitrary and are arbitrarily long. If the moment is 0.001 of a second, the arrow is still moving during that time; though the amount of movement may be too small for us to see, it still moves. When the arrow is in motion, it is constantly moving. Similarly, if we observe a mountain for a year it may not perceptibly change, because mountains change on geological time scales (millions of years). A photograph of a bird on the wing may give the illusion of stillness if the exposure is short enough, but even then if one looks carefully one may find movement blur at the wingtips.

In reality, there are no moments. Moments are a structure that we subjectively impose on the flow of events. Time itself may be an emergent property of quantum systems. And events go at their own speed, with no coordinating universal clock. Time's arrow is a result of steadily increasing disorder in the universe and will disappear once entropy reaches a maximum. 

So Zeno's arrow paradox and Nāgārjuna's laborious fumbling around the subjects of time, duration, motion, and change, are difficult because they do not understand the distinction between how they conceptualise time and what time might be in reality. In other words, we once again meet the mind projection fallacy or the problem of confusing experience for reality. George Lakoff dispenses with Zeno in less than four minutes. Of course, there are many secondary questions and a lot of gaps to be filled in, but once a problem is correctly framed, things can move along more rapidly. 

~~oOo~~



George Lakoff (2016) How Does Metaphysics Reveal Reality? [Video] Closer To The Truth. https://youtu.be/mRX4vSJra6A

Whorf, Benjamin Lee. (1956). Language, Thought, and Reality. MIT Press.

24 February 2017

The Ship of Theseus. FTFY*

The Ship of Theseus has been a staple of philosophical discussion and teaching for millennia. The folk version of this conundrum is grandfather's axe, in which the axe in question is favoured despite having had its head and handle replaced many times. Can it be the same axe? Grandfather thinks it is, and we, the audience hearing the story, doubt that it can be. I have certainly not surveyed every instance of it, but introductions to this story always seem to take the same approach to the problem and to leave it hanging as a paradox.

So why does this problem continue to fascinate philosophers? Partly, I think, philosophers like problems that can be argued over but not resolved (and their worldviews resist a resolution). However, I think it is also because the ship is a metaphor for ourselves. We visibly change over time and, at least for philosophers, this raises the question of identity. The combination of continuity and change seems to be particularly problematic for philosophers, East and West. 

The locus classicus of the story is Plutarch's Lives of the Noble Greeks and Romans:
“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.” (14)
The problem is often portrayed as having only two mutually exclusive answers with nothing to decide between: it is either the same ship or a different ship. And thus the story contains a kind of paradox. I will try to show that it is only a paradox because of the way the problem is framed and that by reframing it we can resolve the paradox. I suspect that all apparent paradoxes are related to framing problems.

Over the years, philosophers have added new twists to the problem. What if we collect all the discarded old planks and build another ship out of them? Can there be two boats that we identify as Theseus’ ship? What if Theseus stays aboard the ship as it travels, but running repairs result in the same exchange of old timbers for new. Does Theseus arrive on the same ship that he set out on? And so on. All of these trade on the same framing of the problem.

The framing here focusses on the relationship of the complex wholes and parts (which may themselves be simple or complex). I want to reframe the problem by pointing out that in all of the arguments about Theseus's ship, no one ever questions that the structure is a ship and no amount of plank changing alters this fact. And this gives a clue to how to deal with the question. Let us start with the idea of "ship".


What is a ship? 

What are the minimal features an object must possess so that we can recognise it as belonging to the category "ship". And here I'm going to ignore the complexities of the semantics of ships versus boats and all their myriad variations. For my purposes ship here represents water-craft in a very general way. 

Firstly, any material that can be made watertight and is malleable can be used. One can build a ship from paper, wood, concrete, or steel. What really matters is the average density of the volume contained by the ship's hull. Any object which is less dense than water will float in it. A ship's hull encloses a large volume of space with a thin wall so that the average density of the enclosed volume is very much smaller than the density of the building material, and less than the density of water. Hence, we can build a ship from steel which is eight times denser than water, by ensuring that the hull encloses more than eight times the volume of the steel used.

Secondly, the hull must be water-tight, or as close to it as possible. In practice, most ship designs in the ancient world would have been leaky. Planks can be made to fit together with sub-millimetre accuracy, but still have to be caulked. (For a fascinating insight into ancient boat building techniques see the Jewel of Muscat Project)

convergent evolution
Thirdly, a ship needs to be hydro-dynamically efficient; i.e., it needs to move through the water easily. The best configuration for this is a hull that it is considerably longer than it is wide. A broad-beamed ship will still make way, but with considerably more effort than a long and narrow ship. A prow that converges to a point is also advantageous, though not essential. River boats often opt for a flat bottom and blunt prow, for example. A smooth surface is also advantageous. The efficiency of these criteria can be seen in the way that the evolution of aquatic animals has tended to converge on the same long, thin, pointy, smooth design.

Lastly, a ship needs some kind of motive power to propel it through the water. A water-craft that is not propelled is a raft. A ship can be propelled by any number of sources of power, though in ancient Greece it would have involved a combination of oars for rowing and a square or lug sail for the wind. Both methods impose constraints on the design. A mast must be stepped and stayed, and sailing requires a method to prevent leeway, for example; while oars require a fulcrum and somewhere for rowers to sit (or stand, in some designs).

With just these features, an object may be called a ship. But there is something more going on here. A ship is not a ship merely because it possesses some intrinsic features. A log possesses most of these features. A ship performs a function. The function of a ship is to transport people and/or cargo over water. Note also that we can use "ship" as a verb and it is no longer confined to moving cargo by ship. As John Searle has pointed out, a function is an observer-relative feature of the object. In other words, the object we are calling a "ship" can perform the function of transporting Theseus to Minos and back, but this is not an intrinsic feature of the ship. The intrinsic features a ship has make it suitable for performing this function, but the function itself is relative to the observer. And observer- relative features of an object are created by the mental states of the observer.

For example, if we take the ship out into the middle of the desert and show it to people who've never seen a large body of water, they might not be able to deduce its function from intrinsic features. They may well conclude that, rather than displacing water, the hull is designed as a cistern for storing water. And that the configuration makes it easier to drag over sand. The intrinsic features of the object alone do not tell us what function it serves for human beings. We have to have the concept of a ship in our minds, as well.

Consider also someone visiting Athens who did know the story of Theseus. They might see a ship, but they would not see Theseus's ship. The connection between the ship and Theseus does not exist for them, because they haven't heard of Theseus. One might argue that Theseus exists despite his not being known about and that, even in ignorance, the ship is still Theseus's ship. However, the uninformed visitors could not discover this information through examining the ship. The ownership by Theseus is not an intrinsic property of the ship. The association with Theseus is also observer- relative.

So "ship" is an observer-relative feature of an object with the appropriate intrinsic properties. Thus, a "ship" is not an ontologically objective fact. Nor is "Theseus's ship" an ontologically objective fact. The "ship" is an epistemically objective fact, but ontologically it is subjective, i.e., it only exists relative to mental states in the observer.

So, in fact, the idea of "Theseus's ship" involves some intrinsic subjectivity. And part of what makes the ship interesting is the analogy of our own identity. I'm a good example because my name appears to be unique in history. There is, and has only ever been, one being called Jayarava. The fact that I am Jayarava is an ontologically subjective fact. But in my Sangha it is epistemically objective - everyone in my milieu knows that's who I am, and many do not know me by any other name (i.e., did not know me before my ordination). On the other hand, parts of me are ontologically objective. If you, literally, run into me, you'll certainly feel it. And parts of me are both ontologically and epistemically subjective, i.e., my private thoughts. So my "identity" as Jayarava spans all these possibilities (and possibly more) depending on the point of view of the observer.

The identity of Theseus and of Theseus's ship both rely on a range of types of facts and this makes the problem very much more complicated. There are no simplifying assumptions we can make without excluding essential information. 


Part/Whole Gestalt

A ship, as I have defined it, is a combination of materials and construction. Considerable time and effort is required to turn the materials into an object with the necessary intrinsic features to perform the function of ship. The parts have to be shaped and then fixed together in ways that create the necessary structure and give it enduring integrity. However, the usual way of framing the problem of Theseus ship only looks at materials and ignores the structure itself. This may be why no one seems to notice that despite all the changes, the ship is still a ship.

It seems that many philosophers are blind to the role of structure in the world. Ships are complex objects, made of many parts assembled in the right order to fit the category of 'ship'. There is a tendency to default to a reductionist paradigm in which only the parts are relevant to the question of identity. We do not see structure as real. We only see substance as real. Therefore, if we are going to invest identity in anything it ought to be, in this view, in substance. Structure is apparently incidental. 

If we replace one plank of wood in a ship made from dozens of planks, we have no problem in identifying the structure as the same, with a repair. If we replace all the parts, we struggle because in reductionism the parts are where identity is vested. If there are no original parts, then identity is lost. Somewhere in the middle is a cross-over point. We're not quite sure where it might be, but at some point we begin to suspect that if we replace that arbitrary number of parts, then the identity of the whole somehow changes. And this despite the fact that the ship is continually existent as a structure.

This see-saw—yes/no—approach has characterised Western philosophy for years. Eastern philosophy was mired in its own problems, but clearly the Buddhist philosophy that I am familiar with also tended to reductionism and thus did no better at dealing with change. However, there is a better approach.

It is better to acknowledge that the ship is both made from parts and constitutes a whole. When we analyse the ship into parts we see that parts on their own are not ships and mostly do not have the necessary intrinsic features to be a ship. The epistemically objective "ship" only emerges when we assemble all of the parts into the appropriate structure and we, the observer, have the appropriate mental states. The integrated whole has features which the the parts to not possess: especially buoyancy, hydrodynamics, and motive power. To fully understand the concept of ship we have to take into account both sides of the coin: substance and structure; as well as the observer relative status of the concept of "ship". 

In this view, the structure of the ship is causal. The structure causes the ship to float, to displace water, and to move in ways that parts alone cannot. The materials on their own do not have these features, or at least not enough of them to fit into the category ship. A lump of steel rapid sinks in water. But if we hollow it out so that it encloses a volume more than eight times the volume of the original lump, then it will float. Given the density of steel as a substance, we expect it always to sink. But a steel ship floats because it is ship-shaped. Here structure is more important than substance in understanding the nature of a ship.

The structure also persists over time, despite the replacing of some or even all of its parts. So the structure also exists and is causal. The structure does not exist independently of its parts, but since identical parts can be substituted with no change in the structure, then structure is not absolutely dependent on its parts. Indeed, we can often remove parts from a structure and it remains intact as a structure. Removing a plank from above the water-line of a ship does not destroy the intrinsic features of the object, nor does it stop the object from performing the function of ship.

Thus we can say that the structure is real. Reductionists assert that only substance is real. Antireductionists assert than only structures (or systems) are real. My view, following Richard H. Jones (2013), is that both substance and structure are real. The planks and the ship are both real, and the structure has emergent features that are not features of the planks. Planks have their own important features that enable them to function as a good building material. The individual fibres or cells of wood do not have the features of a large tree cut into planks.  At every scale we look at, both substance and structure are important. However, if you dismantle a structure into its parts, the features of that structure no longer exist. So the reductionist approach to structure nets us no information because it destroys the object of interest. This is a fact every biologist is aware of.


Identity

I've already pointed out that identity is an observer-relative function and not something intrinsic to insentient objects. We may project it onto objects, but in this case the identity is something we believe and someone who does not believe this will not be able to deduce it from simply interacting with the object. In this section I want to raise some other problems with how Theseus's ship is identified.

Is the ship that sits in the harbour and gradually has all its parts replaced Theseus's ship? The question assumes that Theseus is a point of reference. But Theseus himself is subject to change. He ages. He sails to Minos and kills the Minotaur. How could such events not change him? Is he the same man afterwards? Well, yes and no. The structure that we think of as Theseus has been extended by having new experiences and some of the parts have been exchanged, but the fundamentals are still there. When Theseus returns, everyone recognises him as Theseus. But they probably also notice that the events at Minos have changed him as well. There is both continuity and change.

Some people approach the question of the identity of Theseus's ship by ignoring the continuity and focussing on the fact of change. In this case, neither Theseus nor the ship is the same. And the difference takes on an exaggerated importance when continuity is excluded from the equation -- and some ignore the change and focus on the continuity.

I can walk out my door and within a few minutes be standing on top of a large mound of dirt, piled up by the Normans in 1068 CE, which has commanding views of Cambridge and the surrounding area. The mound has been there for about 950 years as I write this. Or, on a slightly longer walk, I can visit buildings that were constructed in the 13th Century. These are structures that have persisted for centuries. Not without change and/or repair, but still, arguing that they don't exist is nonsensical. There they are, and there they have been for centuries! One has to go under, over, or around them, one cannot just pretend they are not there. For those who believe that a brick wall does not exist, the recommended procedure is to bash your head against it repeatedly, until wisdom dawns.

These objects are real by any sensible definition of the word. Real and impermanent. Impermanence does not make an object unreal, it only makes it temporary. Buddhist intellectuals have struggled with this because ancient Buddhists defined existence as permanent. An impermanent object cannot be said to exist. In fact, they were mixing up experience and reality. The original target of the criticism was the existence of absolute being (ātman) in experience (pañca-skandhāḥ). Since experience is impermanent, no absolute being could be found in experience. Unfortunately, they went too far with this and equated all being with absolute being. From this, they argued that no being of any kind could be found. But this is simply a misunderstanding of an ancient criticism of ātman

Over time, structure persists. In the light of this we can say that the structure of the ship once owned by Theseus persists, helped by the exchange of rotten planks for good ones. At the same time, the substance of the ship has changed so that no plank of the original is left; but because planks are essentially identical this doesn't affect the structure. If we vest identity solely in the structure, then this is Theseus's ship. If we vest identity solely in the substance, then it is not Theseus's ship. There is no paradox here, because where we vest identity is simply an arbitrary decision we make, though probably motivated by presuppositions and non-reflective beliefs.

Similarly, if we take the old planks and build a new ship, how we see it depends on whether we focus on structure or substance. The new ship is a new structure, made from old substance. So, if identity is substance ,this is the same ship and, if it is structure, it's a completely different ship.

The two extremes are not the only possible answers here. Part of what philosophers do to win arguments is to back us into corners by artificially making us choose one side of a duality. This is another example of the arborescent fallacy, which sees us frame the question as having an either/or answer. In this fallacy, the world appears to us as a series of binaries. The term arborescent is also used in graph theory and botany; and was the title of an album by Ozric Tentacles. Another name for this is false dilemma. Edward de Bono independently wrote about this problem as a feature of neural networks, which he called knife-edge discrimination (1990: 108ff).

After my critique of the tree metaphor in evolution (Evolution: Trees and Braids) I stumbled onto the same critique produced by Gilles Deleuze and Félix Guattari (1980), whence the name arborescent meaning 'tree-like' (from arbor 'tree' and the suffix ‑escent  'a process or state of being'). Unfortunately, having looked at their book I found it suffered from all the usual faults of French philosophy of that period: the writing style is obscurantist and the argument jumbled and poorly structured. So I still don't know what they say about the fallacy except what is on Wikipedia (so potentially I know nothing).

The problem of Theseus' ship is framed according to a logical fallacy that results from a cognitive bias to see things in binary terms. Once I realised that both substance and structure were real, the problem I knew as grandfather's axe no longer seemed to me to be an either/or problem. The apparent paradox is simply a limitation artificially imposed by intellectuals who haven't fully grasped the situation they live in. They labour away with theories about how the world should be, based on idealistic or romantic fantasies. Education is a good thing, but all too often it leaves us with unexamined presuppositions that hinder our understanding. For example, most people finish their science schooling believing in reductionism and this is an obstacle to understanding because reduction is strictly limited in its application. 

Another complaint is that identity is a fairly slippery concept. It makes more sense to speak of a conscious entity having identity than a ship. Without a mind, the ship itself has no sense of identity. Therefore, any identity that we perceive is a quality that we have projected into the ship. Identity in this case doesn't reside in the ship at all. It resides in our own minds! What we're really wondering is whether we recognise the ship as being the same or not, which again comes down to whether we look at substance, structure, both, or neither. And I argue that we have to look at both.

Since no object is entirely stable, no matter how long it persists, insisting that identity is a function of some fixed quality rather than something dynamic is just arbitrary. Castle mound is by no means exactly the same as it was ~950 years ago when it was heaped up as the base for a defensive stockade to guard a key crossing point on the River Cam. But it is a mound and there has continuously been a mound on that spot for ~950 years. A mound exists. Whether the mound exists is just something to argue about in a framework that doesn't allow a resolution. If we focus on the grains of soil, then it is not the mound, but another identically shaped mound in the same location as yesterday (by coincidence apparently). If we focus on the structure itself it is the same mound, but the parts have all changed.

Answers are so often already implied by how we frame questions. Logic doesn't stop us getting things wrong.


Conclusion

So, to recap, the problem of Theseus's ship is problematic mainly because of how it is framed and the presuppositions of the person who asks the question. Reductionist methodologies cannot cope very well with persistent structure. Reasoning from the assumptions and methods of reductionism on its own produces nonsense and/or contradictions.

To understand and appreciate structure requires an antireductive approach. We have to see structures as persistent, dynamic systems, with their own (emergent) features and causal powers: e.g., buoyancy and hydrodynamism. Such a structure can function as a ship, but only in relation to other systems, such as the ocean. Also, the function of the object as a ship is an observer-relative function. While it is epistemically objective, the fact of being a "ship" is ontologically subjective. A naive observer would not look at a ship and conclude that it could convey people and cargo across the ocean, especially if they were not familiar with oceans.

Identity is not vested in either parts or wholes of any inanimate object, but in our own conscious states. Any identity Theseus's ship might have is a projection from our minds onto the object. It is Theseus's ship if, and only if, we believe it to be so. Different people, at different times and places, may have different reasons for believing that it is Theseus's ship, but apart from a tiny number of long dead eye-witnesses (whose testimony may still be inaccurate), the rest of us take it on faith.

If we restrict ourselves to focussing on substance and change then the ship is not the same. But if we restrict ourselves to structure and continuity then it is the same. But the dichotomy is not intrinsic. Any object we can see has both structure and substance. Both are real and therefore when considering the question of Theseus's ship, both are equally important.

The problem is that we seek something essential in a complex object in which the parts are being changed for identical parts but the structure remains stable. To simply ask "Is it the same ship?" is an incomplete question. One might counter, "the same as what?" Or in other words, what is the point of comparison?

If we resolve the paradox by reframing the problem and selecting appropriate methods to understand it, does it shed any new light on the problem of identity? I'm not sure that it does. We all have this experience of continuity with change. We have memories that provide us with continuity, even if they are not 100% accurate. Over a normal human lifespan change occurs rapidly at the beginning, slowly in the middle, and rapidly at the end. But we experience ourselves as continuous through our lives. Not, as some Buddhists insist, as unchanging, but as connected over time. We all understand that we change physically and mentally. Externally, we age and, internally, we accumulate experience.

That there is change-with-continuity or continuity-with-change seems fairly obvious when you think about it. However, everywhere we turn this is denied. Theists argue that we have an unchanging eternal soul. Buddhists deny any kind of continuity when discussing metaphysics, but insist on continuity when discussing morality. Philosophers frame the problem of Theseus's ship so that it is a paradox. But everyday experience is of change and continuity. There is a dialectic between substance and structure and it is helpful to acknowledge the contribution of both to experience. 


~~oOo~~

* FTFY Fixed That For You (h/t David Chapman)


Bibliography

de Bono, Edward. (1990) I Am Right - You Are Wrong. Penguin

Deleuze, Gilles and Guattari, Félix. (1980). A Thousand Plateaus: Capitalism and Schizophrenia . Continuum, 2004. [First translated into English 1987; originally vol. 2 of Capitalisme et Schizophrénie]

Jones, Richard H. (2013). Analysis & the Fullness of Reality: An Introduction to Reductionism & Emergence. Jackson Square Books.