Perspectivist Account of Truth-Theoretic Semantics in Quantum Mechanics

This paper proposes a perspectivist account of truth-theoretic semantics in quantum mechanics that resolves Kochen-Specker contradictions by restoring truth-value definiteness within a state-dependent determinate sublattice, thereby satisfying Tarski's criterion of material adequacy through context-bound correspondence rather than a non-perspectival, panoptical standpoint.

The Gist

The Big Idea: There is no "God's Eye View" of the Quantum World

Imagine you are trying to describe a mysterious, shape-shifting object. In our everyday world (classical physics), if you have a ball, it has a specific color, a specific size, and a specific location all at the same time. You can look at it from any angle, and the ball remains the same. You could even imagine a "God's Eye View"—a magical camera that sees every single detail of the ball simultaneously, from every angle, all at once.

This paper argues that in the quantum world (the world of atoms and particles), this "God's Eye View" is impossible.

You cannot see a quantum particle's position, speed, and spin all at the same time. If you try to measure one thing, the others become fuzzy or undefined. The paper suggests that truth in the quantum world isn't a single, fixed fact waiting to be discovered; instead, truth is perspectival. It depends entirely on how you choose to look at it.

---

The Problem: The "Impossible Puzzle" (Kochen-Specker Theorem)

The authors start by pointing out a famous mathematical problem called the Kochen-Specker Theorem.

The Analogy: The Impossible Color Wheel
Imagine a special color wheel where every color is connected to every other color.

• In the classical world, you can say: "This wheel is Red, Blue, and Green all at once."
• In the quantum world, the math says: "If you try to assign a definite color to every single spot on this wheel at the same time, you will get a contradiction. It's like trying to make a square circle."

Because of this, you cannot say a quantum particle has a definite "True" or "False" value for every possible property at the same time. If you try to force a "Yes/No" answer to every question about the particle, the logic breaks down.

The Solution: The "Flashlight" Perspective (Bub-Clifton Theorem)

So, if we can't see everything at once, how do we get truth? The authors use a theorem by Bub and Clifton to propose a solution.

The Analogy: The Flashlight in a Dark Room
Imagine a dark room filled with furniture (the quantum system). You cannot see the whole room at once.

• The Perspective: You have a flashlight (your measurement).
• The Context: You point the flashlight at a specific chair. Suddenly, the chair becomes clear and defined. You can say, "The chair is here."
• The Trade-off: While the chair is bright, the rest of the room (the table, the lamp) remains in the dark. You cannot say where the lamp is right now because your flashlight isn't on it.

The paper argues that truth only exists within the beam of the flashlight.

• When you choose to measure a specific property (like "Spin Up"), you create a "Boolean perspective." This is a logical framework where things are either True or False.
• But this truth is local. It only applies to the things inside your flashlight's beam. It doesn't apply to the whole room simultaneously.

The New Definition of Truth: "Contextual Correspondence"

The authors propose a new way to define truth, which they call Perspectivist/Contextual Correspondence.

The Old Way (Classical):

• "Snow is white" is true because snow is white, period. It's a fact about the universe that exists whether you are looking at it or not.

The New Way (Quantum):

• "Snow is white" is true only if you are looking at it with a specific kind of eye (a specific measurement context).
• If you look at the snow with a different eye (a different measurement), the "whiteness" might not even be a defined concept.

The Metaphor: The Swiss Cheese
Think of reality as a giant block of Swiss cheese.

• The holes in the cheese are the "undefined" or "indeterminate" parts of the quantum world.
• Your measurement (your perspective) is a slice of cheese you cut out.
• Inside that slice, the cheese is solid and real. You can say, "This slice is solid."
• But you cannot say, "The whole block of cheese is solid" because, in reality, it's full of holes.

The paper says: Truth is the solid part of the slice you are holding. It is an objective fact within that slice, but it doesn't describe the whole block.

Why This Matters: No "View from Nowhere"

The most important conclusion of the paper is that we must give up the idea of a "Panoptical Standpoint"—a view from nowhere that sees all facts of nature at once.

• Classical View: The universe is a movie playing on a screen. We are just watching it. The movie exists whether we watch it or not.
• Quantum View (according to this paper): The universe is more like a choose-your-own-adventure book. The story only becomes "real" and "defined" when you turn the page and make a choice.

The Takeaway:

1. Facts depend on context: A particle doesn't have a fixed "truth" until you decide what to measure.
2. Objectivity is still possible: Even though truth is perspective-based, it is still real. If two people use the same flashlight (same measurement context), they will agree on what they see. It's not "anything goes"; it's just that "what is" depends on "how you look."
3. We are part of the picture: We cannot stand outside the universe and describe it perfectly. We are always inside the room, holding the flashlight.

Summary in One Sentence

The paper argues that in the quantum world, truth isn't a single, fixed map of reality; instead, it's like a flashlight beam that illuminates specific facts only when you choose a specific angle to look, and that is perfectly okay because the "whole picture" simply doesn't exist until you look.

Technical Summary

1. The Problem

The paper addresses a fundamental semantic and ontological crisis in the foundations of quantum mechanics (QM): the impossibility of assigning definite, context-independent truth values to all physical propositions simultaneously.

