Abstract
The subject of time may be approached from many points of view. Some of these are concerned with its nature; e.g., philosophy (Kant’s Transzendentale Ästhetik), mathematics (Zeno’s Paradoxes) or physics (Theory of Relativity). Others are more methodological, so to speak, being concerned with the role of reference to time in statements or arguments. Thus, in this perspective, logic and linguistics are on the same side of the fence. (Which they have been from the time when logic turned from ontology to language.) In fact, a subject like tense logic may be considered to be an enterprise common to logicians and linguists. (Cf. [18], [12] and [17].) Still, there remains a clear difference of interest, as will be seen below.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Åqvist, L.: 1973, ‘Modal logic with subjunctive conditionals and dispositional predicates’, Journal of Philosophical Logic 2, 1–76.
van Benthem, J.F.A.K.: 1976, Modal Correspondence Theory, dissertation, Universiteit van Amsterdam. (An expanded version called Modal Logic as Second-Order Logic is to appear with Ossolineum, Wrocław, 1981.)
van Benthem, J. F. A. K.: 1974, ‘Some correspondence results in modal logic’, Report 74–05, Mathematisch Instituut, Universiteit van Amsterdam.
van Benthem, J. F. A. K.: 1977, ‘Tense logic and standard logic’, Logique et Analyse 80, 395–437.
Enderton, H. B.: 1972, A Mathematical Introduction to Logic, Academic Press, New York.
Frege, G.: 1879, Begriffsschrift. Eine Formelsprache des reinen Denkens, Nebert, Halle.
Gallin, D.: 1975, Intensional and Higher-Order Modal Logic, North-Holland, Amsterdam.
Geach, P. T.: 1972, Logic Matters, Oxford.
Goldblatt, R. I.: 1976, Metamathematics of Modal Logic, Reports on Mathematical Logic 6 and 7.
Henkin, L.: 1950, ‘Completeness in the theory of types’, Journal of Symbolic Logic 15, 81–91.
Hintikka, J.: 1974, ‘Quantifiers vs. quantification theory’, Linguistic Inquiry 5, 153–177.
Kamp, H.: 1971, ‘Formal properties of “Now”’, Theoria 37, 227–73.
Lemmon, E. J. & D. Scott: 1977, Intensional Logic, K. Segerberg (ed.), Blackwell, Oxford.
Makinson, D. C.: 1966, ‘On some completeness theorems in modal logic’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 12, 379–384.
McTaggart, J. M. E.: 1927, ‘The unreality of time’, in The Nature of Existence, Vol. II, Cambridge.
Monk, J. D.: 1976, Mathematical Logic, Springer, Berlin.
Needham, P.: 1975, Temporal Perspective, Filosofiska Studier 25, Uppsala.
Prior, A. N.: 1967, Past, Present and Future, Clarendon, Oxford.
Quine, W. V. O.: 1970, Philosophy of Logic, Prentice-Hall, Englewood Cliffs, New Jersey.
Quine, W. V. O.: 1953, From a Logical Point of View, Harvard, Cambridge.
Ramsey, F. P.: 1978, The Foundations of Mathematics, Routledge & Kegan Paul, London.
Thomason, S. K.: 1975, ‘Reduction of second-order logic to modal logic’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 21, 107–114.
Thomason, S. K.: 1972, ‘Semantic analysis of tense logics’, Journal of Symbolic Logic 37, 150–158.
Vlach, F.: 1973, ‘Now ’ and ‘Then’. A Formal Study in the Logic of Tense Anaphora, dissertation, University of California at Los Angeles.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 D. Reidel Publishing Company
About this chapter
Cite this chapter
Van Benthem, J.F.A.K. (1981). Tense Logic, Second-Order Logic and Natural Language. In: Mönnich, U. (eds) Aspects of Philosophical Logic. Synthese Library, vol 147. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-8384-7_1
Download citation
DOI: https://doi.org/10.1007/978-94-009-8384-7_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-8386-1
Online ISBN: 978-94-009-8384-7
eBook Packages: Springer Book Archive