Predicate logic with anaphora (seven inch version)

Predicate Logic with Anaphora (seven inch version) Paul Dekker University of Amsterdam In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without fid­ dling with orthodox notions of scope and binding. In contrast with its predecessor dynamic predicate logic (Groenendijk and Stokhof 1991 ) , the system of PLA is a proper extension of ordinary predicate logic and it has a genuine update semantics. Moreover, in contrast with other compositional reformulations of DRT, the seman­ tics of PLA remains well within the bounds of ordinary, extensional type theory. The research for this paper was supported by the ESPRIT Basic Research Project 6852, DYANA, Dynamic Interpretation of Natural Language.