New to this research? This article is part of the Reflexive Reality formal research program. Brief introduction ↗ · Full research index ↗
Series: NEMS on Consciousness · Parts 1–4 above · Part 5: Why Off-Ledger Entities Don’t Exist
Hidden variables, Boltzmann brains, simulation substrates, ghost consciousness — all of these postulate entities that are “real” but not part of the semantic ledger of actual observable facts. A machine-checked theorem proves all such off-ledger entities are either illicit (they inject free determinacy that PSC forbids) or theory-null (they make no difference to any fact and can be dropped). The semantic ledger is exhaustive. There are no ghosts.
The Appeal of Invisible Entities
Philosophy and physics are full of postulated entities that are supposed to be real but unobservable — things that make a difference to the world without being directly visible in the semantic ledger of actual observable facts.
- Hidden variables in quantum mechanics: deterministic values that particles “really” have before measurement, which our quantum mechanical description doesn’t capture.
- Simulation substrates: the host hardware running our universe, which by definition does not appear in any physical observation we can make.
- Boltzmann brains: spontaneously forming conscious observers that have no physical history, postulated to arise from thermal fluctuations in high-entropy states.
- Zombie qualia: philosophical zombies that behave exactly like conscious beings but have no inner experience — postulated to show that behavior underdetermines consciousness.
- Ghost consciousness: qualia that exist somewhere “above” or “beyond” the physical facts, floating free of any ledger content.
All of these postulate real-but-off-ledger entities. The Ghost Collapse theorem proves all of them fail.
The Ghost Collapse Theorem (Paper 61)
Paper 61 proves: any purported off-ledger entity is either determinacy-relevant (hence illicit under the No-Free-Bits principle, Paper 27) or semantically inert (hence theory-null).
The proof runs by exhaustive case split:
Case A: The off-ledger entity makes a determinacy-relevant difference. If it affects what actually happens — which observations occur, which records are made, which facts are actual — then it is contributing determinacy to the system. Under PSC, all determinacy must arise internally. An off-ledger entity contributing determinacy is a free bit — an external contribution of determinacy that violates PSC. Such entities are illicit in a PSC framework.
Case B: The off-ledger entity makes no determinacy-relevant difference. If it has no effect on any actual fact — if no record could ever distinguish a world with this entity from a world without it — then it is semantically inert. A semantically inert entity does not explain anything (by definition, it makes no difference to anything that needs explaining) and does not affect anything. It is theory-null: the theory with the entity and the theory without it are observationally and recordationally equivalent. Under the No-Free-Bits calculus (Paper 27), the semantically inert entity can be dropped without loss. It is not real in any sense that matters to the theory.
Cases A and B are exhaustive. Every off-ledger entity is either illicit or null. No viable ontology of real-but-off-ledger entities survives.
Lean anchor: GhostCollapse.ghost_collapse_theorem.
Applications to Specific Proposals
Hidden Variables
Hidden variables that make a determinacy-relevant difference — that determine which quantum outcome actually occurs — are free bits. They are real contributions to determinacy that are not generated internally by the quantum theory. Case A applies: they are illicit in PSC. Hidden variables that make no difference to any quantum probability or outcome are Case B: semantically inert and theory-null. Bell’s theorem and experimental confirmation of Bell inequality violations already constrain what hidden variable theories can look like; the Ghost Collapse theorem adds a further structural constraint from PSC.
Simulation Substrates
The host hardware running the simulation (Series 6, Article 3 addressed this from the execution/foundational-finality side). From the Ghost Collapse perspective: if the host hardware makes a difference to any actual fact in our universe — any record, any observable, any actual outcome — it is a free bit, Case A, illicit. If it makes no difference to any actual fact, it is semantically inert, Case B, null. The simulation substrate is either forbidden or theory-null. There is no room for a “real but hidden” host universe.
Ghost Consciousness
Qualia floating free of any ledger content — consciousness without any actual grounding in the semantic facts — would be off-ledger entities par excellence. If such ghost consciousness makes a difference to anything actual (to behavior, to reports, to any fact), it is a free bit, Case A, illicit. If it makes no difference to anything actual, it is semantically inert, Case B, null. Genuine qualia must be on-ledger (Paper 55) — real as irreducible semantic ledger content, not ghostly floaters.
Ledger Finality
The Ghost Collapse theorem establishes what Paper 61 calls Ledger Finality: the semantic ledger is exhaustive of what is real. Everything that is real in any determinacy-relevant sense is on the ledger. There is no real ontology beyond the ledger — no ghost realm, no hidden layer, no off-the-books reality.
This is not a naive claim that everything is observable or that physics is complete. The ledger includes everything whose actuality is grounded — which, by the Alpha theorem, is everything. Unobserved-but-actual facts (the backside of the moon when no one is looking; events in the past) are on the ledger. Unobservable-in-principle things (things whose actuality is not grounded, i.e., nothing in a PSC framework) are not.
Ledger Finality is the formal statement that PSC is genuinely complete: the universe’s self-contained semantic ledger is not missing any reality. What is not on the ledger is either not real or not part of this framework.
The Papers and Proofs
Full research index: novaspivack.com/research ↗