In philosophy, identity is whatever makes an entity definable and recognizable, in terms of possessing a set of qualities or characteristics that distinguish it from entities of a different type. Or, in layman's terms, identity is whatever makes stuff the same or different.

Logic of identity

---

In logic, the identity relation is normally defined as the relation that holds only between a thing and itself. That is, identity is the two-place predicate, "=", such that for all x and y, "x = y" is true iff x is the same thing as y.

Identity is transitive, symmetric, and reflexive.

It is an axiom of most normal modal logics that for all x, if x = x then necessarily x = x.

(These definitions are of course inapplicable in some area of quantified logic, such as fuzzy logic and fuzzy set theory, and with respect to vague objects.)

Metaphysics of identity

---

Metaphysicians, and sometimes 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?

A traditional view is that of Gottfried Leibniz, who held that x is the same as y if and only if 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 may be an equation 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.

Qualitative vs. numerical identity

---

Arbitrary objects a and b can be said to be qualitatively identical if a and b are duplicates, that is, if a and b are exactly similar in all respects, that is, if a and b have all qualitative properties in common. Examples of this might be two wine glasses made in the same wine glass factory on the same production line (at least, for a relaxed standard of exact similarity), or a carbon atom in one's left hand and a carbon atom in one's right shoulder (perhaps true even for the most strict standard of exact similarity).

Alternatively, a and b can be said to be numerically identical if a and b are one and the same thing, that is, if a is b, that is, if there is only one thing variously called "a" and "b". For example, Clark Kent is numerically identical with Superman in the sense that there is only one person (who happens to wear different clothes at different times). This relationship is expressed in mathematics with the "=" symbol, e.g., a = b, or Clark Kent = Superman.

See also

---

• Cultural identity
• Digital identity
• Ethnic identity
• Identity theft
• Online identity
• Personal identity
• Pseudonymity
• Recognition of human individuals
• Reputation
• Social identity

External links

---

• Stanford Encyclopedia of Philosophy:
  • Identity
  • Identity over time
  • Personal identity
  • Relative identity

Philosophical terminology

Самоличност | Identitet | Identität | ταυτότητα | Identitetas | アイデンティティー | identiteta