Graduate studies at Western
Australasian Journal of Philosophy 84 (3):311 – 332 (2006)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
David DeVidi & Graham Solomon (1999). Tarski on “Essentially Richer” Metalanguages. Journal of Philosophical Logic 28 (1):1-28.
M. J. Cresswell (2012). The World-Time Parallel: Tense and Modality in Logic and Metaphysics. Cambridge University Press.
D. M. Gabbay & G. Malod (2002). Naming Worlds in Modal and Temporal Logic. Journal of Logic, Language and Information 11 (1):29-65.
Donald Davidson (1994). What is Quine's View of Truth? Inquiry 37 (4):437 – 440.
Hannes Leitgeb (2001). Truth as Translation – Part A. Journal of Philosophical Logic 30 (4):281-307.
William Lane Craig (2001). Wishing It Were Now Some Other Time. Philosophy and Phenomenological Research 62 (1):159-166.
Dirk Greimann (2008). Does Frege Use a Truth-Predicate in His ‘Justification’ of the Laws of Logic? A Comment on Weiner. Mind 117 (466):403-425.
Donald Davidson (1999). The Emergence of Thought. Erkenntnis 51 (1):511-21.
Tomasz Jarmużek & Andrzej Pietruszczak (2009). The Tense Logic for Master Argument in Prior's Reconstruction. Studia Logica 92 (1):85 - 108.
M. J. Cresswell (2010). Temporal Reference in Linear Tense Logic. Journal of Philosophical Logic 39 (2):173 - 200.
Added to index2009-01-28
Total downloads64 ( #17,401 of 739,355 )
Recent downloads (6 months)2 ( #37,288 of 739,355 )
How can I increase my downloads?