Skip to content

Law of Identity

Version
v3 · 2026-09-28 · History
Prime #
1573
Domain group
Humanities
Origin domain
Philosophy
Subdomains
Logic, Metaphysics → Philosophy
Also from
Mathematics

Core Idea

Law of Identity is treated as a Prime because its defining organization travels literally across unrelated substrates: The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. The home literature supplies the discovery vocabulary, but the identity does not depend on one material, institution, discipline, or notation. In logic, the law of identity states that each thing is identical with itself, or symbolically a = a.

The constitutive relation joins an individuated term or entity, a fixed interpretation of that term, and a comparison of the entity with itself. It is completed by reflexive identity rather than similarity, while a context stable enough to prevent equivocation controls admissible interpretation and a tautological result that constrains valid substitution and discourse supplies an observable completion or collapse test. History Ancient and Medieval philosophy Identity was discussed since antiquity in philosophy, but as a principle in logic was not discussed until much later. The node therefore names a reusable reasoning operator rather than an article topic, famous example, or loose family resemblance.

Its immediate genus is Identity Philosophy, but the differentia matters. Law of Identity adds this narrower invariant: The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. A case can instantiate the parent without satisfying the complete role structure above. William Hamilton offers a history of the so called "laws of thought". This asymmetry prevents the new node from duplicating its parent while keeping its cross-domain skeleton explicit.

A positive instance must bind every role to a concrete occupant and state the conditions governing the relation. A negative instance can share vocabulary, purpose, or output yet fail because one constitutive link is absent. This counterfactual test makes Law of Identity independently computable: remove reflexive identity rather than similarity, and the proposed case must either collapse into a neighboring identity or cease to qualify.

How would you explain it like I'm…

Everything Is Itself

Everything is itself. Your teddy bear is your teddy bear — not a different bear that just looks like it. If we're talking about the same thing, at the same moment, it's always exactly the same as itself.

Same Thing, Not Look-Alike

The Law of Identity says every thing is the same as itself, which people write as A = A. That sounds too obvious to matter, but it's about being the very same thing, not just looking alike: two identical pencils are alike, but each pencil is identical only to itself. It also needs words to keep one meaning. If "bat" means the animal at the start of a sentence and the baseball bat at the end, your reasoning breaks. So the law helps you keep track of what you're talking about.

A Equals A

The Law of Identity is the logical principle that every thing, value, or statement is identical to itself — written a = a. It is about strict identity, not similarity: a perfect copy of your phone is a different phone, even if nothing tells them apart. The principle only works when the meaning of a term and the moment in question are held fixed; if 'bank' means a riverbank in one sentence and a money bank in the next, you haven't violated the law — you've equivocated. Its usefulness is that it licenses substitution: once something is fixed as 'a,' you can rely on every later 'a' referring to it. It was listed, alongside non-contradiction and excluded middle, among the traditional 'laws of thought.'

 

The Law of Identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time — conventionally a = a. Its constitutive structure has three parts: an individuated term or entity, a fixed interpretation of that term, and a comparison of the entity with itself, completed by reflexive identity rather than mere similarity. A context stable enough to prevent equivocation is what governs admissible readings; shift the interpretation mid-argument and the apparent 'violation' is really a change of referent. The result is tautological, but it does real work: it underwrites valid substitution and consistent discourse, and it is the reflexivity axiom of equality in formal logic. It is a narrower case of the broader philosophy of identity: many identity questions (persistence through change, sameness of kind) can arise without meeting this strict reflexive structure. Traditionally it was grouped among the 'laws of thought,' as William Hamilton's history of that notion describes. The test is counterfactual: replace reflexive identity with resemblance and the case collapses into a neighboring notion such as similarity or equivalence.

Structural Signature

