The Forgotten Jerzy Łoś’s Contribution to Philosophical Logic. Logics with Realization Operator R

Krzysztof Aleksander Krawczyk, Bożena Pięta

DOI: http://dx.doi.org/10.12775/RF.2020.029

Abstrakt


The aim of the paper is to bring back Jerzy Łoś’s great contribution to the area of epistemic and temporal logic. Although his mathematical achievements are widely recognized and appreciated around the world, his early works are still very little-known, despite their pioneering nature. The authors also give an account of current research and results inspired by Łoś’s legacy.


Słowa kluczowe


logic; epistemic; temporal; Jerzy Łoś; R operator

Pełny tekst:

PDF (English)

Bibliografia


Goranko Valentin, Antony Galton. “Temporal Logic”. The Stanford Encyclopedia of Philosophy, access 12.09.2020, https://plato.stanford.edu/archives/win2015/entries/logic-temporal.

Hendricks Vincent, John Symons. “Epistemic Logic”. The Stanford Encyclopedia of Philosophy, access 12.09.2020, https://plato.stanford.edu/archives/fall2015/entries/logic-epistemic/.

Hiż Henry. 1951. “Review of: J. Los Podstawy analizy metodologicznej kanonów Milla”. Journal of Symbolic Logic 16(I): 58–59.

Jarmużek Tomasz. 2013. Jutrzejsza bitwa morska. Rozumowanie Diodora Kronosa (Tomorrow Sea-Fight: Diodorus Cronus’ Argument). Toruń: Wydawnictwo Naukowe UMK.

Jarmużek Tomasz. 2007. “Minimal Logical Systems with R-operator: Their Metalogical Properties and Ways of Extensions”. In: Perspectives on Universal Logic, ed. Jean-Yves Bezieau, Alexandre Costa-Leite. 319–333. Italy: Polimetrica Publisher.

Jarmużek Tomasz, Andrzej Pietruszczak. 2004. “Completeness of Minimal Positional Calculus”. Logic and Logical Philosophy 13: 147–162.

Jarmużek Tomasz, Marcin Tkaczyk. 2015. Normalne logiki pozycyjne. Lublin: Wydawnictwo KUL.

Jarmużek Tomasz, Marcin Tkaczyk. 2015. “Jerzy Łoś and the Origin of Temporal Logic”, in: Handbook of the 5th World Congress and School on Universal Logic, ed. Jean-Yves Beziau, Safak Ural, Arthur Buchsbaum, Iskender Tasdelen, Vedat Kamer. Istanbul: Publications of Turkish Logic Society.

Jarmużek Tomasz, Marcin Tkaczyk. 2019. “Jerzy Łoś Positional Calculus and the Origin of Temporal Logic”. Logic and Logical Philosophy 28: 259–276.

Karczewska Anna Maria. 2017. “Maximality of the Minimal R-Logic”. Logic and Logical Philosophy 1–11: 193–203.

Lechniak Marek. 1988. “Logika epistemiczna Jerzego Łosia a teoria racjonalnego zachowania” (“Epistemic logic of Jerzy Los and the theory of rational behavior”). Roczniki Filozoficzne XXXVI: 77–89.

Łoś Jerzy. 1947. “Podstawy analizy metodologicznej kanonów Milla” (“Foundations of the 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 (Many-valued logics and the formalization of intensional functions)”. Kwartalnik Filozoficzny XVII, 1–2: 59–78.

Meyer John-Jules. 2001. “Epistemic Logic”, in: The Blackwell Guide to Philosophical Logic, ed. Lou Goble. 183–202. Massachusetts, Oxford: Blackwell Publishers.

Øhrstrøm Peter, Per F.V. Hasle. 1995. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Netherlands: Springer.

Prior Arthur. 1955. Formal Logic. Oxford: Clarendon Press.

Rescher Nicholas. 1968. “Topological Logic”. In: Topics in Philosophical Logic. Ed. Nicholas Rescher, 229–249. Dodrecht–Holland: Reidel Publishing.

Suszko Roman, Review. 1949. “Jerzy Los, Many-Valued Logics and the Formalization of Intensional Functions”. Journal of Symbolic Logic 14, 1: 64–65.

Tkaczyk Marcin. 2013. “Negation in weak positional calculi”, Logic and Logical Philosophy 22(1): 3–19.

Tkaczyk Marcin. 2009. Logika czasu empirycznego. Funktor realizacji czasowej w językach teorii fizykalnych. Lublin: Wydawnictwo Katolickiego Uniwersytetu Lubelskiego.

Venema Yde. 2001. “Temporal Logic”. In: The Blackwell Guide to Philosophical Logic. Ed. Lou Goble. 203–223. Massachusetts, Oxford: Blackwell Publishers.


Refbacks

  • There are currently no refbacks.


ISSN 0035-9599 (print)  
ISSN 2545-3173 (online)

Partnerzy platformy czasopism