| Autor: |
Peter Øhrstrøm, Manuel González |
| Jazyk: |
angličtina |
| Rok vydání: |
2022 |
| Předmět: |
|
| Zdroj: |
Øhrstrøm, P & González, M 2022, ' Prior’s big Y and the Idea of Branching Time ', History and Philosophy of Logic, pp. 1-4 . https://doi.org/10.1080/01445340.2022.2147809 |
| DOI: |
10.1080/01445340.2022.2147809 |
| Popis: |
In his famous letter to A. N. Prior dated 3 September 1958, Saul Kripke suggested the use of branching time in temporal logic. In this paper, however, it is argued that Prior worked with an idea close to the notion of branching time (‘the big Y’) already the year before he received Kripke’s letter. It is likely that Prior’s findings based on this early study can explain why Prior so quickly accepted the idea of branching time when he received Kripke’s letter. In his famous letter to A. N. Prior dated 3 September 1958, Saul Kripke suggested the use of branching time in temporal logic. In this paper, however, it is argued that Prior worked with an idea close to the notion of branching time (‘the big Y’) already the year before he received Kripke’s letter. It is likely that Prior’s findings based on this early study can explain why Prior so quickly accepted the idea of branching time when he received Kripke’s letter. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
