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

The Deductive-Nomological Model of Explanation

Graduate Depth 87 in the knowledge graph ☐ I know this ☆ Set as goal
5topics build on this
450prerequisites beneath it
See this on the map →
Deductive ReasoningIntroduction to Philosophy of Science+2 more→→Causal ExplanationInductive-Statistical Explanation+2 more
explanation deductive-nomological covering-law laws phenomena

Core Idea

The deductive-nomological (D-N) model, developed by Hempel and Oppenheim, provides a formal account of scientific explanation: to explain an event is to show that it follows deductively from premises consisting of true universal laws and specific initial conditions. The explanans must contain laws; the explanatum must be logically entailed. This model emphasizes laws, logical structure, and makes explanation parallel to prediction. However, it faces challenges: some valid D-N arguments feel intuitively like poor explanations, asymmetries between explanation and prediction emerge, and not all scientific explanations fit the D-N form.

Explainer

From your introduction to philosophy of science, you know that science aims not just to describe phenomena but to *explain* them. The D-N model is an attempt to cash out exactly what explanation means — to give it the same logical precision that deductive reasoning gives to proof. The central idea is elegant: you explain an event by showing it was *to be expected* given the laws of nature and the circumstances. Explanation becomes a deductive argument: from true universal laws plus true initial conditions, the event we want to explain follows as a logical consequence.

Consider a simple example. Why did the metal rod expand when heated? Because (law) all metals expand when heated, and (initial condition) this rod is metal and was heated. The explanandum — rod expanded — follows deductively. Or more ambitiously: why did the planet reach that position at that time? Because (Newtonian gravitational law) every mass attracts every other mass with force GMm/r², plus the initial positions and velocities — and from those premises, the position follows mathematically. The explanans (the explaining premises) must contain at least one genuine universal law; without the law, you have description, not explanation.

One of the model's most striking features is the symmetry of explanation and prediction. On the D-N account, every explanation is a prediction that could have been made in advance, and every successful prediction (from laws plus conditions) is potentially an explanation. If you knew the laws and initial conditions beforehand, you could have predicted the event; explaining it after the fact uses the same logical structure. This symmetry seems like a virtue — it ties explanation to predictive power — but it generates serious counterexamples. You can "explain" flagpole shadow length by deriving it from the flagpole height, sun angle, and laws of optics. But reversing the argument — "explaining" flagpole height from shadow length — produces a valid D-N argument that intuitively explains nothing.

This asymmetry problem reveals that the D-N model captures something real about explanation while missing something important. It captures the role of laws and logical entailment. It misses the role of *causes* and *direction* — we explain effects from causes, not causes from effects, even when the logic runs both ways. Real scientific explanation, it turns out, has structure beyond formal deducibility, which motivates causal and unification models you will encounter next.

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 → 'Scientific Explanation: Core Problems' → The Deductive-Nomological Model of Explanation

Longest path: 88 steps · 450 total prerequisite topics

Prerequisites (4)

Leads To (4)