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

Permalink: http://www.nusl.cz/ntk/nusl-22303


The record appears in these collections:
Research > Institutes ASCR > Institute of Philosophy
Conference materials > Papers