Anaphora and Quantification in Categorial Grammar

The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Calculus is extended with a new connective. In the first part, its proof theory is introduced and the logical properties of the resulting calculus are discussed. In the second part, this system is applied to several linguistic phenomena concerning the interaction of pronominal anaphora, VP ellipsis and quantifier scope. Finally, a possible extension to cross-sentential anaphora is considered.

[1]  Jeroen Groenendijk,et al.  Dynamic Montague grammar , 1990 .

[2]  Glyn Morrill,et al.  Type Logical Grammar: Categorial Logic of Signs , 1994 .

[3]  Association Focus , 1999 .

[4]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[5]  Mark Hepple,et al.  The grammar and processing of order and dependency : a categorial approach , 1990 .

[6]  P. Brown.  I-within-i Effects in a Variable Free Semantics and a Categorial Syntax , 1994 .

[7]  E. Williams.  Blocking and anaphora , 1997 .

[8]  Anna Szabolcsi,et al.  Reconstruction, Anaphora, and Pronouns as Identity Maps , 1997 .

[9]  Angelika Kratzer,et al.  The Representation of Focus , 1991 .

[10]  M. Moortgat.  In Situ Binding: A Modal Analysis , 1996 .

[11]  Pauline Jacobson.  Towards a Variable-Free Semantics , 1999 .

[12]  J. Gerhard.  Focus without variables: A multi-modal analysis , 1999 .

[13]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[14]  M. Moortgat.  Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus , 1988 .

[15]  Stanley Peters,et al.  Anaphora and quantification in situation semantics , 1990 .

[16]  Anna Szabolcsi,et al.  Bound variables in syntax (Are there any , 1987 .

[17]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[18]  Uwe Reyle,et al.  From discourse to logic , 1993 .

[19]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[20]  Ivan A. Sag,et al.  Deletion And Logical Form , 1976 .

[21]  Pauline Jacobson,et al.  Binding Connectivity in Copular Sentences , 1994 .

[22]  Fernando Pereira,et al.  Categorial Semantics and Scoping , 1990, CL.

[23]  Michael Moortgat.  Multimodal Linguistic Inference , 1995, Log. J. IGPL.