Is-Ought Problem¶

Hume's principle that no purely descriptive premises can by themselves deductively entail a normative conclusion — so any move from 'is' to 'ought' requires an explicit, defensible bridging value premise, and its absence marks a category error.

Version: v3 · 2026-09-28 · History · 1 correction
Domain-specific #: 576
Domain group: Humanities
Origin domain: Philosophy
Subdomain: Ethics and Metaethics → Philosophy
Aliases: Humes Law, Hume Law, Is Ought Gap

Core Idea¶

The is-ought problem is Hume's metaethical principle (1739–40) that no set of purely descriptive premises can by itself deductively entail a normative conclusion about what ought to be done. The inferential move demands a bridging normative premise that must be made explicit and defended on its own grounds. Remove it and the descriptive premises cannot reach the normative conclusion, because they are of different logical kinds and validity preserves kind.

How would you explain it like I'm…

Facts Need a Should

Knowing how things are doesn't, all by itself, tell you what you should do. "It's raining" doesn't mean "you should take an umbrella" unless you also believe "you shouldn't get wet." You always need an extra "should" idea to get to a "should" answer.

The Hidden Should

The is-ought problem, noticed by the philosopher David Hume, says that facts about how the world is can't, on their own, prove what people ought to do. People often jump from 'this is true' straight to 'so we should do this' without noticing the hidden step. For example, 'this plant is poisonous' only leads to 'you shouldn't eat it' if you also believe 'you shouldn't do things that make you sick.' That hidden 'should' idea needs to be said out loud and defended. A handy question is: where is the hidden 'should'?

Hume's Fact–Value Gap

The is-ought problem, from David Hume's A Treatise of Human Nature, says that purely descriptive premises — statements about what is the case — cannot by themselves logically prove a normative conclusion about what ought to be done. Hume noticed writers sliding from "is" statements to "ought" statements without justifying the move. To make such an argument valid, you need a bridging premise that is itself normative, and it has to be stated and defended. It's different from G. E. Moore's naturalistic fallacy, which claims "good" can't be defined using natural properties; Hume's point is about what follows from what, Moore's is about definitions. The practical use is asking "where is the hidden value assumption?" in arguments that pretend to be purely factual.

The is-ought problem, also called Hume's Law, originates in Hume's Treatise (1739–40, Book III, Part I, §I). It holds that no set of purely descriptive premises can deductively entail a normative conclusion. Hume observed that moralists pass from propositions joined by 'is' to ones joined by 'ought' without justification. Such inferences require a bridging normative premise that must be made explicit and defended on its own terms, because descriptive and normative claims are of different logical kinds and validity preserves kind. It must be distinguished from Moore's naturalistic fallacy (1903), the claim, supported by the open-question argument, that 'good' cannot be defined by any natural property. The is-ought gap is inferential, while Moore's is definitional. The principle underpins the fact/value distinction and appears across ethics, political philosophy, legal philosophy (Hart's separation of law as it is from law as it ought to be), and philosophy of science, where findings alone do not settle policy. Its main tool is the question of where the implicit normative premise is, which exposes value commitments hidden in apparently empirical arguments.

Scope of Application¶

Because the is-ought problem is a typed diagnostic rather than a mechanism, it applies wherever an argument reaches a normative conclusion and is evaluated by reasons; past a normative conclusion it is vacuous.

Metaethics — underwrites non-cognitivism, error theory, and constructivism.
Normative and applied ethics — bioethics and AI ethics must combine empirical premises with avowed principles.
Political philosophy — constrains how findings become recommendations only via an added premise.
Philosophy of science and the science-policy interface — findings inform without settling.
Legal philosophy — underwrites positivism's separation of law as it is from law as it ought to be.

Clarity¶

The problem's distinctive work is to fix the kind of gap in play, keeping it from collapsing into Moore's naturalistic fallacy, which is a definitional gap about whether "good" can be analyzed. An argument might honor the is-ought gap yet commit a Moorean move, or vice versa. This precision makes the problem operationally useful, rendering legible the recurring category error of moving from "how things are" to "what we ought to do."

Manages Complexity¶

The disputes around the descriptive-to-normative boundary tangle on two axes: which gap is at issue, and which discipline is reaching for a prescription. The first compressive move fixes the kind once — the failure is inferential — collapsing a two-way ambiguity into a settled classification. The second collapses an open field of border crossings to a single category error with one inspectable diagnostic: locate where the normative premise entered.

Abstract Reasoning¶

Two diagnostic moves serve both axes: typing the gap as inferential rather than definitional, and locating the smuggled value commitment behind any fact-to-prescription move. An interventionist move forces the bridging premise into the open, either repairing the argument or exposing its emptiness. A boundary-drawing move fixes the standing of evidence — findings bound and inform normative deliberation without settling it.

Knowledge Transfer¶

The is-ought problem is a typed diagnostic, not a causal mechanism, so "mechanism within, metaphor beyond" does not apply. It transfers literally wherever its precondition holds: an argument that reaches a normative conclusion. Within philosophy it carries across all normative discourse, and the same literal reach extends to any discipline-bridging case. The boundary is instrument-reach versus over-reading: it is vacuous where no "ought" is in play. The portable kernel is supplied by validity / Deductive Reasoning, with Normativity and the parent Fact-Value Distinction; the metaethical cargo stays home.

Relationships to Other Abstractions¶

Current abstraction Is-Ought Problem Domain-specific

Parents (2) — outgoing typed relations

Is-Ought Problem is a kind of Fact-Value Distinction Prime

The Is-Ought Problem is the Fact-Value Distinction specialized to deductive non-entailment from an all-descriptive premise set to a normative conclusion.
Is-Ought Problem presupposes Deductive Reasoning Prime

The Is-Ought Problem presupposes deductive reasoning because its non-entailment claim constrains what a deductively valid conclusion may introduce beyond its premises.

Hierarchy paths (2) — routes to 2 parentless roots

Is-Ought Problem → is a kind of Fact-Value Distinction → includes Normativity → is a decomposition of Constraint

Show alternative path (1)

Neighborhood in Abstraction Space¶

Is-Ought Problem sits in a crowded region of the domain-specific corpus (40^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Argumentation Fallacies & Inference (15 abstractions)

Nearest neighbors

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