Times, Events and Logical Specification

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15210%2F22%3A73612971" target="_blank" >RIV/61989592:15210/22:73612971 - isvavai.cz</a>

Výsledek na webu

<a href="https://obd.upol.cz/id_publ/333192858" target="_blank" >https://obd.upol.cz/id_publ/333192858</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Times, Events and Logical Specification

Popis výsledku v původním jazyce

Time is an essential part of our life and we refer to it on a daily basis. Yet, time is also an obscure entity, the nature of which is mysterious. It has been investigated by philosophers and physicists for centuries and its real nature is still a matter of speculation. In our conference we would like to focus primarily on a logical specification and conceptualization of time and events; the formalisation of sentences of natural language in present, past and future tenses that contain time references, and on the historical development of this formalisation. There is a plethora of approaches to temporal logic. In this conference, we would primarily like to discuss a contribution of Arthur Norman Prior and Pavel Tichý to temporal logic. Prior was a founder of modern temporal logic and his work stimulated the development of this field of logic. Pavel Tichý was a founder of Transparent Intensional Logic (TIL) and he also dealt with the logic of temporal discourse. TIL with its procedural semantics is an apt tool for the logical analysis of events and time dependent phenomena. We will welcome submissions on topics that concern the logical specification of time, conceptualization of events and last but not least contributions about Arthur Prior’s work and Pavel Tichý’s TIL.

Název v anglickém jazyce

Times, Events and Logical Specification

Popis výsledku anglicky

Time is an essential part of our life and we refer to it on a daily basis. Yet, time is also an obscure entity, the nature of which is mysterious. It has been investigated by philosophers and physicists for centuries and its real nature is still a matter of speculation. In our conference we would like to focus primarily on a logical specification and conceptualization of time and events; the formalisation of sentences of natural language in present, past and future tenses that contain time references, and on the historical development of this formalisation. There is a plethora of approaches to temporal logic. In this conference, we would primarily like to discuss a contribution of Arthur Norman Prior and Pavel Tichý to temporal logic. Prior was a founder of modern temporal logic and his work stimulated the development of this field of logic. Pavel Tichý was a founder of Transparent Intensional Logic (TIL) and he also dealt with the logic of temporal discourse. TIL with its procedural semantics is an apt tool for the logical analysis of events and time dependent phenomena. We will welcome submissions on topics that concern the logical specification of time, conceptualization of events and last but not least contributions about Arthur Prior’s work and Pavel Tichý’s TIL.

Druh

M - Uspořádání konference

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í

2022

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ů

Místo konání akce

Olomouc

Stát konání akce

CZ - Česká republika

Datum zahájení akce

—

Datum ukončení akce

—

Celkový počet účastníků

20

Počet zahraničních účastníků

11

Typ akce podle státní přísl. účastníků

WRD - Celosvětová akce