Counterpart theory
Encyclopedia
In philosophy, specifically in the area of modal metaphysics
Metaphysics
Metaphysics is a branch of philosophy concerned with explaining the fundamental nature of being and the world, although the term is not easily defined. Traditionally, metaphysics attempts to answer two basic questions in the broadest possible terms:...

, counterpart theory is an alternative to standard (Kripkean) possible-worlds semantics for interpreting quantified modal logic
Modal logic
Modal logic is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals — words that express modalities — qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is...

. Counterpart theory still presupposes possible worlds, but differs in certain important respects from the Kripkean view. The form of the theory most commonly cited was developed by David Lewis, first in a paper and later in his book On The Plurality of Worlds.

Differences from the Kripkean view

Counterpart theory (hereafter "CT"), as formulated by Lewis, requires that individuals exist in only one world. The standard account of possible worlds assumes that a modal statement about an individual (e.g., "it is possible that x is y") means that there is a possible world, W, where the individual x has the property y; in this case there is only one individual, x, at issue. On the contrary, counterpart theory supposes that this statement is really saying that there is a possible world, W, wherein exists an individual that is not x itself, but rather a distinct individual 'x' different from but nonetheless similar to x. So, when I state that I might have been a banker (rather than a philosopher) according to counterpart theory I am saying not that I exist in another possible world where I am a banker, but rather my counterpart does. Nevertheless, this statement about my counterpart is still held to ground the truth of the statement that I might have been a banker. The requirement that any individual exist in only one world is to avoid what Lewis termed the "problem of accidental intrinsics" which (he held) would require a single individual to both have and simultaneously not have particular properties.

In its formalization, counterpart theoretic formalization of modal discourse also departs from the standard formulation by eschewing use of modality operators (Necessarily, Possibly) in favor of quantifiers that range over worlds and 'counterparts' of individuals in those worlds. Lewis put forth a set of primitive predicates and a number of axioms governing CT and a scheme for translating standard modal claims in the language of quantified modal logic into his CT.

In addition to interpreting modal claims about objects and possible worlds, CT can also be applied to the identity of a single object at different points in time. The view that an object can retain its identity over time is often called Endurantism
Endurantism
Endurantism or endurance theory is a philosophical theory of persistence and identity. According to the endurantist view material objects are persisting three-dimensional individuals wholly present at every moment of their existence...

, and it claims that objects are ‘wholly present’ at different moments. An opposing view is that any object in time is made up of temporal parts or is perduring
Perdurantism
Perdurantism or perdurance theory is a philosophical theory of persistence and identity. The perdurantist view is that an individual has distinct temporal parts throughout its existence....

. A C-relation between objects at different times is called the stage view or endurantism
Endurantism
Endurantism or endurance theory is a philosophical theory of persistence and identity. According to the endurantist view material objects are persisting three-dimensional individuals wholly present at every moment of their existence...

.

How Lewis’s concrete possible worlds starts to deliver possibilities

David Lewis
David Kellogg Lewis
David Kellogg Lewis was an American philosopher. Lewis taught briefly at UCLA and then at Princeton from 1970 until his death. He is also closely associated with Australia, whose philosophical community he visited almost annually for more than thirty years...

' view on possible worlds is sometimes called possibilism or modal realism
Modal realism
Modal realism is the view, notably propounded by David Kellogg Lewis, that all possible worlds are as real as the actual world. It is based on the following tenets: possible worlds exist; possible worlds are not different in kind from the actual world; possible worlds are irreducible entities; the...

.

The basics

The possibilities that CT is supposed to describe are “ways a world might be” (Lewis 1986:86) or more exactly:
(1) absolutely every way that a world could possibly be is a way that some world is, and

(2) absolutely every way that a part of a world could possibly be is a way that some part of some world is. (Lewis 1986:86.)


Add also the following “principle of recombination,” which Lewis describes this way: “patching together parts of different possible worlds yields another possible world […]. [A]nything can coexist with anything else, […] provided they occupy distinct spatiotemporal positions.” (Lewis 1986:87-88). But these possibilities should be restricted by CT.

The counterpart relation

The counterpart relation (hereafter C-relation) differs from the notion of identity. Identity is a reflexive
Reflexive relation
In mathematics, a reflexive relation is a binary relation on a set for which every element is related to itself, i.e., a relation ~ on S where x~x holds true for every x in S. For example, ~ could be "is equal to".-Related terms:...

