True As Of
Every claim to truth we can actually hold carries a timestamp. A proposal for stating knowledge the way engineers state tolerances: in what regime, to what accuracy, how we know — and as of when.
This page, stated in its own terms
If the proposal is right, it should be able to state itself this way. It can.
- P
- The principle of regime-bounded warrant, set out below.
- D
- Claims made by finite agents, about the world and about formal systems.
- ε
- It should mislead less often than its rivals. An ordinal tolerance, not a number.
- T
- The history of inquiry, and the stress tests in this document.
- t
- 12 October 2026
How to read this page. The centre column is the argument. The margins are an engineer’s notes on what each step asks of people who build and test things. The formal statement is in the middle; the attacks on it come after; and before any of that is accepted, there is a section on where it is most likely wrong. That section is not optional. It is the point.
The wrong question
We know Newtonian mechanics is not how the universe works. We also put satellites in orbit with it, design bridges with it, and teach it first. Both statements are true, and the habit of asking “is it true?” has no way to hold them together.
Popper’s answer was that a theory survives only until it is refuted, and Newton has been refuted. Feynman’s answer was more honest: the numbers relativity changes at ordinary speeds are tiny, and the picture of reality it changes is enormous. Newton is nearly right about the predictions and badly wrong about the world.
Neither answer explains why it is rational to keep using a refuted theory. The engineer’s answer does. Nobody on a test floor asks whether a model is true. They ask three things: in what regime, to what accuracy, and how do we know?
This proposal adds a fourth question, which the other three have been quietly assuming all along: as of when?
The claim: truth, as held, has a timestamp
In 1800, an astronomer was entitled to say that Newton’s laws held everywhere. Not because she was careless, but because nothing in the record contradicted it. By 1859 Le Verrier had found that Mercury’s orbit misbehaved, and the universal claim was under strain. After 1915 it was defeated. Mercury did not change. The record did.
So the proposal is this. Any claim to truth that a person can actually hold is a relation between a proposition, a regime, a tolerance, a body of evidence, and a moment. Remove the moment and you have not made the claim more objective. You have made it unstatable, because no one has ever held evidence from outside time.
This is a deliberately limited thesis. It does not say that facts change when we learn about them, or that the world rearranges itself to match our records. It says that what anyone can rightly call true is always indexed to a date — and that the date belongs in the statement, the way a tolerance belongs on a drawing.
The principle, stated formally
The principle of regime-bounded warrant
A knowledge claim is a quadruple, held by an agent at a time:
- Pa proposition, model, or theory;
- Dthe regime: the conditions under which P is asserted to hold;
- εthe tolerance: the largest admissible discrepancy between P and the phenomena in D, under a stated measure (ε = 0 for exact or deductive claims);
- Tthe test record: the procedures applied to P, and what they showed.
Agent A is warranted at time t in asserting K if and only if:
Prior specification
D and ε are fixed independently of the outcomes in T. A regime or tolerance drawn after seeing the results confers no warrant.
Severity
For each procedure in T: had P deviated from the phenomena by more than ε anywhere in the region it probed, the procedure would, with high probability, have revealed it.
Survival
No procedure in T revealed such a deviation.
Coverage
Every part of D is either probed by T, or reached from probed regions by an interpolation that is itself warranted under this principle. Anything beyond that is a separate claim — an extrapolation — needing its own warrant.
Defeasibility
Warrant is indexed to A and t. It is defeated by any later procedure satisfying W2 that reveals a deviation greater than ε within D.
Three corollaries follow. First, the bare assertion “P is true” is the limiting case — D is every possible condition, ε is zero — and for empirical claims it is almost never warranted. Second, deductive knowledge fits as a special case rather than an exception: the regime is a formal system, the tolerance is zero, and the test record is a proof, whose severity is the soundness of its rules of inference. Third, warrant is not the same thing as truth. The principle governs what we are entitled to assert, which is the only part of truth anyone can actually use.
One theory, two claims, three dates
Run Newton through the principle and the paradox goes away. There were always two different claims hiding under one name, and they have had very different histories.
| Claim | 1800 | 1859 | Since 1915 |
|---|---|---|---|
| Newton holds in all conditions, exactly | Warranted on the record available | Under strain — Mercury’s anomaly, blamed on an unseen planet | Defeated — the anomaly is explained, and Newton is not the explanation |
| Newton holds to within ε at low velocity and in weak gravitational fields | Warranted | Warranted | Warranted, and more severely tested than ever |
The first claim was reasonable, then strained, then false. The second has only ever grown stronger. “False but useful” turns out to mean something precise: defeated as a universal claim, warranted as a regime-bounded one. And the 1800 astronomer was not wrong to assert what she asserted. She was warranted as of 1800. That sentence is the whole thesis.
The attacks, and how it fares
No substantive principle about knowledge survives every logical attack. Agrippa’s trilemma settles that: any justification ends in an infinite regress, a circle, or an arbitrary stopping point. The realistic standard is a principle that defeats the attacks on its form, and that absorbs the rest by predicting its own vulnerability rather than being broken by it.
- Gettier survives
- A warranted belief can be true by luck. The principle defines warranted assertion, not knowledge, so lucky truths and unlucky falsehoods do not touch it. This is a deliberate retreat to ground that can be held.
- Self-reference survives
- Is the principle warranted by its own standard? It states itself as a claim — see the top of this page — and accepts the same treatment. The justification is circular, but reflexively so: a principle that exempted itself would be self-undermining. This one is not.
- Underdetermination survives
- Several incompatible theories can satisfy the same quadruple. The principle never claimed uniqueness; it warrants each to within ε in D. That is exactly the situation of the equivalent formulations of classical mechanics.
- Gödel survives
- Some truths of a formal system cannot be proved within it, so some truths never acquire warrant. The principle says what warrant requires. It never promised that every truth can have it.
- The problem of induction conceded, absorbed
- W2 is a counterfactual, and estimating it needs background knowledge, which is itself inductive. The principle makes the regress explicit: background knowledge is warranted only as further quadruples. The regress ends in a coherent web of regime-bounded claims, not a foundation.
- Hidden variables conceded, absorbed
- A condition that never varied during testing is invisible to every test. W4 separates the tested region from the asserted one, but cannot guarantee the tested region was characterized correctly. W5 is the only answer, and it is an honest one.
- Goodman’s grue conceded
- Predicates can be gerrymandered so that one regime supports opposite projections. No formal principle solves this. The proposal relies on regimes being described in entrenched, projectible terms — a pragmatic constraint, not a logical one.
- Non-quantitative knowledge weakened
- In history, interpretation, or ethics, ε must be read as a comparative degree of fidelity rather than a number. The structure carries over; the precision does not.
Leaning over backwards
Where this is most likely wrong. The title claims truth has a temporal component. A realist will answer that truth is timeless and only our knowledge of it is dated — that Mercury precessed in 1800 whether or not anyone could say so. That objection is fair, and in its strict form this proposal accepts it. What carries a timestamp is warrant: truth as it can be held, asserted, and acted on. The stronger thesis, that truth itself “happens to an idea,” as William James put it, is not defended here.
What it does not examine. Moral and political truth, where ε has no natural measure. Mathematical practice beyond the idealized case of proof. Testimony — almost everything any of us knows, we know because someone told us, and the principle says nothing about how a test record should be inherited.
What is not original. Nearly every component. The contribution, if there is one, is the assembly: severity joined to an explicit regime and tolerance, extrapolation split off as its own claim, deduction folded in as the zero-tolerance case, and time made a visible part of the statement rather than an unstated assumption. The lineage below is not a courtesy. It is the test record.
Lineage
- Severity (W2) is Deborah Mayo’s, from Error and the Growth of Experimental Knowledge (1996) and Statistical Inference as Severe Testing (2018). This is the largest single debt.
- Prior specification (W1) descends from Popper’s prohibition on ad hoc rescues and from the use-novelty debate among Lakatos, Zahar, and Worrall. Its working form is preregistration.
- Coverage (W4) mirrors the verification-and-validation literature — Oberkampf and Roy’s Verification and Validation in Scientific Computing (2010), and the ASME V&V standards — with its distinction between the validation domain and the application domain. In physics, effective field theory says the same thing about energy scales.
- Defeasibility (W5) draws on John Pollock’s account of defeaters, and on fallibilism generally.
- False but useful owes its terms to Popper on verisimilitude (Conjectures and Refutations, 1963), to Miller and Tichý, who showed in 1974 that his definition failed, to George Box, and to Nancy Cartwright’s How the Laws of Physics Lie (1983).
- The handling of the regress is coherentist, after Laurence BonJour’s The Structure of Empirical Knowledge (1985). The limit on what can be proved is Agrippa’s, revived as Hans Albert’s Münchhausen trilemma.
- The stress tests are Gettier’s, Goodman’s (Fact, Fiction, and Forecast, 1955), Kyle Stanford’s on unconceived alternatives (Exceeding Our Grasp, 2006), and Clark Glymour’s on old evidence (Theory and Evidence, 1980).
- The division of labour between estimation within a model and criticism of the model follows Andrew Gelman and Cosma Shalizi, “Philosophy and the practice of Bayesian statistics” (2013).
- The ethic is Feynman’s. The commentary on his 1974 address is on Fooling Yourself.
Provenance: this proposal was developed in dialogue with Claude (Anthropic), starting from a question about why philosophy of science moved away from falsification. The framing questions and the decision to publish are the author’s; the errors are too.
Revision log
- v0.112 Oct 2026First public draft. Warranted as of this date; open to defeat by the next good objection.
State the regime.
Then the tolerance, then the test, then the date. Anything less is a claim nobody can check.