PhilSci Archive

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

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

Download (188Kb) | Preview


    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:

    Item Type: Preprint
    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 11:10
    Item ID: 509

    Commentary/Response Threads

    Actions (login required)

    View Item

    Document Downloads