RACLAVSKÝ, Jiří. Transparent intensional logic: an introduction. In Theory of imperatives lectures. 2011.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Transparent intensional logic: an introduction
Autoři RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
Vydání Theory of imperatives lectures, 2011.
Další údaje
Originální jazyk angličtina
Typ výsledku Vyžádané přednášky
Obor 60300 6.3 Philosophy, Ethics and Religion
Stát vydavatele Polsko
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14210/11:00056433
Organizační jednotka Filozofická fakulta
Klíčová slova anglicky Transparent Intensional Logic
Příznaky Mezinárodní význam
Změnil Změnil: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Změněno: 27. 5. 2013 12:43.
Anotace
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).
VytisknoutZobrazeno: 24. 4. 2024 16:03