Abstract
In his paper ‘The logic of temporal discourse’, Pavel Tichý pointed out that contemporary systems of logic were unable to sufficiently formalise tenses. He therefore suggested temporal specification in transparent intensional logic (TIL), a system of logic that he developed. Discussing contemporary systems of logic, Tichý also took into account the system of Arthur N. Prior, who developed the first systems of modern temporal logic, and his criticism was also addressed to Prior. Tichý only focused, however, on Prior’s early systems of temporal logic. Patrick Blackburn recently raised the awareness that Prior also developed systems of hybrid logic in his latest periods. From the point of view of temporal specification, this system is particularly interesting as the system has greater expressive power than Prior’s early systems of temporal logic. It could also consequently deal with the problematic specifications of tenses that Pavel Tichý pointed out. It is not only the formal criterion that make Tichý and Prior’s approach suitable for comparison. Both logicians shared similar views on time and logic. All these convictions also influenced their systems of logic. The aim of this paper is to demonstrate that the temporal propositions that Tichý introduced as problematic could be formalised in Prior’s hybrid temporal logic. I will also compare formalisations in TIL and hybrid logic and Tichý and Prior’s views that influenced their systems of logic.
Similar content being viewed by others
Notes
Koukolíková (1988) demonstrated in her dissertation, for example, that the distinction between perfective and imperfective aspects in Czech could also be formalised in TIL.
There are propositions in Past Simple in which it is admittable that there is no direct time reference such as: ‘Shakespeare wrote Hamlet’ or ‘Brutus stabbed Caesar’. The time when it happened is implicitly contained in the proposition, anyway (Kuhn & Portner, 2002, pp. 299–300).
The passive of the proposition, namely ‘London has been visited by Shakespeare’, is acceptable, as Kuhn and Portner (2002, pp. 312–313) have pointed out. This is because London still possesses the capability to be visited. The existence of the subject is therefore crucial for the possibility of the formulation of the Present Perfect.
However, prior to his famous ‘Diodoran Modalities’, Prior presented and submitted ‘The Syntax of Time-Distinctions’ (Øhrstrøm & Hasle, 2019, p. 35). In the paper, Prior (1958, pp. 112–116) compared both types of calculi A-series systems of logic (PF-calculus), as well as B-series systems (l-calculus). Even in this paper, Prior attacked the priority of l-calculus, which seemed more fundamental from the perspective of contemporary systems of logic. I am grateful to an anonymous reviewer for drawing my attention to this historical fact.
Copeland (2006, pp. 378–381) pointed out that U-calculus appeared for the first time in an unpublished paper that was written by Meredith and Prior in 1956 (Prior & Meredith, 1996). There is no interpretation of the calculus in the paper. In 1962, Prior, (1962) presented U-calculus as a modal system of logic. The interpretation of this calculus in terms of temporal logic appeared in his book Past, Present and Future (Prior, 1967, pp. 188–190, 198–204). As Copeland (2006, pp. 377–378) argued, there might be a connection between Prior’s earlier l-calculus and U-calculus.
However, there is a difference in what both authors considered controversial.
Blackburn et al. (2020, pp. 419–421) pointed out that there are two different concepts of instant propositions in Prior’s work: instant propositions as conjuncts of all true propositions at a chosen time instant, and instant propositions as propositions that are true in precisely one instant of time. They stressed that these descriptions are not interchangeable and could have serious implications in the systems of hybrid logic.
Braüner (2010, p. 12) argued that Prior’s formula Ta(p) corresponds to @ap of hybrid logic.
The condition that Tom had to stop being happy at the beginning of the New Year is artificial. It serves to limit the interval. It could, however, be the case that Tom did not cease to be happy at that instant.
References
Bäuerle, R. (1979). Tense logics and natural language. Synthese, 40(2), 225–230. https://doi.org/10.1007/BF00485678
Blackburn, P. (2006). Arthur prior and hybrid logic. Synthese, 150(3), 329–372. https://doi.org/10.1007/s11229-005-5512-y
Blackburn, P. R., Braüner, T., & Kofod, J. L. (2020). Remarks on hybrid modal logic with propositional quantifiers. In P. Hasle, D. Jakobsen, & P. Øhrstrøm (Eds.), The metaphysics of time: Themes from prior (pp. 401–426). Aalborg University Press.
Blackburn, P., & Jørgensen, K. F. (2016). Reichenbach, prior and hybrid tense logic. Synthese, 193(11), 3677–3689. https://doi.org/10.1007/s11229-015-0920-0
Braüner, T. (2010). Hybrid logic and its proof-theory (Vol. 37). Springer.
Braüner, T. (2021) Hybrid logic. The Stanford Encyclopedia of Philosophy (Spring 2022 ed.), Edward N. Zalta (Ed.). Retrieved August 2, 2022, from https://plato.stanford.edu/archives/spr2022/entries/logic-hybrid/
Copeland, J. (2006). Meredith, Prior, and the history of possible worlds semantics. Synthese, 150(3), 373–397. https://doi.org/10.1007/s11229-005-5514-9
Duží, M. (2010). Tenses and truth-conditions: A plea for if-then-else. In M. Peliš (Ed.), Logica yearbook 2009 (pp. 63–80). College Publications.
Duží, M. (2019). Ambiguities in natural language and time references. In A. Horák, K. Osolsobě, A. Rambousek, & P. Rychlý (Eds.), Slavonic natural language processing in the 21st century (pp. 28–50). Tribun.
Duží, M., & Materna, P. (2012). TIL jako procedurální logika: Průvodce zvídavého čtenáře Transparentní intensionální logikou. Aleph.
Duží, M., Jespersen, B., & Materna, P. (2010). Procedural semantics for hyperintensional logic. Springer.
Hamm, F., & Bott, O. (2018). Tense and aspect. The Stanford Encyclopedia of Philosophy (Fall 2018 ed.), Edward N. Zalta (Ed.). Retrieved April 8, 2021, from https://plato.stanford.edu/archives/fall2018/entries/tense-aspect/
Indrzejczak, A. (2010). Natural deduction, hybrid systems and modal logics. Springer.
Koukolíková, J. (1988). Temporální transparentní intenzionální logika v analýze přirozeného jazyka, Ph.D. thesis, Czech Technical University Prague. Retrieved from https://nlp.fi.muni.cz/til_scan/view.cgi?doc=kouk-diser&str=1
Kuhn, S. T., & Portner, P. (2002). Tense and time. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (pp. 277–346). Springer.
McTaggart, J. M. E. (1908). The unreality of time. Mind, 17(68), 457–474. https://doi.org/10.1093/mind/XVII.4.457
Meredith, C.A., & Prior, A.N. (1962). Computations and speculations, unpublished manuscript stored in Prior’s Nachlass at the Bodleian Library in Oxford, Box 8.
Øhrstrøm, P. (1996). Two essays on temporal realism: Introduction. In B. J. Copeland (Ed.), Logic and reality: Essays on the legacy of Arthur Prior (pp. 43–44). Clarendon Press.
Øhrstrøm, P., & Hasle, P. (2019). The significance of the contributions of A.N. Prior and Jerzy Łoś in the early history of modern temporal logic. In P. R. Blackburn, P. Hasle, & P. Øhrstrøm (Eds.), Logic and philosophy of time: Further themes from Prior (Vol. 2, pp. 31–40). Aalborg University Press.
Quine, W. V. O. (1966). Three grades of modal involvement. In W. V. O. Quine (Ed.), The ways of paradox and other essays (pp. 156–174). Random House.
Prior, A. N. (1955a). Diodoran modalities. The Philosophical Quarterly, 5(20), 205–213. https://doi.org/10.2307/2957434
Prior, A. N. (1955b). Time and modality. Clarendon Press.
Prior, A. N. (1958). The syntax of time-distinctions. Franciscan Studies, 18(2), 105–120. https://doi.org/10.1353/frc.1958.0008
Prior, A. N. (1962). Possible worlds. The Philosophical Quarterly, 12(46), 36–43. https://doi.org/10.2307/2216837
Prior, A. N. (1967). Past, present and future. Clarendon Press.
Prior, A. N. (1968). Symposium: Intentionality and intensionality. Proceedings of the Aristotelian Society, Supplementary Volumes, 42, 91–106. https://doi.org/10.1093/aristoteliansupp/42.1.73
Prior, A. N. (2003a). Tense logic and the logic of earlier and later. In P. Hasle, P. Øhrstrøm, T. Bräuner, & B. J. Copeland (Eds.), Papers on time and tense (2nd ed., pp. 117–138). Oxford University Press.
Prior, A. N. (2003b). Now. In P. Hasle, P. Øhrstrøm, T. Bräuner, & B. J. Copeland (Eds.), Papers on time and tense (2nd ed., pp. 171–193). Oxford University Press.
Prior, A. N. (2003c). Egocentric logic. In P. Hasle, P. Øhrstrøm, T. Bräuner, & B. J. Copeland (Eds.), Papers on time and tense (2nd ed., pp. 222–240). Oxford University Press.
Prior, A. N., & Meredith, C. A. (1996). Interpretations of different modal logics in the ‘Property Calculus.’ In B. J. Copeland (Ed.), Logic and reality: Essays on the legacy of Arthur Prior (pp. 133–134). Clarendon Press.
Rybaříková, Z., & Hasle, P. (2018). C. A. Meredith, A. N. Prior, and possible worlds. In P. Hasle, P. Blackburn, & P. Øhrstrøm (Eds.), Logic and philosophy of time: Themes from Prior (pp. 41–62). Aalborg University Press.
Strawson, P. F. (1950). On referring. Mind, 59(235), 320–344.
Tichý, P. (1980). The logic of temporal discourse. Linguistics and Philosophy, 3(3), 343–369. https://doi.org/10.1007/bf00401690
Acknowledgements
The topic has been presented at the conferences XXV. Czecho-Slovak Symposium on Analytic Philosophy, 7th World Congress and School on Universal Logic and the Czech Gathering of Logicians 2022. I am obliged to the audience at this event for their remarks. I am also grateful to Torben Bräuner, Martina Číhalová and two anonymous reviewers for their comments. The work on this paper was supported by the project “JG_2020_005 Times, Events, and Logical Specification” of Palacký University Olomouc, the Czech Republic.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Rybaříková, Z. Specification of time in Tichý’s transparent intensional logic and Prior’s temporal logic. Synthese 201, 164 (2023). https://doi.org/10.1007/s11229-023-04098-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11229-023-04098-2