A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Haecceity and Primitive Thisness

Research Depth 117 in the knowledge graph I know this Set as goal
5topics build on this
814prerequisites beneath it
See this on the map →
Identity of IndiscerniblesTransworld Identity and Identity Across Possible Worlds+1 moreMetaphysical ReductionSortal Concepts and Identity Conditions
haecceity identity thisness individuation metaphysics

Core Idea

A haecceity is a property unique to a single individual—an 'essential' property making that individual the particular object it is, independent of qualitative features. Philosophers invoke haecceities to handle transworld identity (same person existing in different possible worlds despite qualitative differences) and to escape the principle of identity of indiscernibles. Whether haecceities are real metaphysical properties remains contested.

Explainer

From the identity of indiscernibles, you know Leibniz's principle: if two things share all their properties, they are numerically identical — they are the same thing. This principle is plausible in many ordinary cases, but it runs into deep trouble in possible worlds reasoning, which you've also studied. Imagine a possible world exactly like the actual world except that you and your best friend swap birth positions — you are born where they were born, and vice versa. Intuitively, this seems like a coherent scenario: *you* could have had a different birthplace. But if identity is fixed by qualitative properties alone, this scenario is confused — the person with your actual set of properties just *is* you, not some other possible individual. Haecceity is the concept introduced to preserve the intuition that there is more to being *you* than your bundle of qualitative features.

A haecceity (from the Latin *haecceitas*, "this-ness") is a non-qualitative, individual-essence property — a property that belongs necessarily and exclusively to one particular individual. Your haecceity would be the property *being-Griffin*, which is distinct from all your qualitative properties (height, beliefs, history) and which you would retain even in worlds where you have dramatically different qualities. The concept comes from the medieval philosopher Duns Scotus, who argued that individuation — what makes this thing *this thing* rather than a merely qualitatively similar thing — requires a principle beyond the form or essence shared with other members of the same species.

The philosophical work haecceities do is clearest in transworld identity cases. If you can exist in multiple possible worlds while varying in your qualitative properties across those worlds, then what makes the person in those other worlds *you*? The haecceitist answers: they have your haecceity. This explains our intuition that you could have been born elsewhere, could have had different beliefs, could even have had a very different personality — and yet all those possible counterparts would still be *you*, because they all instantiate the same primitive thisness. Without something like haecceity, modal claims about individuals (you could have been a musician, that war might not have happened) become hard to ground.

Critics raise two objections. The first is epistemic: haecceities are defined as non-qualitative — they have no descriptive content that lets us identify or track them across worlds. If we can't perceive or describe haecceities, what theoretical work are they doing beyond labeling our puzzlement? The second is parsimony: many philosophers (following Kripke's causal theory of names, which you'll encounter next) think that rigid designation can do the work of haecceities without positing mysterious identity-constituting properties. A name like "Aristotle" picks out the same individual in every possible world not because it attaches to a haecceity but because it was introduced through a causal chain back to the actual Aristotle. Whether this is genuinely an alternative or merely a linguistic restatement of the same metaphysical commitment is itself a live debate.

What did you take from this?

Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.

Quiz me anyway →

Prerequisite Chain

Understanding ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical EquivalencesBoolean AlgebraIntroduction to Propositional LogicIntroduction to Predicate Logic (First-Order Logic)First-Order Logic SyntaxTerms and Atomic Formulas in FOLVariable Binding and ScopeOpen and Closed Formulas in First-Order LogicVariable Substitution and Capture-Avoidance in First-Order LogicQuantifier Instantiation Rules in First-Order Proof SystemsUniversal Quantification: Meaning and ScopeFree Variables and Bound VariablesSubstitution and Instantiation in Predicate LogicTerms and Atomic FormulasFormulas and Well-Formed ExpressionsStructures and InterpretationsModel Interpretation and SatisfactionInterpretation, Truth, and Satisfaction of FormulasLogical Consequence and EntailmentSoundness Theorem and Validity of Proof SystemsDeductive Reasoning and Formal Proof SystemsFirst-Order ResolutionPropositional ResolutionSemantic Tableaux (Propositional)Semantic Tableaux (First-Order)Decidable Fragments of First-Order LogicGödel's Completeness Theorem for First-Order LogicGödel's Incompleteness TheoremsIntroduction to Intuitionistic LogicIntroduction to Modal LogicA Priori and A Posteriori KnowledgeRationalism vs. EmpiricismThe Problem of InductionPopper's FalsificationismFalsifiability as the Criterion of DemarcationThe Falsifiability Criterion and Its ProblemsKuhn's Paradigm TheoryNormal Science and AnomaliesThomas Kuhn and Paradigm ShiftsScientific Progress and Convergence to TruthScientific RealismNaturalism About Semantic FactsPropositions and Semantic ContentTruth Conditions and MeaningFormal Language and Natural Language SemanticsTwo-Dimensional SemanticsModal Semantics and Possible WorldsCounterfactual Truth Conditions and Modal MetaphysicsPossible WorldsTransworld Identity and Identity Across Possible WorldsHaecceity and Primitive Thisness

Longest path: 118 steps · 814 total prerequisite topics

Prerequisites (3)

Leads To (2)