Principles of Logical Analysis of Language Expressions and Intensional Logic
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 2 (SGA02003GA-ST)
Main participants
Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Principy logické analýzy jazykových výrazů a intenzionální logika
Annotation in Czech
V rámci projekty budou řešeny žhavé problémy současné sémantiky, které se odvíjejí od fundamentálního problému, jak adekvátně explikovat význam jazykových výrazů. Kritické porovnání jednotlivých přístupů a koncepcí, zejména Montagueho systému a Tichého transparentní intensionální logiky (TIL) by mělo vyústit ve zdůvodnění oprávněnosti a síly TIL koncepce. Význam budeme explikovat jako strukturovanou entitu - logickou konstrukci, která zachycuje "logickou formu" daného výrazu. Jednotlivé sémantické pojmy, jako smysl, význam, denotát, reference budou přesně eplikovány na základě TIL. Budeme se rovněž zabývat takovými otázkami jako "O čem vlastně mluvíme?", "Existuje jediná správná, adekvátní analýza (nehomonymního) výrazu?", "Jakým způsobem ovlivní volbakonceptuálního systému hloubku analýzy?", a pod. Jelikož tyto problémy jsou zajímavé a důležité nejen z hlediska filosofické logiky, ale také z hlediska informatiky, umělé inteligence a ostatních disciplín, budeme se věnovat také "praktickým"
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
BD - Information theory
CEP - another secondary branch
BC - Theory and management systems
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>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
The main result can be characterised as the method of analysis of language expressions adhering to the Compositionality principle and Pamenides principle of subject matter. The method makes it possible to find the most fine-grained analysis (relative to
Solution timeline
Realization period - beginning
Jan 1, 2003
Realization period - end
Jan 1, 2004
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/2005/GA0/GA05GA/U/N/B:7
Data delivery date
Jun 2, 2008
Finance
Total approved costs
162 thou. CZK
Public financial support
162 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK