Semantics of the Minimal Logic of Quantum Mechanics

Herman Dishkant

Sergio F. Martínez

In this paper I formalize the notion of minimal disturbance, as this seems to be required by usual interpretations of the theory of quantum mechanics, and construct a quantum logical (lattice) model of the type of situation that seems to be at the root of the problem of the interpretation of Luders’ projection rule as a criterion of minimal disturbance for individual state transformations. What is particularly interesting in the situation to be depicted here is that, on the basis of a simple model, which depends only on some very general features of the lattice structure of the theory (and its semantical interpretation), usual interpretive assumptions on minimal disturbance appear to be wanting. If we restrict our attention to the statistics of measurement results, Luders’ rule can, easily be interpreted as a formula describing ‘minimal change’ for statistical states.

Martin Strauss

Stanley Gudder

Tapani Hyttinen, Gianluca Paolini, Jouko Väänánen

Abstract A logical approach to Bell’s Inequalities of quantum mechanics has been introduced by Abramsky and Hardy (Abramsky & Hardy, 2012). We point out that the logical Bell’s Inequalities of Abramsky & Hardy (2012) are provable in the probability logic of Fagin, Halpern and Megiddo (Fagin et al., 1990). Since it is now considered empirically established that quantum mechanics violates Bell’s Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell’s Inequalities are not provable, and prove a Completeness theorem for this logic. For this end we generalise the team semantics of dependence logic (Väänänen, 2007) first to probabilistic team semantics, and then to what we call quantum team semantics.

Germano Resconi, George J. Klir, Eliano Pessa

Recognizing that syntactic and semantic structures of classical logic are not sufficient to understand the meaning of quantum phenomena, we propose in this paper a new interpretation of quantum mechanics based on evidence theory. The connection between these two theories is obtained through a new language, quantum set theory, built on a suggestion by J. Bell. Further, we give a modal logic interpretation of quantum mechanics and quantum set theory by using Kripke's semantics of modal logic based on the concept of possible worlds. This is grounded on previous work of a number of researchers (Resconi, Klir, Harmanec) who showed how to represent evidence theory and other uncertainty theories in terms of modal logic. Moreover, we also propose a reformulation of the many-worlds interpretation of quantum mechanics in terms of Kripke's semantics. We thus show how three different theories — quantum mechanics, evidence theory, and modal logic — are interrelated. This opens, on one hand, the way to new applications of quantum mechanics within domains different from the traditional ones, and, on the other hand, the possibility of building new generalizations of quantum mechanics itself.