This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

To what extent are countability distinctions subject to systematic semantic variation? Could there be a language with no countability distinctions—in particular, one where all nouns are count? I argue that the answer is no: even in a language where all NPs have the core morphosyntactic properties of English count NPs, such as combining with numerals directly and showing singular/plural contrasts, countability distinctions still emerge on close inspection. I divide these distinctions into those related to sums and those related to parts. (...) In the Sahaptian language Nez Perce, evidence can be found for both types of distinction, in spite of the absence of anything like a traditional mass–count division in noun morphosyntax. I propose an extension of the Nez Perce analysis to Yudja, analyzed by Lima as lacking any countability distinctions. More generally, I suggest that at least one countability distinction may be universal and that languages without any countability distinctions may be unlearnable. (shrink)

This paper explores the idea that scalar implicatures are computed with respect todiscourse referents. Given the general consensus that a proper account of pronominal anaphora in natural language requires discourse referents separately from the truth-conditional meaning, it is naturally expected that the anaphoric information that discourse referents carry play a role in the computation of scalar implicatures, but the literature has so far mostly exclusively focused on the truth-conditional dimension of meaning. This paper offers a formal theory of scalar implicatures (...) with discourse referents couched in dynamic semantics, and demonstrates its usefulness through a case study on the plurality inferences of plural nouns in English. (shrink)