Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Jarmużek T.

  2. 1 Tkaczyk M.

Years help

  1. 1 2019

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

Jerzy Łoś Positional Calculus and the Origin of Temporal Logic

100%
Tkaczyk M., Jarmużek T.
Logic and Logical Philosophy
|
2019
|
vol. 28
|
issue 2
259-276
EN
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ś.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.