Chapter Six Self-Grounding

You have tried this before.

Maybe not in these words, but you have tried to find the bottom. Some night when the mind turned on itself, after an error that cost you something, you asked what you could really trust, and you started stripping. The senses had deceived you before; strip them. Memory had rewritten itself before; strip it. The world might be a dream; strip it. Even reasoning, the tool doing the stripping, might be broken; and there the stripping got strange, and you probably stopped, and went to bed, and the floor was back in the morning. This chapter refuses to stop.

In the winter of 1619, a twenty-three-year-old French soldier sat out the cold in a small stove-heated room in Germany, waiting for a war to resume. René Descartes had been educated by Jesuits and trained in mathematics, and nothing he had learned seemed certain anymore; the medieval edifice was cracking, the new sciences were rising, and he decided, deliberately, to do what you did that night, but professionally and to the end. He would doubt everything that could possibly be doubted, and keep whatever survived. His senses went first: the round tower that turns square as you approach, the dreams indistinguishable from waking. Next went the world: perhaps a demon of vast power was staging all of it, the sky, the body, the fire in the stove.

Then mathematics itself: perhaps even the simplest sums were errors the demon planted. He pushed until nothing was left. And in that nothing he struck something that would not strip. The doubting was happening. Thinking was occurring, and thinking proves a thinker. Cogito ergo sum: not “I think, therefore my thoughts are true,” only that the attempt to strip everything away proves something is doing the stripping. It is one of the great moments in the history of honesty, and Descartes believed he had found the foundation.

He had found a floorboard. He missed the floor.

Look at what the cogito is. It is an inference: from “thinking is occurring” to “a thinker exists.” And inference has requirements. There must be rules by which the conclusion follows; there must be content for the thought to be about; there must be, yes, the agent, but the agent was only one of the three. Descartes seized A and built his tower on it, and the tower leaned from the start, because beneath his floorboard, holding it and the doubt and the demon and the whole magnificent experiment, was the structure the experiment never questioned because the whole procedure was made of it: the possibility of consistent inference itself. He used it to doubt everything, and it was the one thing his doubt could not reach, not because it was too sacred but because the doubt was built from it. That structure is MU, and the task now is to show that it grounds itself, which no floorboard and no axiom has ever done.

MU cannot be coherently denied, and this is provable. Not resented, not defied, not doubted in the dark; denied, in the full sense of asserting its falsehood for reasons. The proof is short enough to hold in one hand, and I will give it precisely, because its precision is the point.

One man stood nearest this spot, four centuries ago, and stopped one word short. When Descartes had doubted his way to the bottom, what survived the demon was cogito ergo sum, and generations have read it as the discovery of the self. Look again at its grammar. It is an inference: a content, thinking is occurring; an agent, whoever is running the doubt; and between them the little Latin hinge, ergo, doing all the work. Descartes audited every belief he had ever held and never audited the therefore. He could not have. Auditing is inferring, and the demon himself must borrow the ergo to deceive anyone coherently, so that even the great deceiver pays rent to the ground he is hired to hide.

And Descartes was not even first. Twelve hundred years earlier, Augustine had written si fallor, sum, if I am mistaken, I exist, having noticed that the error underwrites the one making it. When the Meditations appeared, one of Descartes’s readers pointed this out to him in print, politely. Two men, twelve centuries and a continent apart, walked into the same fork, which is not a coincidence to be explained away. It is the first hint that the fork belongs to the ground rather than to either man. So the most famous certainty in philosophy is not bedrock at all. It is the first theorem, mistaken for the axiom: an instance of consistent inference surviving maximal doubt, filed under the name of the self because the self was the part Descartes could see. What follows is the audit he could not perform, the ergo examined directly, the cogito with the self subtracted, because a proof whose validity leans on no particular prover’s performance is the only kind the ground of proving could rest on.

This is the steepest mile in the book, and the only one. It is short, it asks for your slowest reading, and every chapter after it runs downhill on what it proves.

Write the denial down as a proposition and forget, for a moment, that anyone is asserting it. The denial says: no consistent inference exists. Now, like every proposition, this one is either consistent, free of internal contradiction, or it is not, and the fork has no third tine. Suppose it is consistent. Then it hands over, inside itself, the very thing it denies, because the simplest inference in logic, concluding a claim from that same claim, is valid in every logic worth the name, and run on this premise it is also non-contradictory, since the premise was consistent by supposition. So a consistent inference exists, constructed out of the denial’s own material, and the denial has refuted itself, with no denier anywhere in the room.

