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

Longest path: 88 steps · 450 total prerequisite topics

Prerequisites (4)

Leads To (4)