Original title:
(In) Transparent Intensional Logic (some remarks to the notion of trivialisation in TIL)
Authors:
Majer, Ondrej Document type: Papers Conference/Event: Logica 2000, Liblice (CZ), 2000-06-00
Year:
2001
Language:
eng Abstract:
Pavel Tichý's Transparent Intensional Logic (TIL)is a power ful tool for the logical analysis of natural language. The article discusses one of the key notions of TIL - the notion of trivialisation. Trivialisation belongs to the formal apparatus of the theory but is essentially connected to its philosophical background. The aim of the paper is to clarify the philosophical role of trivialisation and to discuss its counterparts in standard logical systems.
Keywords:
logic Project no.: IAA0009001 (CEP) Funding provider: GA AV ČR Host item entry: The Logic Yearbook 2000, ISBN 80-7007-149-4
Institution: Institute of Philosophy AS ČR
(web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences. Original record: http://hdl.handle.net/11104/0037759