Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Counterpart theory
Résumé
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.