In Taking Scope, Mark Steedman considers the syntax and semantics of quantifier scope in interaction with negation, polarity, coordination, and pronominal binding, among other constructions. The semantics is “surface compositional,” in that there is a direct correspondence between syntactic types and operations of composition and types and compositions at the level of logical form. In that sense, the semantics is in the “natural logic” tradition of Aristotle, Leibniz, Frege, Russell, and others who sought to define a psychologically real logic directly reflecting natural language grammar.
The book reunites the generative-transformational tradition initiated by Chomsky--which views the formal syntactic component as entirely autonomous---with the older, strongly lexicalist, construction-based tradition, which has sought to define a more lingistically transparent theory of meaning representation. Steedman offers a logical formalism that relates directly to the surface form of language and to the process of inference and proof that it must support. Such a natural logic, although formal by definition, should be allowed to grow organically from attested language phenomena rather than be axiomatized a priori in terms of any standard logic. Steedman also considers the application of natural semantic interpretations to practical natural language processing tasks, emphasizing throughout the elimination of traditional quantifiers from semantic formalism in favor of devices such as Skolem terms and structure-sharing among representations in processing.
About the Author
Mark Steedman is Professor of Cognitive Science in the Division of Informatics at the University of Edinburgh. He is the author of Surface Structure and Interpretation (1996) and The Syntactic Process (2000), both published by the MIT Press.
"Taking Scope introduces an exciting new line of research, of importance to both theoretical and computational linguists. Combinatory Categorial Grammar is already renowned for achieving broad empirical coverage using computationally simple mechanisms, and in this book Steedman extends it to account for 'LF movement' phenomena without appealing to transformations. The result is an approach which will appeal to syntacticians and semanticists interested in alternatives to movement-based grammars, and to computational linguists looking for a computationally tractable, broad-coverage account of the syntax-semantics interface."
Mark Johnson, Professor of Language Science, Macquarie University
"Steedman's book is one grand argument for scope interpretation being a matter of natural logic, whose basic idea is that linguistic structure is the vehicle of inference. Recasting most quantifiers as underspecified Skolem terms allows syntax to compute the attested scope relations on-line. Steedman sets syntax and semantics in the context of human sentence processing as well as the efficient statistical parsing of corpora. One of the most impressive and thought-provoking books on language in many years."
Anna Szabolcsi, Department of Linguistics, New York University