When Variables Don't Vary Enough

This paper concerns treatment of variables in a dynamic semantics. The main empiricalconcern will be the interaction of presupposition and quantification, but I will also considerhow epistemic modals and quantifiers combine. I will show how these empirical considerationsmotivate a choice between two styles of quantification. The first of these stylesinvolves treating quantified variables rather like discourse markers, whereas the second stylegives variables a more classical interpretation. ...