, symmetric
Symmetric relation
In mathematics, a binary relation R over a set X is symmetric if it holds for all a and b in X that if a is related to b then b is related to a.In mathematical notation, this is:...

, and transitive
Transitive relation
In mathematics, a binary relation R over a set X is transitive if whenever an element a is related to an element b, and b is in turn related to an element c, then a is also related to c....

 relation. The counterpart relation is only a similarity relation
Similarity relation
In music, a similarity relation or pitch-class similarity is a comparison between sets of the same cardinality , based upon shared pitch class and/or interval class content....

; it needn’t be transitive or symmetric. The C-relation is also known as genidentity
Genidentity
The concept of genidentity, introduced by Kurt Lewin in his 1922 Habilitationsschrift "Der Begriff der Genese in Physik, Biologie und Entwicklungsgeschichte" is today perhaps the only surviving evidence of Lewin's influence on the philosophy of science. However, this concept never became an object...

 (Carnap 1967), I-relation (Lewis 1983), and the unity relation (Perry 1975).

If identity is shared between objects in different possible worlds then the same object can be said to exist in different possible worlds (a trans-world object, that is, a series of objects sharing a single identity).

Parthood relation

An important part of the way Lewis’s worlds deliver possibilities is the use of the parthood relation. This gives some neat formal machinery, mereology
Mereology
In philosophy and mathematical logic, mereology treats parts and the wholes they form...

. This is an axiomatic system that uses formal logic to describe the relationship between parts and wholes, and between parts within a whole. Especially important, and most reasonable, according to Lewis, is the strongest form that accepts the existence of mereological sums or the thesis of unrestricted mereological composition (Lewis 1986:211-213).

The formal theory

As a formal theory, counterpart theory can be used to translate sentences into modal quantificational logic. Sentences that seem to be quantifying over possible individuals should be translated into CT. (Explicit primitives and axioms have not yet been stated for the temporal or spatial use of CT.) Let CT be stated in quantificational logic and contain the following primitives:
Wx (x is a possible world)
Ixy (x is in possible world y)
Ax (x is actual)
Cxy (x is a counterpart of y)


We have the following axioms (taken from Lewis 1968):
A1. Ixy → Wy
(Nothing is in anything except a world)

A2. Ixy ∧ Ixz → y=z
(Nothing is in two worlds)

A3. Cxy → ∃zIxz
(Whatever is a counterpart is in a world)

A4. Cxy → ∃zIyz
(Whatever has a counterpart is in a world)

A5. Ixy ∧ Izy ∧ Cxz → x=z
(Nothing is a counterpart of anything else in its world)

A6. Ixy → Cxx
(Anything in a world is a counterpart of itself)

A7. ∃x (Wx ∧ ∀y(Iyx ↔ Ay))
(Some world contains all and only actual things)

A8. ∃xAx
(Something is actual)


It is an uncontroversial assumption to assume that the primitives and the axioms A1 through A8 make the standard counterpart system.

Comments on the axioms

  • A1 excludes individuals that exist in no world at all. The way an individual is in a world is by being a part of that world, so the basic relation is mereological.

  • A2 excludes individuals that exist in more than one possible world. But because David Lewis accepts the existence of arbitrary mereological sums there are individuals that exist in several possible worlds, but they are not possible individuals because none of them have the property of being actual. And that is because it is not possible for such a whole to be actual.

  • A3 and A4 make counterparts worldbound, excluding an individual that has a non-worldbound counterpart.

  • A5 and A6 restrict the use of the CT-relation so that it is used within a possible world when and only when it is stood in by an entity to itself.

  • A7 and A8 make one possible world the unique actual world.

Principles that are not accepted in normal CT

R1 Cxy → Cyx
(Symmetry of the counterpart relation)

R2 Cxy ∧ Cyz → Cxz
(Transitivity of the counterpart relation)

R3 Cy1x ∧ Cy2x ∧ Iy1w1 ∧ Iy2w2 ∧ y1≠y2 → w1≠w2
(Nothing in any world has more than one counterpart in any other world)

R4 Cyx1 ∧ Cyx2 ∧ Ix1w1 ∧ Ix2w2 ∧ x1≠x2 → w1≠w2
(No two things in any world have a common counterpart in any other world)

