The Notion of Temporal Logic  and the Problem of Priority

Anna Maria Karczewska

doi:10.12775/LLP.2025.021

Authors

Anna Maria Karczewska Faculty of Philosophy, The John Paul II Catholic University of Lublin https://orcid.org/0000-0001-5269-8891

DOI:

https://doi.org/10.12775/LLP.2025.021

Keywords

temporal logic, tense logics, Jerzy Łoś, realization connective

Abstract

The paper addresses Øhstrøm and Hasle’s argument against regarding Jerzy Łoś’s “axiomatization of a fragment of the physical language” as first temporal logic. It is pointed out that the arguments are insufficient to establish their claim.

References

Burgess, J. P., 2002, “Basic Tense Logic”, pages 1–42 in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 7., Dordrecht: Springer. DOI: https://doi.org/10.1007/978-94-017-0462-5_1

Copeland, B. J., “Arthur Prior”, in E. N. Zalta and U. Nodelman (eds.), The Stanford Encyclopedia of Philosophy, Winter 2022 Edition. https://plato.stanford.edu/archives/win2022/entries/prior/

Goranko, V., and A. Galton, 2015, “Temporal Logic”, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Winter 2015 Edition). https://plato.stanford.edu/archives/win2015/entries/logictemporal/

Goranko, V. and A. Rumberg, “Temporal Logic”, in E. N. Zalta and U. Nodelman (eds.), The Stanford Encyclopedia of Philosophy, Summer 2024 Edition. https://plato.stanford.edu/archives/sum2024/entries/logic-temporal/

Kofod, J.L., 2020, “Arthur Prior and special theory of relativity: Two standpoints from the nachlass”, pages 227-247 in P. Hasle, D. Jakobsen and P. Øhstrøm (eds.), The Metaphysics of Time: Themes from Prior, Aalborg Universitetsforlag, (Logic and Philosophy of Time, vol. 4).

Øhstrøm, P., and P. Hasle, 2019, “The significance of the contributions of A. N. Prior and Jerzy Łoś in the early history of modern temporal logic”, pages 31–40 in P. Blackburn, P. Hasle, and P. Øhstrøm (eds.), Logic and Philosophy of Time: Further Themes from Prior (Vol. 2), Aalborg: Aalborg University Press.

Parol, A., 2020, “The influence of Jerzy Łoś on early developments in temporal logic”, Studia z Historii Filozofii 11 (3): 105-–126. DOI: https://doi.org/10.12775/szhf.2020.020

Prior, A. N., 1967, Past, Present and Future, Oxford: Oxford University Press.

Rybaříková, Z., 2022, “Arthur N. Prior and the Lvov-Warsaw School”, History and Philosophy of Logic 44 (1): 91–103. DOI: https://doi.org/10.1080/01445340.2022.2062696

Tkaczyk, M., 2009, Logika czasu empirycznego (Logic of Empirical Time), Lublin: Wydawnictwo KUL.

Tkaczyk, M., and T. Jarmużek, 2019, “Jerzy Łoś positional calculus and the origin of temporal logic”, Logic and Logical Philosophy 28: 259–276. DOI: https://doi.org/10.12775/LLP.2018.013

Venema, Y., 2017, “Temporal logic”, pages 203–223 in L. Goble (ed.) The Blackwell Guide to Philosophical Logic, Blackwell. DOI: https://doi.org/10.1002/9781405164801.ch10