The file has been temporarily restricted while the author reviews the arguments and conclusions.This note examines how ontological conclusions are drawn from the standard quantum formalism. It distinguishes what the formalism fixes from additional claims about objective physical states and about where and when outcomes become fully formed. It tests these inferences by considering a minimal objective-state possibility, without predetermined values for all observables, and by analyzing the underdetermination of where and when outcome formation occurs within a physical measurement chain. Because preserved records themselves become part of that chain, their later comparison does not by itself resolve the underdetermination. The analysis identifies additional premises required for familiar paradoxical inferences and leaves open the possibility of outcome completion through ordinary causal propagation, without choosing an interpretation or constructing a new mechanism.
The file has been temporarily restricted while the author reviews the arguments and conclusions.This note examines how ontological conclusions are drawn from the standard quantum formalism. It distinguishes what the formalism fixes from additional claims about objective physical states and about where and when outcomes become fully formed. It tests these inferences by considering a minimal objective-state possibility, without predetermined values for all observables, and by analyzing the underdetermination of where and when outcome formation occurs within a physical measurement chain. Because preserved records themselves become part of that chain, their later comparison does not by itself resolve the underdetermination. The analysis identifies additional premises required for familiar paradoxical inferences and leaves open the possibility of outcome completion through ordinary causal propagation, without choosing an interpretation or constructing a new mechanism.
According to the Everett interpretation of quantum mechanics, the apparent paradoxes of quantum theory require no change either in our philosophical attitude toward scientific theories or in the formalism of quantum mechanics itself. Rather, the unaltered theory can be understood as a literal description of physical reality. But the physical reality thus described is one of many noninteracting, approximately classical worlds. These worlds enter the theory not at the fundamental level—they are nowhere to be found in the basic formalism—but at a higher, emergent level; in this sense they are (ontologically speaking) on a par with the ontology of the special sciences.
Von Neumann’s 1932 analysis of the quantum measurement chain establishes that unitary evolution can be extended through any physical apparatus or the observer’s body, and that the formalism supplies no intrinsic criterion for locating a non-unitary cut. The later rejection of placing that terminus at subjective perception did not follow from a defect in the chain argument. It followed from a physicalist ontology that treats mind and world as ontologically distinct—an assumption the mathematics of quantum mechanics does not require. Under Phenomenological Absolutism and Mutual Exclusivity, each localized actualized field configuration is identical with the absolute is-ness of first-person phenomenology. On that ontology the endpoint is not an extra-physical intervention in a closed material chain. It is what an actualized configuration already is. We reconstruct von Neumann’s position with textual fidelity, distinguish it from later causal claims that consciousness collapses the state, and show that the dualistic objections lose their force once the extraneous metaphysical premise is withdrawn. The mathematics remains compatible with other interpretations. Our claim is that von Neumann’s conclusion fits naturally when the ontology does not smuggle in a subject–object split the theory itself never licensed.
This paper reconstructs the historically polysemous “Copenhagen interpretation” not as a specific ontology, but as a minimal axiomatic system that specifies the conditions under which candidates, observations, and records are established. In a previous paper, the EPR paradox was reconsidered through a type separation between prediction and observation, leading to the Prediction–Observation Separation Principle and the Ontology Non-Generation Principle, which prevent a probability-one prediction from automatically generating the reality of an unobserved object. In another paper, this observational framework was extended to temporal and causal constructions, yielding the Temporal Extension of the Copenhagen Interpretation (TEC), in which a single causal record is established from unrealized causal candidates. The present paper reorganizes these two arguments from the perspective of a higher-level axiomatic structure.First, I introduce a framework of typed existence in which objects and propositions meaningful within a theory possess a minimal “existential attachment,” while that existence does not immediately imply physical reality. When reality is asserted, one must specify what type of reality is being claimed and what authorizes promotion to that type. In this way, inferences that move from observational or predictive formalisms to realism without warrant can be treated as type errors. I then organize candidatehood, observation, single records, ontological suspension, prediction–observation separation, and record stability into a minimal Copenhagen axiomatic system.When this axiomatic system is applied to time, the past can be constructed as established records, the present as the local boundary at which candidates become records, and the future as unrealized causal candidates. This yields a distinction between “realized record time” and “model time” constructed by general relativity or cosmology. General relativity can then be repositioned as an advanced model theory that constructs smooth spacetime geometry and temporal scales from realized time. If the map back from that model to observational records preserves structure, it provides a condition for integrating Copenhagen observation theory with general relativity at the level of time and causality. Furthermore, by defining continuous observation as record formation over real-valued time and asking whether such a process is physically realizable, the question of time quantization is shifted from an a priori assumption to a problem of deciding the possibility of continuous observation.Finally, part of the difficulty of quantum gravity is reinterpreted as arising from implicit conversions among different time types, existence types, and causal types, together with circular dependencies among them. Quantum gravity is not merely the problem of quantizing a completed theory of general relativity; it is also the problem of making explicit the interfaces among theories so that realized time can be constructed from observational records and relativistic model time can then be reconstructed from it. This paper therefore positions the proposed reconstruction not as a completed theory of quantum gravity, but as an axiomatic and semantic refactoring required at a prior stage. AI Assistance DisclosureGenerative AI was used as an auxiliary tool in drafting, adjusting expressions, and organizing the structure of this paper. The author bears final responsibility for the text, claims, citations, and factual verification. Keywords: Copenhagen interpretation, axiomatic system, typed existence, existential attachment, EPR paradox, observation, record, Temporal Extension of the Copenhagen Interpretation, realized time, model time, general relativity, quantum gravity
Abstract Each formulation of quantum mechanics we consider in the book seeks to explain why we have determinate measurement records distributed according to the standard quantum statistics. The explanation we get relies on the metaphysical assumptions that underlie the particular theory. Metaphysics here does real explanatory work in accounting for our experience. While it is not at all clear what specific metaphysical commitments best explain our experience, one can distinguish between different types and degrees of empirical adequacy each formulation provides. Stronger notions of empirical adequacy might be characterized in terms of such things as the plausibility that one’s experience in fact supervenes on the sort of records a particular theory provides and the richness of the account of experience provided by the theory.
This work separates several physical and theoretical burdens that are often grouped together under “the quantum measurement problem” and develops an experimentally answerable test of one of them: outcome-conditioned continuation. The proposal does not treat measurement as one indivisible physical event. It distinguishes the admission of a measurement interaction and apparatus, durable record formation, later availability of that record, agreement among physical carriers, global outcome standing, quantum-probability weighting, and the rule governing what physical or predictive description continues after an outcome. These burdens can remain open or fail independently. The principal experimental proposal is the Quantum Continuation Closure Test (QCCT). QCCT-I asks whether two physically distinct proper-mixture preparation procedures that are represented by the same admitted standard quantum state can produce different later statistics after the same admitted first measurement. The canonical preparation pair consists of equal-weight Z-basis and X-basis proper mixtures that are represented by the same maximally mixed qubit density operator under standard quantum mechanics. A fixed standard quantum instrument cannot depend on which proper-mixture decomposition produced that state. Published generalized state-update rules provide explicit theory-side foils for which the preparation decomposition can instead remain relevant to the postmeasurement continuation. Ordinary quantum physics is given first refusal. Preparation mismatch, improper-mixture substitution, calibration failure, different first-measurement seats, preparation side channels, ordinary non-Lüders instruments, temporal process memory, and independently warranted expansion of the physical reference must be tested at their own declared scopes before a stronger preparation-indistinguishability violation can be inferred. QCCT therefore does not treat deviation from an ideal Lüders prediction, failure of one fitted instrument, or a preparation-dependent sequential signal as immediate evidence for new quantum dynamics. The comparison architecture escalates from fixed-instrument closure to finite-horizon process-tensor closure and only then to stronger bounded residual claims. The experiment is modular. Prospective QCCT-I execution, process-memory characterization, coarse-graining invariance, archival-data analysis, and later distributed partial closure may contribute distinct local results. A result transfers to a later experiment only through an explicit interface preserving the relevant physical carrier, reference, scope, calibration, provenance, and unresolved burdens. The deposit also contains a machine-auditable formal surface. One consolidated Lean file contains two scientifically distinct Quantum Measurement modules: Seam G, concerning Born weighting / quantum probability measure, and QCCT-I, concerning preparation-indistinguishability / outcome-conditioned continuation. Their shared file packaging does not merge their objects, burdens, evidence states, dispositions, or claims. Both generic machine dispositions remain Not Yet Adjudicable. Seam G retains open domain-owned probability-admission burdens. QCCT-I retains open empirical preparation, reference, measurement, side-channel, comparator, and adjudication burdens. The consolidated Quantum Measurement contracts-and-adapters file was appended directly beneath the unchanged Structural Flow Universal Kernel and elaborated cleanly twice during the release audit. Clean elaboration establishes only that the encoded contracts and adapters coexist coherently at their declared formal scopes. It does not derive the Born rule, establish the physical validity of the generalized continuation family, demonstrate preparation equivalence, close the ordinary quantum comparators, establish an anomaly, falsify standard quantum mechanics, or select an interpretation of quantum measurement. The physical answer remains the responsibility of experiment.