Extensional principles in three types of context

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Extensional principles in three types of context

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Extensional principles in three types of context

Popis výsledku anglicky

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

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

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 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

—

Počet stran výsledku

6

Strana od-do

381-386

Název nakladatele

Brno University of Technology

Místo vydání

Brno

Místo konání akce

Brno

Datum konání akce

25. 6. 2014

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

EUR - Evropská akce

Kód UT WoS článku

—