R5 Ww1 ∧ Ww2 ∧ Ixw1 → ∃y (Iyw2 ∧ Cxy)
(For any two worlds, anything in one is a counterpart of something in the other)

R6 Ww1 ∧ Ww2 ∧ Ixw1 → ∃y (Iyw2 ∧ Cyx)
(For any two worlds, anything in one has some counterpart in the other)

Motivations for Counterpart theory

CT can be applied to the relationship between identical objects in different worlds or at different times. Depending on the subject, there are different reasons for accepting CT as a description of the relation between different entities.

In possible worlds

David Lewis defended possibilism or Modal realism
Modal realism
Modal realism is the view, notably propounded by David Kellogg Lewis, that all possible worlds are as real as the actual world. It is based on the following tenets: possible worlds exist; possible worlds are not different in kind from the actual world; possible worlds are irreducible entities; the...

. This is the view that a possible world is a concrete, maximal connected spatio-temporal region. The actual world is one of the possible worlds; it is also concrete. Because a single concrete object demands spatio-temporal connectedness, a possible concrete object can only exist in one possible world. Still, we say true things like: It is possible that Hubert Humphrey
Hubert Humphrey
Hubert Horatio Humphrey, Jr. , served under President Lyndon B. Johnson as the 38th Vice President of the United States. Humphrey twice served as a United States Senator from Minnesota, and served as Democratic Majority Whip. He was a founder of the Minnesota Democratic-Farmer-Labor Party and...

 won the 1968 US presidential election. How is it true? Humphrey has a counterpart in another possible world that wins the 1968 election in that world.

But Lewis also argues against three other alternatives that might be compatible with possibilism: overlapping individuals, trans-world individuals, and haecceity
Haecceity
Haecceity is a term from medieval philosophy first coined by Duns Scotus which denotes the discrete qualities, properties or characteristics of a thing which make it a particular thing...

.

Some philosophers, such as Peter van Inwagen
Peter van Inwagen
Peter van Inwagen is an American analytic philosopher and the John Cardinal O'Hara Professor of Philosophy at the University of Notre Dame. He previously taught at Syracuse University and earned his PhD from the University of Rochester under the direction of Richard Taylor and Keith Lehrer...

 (1985), see no problem with identity
Identity (social science)
Identity is a term used to describe a person's conception and expression of their individuality or group affiliations . The term is used more specifically in psychology and sociology, and is given a great deal of attention in social psychology...

 within a world . Lewis seems to share this attitude. He says:
"… like the Holy Roman Empire, it is badly named. […] In the first place we should bear in mind that Trans-World Airlines is an intercontinental, but not as yet an interplanetary carrier. More important, we should not suppose that we have here any problem with identity.

We never have. Identity is utterly simple and unproblematic. Everything is identical to itself; nothing is ever identical to anything else except itself. There is never any problem about what makes something identical to itself; nothing can ever fail to be. And there is never any problem about what makes two things identical; two things never can be identical.

There might be a problem about how to define identity to someone sufficiently lacking in conceptual resources — we note that it won't suffice to teach him certain rules of inference — but since such unfortunates are rare, even among philosophers, we needn't worry much if their condition is incurable.

We do state plenty of genuine problems in terms of identity. But we needn't state them so.” (Lewis 1986:192-193)


So Lewis' point is to look at other places for reasons for and against other ways for objects to be trans-world identical.

Overlapping individuals

An overlapping individual has a part in the actual world and a part in another world. Because identity is not problematic, we get overlapping individuals by having overlapping worlds. Two worlds overlap if they share a common part. But some properties of overlapping objects are, for Lewis, troublesome (Lewis 1986:199-210).

The problem is with an object’s accidental intrinsic properties, such as shape and weight, which supervene on its parts. Humphrey could have the property of having six fingers on his left hand. How does he do that? It can’t be true that Humphrey has both the property of having six fingers and five fingers on his left hand. What we might say is that he has five fingers at this world and six fingers at that world. But how should these modifiers be understood?

But the devil is in the details. Perhaps there is a way to spell these things out (see McDaniel 2004). If Lewis is right, the defender of overlapping individuals has to accept genuine contradictions or defend the view that every object has all its properties essentially.

