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.

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.

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.

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..

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.

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.

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.

Example

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.

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

Distinction from Neighbors

  • 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.

  • 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.

  • 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.