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

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

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

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

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

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

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

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

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.