Principy logické analýzy jazykových výrazů a intenzionální logika

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 2 (SGA02003GA-ST)

Hlavní účastníci

Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Principles of Logical Analysis of Language Expressions and Intensional Logic

Anotace anglicky

The project will deal with hot problems of current semantics that are interconnected with a fundamental problem of adequately explicating the meaning of language expressions. Particular conceptions and approaches will be critically compared, in particular those of intensional logics, namely Montague's system and Tichý's Transparent Intensional Logic (TIL). We will advocate for explicating meaning as a structured entity - TIL logical construction that renders the logical form of the expression. Using TILconception, semantic notions like sense, meaning, denotation, reference, etc., will be precisely explicated. We will also deal with such problems like "What do we speak about?", "Is there the only one adequate analysis of a (non-homonymous) expression?", "How will a chosen conceptual system influence the deepness of the analysis?", and many other fundamental problems of the like. To increase a practical applicability, we will not omit the problems of knowledge representation and

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

AA - Filosofie a náboženství

CEP - vedlejší obor

BD - Teorie informace

CEP - další vedlejší obor

BC - Teorie a systémy řízení

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>)

10102 - Applied mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>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

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Byla vypracována metoda analýzy jazykových výrazů, která zachovává princip kompozicionality, navzdory tomu, že analýza je hyper-intensionální a velice jemná. Tato metoda umožňuje elativně ke zvolenému konceptuálnímu systému nalézt nejpřesnější analýzu da

Zahájení řešení

1. 1. 2003

Ukončení řešení

1. 1. 2004

Poslední stav řešení

U - Ukončený 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

CEP/2005/GA0/GA05GA/U/N/B:7

Datum dodání záznamu

2. 6. 2008

Celkové uznané náklady

162 tis. Kč

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

162 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč