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 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 ThesisUnderdetermination of Theory by EvidenceTheoretical Virtues in Theory Choice

Longest path: 114 steps · 730 total prerequisite topics

Prerequisites (2)

Leads To (0)

No topics depend on this one yet.