Chapter Four Epistemic Zero

You have played this game.

Someone tells you to think of a number between one and a hundred, and then they ask questions: greater than fifty, odd, prime. With each answer the possibilities collapse, and after seven or eight questions they name your number, and when you are young it feels like they reached inside your head. They did not. They removed what did not belong. Every answer was a constraint, every constraint cut away numbers, and what survived the cutting was the answer, isolated by subtraction the way a sculptor finds the statue by removing stone. Notice, too, what the guesser never did. They never assumed the number was seventy-three and hoped. They never favoured round numbers or lucky ones. They added nothing beyond what your answers forced, and that restraint was not a stylistic choice. It was the entire method. Had they leapt ahead of the constraints they might have got lucky, but they would have been doing a different thing: betting, not inferring.

Hold that difference, because everything that follows turns on it, and the gallery’s search ends here. Start with everything that could be true. Remove what the evidence rules out. Believe what remains, and nothing more. Children grasp this instantly, and it sounds too obvious to be a foundation, and yet this obvious discipline, followed with total rigour under conditions named as the chapters go, generates the architecture of rational belief this book builds. It is the principle the last chapter’s thinkers touched and set down, and it finally gets its name.

MU: assume nothing beyond what the constraints demand.

Six words, and everything else is commentary, so the six words deserve a moment each. Assume: to add content to your conclusions that your premises did not pay for; to believe without being forced; in the word that will keep recurring, to smuggle. Nothing: zero, not “a little” and not “what seems reasonable.” Beyond: in excess of. What the constraints demand: what your evidence, your logic, and the structure of your situation actually require, as opposed to what they merely suggest or make comfortable. Put back together: let your beliefs carry the structure your situation forces on them, and no more.

Said that way, MU is a discipline, an instruction for the believing mind. But there is a second way to say it, and the relationship between the two ways matters enough to be precise about, because carelessness here has confused philosophers for a long time. The second way: consistent inference is possible. This is not an instruction but a fact, the bare fact the gallery’s sceptics could not coherently deny. It is the ground the discipline stands on. The fact says the game can be played at all: that there exist rules of belief under which conclusions genuinely follow from constraints. The discipline says how to play it without cheating: add nothing the constraints did not force. Three distinctions keep this precise, and I will lean on them from here on. First, constraints versus conclusions: constraints are what you are given, conclusions are what they determine, and MU polices the border between them, in that direction.

Second, the fact versus the discipline: that consistent inference is possible is the unshakeable floor; assume-nothing is what inference then requires of anyone who reasons on it, argued as constitutive rather than proved as a corollary, and this book keeps the two grades apart wherever it matters. Third, constitutive versus optional: MU is not one strategy among strategies, the way chess openings are options within chess; it is constitutive of inferring at all, the way moving the pieces legally is constitutive of playing chess rather than knocking wood about. Break an opening rule and you play differently. Move illegally and you are no longer playing.

The discipline has a beautiful limiting case, and you already know it from a children’s puzzle. You are handed a die and told what an honest manufacturer certifies: six sides, regular geometry, balanced mass, tossed by a method that treats every face alike. Asked what to believe about each face, you have symmetry in the physics, not just a count of the outcomes. Favour any face and you have assumed an asymmetry the certified physics never gave you, with no answer to the obvious challenge: why that face? The only belief that adds nothing spreads evenly, one-sixth each, and notice what that assignment is. It is not a claim that the die is fair. It is the refusal to claim the die is unfair, and the difference between those two is the difference everything here turns on. Saying the treasure is buried in the northwest corner is a claim; saying you have no idea where the treasure is claims nothing about location at all. Equal credence is the no-claim state, the absence of assumed inequality, and mathematicians have a name for the general version: among all the belief-distributions your constraints allow, choose the one most spread out, most uncommitted, maximally agnostic about everything you do not know. They call it maximum entropy. It is MU wearing mathematical clothing, and in the determinate cases, where the problem’s own symmetry fixes what counts as even, the two are provably the same. Where nothing fixes it, MU does not pick a favourite way of being uncommitted, and what it returns instead is a later chapter’s whole subject. No equation is needed anywhere to use the discipline: spread your confidence as widely as your constraints allow, and let evidence, only evidence, gather it in.

Now for the name, and a debt.

For twenty-five centuries the search for knowledge’s foundation examined candidate after candidate, sense experience and rational intuition and revelation and consensus, and each one failed in the ways the trilemma guarantees, and the searchers concluded they had found nothing. The conclusion was truer than they knew. Nothing was the finding. Recall the strange history of the number zero. The Greeks, who built geometry and logic and calculated the circumference of the earth, refused to treat nothing as a number; the void was a threat to be argued away, and their mathematics fought its own notation for want of it.

Then in 628, in the Indian city of Ujjain, the astronomer Brahmagupta wrote down something no one had written before: rules for zero. Zero added to a number leaves it unchanged. Zero multiplied by any number is zero. He even attempted division by zero, and got it wrong, and the attempt was still magnificent, because he had done the unthinkable thing, which was to treat nothing as a full citizen of the number system, with properties, with obligations, with a job. And the job changed everything. Zero is the additive identity, the number that contributes nothing, and by contributing nothing it makes place-value notation possible, and with it arithmetic a child can do, and on that, algebra, calculus, physics, the whole quantitative world. Remove the keystone that looks like a hole and the arch comes down.

