##  [Law of Identity](/law-identity-0) 

 Definition

A fundamental logical principle stating that every object or proposition is identical to itself; formalized in predicate logic as the reflexivity axiom x = x for an identity predicate, and in propositional logic as the tautology p ⇒ p (or p ↔ p).

 

 

 

 

 

 





## Principle

Principle

Identity is reflexive and provides the basis for substitution and replacement rules: if a = b, then any formula containing a may be transformed into one containing b without changing truth, under appropriate scope conditions.

 

 

 

 

 





## Demonstration

Demonstration

In first‑order logic with identity, adding the axiom schema ∀x (x = x) and the substitution axioms for identity allows one to derive that if 2+2=4 and 4 is even then 2+2 has the property 'is even'; identity underpins these valid replacements.

 

 

 

 

## Misapplication

Misapplication

Treating the Law of Identity as informative about metaphysical sameness or using syntactic equality interchangeably with intensional or contextual sameness; failing to respect scope or typed contexts when substituting can lead to category‑mistakes.

 

 

 

 

 





## Consequence

Consequence

Permits uniform replacement and the use of Leibniz's law (indiscernibility of identicals) in proofs, making formal manipulation of terms and the transfer of properties between equal terms valid; it is foundational for algebraic and model‑theoretic reasoning.

 

 

 

 

## Reversal

Reversal

Rejecting reflexive identity yields logics of non‑reflexive identity or certain paraconsistent/intensional systems where identity is weakened; such reversals change substitution behaviour and require alternative inference rules.

 

 

 

 

 





## Boundary

Boundary

Applies to the formal equality predicate or propositional self‑implication within classical frameworks; in intensional contexts (modal, temporal, vague predicates) or typed languages the straightforward substitution principle may be restricted or require justification.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension between syntactic identity and conceptual indistinguishability: two distinct names may refer to the same object (co‑referentiality) without being substitutable in all intensional contexts, so identity's logical role must be distinguished from philosophical accounts of sameness.

 

 

 

 

 





## Synthesis

Synthesis

The Law of Identity is the minimal reflexivity assumption that secures substitution and the transfer of properties in formal systems: it is a syntactic and semantic linchpin for equality reasoning while its limitations appear in intensional, typed, or nonclassical frameworks where substitution must be constrained.