Ulrich Meyer

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

Instead of accepting instants of time as metaphysically basic entities, many philosophers regard them as abstractions from something else. There is the Russell-Whitehead view that times are maximal classes of simultaneous events; the linguistic ersatzer's proposal that times are maximally consistent sets of sentences or propositions; and the view that times are made up of temporal parts of material objects. This paper discusses the advantages and disadvantages of these various proposals and concludes in favor of a particular version of linguistic ersatzism about time.