Law of identity

In logic, the law of identity states that an object is the same as itself: "A" ≡ "A"

Any reflexive relation upholds the law of identity. When discussing equality, the fact that "A is A" is a tautology.

In philosophy, the law is often attributed to Aristotle, who wrote:

:"Now 'why a thing is itself' is a meaningless inquiry (for—to give meaning to the question 'why'—the fact or the existence of the thing must already be evident—e.g., that the moon is eclipsed—but the fact that a thing is itself is the single reason and the single cause to be given in answer to all such questions as why the man is man, or the musician musical, unless one were to answer, 'because each thing is inseparable from itself, and its being one just meant this.' This, however, is common to all things and is a short and easy way with the question.)":: —

Wilhelm Wundt credits Gottfried Leibniz with the symbolic formulation, "A is A." [ [http://perso.orange.fr/thomiste/eternelb.htm La philosophie éternelle ou traditionnelle, la métaphysique, la logique, la raison et l'intelligence ] ]

In 2002 Jonathon Keats held a petition drive to pass 'A = A' as statutory law in Berkeley, California. Specifically, the proposed law stated that, "every entity shall be identical to itself". Any entity caught being unidentical to itself was to be subject to a fine of up to one tenth of a cent. The law did not pass. [ [http://www.sfgate.com/cgi-bin/article.cgi?file=/chronicle/archive/2002/08/13/BA200448.DTL San Francisco Chronicle] ]

ee also

*Aristotle's Organon
*Equality (mathematics)
*Laws of thought
*Ayn Rand and Objectivism
*John Searle
*Hilary Putnam
*David Kaplan
*Keith Donnellan
*W.V. Quine
*Saul Kripke
*It is what it is

References