Sig role-phrases:

  • R1 — An individuated term or entity. A valid instance must identify this role independently of the home-domain terminology and show how it participates in The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a.
  • R2 — A fixed interpretation of that term. A valid instance must identify this role independently of the home-domain terminology and show how it participates in The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a.
  • R3 — A comparison of the entity with itself. A valid instance must identify this role independently of the home-domain terminology and show how it participates in The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a.
  • R4 — Reflexive identity rather than similarity. A valid instance must identify this role independently of the home-domain terminology and show how it participates in The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a.
  • R5 — A context stable enough to prevent equivocation. A valid instance must identify this role independently of the home-domain terminology and show how it participates in The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a.
  • R6 — A tautological result that constrains valid substitution and discourse. A valid instance must identify this role independently of the home-domain terminology and show how it participates in The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a.
  • R7 — Collapse condition. If a tautological result that constrains valid substitution and discourse is unavailable or the relation among the other roles cannot be established, the label is only analogy or topical resemblance.

What It Is Not

  • Not identity. the broader sameness relation whose reflexive axiom this law states The tell is whether the full Law of Identity signature, rather than a shared outcome or word, is present.
  • Not non-contradiction. prohibits a proposition and its negation in the same respect The tell is whether the full Law of Identity signature, rather than a shared outcome or word, is present.
  • Not excluded middle. requires either a proposition or its negation The tell is whether the full Law of Identity signature, rather than a shared outcome or word, is present.
  • Not equivalence. can relate distinct items under selected properties The tell is whether the full Law of Identity signature, rather than a shared outcome or word, is present.
  • Not persistence. concerns identity across change and time, which requires criteria beyond a = a The tell is whether the full Law of Identity signature, rather than a shared outcome or word, is present.

Broad Use

  • formal logic. Identity is reflexive for every term. The use is literal when all signature roles can be assigned and the collapse condition remains testable.
  • mathematics. Equality supports substitution of an expression for itself. The use is literal when all signature roles can be assigned and the collapse condition remains testable.
  • databases. An identifier is matched to the same record under a stable key. The use is literal when all signature roles can be assigned and the collapse condition remains testable.
  • law. A named party must remain the same referent through an argument. The use is literal when all signature roles can be assigned and the collapse condition remains testable.
  • program verification. A value is preserved across a no-change step. The use is literal when all signature roles can be assigned and the collapse condition remains testable.
  • ordinary reasoning. A subject cannot silently change referent mid-claim. The use is literal when all signature roles can be assigned and the collapse condition remains testable.

Clarity

A clear claim about Law of Identity states the carrier, each role, the operative criterion, and the observation or derivation that warrants classification. The minimal statement is The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a.. It must not substitute an example for a definition, a favorable outcome for the constitutive relation, or historical usage for a present criterion. About the law of identity he states "it was not explicated as a coordinate principle till a comparatively recent period. Ambiguous cases should identify the competing neighbor and the single fact that would discriminate them.

Manages Complexity

Law of Identity compresses a large variety of cases into the stable relationship among an individuated term or entity, a fixed interpretation of that term, a comparison of the entity with itself, reflexive identity rather than similarity. That compression lets investigators compare substrates without importing every local detail. The earliest author in whom I have found this done, is Antonius Andreas, a scholar of Scotus, who flourished at the end of the thirteenth and beginning of the fourteenth century. The compression is intentionally lossy: local mechanisms, values, measurement conventions, and institutional rules remain outside the Prime unless they change the signature. Complexity is managed by exposing those omitted parameters as qualifications rather than silently treating one implementation as universal.

Abstract Reasoning

  1. Fix the claim. State The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. without relying on the candidate's name as its own evidence.
  2. Bind the roles. Identify an individuated term or entity, a fixed interpretation of that term, and a comparison of the entity with itself in the case.
  3. Establish operation. Show how reflexive identity rather than similarity changes, constrains, or completes the relation.
  4. Control context. Declare the convention or boundary represented by a context stable enough to prevent equivocation.
  5. Demand evidence. Use a tautological result that constrains valid substitution and discourse to distinguish an instance from a plausible description.
  6. Run neighbor tests. Compare the case with identity, non-contradiction, excluded middle.
  7. Run the collapse test. Remove reflexive identity rather than similarity; if the label remains equally apt, the asserted differentia was not doing identity work.
  8. Transfer only the invariant. Change material, actors, scale, and notation while preserving the typed relation; otherwise mark the comparison as analogy.

Knowledge Transfer

Literal transfer rule. Law of Identity transfers when a receiving case supplies literal occupants for every signature role and preserves The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a.. Material resemblance is unnecessary; structural role preservation is sufficient. Conversely, shared language or outcome is insufficient when the operative relation changes.

