Facebook Instagram Twitter RSS Feed PodBean Back to top on side

Highlights in the Development of Tense-Logic

In: Organon F, vol. 30, no. 1
Peter Øhrstrøm
Rok, strany: 2023, 5 - 31
Jazyk: eng
Kľúčové slová:
Tense-logic; A.N. Prior; time; modality; determinism.
Typ článku: Research Article
O článku:
In 1954, on the 27th August, Arthur Norman Prior presented his ideas of tense-logic1 for the first time. He developed the field further in many publications until his death in 1969. His books Time and Modality (1957a), Past, Present and Future (1967), and Papers on Time and Tense (1968) were clearly vital milestones. Much of Prior’s personal motivation had to do with his struggle with the logical tension between the theological doctrines of divine foreknowledge and human freedom. It turned out that tense-logic gave rise to a powerful tool for dealing with this and similar problems. Furthermore, important highlights in Prior’s tense-logic were the development of branching time and the introduction of instant propositions (leading to what has later been called ‘hybrid logic’). Since Prior’s death, many further developments of formal tense- logic and its semantics have been presented and carefully investigated. In philosophical logic, many researchers have focused on discussions regarding ‘the true future’ and the notion of ‘the thin red line’.
Ako citovať:
ISO 690:
Øhrstrøm, P. 2023. Highlights in the Development of Tense-Logic. In Organon F, vol. 30, no.1, pp. 5-31. 1335-0668. DOI: https://doi.org/10.31577/orgf.2023.30102

Øhrstrøm, P. (2023). Highlights in the Development of Tense-Logic. Organon F, 30(1), 5-31. 1335-0668. DOI: https://doi.org/10.31577/orgf.2023.30102
O vydaní:
Vydavateľ: Filozofický ústav SAV, Filosofický ústav AVČR
Publikované: 28. 2. 2023
Verejná licencia:
Creative Commons Attribution-NonCommercial 4.0 International Public License (CC BY-NC 4.0)