Logical Foundation of Semantics
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Filosofický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Logické základy sémantiky
Annotation in Czech
Základním cílem projektu je výzkum a výsledný příspěvek k rozvoji formální sémantiky,logické analýzy přirozeného jazyka a relevantních partií logiky. Oblasti,ve kterých doufáme dosáhnout a publikovat nové,významné výsledky jsou především následující : -problematika povahy sémantiky přirozeného jazyka a role,jakou může při jejím explikování sehrát teorie modelů ( a logika obecně) - formální rozpracování dynamické logiky vhodné pro analýzu přirozeného jazyka - rozhraní mezi sémantikou,epistemologií a teorií informace - problematika rozhraní mezi pragmatikou a sémantikou - sémantika neindikativních vět - sémantika takových ´anomálních´ druhů výrazů,jako jsou vlastní jména. Specifickým výsledkem projektu by měla být i anglicky psaná monografie,která byměla přinést jak úvod do základních myšlenek formální sémantiky,tak jejich zevrubnou diskusi a kritické zhodnocení.
Scientific branches
R&D category
—
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
AI - Linguistics
CEP - another secondary branch
BD - Information theory
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
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
Solution timeline
Realization period - beginning
Jan 1, 1999
Realization period - end
Jan 1, 2001
Project status
U - Finished project
Latest support payment
—
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
CEP/2002/GA0/GA02GA/U/N/7:3
Data delivery date
Apr 1, 2003
Finance
Total approved costs
1,228 thou. CZK
Public financial support
910 thou. CZK
Other public sources
954 thou. CZK
Non public and foreign sources
0 thou. CZK