Hyperintenzionální význam, teorie typů a logická dedukce

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 23 (SGA0201900001)

Hlavní účastníci

Masarykova univerzita / Filozofická fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

19-12420S

Název projektu anglicky

Hyperintensional Meaning, Type Theory and Logical Deduction

Anotace anglicky

The project aims to advance a hyperintensional theory of meaning according to which meanings are fine-grained objects of algorithmic nature. In its core, it will combine both type-theoretic and proof-theoretic approaches to semantics: meanings will be framed in a type-theoretical environment yet governed by derivation rules. The project will focus on development of these deduction rules for the adopted type system. The project is based on and contributes to the recent advances in the field and it is fully aimed at international community.

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

Ukončení řešení

31. 12. 2023

Poslední stav řešení

—

Poslední uvolnění podpory

12. 5. 2021

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

CEP22-GA0-GA-R

Datum dodání záznamu

22. 2. 2022

Celkové uznané náklady

2 391 tis. Kč

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

2 252 tis. Kč

Ostatní veřejné zdroje financování

139 tis. Kč

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

0 tis. Kč