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 Shifts→→Scientific 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 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 → The Falsifiability Criterion and Its Problems → Kuhn's Paradigm Theory → Normal Science and Anomalies → Thomas Kuhn and Paradigm Shifts → Scientific Progress and Convergence to Truth

Longest path: 107 steps · 546 total prerequisite topics

Prerequisites (2)

Leads To (1)