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

Falsifiability as the Criterion of Demarcation

Graduate Depth 101 in the knowledge graph ☐ I know this ☆ Set as goal
65topics build on this
540prerequisites beneath it
See this on the map →
Popper's Falsificationism→→The Falsifiability Criterion and Its Problems
falsifiability demarcation testability

Core Idea

For Popper, a theory is falsifiable if there exist possible observations that would disprove it; falsifiability is the mark of science. This criterion elegantly separates science from pseudoscience and unfalsifiable metaphysics. However, it faces counterexamples where unfalsifiable statements seem scientific, and auxiliary hypotheses complicate the picture.

Explainer

From your prerequisite on Popper, you know that he proposed falsificationism as an alternative to inductivism: rather than confirming theories with positive evidence, science advances by subjecting theories to severe tests and surviving attempted refutations. The demarcation criterion — falsifiability as the *line* between science and non-science — is both the sharpest application of that logic and its most controversial extension.

The criterion is elegant in its simplicity. A theory is falsifiable if there exist possible observations that would contradict it. Einstein's general relativity predicted that light bends around massive objects by a specific amount; that was a risky, testable prediction that could have been refuted when Eddington measured starlight deflection in 1919. Contrast this with the claim that "everything happens for a reason" — no possible observation could contradict it. It says nothing about what we will observe, so it tells us nothing about the world. For Popper, the asymmetry between confirmation and falsification is decisive: a million white swans can't prove all swans are white, but one black swan disproves it. So the scientific attitude is not "how can I confirm this?" but "what would prove this wrong, and does it?"

This criterion does powerful work against what Popper called pseudoscience — theories that accommodate any evidence. Freudian psychoanalysis and Adlerian psychology both struck Popper as examples: whatever a patient did, the analyst could explain it as confirmation of the theory. A theory that predicts everything predicts nothing. By contrast, Marx's historical materialism made specific predictions about the development of capitalism that failed — but Marxists kept revising auxiliary hypotheses to protect the core. Here the complication arises: the Duhem-Quine problem shows that no single hypothesis is ever tested in isolation. When an observation fails to match a prediction, you can always blame an auxiliary hypothesis rather than the core theory. Neptune was predicted before it was observed precisely by modifying an auxiliary assumption (that Newtonian mechanics had been applied to all the relevant bodies) rather than abandoning Newton's laws.

This creates a puzzle for the demarcation criterion. If scientists can always protect a core theory by adjusting auxiliaries, what makes science different from pseudoscience after all? Popper's answer invokes scientific method and attitude: science requires specifying in advance which observations would count as refutations, and it is intellectually dishonest to make that specification after the fact. Imre Lakatos later refined this into the idea of research programmes with a hard core and a protective belt of auxiliaries; a programme is progressive if it generates novel successful predictions, degenerative if it only accommodates old ones. The demarcation criterion, on this view, is less a sharp line than a spectrum of methodological integrity. Falsifiability remains the dominant intuition in scientific practice, even if its philosophical foundations require these qualifications.

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 → A Priori and A Posteriori Knowledge → Rationalism vs. Empiricism → The Problem of Induction → Popper's Falsificationism → Falsifiability as the Criterion of Demarcation

Longest path: 102 steps · 540 total prerequisite topics

Prerequisites (1)

Leads To (1)