How can you be one year older than you are? One way is to say that there is a possible world where you exist. Someone identical to you exists and has the property of being one year older than you are in your world. But how is that possible? If something is identical to something else, then they have the same properties. But one of the things is one year older than the other thing. Another way is for you to have a counterpart in that possible world, who has the property of being one year older than you.

Trans-world individuals

Take Humphrey: if he is a trans-world individual he is the mereological sum of all of the possible Humphreys in the different worlds. He is like a road that goes through different regions. There are parts that overlap, but we can also say that there is a northern part that is connected to the southern part and that the road is the mereological sum of these parts. The same thing with Humphrey. One part of him is in one world, another part in another world.

Lewis can't deny mereological sums as they are unrestricted. <-- ??? --> In that way there are trans-world individuals — but we don't speak of them. In a sense they cannot possibly exist (Lewis 1986:211). Some kind of restricted quantification is happening here. Here is his speech:
"It is possible for something to exist iff it is possible for the whole to exist. That is, iff there is a world at which the whole of it exists. That is, iff there is a world such that quantifying only over parts of that world, the whole of it exists. That is, iff the whole of it is among the parts of some world. That is, iff it is part of some world – and hence not a trans-world individual. Parts of worlds are possible individuals; trans-world individuals are therefore impossible individuals."


A theory of trans-world individuals agrees on what exists with CT, but it disagrees about what names or kinds of things are about. There might be a similar disagreement between perdurantism and the stage view. (See further below on endurantism.)

Haecceity

A haecceity
Haecceity
Haecceity is a term from medieval philosophy first coined by Duns Scotus which denotes the discrete qualities, properties or characteristics of a thing which make it a particular thing...

 or individual essence is a property that only a single object instantiates. Ordinary properties, if one accepts the existence of universals, can be exemplified by more than one object at a time. Another way to explain a haecceity is to distinguish between suchness and thisness, where thisness has a more demonstrative character.

David Lewis gives the following definition of a haecceitistic difference: “two worlds differ in what they represent de re concerning some individual, but do not differ qualitatively in any way.” (Lewis 1986:221.)

Let's take two examples. It is possible that I could be one of two identical twins. According to haecceitism, there is a non-qualitive property, namely being me, that one of them has in one possible world or that the other one has in another qualitatively identical world. But CT doesn't need that; distinct possibilities don't need distinct worlds – “a single world may provide many possibilities, since many possible individuals inhabit it” (Lewis 1986:230). CT can satisfy the twin intuition because it allows for multiple counterparts in one possible world.

The second case is the possibility that I might have been someone else, say David Lewis. What I am contemplating is a world identical to this world but where I am David Lewis. According to haecceitism there is a qualitatively identical world where the non-qualitative properties are shifted so that I am David Lewis. But according to CT we can understand it very broadly so that every counterpart of me just has the property of being a person, thus it is possible for me, in the actual world, to be David Lewis (Lewis 1986:231-232).

Temporal parts

Ted Sider believes that perdurantism and the stage view are about how ordinary material objects persist through time. Perdurantism
Perdurantism
Perdurantism or perdurance theory is a philosophical theory of persistence and identity. The perdurantist view is that an individual has distinct temporal parts throughout its existence....

 is the view that material objects are not wholly present at each single instant of time; instead, objects have temporal parts. Sometimes, especially in the theory of relativity
Theory of relativity
The theory of relativity, or simply relativity, encompasses two theories of Albert Einstein: special relativity and general relativity. However, the word relativity is sometimes used in reference to Galilean invariance....

 as it is expressed by Minkowski
Minkowski
Minkowski is a surname, and may refer to:* Eugène Minkowski , French psychiatrist* Hermann Minkowski Russian-born German mathematician and physicist, known for:** Minkowski addition** Minkowski–Bouligand dimension...

, a perduring object is called a spatiotemporal worm; therefore perdurantism is sometimes called worm theory.

Temporal parts can explain how an object instantiates temporary intrinsic properties (compare with the discussion of overlapping individuals and counterparts).

But perdurantism is not the only view that accepts the existence of temporal parts. Ted Sider defends a view called endurantism or the stage view. The stage view uses a C-relation between the temporal parts of perduring objects. (Another defence of endurantism is in Hawley 2001)

