Branching space-time, modal logic, and the counterfactual conditional
Graduate studies at Western
|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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Thomas Muller (2007). A Branching Space-Times View on Quantum Error Correction. Studies in History and Philosophy of Science Part B 38 (3):635-652.
T. Placek (2012). Indeterminism is a Modal Notion: Branching Spacetimes and Earman's Pruning. [REVIEW] Synthese 187 (2):441-469.
Thomas Müller, Nuel Belnap & Kohei Kishida (2008). Funny Business in Branching Space-Times: Infinite Modal Correlations. Synthese 164 (1):141 - 159.
Tomasz Placek (2012). On Individuals in Branching Histories. Synthese 188 (1):23-39.
Roberto Ciuni & Alberto Zanardo (2010). Completeness of a Branching-Time Logic with Possible Choices. Studia Logica 96 (3):393-420.
Thomas Müller (2010). Towards a Theory of Limited Indeterminism in Branching Space-Times. Journal of Philosophical Logic 39 (4):395 - 423.
Thomas Müller (2012). Branching in the Landscape of Possibilities. Synthese 188 (1):41-65.
Matt Farr (2012). On A- and B-Theoretic Elements of Branching Spacetimes. Synthese 188 (1):85-116.
Added to index2009-01-28
Total downloads21 ( #65,420 of 739,352 )
Recent downloads (6 months)0
How can I increase my downloads?