KATRA: Poznání, konání a čas – relevantní přístup

Poskytovatel

Grantová agentura České republiky

Program

Mezinárodní projekty

Veřejná soutěž

SGA0202500002

Hlavní účastníci

Ústav informatiky AV ČR, v. v. i.

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

25-17958J

Název projektu anglicky

KATRA: Knowledge, Action and Time – A Relevant Approach

Anotace anglicky

Reasoning about knowledge, time, and action is fundamental to human cognition. However, current formal models used in analytic philosophy often struggle to capture the nuances of how we reason about these concepts. Based on recent work of the two principal investigators, this project will study formal models of reasoning about knowledge, time and action based on relevant logics. Taking into account the relation of relevance between information and conclusions drawn on its basis, this work will result in more realistic models of reasoning about knowledge, time and action, with immediate impact in analytic philosophy. We will propose and investigate models of the interplay between knowledge, belief and evidence, we will lay the groundwork for relevant models of reasoning with temporal notions, and we will continue our recent work on relevant models of action and information flow in groups of agents. Our collaborative work will result in publications in top journals and conferences in philosophical logic, and will stimulate international research in the area.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

60301 - Philosophy, History and Philosophy of science and technology

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AA - Filosofie a náboženství

Zahájení řešení

1. 1. 2025

Ukončení řešení

31. 12. 2027

Poslední stav řešení

Z - Začínající víceletý projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

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

Systémové označení dodávky dat

CEP25-GA0-GC-R

Datum dodání záznamu

25. 2. 2025

Celkové uznané náklady

3 953 tis. Kč

Výše podpory ze státního rozpočtu

3 953 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč