Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 20 (SGA0201600001)

Hlavní účastníci

Masarykova univerzita / Filozofická fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

16-19395S

Název projektu anglicky

Semantic notions, paradoxes and hyperintensional logic based on modern ramified theory of types

Anotace anglicky

The project aims to provide a materially adequate logical explication of semantic notions such as truth. It deploys some leading ideas on the subject which were developed in philosophical logic / non-classical logics during the 20th century, notably by Russell, Tarski, Kripke and Church. The proposal synthesizes their achievements while avoiding problematic features of their approach. It thus provides a viable alternative to the recent non-hierarchical proposals. The logical framework is a modern ramified type theory with hyperintensional level. The emphasis on hyperintensional analysis of meaning is an important distinctive feature of the project. The outcomes of the project consist mainly in one English written monograph published by an international publisher, one Czech written monograph and at least ten papers published (with one exception) in international journals.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

AA - Filosofie a náboženství

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

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

60301 - Philosophy, History and Philosophy of science and technology<br>60302 - Ethics (except ethics related to specific subfields)<br>60303 - Theology<br>60304 - Religious studies

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Co se týče klíčových témat a vytčených cílů, projekt byl řešen adekvátně. Vyšlo zatím 12 z původně plánovaných 16 studií, z toho 3 z původně plánovaných 9 studií v Jsc. Projekt však má zahraniční monografii (klíčový výstup) a některé články vyšly v kvalitních mezinárodních časopisech.

Zahájení řešení

1. 1. 2016

Ukončení řešení

11. 12. 2020

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

26. 4. 2018

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

CEP21-GA0-GA-U/01:1

Datum dodání záznamu

12. 4. 2021

Celkové uznané náklady

1 167 tis. Kč

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

1 167 tis. Kč

Ostatní veřejné zdroje financování

60 tis. Kč

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

0 tis. Kč