Central and East European
Society for Phenomenology

Repository | Journal | Volume | Article

235700

Branching time, indeterminism and tense logic

Thomas PlougPeter Øhrstrøm

pp. 367-379

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.

Publication details

Published in:

Øhrstrøm Peter, Hasle Per F. V., Sandborg-Petersen Ulrik (2012) From a logical angle. Synthese 188 (3).

Pages: 367-379

DOI: 10.1007/s11229-011-9944-2

Full citation:

Ploug Thomas, Øhrstrøm Peter (2012) „Branching time, indeterminism and tense logic“. Synthese 188 (3), 367–379.