Transparent Intensional Logic
- Transparent Intensional Logic
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.
See also
* Intensional logic
Bibliography
* P. Tichý (1988): "The Foundations of Frege's Logic". De Gruyter, Berlin and New York 1988, 333 pp.
External links
* [http://til.phil.muni.cz/ TIL home page]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… … Wikipedia
Pavel Tichý — (18 February 1936 Brno, Czechoslovakia ndash; 26 October 1994 Dunedin, New Zealand) was a Czech logician, philosopher and mathematician. He worked in the field of intensional logic and founded Transparent Intensional Logic, an original theory of… … Wikipedia
List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia
Til — may refer to: Til (novel), a book by José de Alencar Times Internet Limited, a company focusing on Online Publishing, part of The Times Group Til Defence Systems(company), develops war games and simulation systems for commanders at all levels the … Wikipedia
analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… … Universalium
intentionality — The directedness or ‘aboutness’ of many, if not all, conscious states. The term was used by the scholastics, but revived in the 19th century by Brentano . Our beliefs, thoughts, wishes, dreams, and desires are about things. Equally the words we… … Philosophy dictionary
