Hyperintensional, intensional and extensional context recognition

Result code in 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>
Alternative codes found
RIV/61989100:27240/13:86086706
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Hyperintensional, intensional and extensional context recognition
Original language description
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
Czech name
—
Czech description
—

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

Article name in the collection
MENDEL 2013, 19th International Conference on Soft Computing
ISBN
978-80-214-4755-4
ISSN
1803-3814
e-ISSN
—
Number of pages
6
Pages from-to
427-432
Publisher name
Vysoké učení technické
Place of publication
Brno
Event location
Brno
Event date
Jun 26, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)