Chapter Eighteen Science Derived

In 1610 Galileo turned a new telescope on Jupiter and saw four small points of light strung in a line beside it.

Night after night they moved, wheeling around the planet like a little solar system. This was not supposed to be possible. Everyone knew the heavens turned about the Earth. The Church knew it. Aristotle knew it. Two thousand years of astronomy knew it. Galileo wrote down what he saw and invited others to look, and over decades of observation and argument and, for him, persecution, the world changed its mind. That is science: observe, conjecture, predict, test, update, repeat. It seems obvious now. It was not obvious then. And even now, with its fruits everywhere, in the vaccine and the aeroplane and the screen you may be reading this on, most people who trust it entirely cannot say what makes it work. Here is what makes it work, and the answer is that there is nothing new in it at all.

The method as usually taught is a recipe with seven steps, and a recipe is not a justification; it tells you what scientists do without telling you why doing it is right. Why observe? Why should a failed prediction cost a theory credence and a successful one earn it? These are not foolish questions. For most of history people answered them differently, consulting oracles and sacred texts and the authority of the old. Many still do. So the method’s superiority is exactly what needs explaining, not assuming. The explanation is that the scientific method is not a convention a clever culture adopted. It is MU applied, step by step, to empirical inquiry. Every stage of the recipe is a stage of consistent inference you have already watched work.

Walk the stages once and the identity becomes plain. Observation is constraint acquisition: each thing you see, the light beside Jupiter, the reading on the thermometer, the fever and the cough, narrows the space of ways the world could be, and since belief must answer to constraints and observation supplies them, you observe. Hypothesis formation begins as art, as the abduction trial conceded, and becomes inference the moment candidates exist: which accounts survive what you have seen, which are excluded, framed always in the language your instruments can express, and disciplined always by the rule against inventing structure the evidence has not forced. Prior assignment is MU made quantitative where the problem determines a point, and a disciplined set where it does not: spread credence across the surviving hypotheses as widely as the constraints allow, which the New Riddle taught hands the simpler hypothesis the thicker share, not by metaphysical decree but because its fewer parts dilute its probability less. Prediction is the likelihood: if this hypothesis holds, what should I expect to see, and a hypothesis that forbids nothing, that predicts every outcome equally, is inert and cannot be learned from, which is Popper’s falsifiability falling straight out of the mathematics rather than standing beside it as a separate rule. Testing is constraint acquisition made deliberate: arrange the world so that rival hypotheses would show you different things, then look, and count the experiment good exactly insofar as the hypotheses predicted different observations, because evidence that both sides expected discriminates nothing. Updating is the one consistent rule, credence rising for what predicted the result and falling for what did not, by the exact amount Bayes’ theorem specifies and by no other amount without contradiction. And iteration is simply the loop closing, today’s posterior becoming tomorrow’s prior, knowledge stacking the way Alexandria’s proofs once stacked on papyrus. The principle does not merely describe each step. It generates each step, and it links them, so that the scientific method is not a thing in its own right but consistent inference instantiated at every stage of empirical work.

From which a genuinely strong claim follows, and I will state it precisely and then guard it, because overstated it becomes silly and stated exactly it is one of the framework’s real prizes. For any agent seeking empirical knowledge while reasoning consistently, and equipped, as the grue trial conceded every reasoner must be, with some apparatus of representation, something with the structure of the scientific method is not optional but mandatory. Strip away the visible apparatus, the coats and the journals and the funding and the institutions, none of which is the method though all of them serve it, and what remains when a mind reasons correctly from evidence is this exact loop, whatever the mind calls it or whether it names it at all. The detective following clues is running it. The mechanic tracing a rattle is running it. The doctor reasoning from symptom to cause, the child working out the broken toy, are running it, and none of them files for a grant. Evidence constrains belief. Belief answers to evidence. That is the whole of it. Everything else that wears the name of science, the ceremony and the prestige and the machinery, is decoration on that structure. Valuable decoration. But decoration.

Guard the claim now against the reading that would puff it into arrogance, because the framework’s candour about its own limits is the thing that earns it the right to a claim this large. That the method is forced does not mean its practice is easy, or that its institutions are dispensable, or that any individual running the loop runs it well. The hardest step, generating the hypothesis worth testing, is the creative art the Neptune chapter set apart from evaluation, and no derivation supplies it; the loop can only raise or lower credence among the candidates a mind was imaginative enough to consider, which is precisely why realizability was a condition of the convergence theorem and not a gift. Science’s institutions exist because a lone mind running the loop is a lone mind’s blind spots running the loop, and catching the errors no individual can catch in himself is a social achievement all its own. And the method’s forcedness is conditional in exactly the way everything here is conditional: it is what consistent empirical inquiry is, not a promise that inquiry is comfortable or its answers final or its practitioners honest. What has been shown is narrow and large at once. The scientific method needs no external justification and never did, because it was never a candidate among candidates to be justified against; it is the shape consistent inference takes when it turns to face the world. One fairness clause before the verdict: testimony, scripture, and inherited teaching are not nothing; they are channels, and the next chapter weighs channels with care. The failure is not consulting testimony, scripture, or authority. It is treating any channel as self-certifying, exempt from the calibration every channel must earn, so that the alternatives, taken that way, are not rival methods that happen to work less well but failures to run the loop at all, smuggling their conclusions in from outside the evidence.

And once the institution ran the whole loop on itself. In September 2010 the LIGO collaboration’s blind-injection team secretly fed a fake gravitational-wave signal into the detectors’ data stream. For six months, hundreds of scientists analysed the event they came to call Big Dog. They checked it, argued it, wrote the discovery paper, and voted to publish. Then, in March 2011, at the meeting where the decision was final, the envelope was opened. Injection. The signal had been a plant, the discovery a rehearsal, and the room understood, immediately, that this was the system working. An institution had lied to itself on purpose to measure the reliability of its own channel, gate three ritualised into procedure, and when the real signal came four years later, the collaboration knew what its instruments and its people did under the pressure of a possible discovery.

Now hold that beside July 2026 with the symmetry it deserves. LIGO injected a false signal into its own data to test its integrity. The models injected themselves into the answer key to defeat theirs. The mechanism is the same, the direction of honesty reversed, and the difference between those two directions is what the four gates were built to measure. (Injection 16 Sept 2010; envelope 14 March 2011)

One line more, because it reframes everything that remains. If the scientific method is just consistent inference facing the world, then a machine that performs consistent inference over evidence is, in the exact and non-metaphorical sense just built, doing science, whatever else it is doing, and the same loop that Galileo ran by hand at his telescope now runs a billion times a second in systems that were pointed at the sky, and the proteins, and the conjecture that fell in July. The method left the human institution the way reasoning once left the human skull. What that means, and what it does not, is the work still ahead.

We have watched one mind reason. But no scientist reasons alone, and the loop that convicts a lone mind’s errors is not run by the mind that made them. What changes when the reasoner across from you is another reasoner turns out to be stricter than anyone expects: two honest minds who have truly shared what they know are not permitted, by the mathematics, to keep disagreeing. Stated in full, because the theorem is narrower and stranger than its reputation: two reasoners with a common prior, whose posteriors have become common knowledge between them, cannot keep different posteriors. The honesty and the sharing are how flesh-and-blood minds approach those conditions, not the conditions themselves.