The point in saying that objects endure instead of perdure is, first, that perdurantism is a good solution to the so-called paradox of material constitution or the paradox of material coincidence. Basically, most material objects go through some change of material parts over time. Take me, for instance: yesterday a certain atom on my left hand was part of me, today it isn't. Lets say that I am made up of all the atoms that compose me. But how can I have the two incompatible properties of both having an atom on my left hand as a part of me and not having it as a part of me? According to perdurantism, different temporal parts are composed of different atoms.

Endurantism

But according to Sider, perdurantism can't handle all that is puzzling with the paradox, so, second, to have the best solution to the paradox, we have to defend endurantism.

First Sider defends a revised way of counting. Instead of counting individual objects, we could count by parts of an object — Sider discusses his example of counting road segments instead of roads simpliciter. That way we count not only by identity (Sider 2001:188-192). (Compare with Lewis 1993.)

Sider argues that, even if we knew that some material object would go through some fission
Fission
Fission is a splitting of something into two parts.Fission may refer to:*In physics, nuclear fission is a process where a large atomic nucleus is split into two smaller particles....

 and split into two, "we would not say" that there are two objects located at the same spacetime
Spacetime
In physics, spacetime is any mathematical model that combines space and time into a single continuum. Spacetime is usually interpreted with space as being three-dimensional and time playing the role of a fourth dimension that is of a different sort from the spatial dimensions...

 region. (Sider 2001:189)

The consequence is that endurantism accepts the same ontology
Ontology
Ontology is the philosophical study of the nature of being, existence or reality as such, as well as the basic categories of being and their relations...

 as perdurantism, quantifying over spatiotemporal worms, but when we ordinarily talk (not only in English) our predicates don't quantify over them. We, most of the time, talk with restricted quantifiers (Sider 2001:192). Further, ordinary sortals like person, lamp, or tree designate momentarily temporal parts.

But here an objection creeps up: How can we predicate temporal properties of these momentary temporal parts?

It is here that the C-relation comes in play. Take the sentence proposed by Sider: "Ted was once a boy." The truth condition of this sentence is that "there exists some person stage x prior to the time of utterance, such that x is a boy, and x bears the temporal counterpart relation to Ted." (Sider 2001:193)

It can be interesting to compare Sider's loose description of endurantism with Yuri Balashov's attempt at defining it (Balashov 2007).

Counterpart theory and the necessity of identity

Kripke's three lectures on proper names and identity, (1980), raised the issues of how we should interpret statements about identity. Take the statement that the Evening Star is identical to the Morning Star. Both are the planet
Planet
A planet is a celestial body orbiting a star or stellar remnant that is massive enough to be rounded by its own gravity, is not massive enough to cause thermonuclear fusion, and has cleared its neighbouring region of planetesimals.The term planet is ancient, with ties to history, science,...

 Venus
Venus
Venus is the second planet from the Sun, orbiting it every 224.7 Earth days. The planet is named after Venus, the Roman goddess of love and beauty. After the Moon, it is the brightest natural object in the night sky, reaching an apparent magnitude of −4.6, bright enough to cast shadows...

. This seems to be an [a posteriori] identity statement. We discover that the names designate the same thing. The traditional view, since Kant
KANT
KANT is a computer algebra system for mathematicians interested in algebraic number theory, performing sophisticated computations in algebraic number fields, in global function fields, and in local fields. KASH is the associated command line interface...

, has been that statements or propositions that are necessarily true are a priori
A priori and a posteriori (philosophy)
The terms a priori and a posteriori are used in philosophy to distinguish two types of knowledge, justifications or arguments...

. But in the end of the sixties Saul Kripke and Ruth Barcan Marcus offered proof for the necessary truth of identity statements. Here is the Kripkes version (Kripke 1971):
(1) ∀x (x = x) [Necessity of self-identity]
(2) ∀x∀y [x = y → ∀P(Px → Py)] [Leibniz law]
(3) ∀x∀y [x = y → ((x = x) → (x = y))] [From (1) and (2)]
(4) ∀x∀y [x = y → (x = y)] [From the following principle A → B → C ⇒ A → C and (3)]


If the proof is correct the distinction between the a priori/a posteriori and necessary/contingent becomes less clear. The same applies if identity statements are necessarily true anyway. (For some interesting comments on the proof, see Lowe 2002.) The statement that for instance “Water is identical to H2O” is (then) a statement that is necessarily true but a posteriori. If CT is the correct account of modal properties we still can keep the intuition that identity statements are contingent and a priori because counterpart theory understands the modal operator in a different way than standard modal logic
Modal logic
Modal logic is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals — words that express modalities — qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is...

