Abstract
Philosophical speculation about the nature of time has had a long tradition, with contributions by many major philosophers, from Saint Augustine to Kant (e.g.. Smart, 1979). In this century, a more systematic philosophy of time has developed along two lines, one within the philosophy of science (e.g.. Sklar, 1977), the other within logic (e.g.. Prior, 1967). Many specific issues have fueled research in these areas, of which the following four set the scene for our topic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Allen, J. Maintaining knowledge about temporal intervals. Communications of the Association for Computing Machinery, 1983, 26, 832–843.
Barwise, J., & Perry, J. Situations and attitudes. Boston: MIT Press, 1983.
Benthem, J. van. The logic of time. Dordrecht: Reidel, 1982.
Benthem, J. van. Tense logic and time. Notre Dame Journal of Formal Logic, 1984, 25, 1–16.
Beth, E. Rede en aanschouwing in de wiskunde. Groningen: Wolters, 1935.
Bohm,A. The special theory of relativity. Reading, MA: Benjamin/Cummins, 1965.
Borges, J. Labyrinths. Harmondsworth: Penguin Books, 1981.
Burgess, J. Logic and time. Journal of Symbolic Logic, 1979, 44, 566–582.
Burgess, J. Decidability for branching times. Studia Logica, 1980, 39, 203–218.
Dowty, D. Word meaning and montague grammar. Dordrecht: Reidel, 1979.
Estes, W.K. Memory for temporal information. In: J.A. Michon & J.L. Jackson (Eds.), Time, mind, and behavior. Heidelberg: SpringerVerlag, 1985, pp. 151–168.
Hayes, P. The naive physics manifesto. In: D. Michie (Ed), Expert systems. Edinburgh: Edinburgh University Press, 1979.
Humberstone, I. Interval semantics for tense logics. Journal of Philosophical Logic, 1979,8,171– 196.
Kamp, H. Instants, events and temporal discourse. In: R. Bauerle, E. Ugli, & A. von Stechow (Eds.), Semantics from different points of view. Berlin: Springer Verlag, 1979, pp. 376–417.
Manders, K. On the space time ontology of physical theories. Philosophy of Science, 1982, 49, 575–590.
McDermott, D. A temporal logic for reasoning about processes and plans. Cognitive Science 1982, 6, 101–155.
Meulen, A. ter. Events, quantities and individuals. In: E Landman & E Veltman (Eds.), Varieties of formal semantics, Vol. 3. Dordrecht: Foris, 1984, pp. 259–279.
Michon, J. A.Temporality and metaphor. In: J. A. Michon & J.L. Jackson (Eds.), Time, mind, and behavior. Heidelberg: Springer Verlag, 1985, pp. 288–296.
Miller, G.A., & Johnson–Laird P. Language and perception. Cambridge, MA.: Harvard University Press, 1976.
Montangero, J. The development of temporal inferences and meanings in 5- to 8-year old children. In: J. A. Michon & J.L. Jackson (Eds.), Time, mind, and behavior. Heidelberg: SpringerVerlag, 1985, pp. 279–287.
Mourelatos, A. Events, processes and states. Linguistics and Philosophy, 1978, 2, 415–435.
Pnueli, A. The temporal logic of programs. Proceedings of the 18th IEEE Annual Symposium on Foundations of Computer Science, Providence, NJ: 1977, pp. 46–57.
Prior, A. Past, present and future. Oxford: Clarendon Press, 1967.
Reichenbach, H., Elements of symbolic logic. Berkeley: University of California Press, 1947.
Russell, B. Our knowledge of the external world. London: Allen & Unwin, 1926.
Sklar, L. Space, time and space–time. Berkeley: University of California Press, 1977.
Smart, J.C.C. (Ed.), Problems of space and time. New York and London: McMillan, 1979.
Suppes, P., & Zinnes, J. Basic measurement theory. In: Handbook of mathematical psychology, Vol. 1. New York: Wiley, 1963, pp. 1–76.
Thomason, R. Combinations of tense and modality. In: D. Gabbay & E Guenthner (Eds.), Handbook of philosophical logic,Vol. II. Dordrecht: Reidel, 1984, pp. 135–165.
Vendler, Z. Linguistics in philosophy. Ithaca NY: Cornell University Press, 1967.
Verkuyl, H. On the compositional nature of the aspects. Dordrecht: Reidel, 1972.
Weyl, H. Philosophy of mathematics and natural science. New York: Atheneum Press, 1963.
White, M. The necessity of the past and modal–tense logic incompleteness. Notre Dame Journal of Formal Logic, 1984, 25, 59–71.
Winnie, J.The causal theory of space-time. In: J.S. Earman, C.N. Glymour, & J. J. Stachel (Eds.), Foundations of space-time theories. Minneapolis: University of Minnesota Press, 1977, pp. 134– 205.
Reference Notes
Benthem, J. van. Tenses in real time, 1983, research report 83–28. Vancouver: Department of Mathematics, Simon Fraser University. To appear in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik.
Benthem, J. van. A manual ofintensional logic. Stanford: Centre for the Study of Language and Information, Lecture Notes, 1984a.
Needham, P. Temporal intervals and temporal order. Manuscript, Department of Philosophy, University of Uppsala, 1979.
Thomason, S. Possible worlds, times and tenure. Vancouver: Department of Mathematics, Simon Fraser University, 1979.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin · Heidelberg
About this chapter
Cite this chapter
van Benthem, J. (1985). Semantics of Time. In: Michon, J.A., Jackson, J.L. (eds) Time, Mind, and Behavior. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70491-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-70491-8_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-70493-2
Online ISBN: 978-3-642-70491-8
eBook Packages: Springer Book Archive