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 more→→Token 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 Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Introduction to Propositional Logic → Introduction to Predicate Logic (First-Order Logic) → First-Order Logic Syntax → Terms and Atomic Formulas in FOL → Variable Binding and Scope → Open and Closed Formulas in First-Order Logic → Variable Substitution and Capture-Avoidance in First-Order Logic → Quantifier Instantiation Rules in First-Order Proof Systems → Universal Quantification: Meaning and Scope → Free Variables and Bound Variables → Substitution and Instantiation in Predicate Logic → Terms and Atomic Formulas → Formulas and Well-Formed Expressions → Structures and Interpretations → Model Interpretation and Satisfaction → Interpretation, Truth, and Satisfaction of Formulas → Logical Consequence and Entailment → Soundness Theorem and Validity of Proof Systems → Deductive Reasoning and Formal Proof Systems → First-Order Resolution → Propositional Resolution → Semantic Tableaux (Propositional) → Semantic Tableaux (First-Order) → Decidable Fragments of First-Order Logic → Gödel's Completeness Theorem for First-Order Logic → Gödel's Incompleteness Theorems → Introduction to Intuitionistic Logic → Introduction to Modal Logic → Modal Semantics: Necessity and Possibility → Intensionality and Possible Worlds Semantics → Event Semantics → Aktionsart (Lexical Aspect) → Tense and Aspect in Formal Semantics → Viewpoint Aspect (Perfective and Imperfective) → Formal Semantics of Tense and Time → Formal Semantics of Modality and Possibility → Possible Worlds Semantics → Modal Arguments in Philosophy of Mind → The Mind-Body Problem → Physicalism: The Core Thesis → Non-Reductive Physicalism → Reductive Physicalism and Mental Reduction → Type Identity Theory

Longest path: 112 steps · 838 total prerequisite topics

Prerequisites (4)

Leads To (1)