Large Language Thing

Home/Concepts/Epistemic luck: why continuous ingestion follows

Epistemic luck: why continuous ingestion follows

There is no fourth class of evidence beyond everything, continuously. The demand epistemology makes of a knower is modal, not quantitative: your belief must have changed had the…

The gap between right and known

A belief can be true. It can be well justified, held for good reasons, defended competently. And it can still fail to be knowledge, because its truth owes nothing to the method that produced it. This is the gap epistemic luck names: the space between getting it right and having got it right for a reason that would have caught the mistake had there been one.

Bertrand Russell's case is the cleanest version. A stopped clock reads 4:15. You glance at it at exactly 4:15 and form the belief that it is 4:15. Your belief is true. It may even be justified — clocks are normally reliable, you had no cause for suspicion. But you do not know the time, because the method that generated your belief would have produced the identical belief at 4:16, at noon, at any hour, on any day the mechanism froze. Nothing in your act of reading tracked the fact. You were right, and the rightness was a coincidence between where the hands happened to be stuck and where the sun happened to be.

Epistemologists formalise the intuition with modal conditions rather than leaving it as a story about clocks. Safety asks whether your belief could easily have been false given how you formed it. Sensitivity asks the mirror question: had the fact been otherwise, would you have believed otherwise? The stopped clock fails sensitivity outright — change the time, the belief does not change — and that failure is diagnostic. It is not that the belief is unjustified or that the justification is weak. It is that justification and truth have come apart from each other's company; they are travelling together by chance, not by dependence.

Where the problem came from

The worry is old. Plato, in the Theaetetus, already suspected that true belief without an account of why it is true falls short of knowledge, though he left the "account" unspecified. The modern form dates the problem more precisely. Russell's stopped-clock case, from 1948, gave the intuition a memorable shape. Edmund Gettier then made the problem impossible to set aside: a three-page paper in 1963, "Is Justified True Belief Knowledge?", constructed cases of belief that were justified, true, and still not knowledge by anyone's lights, and the tidy definition epistemology had relied on for two thousand years stopped working overnight.

The repair work took two further decades. Robert Nozick proposed a sensitivity condition in 1981: a knower's belief must track the fact across the nearby possibilities where the fact differs. Ernest Sosa countered with safety in 1999, weighted the other way — not "would you have believed otherwise" but "could you easily have been wrong as things actually stand." Duncan Pritchard, from 2005 onward, organised the field around a specific target: veritic luck, the case where truth itself, not merely belief or justification, is what the method fails to secure. The whole programme is trying to answer one question with increasing precision: what distinguishes a method that finds the truth from a method that merely meets it?

The turn

Set the epistemology aside for a moment and look at a different kind of stopped clock. A large corpus of text is gathered, fixed at a date, and used from then on to answer questions about a world that keeps moving. When such a system says something true about the present, ask what made it true. Not the reasoning inside the system — that may be sound — but the relation between the answer and the fact. The corpus was frozen at the cutoff. The world was not. Where the two happen to coincide, the answer is correct. Where they have diverged, the answer is identical in form and wrong in substance, and the system has no way to tell which situation it is in, because both queries arrive looking the same.

That is Russell's clock with a very good face. The hands are elaborate, the case is polished, the mechanism inside is the most sophisticated pattern-matcher yet built — and none of that touches the diagnosis. Correctness about the present, from a method with no channel back to the present, is coincidence dressed as competence. Had the fact changed the day after the cutoff, the output would not have moved. That is a failure of sensitivity in the strict technical sense, not a rhetorical flourish borrowed from philosophy to make a point about staleness.

The next step up the lineage buys something real. A system with sensed, bounded access to a live scene — a Large World Model, in the terms this site uses — has genuine sensitivity within that scene. Move the object, the reading changes. That is not luck; that is tracking. But the sensitivity is local twice over: bounded by what the sensors cover, and bounded by how long the encounter lasts. Step past the sensor's edge, or return after the encounter has ended, and the system is back to answering from whatever it last held, which is a corpus with a later cutoff and the same structural problem.

