Transparent Intensional Logic

From Wikipedia, the free encyclopedia

Transparent Intensional Logic (frequently abbreviated as TIL) is a logical system aimed at an analysis of natural language. It was created by Pavel Tichý. There are relations to Montague grammar, but TIL differs from it in several substantial points. TIL uses syntax of lambda calculus and type theory. One of central notions of TIL is that of construction. Nowadays TIL is investigated mainly in Czech Republic by a group of logicians and linguists led by Pavel Materna.

[edit] Bibliography

  • P. Tichý (1988): The Foundations of Frege's Logic. De Gruyter, Berlin and New York 1988, 333 pp.

[edit] External links

 This linguistics article is a stub. You can help Wikipedia by expanding it.
\lnot(p\land\lnot p)  This logic-related article is a stub. You can help by expanding it.