Menu

Part Two

Chapter Five The Components

10 min

The named is the mother of the ten thousand things.

— Lao Tzu, Tao Te Ching, tr. Legge

In Amsterdam, in 1632, Rembrandt painted a public dissection: Dr. Tulp with his forceps in a dead man’s forearm, the surgeons’ guild leaning in over the table, one of them staring not at the body but at the open textbook at its feet. That is this chapter. The anatomy theatre is open, the guild is you, and on the table is a single sentence, and not an anonymous one: the machine’s confident false answer about the rain, from the opening pages, the fluent yes delivered with a cited source that did not exist. We are going to open it up and find which organ failed. Every inference, so defined, has the same three organs. By the end of the dissection you will know them the way Tulp’s students knew the tendons: by having watched one fail.

You have caught someone in a bad argument.

Maybe it was a politician on television, claiming that because crime rose after a policy, the policy caused the crime. Maybe it was a friend explaining why they deserved the job they did not get: the interviewer biased, the questions unfair, the process rigged. Maybe it was yourself, at three in the morning, building an elaborate case for something you already knew you should not do. You felt it before you could name it: a wrongness, a slippage, the conclusion arriving with more in its pockets than the premises had given it. Something was being slipped in. That feeling, the alarm that rings when inference goes wrong, is older than philosophy. Children have it. And it means you already possess, in working form, everything about to be dissected.

MU sounds like a single idea, and it is one. But like white light through a prism, it separates under close attention into three components, each necessary, each entailing the others, and the anatomy is worth an hour of your time because every trial ahead turns on knowing which component is under attack. Call them L, C, and A: the Logic, the Content, and the Agent. The rules of the game, the thing the game is about, and the one who plays.

L is the rules. When you caught that bad argument, you were applying rules you never chose and were never taught. If A implies B, and A holds, then B holds; a child who learns that all dogs are animals and that Rover is a dog concludes that Rover is an animal without ever hearing the word syllogism. Contradictions are forbidden; you can say the words “it is raining and it is not raining,” but you cannot hold the belief, and if you doubt that, try, seriously, right now, and feel the mind refuse. Reasoning chains; if the premises support a conclusion and that conclusion supports a further one, the premises reach it too, which is what makes extended argument possible at all. The textbooks have names for these, modus ponens and non-contradiction and transitivity, but the names came millennia after the rules, and the rules came before any education about rules, because they are what makes education possible. There is something genuinely strange here if you stop to look at it. You did not invent these rules and you did not learn them the way you learned chess or traffic law. They were already operating when you began, and every attempt to reject them must use them in the rejecting. L does not require any one logical system; logicians argue honourably about the details, down to how contradiction itself is policed, and MU does not adjudicate between classical and rival logics, only demands that some rules govern, that valid and invalid be different things. Without that, one thought following another is no different from one thought randomly replacing another. A slot machine, not a mind. Pull the lever. See what surfaces.

C is the content. Rules need something to apply to. Imagine a perfect logical engine running in a void: no objects, no properties, no facts about anything, just inference rules churning in the dark. What would it do? Push empty symbols through valid shapes. If X then Y; X; therefore Y, where X and Y stand for nothing. Valid in form, void in substance: symbol shuffling, not inference. When you actually reason, you reason about something, and the something has structure that gives your inference its grip. Wet pavement suggests rain only because water falls from clouds and rain wets surfaces; strip those connections away and wet pavement is just wet pavement, a brute fact implying nothing. C is the requirement that inference have subject matter with enough structure that facts bear on other facts. Philosophers dispute where content comes from, whether the world arrives pre-carved or the mind does the carving, and MU takes no side, because every side of that dispute agrees on the epistemological point: reasoning in a void is not reasoning. Thought requires something to think about.

A is the one playing. This is the component that sounds trivial until you look straight at it. A library holds thousands of books, and inside them propositions, arguments, evidence, conclusions; all the content, all the logical relations, present and complete, and not one inference occurring. The books do not read themselves. The proofs never run. Nothing happens. Everything sits in frozen potential until a reader arrives, and the reader is the place where rules meet content and something actually happens: premises taken up, conclusions drawn, beliefs revised. A is the requirement that inference have an operator, something that holds representations, follows the rules, engages the content, and persists long enough to change its mind. Note carefully what A does not require: consciousness, in any way detectable here. A machine running a belief-updating procedure satisfies A in the functional sense that matters here, whatever the further truth about experience proves to be, and that neutrality is deliberate. Materialists, dualists, and stranger positions all disagree about what the agent is, and every one of them, in the act of arguing about it, concedes that agents exist. René Descartes discovered A in the middle of the most famous doubt in history, the one thing his demon could not take, the thinker proven by the thinking; what he found and what he missed is the door to the whole argument, and we will sit with him properly. For now, one sentence of foreshadowing: he found one leg of a three-legged stool and tried to stand on it.