.

The relationship between CT and essentialism is of interest. (Essentialism, the necessity of identity, and rigid designators form an important troika of mutual interdependence.) According to David Lewis, claims about an object's essential properties can be true or false depending on context (in Chapter 4.5 in 1986 he calls against constancy, because an absolute conception of essences is constant over the logical space of possibilities). He writes:
But if I ask how things would be if Saul Kripke had come from no sperm and egg but had been brought by a stork, that makes equally good sense. I create a context that makes my question make sense, and to do so it has to be a context that makes origins not be essential. (Lewis 1986:252.)

Counterpart theory and rigid designators

Kripke interpreted proper names as rigid designators where a rigid designator picks out the same object in every possible world (Kripke 1980). For someone who accepts contingent identity statements the following semantic problem occurs (semantic because we deal with de dicto necessity) (Rea 1997:xxxvii).

Take a scenario that is mentioned in the paradox of coincidence. A statue (call it “Statue”) is made by melding two pieces of clay together. Those two pieces are called “Clay”. Statue and Clay seem to be identical, they exist at the same time, and we could incinerate them at the same time. The following seems true:
Necessarily, if Statue exists then Statue is identical to Statue.

But,
Necessarily, if Statue exists then Statue is identical to Clay

is false, because it seems possible that Statue could have been made out of two different pieces of clay, and thus its identity to Clay is not necessary.

Counterpart theory, qua-identity, and individual concepts can offer solutions to this problem.

Arguments for inconstancy

Ted Sider gives roughly the following argument (Sider 2001:223). There is inconstancy if a proposition about the essence of an object is true in one context and false in another. C-relation is a similarity relation. What is similar in one dimension is not similar in another dimension. Therefore the C-relation can have the same difference and express inconstant judgements about essences.

David Lewis offers another argument. The paradox of coincidence can be solved if we accept inconstancy. We can then say that it is possible for a dishpan and a piece of plastic to coincide, in some context. That context can then be described using CT.

Other motivations for Counterpart theory

Ted Sider makes the important point that David Lewis feels he was forced to defend CT, after previously defending modal realism
Modal realism
Modal realism is the view, notably propounded by David Kellogg Lewis, that all possible worlds are as real as the actual world. It is based on the following tenets: possible worlds exist; possible worlds are not different in kind from the actual world; possible worlds are irreducible entities; the...

 or possibilism. Sider needs CT to have an optimal solution to the paradox of material coincidence, a solution that in no way is forced upon him, therefore it is interesting to mention other motivations for CT.

Counterpart theory compared to qua-theory and individual concepts

We assume that contingent identity is real. Then it is informative to compare CT with other theories about how to handle de re representations.

Qua-theory

Kit Fine (1982) and Alan Gibbard (1975) (according to Rea 1997) are defences of qua-theory. According to qua-theory we can talk about some of an object's modal properties. The theory is handy if we don't think it is possible for Socrates to be identical with a piece of bread or a stone. Socrates qua person is essentially a person.

Individual concepts

According to Rudolph Carnap, in modal contexts variables refer to individual concepts instead of individuals. An individual concept is then defined as a function of individuals in different possible worlds. Basically, individual concepts deliver semantic objects or abstract functions instead of real concrete entities as in CT.

Counterpart theory and epistemic possibility

Kripke accepts the necessity of identity but agrees with the feeling that it still seems that it is possible that Phospherus (the Morning Star) is not identical to Hespherus (the Evening Star). For all we know, it could be that they are different. He says:
What, then, does the intuition that the table might have turned out to have been made of ice or of anything else, that it might even have turned out not to be made of molecules, amount to? I think that it means simply that there might have been a table looking and feeling just like this one and placed in this very position in the room, which was in fact made of ice, In other words, I (or some conscious being) could have been qualitatively in the same epistemic situation that in fact obtains, I could have the same sensory evidence that I in fact have, about a table which was made of ice. The situation is thus akin to the one which inspired the counterpart theorists; when I speak of the possibility of the table turning out to be made of various things, I am speaking loosely. This table itself could not have had an origin different form the one it in fact had, but in a situation qualitatively identical to this one with respect to all evidence I had in advance, the room could have contained a table made of ice in place of this one. Something like counterpart theory is thus applicable to the situation, but it applies only because we are not interested in what might not be true of a table given certain evidence. It is precisely because it is not true that this table might have been made of ice from the Thames that we must turn here to qualitative descriptions and counterparts. To apply these notions to genuine de re modalities, is from the present standpoint, perverse. (Kripke 1980:142.)


