ABSTRACT
ThisconceptionderiveslargelyfromtheworkofStalnaker(e.g.1972, 1974).Itissometimessubdividedintonotionsofspeakerpresuppositionandutterancepresupposition(cf.Soames(1982)),butforour purposesthisdistinctioncanbeignored.Animportantpointisthat pragmaticpresuppositionscanincludesemanticpresuppositions:"Presuppositionis,frrstandforemost,amatterofwhatisassumedortaken forgranted[bylanguageusers]....[butthis]doesnotrulesemantic explanationsofpragmaticfacts."(Soames(1989,570))
13.ThisideaisformallydevelopedwithintheLHKtheoryin Heim(1983b),intermsofacontext-changesemantics.Formypurposesitisnotnecessarytogointotheformalmachineryofthis theory,itissufficientsimplytoshowtheeffectonthelogicalrepresentation.
