Factivity and presupposition in Dependent Type Semantics
نویسندگان
چکیده
منابع مشابه
Factivity and presupposition in Dependent Type Semantics
Dependent Type Semantics (DTS, Bekki [3]) is a framework of natural language semantics based on dependent type theory (Martin-Löf [19]). In contrast to traditional model-theoretic semantics, DTS is a proof-theoretic semantics, where entailment relations are characterized as provability relations between semantic representations. One of the distinctive features of DTS, as compared to other type-...
متن کاملPresupposition Accommodation in Update Semantics
The study of presuppositions lies on the border of semantics and pragmatics. It concerns information, assumed to be part of the discourse context by the speaker, as apparent in the syntactic form of the utterance. Missing presupposed information will normally be lled in by the hearer, provided it is compatible with the context. My thesis tries to characterise this process of presupposition acco...
متن کاملPresupposition and Abduction in Type
This paper is about reasoning with presuppositions in natural language. Pre-supposition accommodation, as predicted by the linguistic theory of presupposi-tions as anaphoric expressions, is reconstructed logically as abductive inference in a framework that supports both anaphoric links and a context-dependent notion of propositionhood. Abductive inference arises as a side-eeect of the use of th...
متن کاملThe Semantics and Pragmatics of Presupposition
In this paper, we offer a novel analysis of presuppositions, paving particular attention to the interaction between the knowledge resources that are required to interpret them. The analysis has two main features. First, we capture an analogy between presuppositions, anaphora and scope ambiguity (cf. van der Sandt 1992), by utilizing semantic underspecification (c£ Reyle 1993). Second, resolving...
متن کاملAnti-dynamics: presupposition projection without dynamic semantics
Heim 1983 suggested that the analysis of presupposition projection requires that the classical notion of meanings as truth conditions be replaced with a dynamic notion of meanings as Context Change Potentials. But as several researchers (including Heim herself) later noted, the dynamic framework is insufficiently predictive: although it allows one to state that, say, the dynamic effect of F and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Language Modelling
سال: 2017
ISSN: 2299-8470,2299-856X
DOI: 10.15398/jlm.v5i2.153