Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Counterpart theory
Summary
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.
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.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.