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

Scientific Progress and Convergence to Truth

Graduate Depth 106 in the knowledge graph I know this Set as goal
57topics build on this
546prerequisites beneath it
See this on the map →
Lakatos and Research ProgramsThomas Kuhn and Paradigm ShiftsScientific Realism
progress convergence truth

Core Idea

Does science accumulate knowledge cumulatively, with each discovery building on prior ones, or does it undergo revolutions where old frameworks are abandoned? Does science converge toward truth or merely become pragmatically more useful? The answer determines whether science is rationally justified or merely instrumentally successful.

Explainer

From your study of Kuhn's paradigm shifts, you learned that science does not accumulate smoothly but undergoes revolutionary periods when one framework displaces another — and that competing paradigms may be incommensurable, making it difficult to directly compare their claims. From your study of Lakatos's research programs, you learned a more nuanced framework: programs are "progressive" if their theoretical revisions generate novel successful predictions, and "degenerating" if they only make post-hoc adjustments. These two accounts set up the central debate about progress: is science getting closer to truth, or just becoming more useful?

The convergent realist position argues that the long-term success of science — particularly the fact that mature theories make successful novel predictions — is best explained by assuming science is converging toward truth. This argument is sometimes called the no-miracles argument: if our best theories were not approximately true, it would be miraculous that they predict phenomena they were not designed to account for. Newtonian mechanics predicted the existence of Neptune from gravitational anomalies; the germ theory of disease predicted the effectiveness of antiseptics before the mechanism was fully understood. If the theory were not tracking something real, these successes would be inexplicable coincidences.

The pessimistic meta-induction is the strongest objection to convergent realism. The history of science is littered with theories that were once the best available, made successful predictions, and were then abandoned: caloric fluid, phlogiston, luminiferous ether, Newtonian absolute space. If all those theories were false despite their apparent success, what reason do we have to think our current best theories are any different? Laudan sharpens the challenge: the track record of scientific revolutions shows that the *central theoretical entities* of past successful theories are routinely abandoned in subsequent revolutions, suggesting that empirical success and truth-tracking come apart.

The structural realist response attempts a middle ground: while the *ontology* of science (the specific entities it posits) changes dramatically across revolutions, the mathematical structure of successful theories is approximately preserved. Fresnel's equations for light diffraction survive the transition from wave to particle theories; Newton's laws survive as a limiting case of general relativity. On this view, what science converges on is not the identity of fundamental entities but the abstract structure of nature's relations. Instrumentalists reject this entirely, holding that science need not be converging toward truth at all — only toward greater empirical adequacy and predictive power. Distinguishing between these positions requires thinking carefully about what "success" means and what would count as evidence of genuine convergence rather than mere pragmatic improvement.

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 Truth

Longest path: 107 steps · 546 total prerequisite topics

Prerequisites (2)

Leads To (1)