Australasian Journal of Philosophy 84 (3):311 – 332 (2006)
The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only 'real' time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the other. I shew that this translation is preserved at the metalinguistic level, so that equivalent truth conditions can be defined in a tensed metalanguage or an indexical metalanguage. I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Four Dimensionalism: An Ontology of Persistence and Time.Theodore Sider - 2001 - Oxford University Press.
Citations of this work BETA
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.
Modal Realism with Modal Tense 1.Takashi Yagisawa - 2008 - Australasian Journal of Philosophy 86 (2):309-327.
Similar books and articles
Tarski on “Essentially Richer” Metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
Naming Worlds in Modal and Temporal Logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Truth as Translation – Part A.Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (4):281-307.
Wishing It Were Now Some Other Time.William Lane Craig - 2001 - Philosophy and Phenomenological Research 62 (1):159-166.
Does Frege Use a Truth-Predicate in His ‘Justification’ of the Laws of Logic? A Comment on Weiner.Dirk Greimann - 2008 - Mind 117 (466):403-425.
The Tense Logic for Master Argument in Prior's Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - Studia Logica 92 (1):85 - 108.
Added to index2009-01-28
Total downloads87 ( #58,061 of 2,153,857 )
Recent downloads (6 months)1 ( #398,274 of 2,153,857 )
How can I increase my downloads?