Role konstrukcí v ´transparentní intensionální logice ´
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
—
Hlavní účastníci
Slezská univerzita v Opavě / Filozoficko-přírodovědecká fakulta
Druh soutěže
—
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
The Idea of constructions in 'Transparent Intentional Logic"
Anotace anglicky
One of the topical themes in the contemporary epistemology and logic is problem of such a logical representation of meaning which would make it possible to apply logic also to such involved questions as that one of analysis of belief sentences. The project intend to make a contribution to solving these problems, which is important not only from the logic - philosophical viewpoint but also as regards theoretical linguistics and theoretical foundations of computer science. The main conceptual means used to fulfil the goals of the project are based on Tichý´s transparent intentional logic, particularly on his theory of constructions, i.e., exactly definable abstract procedures, which can be exploited as showing the logical structure of natural language expressions.
Vědní obory
Kategorie VaV
—
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í dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
1.Byly vyřešeny aktuální logické problémy se zřetelem k aplikacím 2.Údaje v kartě jsou adekvátní 3.Výsledky jsou aplikovatelné v informatice a lingvistice 4.Četné publikace i prezentace 5.Nedostatky se nevyskytly
Termíny řešení
Zahájení řešení
1. 1. 1999
Ukončení řešení
1. 1. 2000
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
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
CEP/2001/GA0/GA01GA/U/N/9:4
Datum dodání záznamu
—
Finance
Celkové uznané náklady
246 tis. Kč
Výše podpory ze státního rozpočtu
246 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč