A Calculus for Semantic Composition and Scoping

Certain restrictions on possible scopings of quantified noun phrases in natural language are usually expressed in terms of formal constraints on binding at a level of logical form. Such reliance on the form rather than the content of semantic interpretations goes against the spirit of compositionality. I will show that those scoping restrictions follow from simple and fundamental facts about functional application and abstraction, and can be expressed as constraints on the derivation of possible meanings for sentences rather than constraints of the alleged forms of those meanings.

[1]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

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

[3]  Dingeman Johannes Norbertus van Eijck,et al.  Aspects of quantification in natural language , 1985 .

[4]  Mark Steedman,et al.  Combinatory grammars and parasitic gaps , 1987 .

[5]  K. VanLehn.  Determining the Scope of English Quantifiers , 1978 .

[6]  David R. Dowty,et al.  Introduction to Montague semantics , 1980 .

[7]  E. Williams.  A reassignment of the function of LF , 1986 .

[8]  Amy P. Felty,et al.  Specifying Theorem Provers in a Higher-Order Logic Programming Language , 1988, CADE.

[9]  D.J.N. vanEijck,et al.  Aspects of Quantification in Natural Language , 1985 .

[10]  Gerard Huet,et al.  Formal structures for computation and deduction , 1986 .

[11]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[12]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[13]  Robin Cooper,et al.  Quantification and Syntactic Theory , 1983 .

[14]  N. Belnap,et al.  Entailment. The Logic of Relevance and Necessity. Volume I , 1978 .

[15]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[16]  Craige Roberts,et al.  Modal subordination, anaphora, and distributivity , 1990 .

[17]  William A. Howard,et al.  The formulae-as-types notion of construction , 1969 .

[18]  J. Benthem.  Categorial Grammar and Lambda Calculus , 1987 .

[19]  Jerry R. Hobbs,et al.  An Algorithm for Generating Quantifier Scopings , 1987, CL.

[20]  E. Williams,et al.  Introduction to the Theory of Grammar , 1986 .

[21]  R. May.  Logical Form: Its Structure and Derivation , 1985 .

[22]  Douglas B. Moran,et al.  Quantifier Scoping in the SRI Core Language Engine , 1988, ACL.

[23]  T. Reinhart.  Anaphora and semantic interpretation , 1983 .

[24]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[25]  Martha E. Pollack,et al.  An Integrated Framework for Semantic and Pragmatic Interpretation , 1988, ACL.

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

[27]  Barbara H. Partee,et al.  Quantification, Pronouns, and VP Anaphora , 1984 .

[28]  Haskell B. Curry,et al.  Combinatory Logic, Volume I , 1959 .

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