Open AccessPredicate Logic with Anaphora
Author(s) -
Paul Dekker
Publication year - 1994
Publication title -
proceedings from semantics and linguistic theory
Language(s) - English
Resource type - Journals
eISSN - 2163-5951
pISSN - 2163-5943
DOI - 10.3765/salt.v4i0.2459
Subject(s) - predicate (mathematical logic) , extensional definition , predicate variable , predicate logic , predicate functor logic , computer science , anaphora (linguistics) , natural language processing , artificial intelligence , mathematics , linguistics , resolution (logic) , description logic , philosophy , programming language , zeroth order logic , multimodal logic , autoepistemic logic , paleontology , tectonics , biology
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 fiddling 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 semantics of PLA remains well within the bounds of ordinary, extensional type theory.