Muller, Thomas (2001) Branching space-time, modal logic, and the counterfactual conditional. [Preprint]

Preview

Postscript tm_cracow_proc.ps Download (192kB)

Abstract

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.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Muller, Thomas
Keywords:	branching time, branching space-time, formal language, physical possibility, counterfactual conditional
Subjects:	General Issues > Models and Idealization Specific Sciences > Physics > Quantum Mechanics
Depositing User:	Dr. Thomas Müller
Date Deposited:	10 Dec 2001
Last Modified:	07 Oct 2010 15:10
Item ID:	509
Subjects:	General Issues > Models and Idealization Specific Sciences > Physics > Quantum Mechanics
Date:	December 2001
URI:	https://philsci-archive.pitt.edu/id/eprint/509

Commentary/Response Threads

• Muller, Thomas Branching space-time, modal logic, and the counterfactual conditional. (deposited 10 Dec 2001) [Currently Displayed]
  • Placek, Tomasz Comparative similarity in branching space-times. (deposited 26 Feb 2002)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item