The Concept of Time: A Philosophical and Logical Perspective
As pointed out by St. Augustine we cannot give a proper definition of time as such. Furthermore, conceiving time as a literal object would be highly problematic. It is, however, possible to establish a conceptual framework for meaningful discussion of the temporal aspects of reality in terms of the philosophical logic of time developed by Arthur Norman Prior. This framework is based on the view that John McTaggart’s A-language is more fundamental than the B-language. Prior’s view can be seen as based on some important properties of human experiences of time, and it involves the claim that it is useful to study the temporal aspects of reality in terms of so-called branching time models. This can in fact be done in several ways. It turns out that some of the most attractive and richest theories based on the ideas of branching time may be seen as formalisations of medieval and other early suggestions made by scholars such as William of Ockham and Luis de Molina. The tense-logical formalism appears to be useful wherever it is important to reason strictly regarding the temporal aspects of reality. Prior’s approach gives rise to a formal language which is relevant in the context of Julius T. Frazer’s hierarchical understanding of time as such and in the study of time in general. It offers a very powerful way to deal with time in a conceptually consistent, systematic and precise manner.
KeywordsTemporal logic Tense-logic Branching time Temporal aspects of reality The thin red line
- Augustine, Saint. 1955. Confessions. Trans. and ed. Albert C. Outler. http://www.ccel.org/ccel/Augustine/Confessions. Accessed 6 July 2014.
- Belnap, Nuel, Michael Perloff, and Ming Xu. 2001. Facing the future: Agents and choices in our indeterminist world. Oxford: Oxford University Press.Google Scholar
- de Molina, Luis. 1988. On divine foreknowledge Trans. Alfred J. Freddoso. Ithaca: Cornell University Press.Google Scholar
- Jakobsen, David. 2013. Arthur Norman Priors bidrag til metafysikken, Ph.D. dissertation. Department of Communication and Psychology, Aalborg University.Google Scholar
- McTaggart, John M.E. 1908. The unreality of time. Mind: A Quarterly Review of Psychology and Philosophy 17: 456–473.Google Scholar
- Mumford, Lewis. 2010. Technics and civilization. Chicago: University of Chicago Press (First published in 1934).Google Scholar
- Pnueli, Amir. 1977. The temporal logic of programs. In Proceeding SFCS ‘77: Proceedings of the 18 th Annual Symposium on Foundations of Computer Science, 46–57. Washington, DC: IEEE Computer Society.Google Scholar
- Prior, Arthur N. 1957. Time and modality. Oxford: Oxford University Press.Google Scholar
- Prior, Arthur N. 1996a. A statement on temporal realism. In Logic and reality: Essays on the legacy of Arthur Prior, ed. Jack Copeland, 45–46. Oxford: Clarendon Press.Google Scholar
- Prior, Arthur N. 1996b. Some free thinking about time. In Logic and reality: Essays on the legacy of Arthur Prior, ed. Jack Copeland, 47–51. Oxford: Clarendon Press.Google Scholar
- Prior, Arthur N. 2003. In Papers on time and tense, new edition, ed. Per Hasle, Peter Øhrstrøm, Torben Braüner, and Jack Copeland. Oxford: Oxford University Press.Google Scholar
- William of Ockham. 1969. Predestination, God’s foreknowledge, and future contingents Trans. Marilyn McCord Adams and Norman Kretzmann. Indianapolis: Hackett.Google Scholar