Pause here, because this is where a careful reader should resist hardest, and the objection deserves its full weight. Consistency of a proposition, you might say, is one thing; the existence of a consistent inference is another; am I sliding between them? Correct, and the proof never identifies them. The witness comes from the oldest law in logic, that any proposition follows from itself. If the denial is consistent, then the inference from the denial to that very denial is valid, and its premise set is consistent, and that is a consistent inference, whole, with nothing imported. The proposition’s consistency supplies the non-contradiction. The law that P follows from P supplies the inference. Nothing more is needed, and nothing more was claimed. If you feel the objection still, good; hold it against the performative version below.

They are not the same proof twice. The first shows that a consistent inference is there to be drawn, the way a road exists on a map before anyone walks it, and it shows this with nobody in the room. The second shows someone walking it, because a denier who opens his mouth has already made the trip. And the road never wants for a traveller, since any world in which this question can be raised contains someone raising it. Or suppose instead the denial is inconsistent, that it contradicts itself internally.

Then, in any logic where a contradiction condemns the claim that carries it, it is false outright, and MU is logically true, and we are done even faster; where a logic declines that step, the free-standing witness below does the work instead. Either way the denial dies, and since every proposition is one or the other, the conclusion is as strong as conclusions come: MU is not merely awkward to deny, not merely self-undermining in the mouth of a denier. Its denial is logically false, which makes MU a logical truth. Notice, and this is the whole reason for the care, what the proof never touched. It never analysed what a denier does; it analysed what the denial is, so the shrugging sceptic who says “fine, my position is self-defeating, I never claimed it was well-grounded” gets no purchase, because there is nothing left to shrug at: the position is not embarrassing, it is false. If you suspect the simple inference of being a trick because it is trivial, the proof does not need it; from the denial, conclude “the denial holds, or the sky is green,” a different conclusion validly drawn from a consistent premise, and the witness stands again. And the vivid theatre of someone arguing against argument, which I have used and will not disown, now takes its proper place: it is a true and illuminating observation about what deniers must do. It is the illustration.

And the fork itself, strictly, was a courtesy to the denier, because the witness never needed the denial’s material at all. Take any premise whose consistency nobody in the dispute contests, the barest tautology will do, and the inference from it to itself is valid wherever identity holds, which includes every classical, intuitionistic, and paraconsistent house on the street, and its premise is consistent by selection. That single free-standing exhibit is a consistent inference, and one exhibit refutes none exists in any logic admitting identity and a single consistent premise, the classical, intuitionistic, relevant, and paraconsistent houses included, even those that decline to call a contradiction false. The case analysis dramatises the death. The witness performs it, and this, the standing witness with the fork around it, is the proof; formality can dress it, not improve it.

Feel free to test it from every angle, because the angles are where the trilemma died, and MU walks out of all three of its rooms. Does MU regress, demanding a deeper principle to certify it? The demand cannot be stated: any certification would be an inference, and inference presupposes MU, so there is no earlier stage for the regress to retreat to; asking what grounds MU is asking what is north of the North Pole. Perhaps MU is circular, then, vouching for itself the way the coherentists’ webs did.

But vicious circles can be stood outside of and rejected whole; that is what makes them vicious. There is no outside here. Every standpoint from which you might reject MU, sceptical, hostile, weary, is a reasoning standpoint, inside the thing it aims at, the way a fish’s protest against water is conducted in swimming. Encompassing, not vicious: the circle you cannot exit is not a fallacy, it is a medium. Is MU, finally, just an axiom, planted by fiat like a flag? An axiom is a choice among coherent alternatives; deny Euclid’s parallel postulate and you get new geometries, deny the axiom of choice and set theory survives in altered form. Deny MU and you get, as the fork showed, self-refutation or noise. Where there is no coherent alternative there is no choice, and where there is no choice there is no fiat. The trilemma offered derivation, circularity, or stipulation, and MU is none of the three. Call it what it is: logically exhibited, shown as the thing every derivation, every circle, and every stipulation was already standing on. You dug for the floor through sense and memory and logic, and the discovery is not at the bottom of the hole. The discovery is that digging is standing.

Now I owe you a strict accounting of what has and has not been established, because a proof this strong invites inflation, and inflation is the one sin this argument cannot afford. The proof grounds the possibility of consistent inference and the discipline that possibility mandates. It does not certify your eyesight, your memory, or your favourite newspaper; every particular channel remains as fallible as it was, and the trials ahead will show MU convicting confident beliefs as often as acquitting them. It does not defeat every sceptic; the local sceptic who doubts this instrument or that expert is doing honourable MU work, and only the total sceptic, who doubts inference as such, meets the fork. And it does not promise that constraints always single out one answer; sometimes they permit a range and honesty means holding the range, a boundary so important that the principle’s finest hour will turn out to be a refusal. The ground is real, and it is a ground, not a genie.

