MoL-2007-06: Formalizing Implicatures Using Extended Logic Programming

MoL-2007-06: de Vries, Gerben (2007) Formalizing Implicatures Using Extended Logic Programming. [Report]

Preview	Text (Full Text) MoL-2007-06.text.pdf Download (490kB) | Preview
	Text (Abstract) MoL-2007-06.abstract.txt Download (810B)

Abstract

In this thesis a successful formalization of implicatures using
extended logic programming is given. This provides a cognitively more
interesting account than traditional formalizations. Focus lies on the
class of Q-implicatures, but I-implicatures are dealt with as
well. The thesis also includes an equivalence proof between this
approach and one using circumscription, such as sketched in Van Rooij
and Schulz. The main conclusion is the difference in complexity
between 'exhaustivity' and scalar implicatures, the latter type is
harder to compute. This is evidence in favor of the psycholinguistic
theory that (scalar) implicatures are only computed in the right
context, since they require extra processing.

Item Type:	Report
Report Nr:	MoL-2007-06
Series Name:	Master of Logic Thesis (MoL) Series
Year:	2007
Date Deposited:	12 Oct 2016 14:38
Last Modified:	12 Oct 2016 14:38
URI:	https://eprints.illc.uva.nl/id/eprint/778

Actions (login required)

View Item