Chapter Seven Hume’s Ghost

The first plaintiff has been waiting the longest.

You met him in the gallery: the young Scot at La Flèche who saw to the bottom of experience and flinched at what he found there. His problem has outlived every answer offered to it, and it deserves the courtesy of being stated at full strength before anyone claims to lay it to rest, so let it stand up straight. Every morning of your life the sun has risen, and from those mornings you conclude that it will rise tomorrow, and the conclusion feels less like an inference than like sanity itself.

But the observations are all about the past, and the conclusion is about the future, and something must carry you across. Name the bridge and you have named your problem. The future will resemble the past, you say. And how do you know that? Because it always has. Look at what you just did: you defended the leap from past to future by leaping from past to future. The justification is the crime. It is committed in the courtroom, in front of the judge, every time.

Hume tried every exit, and his thoroughness is why the ghost still walks. Logic will not carry you across; from “every observed sunrise occurred” nothing about tomorrow follows, because deduction preserves truth and creates none, and the unobserved is where the premises stop. Probability will not carry you across on its own; to say the sun will “probably” rise you need grounds for the probability, and the grounds on offer are the past performances already under indictment. Practical necessity will not carry you across; we must believe in induction to function, true, and a stranded sailor must believe rescue is coming, and the belief does not move a single ship. Two and a half centuries of philosophy after him fared no better, and the failures are instructive. Declaring the question meaningless, mere confusion about the word “rational,” fails because the question has plain content: will the method that worked keep working, and that is about the world, not the dictionary. The pragmatic defence, induction is the best bet we have, fails because “best” is graded on past performance, which is the evidence on trial; relabeling the circle does not open it. And the boldest evasion, Karl Popper’s claim that science never inducts at all, only conjectures and refutes, hides the ghost rather than exorcising it, because the moment you board an aircraft certified by well-tested theories rather than untested ones, you are trusting past performance to reach into the future, and calling the trust “corroboration” changes its name and nothing else. Popper will have his full and honourable day in court, because he was profoundly right about something adjacent. About this, there is no exit. The circle holds.

Hume’s own verdict was the bleakest on record: we believe by custom, not reason; nature built the expectation into us as it built blinking; and the exacting philosopher, having seen this, should play backgammon until the vertigo passes. He confessed the wound in the Treatise itself, affrighted and confounded by the forlorn solitude his philosophy had placed him in. It is one of the most exacting pages in philosophy. It was also surrender. The surrender lasted two hundred and fifty years, and here is why it can end.

Begin with what must be retained, because the dissolution that follows keeps every brick of Hume’s negative result. He was right. There is no non-circular justification of induction from outside inference, no premise-set about the observed that deductively delivers the unobserved, no neutral platform from which the practice of learning from experience can be certified before you engage in it. Nothing here disputes a word of that, and any account that pretends to conjure such a justification is selling something. What is disputed here is the conclusion Hume drew from his result, and the diagnosis takes one sentence: Hume demanded a hypothetical bridge in the one place where only a constitutive one can exist.

Unpack that slowly, because the whole trial turns on it. A hypothetical connection is one the world might have furnished or withheld: the bridge from smoke to fire, from symptom to disease, from wet pavement to rain. Such bridges are learned, and doubting one is ordinary business. Hume treated the connection between evidence and conclusion as a bridge of this kind, one more claim about the world, needing its own support, and then proved, correctly, that no support could exist that did not already use the bridge.

But recall the anatomy of inference from two chapters ago. That evidence bears on conclusions is not a plank the world laid down for us and might have withheld. It is part of what inference is, the C and L of the structure, the very relation the word “evidence” names. To ask for a justification of the evidential connection from outside inference is to ask for an inference that runs before inference is available, a request with the same shape as asking what is north of the North Pole, and the impossibility of answering it is a fact about the shape of the request. Hume discovered that the ground floor has no basement. He read the discovery as homelessness. It was the opposite: it was the discovery of what a ground floor is, the level that needs nothing beneath it because everything else stands on it, and the self-grounding proof is the deed to that floor.

And once the demand is re-described, the positive account arrives with a force the despair never anticipated, because the mathematics of Part Two was built for this moment. Given your constraints, the record of risen suns and everything else you know, there is a unique least-assuming distribution of belief over what comes next, wherever the constraints determine one, and a unique consistent way to move it as mornings accumulate. Under that forced rule the accumulated mornings do what common sense always insisted they did: they raise, lawfully and quantifiably, the credence that the next morning follows. Not to certainty. Never to certainty, and here the account keeps faith with Hume in a second way that matters enormously. Nothing in this dissolution guarantees that nature is uniform. The sun may not rise tomorrow. The laws may shear at midnight. MU does not promise the future will resemble the past; it tells you what to believe given that you do not know, and it stands ready, should the pattern break, to update on the wreckage without a flicker of inconsistency. The demand Hume could not satisfy, a guarantee of uniformity, was never induction’s to make, and the smuggled premise in three centuries of despair was the assumption that rational belief about the future requires one. Remove the contraband and what remains is not groundlessness. It is a forced procedure for proportioning belief to evidence, which is the maxim Hume himself placed at the head of his own philosophy, now with the mathematics underneath it that he never lived to see.

So the first trial ends in a verdict with two clauses, and the two-clause shape is worth memorising, because it will recur. Hume’s negative result is retained in full: the external justification he sought does not exist, and its nonexistence is a theorem, not a tragedy. And the sceptical conclusion is diagnosed: it followed only with the help of an assumption the constraints never supplied, the demand that a constitutive relation produce hypothetical credentials. Keep the proof. Convict the smuggling. The ghost is not banished; the ghost is thanked, because Hume mapped the exact boundary of what can be justified from outside, and the map turns out to be the floor plan of the ground. One more thing before the next plaintiff, spoken quietly because a later chapter will shout it. Somewhere tonight, a machine is doing induction at planetary scale, projecting its training’s past into everyone’s future, and every anxiety here applies to it without modification, along with, if this chapter is right, every consolation.

The second plaintiff is also Hume, and he has brought a blade.