Synonyms
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...
Recommended Reading
Allen JF. Maintaining knowledge about temporal intervals. Commun ACM. 1983;26:832–43.
Allen JF, Hayes JP. A common-sense theory of time. Proc. 9th Int. Joint Conf. on AI; 1985. p. 528–31.
Meredith CJ. Prior, and the history of possible world semantics. Synthese. 2006;150(3):373–97.
Fraser JT, Haber FC, Müller GH, editors. The study of time, vol. I. Berlin: Springer; 1972.
Gale R, editor. The philosophy of time. New Jersey: Prometheus Books; 1968.
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.
Hasle P, Øhstrøm P. Foundations of Temporal Logic – the WWW-site for Prior-studies. http://www.prior.aau.dk.
Øhrstrøm P, Hasle P. Temporal logic. From ancient ideas to artificial intelligence. Dordrecht: Kluwer Academic; 1995.
Øhrstrøm P, Hasle P. The flow of time into logic and computer science. Bull Eur Assoc Theor Comput Sci. 2004;82:191–226.
Ohtsuka K, Brewer WF. Discourse organization in the comprehension of temporal order in narrative texts. Discourse Processes. 1992;15:317–36.
Prior AN. Past, present and future. Oxford: Oxford University Press; 1967.
Prior AN. Papers on time and tense. 2nd ed. Oxford: Oxford University Press; 2002.
Röper P. Intervals and tenses. J Philos Logic. 1980;9:451–69.
Ryan M-L. Possible worlds, artificial intelligence, and narrative theory. Bloomington: Indiana University Press; 1991.
Walker AG. Durées et instants. Rev Sci. 1947;85(3266):131 ff.
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.
Whitrow GJ. The natural philosophy of time. 2nd ed. Oxford: Oxford University Press; 1980.
Ø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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights 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