PhilSci Archive

Counterfactuals and non-locality of quantum mechanics

Bigaj, Tomasz (2002) Counterfactuals and non-locality of quantum mechanics. [Preprint]

[img]
Preview
PDF
Article1.pdf

Download (125kB)

Abstract

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.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Bigaj, Tomasz
Keywords: qyantum mechanics, non-locality, realism, counterfactuals
Subjects: Specific Sciences > Physics > Quantum Mechanics
Depositing User: Tomasz Bigaj
Date Deposited: 07 Jan 2003
Last Modified: 13 Sep 2015 15:28
Item ID: 961
Subjects: Specific Sciences > Physics > Quantum Mechanics
Date: May 2002
URI: https://philsci-archive.pitt.edu/id/eprint/961

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item