Knowledge Without a Global Knower: Truth, Warrant, Anti-Luck Provenance, and Method-Relative Epistemic Standing for Embedded Observers

The preceding paper in this series typed truth for an embedded observer but deferred the difference between true-by-luck and knowledge to the present paper. This paper supplies that anti-luck treatment with a method-relative, two-sided, aptness-robust construction. It denies a global knower—no physically realized subsystem combines complete truth access, warrant integration, modal comparison, and infallible authority—while affirming local and distributed knowledge. An Epistemic Specification separates the actual belief-forming method, taken up to an admissible method-grain, from the family of admissible inspections; fixes the doxastic bearer as a raw token whose content is set by alignment; and distinguishes belief from truth-directed acceptance. Anti-luck provenance is decomposed into five lineages; the actual-world truth connection is given by claim-type-indexed grounding modules, kept type-distinct from the method’s modal performance. Discrimination safety conjoins actual-world responsiveness with a positive margin over all relevant non-true worlds—false or non-apt—which screens off rare-random-guess methods. The Kernel–Safety results come in exact and approximate form: when a relevant non-true world is unresolved by the actual protocol, the method forms the target belief with equal probability in both worlds, so the discrimination margin is non-positive; when the transcript laws lie within total variation δ, the margin is at most δ, a bound that applies to finite, noisy, and single-shot records. Warrant, anti-luck connection, and undefeated standing are separated, with explicit non-vacuity and method-individuation constraints. The framework’s knowledge predicate is a technical, framework-relative standing for empirical and physical knowledge, not a final analysis of the ordinary concept. Knowledge requires neither a global knower nor infallible self-certification, but more than truth, local warrant, agreement, or recovery success.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-06-25
DOI
https://doi.org/10.5281/zenodo.20844417
Citations
2
Primary Topic
Safety Systems Engineering in Autonomy
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Knowledge Without a Global Knower: Truth, Warrant, Anti-Luck Provenance, and Method-Relative Epistemic Standing for Embedded Observers

Tomoyuki Uchida
2 citations
Zenodo (CERN European Organization for Nuclear Research)
Safety Systems Engineering in Autonomy
preprint

Knowledge Without a Global Knower: Truth, Warrant, Anti-Luck Provenance, and Method-Relative Epistemic Standing for Embedded Observers

Tomoyuki Uchida
preprint en
2 citations

Abstract

The preceding paper in this series typed truth for an embedded observer but deferred the difference between true-by-luck and knowledge to the present paper. This paper supplies that anti-luck treatment with a method-relative, two-sided, aptness-robust construction. It denies a global knower—no physically realized subsystem combines complete truth access, warrant integration, modal comparison, and infallible authority—while affirming local and distributed knowledge. An Epistemic Specification separates the actual belief-forming method, taken up to an admissible method-grain, from the family of admissible inspections; fixes the doxastic bearer as a raw token whose content is set by alignment; and distinguishes belief from truth-directed acceptance. Anti-luck provenance is decomposed into five lineages; the actual-world truth connection is given by claim-type-indexed grounding modules, kept type-distinct from the method’s modal performance. Discrimination safety conjoins actual-world responsiveness with a positive margin over all relevant non-true worlds—false or non-apt—which screens off rare-random-guess methods. The Kernel–Safety results come in exact and approximate form: when a relevant non-true world is unresolved by the actual protocol, the method forms the target belief with equal probability in both worlds, so the discrimination margin is non-positive; when the transcript laws lie within total variation δ, the margin is at most δ, a bound that applies to finite, noisy, and single-shot records. Warrant, anti-luck connection, and undefeated standing are separated, with explicit non-vacuity and method-individuation constraints. The framework’s knowledge predicate is a technical, framework-relative standing for empirical and physical knowledge, not a final analysis of the ordinary concept. Knowledge requires neither a global knower nor infallible self-certification, but more than truth, local warrant, agreement, or recovery success.

Zenodo (CERN European Organization for Nuclear Research)
Epix Pharmaceuticals (United States) (US)
Reduced inequalities
Safety Systems Engineering in Autonomy
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.