Menu

Part One

Chapter Two The First Crack

15 min

I examined my knowledge and found that I had no knowledge secure from doubt except sense-data and self-evident truths — and then I could no longer trust even these.

— al-Ghazālī, Deliverance from Error, c. 1108

Very old air, I said. Here is the coldest draught of it, and it comes off a hospital ward.

For centuries, physicians knew that childbed fever killed new mothers, and knew it the way you know the weather: as a fact of the world, arriving without cause or warning. A woman would deliver a healthy child, rest, and be dead within the week. In the worst wards of the best hospitals, one mother in four who walked in never walked out. The doctors were not careless. They were educated men from the finest schools of Europe, and they examined each patient with care, washed their hands in the shared basin between examinations, and moved when duty called them straight from the autopsy table to the delivery room with the diligence their training demanded. They did everything they had been taught to do. And the mothers kept dying.

Then a young Hungarian physician at the Vienna General Hospital noticed a number that should not have existed. Ignaz Semmelweis compared two maternity wards in the same building, serving the same kinds of women, and found that the ward run by doctors lost mothers at more than twice the rate of the ward run by midwives. Same hospital. Same patients. Two different death rates, and the deadlier ward was the one staffed by the better-trained men.

He chased the difference for months, and the answer, when it came, was unbearable. The doctors performed autopsies; the midwives did not. The physicians were carrying something invisible from the dead to the living on their own hands, and delivering it, examination by careful examination, into the bodies of the mothers they were trying to save. Germ theory lay two decades in the future, so Semmelweis could not say what the something was. He could only say what stopped it. He ordered the doctors to wash their hands in chlorinated lime before each examination, and the death rate in his ward fell from roughly one in ten to one in a hundred.

Consider what he was asking those men to accept, because everything at stake here lives in that moment. He was not asking them to learn a technique. He was asking them to believe that the instruments of their care had been the instruments of death, that the very diligence they were proudest of, the hand moving briskly from autopsy to bedside, had been killing the women in their charge by the thousand. The evidence was plain and it was numeric. The mortality rates spoke without ambiguity. And accepting them meant absorbing something no defence of the self is built to survive.

Most of the doctors refused. They were not stupid and they were not cruel; they were people protecting themselves from a truth that would have unmade them. His hypothesis insulted everything they knew. Handwashing was a nuisance and an accusation at once, and so they returned to the basin and the brisk clean conscience, and the mothers began dying again on schedule. Semmelweis spent his remaining years fighting for the thing he had proved, growing bitter, then strange, then frightening to those around him. In 1865 he was committed to an asylum. Within two weeks he was dead, from an infected wound that may have been dealt by his own guards. The man who discovered how to keep infection out of the delivery room was killed by an infection, unwashed, in a cell.

I tell this story first because it fixes the stakes before we reach a single argument. This book is going to spend most of its length on questions that look abstract: how belief should answer to evidence, when a conclusion is earned and when it is smuggled, what a reasoner may claim and what it must withhold. Vienna is what those questions cost when we get them wrong. The doctors did not lack evidence. They lacked the thing this whole search is about, whatever it is that lets a mind accept what its own reasoning has shown even when acceptance is agony. Call the gap between the evidence and the update the crack. The mothers died in that crack.

You have stood at a smaller version of that crack yourself, in a kitchen or a classroom or a doctor’s office, and you remember the feeling with your body rather than your mind, because it carries a texture that nothing else in a life quite matches and that no one ever manages to describe to you in advance. You remember.

It is never the ordinary correction of a half-remembered fact, nor confusion about something you never grasped. The feeling belongs to the other kind of error. The moment something you would have staked your life on is false, and the falseness is not a single wrong tile but a shift in the floor. You had been walking on solid ground, so obviously solid it asked nothing of your attention, and then the solidity revealed itself as a story you had been telling yourself, and under the story was thin ice, and under the ice was dark water, and you understood that you had been walking there your whole life. The vertigo is not about the fact you lost. It is about the window the loss opens. If your certainty ran that deep and was that wrong, then certainty itself is not what you took it for, and the question arrives that this whole book exists to answer: how do you know anything at all?

Most people close the window fast, and they are right to. You patch the crack, rebuild the floor, and walk on, because a mind that stared into that opening all day could not cross a street. Life runs on confidence. Action runs on belief. The person who genuinely doubted everything, every hour, would be not enlightened but paralyzed. So the healthy thing, the necessary thing, is to file the error under lesson learned and let certainty close back over the gap like water over a dropped stone.

