Další formáty:
BibTeX
LaTeX
RIS
@misc{976764, author = {Raclavský, Jiří}, booktitle = {Theory of imperatives lectures}, keywords = {Transparent Intensional Logic}, language = {eng}, note = {(zvaná přednáška)}, title = {Transparent intensional logic: an introduction}, year = {2011} }
TY - SLIDE ID - 976764 AU - Raclavský, Jiří PY - 2011 TI - Transparent intensional logic: an introduction N1 - (zvaná přednáška) KW - Transparent Intensional Logic N2 - The aim of the talk is to present the core of TIL, Pavel Tichý's Transparent intensional logic, and its essential applications. We begin with motivations (e.g. hyperintensional phenomena) for the adoption of the key notions of TIL and its crucial distinctions (e.g. constructions vs. functions). Then we expose the core of the apparatus (constructions, type theory, deduction), explaining and commenting each its part. Finally, we move to applications, especially those in the field of natural language (analysis of meaning) and several important philosophical notions (e.g. conceptual systems). ER -
RACLAVSKÝ, Jiří. Transparent intensional logic: an introduction. In \textit{Theory of imperatives lectures}. 2011.
|