Branching time, indeterminism and tense logic

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

16 Citationer (Scopus)

Resumé

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.
OriginalsprogDansk
TidsskriftSynthese
Vol/bind188
Udgave nummer3
Sider (fra-til)367-379
Antal sider13
ISSN0039-7857
DOI
StatusUdgivet - 1 okt. 2012

Emneord

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

Citer dette

@article{906e932eb0a546b592458bb4777d79fa,
title = "Branching time, indeterminism and tense logic",
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 , Saul Kripke , Indeterminism, Tense logic , Free choice , Special relativity , A. N. Prior",
author = "Thomas Ploug and Peter {\O}hrstr{\o}m",
year = "2012",
month = "10",
day = "1",
doi = "10.1007/s11229-011-9944-2",
language = "Dansk",
volume = "188",
pages = "367--379",
journal = "Synthese",
issn = "0039-7857",
publisher = "Springer",
number = "3",

}

Branching time, indeterminism and tense logic. / Ploug, Thomas; Øhrstrøm, Peter.

I: Synthese, Bind 188, Nr. 3, 01.10.2012, s. 367-379.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

TY - JOUR

T1 - Branching time, indeterminism and tense logic

AU - Ploug, Thomas

AU - Øhrstrøm, Peter

PY - 2012/10/1

Y1 - 2012/10/1

N2 - 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.

AB - 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.

KW - Branching time

KW - Saul Kripke

KW - Indeterminism

KW - Tense logic

KW - Free choice

KW - Special relativity

KW - A. N. Prior

UR - http://www.scopus.com/inward/record.url?scp=84867333814&partnerID=8YFLogxK

U2 - 10.1007/s11229-011-9944-2

DO - 10.1007/s11229-011-9944-2

M3 - Tidsskriftartikel

VL - 188

SP - 367

EP - 379

JO - Synthese

JF - Synthese

SN - 0039-7857

IS - 3

ER -