Transparent intensional logic: an introduction

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F11%3A00056433" target="_blank" >RIV/00216224:14210/11:00056433 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Transparent intensional logic: an introduction

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Transparent intensional logic: an introduction

Popis výsledku anglicky

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

Druh

O - Ostatní výsledky

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2011

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ů