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

Reasoning Under Uncertainty

College Depth 88 in the knowledge graph ☐ I know this ☆ Set as goal
11topics build on this
438prerequisites beneath it
See this on the map →
Statistical Reasoning BasicsProbabilistic Reasoning→→Fermi Estimation
uncertainty probability bayesian

Core Idea

Bayesian reasoning provides a framework for updating beliefs based on evidence. Starting from background probabilities and incorporating new information lets us reason soundly when certainty is impossible, avoiding both overconfidence and undue skepticism. This approach applies to scientific hypotheses, medical diagnosis, legal reasoning, and everyday decisions.

Explainer

You already understand probability and statistics: you know that events have likelihoods, that distributions describe populations, and that samples provide evidence about underlying parameters. Bayesian reasoning is what happens when you apply probability to *beliefs* rather than just to events. Instead of asking "how often does this type of event occur?", you ask "how confident should I be that this particular hypothesis is true, given the evidence I have?" This shift from frequencies to credences — degrees of belief — is how careful reasoners navigate a world where certainty is the exception and uncertainty is the default.

The core mechanism is Bayes' theorem. Your prior probability for a hypothesis H is how confident you are in H before examining new evidence — based on background knowledge, base rates, and prior experience. When you observe evidence E, you update your confidence by asking: how probable is this evidence if H is true (the likelihood), versus how probable is it across all hypotheses (the marginal probability)? The result is a posterior probability that reflects your revised confidence in H after incorporating E. Crucially, the strength of an update depends not just on how well H predicts E, but on how much more likely E is under H than under competing hypotheses. Evidence that is equally probable under all hypotheses gives you no information.

A medical example makes this concrete. Suppose a screening test for a rare disease (1 in 1000 prevalence) has a 99% true-positive rate and a 1% false-positive rate. You test positive. Should you conclude you have the disease? Your prior is 0.001. Most positive tests in this population come from false positives among the 999 disease-free people, not from the rare true positives. The posterior probability of disease given a positive test is roughly 9% — striking, but far from certain. This is base rate neglect in action: ignoring the prior leads to badly miscalibrated conclusions, a systematic failure that occurs in medical diagnosis, legal reasoning, and everyday judgment.

Bayesian reasoning disciplines two symmetric errors: overconfidence (setting priors too high, under-weighting disconfirming evidence) and undue skepticism (demanding certainty before updating, effectively treating posteriors as 0 unless evidence is perfect). A well-calibrated reasoner updates proportionally to the evidential force of new information. They do not require proof beyond a logical doubt to act on probable conclusions, but they also do not treat a single positive result as decisive. The same framework applies equally to scientific hypothesis testing, legal arguments, intelligence assessments, and the calibration of everyday judgment — anywhere that beliefs must be formed and revised under conditions of irreducible uncertainty.

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 → Propositional Connectives → Propositional Semantics and Valuations → Truth Functions and Interpretation → Formula Evaluation and Truth Tables → Logical Equivalence of Formulas → Logical Equivalence in Propositional Logic → Conjunctive and Disjunctive Normal Forms → Sequent Calculus → Soundness and Completeness of Propositional Logic → Validity and Soundness → Logical Form and Argument Patterns → Modus Ponens and Modus Tollens → Probabilistic Reasoning → Inductive Reasoning → Analogical Reasoning and Argument by Analogy → Analogical Arguments: Strength and Weakness → Strength of Inductive Arguments → Statistical Reasoning Basics → Reasoning Under Uncertainty

Longest path: 89 steps · 438 total prerequisite topics

Prerequisites (2)

Leads To (1)