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

The Duhem-Quine Thesis

Graduate Depth 111 in the knowledge graph I know this Set as goal
3topics build on this
553prerequisites beneath it
See this on the map →
Logical PositivismThe Problem of InductionUnderdetermination of Theory by Evidence
duhem-quine underdetermination empiricism

Core Idea

The Duhem-Quine thesis states that empirical data never uniquely determines a theory; observations are consistent with infinitely many theoretical frameworks. This is because auxiliary hypotheses mediate between theory and data. Scientists can always retain a favored theory by modifying peripheral assumptions rather than rejecting its core.

How It's Best Learned

Work through how auxiliary hypotheses shield theories: how can a scientist defend a favored theory against falsifying evidence by adjusting its periphery? Examine cases like the discovery of Neptune.

Explainer

When you learned about logical positivism, you encountered the idea that science progresses by testing theories against observations. The Vienna Circle wanted each scientific claim to be individually testable — to have its own empirical content that could confirm or disconfirm it directly. The Duhem-Quine thesis punctures this clean picture by showing that a theory never faces the evidence alone.

Here is the core insight: every experimental test involves not just the theory you're trying to test, but a web of auxiliary hypotheses — background assumptions about instruments, measurement procedures, initial conditions, and other well-established theories. When you point a telescope at the sky and measure a planet's position, you are implicitly assuming your telescope is well-calibrated, your timing device is accurate, your theory of optics is correct, and your equations of planetary motion are otherwise reliable. If the observation contradicts your prediction, logic tells you only that *something* in this whole bundle is wrong. It does not tell you which piece.

The historical case of Neptune makes this vivid. In the 1840s, astronomers noticed that Uranus's orbit deviated from predictions based on Newtonian gravity. One response would have been to conclude Newtonian mechanics was false — "the data refuted the theory." Instead, Adams and Le Verrier proposed a different auxiliary hypothesis: there is an unknown planet perturbing Uranus's orbit. They calculated where it would have to be and pointed a telescope there. Neptune was found. The auxiliary hypothesis was the problem, not the core theory. This same maneuver is always available: faced with a problematic observation, you can reject the core theory *or* you can adjust or replace an auxiliary hypothesis.

Pierre Duhem first argued this about physics; W.V.O. Quine radicalized it into a thesis about all knowledge. Quine's image is that our beliefs form a web of belief — a network where observations impinge at the edges, but disturbance at the edges can be absorbed by adjustments anywhere within the web. There is no single observation that logically forces the revision of any single belief; any belief can be retained at the cost of adjusting beliefs elsewhere. This doesn't make all theories equally good — some adjustments are more "natural," "economical," or "conservative" — but there is no purely logical algorithm for deciding how to revise.

The philosophical payoff connects directly to your prerequisite on the problem of induction. Induction told you that general claims can never be fully established by finite evidence. The Duhem-Quine thesis adds a second layer: even individual observations cannot uniquely determine which theory to accept or reject. Together they generate the underdetermination thesis — the idea that evidence is in principle insufficient to uniquely determine the correct theory. This doesn't counsel scientific nihilism; scientists can and do make rational theory choices. But it means those choices involve pragmatic virtues like simplicity, explanatory power, and coherence — not pure logic — and that is a deep revision of the positivist image of science as a machine that turns observations into uniquely correct theories.

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 DemarcationThe Falsifiability Criterion and Its ProblemsKuhn's Paradigm TheoryNormal Science and AnomaliesThomas Kuhn and Paradigm ShiftsScientific Progress and Convergence to TruthScientific RealismConstructive EmpiricismEmpiricism and the Foundations of ScienceLogical PositivismThe Duhem-Quine Thesis

Longest path: 112 steps · 553 total prerequisite topics

Prerequisites (2)

Leads To (1)