Název:
(In) Transparent Intensional Logic (some remarks to the notion of trivialisation in TIL)
Autoři:
Majer, Ondrej Typ dokumentu: Příspěvky z konference Konference/Akce: Logica 2000, Liblice (CZ), 2000-06-00
Rok:
2001
Jazyk:
eng
Abstrakt: 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.
Klíčová slova:
logic Číslo projektu: IAA0009001 (CEP) Poskytovatel projektu: GA AV ČR Zdrojový dokument: The Logic Yearbook 2000, ISBN 80-7007-149-4
Instituce: Filosofický ústav AV ČR
(web)
Informace o dostupnosti dokumentu:
Dokument je dostupný v příslušném ústavu Akademie věd ČR. Původní záznam: http://hdl.handle.net/11104/0037759