Logické základy sémantiky

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

—

Hlavní účastníci

Filosofický ústav AV ČR, v. v. i.

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Logical Foundation of Semantics

Anotace anglicky

The basic aim of the project is to carry out a research and consequently to distribute to the development of formal semantics, logical analysis of natural language and the relevant parts of logic. The fields in which we hope to reach and publish new, significant results are especially the following : - foundations of natural language semantics and of the role which model theory ( and logic in general ) may play within its explication - formal elaboration of dynamic logic suitable for the analysis of natural language - the interface between semantics, epistemology and the theory of information - the ´pragmatics/semantics interface´- the semantics of non-indicative sentences - the semantics of such ´anomalous´ kinds of expressions as proper names. Aspecific outcome of the project should be also a monography presenting both the introduction to the basic ideas of formal semantics and its critical discussion and assessment.

Kategorie VaV

—

CEP - hlavní obor

AA - Filosofie a náboženství

CEP - vedlejší obor

AI - Jazykověda

CEP - další vedlejší obor

BD - Teorie informace

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>60201 - General language studies<br>60202 - Specific languages<br>60203 - Linguistics<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

Významný příspěvek k rozvoji formální sémantiky a relevantních partií logiky pro analýzu jazyka. Výsledky jsou výstižně charakterizovány, uspořádány dvě mezinárodní konference Pragmatism (2000) a Is Meaning Dynamic ?(2001), ze druhé bude sborník. Připrav

Zahájení řešení

1. 1. 1999

Ukončení řešení

1. 1. 2001

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/2002/GA0/GA02GA/U/N/7:3

Datum dodání záznamu

1. 4. 2003

Celkové uznané náklady

1 228 tis. Kč

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

910 tis. Kč

Ostatní veřejné zdroje financování

954 tis. Kč

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

0 tis. Kč