Time Schemes, Tense Logic and the Analysis of English Tenses

  • Franz Guenthner
Part of the Synthese Language Library book series (SLAP, volume 4)


Only recently have linguists and philosophers of language begun to apply other logical systems than ordinary predicate logic in the area of formal semantics for natural language. One of these ‘non-standard’ branches of logic — which deals with notions just as central as predication or quantification — is tense logic. The major motivation for developing tense logics was certainly to accommodate the temporal factor in everyday discourse within languages of propositional and predicate logic. In this paper I would like to examine to what extent existing systems of tense logic have been useful in describing and explaining tensed constructions in ordinary language, in particular, in English.


Relative Clause Reference Interval Formal Semantic Predicate Logic Tense Operator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Åqvist, L. (1976), ‘Formal Semantics for Verb Tenses as Analyzed by Reichenbach’, in T. A. van Dijk (ed.), Pragmatics of Language and Literature, North Holland, Amsterdam.Google Scholar
  2. Åqvist, L., ‘A System of Chronologic Tense Logic’ (this volume).Google Scholar
  3. Åqvist, L. (1977), ‘On the Analysis of Some Accomplishment Verbs’, in C. Rohrer (ed.), The Logic of Tense and Aspect, Niemeyer, Tübingen.Google Scholar
  4. Åqvist, L. and Guenthner, F. (1977), ‘Fundamentals of a Theory of Aspect and Events Within the Setting of an Improved Tense-Logic’, to appear in F. Guenthner and C. Rohrer (eds.), Studies in Formal Semantics, North Holland, Amsterdam.Google Scholar
  5. Åqvist, L., Guenthner, F., and Rohrer, C. (1977), ‘Definability in ITL of Some Temporal Conjunctions in English’, in F. Guenthner and C. Rohrer (eds.), Studies in Formal Semantics, North Holland, Amsterdam.Google Scholar
  6. Bull, W. (1968), Time, Tense and the Verb, Los Angeles.Google Scholar
  7. Chomsky, N. (1957), Syntactic Structures, Mouton, La Haye.Google Scholar
  8. Gabbay, D., ‘Tense Logic with Split Truth Tables’ (to appear).Google Scholar
  9. Jesperson, O. (1958), The Philosophy of Grammar, London.Google Scholar
  10. Hoepelman, J. (1977), ‘The Analysis of Activity Verbs in Montague Grammar’, in F. Guenthner and C. Rohrer (eds.), Studies in Formal Semantics, North Holland, Amsterdam.Google Scholar
  11. Kamp, H. (1971), ‘Formal Properties of “Now”’, Theoria. Google Scholar
  12. Keenan, L. (1972), ‘On Semantically Based Grammar’, Linguistic Inquiry. Google Scholar
  13. Montague, R. (1974), ‘The Proper Treatment of Quantification in Ordinary English’, in R. H. Thomason (ed.), Formal Philosophy, Yale UP, New Haven.Google Scholar
  14. Needham, P. (1976), ‘On the Speaker’s Point of View’, Synthese. Google Scholar
  15. Prior, A. (1967), Past, Present, Future, Oxford UP, Oxford.Google Scholar
  16. Reichenbach, H. (1947), Elements of Symbolic Logic, New York.Google Scholar
  17. Vendler, Z. (1967), Linguistics in Philosophy, Cornell UP, Ithaca.Google Scholar
  18. Vlach, H. (1973), ‘“Now” and “Then”’, Diss., UCLA.Google Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1978

Authors and Affiliations

  • Franz Guenthner
    • 1
  1. 1.Universität TübingenGermany

Personalised recommendations