Time in Philosophical Logic
Logic of time; Temporal logic
The aim of the study of time in philosophical logic is to provide a conceptual framework for an interdisciplinary study of the nature of time and to formalize and study various conceptions and systems of time. In addition, the introduction of time into logic has led to the development of formal systems, which are particularly well suited to represent and study temporal phenomena such as program execution, temporal databases, and argumentation in natural language.
The philosophy of time is based on a long tradition, going back to ancient thought. It is an accepted wisdom within the field that no attempt to clarify the concept of time can be more than an accentuation of some aspects of time at the expense of others. Plato’s statement that time is the “moving image of eternity” and Aristotle’s suggestion that “time is the number of motion with respect to earlier and later” are no exceptions (see ). According to...
- 2.Allen JF, Hayes JP. A common-sense theory of time. In: Proceedings of the 9th International Joint Conference on AI; 1985. p. 528–31.Google Scholar
- 4.Fraser JT, Haber FC, Müller GH, editors. The study of time, vol. I. Berlin: Springer; 1972.Google Scholar
- 5.Gale R, editor. The philosophy of time. New Jersey: Prometheus Books; 1968.Google Scholar
- 7.Hasle P, Øhstrøm P. Foundations of Temporal Logic – the WWW-site for Prior-studies. http://www.prior.aau.dk.
- 12.Prior AN. Papers on time and tense. 2nd ed. Oxford: Oxford University Press; 2002.Google Scholar
- 14.Ryan M-L. Possible worlds, artificial intelligence, and narrative theory. Bloomington: Indiana University Press; 1991.Google Scholar
- 16.Whitrow GJ. Reflections on the concept of time. In: Fraser JT, Haber FC, Müller GH, editors. The study of time. Ith ed. Berlin: Springer; 1972. p. 1–11.Google Scholar