Times, Events and Logical Specification

Result code in 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>

Result on the web

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

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Times, Events and Logical Specification

Original language description

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.

Czech name

—

Czech description

—

Type

M - Conference organization

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

2022

Confidentiality

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

Event location

Olomouc

Event country

CZ - CZECH REPUBLIC

Event starting date

—

Event ending date

—

Total number of attendees

20

Foreign attendee count

11

Type of event by attendee nationality

WRD - Celosvětová akce