But some people, in some moments, hold the window open and look through, and the history of that looking is the history of everything that follows in these pages. Pyrrho of Elis came back from Alexander’s campaign in the east and taught that the only plain posture was to suspend judgement on all of it, since we can verify neither our senses nor the reasoning we would use to check them. His successors sharpened the point into a blade that has never dulled: every claim needs a justification, and the justification is another claim needing its own, so the chain of reasons runs backwards without end, or bends into a circle, or stops on some foundation declared solid by fiat. For most of history that was a puzzle for people with the leisure to hold the window open, while everyone else patched the floor and lived.

We no longer have the leisure, because we have started building minds.

That last sentence is not a metaphor, and the machines are why the old puzzle has stopped being a puzzle. We are constructing systems that take in evidence, form representations, draw inferences, and act on the results in hospitals and courtrooms and the machinery of the state. When a training run ends and the model begins to decide things about human lives, it is standing on some foundation, reasoning by some standard, and if we cannot say what a sound standard is, then we have poured that ignorance into the most powerful reasoning systems ever built and handed them the keys. The crack the Vienna doctors died in is now something we are engineering at scale, into minds that will make the diligent, confident, catastrophic mistake faster than any physician ever could, unless we can finally say what the missing thing is.

Which returns us to Semmelweis, and to the one mercy in his story, which is not a mercy to him.

He was right, and being right did not save him, and it did not save the next decade of mothers. But it saved the ones after that. Germ theory arrived, Lister built on it, and the practice Semmelweis died defending became so completely ordinary that we no longer see it as a discovery at all. There is a name now, in medicine and psychology both, for the reflex by which a threatening truth is rejected because it indicts the person who must accept it. It is called the Semmelweis reflex, and the fact that we named it after him is the strangest kind of vindication: his tragedy became the permanent word for the error that killed him. The world did, eventually, change its mind. It simply changed it too late for him, and far too late for the women whose deaths were the evidence.

That is the shape of the thing we are up against. The enemy is not stupidity, which can be taught, nor malice, which can be restrained. It is the ordinary human refusal to let the floor give way, multiplied now by the stakes of the age, and answerable only by finding the ground that lay under the ice the whole time.

The philosophers who first looked through the window gave the trilemma its cruelest form, and one of them, at the summit of his civilisation, was struck mute by it in the year the First Crusade was called. We begin there, in Baghdad, at the height of a career about to stop mid-sentence.

His name was Abū Ḥāmid al-Ghazālī, and by any measure available to his century he had already won. Born around 1056 in the Persian town of Ṭūs, he had risen by sheer force of mind to the Niẓāmiyya of Baghdad, the most prestigious chair in the most important city of the Muslim world, appointed by the vizier of the empire himself while still in his early thirties. Three hundred students filled his lectures. Princes sought his rulings. He wrote against the philosophers and the heretics with a confidence that flattened opponents, and he knew, in the way a man knows the temperature of a room, that he was the foremost scholar of his age. And then, across the months of the year 1095, the certainty that carried all of it drained out of him, and he found that he no longer believed he knew anything at all.

It began as a philosophical question and became a physical collapse. Ghazālī had asked himself, where his knowledge actually came from and what secured it, and the open inquiry would not stop where inquiry is supposed to stop. His inquiry noticed first that the senses deceive: the star that the eye reports as a coin-sized point is, reason insists, a mass larger than the earth. So the senses cannot be the bedrock; reason overrules them.

But then reason turned on itself in his hands. If the senses, which feel utterly certain in the moment, can be overruled by a higher faculty, what assurance did he have that reason itself, which also feels certain, would not in turn be overruled by some higher faculty he did not possess? There is an analogy that has frightened everyone who has stood where he stood, and he reached for it: in a dream, the dreamed world feels completely real, and only on waking do you see it was a fabrication. What if waking life were the same, and death the true waking, and everything reason now told him were the reasoning of a man asleep?

He could not answer. That is the part worth pausing on: it is the part that broke him. He was the greatest dialectician of his generation, and he brought the full weight of that training against the doubt, and the doubt did not yield, because the doubt was correct. There is no argument that proves reason sound, since any such argument would use reason and so assume what it set out to secure. Ghazālī had walked straight into the oldest trap in philosophy, and being brilliant offered no exemption, and he has left us a rare thing: a first-person record of what it is like to be trapped there with your whole self and not merely your idle afternoon. For nearly two months, by his own account, he was in the condition of the sceptics, though not as a doctrine he held. As a sickness he could not put down.

