arxiv: 2604.11823 · v1 · submitted 2026-04-11 · 🪐 quant-ph · physics.hist-ph

Recognition: unknown

Perspectivist Account of Truth-Theoretic Semantics in Quantum Mechanics

Vassilios Karakostas

Authors on Pith no claims yet

Pith reviewed 2026-05-10 16:13 UTC · model grok-4.3

classification 🪐 quant-ph physics.hist-ph

keywords quantum mechanicstruth valuesperspectivismcontextualityBub-Clifton theoremKochen-Specker theoremTarski criteriontruth-theoretic semantics

0 comments

The pith

Quantum propositions gain definite truth values only on context-specific sublattices that correspond to local objective facts.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

No-go results such as the Kochen-Specker theorem show that definite truth values cannot be assigned to all propositions about a quantum system in Hilbert space dimension greater than two without contradiction. The Bub-Clifton uniqueness theorem identifies a unique determinate sublattice of propositions fixed by the system's state and the observable chosen for measurement, restoring consistent truth assignments within that sublattice. This construction yields a perspectivist account of truth in the quantum domain that satisfies Tarski's material adequacy criterion, treating truth as a context-bound, de re correspondence to locally existing states of affairs. The account follows from the context-dependent character of microphysical facts and rejects any single, non-perspectival standpoint from which all facts of nature could be stated.

Core claim

Truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. On this basis a perspectivist or contextual account of truth valuation is produced that satisfies Tarski's criterion of material adequacy for a theory of truth. Perspectivist truth therefore conforms to perspective or context-bound correspondence of a de re nature, designating locally an objectively existing state of affairs. Such an account derives by virtue of the microphysical nature of physical reality in displaying a context-dependence of facts, and thus essentially opposes a non-persp

What carries the argument

The Bub-Clifton uniqueness theorem, which selects a determinate sublattice of propositions for consistent truth-value assignment given a quantum state and chosen observable.

Load-bearing premise

That the Bub-Clifton theorem supplies a sublattice whose truth assignment can be read as corresponding to an objectively existing local state of affairs in a de re manner, even though the assignment depends on the measurement context.

What would settle it

A calculation or experiment showing that truth values assigned inside the Bub-Clifton sublattice fail to correspond to any local objective facts or violate Tarski's material adequacy condition.

read the original abstract

According to various no-go results in the foundations of quantum mechanics, for any system associated to a Hilbert space of dimension higher than two, it is not possible to assign definite truth values to all propositions pertaining to the system without generating a Kochen-Specker contradiction. In this respect, the Bub-Clifton uniqueness theorem is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. On this basis, a perspectivist/contextual account of truth valuation in the quantum domain is produced that satisfies Tarski's criterion of material adequacy for a theory of truth. In light of the latter, perspectivist truth conforms to perspective or context-bound correspondence of a de re nature, designating locally an objectively existing state of affairs. Such an account derives by virtue of the microphysical nature of physical reality in displaying a context-dependence of facts; thus, it essentially opposes a non-perspectival, metaphysically fixed point of reference, or a panoptical standpoint from which to state all facts of nature.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Karakostas gives a perspectivist take on quantum truth using Bub-Clifton, but the de re objectivity needs stronger grounding than the context-relative uniqueness supplies.

read the letter

The paper's key contribution is a perspectivist semantics for quantum truth values based on the Bub-Clifton theorem. It shows how to restore consistent assignments via a determinate sublattice tied to the state and a preferred observable, then claims this meets Tarski's material adequacy while corresponding de re to local objective facts. It does well in organizing the no-go theorems around context-dependence and in spelling out the link to Tarski's criterion. The account opposes any fixed, non-perspectival standpoint on all facts, grounding that in the microphysical context-sensitivity. The soft spot is the move to de re objectivity. Since the sublattice and its truth assignment depend on which observable is selected, the local facts remain relative to that choice. The paper treats this as still designating objectively existing affairs, but without an additional argument showing why the dependence on perspective does not undermine the de re claim, that part stays interpretive. The stress-test concern holds up here. This is for readers in the philosophy of quantum mechanics, especially those working on realism and semantics. It synthesizes existing results into a coherent framework without new math or data, so it fits interpretive journals. The thinking is clear and the literature engagement looks honest. I would send it for peer review. Referees can probe the justification for the objectivity step and clarify if the perspectivism is as robust as claimed.

Referee Report

3 major / 2 minor

Summary. The manuscript invokes the Bub-Clifton uniqueness theorem to select a maximal determinate sublattice L(ψ, A) of propositions for a quantum state |ψ⟩ and preferred observable A, assigns 0-1 truth values via the state's support on that sublattice, and develops a perspectivist/contextual semantics. It claims this assignment satisfies Tarski's material adequacy criterion (T-schema) and yields de re correspondence to locally objective states of affairs, thereby accommodating quantum contextuality while rejecting non-perspectival, panoptical metaphysics.

Significance. If the interpretive bridge from the relative uniqueness result to de re objective local facts is made rigorous, the work would supply a semantics that respects Kochen-Specker-type no-go theorems while preserving a limited form of objectivity within chosen contexts. It draws directly on established theorems (Bub-Clifton, Kochen-Specker, Tarski) without introducing free parameters or ad-hoc entities, offering a falsifiable philosophical framework that could be tested against alternative contextual interpretations.

major comments (3)

[§3] §3 (application of Bub-Clifton theorem): The uniqueness result produces a determinate sublattice L(ψ, A) only relative to an externally chosen observable A. The subsequent claim that propositions in L designate 'an objectively existing state of affairs' de re is not supported by an argument showing why the selected facts remain objective and A-independent; different choices of A generate different sublattices and truth assignments, so the de re status requires an additional grounding step that is absent from the derivation.
[§4] §4 (Tarski material adequacy): The assertion that the perspectivist valuation satisfies Tarski's criterion of material adequacy is stated without an explicit verification that the T-schema holds for atomic propositions in L(ψ, A) (i.e., that 'the proposition P is true in the perspective iff P' is materially satisfied rather than merely formally consistent). This step is load-bearing for the central semantic claim.
[§5] §5 (de re vs. context-bound correspondence): The text contrasts the account with 'non-perspectival, metaphysically fixed' views but does not distinguish the proposed de re local objectivity from standard contextual or modal interpretations (e.g., those in which facts are determinate only relative to a frame). Without this distinction, the 'objectively existing' qualifier risks reducing to intra-perspective consistency.

minor comments (2)

The notation L(ψ, A) is introduced without an explicit definition of the lattice operations or the precise support condition used for truth assignment; a short formal recap would aid readability.
Citations to Tarski's original work on the T-schema and to the precise statement of the Bub-Clifton theorem should be added at first mention for precision.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the thorough review and valuable feedback on our manuscript concerning the perspectivist account of truth-theoretic semantics in quantum mechanics. We address each of the major comments in turn, providing clarifications and indicating where revisions will be made to strengthen the arguments.

read point-by-point responses

Referee: [§3] §3 (application of Bub-Clifton theorem): The uniqueness result produces a determinate sublattice L(ψ, A) only relative to an externally chosen observable A. The subsequent claim that propositions in L designate 'an objectively existing state of affairs' de re is not supported by an argument showing why the selected facts remain objective and A-independent; different choices of A generate different sublattices and truth assignments, so the de re status requires an additional grounding step that is absent from the derivation.

Authors: The referee correctly notes that the Bub-Clifton theorem yields L(ψ, A) relative to a chosen observable A. In our account, this relativity defines the perspective, and the de re correspondence is to the objective state of affairs as fixed by |ψ⟩ within that context. The facts are objective locally because they are determined by the physical state and the measurement, not by arbitrary assignment. Different choices of A correspond to different perspectives, each with its own objective local facts, consistent with contextuality. We will revise the manuscript to include an explicit argument in §3 grounding the de re status in the theorem's selection mechanism, showing why it qualifies as objective within the perspective without being globally A-independent. revision: partial
Referee: [§4] §4 (Tarski material adequacy): The assertion that the perspectivist valuation satisfies Tarski's criterion of material adequacy is stated without an explicit verification that the T-schema holds for atomic propositions in L(ψ, A) (i.e., that 'the proposition P is true in the perspective iff P' is materially satisfied rather than merely formally consistent). This step is load-bearing for the central semantic claim.

Authors: We agree that the verification of the T-schema was not made fully explicit. In the revised version, we will add a detailed check in §4 demonstrating that for atomic propositions P in L(ψ, A), the truth value assignment satisfies 'P is true in the perspective if and only if P', where the right-hand side is evaluated according to the state's support on the sublattice. This ensures material adequacy beyond formal consistency. revision: yes
Referee: [§5] §5 (de re vs. context-bound correspondence): The text contrasts the account with 'non-perspectival, metaphysically fixed' views but does not distinguish the proposed de re local objectivity from standard contextual or modal interpretations (e.g., those in which facts are determinate only relative to a frame). Without this distinction, the 'objectively existing' qualifier risks reducing to intra-perspective consistency.

Authors: To distinguish our view, we emphasize that the de re local objectivity arises specifically from the Bub-Clifton selected sublattice, providing a direct correspondence to the quantum state's objective properties in the chosen context, rather than a general modal or frame-relative determination. This is not merely intra-perspective consistency but a semantic link to the microphysical reality. We will expand §5 with a subsection comparing to other contextual interpretations to clarify this distinction. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation applies external theorems independently

full rationale

The paper constructs its perspectivist account by invoking the Bub-Clifton uniqueness theorem (external to the authors) to select a determinate sublattice L(ψ, A) and then checking that the resulting 0-1 truth assignment satisfies Tarski's T-schema as an independent adequacy criterion. No central step reduces by the paper's own equations or self-citation to a quantity defined in terms of its output; the context-dependence is explicitly tied to the choice of A supplied from outside, and the de re interpretation is presented as a philosophical reading rather than a mathematical identity. The derivation remains self-contained against the cited external benchmarks (Bub-Clifton, Kochen-Specker, Tarski) without internal self-definition or fitted-input renaming.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The account rests on standard quantum mechanics (Hilbert space formalism and no-go theorems) and Tarski's criterion of material adequacy, treated as background assumptions rather than derived within the paper. No free parameters or new invented entities are introduced; the perspectivist semantics is an interpretive overlay on the cited theorems.

axioms (2)

domain assumption Bub-Clifton uniqueness theorem supplies a determinate sublattice of propositions for any state and observable
Invoked in the abstract to restore truth-value definiteness without contradiction
domain assumption Tarski's criterion of material adequacy applies to the perspectivist truth assignment
Used to claim the account satisfies a standard theory of truth

pith-pipeline@v0.9.0 · 5490 in / 1487 out tokens · 64307 ms · 2026-05-10T16:13:22.808033+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

35 extracted references

[1]

Abbott, A., Calude, S., & Svozil, K. (2014). Value-Indefinite Observables are almost Every- where.Physical Review A,89, 032109

2014
[2]

Abramsky, S., & Brandenburger, A. (2011). The Sheaf-Theoretic Structure of Non-Locality and Contextuality.New Journal of Physics,13, 113036

2011
[3]

Bohr, N. (1958). Quantum Physics and Philosophy. In J. Kalckar (Ed.),Niels Bohr:Collected Works(Vol. 7, pp. 385-394), Amsterdam: Elsevier

1958
[4]

(1997).Interpreting the Quantum World

Bub, J. (1997).Interpreting the Quantum World. Cambridge: Cambridge University Press

1997
[5]

Bub, J. (2009). Bub-Clifton Theorem. In D. Greenberger, K. Hentschel & F. Weinert (Eds.), Compendium of Quantum Physics(pp. 84-86), Berlin: Springer

2009
[6]

No Collapse

Bub, J., & Clifton, R. (1996). A Uniqueness Theorem for “No Collapse” Interpretations of Quantum Mechanics.Studies in the History and Philosophy of Modern Physics,27, 181-219

1996
[7]

(2011).Truth

Burgess, A., & Burgess, J.P. (2011).Truth. Princeton: Princeton University Press

2011
[8]

(2022).Realism for Realistic People

Chang, H. (2022).Realism for Realistic People. Cambridge: Cambridge University Press

2022
[9]

(2004).Reasoning in Quantum Theory

Dalla Chiara, M., Giuntini, R., & Greechie, R. (2004).Reasoning in Quantum Theory. Dor- drecht: Kluwer

2004
[10]

Dieks, D. (2022). Modal Interpretations of Quantum Mechanics. In O. Freire (Ed.),The Oxford Handbook of the History of Quantum Interpretations(pp. 1156-1174), Oxford: Oxford University Press

2022
[11]

(1958).Quantum Mechanics, 4th ed

Dirac, P.A.M. (1958).Quantum Mechanics, 4th ed. Oxford: Clarendon Press

1958
[12]

(2002).Truth

