Transparent Intensional Logic (a Systematic Exposition)
Project goals
The problem of logical analysis of natural language expressions has recently become a hot problem not only from the point of view of philosophical logic and theretical linguistics, but also from a practical viewpoint of computer science and artificial intelligence. Transparent Intensional Logic (TIL), originated by late Pavel Tichý, is an expressive system comparable with "mainstream" systems based on Montague grammar. Moreover, using the key notion of logical construction, TIL offers a proper solutionof so-called hyper-intensional contexts, which is extremely important in the area of knowledge representation and acquisition. Our knowledge, beliefs and inferences primarily concern logical constructions themselves, not only their outcomes. Recently, there are two monographs on TIL, which however deal with rather special problems. Tichý's book examines critically Frege's semantic ideas and presents their correct development, in particular a fundamental shift of Frege's semantic scheme.
Keywords
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
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
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
Basic information
Recognised costs
585 CZK thou.
Public support
585 CZK thou.
100%
Provider
Czech Science Foundation
CEP
AA - Philosophy and religion
Solution period
01. 01. 2004 - 01. 01. 2006