The trap has a modern name, though it is far older than the name. Philosophers call it the Münchhausen Trilemma, a name coined only in 1968, by Hans Albert, after the baron who boasted of pulling himself and his horse out of a swamp by his own hair. The three roads are far older than the name. A Greek sceptic called Agrippa had them mapped by the second century, and they reach us because Sextus Empiricus wrote them down, and it catches anyone who asks seriously why a belief deserves to be believed. The demand seems reasonable. Give a reason. But the reason is another belief, which invites the same demand, and now three roads open in front of you and every one of them is closed at the far end.

The first road runs backwards forever. You justify each belief by appeal to a prior one, and that one by a prior one, and the chain of reasons extends behind you without end, so that nothing is ever finally justified because the justifying never finishes. An infinite series of supports, no floor beneath any of them. You may believe A because of B, and B because of C, and you may continue, if you like, until the heat death of the universe, and never once reach a reason that is not itself waiting on another.

The second road curves. To avoid the endless regress you let the chain close into a loop, justifying A by B, and B by C, and C, at last, by A. The system now supports itself and needs nothing outside it, which sounds like strength until you notice that a perfectly coherent story can be perfectly false, and that any closed circle of beliefs can be rejected whole from outside, because nothing anchors it to anything beyond itself. You have proved that inference works by using inference, which is the scale that weighs itself and reports, every time, that it is accurate.

The third road stops. Tired of regress and wary of circles, you plant a flag: here is my foundation, self-evident, in need of no support. Scripture says so. Reason is its own warrant. The intuitions are reliable. And the moment you plant the flag, the question you were fleeing catches up and taps your shoulder. Why there? Any other stopping point would serve as well, which is to say it would serve as badly, because a foundation you simply declared is a decision wearing the mask of a discovery. Aristotle called the faculty that grasps first principles nous and treated its pronouncements as bedrock; Descartes found his bedrock in clear and distinct ideas; the empiricists found theirs in raw sensation. Different flags, identical problem. None could say why its chosen ground deserved the privilege of going unquestioned, and so each remained what the trilemma says all foundations are, an assertion that has agreed to stop asking.

Regress, circle, or dogma. That is the whole of it, and for most of the history of thought the three exhausted the options, so that the study of knowledge became a long argument about which of the three defeats to prefer. The foundationalists took the third road and could not justify their starting point. The coherentists took the second and could not connect their beautiful closed system to the world it claimed to be about. A stubborn few took the first and insisted an endless chain could still somehow support a weight, which no endless chain has ever done. Every school chose its horn. Every horn drew blood.

This is the trap that found Ghazālī at the height of his powers, and it is worth being clear about why his case matters to a book about machines. He was not a weak reasoner overwhelmed by a clever puzzle. By repute he was the strongest reasoner of his civilisation, and the trap held him precisely because strength is no defence against it. The trilemma is not an error you can be too smart to make. It is a feature of the structure of justification itself, and the sharper your honesty, the more surely it closes on you, which is why the shallow keep their certainties and the deep lose theirs. Ghazālī’s collapse was the tax his honesty paid.

What lifted it was not an argument, and he is scrupulous about this in a way that took me a long time to appreciate. He did not reason his way out, because there is no reasoned way out along the three roads. By his account the darkness lifted when God cast a light into his breast, restoring his ability to trust his own faculties, and whatever one makes of the theology, the structural claim underneath it is exact and even a committed unbeliever should attend to it. The trust that lets reason operate cannot itself be produced by reason, because reason would have to presuppose that trust in order to produce it. The ground beneath inference is not reached by inferring. It is, in some sense, already stood upon, or nothing gets built at all. Ghazālī reached the very edge of the discovery itself. He saw, with total clarity, that proof cannot certify the instruments of proof. He simply did not take the final step of noticing that this incapacity is not a wall but a floor.

He resigned everything. In November of 1095 he left the Niẓāmiyya, gave away his wealth, told his students he was leaving on pilgrimage, and disappeared for eleven years, from Damascus to Jerusalem to the road of the ḥajj, out of the schools and into his own work, until at last, urged back by a vizier and drawn by the turning of the Islamic century and its old promise of a renewer, he returned to teaching a changed man. Out of the whole ordeal he wrote a short, strange, unclassifiable book late in his life, al-Munqidh min al-Ḍalāl, Deliverance from Error, in which he set down the map of his crisis: the doubt of the senses, the doubt of reason, the search through every school that claimed certainty, the footing found where argument gives out, and the return, at a hinge of history, to teach.

