Identity

Identity, in logic and metaphysics, a relation that a thing bears to itself and to no other thing. The term identical is also used to characterize two or more things that are exact duplicates or copies of each other.

If one were to say, for example, that the room in which the German philosopher G.W.F. Hegel (1770–1831) lectured was identical with the room in which the German philosopher Arthur Schopenhauer (1788–1860) lectured, there are two quite different things that one might mean. The first is that the two philosophers lectured in rooms that were in different places but were of the same dimensions and were in every other respect exact duplicates of each other. (It is in this sense of “identical” that monozygotic twins are said to be identical.) The second is that Hegel and Schopenhauer lectured in one and the same room (though presumably at different hours). Identity of the former sort is called descriptive identity, and identity of the latter sort is called numerical identity—“numerical” because, if x and y are identical in that sense, there is only one of them; some one thing is both x and y. Although the concept of descriptive identity has received a considerable amount of attention from philosophers, numerical identity is the more important of the two concepts for metaphysics.

Leibniz’s law

The logical properties of numerical identity have been precisely codified by logicians, who express it by the sign “=.” The sign has been borrowed from mathematics, but (the logicians insist) without any change of meaning. According to logicians, a mathematical equation—a formula that consists of two expressions surrounding the symbol “=”—is simply a statement of numerical identity. The equation 7 + 5 = 2 × 6, for example, differs from the statement “Mark Twain is (numerically) identical with Samuel Clemens” in its subject matter—the latter is about a person (the person who was called both “Mark Twain” and “Samuel Clemens”) and the former about a number (the number that is designated by both “7 + 5” and “2 × 6”)—but not in its logical structure. The properties of “=” are, according to the standard formal logic of identity, exactly those expressed by two axioms: x = x, which says that any object x is identical with x—that is, with itself—and (x = y) ⊃ (Fx ≡ Fy), which says that if an object x and an object y are identical, then something F is true of x if and only if F is also true of y. Thus, because Mark Twain and Samuel Clemens were identical, Mark Twain was fond of buttered toast if and only if Samuel Clemens was fond of buttered toast. The latter axiom has been called both the principle of the indiscernibility of identicals and Leibniz’s law (see identity of indiscernibles). It can be intuitively stated as follows: if x is identical with y, whatever is true of x is true of y, and whatever is true of y is true of x.

Discover how ordinary objects work, and expand your understanding of the familiar.

SIGN UP

" height="20" alt="HEW Logo">

Thank you for signing up!"

Back to homepage

By clicking "Sign Up", you consent to the Britannica Privacy Policy and Terms of Use.

There are apparent exceptions to Leibniz’s law. Consider, for example, the following argument:

• 1. Mark Twain chose that name as a nom de plume.

• 2. Mark Twain was identical with Samuel Clemens.

• 3. Therefore, Samuel Clemens chose that name as a nom de plume.

It might appear that Leibniz’s law incorrectly implies that the preceding inference is valid. Almost all philosophers agree, however, that the argument is not a counterexample to Leibniz’s law, because the phrase “chose that name as a nom de plume” does not really express something that can be true of or false of someone.

Explore Britannica Premium!

The trusted destination for professionals, college students, and lifelong learners.

SUBSCRIBE

The following argument, often attributed to Descartes, is widely regarded by philosophers as a similarly fallacious attempt to apply Leibniz’s law:

• 1. The following is true of my body: I can imagine that it does not really exist, though it seems to me that it does exist. (For example, I can imagine that I have been dreaming my whole life through and that the world of material things that I seem to perceive around me is no more than a figment of my long dream.)

• 2. The following is not true of me: I can imagine that I do not really exist, though it seems to me that I do exist.

• 3. Therefore, I am not identical with my body.

The argument is a “contrapositive” application of Leibniz’s law. The law implies that if a person and that person’s body are identical, then what is true of either is true of the other; it follows that if something is true of a person’s body that is not true of that person, then the person and the person’s body are not identical.

The standard criticism of this argument is that the phrase “I can imagine that x does not exist, though it seems to me that it does exist” does not express something that can be true or false of a thing. A moment’s reflection shows that if those words did in fact express something that could be true or false of a thing, then no first-person identity statement more informative than “I am I” or “I am myself” could be true. If, for example, Lee Harvey Oswald had been brought to trial for having murdered U.S. Pres. John F. Kennedy, he could have established his innocence by arguing as follows:

