Authors
David Jakobsen
Aalborg University
Abstract
Logic has sometimes been seen as an alternative to metaphysics and to speculation. In this paper it is argued that a different story should be told when it comes to temporal logic and tense-logic in particular. A.N. Prior’s first formulation of tense logic was mainly established in order to qualify the discussion of certain metaphysical and conceptual problems. Although temporal logic has now been developed in various abstract and rather technical ways, it may still serve as a great help for anyone who wants to clarify the discussion of important existential questions like the nature of time, determinism, future contingency or freedom of choice.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI DOI 10.1109
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,645
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
Arthur Prior and Medieval Logic.Sara L. Uckelman - 2012 - Synthese 188 (3):349-366.
Tense, Temporal Reference, and Tense Logic.Patrick Blackburn - 1994 - Journal of Semantics 11 (1-2):83-101.
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.
The Complexity of Temporal Logic Over the Reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
Expressive Completeness of Temporal Logic of Trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.
Bisimulations for Temporal Logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
A Note on the Interpolation Property in Tense Logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.

Analytics

Added to PP index
2016-12-09

Total views
24 ( #415,922 of 2,349,149 )

Recent downloads (6 months)
3 ( #239,088 of 2,349,149 )

How can I increase my downloads?

Downloads

My notes