Reality, Traces, and the Status of Truth

This paper investigates the philosophical foundations of continuity, historical truth, mathematical undecidability, and the claim that every meaningful proposition must possess a determinate truth value. It continues a series of five earlier studies on reality, possibility, temporality, traces, and the philosophical status of truth. The investigation begins with the finite propagation speed of information. Observations of distant objects concern their past states, while assumptions about their present existence require additional principles of continuity. The paper then develops the thought experiment of completely traceless disappearance: an event that leaves no empirically accessible evidence of its occurrence. Under explicitly stated conditions, such disappearance cannot be distinguished from a history in which the event never occurred. This raises a more fundamental question: What grounds the truth of a proposition about the past when every trace of the relevant event has disappeared? The possibility of entirely erased or replaced histories is examined through competing models of historical truth, including the hypothetical replacement of a previously true proposition by its negation. The analysis distinguishes empirical underdetermination from ontological possibility and avoids treating conditional model constructions as demonstrations of physical reality. The paper subsequently questions whether truth requires an independent ontological bearer. Drawing an analogy with the historical abandonment of the luminiferous ether, it examines whether a supposed repository of eternal truths is philosophically necessary or instead results from an unwarranted reification of truth. Correspondence, deflationary, and historically indexed approaches are considered alongside the distinction between what is the case and what is considered or asserted. The mathematical part investigates the distinction between determinate mathematical properties, computability, formal provability, and semantic truth. Examples include Julia sets, Goodstein's theorem, the Paris–Harrington theorem, and the independence of the continuum hypothesis. A computable real number is constructed whose normality is linked to a Gödel–Rosser sentence, illustrating how an exactly specified mathematical object can have a property that is undecidable within a given formal theory. An outstanding proof obligation concerning formalization within Peano Arithmetic is explicitly identified. Finally, the paper examines classical bivalence and intuitionistic alternatives. It argues that the validity of classical logical principles within a chosen formal and semantic framework does not, by itself, establish that every meaningful proposition must possess an interpretation-independent truth value as a matter of ontological necessity. The principal contribution is a series of carefully delimited underdetermination arguments and a methodological distinction between empirical justification, formal derivability, semantic evaluation, and ontological commitment. The paper does not claim to disprove eternal truth or classical logic. Rather, it challenges the inference from the successful application of a particular truth framework to its necessary and universal ontological validity.