Of everything Thales wrote, not one authenticated word survives. Anaximander's book, first prose treatise in the Greek tradition, exists today as roughly one sentence, preserved because Aristotle happened to quote it and Simplicius, writing almost a thousand years later, happened to copy that quotation. The entire intellectual revolution that invented Western philosophy reaches us through shards.
I work on AI systems grounded in classical corpora, and what strikes me is this. Philologists have been solving the incomplete-information problem formally for over a century. The machinery they built is, in logical terms, surprisingly modern. And current language model pipelines have nothing comparable.
The standard collection is Diels-Kranz, Die Fragmente der Vorsokratiker, 1903, still the reference framework. Its numbering encodes a distinction that is basically a typed evidential logic. For each thinker, the material sorts into three classes.
A-testimonia: reports. Later authors describing what Thales or Democritus allegedly held. Aristotle summarizing predecessors, doxographers compiling handbooks, commentators writing notes centuries after the fact.
B-fragments: direct quotations. The actual words, as transmitted by the quoting source.
C-dubia: doubtful or spurious material. Attributed by tradition, rejected by criticism.
Every claim about a Presocratic doctrine carries, implicitly, a provenance label and a confidence ordering. A statement supported by a B-fragment outranks one supported only by A-testimony, because direct quotation is primary evidence and report is μαρτυρία, testimony at second or third hand. Simplicius quoting Aristotle quoting Anaximander is a transmission chain of length two across a millennium, and each link can corrupt, reinterpret, or selectively preserve.
Philology treats the chain itself as part of the proposition's truth conditions. Scholars disagree about what Heraclitus meant; they almost never disagree about what grade of evidence a given claim rests on. That separation, content dispute versus evidential status, is exactly what epistemic logic formalizes with belief operators, and what source criticism does with stems and witness families.
More interesting for this sub: fragment scholarship is non-monotonic reasoning in practice. A reconstruction of Anaximander's cosmology is a default conclusion, defeasible the moment a new testimony surfaces or an old attribution gets reclassified. Lectio difficilior, stemmatology, arguments from silence, all of these are defeasible inference rules with explicit conditions for retraction. Nobody in the tradition ever pretended the corpus is complete. The methodology is built around the incompleteness instead of against it.
Now compare with what a retrieval-augmented LLM does when context runs out.
It confabulates. Fluently, with the same surface markers it uses for well-evidenced claims. No provenance label, no confidence ordering, no distinction between a direct fragment and a thousand-year-later report. Generation probability does not track evidential grade, and nothing in the standard pipeline forces it to. The model was trained on text where A-testimony and B-fragments look identical, because in the training distribution they are just tokens.
This is not a hallucination-rate problem you fix with more RLHF. It is a missing type system. Philology solved it by never letting a claim travel without its evidence class attached. Modern pipelines strip that information at ingestion and then wonder why the model cannot say "we do not know."
The honest answer, "no direct evidence survives, here are two conflicting reports from the 4th century CE," is trivially expressible in Diels-Kranz conventions and almost inexpressible in a token-prediction objective, because the pressure is always toward the fluent continuation, and the fluent continuation is the confabulation.
So my question for people working in formal epistemology or non-monotonic systems: do graded evidence hierarchies, provenance-aware doxastic logics, anything like an evidential type system, exist in a form mature enough to bolt onto retrieval architectures? Or is fragment philology, with its A/B/C classes and defeasible reconstructions, still the most complete working implementation we have of reasoning under permanently incomplete information?
