In
metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
, identity (from , "sameness") is the
relation each thing bears only to itself. The notion of identity gives rise to
many philosophical problems, including the
identity of indiscernibles (if ''x'' and ''y'' share all their properties, are they one and the same thing?), and questions about change and
personal identity over time (what has to be the case for a person ''x'' at one time and a person ''y'' at a later time to be one and the same person?). It is important to distinguish between ''qualitative identity'' and ''numerical identity''. For example, consider two children with identical bicycles engaged in a race while their mother is watching. The two children have the ''same'' bicycle in one sense (''qualitative identity'') and the ''same'' mother in another sense (''numerical identity'').
This article is mainly concerned with ''numerical identity'', which is the stricter notion.
The philosophical concept of identity is distinct from the better-known notion of identity in use in
psychology
Psychology is the scientific study of mind and behavior. Its subject matter includes the behavior of humans and nonhumans, both consciousness, conscious and Unconscious mind, unconscious phenomena, and mental processes such as thoughts, feel ...
and the
social science
Social science (often rendered in the plural as the social sciences) is one of the branches of science, devoted to the study of societies and the relationships among members within those societies. The term was formerly used to refer to the ...
s. The philosophical concept concerns a
''relation'', specifically, a relation that ''x'' and ''y'' stand in
if, and only if they are one and the same thing, or ''identical to'' each other (i.e. if, and only if ''x'' = ''y''). The
sociological notion of identity, by contrast, has to do with a person's self-conception, social presentation, and more generally, the aspects of a person that make them unique, or qualitatively different from others (e.g.
cultural identity
Cultural identity is a part of a person's identity (social science), identity, or their self-conception and self-perception, and is related to nationality, ethnicity, religion, social class, generation, Locality (settlement), locality, gender, o ...
,
gender identity,
national identity,
online identity, and processes of
identity formation). Lately, identity has been conceptualized considering humans’ position within the ecological web of life; this combination of sociocultural and ecological identification is known as ecocultural identity.
Metaphysics of identity
Metaphysicians and philosophers of language and mind ask other questions:
* What does it mean for an object to be the same as itself?
* If x and y are identical (are the same thing), must they always be identical? Are they ''necessarily'' identical?
* What does it mean for an object to be the same, if it changes over time? (Is apple
''t'' the same as apple
''t''+1?)
* If an object's parts are entirely replaced over time, as in the
Ship of Theseus example, in what way is it the same?
The
law of identity originates from
classical antiquity
Classical antiquity, also known as the classical era, classical period, classical age, or simply antiquity, is the period of cultural History of Europe, European history between the 8th century BC and the 5th century AD comprising the inter ...
. The modern formulation of identity is that of
Gottfried Leibniz
Gottfried Wilhelm Leibniz (or Leibnitz; – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat who is credited, alongside Isaac Newton, Sir Isaac Newton, with the creation of calculus in ad ...
, who held that ''x'' is the same as ''y''
if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either bo ...
every
predicate true of ''x'' is true of ''y'' as well.
Leibniz's ideas have taken root in the
philosophy of mathematics, where they have influenced the development of the
predicate calculus as
Leibniz's law. Mathematicians sometimes distinguish identity from
equality. More mundanely, an ''identity'' in
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
may be an ''
equation
In mathematics, an equation is a mathematical formula that expresses the equality of two expressions, by connecting them with the equals sign . The word ''equation'' and its cognates in other languages may have subtly different meanings; for ...
'' that holds true for all values of a
variable.
Hegel argued that things are inherently self-contradictory and that the notion of something being self-identical only made sense if it were not also not-identical or different from itself and did not also imply the latter. In
Hegel's words, "Identity is the identity of identity and non-identity." More recent metaphysicians have discussed
trans-world identity—the notion that there can be the same object in different possible worlds. An alternative to trans-world identity is the counterpart relation in
counterpart theory. It is a similarity relation that rejects trans-world individuals and instead defends an object's counterpartthe most similar object.
Some philosophers have denied that there is such a relation as identity. Thus
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
From 1929 to 1947, Witt ...
writes (''
Tractatus'' 5.5301): "That identity is not a relation between objects is obvious." At 5.5303 he elaborates: "Roughly speaking: to say of two things that they are identical is nonsense, and to say of one thing that it is identical with itself is to say nothing."
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic ...
had earlier voiced a worry that seems to be motivating Wittgenstein's point (''
The Principles of Mathematics'' §64): "
entity, an objector may urge, cannot be anything at all: two terms plainly are not identical, and one term cannot be, for what is it identical with?" Even before Russell,
Gottlob Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philos ...
, at the beginning of "
On Sense and Reference," expressed a worry with regard to identity as a relation: "Equality gives rise to challenging questions which are not altogether easy to answer. Is it a relation?" More recently,
C. J. F. Williams
Christopher John Fardo Williams (31 December 1930 – 25 March 1997) was a British philosopher. His areas of interest were philosophical logic, on which topic he did most of his original work, and ancient philosophy, as an editor and translator. ...
has suggested that identity should be viewed as a second-order relation, rather than a relation between objects, and
Kai Wehmeier has argued that appealing to a binary relation that every object bears to itself, and to no others, is both logically unnecessary and metaphysically suspect.
Identity statements
Kind-terms, or
sortals
[Theodore Sider]
"Recent work on identity over time"
''Philosophical Books'' 41 (2000): 81–89. give a criterion of identity and non-identity among items of their kind.
See also
*
Counterpart theory
*
Difference (philosophy)
*
Exact similarity and identity
*
Four-dimensionalism/
perdurantism
*
Open individualism
*
Teletransportation paradox
*
Type–token distinction
*
Vertiginous question
Notes
References
* 1998: ''Occasions of identity''. Oxford: Oxford University Press.
Google books* 1984: ''Reasons and persons''. Oxford: Oxford University Press.
Google books* 1985: Can amoebae divide without multiplying? ''Australasian journal of philosophy'', 63(3): 299–319.
* 2000:
eview of (1998) ''Philosophical review'', 109(3): 469–471
JSTOR* 2001:
eview of (1998) ''British journal for the philosophy science'', 52(2): 401–405.
External links
*Stanford Encyclopedia of Philosophy
Identity First published Wed 15 Dec 2004; substantive revision Sun 1 Oct 2006.
*Stanford Encyclopedia of Philosophy
Identity over time First published Fri 18 March 2005.
*Stanford Encyclopedia of Philosophy
Personal identity First published Tue 20 Aug 2002; substantive revision Tue 20 Feb 2007.
*Stanford Encyclopedia of Philosophy
Relative identity First published Mon 22 April 2002.
*
Fernando Andacht, Mariela Michel,
A Semiotic Reflection on Selfinterpretation and Identity'.
{{Authority control
Concepts in logic
Metaphysical properties