Logical Foundation of Semantics
Project goals
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.
Keywords
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
10102 - Applied mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
60201 - General language studies
60202 - Specific languages
60203 - Linguistics
60301 - Philosophy, History and Philosophy of science and technology
60302 - Ethics (except ethics related to specific subfields)
60303 - Theology
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
Recognised costs
1 228 CZK thou.
Public support
910 CZK thou.
0%
Provider
Czech Science Foundation
CEP
AA - Philosophy and religion
Solution period
01. 01. 1999 - 01. 01. 2001