Deductive-nomological model¶

The deductive-nomological model (DN model) of scientific explanation, also known as Hempel's model, the Hempel–Oppenheim model, the Popper–Hempel model, or the covering law model, is a formal view of scientifically answering questions asking, "Why...?".

Version: v1 · 2026-09-28 · History
Domain-specific #: 8889
Domain group: Humanities
Origin domain: Philosophy
Subdomains: Philosophy of Science, Scientific Explanation → Philosophy

Core Idea¶

Deductive-nomological model is treated here as the recurring cross-domain formal modeling identity summarized by this source-grounded definition: The deductive-nomological model (DN model) of scientific explanation, also known as Hempel's model, the Hempel–Oppenheim model, the Popper–Hempel model, or the covering law model, is a formal view of scientifically answering questions asking, "Why...?". The deductive-nomological model (DN model) of scientific explanation, also known as Hempel's model, the Hempel–Oppenheim model, the Popper–Hempel model, or the covering law model, is a formal view of scientifically answering questions asking, "Why...?".

How would you explain it like I'm…

Rule Plus What Happened

When you ask why a puddle froze, one way to answer uses a rule and what happened. The rule: water freezes when it gets cold enough. What happened: last night was that cold. So the puddle had to freeze. The deductive-nomological model says a scientific answer to a why question should work like that.

Explaining with Laws and Logic

The deductive-nomological model is an idea about what a scientific answer to a 'why' question should look like. It says you explain something by showing it follows logically from general laws of nature plus the starting conditions. If the laws and the starting facts are true, the thing you are explaining has to be true too, so you could have predicted it. At first, it left out talking about causes, because causes are hard to define and know. That led to problems: sometimes the model accepts 'explanations' that use things that did not actually cause anything, or that give silly answers.

Covering-Law Model of Explanation

The deductive-nomological (DN) model, also known as Hempel's model or the covering law model, is a formal account of how science answers 'Why?' questions. It says a scientific explanation is a deductive argument: its premises — general laws plus observed starting conditions — logically guarantee the conclusion, which describes what is being explained. A good explanation should be able to predict or postdict the event. Because causation is hard to define and know, the original model left it out, assuming that choosing realistic premises would roughly capture causes. But critics noted that the model allowed causally irrelevant factors and sometimes produced absurd explanations that still fit the logical form.

The deductive-nomological (DN) model of scientific explanation — also called Hempel's model, the Hempel–Oppenheim model, the Popper–Hempel model, or the covering law model — is a formal account of scientifically answering 'Why…?' questions. It treats an explanation as a deductive argument in which true premises entail a true conclusion describing the phenomenon to be explained. The premises consist of general laws together with observed initial conditions, and the explanation hinges on accurate prediction or postdiction of the phenomenon. Because of difficulties in defining, discovering, and knowing causality, causation was omitted from its initial formulations. Causality was assumed to be approximated incidentally by a realistic choice of premises. Nevertheless, the model formally permitted causally irrelevant factors, and derivations from laws and observations sometimes yielded absurd answers, which became central objections to it.

Scope of Application¶

Growth. DN model received its most detailed, influential statement by Carl G Hempel, first in his 1942 article "The function of general laws in history", and more explicitly with Paul Oppenheim in.
Form. The term deductive distinguishes the DN model's intended determinism from the probabilism of inductive inferences.
Form. The term nomological is derived from the Greek word νόμος or nomos, meaning "law".
Form. The DN model holds to a view of scientific explanation whose conditions of adequacy (CA)—semiformal but stated classically—are derivability (CA1), lawlikeness (CA2), empirical content (CA3), and truth (CA4).
Form. In the DN model, a law axiomatizes an unrestricted generalization from antecedent A to consequent B by conditional proposition—If A, then B—and has empirical content testable.

Clarity¶

A clear use of Deductive-nomological model names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is The deductive-nomological model (DN model) of scientific explanation, also known as Hempel's model, the Hempel–Oppenheim model, the Popper–Hempel model, or the covering law model, is a formal view of scientifically answering questions asking, "Why...?".

Manages Complexity¶

Deductive-nomological model compresses multiple cross-domain formal modeling details into a stable diagnostic relation. The source shows both the central mechanism—near 1780, countering Hume's ostensibly radical empiricism, Immanuel Kant highlighted extreme rationalism—as by Descartes or Spinoza—and sought middle ground.—and the practical consequence—even Popper's 1934 book embraces DN model, widely accepted as the model of scientific explanation for as long as physics remained the model of science.

Abstract Reasoning¶

Type the carrier. Identify the cross-domain formal modeling entities to which the claim applies.
State the relation. Use the source-grounded identity: The deductive-nomological model (DN model) of scientific explanation, also known as Hempel's model, the Hempel–Oppenheim model, the Popper–Hempel model, or the covering law model, is a formal view of scientifically answering questions asking, "Why...?".
Check operation and conditions.

Knowledge Transfer¶

Within the home domain. Knowledge about Deductive-nomological model transfers literally when a new case preserves the same carrier type, relation, and recognition test. DN model received its most detailed, influential statement by Carl G Hempel, first in his 1942 article "The function of general laws in history", and more explicitly with Paul Oppenheim in their 1948 article "Studies in the logic of explanation". The term deductive distinguishes the DN model's intended determinism from the probabilism of inductive inferences. Beyond the home domain. No canonical parent is asserted for Deductive-nomological model.

Relationships to Other Abstractions¶

Current abstraction Deductive-nomological model Domain-specific

Parents (1) — more general patterns this builds on

Deductive-nomological model is a kind of Formal Model Domain-specific

It formally represents explanatory derivation under laws and conditions.

Hierarchy path (1) — routes to 1 parentless root

Deductive-nomological model → Formal Model → Representation → Abstraction

Neighborhood in Abstraction Space¶

Deductive-nomological model sits in a sparse region of the domain-specific corpus (83^rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Formal Logic & Semantic Systems (18 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08