Prior’s big Y and the Idea of Branching Time

&
History and Philosophy of Logic:1-4 (2022)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2022.2147809

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

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

Through your library

My notes

Similar books and articles

Branching time, indeterminism and tense logic: Unveiling the Prior–Kripke letters.Thomas Ploug & Peter Øhrstrøm - 2012 - Synthese 188 (3):367-379.
Partial and paraconsistent approaches to future contingents in tense logic.Seiki Akama, Tetsuya Murai & Yasuo Kudo - 2016 - Synthese 193 (11).
Quantification over Sets of Possible Worlds in Branching-Time Semantics.Alberto Zanardo - 2006 - Studia Logica 82 (3):379-400.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
A.N. Prior's Logic.Peter Ohrstrom, Per F. W. Hasle & David Jakobsen - 2018 - Internet Encyclopedia of Philosophy.
Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.
Does branching explain flow of time or the other way around?Petr Švarný - 2015 - Synthese 192 (7):2273-2292.
Papers on time and tense.Arthur Norman Prior - 2003 - New York: Oxford University Press. Edited by Per F. V. Hasle.
Prior Arthur N.. Changes in events and changes in things. Papers on time and tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, pp. 1–14. Prior Arthur N.. On spurious egocentricity. Papers on time and tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, pp. 15–25. , pp. 326–335.)Prior Arthur N.. The formalities of omniscience. Papers on time and tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, pp. 26–44. , pp. 114–129.)Prior Arthur N.. Contemplation and action. Papers on time and tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, pp. 45–50.Prior Arthur N.. The consequences of actions. Papers on time and tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, pp. 51–58. Prior Arthur N.. Limited indeterminism. Papers on time and tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, pp. 59–65. , pp. 55–61.)Prior Arthur N.. Identifiable individuals. Papers on time and tense, by Prior Arthur N., Oxford at the Clarendon Press 19. [REVIEW]Nino Cocchiarella - 1971 - Journal of Symbolic Logic 36 (3):515-518.
William of Ockham on Future Contingency. Øhrstrøm & David Jakobsen - 2018 - KronoScope 18 (2):138-153.
Tense Logic and Ontology of Time.Avril Styrman - 2021 - Emilio M. Sanfilippo Et Al, Eds., Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, Held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS, Vol. 2969, 2021.
Papers on Time and Tense.Arthur Norman Prior - 1968 - Oxford, England: Oxford University Press UK. Edited by Per F. V. Hasle.
The Tense Logic for Master Argument in Prior’s Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - Studia Logica 92 (1):85 - 108.
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
Papers on Time and Tense.Arthur N. Prior - 1968 - Oxford, England: Oxford University Press UK. Edited by Per F. V. Hasle.

Analytics

Added to PP
2023-01-05

Downloads
17 (#868,760)

6 months
5 (#639,460)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

Papers on time and tense.A. N. Prior - 1968 - Revue Philosophique de la France Et de l'Etranger 160:500-501.
Space, time, and individuals.N. L. Wilson - 1955 - Journal of Philosophy 52 (22):589-598.
Opposite Number.A. N. Prior - 1957 - Review of Metaphysics 11 (2):196 - 201.
The fable of the four preachers.A. N. Prior - 2012 - Synthese 188 (3):455-457.

Add more references