Abstract
Time is not definable in terms of other concepts. On the other hand, it is generally accepted that Augustine was right in claiming that we as human beings have a tacit knowledge of what time is. But how can this tacit knowledge be explored and discussed, if time as such cannot be defined? This paper suggests that temporal logic, and in particular the hybrid logic corresponding to A.N. Prior’s 3rd grade of tense-logical involvement, may be useful as a precise conceptual basis of a common language for the formal discussion of time. The paper offers a general investigation of this suggestion illuminating the conceptual potential and also some of the open questions within the study of temporal logic. It is argued that the endeavour of the logic of time can be seen as the study of some important manifestations and structures of our tacit knowledge of time.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bergson, H.: Time and Free Will, Authorised Translation by P.L. Pogson (First Impression 1910). George Allen & Unwin Ltd., London (1950)
Belnap, N.: Branching Histories Approach to Indeterminism and Free Will, Truth and Probability. In: Brown, B., Lepage, F. (eds.) Essays in Honour of Hugues Leblanc, pp. 197–211 (2005)
Bräuner, T.: Hybrid Logic and Its Proof-Theory. Applied Logic Series, vol. 37. Springer, Heidelberg (2011)
Copeland, J. (ed.): Logic and Reality: Essays on the Legacy of Arthur Prior. Oxford University Press, Oxford (1996)
Jakobsen, D., Øhrstrøm, P., Schärfe, H.: A.N. Prior’s Ideas on Tensed Ontology. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds.) ICCS-ConceptStruct 2011. LNCS, vol. 6828, pp. 118–130. Springer, Heidelberg (2011)
Jensen, C.S., Snodgrass, R.T. (eds.): Temporal Database Entries for the Springer Encyclopedia of Database Systems: A TIMECENTER Technical Report, Aalborg University & University of Arizona (2008), http://timecenter.cs.aau.dk/TimeCenterPublications/TR-90.pdf
McTaggart, J.E.: The Unreality of Time. Mind, 457–474 (1908)
Müller, T.: Branch dependence in the “consistent histories” approach to quantum mechanics. Foundations of Physics 37, 253–276 (2007)
Müller, T., Belnap, N., Kishida, K.: Funny business in branching space-times: infinite modal correlations. Synthese 164, 141–159 (2008)
Peirce, C.S.: Collected Papers of Charles Sanders Peirce. In: Hartshorne, C., Weiss, P., Burke, A. (eds). Harward University Press (1931-58)
Placek, T.: Stochastic outcomes in branching space-time: analysis of Bell’s theorem. The British Journal for the Philosophy of Science 51, 445–475 (2000)
Prigogine, I.: From Being to Becoming, Time and Complexity in the Physical Sciences. W. H. Freeman & Co., San Francisco (1980)
Prior, A.N.: Time and Modality. Clarendon Press, Oxford (1957)
Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)
Prior, A.N.: Papers on Time and Tense. In: P. Hasle, et al. (eds). Oxford University Press, Oxford (2003)
Prior, A.N.: The Notion of the Present. In: Fraser, J.T., Haber, F.C., Müller, G.H. (eds.) The Study of Time. Springer, Heidelberg (1972)
Prior, A.N.: Unpublished Papers on Time, The Prior Collection, Box 1-11. Bodleian Library, Oxford (1969)
Øhrstrøm, P., Hasle, P.: Temporal Logic - From Ancient Ideas to Artificial Intelligence. Kluwer Academic Publishers, Dordrecht (1995)
Øhrstrøm, P.: In Defense of the Thin Red Line: A Case for Ockhamism. Humana Mente 8, 17–32 (2009)
Øhrstrøm, P.: Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts. In: Ferré, S., Rudolph, S. (eds.) ICFCA 2009. LNCS, vol. 5548, pp. 66–81. Springer, Heidelberg (2009)
Øhrstrøm, P., Schärfe, H., Ploug, T.: Branching Time as a Conceptual Structure. In: Croitoru, M., Ferré, S., Lukose, D. (eds.) ICCS 2010. LNCS( LNAI), vol. 6208, pp. 125–138. Springer, Heidelberg (2010)
OWL Time, http://www.w3.org/TR/owl-time (accessed 2011)
UNL Web, http://www.unlweb.net/wiki/index.php/Time (accessed 2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Øhrstrøm, P. (2011). Towards a Common Language for the Discussion of Time Based on Prior’s Tense Logic. In: Vatakis, A., Esposito, A., Giagkou, M., Cummins, F., Papadelis, G. (eds) Multidisciplinary Aspects of Time and Time Perception. Lecture Notes in Computer Science(), vol 6789. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21478-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-21478-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21477-6
Online ISBN: 978-3-642-21478-3
eBook Packages: Computer ScienceComputer Science (R0)