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

Counterfactual Logic and the Hardy Paradox: Remarks on Shimony and Stein's Criticism of Stapp's Proof

Tomasz Bigaj

Published May 1, 2004• 2 citations
OpenAlex

Abstract

This is an extended critique of comments made by Abner Shimony and Howard Stein on Henry Stapp’s proof of the non-locality of quantum mechanics. Although I claim that ultimately Stapp’s proof does not establish its purported conclusion, yet Shimony and Stein’s criticism contains a number of weak points, which need to be clarified.

Related papers

Reply to “Comment on ‘Nonlocality counterfactuals, and quantum mechanics’ ”

William George Unruh

Stapp [preceding Comment, Phys. Rev. A 60, 2595 (1999)] has argued that my criticism of his nonlocality proof is wrong. I point out that counterfactual arguments are fraught with dangers, and that any such claim should use them in a conservative manner. A reanalysis of his claims continues to lead me to the conclusion that the nonlocality of quantum mechanics remains unproven.

Physical Review A•Sep 1, 1999•2 citations

The meaning of 'counterfactual' statements and non-locality in quantum mechanics

T. C. Choy, Debra Ziegeler

Recent discussions by Mermin [1] and Stapp [2] in this journal on non-locality and counterfactuality are shown to contain linguistic problems that require verification. As such they can at most provide us with two subjective choices for the meaning of 'counterfactual statements' in quantum mechanics. We shall show that the word 'counterfactual' is in fact inappropriate here and should be replaced by the word 'hypothetical'. Mermin's choice imposes a strictly contextual meaning based upon an interpretation of counterfactuality which he used to refute, without proof as we shall see, Stapp's logical proof [3] of non-locality in quantum theory. In linguistic theory both authors' choices of meaning: counterfactual versus hypothetical are equally acceptable and therefore some of the issues they discussed lie outside the domain of physics. The issues they discussed are further confused by the fact that in his reply Stapp [2] seems to have adopted Mermin's counterfactual interpretation against his own original [3] hypothetical interpretation. In the rest of this paper we shall adopt the hypothetical sense of Stapp's original statements but we modify his crucial statement LOC2 appropriately, then following his argumentations, we shall show that there is no conflict between relativity and quantum mechanics. We suggest that this should be the natural (pragmatic) choice of meaning in defining the predictions of events in the Hardy experiment.

arXiv:quant-ph/9907027•Jul 8, 1999•0 citations

Non-local Character of Quantum Mechanics: 20 Years Later

Tomasz Bigaj

In this tribute to Henry P. Stapp, I outline the historical development of the problem of non-locality in quantum mechanics starting from the EPR argument through Bell’s theorem up to Stapp’s own contributions. My focus is on Stapp’s 1997 proof of quantum non-locality that uses the logic of counterfactuals. On the basis of my own version of the proof presented in 2010, I give its informal analysis, emphasizing the role of Einstein’s criterion of reality in the derivation. I conclude that the proof achieves its objective, and I briefly point at its significance for the philosophical mind-body problem.

Activitas Nervosa Superior•Apr 16, 2019•2 citations

Comment on “Nonlocal character of quantum theory,” by Henry P. Stapp [Am. J. Phys. 65 (4), 300–304 (1997)]

Abner Shimony, Howard Stein

A 1997 paper by Henry Stapp attempts to achieve a definitive argument for his long-sustained thesis that quantum mechanics implies a nonlocality inconsistent with the locality of relativity theory. His argument assumes both the validity of counterfactual reasoning under certain circumstances and the free choice of performance of experiments, and it specifically refrains from any assumptions about “elements of physical reality” as understood by Einstein, Podolsky, and Rosen. In Sec. I we drastically condense his argument but retain his central principle of inference, called “LOC2,” which he claims is a consequence of relativistic locality. By careful attention to counterfactual reasoning we then throw doubt upon this claim and hence upon his argument as a whole. In Sec. II we answer Stapp’s reply to our critique of the 1997 paper. Section III is a postscript, commenting briefly on Stapp’s answer to Sec. II.

American Journal of Physics•Aug 1, 2001•18 citations

Nonlocality, counterfactuals, and quantum mechanics

William George Unruh

Stapp [Am. J. Phys. 65, 300 (1997)] has recently argued from a version of the Hardy-type experiments that quantum mechanics must be nonlocal, independent of any additional assumptions such as realism or hidden variables. I argue either that his conclusions do not follow from his assumptions or that his assumptions are not true of quantum mechanics and can be interpreted as assigning an unwarranted level of reality to the value of certain quantum attributes.

Physical Review A•Jan 1, 1999•36 citations

Comment on “Nonlocality, counterfactuals, and quantum mechanics”

Henry Pierce Stapp

A recent proof [H. P. Stapp, Am. J. Phys. 65, 300 (1997)], formulated in the symbolic language of modal logic, claims to show that contemporary quantum theory, viewed as a set of rules that allow us to calculate statistical predictions among certain kinds of observations, cannot be imbedded in any rational framework that conforms to the principles that (1) the experimenters' choices of which experiments they will perform can be considered to be free choices, (2) outcomes of measurements are unique, and (3) the free choices just mentioned have no backward-in-time effects of any kind. This claim is similar to Bell's theorem, but much stronger, because no reality assumption alien to quantum philosophy is used. The paper being commented on [W. Unruh, Phys. Rev. A 59, 126 (1999)] argues that some such reality assumption has been ``smuggled'' in. That argument is examined here and shown, I believe, to be defective.

Physical Review A•Sep 1, 1999•11 citations
Recent discussions by Mermin [1] and Stapp [2] in this journal on non-locality and counterfactuality are shown to contain linguistic problems that require verification. As such they can at most provide us with two subjective choices for the meaning of 'counterfactual statements' in quantum mechanics. We shall show that the word 'counterfactual' is in fact inappropriate here and should be replaced by the word 'hypothetical'. Mermin's choice imposes a strictly contextual meaning based upon an interpretation of counterfactuality which he used to refute, without proof as we shall see, Stapp's logical proof [3] of non-locality in quantum theory. In linguistic theory both authors' choices of meaning: counterfactual versus hypothetical are equally acceptable and therefore some of the issues they discussed lie outside the domain of physics. The issues they discussed are further confused by the fact that in his reply Stapp [2] seems to have adopted Mermin's counterfactual interpretation against his own original [3] hypothetical interpretation. In the rest of this paper we shall adopt the hypothetical sense of Stapp's original statements but we modify his crucial statement LOC2 appropriately, then following his argumentations, we shall show that there is no conflict between relativity and quantum mechanics. We suggest that this should be the natural (pragmatic) choice of meaning in defining the predictions of events in the Hardy experiment.
In this tribute to Henry P. Stapp, I outline the historical development of the problem of non-locality in quantum mechanics starting from the EPR argument through Bell’s theorem up to Stapp’s own contributions. My focus is on Stapp’s 1997 proof of quantum non-locality that uses the logic of counterfactuals. On the basis of my own version of the proof presented in 2010, I give its informal analysis, emphasizing the role of Einstein’s criterion of reality in the derivation. I conclude that the proof achieves its objective, and I briefly point at its significance for the philosophical mind-body problem.
A 1997 paper by Henry Stapp attempts to achieve a definitive argument for his long-sustained thesis that quantum mechanics implies a nonlocality inconsistent with the locality of relativity theory. His argument assumes both the validity of counterfactual reasoning under certain circumstances and the free choice of performance of experiments, and it specifically refrains from any assumptions about “elements of physical reality” as understood by Einstein, Podolsky, and Rosen. In Sec. I we drastically condense his argument but retain his central principle of inference, called “LOC2,” which he claims is a consequence of relativistic locality. By careful attention to counterfactual reasoning we then throw doubt upon this claim and hence upon his argument as a whole. In Sec. II we answer Stapp’s reply to our critique of the 1997 paper. Section III is a postscript, commenting briefly on Stapp’s answer to Sec. II.
A recent proof [H. P. Stapp, Am. J. Phys. 65, 300 (1997)], formulated in the symbolic language of modal logic, claims to show that contemporary quantum theory, viewed as a set of rules that allow us to calculate statistical predictions among certain kinds of observations, cannot be imbedded in any rational framework that conforms to the principles that (1) the experimenters' choices of which experiments they will perform can be considered to be free choices, (2) outcomes of measurements are unique, and (3) the free choices just mentioned have no backward-in-time effects of any kind. This claim is similar to Bell's theorem, but much stronger, because no reality assumption alien to quantum philosophy is used. The paper being commented on [W. Unruh, Phys. Rev. A 59, 126 (1999)] argues that some such reality assumption has been ``smuggled'' in. That argument is examined here and shown, I believe, to be defective.