I am not comparing myself to him, and I will say that plainly rather than let the structure imply otherwise. I am a technologist who found an old problem sitting inside a new machine, not a saint and not a genius of his order. But his map is the truest one ever drawn of the territory ahead, and I am following it on purpose, because the shape of his journey is the shape of the whole response to the trilemma in any age: the crisis when the floor gives way, the search through every school for something that will hold, the discovery that what holds is not a further belief but the ground all believing presupposes, and then the work of testing it and carrying it back. His century’s hinge was a collision of civilisations that would run for two hundred years. Ours is quieter and possibly larger: we have begun to build the minds that will reason alongside us and after us, and we are doing it without having answered the question that broke the greatest teacher of the eleventh century, and cannot much longer afford not to.

Because here is what neither Ghazālī nor any of the others quite allowed themselves to see, and what the next chapters will make exact. The trilemma is real, and its three roads are genuinely closed, and no amount of cleverness opens them. But the three roads do not exhaust the building. There is a fourth thing, not a road at all, that every one of the three presupposes even as it fails: the bare possibility of consistent inference, the ground that regress and circle and dogma each stand on while insisting there is no ground. Ghazālī stood on it in the moment he despaired of it, since his despair was itself an inference, meticulously reasoned. He found the floor and mistook it for the pit.

He was not the only one to come that close and stop. Across two and a half thousand years, in Athens and in northern India, in an English friary and a Scottish drawing room and a Prussian university town, the same near-discovery kept happening to the deepest minds of one civilisation after another. They touched the handle of the fourth door and did not turn it. They were early. They were never wrong, and the gallery of their attempts is where we go next, five doors down a corridor twenty-five centuries long.

The assay

Nothing in this chapter is proved elsewhere. The panel says what holds it up instead.

Open the assay for Chapter Two. 1 in the margin, 1 instrument.

In the margin

The instrument

The chapter walks regress, circle, and dogma one road at a time and closes each at the far end; the instrument is that object.

The trilemma has a fourth case

The four cases

The classification offers three ways for support to run out: it goes on for ever, it comes back round, or it stops on an assertion. Walk each one and read the ledger. Then walk the fourth, which the classification never enumerated.

regress · 0 moves · 1 support demand open · 0 discharged
each node is supported by the one to its right 1 1 demand open
  • moves taken 0 steps the reader has walked
  • demands open 1 support still owed
  • discharged 0 demands closed, not relocated
  • established 0 propositions beyond the premises
  • accepted unproved 0 stipulations in the walk
  • hypotheses in force 1 a support relation on propositions

The two right-hand cells measure different things. A stipulation is something the walk accepts as it goes. A hypothesis is what the case stands on before it moves: the fourth case discharges its support demand and still runs on Theorem 2.1's two.

One claim, one open support demand. Take a step and watch where the demand goes.

The denial, separately: assert ¬MU, that no consistent inference exists (Cor 2.2)
attempts: 0 consistent denials found: 0
  1. Suppose ¬MU is consistent. It is then a consistent proposition of the language.
  2. Reflexivity applies to it like any other. ¬MU ⊢ ¬MU is a valid instance.
  3. Its premise set is consistent. The instance is a consistent inference.
  4. That inference witnesses ∃I CI(I), which is the existence ¬MU denies.

Not attempted. The steps above are the whole argument; press the button and the card walks them with the counter running.

Each step discharges nothing. The support demand moves to a fresh proposition and arrives there intact, so the count of open demands is one after every move ever made. Nothing about the walker fails. The chain has no end to reach.

proved the classification and the fourth case are Proposition 19.1; the fourth case's three moves are the proof of Theorem 2.1, and the denial panel is Corollary 2.2 (§19.1, §2). The fourth case's two hypotheses are Theorem 2.1's own, taken from its statement. argued counting one hypothesis against each of the three horns reads the classification as a classification of inferential support, which is how §19.1 states it. The lane drawing, the three-node loop, and the three-step stopping walk are display lengths chosen to fit the frame. The counts they feed are computed from the walk itself. The regress carries a named display clamp at 40 moves — the walker stops there and the chain does not. located Corollary 2.2 holds in any consequence structure satisfying Theorem 2.1's hypotheses whose language contains the proposition ¬MU. A paraconsistent consequence relation defines a different theorem-generation problem with its own closure (Remark 3.3). The denial is not refuted there; it is relocated.

Source: Intelligent Epistemology §19.1 · §2 · Prop 19.1 · Thm 2.1 · Cor 2.2. The paper, page 43 (PDF)

In the paper

  • §19–§20 The trilemma has a fourth case Read the section

    The three roads are walked one at a time, and each is closed at the far end.

Where to swing

A best explanation breaks against a better explanation.

The whole book