论文信息 - Branching space-time, modal logic, and the counterfactual conditional

Branching space-time, modal logic, and the counterfactual conditional

The paper gives a physicist's view on the framework of branching space-time (Belnap, Synthese 92 (1992), 385--434). Branching models are constructed from physical state assignments. The models are then employed to give a formal semantics for the modal operators ``possibly'' and ``necessarily'' and for the counterfactual conditional. The resulting formal language can be used to analyze quantum correlation experiments. As an application sketch, Stapp's premises LOC1 and LOC2 from his purported proof of non-locality (Am. J. Phys. 65 (1997), 300--304) are analyzed.

Thomas Müller | T. Müller

[1] Nuel Belnap,et al. Branching space-time , 1992, Synthese.

[2] L. Hardy,et al. Quantum mechanics, local realistic theories, and Lorentz-invariant realistic theories. , 1992, Physical review letters.

[3] Ming Xu,et al. Causation in Branching Time (I): Transitions, Events and Causes , 1997, Synthese.

[4] Tomasz Placek,et al. Stochastic Outcomes in Branching Space-Time: Analysis of Bell's Theorem , 2000, The British Journal for the Philosophy of Science.

[5] J. Finkelstein. Space-Time Counterfactuals , 2004, Synthese.

[6] A. Bressan. On Physical Possibility , 1980 .

[7] Henry P. Stapp,et al. Nonlocal character of quantum theory , 1997 .

[8] Henry P. Stapp,et al. Response to “Comment on ‘Nonlocal character of quantum theory,’ ” by Abner Shimony and Howard Stein [Am. J. Phys. 69 (8), 848–853 (2001)] , 2001 .

[9] John C. Bigelow,et al. Subjunctive Reasoning , 1980 .

[10] Thomas Müller,et al. Against a Minimalist Reading of Bell's Theorem: Lessons from Fine , 2001, Synthese.

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

[12] David Lewis,et al. Ordering semantics and premise semantics for counterfactuals , 1981, J. Philos. Log..

[13] Abner Shimony,et al. On Quantum Non-Locality, Special Relativity, And Counterfactual Reasoning , 2003 .