Detailed Information on Publication Record
2015
Natural language and proof-theoretic semantics : denotational ghosts in inferential machine
PEZLAR, IvoBasic information
Original name
Natural language and proof-theoretic semantics : denotational ghosts in inferential machine
Authors
PEZLAR, Ivo (203 Czech Republic, guarantor, belonging to the institution)
Edition
5th World Congress and School on Universal Logic, 25.-30. 6. 2015, Istanbul, 2015
Other information
Language
English
Type of outcome
Prezentace na konferencích
Field of Study
60300 6.3 Philosophy, Ethics and Religion
Country of publisher
Turkey
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
RIV identification code
RIV/00216224:14210/15:00083749
Organization unit
Faculty of Arts
Keywords in English
proof-theoretic semantics; natural language; proof theory
Tags
International impact, Reviewed
Změněno: 24/2/2016 17:37, Mgr. Marie Skřivanová
Abstract
V originále
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.
Links
| MUNI/A/1153/2014, interní kód MU |
|