Attributes | Values |
---|
rdf:type
| |
Description
| - 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).
- 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). (en)
|
Title
| - Transparent intensional logic: an introduction
- Transparent intensional logic: an introduction (en)
|
skos:prefLabel
| - Transparent intensional logic: an introduction
- Transparent intensional logic: an introduction (en)
|
skos:notation
| - RIV/00216224:14210/11:00056433!RIV12-MSM-14210___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14210/11:00056433
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Transparent Intensional Logic (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://localhost/t...ganizacniJednotka
| |