Future Contingents

Knuuttila, Simo

doi:10.1007/978-94-024-1665-7_176

Cited by 4 publications

(6 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is interesting that the logic of the TRL approach, and in particular the just-mentioned version of it, appears to come very close to the logic of future contingency suggested by Luis de Molina (1535-1600), who wanted to show that the doctrines of divine foreknowledge and human freedom of choice do not contradict each other (see [Øhrstrøm and Hasle 2020]).…”

Section: The Understanding Of the Instants Of Branching Time Structuresmentioning

confidence: 76%

“…For this reason, it may be reasonable to look for modifications to the TRL semantics according to which it is valid. One such attempt has recently been discussed by several authors (see [Øhrstrøm and Hasle 2020]). It is based on the definition of a revised TRL function for any arbitrary moment j in the branching time diagram.…”

Section: The Understanding Of the Instants Of Branching Time Structuresmentioning

confidence: 99%

See 1 more Smart Citation

Highlights in the Development of Tense-Logic

Øhrstrøm¹

2023

OrgF

View full text Add to dashboard Cite

In 1954, on the 27 th August, Arthur Norman Prior presented his ideas of tense-logic 1 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 tenselogic 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'.

show abstract

Section: The Understanding Of the Instants Of Branching Time Structuresmentioning

confidence: 76%

Section: The Understanding Of the Instants Of Branching Time Structuresmentioning

confidence: 99%

Highlights in the Development of Tense-Logic

Øhrstrøm¹

2023

OrgF

View full text Add to dashboard Cite

show abstract

“…Øhrstrøm and Hasle 1995, pp. 270-282;2020), in which chronicles (see footnote 2) are envisaged not as belonging to a tree-structure, but as parallel lines: every chronicle has its own time with appropriate moments; instants are only later defined as equivalence classes of contemporaneous moments that belong to different time lines. according to both figures ω 2 is truly predicable to t n , it is not truly predicable to all of its subintervals.…”

Section: Discriminating Possible Worlds Without Reifying Themmentioning

confidence: 99%

Future Contingencies and the Arrow and Flow of Time in a Non-Deterministic World According to the Temporal-Modal System TM

Arsenijević

Jandrić

2023

LLP

View full text Add to dashboard Cite

It is shown how the temporal-modal system of events TM (axiomatized in Appendix) allows for the avoidance of the logical determinism without the rejection of the principle of bivalence. The point is that the temporal and the modal parts of TM are so inter-related that modalities are in-the-real-world-inherent modalities independently of whether they concern actual or only possible events. Though formulated in a tenseless language, whose interpretation does not require the assumption of tense facts at the basic level of reality, TM implies an objective, observer-independent difference between tenses based only on the way in which modalities are distributed along the time continuum. The conclusion is that the arrow of time is an intra-model characteristic of any model of TM that describes the non-deterministic real world up to a certain point of its history, while the flow of time is an inter-model characteristic of the continuous transition between these models.

show abstract

“…Nuel Belnap and Mitchell Green's paper [1] initiated a lengthy and lively debate about branching time semantics based on chronicle functions, which they called Thin Red Line (TRL) functions. Also the semantics proposed in [3] has been discussed in a number of publications, see [9] and references therein. See also the very recent overview [12].…”

Section: Related Workmentioning

confidence: 99%

“…But Ockham would say that Fq can be true at t without being relativized to any chronicle. For a recent discussion, see [9].…”

Section: Prior's Ockhamistic Semanticsmentioning

confidence: 99%