The Influence of Jerzy Łoś on Early Developments in Temporal Logic
DOI:
https://doi.org/10.12775/szhf.2020.020Keywords
positional logic, realisation operator, temporal logic, history of logicAbstract
In this article, we will respond to the paper by Øhrstrøm and Hasle, which questions the position of Jerzy Łoś as the first logician to create a temporal logic system. We will undertake this by analysing the argument supporting their thesis and the preceding claims by Jarmużek and Tkaczyk, who attempted to present Jerzy Łoś as the founder of temporal logic. The paper presents a critique of both arguments presented by the authors and a response based on historical facts and formal distinctions.
References
Benthem Johan van. 1991. The Logic of Time. Dordrecht: Kluwer Academic Publishers.
Fisher Michael. 2011. An Introduction to Practical Formal Methods using Temporal Logic. Chichester: John Wiley & Sons, Ltd.
Goranko Valentin, Antje Galton. 2015. “Temporal Logic”. In: The Stanford Encyclopedia of Philosophy (Winter 2015 Edition), ed. E. N. Zalta, https://plato.stanford.edu/archives/win2015/entries/logictemporal/. Accessed Nov 28 2018.
Hiż Henryk. 1951. “Review: Jerzy Łoś, Foundations of the Methodological Analysis of Mill’s Canons”. Journal of Symbolic Logic 16: 58–59.
Hughes George Edward, Maxwell John Cresswell. 1996. A New Introduction to Modal Logic. London–New York: Routledge.
Jarmużek Tomasz, Aleksander Parol. 2020. “On Some Language Extension of Logic MR: A Semantic and Tableau Approach”. Roczniki Filozoficzne 68, 4: 345–366.
Jarmużek Tomasz, Andrzej Pietruszczak. 2004. “Completeness of Minimal Positional Calculus”. Logic and Logical Philosophy 13: 147–162.
Jarmużek Tomasz, Marcin Tkaczyk. 2009. “Jerzy Łoś Positional Calculus and the Origin of Temporal Logic”. Logic and Logical Philosophy 28: 259–276.
Jarmużek Tomasz, Marcin Tkaczyk. 2015. Normalne logiki pozycyjne (Normal positional logics). Lublin: Towarzystwo Naukowe KUL.
Jarmużek Tomasz, Marcin Tkaczyk. 2019. “Expressive Power of the Positional Operator R: a Case Study in Modal Logic and Modal Philosophy”. Ruch Filozoficzny 2: 93–107.
Jarmużek Tomasz. 2006. “Rekonstrukcje Rozumowania Diodora Kronosa w ontologii czasu punktowego” (“Reconstruction of Diodorus Cronus’ Argument in frame of ontology of time consisted of points”). Analiza i Egzystencja 3: 197–215.
Jarmużek Tomasz. 2007. “Minimal Logical Systems with R-operator: Their Metalogical Properties and Ways of Extensions”. In: Perspectives on Universal Logic, ed. J. Bézieau, A. Costa-Leite, 319–333. Rome: Polimetrica Publisher.
Jarmużek Tomasz. 2013. Jutrzejsza bitwa morska. Rozumowanie Diodora Kronosa (Tomorrow Sea Fight: Diodorus Cronus’ Argument). Toruń: Wydawnictwo Naukowe UMK.
Jarmużek Tomasz. 2018. On the Sea Battle Tomorrow That May Not Happen. A Logical and Philosophical Analysis of the Master Argument. Berlin: Peter Lang Publishing.
Karczewska Anna Maria. 2018. “Maximality of the Minimal R-logic”. Logic and Logical Philosophy 27: 193–203.
Klonowski Mateusz, Krzysztof Krawczyk. 2019. “Problem wszechwiedzy logicznej. Krytyka nienormalnych światów i propozycja nowego rozwiązania” (“The problem of logical omniscience. The critique of non-normal worlds and the proposition of new solution”). Filozofia Nauki 27, 1: 27–48.
Kozanecka-Dymek Anna. 2012. “On Kinds of Temporal Logic and Some of Its Applications”. Studies in Logic, Grammar and Rhetorics 41: 73– 81.
Lechniak Marek. 1988. “Logika epistemiczna Jerzego Łosia a teoria racjonalnego zachowania” (“Epistemic logic of Jerzy Łoś and the Theory of rational behaviour”). Roczniki Filozoficzne 26, 1: 79–91.
Łoś Jerzy. 1947. “Podstawy analizy metodologicznej kanonów Milla” (“Foundations of methodological analysis of Mill’s canons”). Annales Universitatis Mariae Curie-Skłodowska 2.5 F: 269–301.
Łoś Jerzy. 1948. “Logiki wielowartościowe a formalizacja funkcji intensjonalnych” (“Multivalued logics and formalization of intensional functions”). Kwartalnik Filozoficzny 17, 1–2: 59–78.
Łoś Jerzy. 1977. “The foundations of a methodological analysis of Mill’s methods”. In: Twenty-Five Years of Logical Methodology in Poland, ed. M. Przełęcki, R. Wojcicki, 291–325. Dordrecht: D. Reidel Publishing Company.
Malinowski Jacek, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek. 2020. “Logic of social ontology and Łoś’s operator”. Logic and Logical Philosophy 29: 239–258.
Øhrstrøm Peter, Per Hasle. 1993. “A.N. Prior’s rediscovery of tense logic”. Erkenntnis 39: 23–50.
Øhrstrøm Peter, Per Hasle. 1995. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Dordrecht: Kluwer Academic Publishers.
Øhrstrøm Peter, Per Hasle. 2006. “A.N. Prior’s logic”. In: Handbook of the History of Logic. Vol. 7, ed. D. M. Gabbay, J. Woods, 447–498. Amsterdam: Elsevier.
Øhrstrøm Peter, Per Hasle. 2006. “Modern temporal logic: the philosophical background”. In: Handbook of the History of Logic. Vol. 7, ed. D. M. Gabbay, J. Woods, 447–498, Amsterdam: Elsevier.
Øhrstrøm Peter, Per Hasle. 2019. “The Significance of the Contributions of A.N. Prior and Jerzy Łoś in the Early History of Modern Temporal Logic”. In: Logic and Philosophy of Time: Further Themes from Prior. Vol. 2, ed. Patrick Rowan Blackburn, Per Hasle, Peter Ohrstrom, 31–40. Aalborg: Aalborg University Press.
Prior Arthur Norman. 1957. Time and Modality. Oxford: Oxford University Press.
Prior Arthur Norman. 1962. Formal Logic. Oxford: Clarendon Press.
Prior Arthur Norman. 1967. Past, Present and Future. Oxford: Oxford University Press.
Prior Arthur Norman. 1968. Papers on Time and Tense. Oxford: Oxford University Press.
Rescher Nicolas, Alasdair Urquhart. 1971. Temporal Logic. Wien–New York: Springer Verlag.
Rescher Nicolas, James Garson. 1968. “Topological Logic”. The Journal of Symbolic Logic 33: 537–548.
Rescher Nicolas, James Garson. 2008. “Note on Chronological Logic”. Theoria: a Swedish Journal of Philosophy 33: 39–44.
Rescher Nicolas. 1966. “On the Logic of Chronological Propositions”. Mind, New Series 276: 75–96.
Rescher Nicolas. 1968. “Chronological Logic”. In: Nicolas Rescher. Topics in Philosophical Logic. Dordrecht-Holland: D. Reidel Publishing Company.
Suszko Roman. 1949. “Review: Jerzy Łoś, Many-Valued Logics and Formalization of Intensional Functions”. Journal of Symbolic Logic 14: 64–65.
Świrydowicz Kazimierz. 2004. Podstawy logiki modalnej (Basics in Modal Logic). Poznań: Wydawnictwo Naukowe UAM.
Tkaczyk Marcin. 2009. Logika czasu empirycznego (The Logic of Physical Time). Lublin: Wydawnictwo KUL.
Tkaczyk Marcin. 2013. “Negation in weak positional calculi”. Logic and Logical Philosophy 22: 3–19.
Tkaczyk Marcin. 2018. “Distribution Laws in Weak Positional Logics”. Roczniki Filozoficzne 66, 3: 163–179.
Żegleń Urszula. 1990. Modalność w logice i filozofii. Podstawy ontyczne (Modality in logic and philosophy. Ontic foundations). Warszawa: Polskie Towarzystwo Semiotyczne.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 29
Number of citations: 0
