Opis

• Tytuł:
  Jerzy Łoś Positional Calculus and the Origin of Temporal Logic
• Twórca:
  Tkaczyk, Marcin;
  Jarmużek, Tomasz
• Opis:
  Most accounts, including leading textbooks, credit Arthur Norman Prior with the invention of temporal (tense logic). However, (i) Jerzy Łoś delivered his version of temporal logic in 1947, several years before Prior; (ii) Henrk Hiż’s review of Łoś’s system in Journal of Symbolic Logic was published as early as 1951; (iii) there is evidence to the effect that, when constructing his tense calculi, Prior was aware of Łoś’s system. Therefore, although Prior is certainly a key figure in the history tense logic, as well as modal logic in general, it should be accepted both in the literature that temporal logic was invented by Jerzy Łoś.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2018 Logic and Logical Philosophy
• Data:
  2018.09.23
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 28 No. 2 (2019): June; 259-276;
  Logic and Logical Philosophy; Tom 28 Nr 2 (2019): czerwiec; 259-276;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2018.013/15481
• Temat i słowa kluczowe:
  positional logic;
  the realization operator R;
  temporal logic
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2018.013
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty