Graduate studies at Western
Journal of Philosophical Logic 38 (2):229-247 (2009)
|Abstract||According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It shows that “now” and “then” are eliminable in quantified tense logic, provided we endow it with enough quantificational structure. The operators might not be redundant in some other systems of tense logic, but this merely indicates a lack of quantificational resources and does not show any deep-seated inability of tense logic to express claims about time. The paper closes with a brief discussion of the modal analogue of this issue, which concerns the role of the actuality operator in quantified modal logic|
|Keywords||Quantified tense logic “Now” and “then” Actuality operator|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Josh Parsons (2003). A–Theory for Tense Logicians. Analysis 63 (277):4–6.
Lennart Åqvist (1999). The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic. Journal of Philosophical Logic 28 (4):329-369.
Lennart Åqvist (1979). A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic. Journal of Philosophical Logic 8 (1):1 - 45.
Frank Wolter (1995). The Finite Model Property in Tense Logic. Journal of Symbolic Logic 60 (3):757-774.
Ulrich Meyer (2009). Times in Tense Logic. Notre Dame Journal of Formal Logic 50 (2):201--19.
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
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.
Ulrich Meyer (2006). Worlds and Times. Notre Dame Journal of Formal Logic 47 (1):25--37.
Added to index2009-01-28
Total downloads60 ( #19,266 of 739,404 )
Recent downloads (6 months)5 ( #17,085 of 739,404 )
How can I increase my downloads?