Przejdź do sekcji głównej Przejdź do głównego menu Przejdź do stopki
  • Zarejestruj
  • Zaloguj
  • Język
    • Deutsch
    • English
    • Język Polski
  • Menu
  • Strona domowa
  • Aktualny numer
  • Archiwum
  • O czasopiśmie
    • O czasopiśmie
    • Przesyłanie tekstów
    • Zespół redakcyjny
    • Polityka prywatności
    • Kontakt
  • Zarejestruj
  • Zaloguj
  • Język:
  • Deutsch
  • English
  • Język Polski

Studia z Historii Filozofii

The Influence of Jerzy Łoś on Early Developments in Temporal Logic
  • Strona domowa
  • /
  • The Influence of Jerzy Łoś on Early Developments in Temporal Logic
  1. Strona domowa /
  2. Archiwum /
  3. Tom 11 Nr 3 (2020): The Heritage of Jerzy Łoś’s Philosophical Logic /
  4. ARTYKUŁY

The Influence of Jerzy Łoś on Early Developments in Temporal Logic

Autor

  • Aleksander Parol Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie https://orcid.org/0000-0001-7700-1800

DOI:

https://doi.org/10.12775/szhf.2020.020

Słowa kluczowe

positional logic, realisation operator, temporal logic, history of logic

Abstrakt

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.

Bibliografia

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.

Studia z Historii Filozofii

Pobrania

  • PDF (English)

Opublikowane

2021-02-02

Jak cytować

1.
PAROL, Aleksander. The Influence of Jerzy Łoś on Early Developments in Temporal Logic. Studia z Historii Filozofii [online]. 2 luty 2021, T. 11, nr 3, s. 105–126. [udostępniono 28.11.2023]. DOI 10.12775/szhf.2020.020.
  • PN-ISO 690 (Polski)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Pobierz cytowania
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Numer

Tom 11 Nr 3 (2020): The Heritage of Jerzy Łoś’s Philosophical Logic

Dział

ARTYKUŁY

Statystyki

Liczba wyświetleń i pobrań: 229
Liczba cytowań: 0

Wyszukiwanie

Wyszukiwanie

Przeglądaj

  • Indeks autorów
  • Lista archiwalnych numerów

Użytkownik

Użytkownik

Aktualny numer

  • Logo Atom
  • Logo RSS2
  • Logo RSS1

Informacje

  • dla czytelników
  • dla autorów
  • dla bibliotekarzy

Newsletter

Zapisz się Wypisz się

Język / Language

  • Deutsch
  • English
  • Język Polski

Tagi

Szukaj przy pomocy tagu:

positional logic, realisation operator, temporal logic, history of logic
W górę

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partnerzy platformy czasopism

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Karmelitański Instytut Duchowości w Krakowie
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Uniwersytet Mikołaja Kopernika w Toruniu Deklaracja dostępności Sklep wydawnictwa