Specification of time in Tichý’s transparent intensional logic and Prior’s temporal logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15210%2F23%3A73619132" target="_blank" >RIV/61989592:15210/23:73619132 - isvavai.cz</a>

Result on the web

<a href="https://link.springer.com/article/10.1007/s11229-023-04098-2" target="_blank" >https://link.springer.com/article/10.1007/s11229-023-04098-2</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s11229-023-04098-2" target="_blank" >10.1007/s11229-023-04098-2</a>

Result language

angličtina

Original language name

Specification of time in Tichý’s transparent intensional logic and Prior’s temporal logic

Original language description

In his paper ‘The logic of temporal discourse’, Pavel Tichý pointed out that contemporary systems of logic were unable to sufficiently formalise tenses. He therefore suggested temporal specification in transparent intensional logic (TIL), a system of logic that he developed. Discussing contemporary systems of logic, Tichý also took into account the system of Arthur N. Prior, who developed the first systems of modern temporal logic, and his criticism was also addressed to Prior. Tichý only focused, however, on Prior’s early systems of temporal logic. Patrick Blackburn recently raised the awareness that Prior also developed systems of hybrid logic in his latest periods. From the point of view of temporal specification, this system is particularly interesting as the system has greater expressive power than Prior’s early systems of temporal logic. It could also consequently deal with the problematic specifications of tenses that Pavel Tichý pointed out. It is not only the formal criterion that make Tichý and Prior’s approach suitable for comparison. Both logicians shared similar views on time and logic. All these convictions also influenced their systems of logic. The aim of this paper is to demonstrate that the temporal propositions that Tichý introduced as problematic could be formalised in Prior’s hybrid temporal logic. I will also compare formalisations in TIL and hybrid logic and Tichý and Prior’s views that influenced their systems of logic.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2023

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

SYNTHESE

ISSN

0039-7857

e-ISSN

1573-0964

Volume of the periodical

201

Issue of the periodical within the volume

5

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

15

Pages from-to

1-15

UT code for WoS article

000984312700001

EID of the result in the Scopus database

—