Temporal Reference in Linear Tense Logic

Journal of Philosophical Logic 39 (2):173-200 (2010)
  Copy   BIBTEX

Abstract

The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,174

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

Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Tense, Propositions, and Facts.Ulrich Meyer - 2016 - Synthese 193 (11):3691-3699.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Outline for a Truth-Conditional Semantics for Tense.Ernest Lepore & Kirk Ludwig - 2003 - In Quentin Smith & Aleksandar Jokic (eds.), Tense, Time and Reference. MIT Press. pp. 49-105.
Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
A Note on the Interpolation Property in Tense Logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
Tense Logic a Study of Temporal Reference.Nino Barnabas Cocchiarella - 1966 - Los Angeles, CA, USA: University Microfilms International.

Analytics

Added to PP
2010-01-13

Downloads
118 (#103,769)

6 months
1 (#413,740)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Max Cresswell
Victoria University of Wellington

Citations of this work

Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.

Add more citations

References found in this work

Word and Object.Willard Van Orman Quine - 1960 - Cambridge, MA, USA: MIT Press.
Counterfactuals.David Lewis - 1973 - Cambridge, MA, USA: Blackwell.
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, England: Clarendon Press.

View all 34 references / Add more references