David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 188 (3):367-379 (2012)
This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately intervowen with considerations of how to represent indeterminism and of the adequacy of tensed logic in light of special relativity. The correspondence underpins the point that Prior's later development of branching time may be understood as a crucial part of his attempt at the formulating a conceptual framework integrating basic human notions of time and free choice
|Keywords||Branching time Indeterminism Tense logic Free choice Special relativity Saul Kripke A. N. Prior|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Arthur N. Prior (1967). Past, Present and Future. Oxford, Clarendon P..
A. N. Prior (1955/1979). Time and Modality. Greenwood Press.
A. N. Prior (1955). Diodoran Modalities. Philosophical Quarterly 5 (20):205-213.
Citations of this work BETA
Nuel Belnap & Thomas Müller (2013). BH-CIFOL: Case-Intensional First Order Logic. Journal of Philosophical Logic (2-3):1-32.
Thomas Müller (2015). Time and Determinism. Journal of Philosophical Logic 44 (6):729-740.
Antje Rumberg (2016). Transition Semantics for Branching Time. Journal of Logic, Language and Information 25 (1):77-108.
Thomas Müller (2012). Branching in the Landscape of Possibilities. Synthese 188 (1):41-65.
Similar books and articles
Jiri Benovsky (2013). Branching and (in)Determinism. Philosophical Papers 42 (2):151-173.
Alberto Zanardo (1990). Axiomatization of 'Peircean' Branching-Time Logic. Studia Logica 49 (2):183 - 195.
Nuel Belnap (2012). Newtonian Determinism to Branching Space-Times Indeterminism in Two Moves. Synthese 188 (1):5-21.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
T. Placek (2012). Indeterminism is a Modal Notion: Branching Spacetimes and Earman's Pruning. [REVIEW] Synthese 187 (2):441-469.
Matt Farr (2012). On A- and B-Theoretic Elements of Branching Spacetimes. Synthese 188 (1):85-116.
Nuel Belnap (1992). Branching Space-Time. Synthese 92 (3):385 - 434.
Thomas Müller (2010). Towards a Theory of Limited Indeterminism in Branching Space-Times. Journal of Philosophical Logic 39 (4):395 - 423.
Max Cresswell (2013). Axiomatising the Prior Future in Predicate Logic. Logica Universalis 7 (1):87-101.
Roberto Ciuni & Alberto Zanardo (2010). Completeness of a Branching-Time Logic with Possible Choices. Studia Logica 96 (3):393-420.
Added to index2012-10-09
Total downloads22 ( #170,633 of 1,796,217 )
Recent downloads (6 months)1 ( #468,533 of 1,796,217 )
How can I increase my downloads?