Hyperintensional, intensional and extensional context recognition

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15210%2F13%3A33144289" target="_blank" >RIV/61989592:15210/13:33144289 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989100:27240/13:86086706

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Hyperintensional, intensional and extensional context recognition

Popis výsledku v původním jazyce

In the paper we introduce three kinds of context in which one and the same meaning of an expression can occur. In our background logical framework of Transparent Intensional Logic (TIL) meaning of an expression E is explicated as an algorithmically structured procedure detailing which operation to apply to which objects in order to arrive at the object denoted by E (if any). The denoted object is a (possibly 0-ary) function. The three kinds of context are these. An extensional context in which the valueof the denoted function is an object of predication; an intensional context in which the entire function is an object of predication; and finally a hyperintensional context in which the mode of presentation of the denoted function (that is the meaning of a constituent sub-expression) is an object of predication. The paper outlines the method of context-recognition that takes into account the fact that a higher-order context is dominant over a lower-order one. By way of examples we illus

Název v anglickém jazyce

Hyperintensional, intensional and extensional context recognition

Popis výsledku anglicky

In the paper we introduce three kinds of context in which one and the same meaning of an expression can occur. In our background logical framework of Transparent Intensional Logic (TIL) meaning of an expression E is explicated as an algorithmically structured procedure detailing which operation to apply to which objects in order to arrive at the object denoted by E (if any). The denoted object is a (possibly 0-ary) function. The three kinds of context are these. An extensional context in which the valueof the denoted function is an object of predication; an intensional context in which the entire function is an object of predication; and finally a hyperintensional context in which the mode of presentation of the denoted function (that is the meaning of a constituent sub-expression) is an object of predication. The paper outlines the method of context-recognition that takes into account the fact that a higher-order context is dominant over a lower-order one. By way of examples we illus

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

O - Projekt operacniho programu

Rok uplatnění

2013

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ů

Název statě ve sborníku

MENDEL 2013, 19th International Conference on Soft Computing

ISBN

978-80-214-4755-4

ISSN

1803-3814

e-ISSN

—

Počet stran výsledku

6

Strana od-do

427-432

Název nakladatele

Vysoké učení technické

Místo vydání

Brno

Místo konání akce

Brno

Datum konání akce

26. 6. 2013

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—