Click Here ">
« December 2005 »
S M T W T F S
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
You are not logged in. Log in
Entries by Topic
All topics  «
Counterfactuals
defl@tionism
GENERAL LOGIC
HUMAN SEMANTICS
Interconnections
PARACONSISTENCY
Polemics
SCIENCE & NEWS
Cognition & Epistemology
Notes on Pirah?
Ontology&possible worlds
PRAGMATICS
PROPAEDEUTICS
Syn-Sem Interface
Temporal Logic
Blog Tools
Edit your Blog
Build a Blog
RSS Feed
View Profile
Translate this
INTO JAPANESE
BROTHER BLOG
MAIEUTIKOS
LINGUISTIX&LOGIK, Tony Marmo's blog
Friday, 30 December 2005

Topic: Counterfactuals

Branching Space- Time, Modal Logic and the Counterfactual Conditional


By Thomas Muller

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 analyse 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 analysed.

Posted by Tony Marmo at 00:01 GMT
Updated: Friday, 30 December 2005 16:34 GMT

View Latest Entries