A category whose membership fixes what it takes for an instance to be the same instance over time — supplying persistence criteria, not merely a description the instance satisfies for a while. A role (a position occupied temporarily) or a phase (an interval passed through) is not identity-providing, because ceasing to fall under it is not ceasing to exist.
How would you explain it like I'm…
Always a Dog
A puppy can be a 'puppy' for a while, then grow up and stop being a puppy — but it's still the same dog the whole time. Being a puppy is just a stage. Being a DOG is different: it's a dog from start to finish, and 'is it still the same dog?' is answered by it being a dog. The kind of thing that something stays for its whole life, that tells you it's still the same one, is its identity-providing kind.
Stage Versus What-It-Is
Some categories a thing only belongs to for a while: 'toddler,' 'student,' 'champion.' Stopping being a toddler doesn't mean you stopped existing — those are stages or roles. But there's usually one deeper category a thing belongs to for its ENTIRE existence, and that category is what decides whether it's 'the same one' over time. For you, 'human being' might be that category; for a particular tree, 'oak.' The test is simple: if the thing stopped fitting the category, would it cease to EXIST, or just change? If ceasing to fit means ceasing to exist, that category is identity-providing; if not, it's just a role or a phase.
The Cease-to-Exist Test
An identity-providing kind is a category whose membership fixes what it takes for an instance to be the SAME instance over time — it supplies the persistence criteria the thing lives by, not just a description it happens to fit for a while. Saying a category is identity-providing for some thing means the thing belongs to it for as long as it exists, and 'the same one across time' is set by what membership in that category requires. Contrast a phase category, which holds only for an interval (leaving it isn't ceasing to exist), and a role category, a position the same thing occupies temporarily without that role supplying persistence. The structural test is the cease-to-exist test: ask whether ceasing to fall under the category would be ceasing to exist. Categories that pass confer their persistence-relevant properties on their instances; categories that fail are real and predicable but are only roles or phases. This is what lets ordinary tracking work: when you pick out 'the same one that was here yesterday,' the implicit kind is the underlying one, not the bundle of temporary roles.
An identity-providing kind is a category whose membership fixes what it takes for an instance to be the same instance over time — it supplies the persistence criteria the instance lives by, not merely a description the instance satisfies for a while. To say some category is identity-providing for a particular thing is to say the thing belongs to it for as long as it exists, and that what counts as 'the same one across time' is set by what it is to be a member of that category. A phase category, by contrast, holds only for an interval — ceasing to fall under it is not ceasing to exist — and a role category is a position the same thing occupies temporarily without the role supplying persistence. Four structural commitments: for every instance there is some identity-providing category (the instance does not hang in mid-air); for each candidate category one can ask whether ceasing to fall under it is ceasing to exist; categories that fail that test are roles or phases, real and predicable but not the source of persistence criteria; and categories that pass it confer their persistence-relevant properties on their instances. The pattern is what lets ordinary reference and tracking work at all — when someone picks out 'the same one that was here yesterday,' the implicit identity-providing kind is the underlying kind, not the heterogeneous bundle of roles the instance happens to occupy. Without one, persistence questions ('is this still the same thing?') have no answer, since there is no criterion to settle them against. The decisive move is the cease-to-exist test, which converts a metaphysical question into an operational one that travels across substrates, distinguishing what a thing is from what it merely does or is, for now.
Locates a whole class of modeling bugs precisely, as violations of the cease-to-exist test — that an instance ceases to exist when a status ends, that ending a relationship annihilates a party — rather than leaving them as a vague sense that "something is off."
Reduces the bookkeeping of an entity at the intersection of many categories to a single load-bearing relation: only changes to the identity-providing kind threaten identity, while an unbounded set of roles and phases attach and detach freely.
Sharpens essentialism to one sub-question — which category fixes sameness over time — equipped with an operational test (one face of rigidity) that the broader notion lacks, and separates it cleanly from classification and set membership.
If student were modeled as the identity-providing kind, graduation would annihilate the person and begin a numerically new entity — so human being (whose loss leaves no surviving entity) bears the persistence criteria and student is demoted to a phase.
Parents (2) — more general patterns this builds on
Identity-Providing Kindis a kind ofCriteria of Individuation — child of emergent criteria_of_individuation
Identity-Providing Kindis a kind of, typicalEssentialism — The file: identity_providing_kind ISOLATES the one essentialist sub-question (which category fixes sameness over time) and supplies the cease-to-exist test the broad notion lacks — a specialization of essentialism narrowed to persistence-over-time. Not every essential property is identity-providing.
Identity-Providing Kind is not an Institution because an institution is a rule-system that may confer identity-providing status whereas the prime is the category that supplies persistence criteria — which applies equally where no institution is involved.
Identity-Providing Kind is not a Role because a role is a position occupied temporarily (failing the cease-to-exist test) whereas the kind is precisely the one category an instance cannot survive losing.
Identity-Providing Kind is not Classification because classification assigns an instance to the categories it satisfies whereas this asks the prior question of which satisfied category supplies persistence.