Identity (philosophy)¶

Version: v3 · 2026-09-28 · History
Prime #: 1520
Domain group: Humanities
Origin domain: Philosophy
Aliases: Numerical identity, Sameness

Core Idea¶

Identity is the substrate-independent relation of numerical sameness by which an entity is the same as itself and two presentations count as one referent rather than merely similar or equivalent things. The abstraction is not exhausted by its familiar source-domain notation. Its autonomous core is the numerical-sameness relation and its domain-governed reidentification criterion, distinct from qualitative similarity, group membership, an identity element, an identifying procedure, or a social self-description.

The operative mechanism is this: A domain fixes what individuates its entities, evidence connects presentations or stages to that criterion, and valid substitution or continuity tests determine whether one identity is preserved, split, merged, or lost. The mechanism separates identity from observation.

How would you explain it like I'm…

The Very Same One

Two teddy bears can look exactly alike, but they're still two different teddies. Your own teddy, even with a patched-up ear, is still the very same teddy you had before. Identity is about being the one-and-only same thing, not just looking alike.

Same One, Not Just Alike

Identity, in philosophy, is about being the very same thing, not just a thing that looks alike. Two brand-new pencils from one box might be exactly alike, but they're still two pencils. Your pencil from yesterday and the one on your desk today can be the same pencil, even though it's shorter now. To decide whether something is the same one, you need a rule for that kind of thing — for a pencil, maybe that it's been the same object the whole time. This is different from belonging to a group, like both being "pencils," and different from who you feel you are.

Numerical Sameness

Identity in philosophy is numerical sameness: the relation that holds between a thing and itself, so that two presentations, like "the morning star" and "the evening star," turn out to be one object (the planet Venus) rather than two similar ones. It contrasts with qualitative similarity, where two separate things share properties, like identical twins. Deciding identity requires a criterion that depends on what kind of thing it is: what makes a person, a river, a company, or a ship the same over time are different questions. Evidence links the different appearances or stages to that criterion, and tests show whether one identity is kept, split in two, merged, or lost, as in the famous Ship of Theseus puzzle. Identity is also different from belonging to a group or from someone's sense of who they are.

Identity, in the philosophical sense, is the relation of numerical sameness: each entity is identical to itself, and two presentations are identical when they pick out one and the same referent rather than two similar or equivalent things. Its core is this relation together with a domain-specific criterion for reidentification, and it must be kept apart from qualitative similarity, class membership, an algebraic identity element, an identification procedure, and a social or personal identity in the sense of self-description. The mechanism is that a domain fixes what individuates its entities (spatiotemporal continuity for material objects, perhaps psychological continuity for persons, legal continuity for corporations), evidence connects presentations or temporal stages to that criterion, and substitution and continuity tests decide whether one identity is preserved, split, merged, or lost. The formal consequences include reflexivity (everything is identical to itself), non-duplication (one thing cannot be two), and substitutivity, often stated as Leibniz's law: if a and b are identical, whatever is true of one is true of the other. Classic puzzles, such as the Ship of Theseus and fission cases in personal identity, arise precisely when criteria of persistence give conflicting answers. A case counts only if an actual criterion of sameness for a specified domain is in play, not merely because the word "identity" is used.

Broad Use¶

mathematics. The carrier is objects inside a typed formal domain and alternative expressions denoting them. The identity test is that the equality rules license substitution of one denotation for the other without changing truth. This is a literal instantiation rather than decorative analogy because the carrier, observable organization, conserved relation, variation class, and failure test retain the same roles. The domain accent is formal extensionality and foundations govern the local criterion. A responsible analysis states scale, observation window, representation and noise model before claiming the structure, then distinguishes the structure itself from the process used to discover, stabilize or exploit it.

Clarity¶

A clear Identity (philosophy) claim can be rewritten as a testable sentence: on carrier C at scale S, relation R holds within tolerance T, remains under transformations V, and fails for counterexample K. This grammar exposes missing components and prevents a noun from standing in for an argument.

Manages Complexity¶

Identity (philosophy) manages complexity by replacing an unstructured inventory with a small set of relations that survive relevant variation. Compression becomes legitimate when the retained relation supports reconstruction, comparison or reliable discrimination and the discarded details are declared incidental for the task.

The abstraction also supports chunking. Once an organized unit is established, reasoning can treat it as one object while retaining an audit trail to its elements.

Abstract Reasoning¶

Type the carrier and explain why its elements are individuated at the selected scale.
Separate the target structure from the notation, image, model or story used to display it.
State the constitutive relation as an equation, rule, repeatability condition or traceable interpretive criterion.
List transformations expected to preserve identity and justify why they are incidental.
Choose at least one positive diagnostic and one collapse test.

Knowledge Transfer¶

Transfer begins from the role graph, not the name. Preserve carrier, relation, invariant, admissible variation, diagnostic and collapse test; then substitute domain occupants. A successful mapping explains how the target case would be recognized and how it would fail.

The most common transfer error is feature substitution. One field may represent the structure visually, another algebraically and another behaviorally. The visible features are not the invariant. Transfer must identify the relation those features evidence and state the target domain's measurement or proof obligations.

Relationships to Other Abstractions¶

Current abstraction Identity (philosophy) Prime

Parents (1) — outgoing typed relations

Identity (philosophy) is a kind of Identity Test Prime

The accepted reference-grade review places Identity (philosophy) under Identity Test because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.

Children (3) — abstractions linked here by typed relations

Organizational identity Domain-specific is a kind of Identity (philosophy)

It remains its own entry because its identity is fixed by the organization and period, members and relevant stakeholders, centrality, distinctiveness and continuity criteria, identity claims and evidence, internal agreement and contestation, comparison group and change event.
Multiple occupancy view Domain-specific presupposes Identity (philosophy)

Multiple occupancy view structurally presupposes Identity (philosophy) rather than being a subtype of it.
Law of Identity Prime presupposes Identity (philosophy)

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

Identity (philosophy) → is a kind of Identity Test → is a kind of Criteria of Individuation