Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Philosophy of Science

Logical Foundations for Modal Interpretations of Quantum Mechanics

Michael Dickson

Published Jan 1, 1996• 1 citation
Publisher

Abstract

This paper proposes a logic, motivated by modal interpretations, in which every quantum mechanics propositions has a truth-value. This logic is completely classical, hence violates the conditions of the Kochen-Specker theorem. It is shown how the violation occurs, and it is argued that this violation is a natural and acceptable consequence of modal interpretations. It is shown that despite its classicality, the proposed logic is empirically indistinguishable from quantum logic.

DOI
10.1086/289967

Related papers

The Contextual Character of Modal Interpretations of Quantum Mechanics

Graciela Domenech, Héctor Freytes, Christian DE RONDE

In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W. Heisenberg. We present then a general characterization of what we consider to be a modal interpretation. Following previous papers in which we have introduced modalities in the Kochen-Specker theorem, we investigate the consequences of these theorems in relation to the modal interpretations of quantum mechanics.

arXiv:0705.1660•May 11, 2007•2 citations

Truth as Contextual Correspondence in Quantum Mechanics

Vassilios Karakostas

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.

Philosophia Scientae•Jan 1, 2015•0 citations

Correspondence Truth and Quantum Mechanics

Vassilios Karakostas

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.

•Sep 1, 2014•4 citations

The Properties of Modal Interpretations of Quantum Mechanics

Rob Clifton

Orthodox quantum mechanics includes the principle that an observable of a system possesses a well-defined value if and only if the presence of that value in the system is certain to be confirmed on measurement. Modal interpretations reject the controversial ‘only if’ half of this principle to secure definite outcomes for quantum measurements that leave the apparatus entangled with the object it has measured. However, using a result that turns on the construction of a Kochen–Specker contradiction, I argue that modal interpretations cannot deliver a metaphysically tenable conception of properties in quantum mechanics unless they also abandon the less controversial ‘if’ half of the orthodox principle.

The British Journal for the Philosophy of Science•Sep 1, 1996•88 citations

The Contextual Modal Logic of a Wigner's Friend Generalization

Felipe Dilho Alves, João Carlos Alves Barata

Quantum mechanics has been subject to logical scrutiny since its inception. The behavior of quantum systems, which are fundamentally dissimilar from classical systems, often appears to point to a logical inconsistency in quantum mechanics, allegedly leading to contradictions in the prediction of experimental measurements--though such contradictions have never materialized. A recent example of this type of inquiry into the logical well-posedness of quantum mechanics is the Frauchiger-Renner Gedankenexperiment, which purports to demonstrate that quantum mechanics is logically inconsistent. In this article, we show that by considering the property of contextuality in quantum systems--as predicted by the Kochen-Specker theorem--the supposed contradiction proposed by Frauchiger and Renner becomes logically inaccessible.

math-phCross-listedarXiv:2603.29028•International Journal of Theoretical Physics•Apr 1, 2026•0 citations

Independently Motivating the Kochen—Dieks Modal Interpretation of Quantum Mechanics

Rob Clifton

The distinguishing feature of ‘modal’ interpretations of quantum mechanics is their abandonment of the orthodox eigenstate–eigenvalue rule, which says that an observable possesses a definite value if and only if the system is in an eigenstate of that observable. Kochen's and Dieks' new biorthogonal decomposition rule for picking out which observables have definite values is designed specifically to overcome the chief problem generated by orthodoxy's rule, the measurement problem, while avoiding the no-hidden-variable theorems. Otherwise, their new rule seems completely ad hoc.The ad hoc charge can only be laid to rest if there is some way to give Kochen's and Dieks' rule for picking out which observables have definite values some independent motivation. And there is, or so I will argue here. Specifically, I shall show that theirs is the only rule able to save Schrödinger's cat from a fate worse than death, and sidestep the Bell–Kochen–Specker no-hidden-variables theorem, once we impose four independently natural conditions on such rules

The British Journal for the Philosophy of Science•Mar 1, 1995•83 citations
This paper proposes a logic, motivated by modal interpretations, in which every quantum mechanics propositions has a truth-value. This logic is completely classical, hence violates the conditions of the Kochen-Specker theorem. It is shown how the violation occurs, and it is argued that this violation is a natural and acceptable consequence of modal interpretations. It is shown that despite its classicality, the proposed logic is empirically indistinguishable from quantum logic.
In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W. Heisenberg. We present then a general characterization of what we consider to be a modal interpretation. Following previous papers in which we have introduced modalities in the Kochen-Specker theorem, we investigate the consequences of these theorems in relation to the modal interpretations of quantum mechanics.
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.
Orthodox quantum mechanics includes the principle that an observable of a system possesses a well-defined value if and only if the presence of that value in the system is certain to be confirmed on measurement. Modal interpretations reject the controversial ‘only if’ half of this principle to secure definite outcomes for quantum measurements that leave the apparatus entangled with the object it has measured. However, using a result that turns on the construction of a Kochen–Specker contradiction, I argue that modal interpretations cannot deliver a metaphysically tenable conception of properties in quantum mechanics unless they also abandon the less controversial ‘if’ half of the orthodox principle.
Quantum mechanics has been subject to logical scrutiny since its inception. The behavior of quantum systems, which are fundamentally dissimilar from classical systems, often appears to point to a logical inconsistency in quantum mechanics, allegedly leading to contradictions in the prediction of experimental measurements--though such contradictions have never materialized. A recent example of this type of inquiry into the logical well-posedness of quantum mechanics is the Frauchiger-Renner Gedankenexperiment, which purports to demonstrate that quantum mechanics is logically inconsistent. In this article, we show that by considering the property of contextuality in quantum systems--as predicted by the Kochen-Specker theorem--the supposed contradiction proposed by Frauchiger and Renner becomes logically inaccessible.
The distinguishing feature of ‘modal’ interpretations of quantum mechanics is their abandonment of the orthodox eigenstate–eigenvalue rule, which says that an observable possesses a definite value if and only if the system is in an eigenstate of that observable. Kochen's and Dieks' new biorthogonal decomposition rule for picking out which observables have definite values is designed specifically to overcome the chief problem generated by orthodoxy's rule, the measurement problem, while avoiding the no-hidden-variable theorems. Otherwise, their new rule seems completely ad hoc.The ad hoc charge can only be laid to rest if there is some way to give Kochen's and Dieks' rule for picking out which observables have definite values some independent motivation. And there is, or so I will argue here. Specifically, I shall show that theirs is the only rule able to save Schrödinger's cat from a fate worse than death, and sidestep the Bell–Kochen–Specker no-hidden-variables theorem, once we impose four independently natural conditions on such rules