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

Natural Kinds and Scientific Classification

Graduate Depth 98 in the knowledge graph ☐ I know this ☆ Set as goal
1topic build on this
549prerequisites beneath it
See this on the map →
Universals and ParticularsEssentialism and Accidental Properties→→Philosophy of Biology
natural-kinds classification essence species

Core Idea

Are scientific categories like 'gold', 'acid', 'gene', or 'species' discovered in nature or imposed by human interests? Natural kind theory holds that some classifications carve nature at its joints: genuine categories reflecting real boundaries based on underlying essences or causal structures. Scientific progress often involves discovering what really distinguishes entities. The nature of natural kinds shapes our understanding of scientific taxonomy, reduction, and the objectivity of science.

Explainer

Your study of universals and particulars introduced the question of whether properties and categories exist independently of the minds that think about them. Natural kind theory extends this into philosophy of science: among all the ways we could classify the world, some correspond to genuine joints in nature and others are merely conventional. A natural kind is a category that picks out a real grouping — one that supports inductive generalization, figures in laws of nature, and reflects underlying causal structure rather than human convenience. The contrast is with nominal kinds: categories defined by stipulation or surface features that do not track anything deep in the world.

The classical example is gold. Before chemistry, gold was classified by observable properties: yellow, heavy, malleable, shiny. But these surface features are not what makes something gold; they are just reliable indicators. What really makes something gold is having atomic number 79. This is the microstructural essence, the hidden nature that Kripke and Putnam argued determines membership in the kind. Importantly, we might have been wrong about the surface features — fool's gold (iron pyrite) looks like gold — but we cannot be wrong about what gold *is* at the fundamental level. The kind is discovered, not defined. This connects to your study of essentialism: natural kinds have real essences, and scientific investigation reveals what those essences are.

Not every scientific category is so clean. Species is the famous trouble case. The biological species concept (organisms that can interbreed and produce fertile offspring) seems natural enough, but it does not apply to asexual organisms, hybridizing populations, or extinct species known only from fossils. Alternative concepts — phylogenetic, ecological, morphological — carve up the same organisms differently. Philosophers of biology debate whether species are natural kinds at all, or whether they are more like individual lineages — historical entities rather than types defined by intrinsic properties. If species are individuals rather than kinds, then generalizations like "robins lay blue eggs" are more like claims about a particular population than like laws instantiated by every member of a universal category.

The deepest question natural kind theory raises is whether the world has a unique correct classification at all, or whether multiple valid taxonomies can coexist for different scientific purposes. Promiscuous realism (Philip Kitcher) holds that there are many equally real ways to carve nature, depending on the explanatory and predictive tasks at hand. Genes might be natural kinds in molecular biology while the same DNA sequences are not natural kinds in ecology. This pluralism preserves the realist intuition that classification is constrained by the world while acknowledging that different sciences, with different explanatory goals, may legitimately use different categories. The debate matters enormously for reduction: if kinds in higher-level sciences (psychology, economics, ecology) do not map onto kinds in physics, the prospects for reduction are dim — and the autonomy of those sciences depends on their categories being naturalistically respectable in their own right.

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 → Essentialism and Accidental Properties → Natural Kinds and Scientific Classification

Longest path: 99 steps · 549 total prerequisite topics

Prerequisites (2)

Leads To (1)