• The Kochen-Specker (KS) Obstacle: For any quantum system with a Hilbert space dimension $d > 2$, the KS theorem proves that no global, two-valued homomorphism (truth-value assignment $h: L_H \to \{0, 1\}$) exists that preserves the lattice operations of the projection operators. This implies that one cannot assign "true" or "false" to all propositions about a system without generating a logical contradiction, violating the classical law of bivalence.
• The Failure of Global Correspondence: Traditional correspondence theories of truth assume a "God's eye view" or a panoptical standpoint where facts exist independently of observation. In QM, the non-Boolean structure of the event algebra ($L_H$) prevents a single, global Boolean frame from capturing all properties of a system simultaneously.
• The Semantic Gap: There is a need for a truth-theoretic semantics that satisfies Tarski's criterion of material adequacy (Convention T) while respecting the structural constraints of quantum theory (specifically, contextuality).

2. Methodology

The author employs a rigorous mathematical and philosophical approach combining lattice theory, quantum logic, and the philosophy of science:

• Mathematical Framework: The analysis is grounded in the standard Hilbert space formulation of QM. Physical systems are represented by a separable complex Hilbert space $\mathcal{H}$, and observables by self-adjoint operators. The logical structure of propositions is modeled as an orthomodular lattice of projection operators ($L_H$).
• The Bub-Clifton Uniqueness Theorem: The core technical tool is the Bub-Clifton theorem, which identifies the maximal determinate sublattices of propositions. Given a system state $D$ (a ray) and a preferred observable $A$, the theorem specifies the unique largest subset of propositions that can be assigned definite truth values without contradiction.
• Perspectivist/Contextual Analysis: The paper redefines "perspective" not merely as a historical scientific paradigm (e.g., Newtonian vs. Maxwellian) but as a concrete spatiotemporal probe. A perspective is defined endo-theoretically by a set of variables (a complete Boolean algebra of commuting projection operators) that resolves a specific domain of phenomena.
• Semantic Reconstruction: The author constructs a new semantic account by integrating the mathematical results of Bub-Clifton with a modified correspondence theory of truth, testing it against Tarski's Convention T.

3. Key Contributions

The paper makes several distinct theoretical contributions to the philosophy of physics:

• Redefinition of Perspective: It proposes a structural definition of "perspective" as a Boolean probing frame. A perspective is a maximal set of mutually compatible observables (a Boolean sublattice) that allows for the individuation of events. This moves perspective from a subjective epistemic stance to an objective structural feature of physical reality.
• The "Contextual State" ($D_A$): The author introduces the concept of a representative perspectivist or contextual state ($D_A$). Unlike the standard state vector $|\psi\rangle$ (which is independent of measurement context), $D_A$ is a mixed state derived from the spectral decomposition of a chosen observable $A$ relative to the system state $D$. $D_A$ represents the maximal information encodable into the system via a specific state preparation procedure within a specific context.
• Perspectivist/Contextual Correspondence (PCC): The paper formulates a new truth condition schema:

  The proposition that "P-in-C" is true if and only if there is a state of affairs X such that (1) P expresses X in C and (2) X obtains.
  Here, $C$ is the experimental context (defined by the pair of state $D$ and observable $A$). This schema explicitly links truth to a local Boolean frame rather than a global reality.

• Resolution of the KS Contradiction: The paper demonstrates that the KS contradiction is avoided not by denying the existence of facts, but by restricting the domain of truth-valuation to local Boolean sublattices ($L_H(\{D/A\})$). Within a specific context, propositions are determinately true or false; globally, they remain indeterminate.

4. Results

• Existence of Determinate Sublattices: The Bub-Clifton theorem successfully identifies the maximal sublattice $L_H(\{D/A\})$ where a two-valued homomorphism exists. This sublattice includes all propositions compatible with the chosen observable $A$ and the state $D$.
• Satisfaction of Tarski's Convention T: The proposed PCC schema satisfies Tarski's criterion for material adequacy. The paper shows that for any context-dependent proposition "P-in-C," the statement "P-in-C is true iff P-in-C" holds logically. The truth-maker is the context-dependent state of affairs, not a context-independent fact.
• Contextuality as a Structural Feature: The results confirm that quantum contextuality is not a defect of measurement but a fundamental structural feature of reality. Facts are "de re" (about the thing itself) but are only accessible and definable relative to a specific perspective (Boolean frame).
• Rejection of the "View from Nowhere": The analysis proves that a global, non-perspectival assignment of truth values is mathematically impossible in QM. The "God's eye view" is replaced by a multiplicity of intertwined local perspectives that collectively constitute the quantum event structure.

5. Significance

• Philosophical Significance: The paper bridges the gap between scientific realism and perspectivism. It argues for a realist perspectivism: facts exist objectively, but their determinacy and truth-values are inherently relative to the experimental context (the "probe"). It rejects both radical constructivism (facts are created by the observer) and naive realism (facts exist independently of context).
• Semantic Clarity: It provides a robust semantic framework for quantum mechanics that avoids the pitfalls of instrumentalism. It allows physicists to speak of "truth" and "facts" without falling into logical contradictions, provided they acknowledge the context-dependence of those facts.
• Foundational Impact: By utilizing the Bub-Clifton theorem, the paper offers a concrete mathematical basis for "no-collapse" interpretations of QM (such as Bohmian mechanics or modal interpretations) where a preferred observable determines the determinate sublattice.
• Methodological Shift: It establishes that the specification of an experimental context is a pre-condition for empirical inquiry in the microphysical domain. One cannot access quantum reality without first establishing a Boolean frame (a perspective) that renders specific properties determinate.

In summary, Karakostas argues that truth in quantum mechanics is not a global property but a local, context-bound correspondence. The "facts" of nature are objectively real but perspectival, emerging only when a specific Boolean probing frame interacts with the non-Boolean quantum structure.