Abstract
This paper contains two parts. In the first one, we shall argue that in the tense system of English there are particles which are best analysed as, what we call, backwards-looking operators. By means of these operators (whose formal counterparts are to a large extent new in the literature) we shall establish the following limiting thesis concerning an adequate semantics for English tenses: For all natural numbers n, the semantics should have a capacity to keep track of n, points introduced earlier in an evaluation. In the second part of this paper, we shall present a formal language which contains operators of this new kind. We formulate explicit model theory for this formal language in Hintikka’s game-theoretical semantics. This semantical approach is sufficiently rich to satisfy the condition laid down by the limiting thesis mentioned.
I am indebted to Lauri Carlson, Jaakko Hintikka, and Krister Segerberg. Most of the material of the first part of this paper has appeared under the title ‘How Complex is English Tense Structure?’ in Papers from the Third Scandinavian Conference of Linguistics, Turku, Finland, pp. 337–348.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Åqvist, Lennart (1973), ‘Modal Logic with Subjunctive Conditionals and Dispositional Predicates’, Journal of Philosophical Logic 2, 1–76.
Carlson, Lauri (1975), Peliteoreettista semantiikkaa , unpublished thesis submitted in partial fulfilment of the requirements for the fil.kand. degree in the University of Helsinki, Helsinki. Carlson, Lauri (1978), ‘Strategic Anaphora’, forthcoming.
Gabbay, Dov M . (1974), ‘Tense Logics and the Tenses of English’, in J. M. E. Moravcsik (ed.) Logic and Philosophy for Linguists, Mouton, The Hague, 177–186.
Gabbay, Dov M . (1976a), ‘Two Dimensional Propositional Tense Logics’, in Asa Kasher (ed.) Language in Focus: Foundations, Methods, and Systems, D. Reidel Publishing Company, Dordrecht, 569–586.
Gabbay, Dov M. (1976b), Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, D. Reidel Publishing Company, Dordrecht.
Gale, D. and F. M. Stewart (1953), ‘Infinite Games with Perfect Information’, Annals of Mathematical Studies 28, 245–266.
Hintikka, Jaakko (1962), Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca.
Hintikka, Jaakko (1968), ‘Language-Games for Quantifiers’, in N. Rescher (ed.), Studies in Logical Theory, Basil Blackwell, Oxford. Reprinted with revisions as Chapter III of Jaakko Hintikka, Logic, Language Games, and Information, Clarendon Press, Oxford, 1973.
Hintikka, Jaakko (1969), Models for Modalities, D. Reidel Publishing Company, Dordrecht.
Hintikka, Jaakko (1974), ‘Quantifiers vs. Quantification Theory’, Linguistic Inquiry 5, 153–177.
Hintikka, Jaakko (1975a), ‘Impossible Possible Worlds Vindicated’, Journal of Philosophical Logic 4, 475–484.
Hintikka, Jaakko (1975b), ‘On the Limitations of Generative Grammar’, in Proceedings of the Scandinavian Seminar on Philosophy of Language, Philosophical Studies published by the Department of Philosophy, University of Uppsala, Uppsala, 1–92.
Hintikka, Jaakko (1976), ‘Quantifiers in Logic and Quantifiers in Natural Language’, in S. Körner (ed.), Philosophy of Logic, Basil Blackwell, Oxford, 208–232.
Hintikka, Jaakko (1978), ‘Quantifiers in Natural Language. Some Logical Problems’, this volume, pp. 295–314.
Hintikka, Jaakko and Lauri Carlson (1977), ‘Pronouns of Laziness in Game-Theoretical Semantics’, Theoretical Linguistics 3, 1–29.
Hintikka, Jaakko and Lauri Carlson (1978), ‘Conditionals, Generic Quantifiers, and Other Applications of Subgames’, in E. Saarinen (ed.) Game-Theoretical Semantics, D. Reidel Publishing Company, Dordrecht.
Hintikka, Jaakko and Esa Saarinen (1975), ‘Semantical Games and the Bach-Peters Paradox’, Theoretical Linguistics 2, 1–20.
Hintikka, Jaakko and Veikko Rantala (1976), ‘New Approach to Infinitary Languages’, Annals of Mathematical Logic 10, 95–115.
Jespersen, Otto (1933), Essentials of English Grammar, George Allen & Unwin Ltd., London.
Kamp, Hans (1968), Tense Logic and the Theory of Linear Order, UCLA dissertation, University Microfilms, Ann Arbor, Michigan.
Kamp, Hans (1971), ‘Formal Properties of “Now”’, Theoria 37, 227–273.
Kuhn, Steven (1976), Many - Sorted Modal Logics, Stanford dissertation, University Microfilms, Ann Arbor, Michigan.
Moravcsik, Julius M. E. (1975), Understanding Language, Mouton, The Hague.
Needham, Paul (1975), Temporal Perspective, Philosophical Studies published by the Department of Philosophy, University of Uppsala, Uppsala.
Needham, Paul (1976), ‘The Speaker’s Point of View’, Synthese 32, 309–327.
Owen, Guillermo (1968), Game Theory, W. Saunders Company, London.
Prior, A. N. (1957), Time and Modality, Clarendon Press, Oxford.
Prior, A. N. (1967), Past, Present and Future, Clarendon Press, Oxford.
Prior, A. N. (1968a), Papers on Time and Tense, Clarendon Press, Oxford.
Prior, A. N. (1968b), ‘“Now”’, Nous 2, 101–119.
Rantala. Veikko (1975), ‘Urn Models: A New Kind of Non-Standard Modal for First-Order Logic’, Journal of Philosophical Logic 2, 455–474.
Rantala, Veikko (1978), ‘Extension of Partial Isomorphism and Game-Theoretical Semantics’, this volume, pp. 119–151.
Saarinen, Esa (1977a), ‘Game-Theoretical Semantics’, The Monist 60, 406–418.
Saarinen, Esa (1977b), ‘Backwards-Looking Operators in Intensional Logic and in Philosophical Analysis: A Summary of Dissertation’, Reports from the Department of Philosophy, University of Helsinki, no. 7/1977.
Saarinen, Esa (1978), ‘Intensional Identity Interpreted’, Linguistics and Philosophy 2, 151–224.
Segerberg, Krister (1973), ‘Two-Dimensional Modal Logics’, Journal of Philosophical Logic 2, 77–96. 367
Segerberg, Krister (1973), ‘Two-Dimensional Modal Logics’, Journal of Philosophical Logic 2, 77–96. 367
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Saarinen, E. (1979). Backwards-Looking Operators in Tense Logic and in Natural Language. In: Hintikka, J., Niiniluoto, I., Saarinen, E. (eds) Essays on Mathematical and Philosophical Logic. Synthese Library, vol 122. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9825-4_18
Download citation
DOI: https://doi.org/10.1007/978-94-009-9825-4_18
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9827-8
Online ISBN: 978-94-009-9825-4
eBook Packages: Springer Book Archive