Skip to main content
SpringerLink
Log in
Book cover

Encyclopedia of Database Systems pp 1–6Cite as

Time in Philosophical Logic

  • Living reference work entry
  • First Online:

  • 33 Accesses

Synonyms

Logic of time; Temporal logic

Definition

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 via an institution.

Recommended Reading

  1. Allen JF. Maintaining knowledge about temporal intervals. Commun ACM. 1983;26:832–43.

    Article  MATH  Google Scholar 

  2. Allen JF, Hayes JP. A common-sense theory of time. Proc. 9th Int. Joint Conf. on AI; 1985. p. 528–31.

    Google Scholar 

  3. Meredith CJ. Prior, and the history of possible world semantics. Synthese. 2006;150(3):373–97.

    Article  MathSciNet  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 

  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.

    Chapter  Google Scholar 

  7. Hasle P, Øhstrøm P. Foundations of Temporal Logic – the WWW-site for Prior-studies. http://www.prior.aau.dk.

  8. Øhrstrøm P, Hasle P. Temporal logic. From ancient ideas to artificial intelligence. Dordrecht: Kluwer Academic; 1995.

    MATH  Google Scholar 

  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.

    MATH  Google Scholar 

  10. Ohtsuka K, Brewer WF. Discourse organization in the comprehension of temporal order in narrative texts. Discourse Processes. 1992;15:317–36.

    Article  Google Scholar 

  11. Prior AN. Past, present and future. Oxford: Oxford University Press; 1967.

    Book  MATH  Google Scholar 

  12. Prior AN. Papers on time and tense. 2nd ed. Oxford: Oxford University Press; 2002.

    Google Scholar 

  13. Röper P. Intervals and tenses. J Philos Logic. 1980;9:451–69.

    Article  MathSciNet  MATH  Google Scholar 

  14. Ryan M-L. Possible worlds, artificial intelligence, and narrative theory. Bloomington: Indiana University Press; 1991.

    Google Scholar 

  15. Walker AG. Durées et instants. Rev Sci. 1947;85(3266):131 ff.

    MATH  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.

    Chapter  Google Scholar 

  17. Whitrow GJ. The natural philosophy of time. 2nd ed. Oxford: Oxford University Press; 1980.

    MATH  Google Scholar 

  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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Aalborg University, Aalborg, Denmark

    Peter Øhrstrøm

  2. Royal School of Library and Information Science, University of Copenhagen, Birketinget 6, 2300, Copenhagen S, Denmark

    Per F. V. Hasle

Authors
  1. Peter Øhrstrøm
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Per F. V. Hasle
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Peter Øhrstrøm .

Editor information

Editors and Affiliations

  1. Georgia Institute of Technology College of Computing, Atlanta, Georgia, USA

    Ling Liu

  2. University of Waterloo School of Computer Science, Waterloo, Ontario, Canada

    M. Tamer Özsu

Section Editor information

  1. University of Arizona, Tucson, AZ, USA

    Richard T. Snodgrass

  2. Aalborg University, Selma Lagerlöfs Vej 300, DK-9220, Aalborg Øst, Denmark

    Christian S. Jensen Ph.D.

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media LLC

About this entry

Cite this entry

Øhrstrøm, P., Hasle, P.F.V. (2016). Time in Philosophical Logic. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_389-2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4899-7993-3_389-2

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, New York, NY

  • Online ISBN: 978-1-4899-7993-3

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation