On Quantum Non-Locality, Special Relativity, And Counterfactual Reasoning

D. J. Miller

Tomasz Bigaj

This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals (subjunctive conditionals) enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world semantics of quantum counterfactuals using David Lewis’s famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactual semantics to strengthen Bell’s theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell’s theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation.

Francisco Flores

Tomasz Bigaj

In the paper the proof of the non-locality of quantum mechanics, given recently by H. Stapp and D. Bedford, and appealing to the GHZ example, is analyzed. The proof does not contain any explicit assumption of realism, but instead it uses formal methods and techniques of the Lewis calculus of counterfactuals. To ascertain the validity of the proof, a formal semantic model for counterfactuals is constructed. With the help of this model it can be shown that the proof is faulty, because it appeals to the unwarranted principle of Elimination of Eliminated Conditions (EEC). As an additional way of showing unreasonableness of the assumption (EEC), it is argued that yet another alleged and highly controversial proof of non-locality of QM, using the Hardy example, can be made almost trivial with the help of (EEC). Next the question is considered whether the validity of the proof in the GHZ case can be restored by adopting the assumption of partial realism. It is argued that although this assumption makes the crucial step of the original reasoning valid, it nevertheless renders another important transition unjustified, therefore the entire reasoning collapses.

Robert B. Griffiths