Transparent Intensional Logic (a Systematic Exposition)
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 6 (SGA02004GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Transparentní intensionální logika (systematický výklad)
Annotation in Czech
Problém adekvátní logické analýzy významu výrazů přirozeného jazyka nabývá v posledních letech stále většího významu, a to nejen v oblasti filosofické logiky a teoretické a komputační lingvistiky, ale rovněž v prakticky orientovaných disciplínách informatiky a umělé inteligence. Transparentní intensionální logika (TIL), jejímž autorem byl Pavel Tichý, je velice expresivní logický systém, přinejmenším srovnatelný se systémy založenými na Montagueho gramatice. TIL však navíc nabízí adekvátní řešeníproblému tzv. hyper-intensionálních kontextů, a to na základě klíčového pojmu logické konstrukce. Tento rys TILu je extrémně důležitý pro representaci a akvizici znalostí, neboť naše znalosti, hypotézy a inference jsou primárně spojeny s logickými konstrukcemi.V současné době jsou k dispozici pouze dvě monografie o TILu, které jsou však věnovány specifickým problémům. Tichého monografie kriticky hodnotí základní Fregeho sémantické ideje a předkládá jejich korektní rozvinutí na základě TILu.
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
AI - Linguistics
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
During the three years when systematically perusing the research on Transparent Intensional Logic (TIL) we arrived at inconsiderable new results. They concern in particular: the analysis of sentences with incomplete meaningthe analysis of sentences with
Solution timeline
Realization period - beginning
Jan 1, 2004
Realization period - end
Jan 1, 2006
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
CEP07-GA0-GA-U/03:2
Data delivery date
Oct 16, 2007
Finance
Total approved costs
585 thou. CZK
Public financial support
585 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK