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

Kód výsledku v 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>
Nalezeny alternativní kódy
RIV/61989100:27240/12:86082063
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
TIL jako procedurální logika. Průvodce zvídavého čtenáře Transparentní intensionální logikou
Popis výsledku v původním jazyce
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í.
Název v anglickém jazyce
TIL as a Procedural Logic: A Guide of Transparent Intensional Logic for a Curious Reader
Popis výsledku anglicky
In the first part theoretical foundations of TIL are exposed: The meaning of an expression, basic notions and definitions, procedural isomorphism, theory of concepts, logic of intensions. The second part shows solutions of some semantic problems: Suppositions, attitudes, modalities, temporal dependences, interrogative sentences, pragmatically incomplete meaning, foundations of an extensional logic of hyperintensions.

Projekt
<a href="/cs/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporální aspekty znalostí a informací</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2012
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ů

Podobné výsledky(10)