TIL as a Procedural Logic: A Guide of Transparent Intensional Logic for a Curious Reader

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F12%3A00379957" target="_blank" >RIV/67985955:_____/12:00379957 - isvavai.cz</a>

Alternative codes found

RIV/61989100:27240/12:86082063

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

TIL jako procedurální logika. Průvodce zvídavého čtenáře Transparentní intensionální logikou

Original language description

V první části jsou vyloženy teoretické základy TIL: význam výrazu, základní pojmy a definice, procedurální isomorfismus, teorie pojmu, logika intenzí. Druhá část ukazuje řešení některých sémantických problémů: supozice, postoje, modality, temporální závislosti, tázací věty, pragmaticky neúplný význam, základy extenzionální logiky hyperintenzí.

Czech name

TIL jako procedurální logika. Průvodce zvídavého čtenáře Transparentní intensionální logikou

Czech description

V první části jsou vyloženy teoretické základy TIL: význam výrazu, základní pojmy a definice, procedurální isomorfismus, teorie pojmu, logika intenzí. Druhá část ukazuje řešení některých sémantických problémů: supozice, postoje, modality, temporální závislosti, tázací věty, pragmaticky neúplný význam, základy extenzionální logiky hyperintenzí.

Type

B - Specialist book

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

<a href="/en/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporal aspects of knowledge and information</a><br>

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2012

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

978-80-89491-08-7

Number of pages

414

Publisher name

Aleph

Place of publication

Bratislava

UT code for WoS book

—