transparent intensional logic

Here is the homepage of Transparent Intensional Logic (TIL), founded
by Pavel Tichý, the system for the logical analysis of natural language, applicable in philosophy as well as cumputational linguistic.

The website was not properly updated for last two years; even its reconstruction (deleting some old materials, etc.) is needed. (The webmaster)

New books!

Transparentní Intenzionální Logika jako procedurální logika (in. Bratislava: Aleph by M. Duzi and P. Materna, 2012

Individuals and their Properties: Studies in Intensional Metaphysics (in Czech) by J. Raclavsky, 2011

Procedural Semantics for Hyperintensional Logic: Procedural Semantics for Hyperintensional Logic Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic by M. Duzi, B. Jespersen and P. Materna, 2010

Names and Descriptions: Logico-Semantical Investigations (in Czech) by J. Raclavsky, 2009

The page basis of the TIL contains the definitions of basic notions of transparent intensional logic and some introductory texts. The page presenting on-line articles is a list of TIL-concerned articles accessible on-line; a lot of them is located on this web. The page people somehow dealing with transparent intensional logic are listed here too (links to their homepages are added). In news You can read about the latest courses of events. If You add Your e-mail address to our mailling list, You would be informed about news via e-mail letter. Find useful links to logical semantics and journals.

Warning: fopen(counter/index.dat): failed to open stream: Permission denied in /data/www/til.phil.muni.cz/index.php on line 19