Transparent intensional logic: an introduction

RACLAVSKÝ, Jiří. Transparent intensional logic: an introduction. In Theory of imperatives lectures. 2011.

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

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

---

Anotace

V originále

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).