Branching time, indeterminism and tense logic: Unveiling the Prior–Kripke letters

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

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2012-10-09

Downloads
88 (#193,963)

6 months
17 (#151,142)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Øhrstrøm
Aalborg University

References found in this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Øhrstrøm & Per F. V. Hasle - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
Time and Modality.A. N. PRIOR - 1957 - Philosophy 34 (128):56-59.

View all 8 references / Add more references