Now the lock, which is the real discovery of the anatomy. These are not three ingredients that happen to combine well. Each one, alone, is nothing. L without C is grammar with no language, rules governing emptiness. L without A is a rulebook in the dark, patterns nobody runs. C without L is the world as inert catalogue, facts sitting side by side with nothing following from anything. C without A is a library with no reader. A without L is a mind whose thoughts merely replace each other, change without reasoning. A without C is a thinker with nothing to think, a subject with no predicate. Run the test yourself in imagination, holding each pairing up to the light and feeling the third’s absence kill it. Rules with nothing to govern and no one to follow them. A world of facts from which nothing follows, surveyed by nobody. And a bare thinker, with no rules to think by and nothing to think about. You will find that the components are three aspects of one phenomenon, that the phenomenon is inference, and that you can no more extract a component and keep the thing than you can extract the wetness from water and keep the water.

History has run the experiment at civilisational scale, three times, one component each. The logicists, Frege and Russell and the young Wittgenstein, dreamed of reducing everything to L: pure formal systems generating all truth by rule, content emerging from logic itself, the proofs proving themselves with nobody home. The dream broke on a theorem, met properly when the ground proves itself, which showed that no sufficiently rich formal system can complete itself, and broke again on the quieter fact that a proof nobody runs proves nothing to no one. The empiricists ran the reduction to C: all knowledge from experience, the mind a blank slate, logic mere habit. Hume himself, their greatest, showed why it fails; experience alone cannot certify a single step beyond experience, content cannot say what follows from content, and something must still move from the seeing to the believing. The idealists ran the reduction to A: the subject fundamental, world and logic its products. The circle never closed, because if the agent creates the rules, some rule governed the creating, and if the agent generates all content, it thought about nothing until it had done so. Three reductions, three centuries, three collapses. The package does not reduce.

And the package cannot be denied, which you can verify in your own chair faster than any history. Deny L, say “nothing follows from anything,” and notice that you have offered it as something that follows from your reasons. Deny C, say “nothing is really about anything,” and notice your sentence is about everything, itself included, and so unsays itself in the saying. Deny A, say “no one is reasoning,” and the courtroom asks who is testifying. Each component, denied, is exhibited in the denial, and this triple signature, the same lock closing three times from three directions on three different keys, is not a set of coincidences. It is the shape of a floor. You met the pattern in one thinker after another in the gallery, always partially, always one component at a time: Descartes seizing A, the empiricists trusting C, the logicians polishing L. Each mistook a leg for the stool.

One more piece of anatomy, and then we can name what we have. With the components on the table, the central crime can finally be defined precisely, because you can now see where it is committed. Smuggling is any move that lets content into the conclusions that the constraints never paid for: an assumption dressed as an inference, structure appearing on the output side that was absent from the input side, the pockets fuller at the end of the argument than the premises can account for. The politician smuggled a causal story into a coincidence. Your three-a.m. self smuggled a permission into a rationalisation. The bad arguments you catch by feel are smuggling caught by instinct, and the whole discipline of MU is that instinct made explicit and made total: nothing crosses the border without a constraint to pay its way.

There is a test for it simple enough to run in your head, and it is worth having, because everything this book proves later is what falls out of taking it seriously. Put two reasoners in front of the same constraints and the same question, and let one rule out what the other allows. Something entered one of them that the constraints did not supply. Neither can say where it came from, because there is nowhere for it to have come from, and the gap between what they permit is the exact shape of the contraband. That test is thin. It assumes nothing about what belief is made of, nothing about minds or machines or method; it asks only that identical inputs not produce divergent outputs with nothing between them to account for the divergence. And thin is the point. A prohibition that forbids only what cannot be paid for turns out to forbid a great deal, and what survives it, where anything survives it uniquely, is what the rest of this book is about. Every trial to come is, at bottom, a smuggling investigation, and now you know what the investigators are looking for.

One resonance before we close, offered as resonance and nothing more. Some Buddhist traditions speak of three jewels, the awakened mind, the truth, and the community of practice that carries the shared discipline; some Hindu philosophy speaks of being, consciousness, and the bliss of their harmony. These are not our L, C, and A, and mapping them one-to-one would be the kind of tidy false gift I have promised not to give. But the old triads and this new one rhyme in a way I find steadying rather than probative: minds that looked hard at knowing kept finding that the knower, the known, and the rules binding them are not three separate achievements but one structure seen from three sides. You are not learning three skills. You are tracing one thing from three angles.

