Times in Tense Logic
Ulrich Meyer · Notre Dame Journal of Formal Logic · 2009
Tense logic is often said to possess insufficient expressive resources to serve as a theory of the nature of time. This paper counters this objection by showing how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators "it was the case that" and "it will be the case that." This account of times is similar to what is known as "linguistic ersatzism" about possible worlds, but there are noteworthy differences between these two cases. In particular, while linguistic ersatzism would support actualism, the view of times defended here does not support presentism.