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. 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 objects counterpart - the most similar object.
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.
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. 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 objects counterpart - the most similar object.
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.