So to explain how the illusion of necessity is possible, according to Kripke, CT is an alternative. Therefore CT forms an important part of our theory about the knowledge of modal intuitions. (For doubt about this strategy, see Della Roca, 2002. And for more about the knowledge of modal statements, see Gendler and Hawthorne, 2002.)

Kripke's "Humphrey Objection"

Because a counterpart is never identical to something in another possible world Kripke raised the following objection against CT:
"Thus if we say "Humphrey might have won the election (if only he had done such-and-such), we are not talking about something that might have happened to Humphrey but to someone else, a "counterpart"." Probably, however, Humphrey could not care less whether someone else, no matter how much resembling him, would have been victorious in another possible world. Thus, Lewis's view seems to me even more bizarre than the usual notions of transworld identification that it replaces. (Kripke 1980:45 note 13.)


One way to spell out the meaning of Kripke's claim is by the following imaginary dialogue: (Based on Sider MS)
Against: Kripke means that Humphrey himself doesn’t have the property of possibly winning the election, because it is only the counterpart that wins.

For: The property of possibly winning the election is the property of the counterpart.

Against: But they can't be the same property because Humphrey has different attitudes to them: he cares about he himself having the property of possibly winning the election. He doesn’t care about the counterpart having the property of possibly winning the election.

For: But properties don't work the same way as objects, our attitudes towards them can be different, because we have different descriptions – they are still the same properties. That lesson is taught by the paradox of analysis
Paradox of analysis
The Paradox of Analysis is a paradox that concerns how an analysis can be both correct and informative. Although the problem takes its origin from the conflict in Plato's Meno, the term "Paradox of Analysis" actually came from philosopher G. E. Moore's work in 1952.-The Paradox:A conceptual...

.


(These arguments, if they are correct, also apply to endurantism
Endurantism
Endurantism or endurance theory is a philosophical theory of persistence and identity. According to the endurantist view material objects are persisting three-dimensional individuals wholly present at every moment of their existence...

; see for instance Sider 2001:194-195.)

Not all modal sentences or propositions can be translated to CT

CT is inadequate if it can't translate all our modal sentences or intuitions. Fred Feldman mentioned two sentences (Feldman 1971):
(1) I could have been quite unlike what I in fact am.

(2) I could have been more like what you in fact are than like what I in fact am. At the same time, you could have been more like what I in fact am than what you in fact are.

Argument specifically against endurantism

One argument against the stage view is that it is hard to understand how it differs from perdurantism and endurantism. Balashov (2007) attempted to spell out endurantism more formally (below).

Another argument against the stage view is Peter Unger's problem of the many. Because the stage view tried to answer a semantic objects connected to how many persons are located at a place in space and time by saying there is one person there, but the problem of the many says it is not neither definitely one or not definitely one. (Sider 2001:192 and compare with Lewis 1993)

See also

  • Endurantism
    Endurantism
    Endurantism or endurance theory is a philosophical theory of persistence and identity. According to the endurantist view material objects are persisting three-dimensional individuals wholly present at every moment of their existence...

  • Identity (philosophy)
    Identity (philosophy)
    In philosophy, identity, from , is the relation each thing bears just to itself. According to Leibniz's law two things sharing every attribute are not only similar, but are the same thing. The concept of sameness has given rise to the general concept of identity, as in personal identity and...

  • Perdurantism
    Perdurantism
    Perdurantism or perdurance theory is a philosophical theory of persistence and identity. The perdurantist view is that an individual has distinct temporal parts throughout its existence....

  • Modal logic
    Modal logic
    Modal logic is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals — words that express modalities — qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is...

  • Modal realism
    Modal realism
    Modal realism is the view, notably propounded by David Kellogg Lewis, that all possible worlds are as real as the actual world. It is based on the following tenets: possible worlds exist; possible worlds are not different in kind from the actual world; possible worlds are irreducible entities; the...


External links

The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK