Counterfactuals in quantum theory are briefly reviewed and it is argued that they are very different from counterfactuals considered in the general philosophical literature. The issue of time symmetry of quantum counterfactuals is considered and a novel time-symmetric definition of quantum counterfactuals is proposed. This definition is applied for analyzing several controversies related to quantum counterfactuals.

A definition is proposed to give precise meaning to the counterfactual statements that often appear in discussions of the implications of quantum mechanics. Of particular interest are counterfactual statements which involve events occurring at space-like separated points, which do not have an absolute time ordering. Some consequences of this definition are discussed.

Stapp's attempt to derive Bell's Inequality from a weak locality condition while retaining indeterminism, requires careful scrutiny to ensure unambiguous definitions and valid reasoning. Such scrutiny reveals that the argument is fallacious. This result is obtained without commitment to any particular formal analysis of truth conditions for counterfactuals nor to conditions for world similarity.

give a proof of the existence of nonlocal influences acting on correlated spin-1/2 particles in the singlet state which does not require any particular interpretation of quantum mechanics (QM). (Except Stapp holds that the proof fails under a many-worlds interpretation of QM—a claim we analyse in 1.2.) Recently, in responding to Redhead's ([1987], pp. 90-6) criticism that the Stapp 1 proof fails under an indeterministic interpretation of QM, Stapp [1989] (henceforth Stapp 2), has revised the logical structure of his proof (...) including its crucial locality assumption. Our main aim is to show that this revision is a step in the wrong direction because it faces two difficulties which undermine the resulting proof's significance (3.1) and validity (3. 2). We also clarify and extend the Stapp 1 proof (1. 1) with the aid of Lewis' analysis of counterfactuals (1. 2) and causal dependence (2. 2 and 2. 3). In so doing, we are able to identify two new defects in the Stapp 1 proof (1. 3 and 2. 1) in addition to corroborating Redhead's criticism (2. 2). Also, the additional assumptions which save the Stapp 1 proof's validity are detailed (2. 3) and some new difficulties for the determinist are pointed out by exploiting a slightly extended version of the proof (2. 4). In providing this full analysis of the Stapp 1 proof, we also construct the necessary framework within which to provide a critique of Stapp 2's proof (3). *Portions of this paper were presented by R. K. Clifton to the 1988 British Society for the Philosophy of Science Conference at the University of Southampton. R. K. Clifton wishes to thank the Natural Sciences and Engineering Research Council of Canada, the Royal Commission for the Exhibition of 1851, and the Governing Body of Peterhouse at Cambridge University for support during this work. (shrink)

In the paper, the proof of the non-locality of quantum mechanics, given by Bedford and Stapp (1995), 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). Finally, a general argument is produced to the effect that the locality condition in the form accepted by Stapp and Bedford is consistent with the quantum-mechanical predictions for the GHZ case under the assumption of indeterminism. This result undermines any future attempts of proving the incompatibility between the predictions of quantum theory and the idea of no faster-than-light influence in the GHZ case, quite independently of the negative assessment of the particular derivation proposed by Stapp and Bedford. (shrink)

One of the basic assumptions of David Lewis's formal semantics of counterfactuals is that the crucial relation of comparative similarity between possible worlds is a linear ordering.Yet there are arguments that when we take into account relativistic features of space-time, this relationshould be only a partial ordering. The first part of the paper deals with the question of how to formulate appropriatetruth conditions for counterfactuals under the supposition of a partial ordering of possible worlds. Such truthconditions will be put forward, (...) and it will be argued that they are more general than those proposed in recentliterature, because they turn out to be applicable also when the so-called Limit Assumption is not met. The secondpart analyzes two relativistically invariant ways of interpreting spatiotemporal counterfactuals with antecedentsreferring to free-chance point events. After briefly examining key differences between these two approaches,the issue of their extension for a broader class of antecedents will be addressed. Following the approach of Finkelstein, who has proposed a specifically designed similarity relation between possible worlds, servingas a generalization tool in the case of one of the above intuitions, the possibility of a similar extension forthe second interpretation will be considered. The main result of the paper is the theorem to the effect that thegeneralization of the second intuition is impossible to obtain. More specifically, the theorem proved in the paperstates that there is no similarity relation which together with the Lewis-style truth conditions for counterfactualswould imply the second of the above interpretations as a special case. Some consequences of thistheorem for the applicability of the Lewis logic of counterfactuals to quantum phenomena will be briefly mentionedat the end of the paper. (shrink)

A variation of Bell's theorem that deals with the indeterministic case is formulated and proved within the logical framework of Lewis's theory of counterfactuals. The no-faster-than-light-influence condition is expressed in terms of Lewis would counterfactual conditionals. Objections to this procedure raised by certain philosophers of science are examined and answered. The theorem shows that the incompatibility between the predictions of quantum theory and the idea of no faster-than-light influence cannot be ascribed to any auxiliary or tacit assumption of either determinism (...) or the related idea that outcomes of unperformed measurements are determinate within nature. In addition, the theorem provides an example of an application of Lewis's theory of counterfactuals in a rigorous scientific context. (shrink)

David Mermin suggests that my recent proof pertaining to quan tum nonlocality is undermined by an essential ambiguity pertaining to the meaning of counterfactual statements in quantum physics The ambiguity he cites arise from his imposition of a certain criterion for the meaningfulness of such counterfactual statements That criterion con ates the meaning of a counterfactual statement with the details of a proof of its validity in such a way as to make the meaning of such a statement dependent upon (...) the context in which it occurs That dependence violates the normal demand in logic that the meaning of a statement be de ned by the words in the statement itself not by the context in which the statement occurs My proof conforms to that normal requirement I describe the context independent meaning within my proof of the counterfactual statements in question.. (shrink)

In a recent article under the above title (but without the question mark) Henry Stapp has presented arguments which lead him to conclude that under suitable conditions “the truth of a statement that refers only to phenomena confined to an earlier time” must “depend on which measurement an experimenter freely chooses to perform at a later time.” I suggest that this conclusion contains an essential ambiguity as regards the meaning of the expression “statement referring only to phenomena confined to an (...) earlier time,” when such a statement talks about the outcome of an experiment that was not actually performed. As a result Stapp’s argumentation does not imply that future choices can affect present facts. But it does provide a wonderful and instructively different opportunity to reexamine a central point of Bohr’s famous reply to Einstein, Podolsky, and Rosen. (shrink)

Two principles of locality used in discussions about quantum mechanics are distinguished. The intuitive no-action-at-a distance requirement is called physical locality. There is also a mathematical requirement of a kind of factorizability which is referred to as "locality". It is argued in this paper that factorizability is not necessary for physical locality. Ways of producing models that are physically local although not factorizable which are concerned with correlations between the behavior of pairs of particles are suggested. These models can account (...) for all the quantum mechanical single and joint probabilities. (shrink)

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.