, Volume 188, Issue 3, pp 367–379 | Cite as

Branching time, indeterminism and tense logic

Unveiling the Prior–Kripke letters


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.


Branching time Indeterminism Tense logic Free choice Special relativity Saul Kripke A. N. Prior 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Copeland, J. (eds) (1996) Logic and Reality: Essays on the legacy of arthur prior. Oxford University Press, OxfordGoogle Scholar
  2. Øhrstrøm P., Hasle P. (1995) Temporal Logic—From ancient ideas to artificial intelligence. Kluwer Academic Publishers, DordrechtGoogle Scholar
  3. Prior A. (1957a) Diodoran modalities. The Philosophical Quarterly 5: 205–213CrossRefGoogle Scholar
  4. Prior A. (1957b) Time and Modality. Clarendon Press, OxfordGoogle Scholar
  5. Prior A. (1967) Past, present and future. Clarendon Press, OxfordCrossRefGoogle Scholar
  6. Prior, A. (n.d.). ‘Some Free thinking about Time’. Kept in the prior collection at Bodleian Library, Oxford. Published in P. Øhrstrøm’s edition in (Copeland, 1996, pp. 47–51).Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Department of Communication and PsychologyAalborg UniversityBallerupDenmark
  2. 2.Department of communication and psychologyAalborg UniversityAalborg EastDenmark

Personalised recommendations