So: the principle has an anatomy. Rules, content, agent; each nothing alone, everything together; irreducible in both directions and undeniable at every point. What we have not yet done is the strangest and most necessary thing. We have described the floor. We have not yet proved that it holds, or answered the question that every foundation since Aristotle has died on: what supports the support? That question broke Ghazālī’s voice and Hume’s nerve and Kant’s universality, and this time there is an answer.

The assay

Part of this chapter is proved elsewhere. The panel says which part, and where.

Open the assay for Chapter Five. 1 graded sentence, 1 with a result beneath, 3 in the margin, 2 terms, 1 instrument.

The marks used here

proved Some claims are proved, and I will say so.

The paper beneath

  • proved The companion paper states and proves it.

    You will find that the components are three aspects of one phenomenon, that the phenomenon is inference, and that you can no more extract a component and keep the thing than you can extract the wetness from water and keep the water.

    The mutual entailment of the components, which A Note on the Companion Paper lists among the results stated, proved, and verified in the paper.

    Thm 4.1 The three aspects of an inference episode The explainer, A proof is not an event of proving The paper, page 9

In the margin

The instrument

Smuggling is defined here and the two-reasoner test is stated as the diagnostic the instrument runs.

Three cuts, and then four laws

What the grounds paid for

Declare what the problem contains. Then make a claim about it. The three lamps are the same requirement seen three ways. Every one of them compares the claim to an answer recomputed from the declarations rather than to an answer key.

the problem declares
and the answer claims to
all three fidelities hold · 3 supported classes, 3 reported · nothing smuggled
the candidate domain ℋ · six states, three atoms each H₁ p₂ = 0.30 H₂ p₂ = 0.30 H₃ p₂ = 0.30 H₄ p₂ = 0.10 H₅ p₂ = 0.60 H₆ p₂ = 0.60
  • content fidelity holds The report covers all 3 classes the grounds support, so nothing is asserted beyond what the premises carry.
  • selection fidelity holds No point choice was made, so there is no selector to track.
  • calculus fidelity holds No operation was used beyond reading the surviving set.
  • classes supported 3 by the grounds as declared
  • classes reported 3 by the claim as made
  • distinctions dropped 0 supported, and not reported
  • what the claim returns 3 classes: H₁ · H₂ · H₃ computed on the survivors, not looked up

Nothing smuggled. Every proposition the report makes is carried by the declared grounds, no point was chosen that the problem does not fix, and no operation was used whose structure the problem does not supply.

at machine scale §28.3 gives this failure its other name. A generative system that reports content its constraints never paid for instantiates exactly what Non-Smuggling forbids. The standard applies to machine reporters unchanged. Hallucination is this violation under thin constraints.

None of the three lamps is a test of effort or of good faith. Each one asks the same question about a different part of the report: does this piece of the answer trace back to something the problem contains? Declaring the missing structure turns every red lamp green without changing a single number, which is the point. The problem is not that the answer was wrong. It is that it was not paid for.

proved the three affirmative forms are Corollary 3.5; the licensing of a compression by a declared selector is Theorem 3.2 with Corollary 3.3, and the dependence on grounds is Theorem 3.1 (§3). The machine-scale reading is §28.3. argued the six candidate states, the stated constraint, the order, and the conjunction A ∩ B are display choices. The audit itself declares nothing: the honest answer is recomputed from the grounds on every click. The lamps compare the claim to that rather than to a stored verdict.

Source: Intelligent Epistemology §3 · §7.5 · §28.3 · Cor 3.5 · Thm 3.1 · Thm 3.2 · Cor 3.3. The paper, page 4 (PDF)

Terms

Agent (A) The book

Whatever performs an inference: holds representations, follows the rules, engages the content. Requires no consciousness. In the glossary

Logic (L) The book

The rules component of inference; MU requires that some rules govern without decreeing which system. In the glossary

In the paper

  • §4–§5 A proof is not an event of proving Read the section

    Logic, Content, Agent: each nothing alone, and each exhibited in its own denial.

  • §7–§8 Three cuts, and then four laws Read the section

    Smuggling is defined precisely, and the two-reasoner test is run in the reader’s head.

Where to swing

A proof breaks at a step: find the invalid inference or the hidden premise in the paper’s numbered chain, which was built to make that attack easy.

The whole book