Part Three
Chapter Eight The Guillotine
...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.
— David Hume, A Treatise of Human Nature
Of all the blades Hume left behind, this one cuts deepest, and it is aimed at this argument’s throat.
Near the end of the Treatise, almost in passing, Hume recorded a small observation with three centuries of consequences. Writers on morality, he noticed, would proceed for pages in the ordinary way, describing how the world is, how people behave, what nature reveals, and then, without announcement, the copula would change: is became ought, description slid into prescription, and no author ever paused to explain how the slide was licensed. Hume pointed out that it is not. No stack of descriptive premises, however tall, entails a normative conclusion. From “honesty promotes social cohesion” you cannot derive “you ought to be honest”; from “murder causes suffering” you cannot derive “murder is wrong.” The facts may be true and the morals compelling, and still the second does not follow from the first, and this small attention, Hume remarked, would subvert all the vulgar systems of morality. The twentieth century gave the observation its arsenal of names, the naturalistic fallacy, Hume’s Law, the fact–value gap, and the philosopher Max Black gave it the one that stuck: Hume’s Guillotine, for the ruthlessness of the severance.
Respect the blade before testing it, because its work in the world has been bloody in both directions. Herbert Spencer took the biological is of competition and leapt to the social ought of letting the weak go under; his follower Sumner said the drunkard in the gutter is just where he ought to be; the eugenicists took correlations for commandments, and in 1927 the United States Supreme Court blessed compulsory sterilisation with Justice Holmes’s sentence that three generations of imbeciles are enough, and some sixty thousand Americans were sterilised by force on the strength of an inference that was never valid. The same confusion runs the other road: describe any behaviour’s biological roots and someone will hear an endorsement, which is why a lecture on sociobiology could end with a pitcher of water over the speaker’s head. Deriving ought from is is not a parlour fallacy. It has its own dead, and everything said so far in praise of inference should make you ask, urgently, whether the sin is being committed right here. Because look at what keeps being said here. You should proportion belief to evidence. You ought not smuggle. Update when information arrives. Every one of those sentences wears an ought, and if the Guillotine falls where Hume aimed it, then epistemic norms float exactly as free as moral ones: no description of how evidence works, how minds work, how inference works, can generate the smallest obligation to reason well. Rationality becomes a lifestyle. The attempts to escape have all failed on schedule. Ground the norms in goals, you should follow evidence if you want truth, and the person who shrugs at truth walks free, and the question why one ought to want truth stands unanswered behind him. Ground them in nature, we evolved to track evidence, and Hume’s blade falls again, since what our brains do was never what they ought to do. Give up and call the norms useful conventions, and you have conceded the case: reasoning is a custom, like the fork, binding nobody.
The trial looks lost. And here the dissolution begins, and it begins with a confession that will become this trial’s signature: the blade is real, the gap is genuine, and no crossing will be attempted here. The dissolution turns instead on a category Hume’s dichotomy never listed. His guillotine cuts between two kinds of claim, the descriptive, how things are, and the normative, how things ought to be, and the cut between those two is permanent.
But there is a third kind. A constitutive claim states what something is, in the sense of what makes a thing count as that kind of thing at all, and it belongs to neither pile. Take chess. “Most games last under sixty moves” is descriptive. “You should develop your pieces early” is normative, and good advice. “Bishops move diagonally” is neither: it does not report how games tend to go, and it does not counsel you towards victory. It defines the game. Slide a bishop sideways and you have not played chess badly; you have stopped playing chess. And notice the strange power of such claims: they generate genuine oughts without ever touching the far side of Hume’s gap. If you are playing chess, you must move the bishop diagonally, and the must comes not from any description of the world and not from any external ideal, but from what the activity is, joined to the fact that you are engaged in it.
Now bring the whole apparatus of Part Two into the courtroom. MU is a constitutive claim about inference. It does not describe how people actually reason; people violate it constantly, magnificently, at three in the morning and on national television. It does not prescribe from some external summit of values. It states what inference is: to draw from your constraints exactly what they determine is what distinguishes concluding from asserting, deriving from decreeing, reasoning from decorating a prejudice. The epistemic oughts defended here are the bishop’s diagonal. They are not commandments imported across the gap; they are the constitution of the activity, binding anyone engaged in it, and the Guillotine never touches them because they were never on the far side. They were here, folded inside the is of what inference is.
One escape hatch remains, and closing it is what turns these norms from house rules into law. House rules bind conditionally: if you tire of chess you may stand up, tip your king, and the diagonal releases you forever. So could a determined mind simply resign from inference and slip the norms that way? Try to picture the resignation. To consider whether reasoning is worth continuing is to reason; to weigh the case for stopping is to infer; the letter of resignation is composed in the language it renounces, and you have met this fork before, in the chapter where the ground proved itself. There is no square beside the board to stand on. A constitutive norm you cannot resign from binds categorically, not because a cosmic legislator decreed it but because every path out passes through the room, and that is the precise and limited sense in which these oughts are unconditional. Proportion belief to evidence. Do not smuggle. Update. Not suggestions, not customs, not conditional on your wanting truth: the standing requirements of an activity no thinking being can fully put down.
Now the scope, stated with the bluntness the subject deserves, because this is the trial where winning narrowly matters more than winning big. What has been dissolved is the epistemic is/ought gap, and only that. The moral gap stands. Whether you ought to be kind, whether justice demands equality, whether any goal deserves pursuit: MU does not answer these and cannot, because answering them from facts alone would be smuggling, and the entire authority of the framework comes from refusing exactly that move.
It is the rarest thing in the history of this problem: the bridge we found is load-rated for epistemic traffic only, and the finding why it cannot carry moral traffic is itself a gift of the framework, the Guillotine revealed as MU’s own principle at work in the domain of value, forbidding normative content the constraints never supplied. And mark what this scope line means when the reasoner in question is made of silicon: a mind can be impeccable about what follows and unconstrained about what to pursue, and no quantity of perfected inference will ever, by itself, make its purposes good. That sentence is a seed.
So the second trial ends more strangely and more valuably than the first. The blade is not broken, not dulled, not evaded. It is adopted: Hume’s Guillotine, correctly aimed, is the no-smuggling principle enforcing the border of the value domain, and the epistemic norms it seemed to orphan turn out to live on the near side, woven into the act of thinking itself. And one word in this chapter deserves a leash before it leaves. Categorical here means inescapable as a standard of inference, nothing more: not a moral duty, not an overriding reason to act, not an obligation to pursue any end. The blade guards that boundary too. You are exercising them at this moment, judging whether this argument holds, and the standards of your judgement are the very norms whose standing was in question, which is the quiet joke hidden in every attempt to doubt them. The court retains the blade as an instrument. The strangest plaintiff of all is a made-up word, five letters long, and it came closer than any of them to drawing blood.