Transfer surface — formal logic. Identity is reflexive for every term. Map an individuated term or entity to the local carrier, a fixed interpretation of that term to its declared object or standard, and reflexive identity rather than similarity to the local operation. The transfer fails if a tautological result that constrains valid substitution and discourse cannot be observed or justified.

Transfer surface — mathematics. Equality supports substitution of an expression for itself. Map an individuated term or entity to the local carrier, a fixed interpretation of that term to its declared object or standard, and reflexive identity rather than similarity to the local operation. The transfer fails if a tautological result that constrains valid substitution and discourse cannot be observed or justified.

Transfer surface — databases. An identifier is matched to the same record under a stable key. Map an individuated term or entity to the local carrier, a fixed interpretation of that term to its declared object or standard, and reflexive identity rather than similarity to the local operation. The transfer fails if a tautological result that constrains valid substitution and discourse cannot be observed or justified.

Transfer surface — law. A named party must remain the same referent through an argument. Map an individuated term or entity to the local carrier, a fixed interpretation of that term to its declared object or standard, and reflexive identity rather than similarity to the local operation. The transfer fails if a tautological result that constrains valid substitution and discourse cannot be observed or justified.

Reduction rule. When the specialist differentia does not survive, reduce the claim to Identity Philosophy rather than retaining the name Law of Identity. This rule preserves useful structural transfer while preventing metaphorical inflation. The schoolman, in the fourth book of his Commentary of Aristotle's Metaphysics – a commentary which is full of the most ingenious and original views – not only asserts to the law of Identity a coordinate dignity with the law of Contradiction, but against Aristotle, he maintains that the principle of Identity is the one absolutely first.

Examples

Canonical

Given a domain and interpretation, every object assigned to a term is identical with itself: a = a. The formula does not assert that two descriptions are co-referential, that an object never changes, or that every predicate remains true forever. Its force is reflexive identity under the interpretation governing the occurrence.

Mapped back: carrier → an individuated term or entity; relation → a fixed interpretation of that term; operation → reflexive identity rather than similarity; recognition → a tautological result that constrains valid substitution and discourse.

Applied / In Practice

A data audit follows one stable record identifier through several transformations. The law of identity warrants treating that record as itself at each comparison point only while the identifier's interpretation and temporal rule remain fixed. Merging two records because their fields look similar invokes an additional co-reference judgment, not self-identity alone.

Mapped back: changed substrate → the applied setting; invariant → The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a; boundary → removal of reflexive identity rather than similarity collapses the classification.

Structural Tensions

T1 — Formal Triviality Versus Inferential Necessity. Law of Identity must preserve both sides without allowing either to erase The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. The diagnostic question is: which signature role changes when the balance moves, and does a tautological result that constrains valid substitution and discourse still warrant the same identity?

T2 — Stable Reference Versus Temporal Change. Law of Identity must preserve both sides without allowing either to erase The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. The diagnostic question is: which signature role changes when the balance moves, and does a tautological result that constrains valid substitution and discourse still warrant the same identity?

T3 — Self-Identity Versus Co-Reference. Law of Identity must preserve both sides without allowing either to erase The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. The diagnostic question is: which signature role changes when the balance moves, and does a tautological result that constrains valid substitution and discourse still warrant the same identity?

T4 — Syntax Versus Denotation. Law of Identity must preserve both sides without allowing either to erase The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. The diagnostic question is: which signature role changes when the balance moves, and does a tautological result that constrains valid substitution and discourse still warrant the same identity?

T5 — Reflexivity Versus Informative Classification. Law of Identity must preserve both sides without allowing either to erase The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. The diagnostic question is: which signature role changes when the balance moves, and does a tautological result that constrains valid substitution and discourse still warrant the same identity?

T6 — Context Fixing Versus Equivocation. Law of Identity must preserve both sides without allowing either to erase The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. The diagnostic question is: which signature role changes when the balance moves, and does a tautological result that constrains valid substitution and discourse still warrant the same identity?

Structural–Framed Character

Law of Identity sits at the structural end of the structural–framed spectrum. Its identity rests on a reflexive relation: every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally written a = a.

