Advertisement

Report on Tense Logic

  • Bas C. Van Fraassen
Part of the Synthese Library book series (SYLI, volume 149)

Abstract

Tense logic is a very young subject; in its current form it began with Prior’s book Time and Modality (1957). An excellent chronological bibliography can be found in Rescher and Urquhart Temporal Logic (1971). I shall here survey important recent developments with special attention to two problems: how can tense be combined with modal operators and conditionals, and, can the past and future operators be eliminated in favour of operators which ‘pay no attention’ to the direction of time? As final preliminary, we must distinguish between temporal logic and tense logic. In this report I am concerned with the latter. By ‘a tensed proposition’ I mean whatever is expressed by such sentences as ‘Professor Cohen has been happy’, ‘I am happy’, and ‘The translator will always be happy’.

Most of the topics covered in this paper are treated more fully in my other papers listed in the bibliography.

Keywords

Modal Logic Temporal Logic Tense Logic Tensed Modality Propositional Function 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Åqvist, L., ‘Modal Logic with Subjunctive Conditionals and Dispositional Predicates’, J. Philosophical Logic 2 (1973), 1–76.CrossRefGoogle Scholar
  2. Åqvist, L., ‘Formal Semantics for Verb Tense as analyzed by Reichenbach’, in T. A. van Dijk (ed.), Pragmatics of Language and Literature, North-Holland, Amsterdam, 1976.Google Scholar
  3. Kaplan, D., ‘Demonstratives’, presented American Philosophical Association, Pacific Division, April 1977.Google Scholar
  4. Kamp, H., Formal Properties of “Now” ‘, Theoria 37 (1971), 227–274.CrossRefGoogle Scholar
  5. Prior, A. N., ‘Now’, Noûs 2 (1968), 101–119.CrossRefGoogle Scholar
  6. Prior, A. N., Time and Modality, Oxford, 1957.Google Scholar
  7. Reichenbach, H., Elements of Symbolic Logic, New York, 1947.Google Scholar
  8. Rescher, N. and Urquhart, A., Temporal Logic, New York, 1971.Google Scholar
  9. Segerberg, K., ‘Two-dimensional Modal Logic’, J. Philosophical Logic 2 (1973), 77–96.CrossRefGoogle Scholar
  10. Stalnaker, R., ‘A Theory of Conditionals’, in N. Rescher (ed.), Studies in Logical Theory, American Philosophical Quarterly, Monograph Series, Oxford, 1968.Google Scholar
  11. Thomason, R. H., ‘Indeterminist Time and Truthvalue Gaps’, Theoria 36 (1970), 264–281.CrossRefGoogle Scholar
  12. Thomason, R. H. H., ‘A Theory of Conditionals in the Context of Branching Time’, Philosophical Review, January, 1980.Google Scholar
  13. van Fraassen, B. C., ‘The Only Necessity is Verbal Necessity’, J. Philosophy 74 (1977), 71–85.CrossRefGoogle Scholar
  14. van Fraassen, B.C, B.C., ‘A Temporal Framework for Conditionals and Chance’, Philosophical Review, January, 1980.Google Scholar
  15. Woolhouse, R. S., ‘Tensed Modalities’, J. Philosophical Logic 2 (1973), 393–415.CrossRefGoogle Scholar

Copyright information

© D. Reidel Publishing Company 1981

Authors and Affiliations

  • Bas C. Van Fraassen
    • 1
    • 2
  1. 1.University of TorontoUSA
  2. 2.University of Southern CaliforniaUSA

Personalised recommendations