11.2 Identity Relation and Its Logic

Identity is a fundamental concept in logic, expressing that an object is the same as itself. It's represented by the symbol "=" and governed by Leibniz's Law, which states that identical objects share all properties. This forms the basis for logical reasoning and proofs.

Substitutivity is a key principle allowing the replacement of identical terms in statements without changing their truth value. This is crucial in mathematical proofs and philosophical arguments, enabling simplification of expressions and analysis of identity claims.

Identity Relation and Laws

Defining Identity and Leibniz's Law

• Identity relation expresses that an object is the same as itself, represented by the symbol $=$
• Leibniz's Law, also known as the Indiscernibility of Identicals, states that if $a = b$, then $a$ and $b$ have all the same properties
  • If two objects are identical, they share all the same properties (shape, color, size)
• Identity of Indiscernibles is the converse of Leibniz's Law, stating that if $a$ and $b$ have all the same properties, then $a = b$
  • If two objects share all the same properties, they are considered identical (two red balls of the same size and material)

Substitutivity and Its Applications

• Substitutivity is a principle that allows the substitution of identical terms in a statement without changing the truth value of the statement
  • If $a = b$, then any true statement about $a$ will also be true when $b$ is substituted for $a$
  • Example: If "The morning star" and "The evening star" refer to the same object (Venus), then any true statement about "The morning star" will also be true for "The evening star"
• Substitutivity is essential for logical reasoning and proofs, as it allows the replacement of terms with their identical counterparts
  • In mathematical proofs, substitutivity is used to simplify expressions and derive new statements
  • In philosophical arguments, substitutivity helps analyze the consequences of identity claims

Types of Identity

Numerical and Qualitative Identity

• Numerical identity refers to the identity of an object with itself, denoted by the symbol $=$
  • An object is numerically identical to itself at any given time (a person is numerically identical to themselves)
• Qualitative identity refers to the sharing of properties between two or more objects
  • Objects that are qualitatively identical have all the same properties (two identical twins may be qualitatively identical)
• Numerical identity implies qualitative identity, but qualitative identity does not necessarily imply numerical identity
  • Two objects can be qualitatively identical without being numerically identical (two identical cars produced in the same factory)

Self-Identity and Its Implications

• Self-identity is the idea that an object is identical to itself, expressed as $a = a$
  • Self-identity is a fundamental principle in logic and mathematics
• Self-identity is necessary for the consistency and coherence of logical systems
  • Without self-identity, contradictions could arise, and logical reasoning would be impossible
• Self-identity is also crucial for personal identity and the concept of the self in philosophy
  • Questions about the persistence of personal identity over time rely on the principle of self-identity (whether a person remains the same individual throughout their life)

Axioms of Identity

Formal Axioms and Their Role in Logic

• Identity axioms are formal statements that capture the essential properties of the identity relation
• The reflexivity axiom states that for any object $a$, $a = a$
  • Every object is identical to itself
• The symmetry axiom states that if $a = b$, then $b = a$
  • If object $a$ is identical to object $b$, then object $b$ is also identical to object $a$
• The transitivity axiom states that if $a = b$ and $b = c$, then $a = c$
  • If object $a$ is identical to object $b$, and object $b$ is identical to object $c$, then object $a$ is also identical to object $c$
• These axioms provide a foundation for reasoning about identity in formal systems, such as first-order logic and set theory
  • The axioms ensure the consistency and reliability of identity-related inferences and proofs
  • They also help to establish the properties of equality in mathematical structures, such as groups and rings