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 FalsificationismThe 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 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 LogicA Priori and A Posteriori KnowledgeRationalism vs. EmpiricismThe Problem of InductionPopper's FalsificationismFalsifiability as the Criterion of Demarcation

Longest path: 102 steps · 540 total prerequisite topics

Prerequisites (1)

Leads To (1)