Abstract
The object of chronological logic — ‘tense logic’ or ‘change logic’ as it has also been called by various authors — is to systematize reasoning with propositions that have a temporalized copula. Such propositions do not involve the timeless ‘is’ (or ‘are’) of the mathematicians’ ‘3 is a prime’, but rather envisage an explicitly temporal condition: ‘Bob is sitting’, ‘Robert was present’, ‘Mary will have been informed’. In this area, we have to do with statements involving ‘time talk’ in which some essential reference to the Before-After relationship or the Past-Present-Future relationship is at issue, and the ideas of succession change and constancy enter in. Chronological logic seeks to provide the linguistic and inferential apparatus for exact discourse and rigorous reasoning in this sphere.
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 on Chronological Logic
Anscombe, G. E. M. (1964) ‘Before and After’, The Philosophical Review 73 (1964) 3–24.
Aqyist, Lennart (1966) “Next” and “Ought”: Alternative Foundations for von Wright’s Tense Logic with an Application to Deontic Logic’, Logique et Analyse 9 (1966) 231–251.
Bull, R.A. (1965) ‘An Algebraic Study of Diodorean Modal Systems’, The Journal of Symbolic Logic 30 (1965) 58–64.
Clifford, John E. (1966) ‘Tense Logic and the Logic of Change’, Logique et Analyse 9 (1966) 219–230.
Cochiarella, Nino B. (1967a) ‘Modality Within Tense Logic’, Abstract in The Journal of Symbolic Logic 31 (1966) 690–691.
Cochiarella, Nino B(1967b) ‘A Completeness Theorem for Tense Logic’, Abstract in The Journal of Symbolic Logic 31 (1966) 689–690.
Gale, Richard(1968) The Language of Time (London, 1968).
Garson, JamesSee Rescher and Garson (1967b).
Los, Jerzy(1951) ‘Podstawy analizy metodologicznej kanonow Milla’ [Foundations of the methodological analysis of Mill’s canons], Annales Universitatis Mariae Curie-Sklodowska 2 (1947) 269301. Reviewed by Henry Hiz in The Journal of Symbolic Logic 16 (1951) 58–59.
Luce, David R. (1966) ‘A Calculus of Before’, Theoria 32 (1966) 24–44. Moody, Ernest A.(1953) tTruth and Consequence in Medieval Logic (Amsterdam, 1953). [For the schoolmen’s treatment of the temporal ‘ampliation’ of the terms of categorical propositions using tensed operators for past, present, and future, see pp. 53–63.]
Prior, Arthur N.(1957) Time and Modality (Oxford, 1957).
The Syntax of Time Distinctions’, Franciscan Studies 18
Prior, Arthur N(1958) 105–120. (1962a) ‘Tense-Logic and the Continuity of Time’, Studia Logica 13 (1962) 133–151.
Prior, Arthur N(1962b) ‘The Formalities of Omniscience’, Philosophy 37 (1962)114129.
Prior, Arthur N(1966) ‘Postulates for Tense Logic’, American Philosophical Quarterly 3 (1966) 153–161.
Prior, Arthur N(1967) Past, Present and Future (Oxford, 1967 ).
Reichenbach, Hans(1947) Elements of Symbolic Logic (New York, 1947).
Rescher, Nicholas(1963) t’Avicenna on the Logic of“Conditional” Propositions’, Notre Dame Journal of Formal Logic 4 (1963) 48–58. Reprinted in Studies in the History of Arabic Logic (Pittsburgh, 1963 ).
Rescher, Nicholas(1966a) ‘On the Logic of Chronological Propositions’, Mind 75 (1966) 75–96.
Rescher, Nicholas(1966b) tTemporal Modalities in Arabic Logic (Dordrecht, 1966). (1966c) The Logic of Commands (London, 1966 ).
Rescher, Nicholas(1966d) ‘Temporally Conditioned Descriptions’, Ratio 8 (1966) 46–54. With John Robison.
Rescher, Nicholas(1967a) t‘Truth and Necessity in Temporal Perspective’ in R. M. Gale (ed.), The Philosophy of Time (New York, 1967 ).
Rescher, Nicholas(1967b) ‘A Note on Chronological Logic’, Theoria 33 (1967) 39–44. With James Garson.
Rights and permissions
Copyright information
© 1968 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Rescher, N. (1968). Chronological Logic. In: Topics in Philosophical Logic. Synthese Library, vol 17. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-3546-9_12
Download citation
DOI: https://doi.org/10.1007/978-94-017-3546-9_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8331-9
Online ISBN: 978-94-017-3546-9
eBook Packages: Springer Book Archive