(In) Transparent Intensional Logic (some remarks to the notion of trivialisation in TIL).

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F01%3A36010165" target="_blank" >RIV/67985955:_____/01:36010165 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
(In) Transparent Intensional Logic (some remarks to the notion of trivialisation in TIL).
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
(In) Transparent Intensional Logic (some remarks to the notion of trivialisation in TIL).
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/IAA0009001" target="_blank" >IAA0009001: LOGICA: série mezinárodních interdisciplinárních konferencí a vědeckých publikací</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2001
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)