• 1. The following is true of the murderer of John F. Kennedy: I can imagine that he does not exist, though it seems to me that he does exist.

• 2. The following is not true of me: I can imagine that I do not really exist, though it seems to me that I do exist.

• 3. Therefore, I am not identical with the murderer of John F. Kennedy.

It is easy to prove that the two axioms of identity (Leibniz’s law and “Everything is identical with itself”) logically imply that identity has the following features: it is symmetrical (if Mark Twain is identical with Samuel Clemens, then Samuel Clemens is identical with Mark Twain); it is transitive (if Byzantium is identical with Constantinople and if Constantinople is identical with Istanbul, then Byzantium is identical with Istanbul); and it conforms to “Euclid’s law,” or the principle that identicals may be substituted for identicals (if angle A is twice as large as angle B and if angle C is identical with angle A, then angle C is twice as large as angle B). Indeed, Leibniz’s law is nothing more than a somewhat more careful statement of Euclid’s law.

The principle of the indiscernibility of identicals must be carefully distinguished from its contrapositive, the principle of the identity of indiscernibles. The latter principle may be stated as follows: “If whatever is true of x is also true of y and if whatever is true of y is also true of x, then x and y are identical.” (Alternatively: “If x and y have all of the same properties, then x and y are identical.”) The fact that the principle of the indiscernibility of identicals is also called Leibniz’s law and the fact that the principle of the identity of indiscernibles plays a central role in Leibniz’s metaphysics have no doubt encouraged confusion between the two principles.

The principle of the identity of indiscernibles is a trivial truth if there are “individual essences”—that is, properties of a thing that consist of its being that particular thing and no other thing (e.g., Plato would have the property of being Plato, the Taj Mahal would have the property of being the Taj Mahal, and so on). If there are individual essences, then the principle would imply that each thing is identical with itself and with no other thing. However, many philosophers doubt that such individual essences really exist, and almost all philosophers who have expressed an opinion on the question believe that, individual essences apart, the principle of the identity of indiscernibles is not a necessary truth; that is, it is possible to imagine without contradiction a universe in which the principle would be false. (According to the American philosopher Max Black [1909–88], for example, the principle would not hold in a “symmetrical universe” consisting of two mathematically perfect balls of the same size and substance floating in an infinite void. If there are no individual essences, then the two balls would have exactly the same properties, including relational properties, though they would not be the same ball.)

Identity across time

Relative identity

The concept of numerical identity has also figured essentially in philosophical critiques of various Christian theological doctrines, particularly those of the Trinity, the Incarnation, and the Eucharist. Many philosophers have held that, for example, the doctrine of the Trinity (the unity in one Godhead of the Father, the Son, and the Holy Spirit) violates the principle of the transitivity of identity, since it implies, for example, that the Father and the Son are identical with God but not identical with each other.

The English Roman Catholic philosopher Peter Geach (1916–2013) proposed a radical solution to the theological problem regarding the transitivity of identity. According to Geach, there is no such thing as numerical identity; there are, instead, many relations of the form “is the same F as,” where “F” is a sortal term designating a kind of thing (e.g., “human being,” “animal,” “living organism”; “plank,” “ship,” “material object”; and so on). Geach maintained that no rule of logic licenses an inference from “x is the same F as y” to “x is the same G as y,” if “F” and “G” represent logically independent sortal terms. Accordingly, as far as logic is concerned, it is perfectly possible for there to be entities x and y such that: (1) x is the same F as y, but (2) x is not the same G as y. Geach’s theory would thus permit one to reformulate the Trinitarian implication above as follows: (1) the Father is the same God as the Son (i.e., the Father and the Son are both God), but (2) the Father is not the same Person as the Son.

Geach’s theory is characterized as the view that “identity is relative to a sortal term,” or simply as the “theory of relative identity.” It has attracted some attention among philosophers and logicians, but not as much as it might have had it been clear that the theory had some application outside Christian theology—a matter of some dispute. It does seem, however, that the theory of relative identity might be applied to some of the problems of identity over time discussed above. In the case of the ship of Theseus, for example, one might propose the following: (1) since there is no such relation as numerical identity, the question of whether the Ariadne is the Aegean ship or the Piraean ship is meaningless; (2) the Ariadne, the Aegean ship, and the Piraean ship are all ships and all material things; (3) the Ariadne and the Aegean ship are the same ship but not the same material thing; and (4) the Ariadne and the Piraean ship are the same material thing but not the same ship.