Skip to content

Criteria of Individuation

Prime #
761
Origin domain
Philosophy
Subdomain
metaphysics and ontology → Philosophy
Also from
Computer Science & Software Engineering, Law & Governance, Biology
Aliases
Individuation Criteria, Principles of Individuation

Core Idea

Criteria of individuation are the rules a system fixes for what makes something one entity, the umbrella over three ordered sub-criteria: composition (when parts form one whole), co-reference (when two presentations are the same entity), and persistence-kind (which category fixes identity over time). The rules partly constitute the inventory rather than reading it off the world.

How would you explain it like I'm…

One Thing Or Many?

Look at a pile of LEGO bricks. Is that ONE thing, or LOTS of things? And if you see your toy car today and tomorrow, how do you know it's the SAME car? Criteria of Individuation are the rules we use to decide what counts as one thing, when two things are really the same thing, and when something stays itself even after it changes.

What Makes One Thing

Whenever you count things, you secretly use rules. First, when do a bunch of parts make ONE whole instead of many parts, like when does a heap of sand become 'a sandcastle'? Second, when are two things you see actually the SAME one thing, not two look-alikes? Third, what can a thing change and still be itself, versus what change would make it stop being that thing? Criteria of Individuation are exactly these rules for carving the world into countable things. The surprising part: the rules you pick actually change the answer to 'how many are there?'

Rules For Counting Ones

Criteria of Individuation are the rules a system uses to carve its domain into separate countable individuals, and they cover three linked questions. Composition: when do parts add up to one whole rather than many? Co-reference: when are two appearances the same already-counted entity rather than two similar ones? Persistence-kind: which category fixes what a thing must keep to remain the same thing over time? The key commitment is that there's no individual-count just sitting in the world waiting to be read off; the rules you choose partly constitute what gets counted, so a different rule yields a different population. This is not the same as essentialism, which asks what defining properties make something the kind of thing it is. Individuation asks the numerical questions and answers them with operational tests, the arithmetic that essentialism leaves out.

 

Criteria of individuation are the principles a system fixes for what makes something one entity — the shared structure beneath three questions any inventory-bearing system must answer. Composition asks when a collection of parts counts as one whole rather than many (the unity test). Co-reference asks when two presentations are the same already-individuated entity rather than two resembling ones (the identity test). Persistence-kind asks which of the categories a thing satisfies fixes what it takes to remain the same thing over time (the identity-providing kind). The defining commitment is that there is no individuation-independent inventory of individuals waiting to be read off the world: the criteria partly constitute what is counted, since a different unity test yields a different population of wholes, a different identity test a different count, a different persistence-kind a different verdict on what survives. This separates individuation from description (which assigns properties to already-individuated things), classification (which sorts them), and measurement (which summarizes them) — all three presuppose the individuals exist. It also separates individuation from essentialism, its nearest neighbor: essentialism asks what defining properties make a thing its kind (a qualitative, modal question), while individuation asks the numerical questions and answers them with operational tests. Crucially the three sub-criteria run in a fixed dependency order — carve wholes, then re-identify them, then track persistence — and getting the order wrong makes the question ill-posed rather than merely hard.

Broad Use

  • Ontology engineering: OntoClean tags classes with unity, identity, and rigidity meta-properties, exposing hierarchies that smuggle incompatible individuation assumptions.
  • Biology: defining one organism for a colonial species or holobiont needs all three — an aspen clone is one genetic individual and thousands of trunks.
  • Fundamental physics: identical particles are indistinguishable in principle, so quantum statistics fix the count by a symmetrization rule, denying them haecceity.
  • Law: corporate personhood is an individuation regime — consolidation (unity), party-matching (identity), and survival across officer changes (persistence).
  • Databases: a primary key is a stipulated identity criterion; entity resolution reconstructs co-reference where no shared key exists.
  • Historiography: periodization fixes an event's unity, source criticism fixes whether two chronicles name the same event.

Clarity

It separates "how many things are there, and which are the same?" — which feels factual — from "which composition, co-reference, and persistence rules are we applying?" — a question about the system's own conventions — and exposes the fixed order the three must run in.

Manages Complexity

It compresses an unbounded case-by-case adjudication of "what is one thing?" into a maintained rule-set with three fixed parts, moving the decision from the case level to the rule level and guaranteeing the system does not silently disagree with itself.

Abstract Reasoning

It licenses decomposing any inventory question into three ordered rules, treating any count as criterion-relative, and pricing each criterion's error asymmetry — spurious-versus-fragmented wholes, false-merge-versus-false-split, role-mistaken-for-kind.

Knowledge Transfer

  • Ontology to data and accounting: stating all three criteria as first-class meta-properties transfers to host-plus-microbiota analysis and to consolidation-and-reporting-entity choices.
  • Databases to many fields: the entity-resolution discipline (fix the kind, fix the sameness test, audit false-merge and false-split) ports verbatim to epidemiology, historiography, and taxonomy.
  • The formal sciences: a set theorist's axiom of extensionality and a database designer's primary key are the same move — stipulate the sameness criterion.

Example

A health system building a longitudinal patient record must fix one patient-episode versus one patient (unity), the master-patient-index matching rule (identity), and that the entity is a person not a patient role (persistence) — and a tax authority and a marketing department resolving the same customer database produce different, each-correct counts because they hold different criteria.

Relationships to Other Primes

One-hop neighborhood: parents above, mutual partners to the right, children below.Criteria ofIndividuationsubsumption: Identity-Providing KindIdentity-Provid…subsumption: Identity TestIdentity Testsubsumption: Unity TestUnity Test

Foundational — no parent edges in the catalog.

Children (3) — more specific cases that build on this

  • Identity-Providing Kind is a kind of Criteria of Individuation — child of emergent criteria_of_individuation
  • Identity Test is a kind of Criteria of Individuation — child of emergent criteria_of_individuation
  • Unity Test is a kind of Criteria of Individuation — child of emergent criteria_of_individuation

Not to Be Confused With

  • Criteria of Individuation is not the Unity Test / Identity Test / Identity-Providing Kind alone because each is one leg of the tripod, whereas the umbrella is the composition of all three plus the ordered dependency among them.
  • Criteria of Individuation is not Classification because classification sorts already-individuated entities into kinds, whereas individuation is the prior act that produces the entities classification then sorts.
  • Criteria of Individuation is not Essentialism because essentialism names qualitative defining properties of a kind, whereas individuation isolates the numerical questions — oneness, sameness, persistence — with operational tests essentialism lacks.