Natural language and proof-theoretic semantics : denotational ghosts in inferential machine

PEZLAR, Ivo. Natural language and proof-theoretic semantics : denotational ghosts in inferential machine. In 5th World Congress and School on Universal Logic, 25.-30. 6. 2015, Istanbul. 2015.

Basic 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

• Original language: English
• Type of outcome: Presentations at conferences
• Field of Study: 60300 6.3 Philosophy, Ethics and Religion
• Country of publisher: Turkey
• Confidentiality degree: is not subject to a state or trade secret
• WWW: URL
• RIV identification code: RIV/00216224:14210/15:00083749
• Organization unit: Faculty of Arts
• Keywords in English: proof-theoretic semantics; natural language; proof theory
• Tags: mzok, rivok
• Tags: International impact, Reviewed

Abstract

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: Name: Soudobé problémy a minulé podoby filozofické diskuse

Investor: Masaryk University, Category A