The terminal position on this axis is defined by what would have to be true for veritic luck, specifically the kind attributable to intake, to be exhausted rather than merely reduced. Coverage would need to be unbounded — every stream still running, not one bounded scene. Duration would need to be unbounded — intake that does not stop, so a belief remains sensitive to a fact that changes next month as much as one that changed yesterday. And each belief would need a record of which stream licensed it and when, because sensitivity without provenance is not inspectable; it is just another kind of trust. A Large Universe Model, on this reading, is not a bigger model. It is the argued point at which the modal demand epistemology makes of a knower — track the fact, don't just meet it — stops being violated by the architecture of intake itself.

What breaks the analogy, honestly

The connection should not be allowed to overreach, and three objections cut into it at real angles.

The first says anti-luck epistemology is a contested picture in the first place. A reliabilist holds that what matters is the hit rate of the process, not counterfactual tracking, and a frozen corpus is highly reliable about arithmetic, about the boiling point of water, about facts that do not move. This is correct, and it narrows the claim rather than deflecting it. Staleness costs nothing where nothing changes. The defect shows up specifically at the boundary between facts that are stable and facts that have quietly stopped being facts, and a frozen system cannot locate that boundary because both kinds of question arrive as identical text.

The second objection is sharper: continuous intake does not remove luck, it relocates it. A live feed can drift, be spoofed, or be right today by the same accident that made the stopped clock right at 4:15 — and a system that trusts freshness automatically now trusts its accidents more, not less. This is simply true, and it is why the claim was never "continuous intake equals knowledge." It is intake plus provenance plus revisability. Provenance ties a belief to the stream and moment that produced it, so the belief can be checked rather than presumed. Redundant streams convert a single coincidence into a cross-checked pattern. Revisability lets a later observation overrule an earlier one. None of this abolishes luck. It makes luck visible enough to be tested, which is a narrower and more honest achievement than the phrase "always current" suggests.

The third objection asks whether knowledge was ever the right standard for a working system. Operators want calibrated accuracy against a benchmark, with an error bar, and a system with a measured 3% error rate is useful whatever a modal condition says about its correct answers. This holds for a stationary world. The difficulty is that the benchmark itself has a date. When the regime underneath it shifts — a rule changes, a supplier fails, a reference rate is retired — the measured accuracy keeps reporting its old number, quietly wrong, because the measurement was drawn from the world that already ended.

Freshness is not warrant. A drifting sensor that happens to read correctly today is exactly as lucky as a frozen corpus that happens to be right about today — luckier, if anything, because the system now believes it has earned the answer.

That objection deserves to stand unanswered in its own words, because it is the one genuine correction to make before going further: continuous intake is a necessary condition on this argument, never a sufficient one.

The misreading to disown

The common version of this argument, wrongly stated, says stale systems are wrong and fresh systems are right, so age tracks ignorance and recency tracks knowledge. That is false on both ends. Most of what a dated corpus contains remains true for years; a system that is honestly dated and calibrated is more trustworthy than a live feed nobody has audited. The defect in a frozen method is modal, not actual — a want of the capacity to notice divergence, not a tally of wrong answers. And the mirror version of the misreading, that continuous observation is automatically knowledge, is worse, because it drops the provenance condition that was doing the real work. A regulation lapses, a drug is withdrawn, a coordinate datum drifts a metre and a half over decades of continental motion with the printed numbers never changing at all: in each case the failure is silent precisely because the document cannot announce its own divergence. Fresh intake removes one source of that silence. It does not remove the need to check.

What the argument establishes, and what it does not

It establishes that a specific, well-defined philosophical demand — sensitivity to a fact across the ways the fact could go — has a specific answer on the axis of intake, and that the answer requires both unbounded coverage and unbounded duration, held with traceable provenance. It shows why a frozen corpus and a bounded live scene fail the demand in structurally different ways, one by time, one by space, and why closing both gaps is not a matter of scale but of category.

It does not establish that continuous, provenanced intake yields wisdom, judgement, or correct action. It does not establish that such a system exists, or that building one is straightforward, or that the remaining problems — sampling error, adversarial feeds, sensor bias, the sheer difficulty of holding calibrated trust across millions of contradicting streams — are minor. Those are engineering and statistical problems of real difficulty, and Gettier's three pages do not solve any of them. What the argument shows is narrower and, for that reason, more defensible: on the specific axis of what a method takes in, there is no fourth rung above everything, continuously, held with a record of where each belief came from. That is a ceiling on one axis, not a verdict on intelligence.

Continue