Times in Tense Logic
Meyer, Ulrich
Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, p. 201-219 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2009-04-15
Classification:  tense logic,  times,  modal logic,  possible worlds,  03B44,  03B45,  03B80 
@article{1242067711,
     author = {Meyer, Ulrich},
     title = {Times in Tense Logic},
     journal = {Notre Dame J. Formal Logic},
     volume = {50},
     number = {1},
     year = {2009},
     pages = { 201-219},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1242067711}
}

Meyer, Ulrich. Times in Tense Logic. Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, pp.  201-219. http://gdmltest.u-ga.fr/item/1242067711/