Encyclopedia of Database Systems

2018 Edition
| Editors: Ling Liu, M. Tamer Özsu

Time in Philosophical Logic

  • Peter ØhrstrømEmail author
  • Per F. V. Hasle
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-8265-9_389


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.

Historical Background

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 [17]). According to...

This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Allen JF. Maintaining knowledge about temporal intervals. Commun ACM. 1983;26(11):832–43.zbMATHCrossRefGoogle Scholar
  2. 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
  3. 3.
    Meredith CJ. Prior, and the history of possible world semantics. Synthese. 2006;150(3):373–97.MathSciNetCrossRefGoogle Scholar
  4. 4.
    Fraser JT, Haber FC, Müller GH, editors. The study of time, vol. I. Berlin: Springer; 1972.Google Scholar
  5. 5.
    Gale R, editor. The philosophy of time. New Jersey: Prometheus Books; 1968.Google Scholar
  6. 6.
    Hamblin CL. Instants and intervals. In: Fraser JT, Haber FC, Müller GH, editors. The study of time, vol. I. Berlin: Springer; 1972. p. 324–31.CrossRefGoogle Scholar
  7. 7.
    Hasle P, Øhstrøm P. Foundations of Temporal Logic – the WWW-site for Prior-studies. http://www.prior.aau.dk.
  8. 8.
    Øhrstrøm P, Hasle P. Temporal logic. From ancient ideas to artificial intelligence. Dordrecht: Kluwer Academic; 1995.zbMATHGoogle Scholar
  9. 9.
    Øhrstrøm P, Hasle P. The flow of time into logic and computer science. Bull Eur Assoc Theor Comput Sci. 2004;82:191–226.zbMATHGoogle Scholar
  10. 10.
    Ohtsuka K, Brewer WF. Discourse organization in the comprehension of temporal order in narrative texts. Discourse Processes. 1992;15(3):317–36.CrossRefGoogle Scholar
  11. 11.
    Prior AN. Past, present and future. Oxford: Oxford University Press; 1967.zbMATHCrossRefGoogle Scholar
  12. 12.
    Prior AN. Papers on time and tense. 2nd ed. Oxford: Oxford University Press; 2002.Google Scholar
  13. 13.
    Röper P. Intervals and tenses. J Philos Logic. 1980;9(4):451–69.MathSciNetzbMATHCrossRefGoogle Scholar
  14. 14.
    Ryan M-L. Possible worlds, artificial intelligence, and narrative theory. Bloomington: Indiana University Press; 1991.Google Scholar
  15. 15.
    Walker AG. Durées et instants. Rev Sci. 1947;85(3266):131 ff.zbMATHGoogle Scholar
  16. 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
  17. 17.
    Whitrow GJ. The natural philosophy of time. 2nd ed. Oxford: Oxford University Press; 1980.zbMATHGoogle Scholar
  18. 18.
    Øhrstrøm P. What William of Ockham and Luis de Molina would have said to Nuel Belnap: a discussion of some arguments against “The Thin Red Line”. In: Outstanding contributions to logic, vol. 2. Dordrecht: Springer; 2014. p. 175–90.zbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Aalborg UniversityAalborgDenmark
  2. 2.Royal School of Library and Information ScienceUniversity of CopenhagenCopenhagen SDenmark

Section editors and affiliations

  • Richard T. Snodgrass
    • 1
  • Christian S. Jensen
    • 2
  1. 1.University of ArizonaTucsonUSA
  2. 2.Aalborg UniversityAalborg ØstDenmark