Tense Logic and Ontology of Time

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 (2021)
  Copy   BIBTEX

Abstract

This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and mapped to the ontology of time.

Links

PhilArchive

External links

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

Through your library

Similar books and articles

Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Tense, Propositions, and Facts.Ulrich Meyer - 2016 - Synthese 193 (11):3691-3699.
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.
A Note on the Interpolation Property in Tense Logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
An A-Theory Without Tense Operators.Meghan Sullivan - 2016 - Canadian Journal of Philosophy 46 (4-5):735-758.
Time and Modality.Arthur N. Prior - 1955 - Greenwood Press.
Finite Trees in Tense Logic.Bellissima Fabio & Cittadini Saverio - 1999 - Studia Logica 62 (2):121-140.
Times in Tense Logic.Ulrich Meyer - 2009 - Notre Dame Journal of Formal Logic 50 (2):201--19.
Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi - 2002 - Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME-02:141-145.

Analytics

Added to PP
2021-10-17

Downloads
34 (#341,281)

6 months
17 (#56,189)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Avril Styrman
University of Helsinki

Citations of this work

No citations found.

Add more citations

References found in this work

Past, Present and Future.Arthur N. Prior - 1967 - Oxford, England: Clarendon Press.
Time and Physical Geometry.Hilary Putnam - 1967 - Journal of Philosophy 64 (8):240-247.
Truth and the Past.Michael Dummett - 2004 - Columbia University Press.
Branching Space-Time.Nuel Belnap - 1992 - Synthese 92 (3):385 - 434.

View all 18 references / Add more references