Journal of Philosophical Logic 38 (2):229-247 (2009)
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)|
References found in this work BETA
Foundations Without Foundationalism: A Case for Second-Order Logic.Stewart Shapiro - 1991 - Oxford University Press.
Languages of Possibility: An Essay in Philosophical Logic.Graeme Forbes - 1989 - Blackwell.
Citations of this work BETA
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.
Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
Similar books and articles
The Tense Logic for Master Argument in Prior's Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - Studia Logica 92 (1):85 - 108.
The Finite Model Property in Tense Logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic.Lennart Åqvist - 1979 - Journal of Philosophical Logic 8 (1):1 - 45.
The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic.Lennart Åqvist - 1999 - Journal of Philosophical Logic 28 (4):329-369.
Added to index2009-01-28
Total downloads102 ( #50,146 of 2,177,978 )
Recent downloads (6 months)4 ( #73,387 of 2,177,978 )
How can I increase my downloads?