k 2015

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

PEZLAR, Ivo

Základní údaje

Originální název

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

Autoři

PEZLAR, Ivo (203 Česká republika, garant, domácí)

Vydání

5th World Congress and School on Universal Logic, 25.-30. 6. 2015, Istanbul, 2015

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Turecko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14210/15:00083749

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

proof-theoretic semantics; natural language; proof theory

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 24. 2. 2016 17:37, Mgr. Marie Skřivanová

Anotace

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.

Návaznosti

MUNI/A/1153/2014, interní kód MU
Název: Soudobé problémy a minulé podoby filozofické diskuse
Investor: Masarykova univerzita, Soudobé problémy a minulé podoby filozofické diskuse, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty