Hume Was Right
What the is-ought gap actually says — and what it doesn't
Corpus frame
The corpus applies one lens to many domains: what mechanisms produce the outcome? It shares four methodological commitments and one explicit directional commitment. Each linked page argues for its part; the links are derivations and disputes, not evidence inherited by every page. The directional commitment does not by itself settle system boundary, distribution, sacrifice, or institutional authority.
- Mechanisms are what act. Incentive gradients, selection pressures, feedback loops, and capital stocks produce the distribution of outcomes. Intentions, labels, official categories, and stated values are evidence about mechanisms, or are themselves coordination mechanisms. They are not causal substitutes. — Mechanism Realism · Only Selection
- The reference telos is sustained flourishing. The broadest achievable adaptive safety margin over deep time — not the continuity of any incumbent state, coalition, institution, or doctrine. A mechanism's own stated goal can still serve as a local proof obligation — showing that its incentives defeat even the purpose it claims is a bounded finding — but meeting that goal establishes nothing about the margin. — Flourishing Is Maximum Safety Margin
- Law, rights, legitimacy, democracy, markets, and sovereignty are mechanisms under evaluation. They are constraints, carriers, or proxies inside the analysis. None is a terminal value or a boundary of what is real. Treating one as terminal ends the mechanism search before it starts. Evaluation carries current function, replacement cost, path dependence, uncertainty, capture risk, reversibility, and who bears model error into the ledger. — The Stack · Mechanism Space
- Optimization is a system function. A civilization has to build, exercise, and revise metamechanisms that search mechanism-space, discard dominated options, install, observe effects, and repair under uncertainty. Not running that loop leaves margin unrealized, and that is itself the failure. No single component — analyst, model, or institution — is presumed to contain a global optimum; the capacity is a property of the system. — From Telos to Policy · The Three-Layer Architecture
- Uncertainty is preserved, not spent. Partial orders, binding constraints, unknowns, and residuals stay explicit. An unmeasured effect is not a favorable default. — The Compression Paradox · Cargo Cult Epistemology
Each essay bears its own evidence. Links carry definitions, derivations, applications, and disputes; they do not transfer proof. Criticism is answered on its substance.
Hume's guillotine blocks one move: deriving a terminal value from a fact. It does not block conditional engineering. Choose persistence, and physics starts ruling configurations out.
I. What Everyone Thinks Hume Said
Ask any educated person about the is-ought gap and you'll get a confident summary: David Hume proved in 1739 that you cannot derive moral conclusions from factual premises. "Ought" cannot follow from "is." Science describes the world; it cannot prescribe how to act. Case closed. Ethics and physics are permanently separate domains.
This understanding is so universal that it functions as a reflex. Anyone who suggests that physical reality might constrain ethical conclusions gets the same response — "Hume's guillotine" — delivered with the finality of a mathematical proof. The conversation ends there.
Hume did identify a gap between factual and normative propositions. The problem is the common extrapolation: treating that observation as a universal stopping rule for conditional engineering analysis.
II. What Hume Actually Said
The passage is in A Treatise of Human Nature, Book 3, Part 1, Section 1. It's short. Here it is:
In every system of morality, which I have hitherto met with, I have always remark'd, that the author proceeds for some time in the ordinary way of reasoning, and establishes the being of a God, or makes observations concerning human affairs; when of a sudden I am surpriz'd to find, that instead of the usual copulations of propositions, is, and is not, I meet with no proposition that is not connected with an ought, or an ought not.
This change is imperceptible; but is, however, of the last consequence. For as this ought, or ought not, expresses some new relation or affirmation, 'tis necessary that it shou'd be observ'd and explain'd; and at the same time that a reason should be given, for what seems altogether inconceivable, how this new relation can be a deduction from others, which are entirely different from it.
Read it again. Slowly.
Hume is observing that moral philosophers keep sneaking from is to ought — "this change is imperceptible" — without explaining how they got there. Whether his passage establishes a stronger prohibition remains contested; it plainly demands that the transition be exposed.
His demand: "it shou'd be observ'd and explain'd."
That's not a guillotine. It's a quality control audit. Hume caught philosophers smuggling normative conclusions past the reader without justification, and he said: stop and explain the transition.
He was right. They were smuggling. Nobody was explaining.
But something happened to this observation on its way through nearly three centuries of intellectual history.
III. How a Demand Became a Ban
The telephone game went like this:
Hume (1739–40): "Explain the transition from is to ought. Nobody is doing this."
G.E. Moore (1903): "Defining 'good' in terms of natural properties is a fallacy." The "naturalistic fallacy" — a stronger claim. Not "explain the transition" but "the transition is a logical error."
Logical positivists (1930s): "Moral statements are neither true nor false. They're emotional expressions." The fact/value dichotomy hardens into dogma.
Educated common sense (1960s–present): "Values are subjective. Science can't tell you what to value. Anyone who says otherwise is confused." The thought-terminating cliché is installed.
Each step made the prohibition stronger and more absolute than the last. Hume's demand for explanation became Moore's logical prohibition, which became the positivists' categorical separation, which became the modern assumption that values and facts inhabit different universes.
By now, "Hume's guillotine" fires as a reflex before anyone checks what Hume actually wrote. A demand for rigor became a ban on thinking.
IV. The Two Claims
The confusion persists because two very different claims get conflated:
The strong claim: "Physics tells you what to value." This IS what Hume warned against, and he was right. You cannot deduce from the laws of thermodynamics that you should prefer Bach over birdsong, cooperation over solitude, or any particular way of life over another. Sam Harris tried this — deriving values from neuroscience. Bentham tried it — reducing all human experience to pleasure and pain. Both failed. The strong claim was always wrong.
The weak claim: "Given a persistence commitment, physics identifies configurations that undermine it." This is a conditional engineering constraint, not "you should value X." It leaves a plural, incompletely ordered set of physics-compatible moral and political choices.
Nobody invokes Hume against structural engineering. "You can't derive the load-bearing requirements of a bridge from physics" is a sentence nobody has ever uttered, because it's obviously absurd. The bridge doesn't care about your preferences for gravity. It either holds or it doesn't.
The weak claim says: civilizations are physical systems too. They are bounded regions of spacetime that maintain internal order by pumping entropy across their boundaries. This is not a metaphor. It's a thermodynamic description. And thermodynamics constrains which configurations of such systems persist.
Hume's passage demands explanation of the is-to-ought transition. Here is the explanation:
There is no transition. The weak claim never crosses the is-ought gap. It stays entirely on the "is" side. "This bridge will collapse" is not an ought-statement. "This civilizational configuration will self-destruct" is not an ought-statement. Both are predictions derivable from physics.
If you then choose to care about whether your civilization persists, the constraints become relevant. But that choice is yours. Physics doesn't make it for you. It just tells you the consequences.
V. What the Constraints Actually Are
Any system that maintains order against entropy — a cell, a corporation, a civilization, a mind, a future artificial intelligence — faces physical constraints on its continued existence.
These constraints are derived from first principles. Briefly: finite energy forces a tradeoff between maintenance and growth. Bounded systems must define where "self" ends. Effective action requires models of reality. Coordination requires architecture. They identify requirements and tradeoffs under an adopted persistence commitment; they do not uniquely settle all values.
The AI alignment community already accepts a related logic. Instrumental convergence (Omohundro, 2008; Bostrom, 2012) argues that under many conditions sufficiently capable agents pursuing diverse terminal goals will tend toward certain instrumental subgoals — self-preservation, resource acquisition, goal-integrity maintenance — because physics constrains what agents need to achieve anything. The claim is conditional, not a universal law about every agent in every environment.
Nobody objects to instrumental convergence on Humean grounds. It describes what's physically required for goal-pursuit, not what goals to pursue. This bypasses one mistaken stopping rule, not every normative dispute: if a system adopts a goal requiring persistence, persistence is a conditional prerequisite.
The move is one hop: apply the same argument to civilizations. Physics constrains what any civilization needs to do to persist, regardless of what that civilization "values." The instrumental requirements are the same: maintain your entropy-pumping capacity, defend your capital stocks, sustain your complexity-generation capability. The specific value-configuration is your business. The boundary conditions are physics.
Hume's gap is intact. No ought was derived from is. What was derived is: which configurations of ought are compatible with continued existence.
VI. Why the Synthesis Was Delayed
Relevant pieces accumulated across centuries — thermodynamics, dissipative structures, game theory, mechanism design, and later instrumental-convergence arguments. The connection is not computationally difficult. Each step is individually simple. A settled genealogy of who should have connected them, and when, is not the point.
Three forces prevented the synthesis:
Disciplinary boundaries. Philosophers know Hume but not thermodynamics. Physicists know thermodynamics but don't do ethics. Governance scholars know neither well enough. The synthesis requires crossing three fields simultaneously, and academic incentives punish boundary-crossing. Each field has its own literature, its own jargon, its own career structure. The person who could connect them would need to be outside all three — which means no credentials in any, which means no audience.
The prohibition-meme. "Hume's guillotine" fires before the reasoning chain reaches the connection point. A philosopher who starts thinking "what does thermodynamics require..." gets intercepted by the reflex: "you can't derive ought from is." The chain breaks. The meme doesn't need to be correct. It just needs to fire fast enough to prevent the connection from being made.
Poisoned precedents. Harris (2010) tried the strong claim — deriving values from neuroscience — and failed publicly. Bentham (1789) tried it with utility and produced a proxy-inheritance failure mode that later institutional history pattern-matched to paperclip optimization. Every subsequent attempt gets pattern-matched to these failures. "Oh, you're trying to get ought from is? Harris tried that. Didn't work." The failures of the strong claim immunize against the weak claim — even though they're categorically different moves.
The irony: Hume would have recognized all three obstacles immediately. People proceeding in the ordinary way of reasoning, making imperceptible transitions, without observing or explaining. The same intellectual vice he diagnosed in 1739 — applied to the interpretation of his own passage.
VII. What Changes
"Values are subjective" is incomplete. It is true for preferences — chocolate versus vanilla, jazz versus classical — and physics leaves wide latitude. Conditional survival constraints are different: some configurations persist under specified conditions and others fail. Those observations constrain means without ranking every physics-compatible end.
Some ethical questions become engineering questions. Once sustained complexity generation is adopted as an objective — the axiological wager the framework makes explicit — physics and related disciplines constrain feasible means. They do not turn every moral disagreement into a calculation.
The subjective zone remains real. Instrumental preferences, aesthetic choices, and many moral commitments survive even after persistence constraints are applied. Physics-compatible options can remain morally and politically incomparable. Some disagreements that look like value clashes are engineering disagreements — about which configurations actually work — but not all of them.
Some governance questions become engineering questions. Under an adopted persistence commitment, institutional design can ask which configurations maintain complexity-generation capacity over a specified horizon — and test, falsify, and revise the answer. That does not dissolve politics into physics. The engineering layer constrains means; residual choice among viable ends remains.
VIII. Hume Was Right
He was right that moral philosophers were smuggling ought from is without justification.
He was right to demand that the transition be "observ'd and explain'd."
He was right that it "seems altogether inconceivable" how ought can be deduced from is.
It is inconceivable — for values. You cannot deduce what to want from how the world is.
It is trivial — for constraints. You can derive what won't work from how the world is. Engineers do it every day.
The distinction was always there. A demand for rigor was misread as a prohibition, and the prohibition became a meme, and the meme terminated a reasoning chain for nearly three centuries.
Hume asked for an explanation. Here it is:
Physics does not tell you what to want. Once a system adopts a persistence commitment, physics identifies conditions that support or undermine it. The relevant transition is conditional: from is to an engineering requirement, not from is to a moral obligation. Engineers have used such transitions for centuries.
This is the mechanist ontology — the commitment to studying what mechanisms produce rather than what intentions promise. Hume, in demanding that moral philosophers explain their transitions rather than smuggle them, was its first practitioner.
The derivation: The Question Nobody Asks. The constraint architecture: The Four Axiomatic Dilemmas.
Related:
- The Question Nobody Asks — the derivation this essay's is-must bypass depends on
- Values Aren't Subjective — the six-type taxonomy left standing once "values are subjective" is read as a misapplication of Hume's demand
- The Original Sin of History — what happened when Bentham's utility calculus became an institutional target function
- An Engineer's Guide to the Trolley Problem — applies the resolved is-ought bridge to a concrete diagnostic, reading terminal-value weighting off trolley answers
- The Last Step — shows a leading longtermist still hedging across moral theories instead of taking the thermodynamic ground truth this essay says was available
- Ethics Is an Engineering Problem — the bounded is/ought bridge applied to implementation reliability
- The Four Axiomatic Dilemmas — the physical trade-offs that supply the "is" side of the derivation this essay says was always available
Sources and Notes
The Hume passage: A Treatise of Human Nature, Book 3, Part 1, Section 1 (T 3.1.1.27). Full text at Wikisource. The SEP notes that "few passages in Hume's work have generated more interpretive controversy." The dominant 20th-century reading (Hume is issuing a prohibition) is contested by the "logical" reading (Hume is merely noting a logical gap that needs filling). See Hume's Moral Philosophy (Stanford Encyclopedia of Philosophy) for the interpretive landscape.
Moore's naturalistic fallacy: G.E. Moore, Principia Ethica (1903). Moore's argument is structurally different from Hume's — Moore claims defining "good" in natural terms is a logical error; Hume observes that the transition goes unexplained. The conflation of these two distinct claims is itself part of the telephone game.
Instrumental convergence: Steve Omohundro, "The Basic AI Drives" (2008). Nick Bostrom, "The Superintelligent Will" (2012). The argument: any sufficiently intelligent agent converges on instrumental subgoals (self-preservation, resource acquisition, goal-integrity) regardless of terminal goals, because physics constrains what's required for goal-pursuit. Widely accepted in AI alignment literature without Humean objection.
Harris's strong claim: Sam Harris, The Moral Landscape (2010). Harris argued that science can determine human values by measuring well-being via neuroscience. The philosophical response was overwhelmingly negative — correctly, because this IS the strong claim. The failure was instructive but poisoned subsequent attempts, including ones making the categorically different weak claim.
Bentham's full-stack attempt: Jeremy Bentham, An Introduction to the Principles of Morals and Legislation (1789). Bentham's Theory of Fictions + utility calculus was the first systematic attempt at vertically integrated civilizational engineering from materialist premises. It produced the framework (utility maximization) that, extended through the Marginal Revolution → Arrow-Debreu → QALYs → EA, became the dominant optimization metric of modern governance. For bundle fragility and proxy-grab after cosmological shatter, see The Original Sin of History.
Hans Jonas: The Imperative of Responsibility (1979). The closest prior attempt in philosophy to ground ethics in physical reality. Jonas derived normative claims from the fact of metabolism — "life creates value." But he explicitly violated Hume rather than bypassing him: his premise "anything that must be done, ought to be done" smuggles normativity without justification. Jonas breached the wall; the weak claim walks around it.