Semantic notions, paradoxes and hyperintensional logic based on modern ramified theory of types
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 20 (SGA0201600001)
Main participants
Masarykova univerzita / Filozofická fakulta
Contest type
VS - Public tender
Contract ID
16-19395S
Alternative language
Project name in Czech
Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů
Annotation in Czech
Projekt navrhuje věcně adekvátní logickou explikaci sémantických pojmů jako pravda. Zužitkovává při tom vůdčí ideje v dané oblasti, které byly vyvíjeny ve filosofické logice a neklasické logice během 20. století, zvláště Russellem, Tarskim, Kripkem a Churchem. Projekt syntetizuje jejich snahy, přičemž se vyhýbá problematickým rysům jejich přístupu. Tím nabízí životaschopnou alternativu k ne-hierarchickým přístupům z poslední doby. Použitý logický rámec je moderní rozvětvená teorie typů, jež zahrnuje hyperintenzionální rovinu. Důraz na hyperintenzionální analýzu významu je důležitým specifickým rysem projektu. Výstupy projektu jsou především monografie u zahraničního vydavatele, tuzemská monografie a nejméně deset článků publikovaných (s jednou výjimkou) v mezinárodních časopisech.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
As regards its key topics and objectives, the project was carried out adequately. So far, 12 from originally planned 16 studies have been published - and, specifically, 3 from planned 9 studies in Jsc. But the monograph and a couple of studies are published in decent international venues.
Solution timeline
Realization period - beginning
Jan 1, 2016
Realization period - end
Dec 11, 2020
Project status
U - Finished project
Latest support payment
Apr 26, 2018
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP21-GA0-GA-U/01:1
Data delivery date
Apr 12, 2021
Finance
Total approved costs
1,167 thou. CZK
Public financial support
1,167 thou. CZK
Other public sources
60 thou. CZK
Non public and foreign sources
0 thou. CZK