Natural language and proof-theoretic semantics : denotational ghosts in inferential machine
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F15%3A00083749" target="_blank" >RIV/00216224:14210/15:00083749 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Natural language and proof-theoretic semantics : denotational ghosts in inferential machine
Popis výsledku v původním jazyce
In the domain of formal semantics the general ?meaning as use? approach is almost exclusively limited to artificial languages (i.e., non-empirical discourse). Lately, however, this began slowly to change and attempts of providing proof-theoretic semantics for natural languages (i.e., empirical discourse) started to appear as well. In this paper we review some of the state of the art approaches to natural language analysis from the proof-theoretic semantics point of view. However, as we will show, some of these approaches still suffer from denotational pollution in various degrees. Our task will be to locate and examine these denotational ?ghosts? in otherwise inferential machine and, hopefully, get rid of them.
Název v anglickém jazyce
Natural language and proof-theoretic semantics : denotational ghosts in inferential machine
Popis výsledku anglicky
In the domain of formal semantics the general ?meaning as use? approach is almost exclusively limited to artificial languages (i.e., non-empirical discourse). Lately, however, this began slowly to change and attempts of providing proof-theoretic semantics for natural languages (i.e., empirical discourse) started to appear as well. In this paper we review some of the state of the art approaches to natural language analysis from the proof-theoretic semantics point of view. However, as we will show, some of these approaches still suffer from denotational pollution in various degrees. Our task will be to locate and examine these denotational ?ghosts? in otherwise inferential machine and, hopefully, get rid of them.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2015
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ů