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

Theoretical Virtues in Theory Choice

Research Depth 113 in the knowledge graph ☐ I know this ☆ Set as goal
730prerequisites beneath it
See this on the map →
Underdetermination of Theory by EvidenceBayesian Confirmation Theory→
virtues simplicity pragmatism

Core Idea

When evidence underdetermines theory, scientists appeal to non-empirical virtues: simplicity, elegance, coherence, explanatory power, and fruitfulness. These pragmatic criteria guide theory choice when empirical data cannot decide the matter. However, the epistemological justification for these virtues—whether they are truth-indicators or mere psychological preferences—remains contested.

How It's Best Learned

Examine case studies where simplicity or elegance decided between empirically equivalent theories. Consider carefully: are these virtues reliable guides to truth, or merely features humans find psychologically satisfying?

Explainer

From your study of underdetermination, you know that evidence alone cannot uniquely determine which theory is correct — multiple theories always fit the same data set. This is not just a temporary gap to be filled by more data; in principle, infinitely many theories are compatible with any finite body of evidence. So scientists must use something beyond raw empirical fit when choosing between theories. Theoretical virtues are the criteria that do this work.

The main theoretical virtues are: simplicity (fewer free parameters, fewer ad hoc assumptions), predictive accuracy (how well the theory fits known data and predicts new observations), scope (how wide a range of phenomena the theory unifies under a single explanation), coherence (how well the theory fits with other accepted theories and background knowledge), and fruitfulness (how productive the theory is in generating new research, predictions, and problems). These are not independent — a theory that is simpler often has greater scope, and a theory that coheres with established science is easier to make fruitful.

A paradigmatic case is the competition between geocentrism and heliocentrism in 16th-century astronomy. By the time Copernicus published, the Ptolemaic model with its epicycles could predict planetary positions reasonably well — arguably as accurately as the early Copernican model. The initial case for Copernicus rested heavily on simplicity and elegance: the heliocentric model explained the retrograde motion of planets as a natural consequence of geometry rather than requiring special epicyclic motions for each planet. The evidence did not decide the case; the virtues did.

The deeper philosophical question is whether theoretical virtues are epistemic (truth-tracking) or merely pragmatic (useful for prediction and problem-solving without bearing on truth). Scientific realists argue that simplicity and coherence are reliable guides to truth because the world is structured and unified — a simpler theory is more likely to have identified real structure. Anti-realists and instrumentalists counter that virtues are just evolved cognitive preferences that help us navigate the world predictably but say nothing about unobservable reality. This debate connects directly to the question of scientific realism: if theoretical virtues are not truth-conducive, the success of mature sciences may be a surprising coincidence rather than evidence for their approximate truth.

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 → Scientific Realism → Constructive Empiricism → Empiricism and the Foundations of Science → Logical Positivism → The Duhem-Quine Thesis → Underdetermination of Theory by Evidence → Theoretical Virtues in Theory Choice

Longest path: 114 steps · 730 total prerequisite topics

Prerequisites (2)

Leads To (0)

No topics depend on this one yet.