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

Identity Theory (Type and Token)

College Depth 86 in the knowledge graph ☐ I know this ☆ Set as goal
88topics build on this
479prerequisites beneath it
See this on the map →
Physicalism About MindUniversals and Particulars→→Anomalous MonismFunctionalism+5 more
identity-theory type-identity token-identity Place Smart

Core Idea

Identity theory, developed by U.T. Place and J.J.C. Smart in the 1950s, claims that mental states are identical to brain states. Type identity theory says that mental state types (e.g., pain-in-general) are identical to neural state types (e.g., C-fiber firing). Token identity theory makes the weaker claim that each individual mental event token is identical to some physical event token, without requiring that all instances of a mental type share a single physical type. Type identity theory faces the multiple realizability objection: the same mental state can be realized by very different physical substrates across species, suggesting mental types cannot be identified with a single neural type.

How It's Best Learned

Read Place's 'Is Consciousness a Brain Process?' (1956) alongside Putnam's multiple realizability critique. Distinguish the type/token distinction carefully using examples: pain-the-type versus my-pain-right-now-the-token.

Common Misconceptions

Explainer

You already know that physicalism holds that the mind is entirely physical — that there is nothing in the mental world beyond what exists in the physical world. Identity theory is physicalism's most direct version: it says mental states are not merely correlated with brain states or causally produced by them, but are literally *identical* to them. Just as "water" and "H₂O" name the same substance, "pain" and "C-fiber firing" name the same state. This is a contingent a posteriori identity — we discovered it through science, not armchair reasoning, exactly as we discovered that water is H₂O.

The crucial distinction the theory draws is between type identity and token identity. A *type* is a category — pain-in-general, the kind of mental state. A *token* is an individual instance — this particular pain I feel right now. Type identity theory (associated with Place and Smart) makes the bold claim that the mental type *pain* is identical to the physical type *C-fiber firing*. Every instance of pain, across every person and every creature, involves that same neural type. Token identity theory makes the weaker claim: each individual mental event token is identical to some physical event token, but different instances of pain might correspond to different physical types.

Why does the type/token distinction matter? Because of the multiple realizability objection, which your next topic addresses directly. Pain is felt by humans, octopuses, and perhaps robots. Human pain may involve C-fibers; octopus pain involves different neural hardware entirely; a silicon-based AI might involve transistors. If the mental type *pain* could be realized by radically different physical types, then there is no single physical type for it to be identical to — which defeats type identity theory. Token identity survives this challenge by not requiring sameness of physical type; each token pain simply needs some physical token to be identical to.

Think of the identity claim like discovering that heat *is* mean kinetic energy of molecules — not that they go together, or that one produces the other, but that they are the same thing described at different levels of abstraction. The apparent gap between mind-talk and brain-talk is, on this view, just a gap between two vocabularies for one underlying reality. Identity theory's power and vulnerability come from the same source: it commits to a strong reductionist claim that makes it falsifiable, but also exposes it to empirical and conceptual challenge.

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 → ZFC Axioms Overview → Axiom Schema of Separation → Axiom Schema of Replacement → Von Neumann Ordinals → Hereditarily Finite Sets → Recursive Definitions on Finite Sets → Well-Founded Relations and Transfinite Recursion → The Axiom of Choice and Equivalent Formulations → Axiom of Choice → Well-Ordering Theorem → Infinite Cardinal Numbers → Cantor's Theorem → Set-Theoretic Cardinality → Universals and Particulars → Identity Theory (Type and Token)

Longest path: 87 steps · 479 total prerequisite topics

Prerequisites (2)

Leads To (7)