In the 1980’s, the analysis of presupposition projection contributed to a ‘dynamic turn’ in semantics: the classical notion of meanings as truth conditions was replaced with a dynamic notion of meanings as Context Change Potentials (Heim 1983). We explore an alternative in which presupposition projection follows from the combination of a fully classical semantics with two pragmatic principles of manner, Be Articulate and Be Brief. Be Articulate is a violable constraint which requires that a meaning pp’, conceptualized as involving a precondition p (its ‘presupposition’), should be articulated as … (p and pp’) … (e.g. … it is raining and John knows it…) rather than as … pp ’. Be Brief, which is more highly ranked than Be Articulate, disallows a full conjunction whose first element is semantically idle. In particular,... (p and pp’)... is ruled out by Be Brief- and hence … pp ’ … is acceptable despite Be Articulate- if one can determine as soon as p and is uttered that no matter how the sentence ends these words could be eliminated without affecting its contextual meaning. Two equivalence theorems guarantee that these principles derive Heim’s results in almost all cases. Unlike dynamic semantics, our analysis does not encode in the meaning of connectives the left-right asymmetry which is often found in presupposition projection; instead, we give a flexible analysis of this incremental bias, which allows us to account for some ‘symmetric readings ’ in which the bias is overridden (e.g. If the bathroom is not hidden,

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate the reference of terms as near, far or 'further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system.