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

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

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

Název periodika

SYNTHESE

ISSN

0039-7857

e-ISSN

1573-0964

Svazek periodika

201

Číslo periodika v rámci svazku

5

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

15

Strana od-do

1-15

Kód UT WoS článku

000984312700001

EID výsledku v databázi Scopus

—