In philosophy, specifically in the area of metaphysics, counterpart theory is an alternative to standard (Kripkean) possible-worlds semantics for interpreting quantified modal logic. 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.
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.
The 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, and it claims that objects are ‘wholly present’ at different moments (see the counterpart relation, below). An opposing view is that any object in time is made up of temporal parts or is perduring.
Lewis' view on possible worlds is sometimes called modal realism.
The possibilities that CT is supposed to describe are “ways a world might be” (Lewis 1986:86) or more exactly:
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 (hereafter C-relation) differs from the notion of identity. Identity is a reflexive, symmetric, and transitive relation. The counterpart relation is only a similarity relation; it needn’t be transitive or symmetric. The C-relation is also known as genidentity (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).
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. 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).
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:
We have the following axioms (taken from Lewis 1968):
It is an uncontroversial assumption to assume that the primitives and the axioms A1 through A8 make the standard counterpart system.
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.
David Lewis defended modal realism. 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 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.
Lewis also argues against three other alternatives that might be compatible with possibilism: overlapping individuals, trans-world individuals, and haecceity.
Some philosophers, such as Peter van Inwagen (1985), see no problem with identity within a world . Lewis seems to share this attitude. He says:
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?
According to 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. Another way is for you to have a counterpart in that possible world, who has the property of being one year older than you.
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.
A haecceity 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.)
CT does not require distinct worlds for distinct possibilities – “a single world may provide many possibilities, since many possible individuals inhabit it” (Lewis 1986:230). CT can satisfy multiple counterparts in one possible world.
Perdurantism is the view that material objects are not wholly present at any single instant of time; instead, some temporal parts is said to be present. Sometimes, especially in the theory of relativity as it is expressed by Minkowski, the path traced by an object through spacetime. According to Ted Sider, “Temporal parts theory is the claim that time is like space in one particular respect, namely, with respect to parts.”[1] Sider associates endurantism with a C-relation between temporal parts.[citation needed]
Sider defends a revised way of counting. Instead of counting individual objects, timeline slices or the temporal parts of an object are used. Sider discusses an example of counting road segments instead of roads simpliciter. (Sider 2001:188-192). (Compare with Lewis 1993.) Sider argues that, even if we knew that some material object would go through some fission and split into two, "we would not say" that there are two objects located at the same spacetime region. (Sider 2001:189)
How can one predicate temporal properties of these momentary temporal parts? It is here that the C-relation comes in play. Sider proposed the sentence: "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)
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 Venus. This seems to be an a posteriori identity statement. We discover that the names designate the same thing. The traditional view, since Kant, has been that statements or propositions that are necessarily true are a priori. 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 Kripke's version (Kripke 1971):
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.
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:
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:
But,
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.
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.
Sider makes the point that David Lewis feels he was forced to defend CT, due to modal realism. Sider uses CT as a solution to the paradox of material coincidence.
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 Rudolf 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.
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:
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.)
The most famous is Kripke's Humphrey objection. Because a counterpart is never identical to something in another possible world Kripke raised the following objection against CT:
One way to spell out the meaning of Kripke's claim is by the following imaginary dialogue: (Based on Sider MS)
CT is inadequate if it can't translate all modal sentences or intuitions. Fred Feldman mentioned two sentences (Feldman 1971):
Embedding a graph in 3D space with no cycles interlinked In topological graph theory, a mathematical discipline, a linkless embedding of an undirected graph is an embedding of the graph into three-dimensional Euclidean space in such a way that no two cycles of the graph are linked. A flat embedding is an embedding with the property that every cycle is the boundary of a topological disk whose interior is disjoint from the graph. A linklessly embeddable graph is a graph that has a linkless or flat…
Roby SatriaLahirRoby Satria13 Mei 1986 (umur 37)PekanbaruTahun aktif2003 - sekarangSuami/istriCinta Ratu NansyaKarier musikNama lainRoby GeishaGenrePop rockrock alternatifInstrumenGitarArtis terkaitFourtwntyCaesariaAnggotaGeisha Roby Satria atau dikenal sebagai Roby Geisha (lahir 13 Mei 1986) merupakan seorang musisi berkebangsaan Indonesia yang juga merupakan gitaris dari grup musik Geisha dan Fourtwnty kemudian juga memproduseri grup band baru yang bernama Caesaria Pada tahun 2003, b…
Santuario di Nostra Signora AssuntaStato Italia RegioneLiguria LocalitàBerzi (Bajardo) IndirizzoBerzi, Bajardo (IM) Coordinate43°53′31.54″N 7°42′56.51″E / 43.892095°N 7.715696°E43.892095; 7.715696Coordinate: 43°53′31.54″N 7°42′56.51″E / 43.892095°N 7.715696°E43.892095; 7.715696 Religionecattolica di rito romano TitolareMaria Assunta Diocesi Ventimiglia-San Remo Inizio costruzioneXV secolo Modifica dati su Wikidata · Manuale Il s…
Schriftentwicklung von der Zeit des Römischen Reiches bis heute: römische Capitalis, Unzialschrift, Rotunda, Renaissanceantiqua, klassizistische Antiqua, Grotesk Die Geschichte der Typografie bietet eine chronologische Übersicht über die Entwicklung der Schriftkultur. In ihrem Mittelpunkt steht heute vor allem die historische Herausbildung der unterschiedlichen Druckschriften. Inhaltsverzeichnis 1 Themen der Typografiegeschichte 2 Handschriftliche Vorgeschichte der Lateinischen Druckschrifte…
Gurun Libya Gurun Libya (Arab: الصحراء الليبية) merupakan sebuah gurun yang terletak di bagian utara dan sebagian bagian timur Gurun Sahara. Gurun ini memiliki luas wilayah 1.100.000 km², gurun ini membentang 1.100 km dari timur ke barat dan 1.000 km dari utara ke selatan. Lihat Pula Gurun Timur Pranala luar Wikimedia Commons memiliki media mengenai Libyan Desert. The complete text and photos of the discoveries of Ahmed Pasha Hassanein in the Libyan Desert, National…
Piala Super UEFA 2014 Real Madrid Sevilla 2 0 Tanggal12 Agustus 2014 (2014-08-12)StadionStadion Kota Cardiff, CardiffPemain Terbaik Cristiano Ronaldo (Real Madrid)[1]WasitMark Clattenburg (Inggris)[2]Penonton30.854[3]CuacaMalam berawan20 °C (68 °F)75% kelembapan[4]← 2013 2015 → Piala Super UEFA 2014 adalah edisi ke-39 dari Piala Super UEFA, sebuah pertandingan sepak bola tahunan yang diselenggarakan UEFA dan diikuti oleh juara bertahan…
Este artículo o sección necesita referencias que aparezcan en una publicación acreditada.Puedes avisar al redactor principal pegando lo siguiente en su página de discusión: {{sust:Aviso referencias|Tolima Stereo}} ~~~~Este aviso fue puesto el 16 de julio de 2023. Tolima Stereo Localización Ibagué, ColombiaÁrea de radiodifusión Ibagué y Centro de ColombiaEslogan La Romántica de IbaguéFrecuencia 92.3 FMPrimera emisión 1983Formato Pop, baladas y noticiasIndicativo HJPNAfiliación Organ…
Тіпі — місце проведення пейотної церемонії. Пейотні пісні, пісні пейотної церемонії — традиційні пісні, що супроводжують ритуальне вживання пейоту в культурі північноамериканських індіанців, які сповідують «пейотизм». Пісні не містять лексично осмисленого тексту…
تيتشنتو الإحداثيات 45°05′50″N 8°33′10″E / 45.097222222222°N 8.5527777777778°E / 45.097222222222; 8.5527777777778 [1] تقسيم إداري البلد إيطاليا[2] التقسيم الأعلى مقاطعة ألساندريا خصائص جغرافية المساحة 8.09 كيلومتر مربع (9 أكتوبر 2011)[3] ارتفاع 102 متر عدد السكان
Максим СтупінMaxim StupinЗагальна інформаціяГромадянство РосіяНародження 2000Москва, РосіяСпортВид спорту спортивне плавання[1]Команда Energy Standardd Участь і здобутки Максим Ступін (1 січня 2000) — російський плавець. Учасник Олімпійських Ігор 2020 року, де в попередніх запли…
2007 single by The-DreamFalsettoSingle by The-Dreamfrom the album Love/Hate ReleasedSeptember 28, 2007Recorded2007GenreR&BLength4:31 (Album Version)4:06 (Radio/Video Edit)LabelRadio Killa/Def JamSongwriter(s)Terius Nash and Christopher StewartProducer(s)Christopher Tricky StewartThe-Dream singles chronology Shawty Is a 10 (2007) Falsetto (2007) I Luv Your Girl (2008) Falsetto is the second single from The-Dream's debut studio album, Love/Hate.[1] The song is produced by Christopher T…
Bosnormand Bosnormand (Frankreich) Staat Frankreich Region Normandie Département Eure Arrondissement Bernay Gemeinde Bosroumois Koordinaten 49° 17′ N, 0° 55′ O49.2802777777780.90916666666667Koordinaten: 49° 17′ N, 0° 55′ O Postleitzahl 27670 Ehemaliger INSEE-Code 27093 Eingemeindung 1. Januar 2017 Status Commune déléguée Bosnormand ist eine Ortschaft und eine Commune déléguée in der französischen Gemeinde Bosroumois mit 402 Einwohnern (…
Annual Halloween event at SeaWorld parks For the adult oriented Halloween event at parks throughout the SeaWorld chain, see Howl-O-Scream. Not to be confused with the WandaVision episode All-New Halloween Spooktacular!. Halloween SpooktacularSeaWorld OrlandoCoordinates28°24′39″N 81°27′45″W / 28.41083°N 81.46250°W / 28.41083; -81.46250 (SeaWorld Orlando)StatusOperatingOpening date2008; 15 years ago (2008) SeaWorld San AntonioCoordinate…
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (March 2013) (Learn how and when to remove this template message) Miguel Torres wine Miguel Torres Chile is a Chilean winery that was founded in Curicó, in 1979, by the Spanish family company Miguel Torres. In its 230 hectares (570 acres), the Viña Santa Digna vineyard cultiva…
This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.Find sources: First Amendment Coalition – news · newspapers · books · scholar · JSTOR (February 2022) The First Amendment Coalition (FAC) is a nonprofit public interest organization committed to freedom of speech, more open and accountable government, and public parti…
Indian singer In this Indian name, the name Krishnamurthy is a patronymic, and the person should be referred to by the given name, Kavita. Kavita KrishnamurthyKavita Krishnamurthy in 2014Background informationBirth nameSharada KrishnamurthyAlso known asKavita SubramaniamBorn (1958-01-25) 25 January 1958 (age 65)New Delhi, India[1]Genres Filmi Fusion Classical Ghazals[2] Pop[2] Occupation(s)Playback singerYears active1971–presentMusical artist Sharada Krishnamurthy …
Кирток Микола Наумович Народження 6 грудня 1920(1920-12-06)с. Маринівка, Ананьївський повіт, Одеська губернія, Українська СРРСмерть 25 вересня 2022(2022-09-25) (101 рік)Москва, РосіяПоховання Федеральне військове меморіальне кладовищеdКраїна СРСР→ РосіяПриналежність Радянська …
French soldier in Canada Louis-Armand de Lom d'Arce de LahontanBorn(1666-06-09)9 June 1666DiedPrior to 1716NationalityFrenchOccupation(s)Soldier, explorer, writer Louis Armand, Baron de Lahontan (9 June 1666 – prior to 1716) served in the French military in Canada where he traveled extensively in the Wisconsin and Minnesota region and the upper Mississippi Valley. Upon his return to Europe he wrote an enormously popular travelogue. In it he recounted his voyage up the Long River, now thought t…
American songwriter(1951-2016) Yvonne WrightBackground informationBirth nameYvonne Lowrene WrightBorn(1951-10-31)October 31, 1951Harlem, New York City, U.S.DiedJanuary 26, 2016(2016-01-26) (aged 64)Dallas, Texas, U.S.Genres R&B Soul OccupationsSongwriter, singerInstrumentsVocalistYears active1970s–1980sLabelsTamlaMusical artist Yvonne Lowrene Wright (October 31, 1951 – January 26, 2016)[1][2] was an American songwriter and vocalist best known for co-writing with Stev…
17th-century Swedish warship Vasa's port bow History Sweden Laid down1626 LaunchedMarch 1627 FateSank in 1628, salvaged in 1961, currently a museum ship 59°19′40″N 18°05′28″E / 59.32778°N 18.09111°E / 59.32778; 18.09111 General characteristics Tonnage1210 tonnes displacement Length Sparred length: 69 m (226 ft) Between perpendiculars 47.5 m (156 ft) Beam11.7 m (38 ft) Height52.5 m (172 ft) Draft4.8 m (16…
Lokasi Pengunjung: 18.218.48.50