Its vocabulary is logic's own generic notation of terms, interpretation, and identity, and it keeps one meaning across uses. It is evaluatively neutral, since self-identity is neither good nor bad. It has a formal origin in logic rather than in any institution, and it can be defined without reference to human practice. Applying it recognizes a reflexive relation rather than importing a perspective. The principle licenses substituting a term for itself in a proof, underlies the reflexive check when a value is compared with itself in a computation, and rules out equivocation when a term shifts meaning between the premises of an argument; in each case it concerns reflexive identity rather than mere similarity. On every diagnostic, it reads structural.

Substrate Independence

The substrate test replaces the original carrier with a case from each of these unrelated settings: formal logic, mathematics, databases, law, program verification. In each replacement, an individuated term or entity, a fixed interpretation of that term, a comparison of the entity with itself, and reflexive identity rather than similarity remain assignable without metaphor. The evidence convention changes, but the collapse condition remains the loss of a tautological result that constrains valid substitution and discourse.

The test also has a negative side. If a receiving domain can preserve only a superficial shape, an emotional association, or the same English word, then Law of Identity has not traveled. The correct residual is Identity Philosophy, a neighboring Prime, or an explicitly marked analogy. This bidirectional test supports Prime status while keeping scope disciplined.

Relationships to Other Abstractions

Local relationship map for Law of IdentityParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Law of IdentityPRIMEPrime abstraction: Identity (philosophy) — presupposesIdentity(philosophy)PRIME

Current abstraction Law of Identity Prime

Parents (1) — more general patterns this builds on

  • Law of Identity presupposes Identity (philosophy) Prime

    The Law of Identity presupposes Identity because its claim is precisely that the identity relation is reflexive for every individuated referent under a fixed interpretation.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Law of Identity sits among the more crowded primes in the catalog (4th percentile for distinctiveness): several abstractions describe nearly the same structure, so a description that fits it will tend to fit its neighbors too — transporting it usually means disambiguating within this family rather than landing on it exactly.

Family — Inquiry, Evidence & Evaluative Standards (21 primes)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

  • identity. the broader sameness relation whose reflexive axiom this law states Tell: can the case satisfy The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a while failing the neighbor's differentia, or vice versa?
  • non-contradiction. prohibits a proposition and its negation in the same respect Tell: can the case satisfy The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a while failing the neighbor's differentia, or vice versa?
  • excluded middle. requires either a proposition or its negation Tell: can the case satisfy The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a while failing the neighbor's differentia, or vice versa?
  • equivalence. can relate distinct items under selected properties Tell: can the case satisfy The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a while failing the neighbor's differentia, or vice versa?
  • persistence. concerns identity across change and time, which requires criteria beyond a = a Tell: can the case satisfy The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a while failing the neighbor's differentia, or vice versa?

Solution Archetypes

No catalogued solution archetypes reference this prime yet.

Notes

DAG placement. Identity (philosophy) is the reviewed immediate parent by subsumption: every Law of Identity instance is a Identity Philosophy instance, while the reverse fails because the parent omits The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. No second parent is asserted merely from topical relevance.

Source boundary. Subsequently to this author, the question concerning the relative priority of the two laws of Identity and of Contradiction became one much agitated in the schools; though there were also found some who asserted to the law of Excluded Middle this supreme rank." [From Hamilton LECT. 65–66] Modern philosophy Gottfried Wilhelm Leibniz claimed that the law of identity, which he expresses as "Everything is what it is", is the first primitive truth of reason which is affirmative, and the law of noncontradiction is the first negative truth (Nouv. These source facts support discovery identity and historical or domain framing. The encyclopedia's cross-domain synthesis is an explicit structural analysis, not a quotation attributed to the source.

Revision trigger. Reconsider the node if a live catalog entry is shown to entail the complete signature, if cross-domain examples require metaphorical rather than literal role mapping, or if the collapse condition cannot discriminate positive from negative cases.

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Law_of_identity (revision 1348307684).
  • Preserved source candidate: https://aynrandlexicon.com/lexicon/identity.html
  • Preserved source candidate: https://plato.stanford.edu/entries/aristotle-logic/

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.