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

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-22303


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Filosofický ústav
Konferenční materiály > Příspěvky z konference