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

Type Identity Theory

College Depth 111 in the knowledge graph I know this Set as goal
4topics build on this
838prerequisites beneath it
See this on the map →
Identity Theory (Type and Token)Physicalism About Mind+2 moreToken Identity and Physical Realizability
identity physicalism mental-states ontology

Core Idea

Type identity theory claims that mental state types are identical to physical state types—pain is literally C-fiber stimulation, not just correlated with it. This stronger claim differs from token identity, which allows individual instances of pain to be realized in different physical systems.

How It's Best Learned

Start with specific examples (pain as C-fiber firing) and compare to token identity to see the difference. Then consider cases where type identity seems to break down across different species.

Common Misconceptions

Thinking type identity is the same as token identity; confusing neural correlates with identity; assuming that if type identity fails, all physicalism fails.

Explainer

You already know from identity theory and physicalism-about-mind that physicalists want to explain mental phenomena in physical terms. Type identity theory makes the boldest possible version of that claim: mental state *types* — the categories we use (pain, belief, desire) — are literally identical to physical state types. Not just correlated with them, not just realized by them, but *the same thing*. Pain doesn't just happen to involve C-fiber stimulation; pain *is* C-fiber stimulation, in the same way that water *is* H₂O.

The type/token distinction is crucial here. A *type* is a category (the word "cat"). A *token* is a particular instance of that category (this printed instance of "cat"). Token identity theory says each individual mental event is identical to some physical event, but different tokens of the same mental type can correspond to different physical types. Type identity goes further: it says pain-the-type is identical to C-fiber-stimulation-the-type, so every token of pain must be a token of C-fiber stimulation. This makes type identity a much stronger and riskier claim.

The standard objection, which you can appreciate given your understanding of physicalism, is multiple realizability. Consider that pain in a human involves C-fibers, pain in an octopus involves different neural structures, and a Martian might experience pain through hydraulic pressure networks. If pain-the-type = C-fiber-stimulation-the-type, then octopus pain and Martian pain would be impossible by definition — they don't have C-fibers. But that seems wrong. Pain seems to be a functional state (something that plays a certain causal role: caused by tissue damage, causing avoidance behavior) rather than a specific physical substrate.

This is why multiple realizability, developed by Hilary Putnam, is widely seen as refuting type identity theory. But notice what doesn't follow: that *all* physicalism fails. Token identity remains available. So does functionalism, which identifies mental states with their functional roles rather than specific physical realizers. Type identity theory thus serves as an important foil — understanding exactly where it goes wrong illuminates what a more defensible physicalism must look like, and why the mind-body problem cannot be dissolved by a simple identification of mental categories with neural categories.

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 LogicModal Semantics: Necessity and PossibilityIntensionality and Possible Worlds SemanticsEvent SemanticsAktionsart (Lexical Aspect)Tense and Aspect in Formal SemanticsViewpoint Aspect (Perfective and Imperfective)Formal Semantics of Tense and TimeFormal Semantics of Modality and PossibilityPossible Worlds SemanticsModal Arguments in Philosophy of MindThe Mind-Body ProblemPhysicalism: The Core ThesisNon-Reductive PhysicalismReductive Physicalism and Mental ReductionType Identity Theory

Longest path: 112 steps · 838 total prerequisite topics

Prerequisites (4)

Leads To (1)