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

Popper's Falsificationism

Graduate Depth 100 in the knowledge graph I know this Set as goal
66topics build on this
539prerequisites beneath it
See this on the map →
The Demarcation ProblemThe Problem of InductionFalsifiability as the Criterion of DemarcationKuhn's Paradigm Theory+3 more
falsificationism demarcation critique hypothesis-testing

Core Idea

Karl Popper proposed that science be demarcated by falsifiability: a theory is scientific if there exist possible observations that would prove it false. Instead of seeking confirmation, Popper advocated bold conjecture and criticism: propose ambitious theories, vigorously attempt to refute them, and only accept provisionally until falsified. This avoids logical problems of induction while preserving empiricism. Popper argued that scientific progress comes through elimination of false theories, not accumulation of confirmed instances.

How It's Best Learned

Compare falsifiability with verifiability on examples like 'God exists', 'the sun will rise tomorrow', quantum mechanics, and psychoanalysis. Examine why some unfalsifiable theories are considered unscientific.

Explainer

You already know Hume's problem of induction: no finite number of observations, however large, can logically justify a universal generalization. We've seen a million white swans, but the next swan could be black — logic gives us no guarantee. This seems to undermine science at its foundations, since science depends on universal laws derived from finite observation. Popper's falsificationism is, in part, a bold response to this problem: instead of solving induction, he proposed abandoning it as the basis for scientific method.

Popper's key insight is logical asymmetry: while a thousand confirmations can never prove a universal theory, a single counterexample can refute it. If Newton's theory predicts that planets move in ellipses, and one planet is observed to deviate, the theory is falsified — definitively, by deductive logic (modus tollens: if theory T, then observation O; not-O; therefore not-T). Popper concluded that the proper aim of science is not to confirm theories but to conjecture boldly and attempt falsification. Science advances by eliminating false theories through critical testing, not by accumulating confirmations.

This gives Popper his demarcation criterion: a theory is scientific if and only if it is falsifiable — if there exist possible observations that would contradict it. Unfalsifiable claims aren't necessarily wrong or meaningless, but they aren't scientific. By this criterion, Freudian psychoanalysis and Adlerian psychology fail: they can accommodate any observation. A patient who resists treatment shows repression; a patient who responds well shows the therapy worked. No possible observation rules out the theory. In contrast, Einstein's general relativity made the bold prediction that starlight would bend around the sun by a specific angle — a claim that could easily have been refuted, and which therefore counts as genuinely scientific.

The concept of corroboration replaces confirmation in Popper's framework. A theory isn't verified when it survives testing — it is *corroborated*, meaning it has survived attempts to falsify it so far. Corroboration is not inductive support; it says nothing about the probability that the theory is true. We accept theories provisionally, as our best current conjectures, knowing they may be overturned. Science is not a body of proven truths but a self-correcting process of conjecture and criticism.

The central objection is the Duhem-Quine problem: theories are never tested in isolation. Any prediction requires auxiliary assumptions (about instruments, initial conditions, background theories). When an observation conflicts with a prediction, you can always save the theory by revising an auxiliary assumption instead of rejecting the core theory. Popper acknowledged this but argued that such "immunizing stratagems" are methodologically forbidden — a scientist must commit in advance to what would count as falsification. Critics like Kuhn and Lakatos argued that actual scientific practice is far more complex, and that the history of science shows productive research programs surviving apparent falsifications through exactly the moves Popper prohibits.

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 Falsificationism

Longest path: 101 steps · 539 total prerequisite topics

Prerequisites (2)

Leads To (5)