Modeling Modal Talk in Quantum Mechanics

In this paper, modal and counterfactual logical connectives are defined in an extended framework of branching space-time (Belnap, N. D. (1992). Branching space-time. Synthese 92, 385–434). It is shown that a variety of definitions of the counterfactual can be given. The validity of certain modal statements occurring in quantum mechanics depends on the choice of definition. These considerations can be applied to an analysis of Stapp’s premises LOC1 and LOC2 from his purported proof of non-locality (Stapp, H. P. (1997). Nonlocal character of quantum theory. American Journal of Physics 65, 300–304). It is shown that while the validity of LOC1 depends on the choice of the definition of the counterfactual, LOC2 is absolutely invalid.