Report on Tense Logic
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.
KeywordsModal Logic Temporal Logic Tense Logic Tensed Modality Propositional Function
Unable to display preview. Download preview PDF.
- Å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
- Kaplan, D., ‘Demonstratives’, presented American Philosophical Association, Pacific Division, April 1977.Google Scholar
- Prior, A. N., Time and Modality, Oxford, 1957.Google Scholar
- Reichenbach, H., Elements of Symbolic Logic, New York, 1947.Google Scholar
- Rescher, N. and Urquhart, A., Temporal Logic, New York, 1971.Google Scholar
- Stalnaker, R., ‘A Theory of Conditionals’, in N. Rescher (ed.), Studies in Logical Theory, American Philosophical Quarterly, Monograph Series, Oxford, 1968.Google Scholar
- Thomason, R. H. H., ‘A Theory of Conditionals in the Context of Branching Time’, Philosophical Review, January, 1980.Google Scholar
- van Fraassen, B.C, B.C., ‘A Temporal Framework for Conditionals and Chance’, Philosophical Review, January, 1980.Google Scholar