Skip to content

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.

Core Idea

The is-ought problem is Hume's metaethical principle (1739) 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.

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

Local relationship map for Is-Ought ProblemParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Is-Ought ProblemDOMAINPrime abstraction: Deductive Reasoning — presupposesDeductiveReasoningPRIMEPrime abstraction: Fact-Value Distinction — is a kind ofFact-ValueDistinctionPRIME

Current abstraction Is-Ought Problem Domain-specific

Parents (2) — more general patterns this builds on

  • 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

Neighborhood in Abstraction Space

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

Family — Fallacious Substitution in Argument (17 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-07-12