Synthese 188 (3):367-379 (2012)

Authors
Peter Øhrstrøm
Aalborg University
Abstract
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)
ISBN(s)
DOI 10.1007/s11229-011-9944-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,617
External links

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

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Time and Modality.A. N. PRIOR - 1955 - Greenwood Press.
Diodoran Modalities.A. N. Prior - 1955 - Philosophical Quarterly 5 (20):205-213.

Add more references

Citations of this work BETA

Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
Future Contingents.Peter Øhrstrøm & Per Hasle - 2011 - Stanford Encyclopedia of Philosophy.
BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.

View all 17 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2012-10-09

Total views
55 ( #173,171 of 2,348,883 )

Recent downloads (6 months)
1 ( #512,628 of 2,348,883 )

How can I increase my downloads?

Downloads

My notes