Using dependent record types in clarification ellipsis

• We present a sketch of a formulation of an analysis of clarification ellipsis using dependent record types as they have been developed in Martin-Löf type theory. Record types provide a semantic formalism which at the same time as containing the normal paraphernalia of semantics (functions, binding, quantification) also have strong similarities to typed feature structures as used in HPSG. We argue that this gives us the kind of tools we need to account for the interpretation of clarification ellipses which to a large extent need to be constructed from semantic, syntactic and phonological information about the utterance being clarified. Clarification ellipses thus motivate a radical kind of context dependence over and above compositional semantics. Their meanings need to be constructed by the manipulation of structured representations of previous utterances which include more than just semantic information.

Ämnesord

HUMANIORA  -- Filosofi, etik och religion -- Filosofi (hsv//swe)

HUMANITIES  -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)

HUMANIORA  -- Språk och litteratur -- Jämförande språkvetenskap och allmän lingvistik (hsv//swe)

HUMANITIES  -- Languages and Literature -- General Language Studies and Linguistics (hsv//eng)

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

natural language semantics

clarification

type theory

record types

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)