This paper argues that identity is irreducibly relational: the statement A = A presupposes that A is defined, and definition requires distinction from a background. I develop this thesis at three levels: conceptual (definition requires distinction), formal (examining how set-theoretic and type-theoretic foundations treat identity), and historical (engaging the literature from Leibniz through Kripke). Against the standard view that identity is primitive in first-order logic, I argue that this pri…
Read moreThis paper argues that identity is irreducibly relational: the statement A = A presupposes that A is defined, and definition requires distinction from a background. I develop this thesis at three levels: conceptual (definition requires distinction), formal (examining how set-theoretic and type-theoretic foundations treat identity), and historical (engaging the literature from Leibniz through Kripke). Against the standard view that identity is primitive in first-order logic, I argue that this primitiveness reflects a genuine conceptual difficulty that modern foundations—particularly Homotopy Type Theory and Univalent Foundations—have begun to resolve by treating identity as constituted by structural equivalence. The extensionality axiom of set theory already makes identity relational for sets; the univalence axiom generalizes this insight. I conclude that the trajectory of foundational mathematics vindicates a relational conception of identity, with implications for metaphysics, philosophy of mathematics, and the "hard problems" that arise when transformation fails to preserve structure.