Title
Transparentní intensionální logika (systematický výklad)
Code
GA401/04/2073
Summary
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 solution of 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. Materna's book presents a new non-traditional theory of concept. Other results are scattered in numerous articles, yet the most recent semantic-theoretical results and their practical applications have not been published as yet. The goal of the project is to work out a monograph on TIL. The book should be presented in the form of a systemtic exposition beginning with philosophical foundations of TIL, including all the technical means and not neglecting even practical applications. The exposition will be accompanied by many examples so that it could be used as a study literature for university courses as well.
Start year
2004
End year
2006
Provider
Grantová agentura ČR
Category
Obecná forma
Type
Standardní projekty
Solver
Information system of research, development and innovation (in Czech)