Engel, P. (2002).Truth. Chesham: Acumen

2002
[13]

(2006).Scientific Perspectivism

Giere, R.N. (2006).Scientific Perspectivism. Chicago: The University of Chicago Press

2006
[14]

Giere, R.N. (2013). Kuhn as Perspectival Realist.Topoi,32, 53-57

2013
[15]

Gleason, A.M. (1957). Measures on the Closed Sub-Spaces of Hilbert Spaces.Journal of Mathematics and Mechanics,6, 885-893

1957
[16]

Greenberger, D. (2009). GHZ (Greenberger-Horne-Zeilinger) Theorem and GHZ States. In D. Greenberger, K. Hentschel & F. Weinert (Eds.),Compendium of Quantum Physics(pp. 258-263), Berlin: Springer

2009
[17]

Howard, M., Wallman, J., Veitch, V., & Emerson, J. (2014). Contextuality Supplies the Magic for Quantum Computation.Nature,510, 351-355

2014
[18]

(2022).Understanding Quantum Raffles:Quantum Mechanics on an Informational Approach

Janas, M., Cuffaro, M.E., & Janssen, M. (2022).Understanding Quantum Raffles:Quantum Mechanics on an Informational Approach. Cham: Springer

2022
[19]

Karakostas, V. (2012). Realism and Objectivism in Quantum Mechanics.Journal for General Philosophy of Science,43, 45-65

2012
[20]

Karakostas, V., & Zafiris, E. (2017). Contextual Semantics in Quantum Mechanics from a Categorical Point of View.Synthese,194, 847-886

2017
[21]

Karakostas, V., & Zafiris, E. (2022). On the Structure and Function of Scientific Perspectivism in Categorical Quantum Mechanics.British Journal for the Philosophy of Science,73, 811- 848

2022
[22]

Karakostas, V., & Zafiris, E. (2025). Contemporary Perspectivism as a Framework of Scientific Inquiry in Quantum Mechanics and Beyond.Foundations of Physics,55, 1-39. 17

2025
[23]

Lewis, D. (2001). Forget about the Correspondence Theory of Truth.Analysis,61, 275-280

2001
[24]

MacFarlane, J. (2005). Making Sense of Relative Truth.Proceedings of the Aristotelian Society, March 15, 321-339

2005
[25]

(2022).Perspectival Realism

Massimi, M. (2022).Perspectival Realism. New York: Oxford University Press

2022
[26]

& Cabello, A

Lisonˆ ek, P., Badziag, P., Portillo, J.R. & Cabello, A. (2014). Kochen-Specker Set with Seven Contexts.Physical Review A,89, 042101

2014
[27]

Rueger, A. (2016). Perspectival Realism and Incompatible Models.Axiomathes,26, 401-410

2016
[28]

Sher, G. (2023). Correspondence Pluralism.Synthese,202, 169

2023
[29]

Svozil, K. (2009). Contexts in Quantum, Classical and Partition Logic. In K. Engesser, D. Gabbay & D. Lehmann (Eds.),Handbook of Quantum Logic and Quantum Structures: Quantum Logic(pp. 551-586), Amsterdam: Elsevier

2009
[30]

(1935/1956)

Tarski, A. (1935/1956). The Concept of Truth in Formalized Languages. In A. Tarski (Ed.),Logic, Semantics, Metamathematics: Papers from 1923 to 1938(pp. 152-278), Ox- ford: Clarendon Press

1935
[31]

(1955).Mathematical Foundations of Quantum Mechanics

von Neumann, J. (1955).Mathematical Foundations of Quantum Mechanics. Princeton: Princeton University Press

1955
[32]

Wang, P. et al. (2022). Significant Loophole-Free Test of Kochen-Specker Contextuality Using Two Species of Atomic Ions.Science Advances,8, 1660

2022
[33]

Zafiris, E., & Karakostas, V. (2013). A Categorial Semantic Representation of Quantum Event Structures.Foundations of Physics,43, 1090-1123

2013
[34]

Zafiris, E., & Karakostas, V. (2019). Category-Theoretic Interpretative Framework of the Complementarity Principle in Quantum Mechanics.International Journal of Theoretical Physics,58, 4208-4234

2019
[35]

Zurek, W.H. (1993). Preferred States, Predictability, Classicality, and the Environment- Induced Decoherence.Progress in Theoretical Physics,89, 281-312. 18

1993