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.
Journal reference
European Journal for Philosophy of Science, 2026, 16:14
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.
The semantics underlying the propositional structure of Hilbert space quantum mechanics involves an inherent ambiguity concerning the impossibility of assigning definite truth values to all propositions pertaining to a quantum system without generating a Kochen-Specker contradiction. Although the preceding Kochen-Specker result forbids a global, absolute assignment of truth values to quantum mechanical propositions, it does not exclude ones that are contextual. 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 suitable “preferred” observable. It is suggested that the most natural choice of the latter, especially for confronting the problem of truth valuation in quantum mechanics, results in the determinateness of the observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The resulting account of truth is compatible with a realist conception of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature.
Abstract The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either ‘true ’ or ‘false’, describing what is actually the case at a certain moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of ‘no go ’ theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum 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. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences.
The present study investigates the tension between objectivism and perspectivism in light of the conceptual and philosophical implications of quantum theory. The guiding dictum of objectivism posits that science reveals the underlying structure of reality independently of human cognitive activity, that is, in terms of mind-independent, discourse-independent properties and relations occurring at any spatiotemporal location. It is shown that objectivism’s stance fits with the applicability of the bivalence principle as the semantic foundation of scientific discourse. It becomes then apparent that the non-Boolean logical structure of quantum theory systematically disrupts the objectivist framework. Along this vein, we provide succinct argumentation demonstrating quantum theory’s affinity to perspectivist reasoning. It is contended that the ubiquitous phenomenon of quantum contextuality, as established by Kochen-Specker’s celebrated theorem, strongly suggests that measurement values of quantum observables can, in general, be regarded as pertaining to an object under investigation only within a local probing frame or perspective from which the object-system is considered. The last remark is reinforced when considered within the endo-theoretic perspectivist framework of quantum mechanics. The essential philosophical meaning of the latter implies the view that the quantum world can be consistently comprehended through a multilevel structure of overlapping Boolean probing frames, realized as locally variable perspectives on a quantum system, being capable of forming jointly a coherent picture of the whole in a nontrivial way. Finally, in the appendix, the endo-theoretic perspectivist framework of quantum theory is critically compared to the relational interpretation of quantum mechanics, particularly in its recent development involving the postulate of “cross-perspective links”, revealing thereby the profoundly different picture of the quantum world’s architecture between the two proposals.
Contemporary scientific perspectivism is re-evaluated and extended to a comprehensive perspectivist methodology and 'mediated' realistic epistemology, especially, with reference to quantum mechanics. In the present study, this is realized by representing categorically the global structure of a quantum algebra of events in terms of structured multitudes of interrelated local Boolean frames, realized as suitable perspectives or contexts for measuring physical quantities. The philosophical meaning of the proposed approach implies that the quantum world can be consistently approached and comprehended through a multilevel structure of locally variable perspectives, which interlock, in a category-theoretical environment, to form a coherent picture of the whole in a nontrivial way. Thus, in contrast to a panoptical "view from nowhere" of the classical paradigm, quantum theory acknowledges in an essential way a perspectival/contextual character of scientific knowledge.
Contemporary scientific perspectivism is primarily viewed as a methodological framework of how we obtain and form scientific knowledge of nature, through a broadly perspectivist process, especially, with reference to quantum mechanics. In the present study, this is implemented by representing categorically the global structure of a quantum algebra of events in terms of structured interconnected families of local Boolean probing frames, realized as suitable perspectives or contexts for measuring physical quantities. The essential philosophical meaning of the proposed approach implies that the quantum world can be consistently approached and comprehended through a multilevel structure of locally variable perspectives, which interlock, in a category-theoretical environment, to form a coherent picture of the whole in a non-trivial way.
This paper is a commentary on the foundational significance of the Clifton-Bub-Halvorson theorem characterizing quantum theory in terms of three information-theoretic constraints (Foundations of Physics 33, 1561-1591 (2003); quant-ph/0211089). I argue that: (1) a quantum theory is best understood as a theory about the possibilities and impossibilities of information transfer, as opposed to a theory about the mechanics of nonclassical waves or particles, (2) given the information-theoretic constraints, any mechanical theory of quantum phenomena that includes an account of the measuring instruments that reveal these phenomena must be empirically equivalent to a quantum theory, and (3) assuming the information-theoretic constraints are in fact satisfied in our world, no mechanical theory of quantum phenomena that includes an account of measurement interactions can be acceptable, and the appropriate aim of physics at the fundamental level then becomes the representation and manipulation of information.