That is recent, and it was resisted. We have had the number zero for roughly fourteen centuries, a fifth of recorded civilisation. Before positional notation, societies calculated ably on abaci and counting boards and then recorded the results in numeral systems poorly suited to written arithmetic, so that computing and writing lived apart, the board doing the work and the page keeping the score. And the void did not arrive to applause. It travelled from Ujjain through the house of wisdom in Baghdad, where al-Khwārizmī wrote the treatise whose Latin corruption of his name gave us the word algorithm, so that the machines of this book are, by etymology, running on zero’s delivery route. It reached Latin Europe with Fibonacci’s Liber Abaci in 1202 as a merchant’s advantage, and the merchants’ own cities hesitated: in 1299 Florence restricted its bankers from keeping accounts in the new numerals, on the argument that their unfamiliar shapes were too easy to alter, a zero too easily inflated into something. The most productive notation in history spent its first European century under suspicion of fraud. The pattern deserves naming, because it is about to repeat. A nothing with rules looks like a threat exactly as long as you measure it against the something it declines to be. It looks like a foundation the moment you see what stands on it: double-entry accounts, the calculus of quantities vanishing towards zero, and finally the binary digit. Every machine in this book runs on rivers of zeros, the resisted void promoted to half of everything. What might a disciplined nothing enable this time? I will point rather than promise, because pointing is all this claim has earned: a shared calibration standard beneath human and machine judgement, portable across both the way place value is portable across languages, with the refusal test of the machines chapter as its first crude instrument. Zero needed six centuries to travel from Ujjain to being treated as a threat in Florence. We are on page one.

MU is epistemic zero. The principle that, added to your constraints, adds nothing, and by adding nothing makes the entire structure of rational belief possible. Before it, reasoning was an art: brilliant reasoners existed, and manuals existed in pieces, a logic here, a method there, but no ground unified them, no way to say why their rules were right, nothing to teach the whole except by apprenticeship and awe. With it, inference has a ground state and a method: given your constraints there is a least-assuming starting point, and given new evidence there is a consistent way to move, and none of it depends on taste. Three separate lines of mathematics, proved across three decades by people solving different problems, converge on this, each within conditions the chapters ahead will state. Any consistent handling of degrees of belief must obey the rules of probability. The only least-assuming starting point is the one that assumes least. There is exactly one way to change your mind that neither invents information nor destroys it. The story of the people behind those proofs is its own, and a good one; what matters here is the shape. Independent derivations, one structure. The structure was always there. The proofs discovered it. MU names it.

I should mark clearly what is established and what is further. That the discipline and its mathematics govern rational belief is the book’s derived core, carried by the proofs. But the pattern may reach deeper, and here I am pointing, not proving. Logic’s own bedrock, the ban on contradiction, looks less like an arbitrary axiom than like MU applied to representation itself: a claim that asserts P and also not-P distinguishes nothing, carries nothing, constrains nothing; it is the zero-information state disguised as a statement, and forbidding it is just the demand that a belief be a belief. Follow that thought and the zeros begin to rhyme. Zero added to a number changes nothing. The empty set added to a set changes nothing. MU added to your constraints changes nothing. It may be that these are not three analogies but one structure, that the logical zero and the numerical zero and the epistemic zero are the same zero seen from three rooms. That claim would need another book, one about the foundations of mathematics and the nature of representation, and I am not writing it, and nothing here leans on it. But it is where the claim points, and I would rather show you the horizon plainly than pretend the view ends at the property line.

The wisdom traditions, meanwhile, have been camped on this ground for a very long time, and I will give them their due without recruiting them. When Zen speaks of shoshin, beginner’s mind, the mind that meets each moment without the expert’s cage of expectations, the empty cup that can receive tea; when the Taoists praise water, which has no shape of its own and so takes the shape of any vessel perfectly, which does not impose and does not resist and finds every path because it insists on none; when Lao Tzu observes that the usefulness of a pot comes from its emptiness, which is as fine a sentence about starting points as anyone has written. When the Sufis counsel selling your cleverness to buy bewilderment, trading the frozen confidence of expertise for the openness that lets truth arrive; when Socrates teaches by subtraction, stripping his interlocutors of false certainty until productive emptiness remains, none of these traditions is stating this principle, and it would flatter me and insult them to pretend so. They are practices of restraint, disciplines against the mind’s habit of adding, worked out for their own purposes in their own languages, and what they share with MU is a family resemblance deep enough to be striking and loose enough to demand candour about the difference. They had the intuition without the formalism. But the intuition is the hard part. The insight that nothing is something, that absence has structure, that the foundation might be found by subtracting rather than adding, has now appeared independently in India and China and Greece and Persia and a mathematics department in the twentieth century, and an insight that keeps arriving by every road is one the roads did not create.

One of those arrivals gave the principle its name, and you have already met him. A monk asked Zhaozhou whether a dog has Buddha-nature, and Zhaozhou said mu, and I told you in the opening pages that he was declining the question’s frame. Now you can see what that means, because our MU performs the same operation on epistemology that his performed on doctrine. The monk’s question smuggled an assumption: that Buddha-nature is a checkbox, possessed or lacked, and that the true answers are yes and no. Zhaozhou’s syllable refused the smuggled frame and pointed beneath it. When you ask “what should I believe?”, your question usually smuggles too: a menu of live options, a shape the answer must take, structure the constraints never supplied. MU cuts beneath, to the one question with a forced answer: what do the constraints themselves determine? Everything else is commentary, and some of the commentary deserves Zhaozhou’s reply. Hold the monk a little longer. His master’s answer has one more secret.

So here is where we stand. The ground the gallery touched has a name, a statement, a mathematical body, and a lineage of resonances older than writing. What it does not yet have is its anatomy or its proof. The principle, examined closely, separates like light through a prism into three components, each necessary, each entailing the others, and that anatomy comes first. And then the question every foundation must face, the one that broke the gallery’s giants: what grounds the ground? The answer is that you are standing on it, and that this time, finally, we can prove it.