One objection remains. It is the hardest one, and answering it fully is a gift the twentieth century left us without meaning to.

Sooner or later, everyone with mathematical training asks it: didn’t Gödel forbid this? In 1931 Kurt Gödel proved that any consistent formal system rich enough for arithmetic contains true statements it cannot prove, and, the crueler second theorem, cannot prove its own consistency. No system of the kind Gödel’s conditions name, strong enough, consistent, effectively axiomatised, certifies itself. And here is a book claiming a self-grounding principle; surely the incompleteness theorems stand in the doorway. They do stand in the doorway. They are holding it open. Look first at what Gödel’s theorems are: theorems, products of proof, every step an exercise of consistent inference, their very statement beginning “any consistent formal system,” since inconsistent systems prove everything and interest no one. These theorems do not compete with MU; they presuppose it twice over, once in their proof and once in their antecedent. Gödel discovered, standing on the ground, that no rung of the ladder above can certify itself. MU is not a rung. It is the claim that there is climbing. And once you see that, you can see the two results for what they are, which is something close to twins. Gödel built the sentence about a system that the system, if consistent, can never prove: its own consistency, the unreachable ceiling. MU is the sentence about reasoning that every reasoner, however humble its resources, can establish: the unlosable floor, provable everywhere because its denial dies on the fork in any logic worth the name. The ceiling is provable nowhere. The floor, everywhere. Same blade of self-reference, opposite edges, and a mind that holds both at once knows what it is: a thing that cannot vouch for its own perfection, standing on a ground it cannot lose.

This gift has a history of being misunderstood, and the misunderstanding is famous enough, and close enough to home, that it is worth dissolving in the open, because the dissolution is a live demonstration of the book’s method. Not long after the theorems became widely known, the philosopher John Lucas, followed decades later and more elaborately by the physicist Roger Penrose, drew from them a thrilling conclusion: minds are not machines. The argument runs: take any machine proposed as a model of the mind; Gödel hands us a sentence that machine can never prove; but we, looking on, can see the sentence is true; therefore we exceed every machine, and human insight is something no algorithm can capture. It is an argument with real teeth and a century of debate, and it dies of a single missing premise, and by now you know the name for a missing premise doing load-bearing work. Nobody, human or machine, sees that the Gödel sentence is true. What can be established, and what the machine itself can establish, is the conditional: if the system is consistent, then its Gödel sentence is true. The formalised second theorem puts that very conditional inside the machine’s own reach.

So the human and the machine see the same thing, the same conditional from the same distance. The step from that conditional to the flat assertion, the step the whole argument secretly rides on, requires knowing that the system is consistent. That is the knowledge Gödel proved no such system can certify about itself, nor any reasoner modelable as one, nor therefore any participant in this debate on either side of it. The anti-mechanist argument smuggles in unconditional knowledge of one’s own consistency, imports it silently between “the machine cannot prove it” and “but I can see it,” and if you want to know how such certainty tastes, history has kept a sample. Gottlob Frege, the greatest logician since Aristotle, saw his Basic Law V as self-evident, saw it with the full clarity of the finest logical mind of the age, and it was inconsistent, and Bertrand Russell’s letter proving so arrived while the second volume was in press. Mathematical seeing is fallible inference. It was never anything else. Remove the smuggled certainty and the Lucas–Penrose argument does not merely weaken; it inverts. Both kinds of reasoner prove the conditional. Neither can discharge it about itself. Each proceeds, and must proceed, on a consistency it cannot certify, held not as a theorem but as a working commitment, revisable, unproven, indispensable. The theorem recruited to build a wall between minds and machines turns out to describe, with perfect impartiality, the shared situation of every mind there is: unable to certify itself from inside, standing regardless on the one thing that needs no certificate. Gödel’s gift was not the ceiling. It was the discovery that everyone lives under one, on the same floor.

So the foundation holds, and holds strangely: not proved from below, not asserted from above, exhibited in every act that could ever question it, its limits mapped by the century’s deepest theorem and found to be the limits every reasoner shares. Archimedes asked for one fixed place to stand, and the old joke is that he never got it. He had it all along. He was using it to ask. What remains is to find out what the place is worth, and there is only one sound way to do that, which is the way you would test a bridge you intended to trust: load it until something breaks, or until you believe nothing will. The paradoxes that broke the philosophers are waiting, each one armed, each one given its full strength, and the first plaintiff has been waiting two hundred and fifty years. It is time to put the ground on trial.