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

Bayesian Approaches to Confirmation

Research Depth 104 in the knowledge graph I know this Set as goal
1topic build on this
714prerequisites beneath it
See this on the map →
Bayesian EpistemologyConfirmation and Evidence+3 moreEvidential Support and Confirmation Formalization
bayesian probability likelihood posterior

Core Idea

Bayesian confirmation theory applies Bayes' theorem to understand how evidence confirms or disconfirms hypotheses. Your degree of belief in a hypothesis should be updated by evidence using P(H|E) = P(E|H) × P(H) / P(E). Evidence confirms H if it is more likely given H than given its negation. Bayesian approaches provide a mathematically rigorous account of rational belief revision and offer responses to problems of induction and underdetermination.

Explainer

From your study of Bayesian epistemology, you know that beliefs can be represented as degrees of credence — real numbers between 0 and 1 — and that rational agents update them by conditionalization: when you learn E, your new credence in H becomes P(H|E), your prior conditional probability. Bayesian confirmation theory applies this framework specifically to the scientific context, asking: when does evidence *confirm* a hypothesis, and by how much? The answer is elegantly simple: evidence E confirms hypothesis H if and only if P(H|E) > P(H) — that is, learning E raises your credence in H above where it started.

Expanding via Bayes' theorem — P(H|E) = P(E|H) × P(H) / P(E) — makes the structure visible. The key term is P(E|H), the likelihood: how probable would the evidence be if H were true? A high likelihood means the hypothesis predicts the evidence well, so observing it strongly supports H. Compare this to P(E|¬H), the probability of the evidence if H is false. The ratio P(E|H)/P(E|¬H) is the Bayes factor, measuring the evidence's force. If a hypothesis predicts the evidence far better than its competitors, the evidence is strong confirmation. If both H and ¬H predict E equally, E is neutral — this is why trivially predictable results are weak evidence.

This framework handles several problems that troubled earlier confirmation theories. The raven paradox (from your confirmation theory study) noted that classical accounts made it mysterious why observing a green apple could confirm "all ravens are black." Bayesianism dissolves this: observing a non-black non-raven does confirm the hypothesis, but only infinitesimally — because such observations are almost equally likely whether the hypothesis is true or false. The Bayes factor is barely above 1. The paradox arose from treating confirmation as binary; Bayesianism restores the quantitative difference between weak and strong confirmation.

The most contested element is the prior: P(H) before any evidence. Bayesians are divided between objectivists, who think there are uniquely rational priors determined by logic or symmetry, and subjectivists, who accept that priors vary among agents and is acceptable so long as updating is rational. The subjectivist position raises a worry: if two scientists begin with very different priors, will they ever converge on the same hypothesis? The good news is that, under mild conditions, Bayesian agents who share evidence will eventually converge regardless of starting priors — evidence eventually overwhelms the prior. This makes Bayesianism a strong response to underdetermination: even if data alone cannot force a unique theory, iterative Bayesian updating across a scientific community tends toward agreement.

The framework also illuminates old evidence problems. If E was observed before H was proposed, then P(E) ≈ 1, making the update trivial — E cannot raise P(H) because E is already certain. Yet intuitively, explaining long-known phenomena is genuine confirmation (Einstein's general relativity explaining Mercury's perihelion advance). Addressing this requires treating confirmation as what P(E|H) tells us relative to the theoretical alternatives available, not just the raw update. These subtleties show that while Bayesianism gives the most mathematically precise theory of confirmation in science, applying it to real scientific practice requires careful handling of priors, likelihoods, and the background context in which evidence is acquired.

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 LogicThe Sensitivity Condition and Tracking TruthAnti-Luck Conditions and SensitivityEpistemic LuckResponses to the Gettier ProblemProcess ReliabilismBayesian EpistemologyBayesian Confirmation TheoryBayesian Approaches to Confirmation

Longest path: 105 steps · 714 total prerequisite topics

Prerequisites (5)

Leads To (1)