Extensional principles in three types of context
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F14%3A86090833" target="_blank" >RIV/61989100:27240/14:86090833 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Extensional principles in three types of context
Original language description
The goal of this paper is to introduce Transparent Intensional Logic (hereinafter referred to as "TIL") as a logical framework apt for deductive reasoning over the all appropriate analysis of natural language sentences. When we are integrated in conversation act, we can explicitly understand each other without realizing that our minds implicitly recognize the context of discussed topic. Our logical framework operates over three kinds of context in which a given meaning of an expression can occur. We canrecognize an extensional context, in which a construction is used to produce a particular value of the function at a given argument, an intensional context in which a construction is used to present a function without presenting a particular value of the function and hyperintensional context in which a construction is not used to present an object, but is itself mentioned as functional argument. This kind of distinction is necessary for further manipulation with formalized meanings (con
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
MENDEL 2014 : 20th International Conference on Soft Computing : June 25-27, 2014, Brno, Czech Republic
ISBN
978-80-214-4984-8
ISSN
1803-3814
e-ISSN
—
Number of pages
6
Pages from-to
381-386
Publisher name
Brno University of Technology
Place of publication
Brno
Event location
Brno
Event date
Jun 25, 2014
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—