Use this URL to cite or link to this record in EThOS:
Title: Presupposition and assertion in dynamic semantics : Part (I) The presupposition : a critical review of presupposition theory ; Part (II) The assertion : what comes first in dynamic semantics
Author: Beaver, David Ian
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 1995
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
The Context Change Potential (CCP) model of presupposition, due primarily to Kartunnen and Heim, is formally elaborated and modified within a propositional dynamic logic, a first-order dynamic logic, and within a three sorted type theory. It is shown that the definitions of connectives and quantifiers can be motivated independently of the phenomenon of presupposition by consideration of the semantics of anaphora and epistemic modality (cf. the work of Groenendijk & Stokhof and Veltman), and that these independently motivated definitions provide a solution to the projection problem for presupposition. It is argued that with regard to the interaction between presupposition and quantification the solution is empirically superior to those in competing accounts. The treatment of epistemic modality is also shown to be superior to existing dynamic accounts, combining solutions to traditional model identity problems with an adequate treatment of presuppositions in quantified contexts. A compositional semantics which integrates dynamic treatments of quantification, anaphora, modality and presupposition is then specified for a fragment of English. Finally, a formal modal of global accommodation (cf. Lewis, Heim, van der Sandt) is defined, this model differing from previous accounts in being non-structural. This means that the accommodated material cannot be deduced from formal properties of the utterance alone, but is essentially dependent on world-knowledge and common sense reasoning. Thus the model provides an essentially pragmatic account in the style of Stalnaker. It is shown that the formal model provides both a general solution to the problem of the in-formativeness of presuppositions, and a specific solution to a problem within the CCP model, namely its tendency to yield innapropriately weak conditionalised presuppositions. It argued that a pragmatic model can provide superior predictions to any purely semantic theory of presupposition, and to any theory based on a purely structural account of accommodation or cancellation (cf. Gazdar).
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available