Staged updates

Abstract

Dynamic semantics standardly treats negation as externally static. This is inconsistent with anaphora to doubly-negated indefinites, and Partee disjunctions. I propose a technique for lifting dynamic systems into richer meaning spaces that support dynamic negation. I argue that extant theories of dynamic negation instantiate this technique in various ways, prove that all such lifted systems are isomorphic, and identify a minimal/canonical enrichment of Dynamic Predicate Logic. I relate this perspective on dynamic negation to recent work on 'bounded' meaning (Mandelkern 2022). Finally, I consider how such lifted interpretations with dynamic negations can be extended further, into richer meaning spaces that support exceptional scope of indefinites (Charlow 2025).