Elucidates the relation between quantifiers in formal logic and quantifiers in natural language. Demystifies the theoretical apparatus of contemporary logic as it provides theoretical explanations concerning quantification in natural language, and idiomatic quantifiers in ordinary English in particular.

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, and many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.Quantifiers in Language and Logic is intended for everyone with a scholarly interest in the exact treatment of meaning. It presents a broad view of the semantics and logic of quantifier expressions in natural languages and, to a slightly lesser extent, in logical languages. The authors progress carefully from a fairly elementary level to considerable depth over the course of sixteen chapters; their book will be invaluable to a broad spectrum of readers, from those with a basicknowledge of linguistic semantics and of first-order logic to those with advanced knowledge of semantics, logic, philosophy of language, and knowledge representation in artificial intelligence.

This volume of papers grew out of a research project on "Cross-Linguistic Quantification" originated by Emmon Bach, Angelika Kratzer and Barbara Partee in 1987 at the University of Massachusetts at Amherst, and supported by National Science Foundation Grant BNS 871999. The publication also reflects directly or indirectly several other related activ ities. Bach, Kratzer, and Partee organized a two-evening symposium on cross-linguistic quantification at the 1988 Annual Meeting of the Linguistic Society of America in New Orleans (held without financial support) in order to bring the project to the attention of the linguistic community and solicit ideas and feedback from colleagues who might share our concern for developing a broader typological basis for research in semantics and a better integration of descriptive and theoretical work in the area of quantification in particular. The same trio organized a six-week workshop and open lecture series and related one-day confer ence on the same topic at the 1989 LSA Linguistic Institute at the University of Arizona in Tucson, supported by a supplementary grant, NSF grant BNS-8811250, and Partee offered a seminar on the same topic as part of the Institute course offerings. Eloise Jelinek, who served as a consultant on the principal grant and was a participant in the LSA symposium and the Arizona workshops, joined the group of editors for this volume in 1989.

Covering a strikingly diverse range of languages from 12 linguistic families, this handbook is based on responses to a questionnaire constructed by the editors. Focusing on the formation, distribution and semantic interpretation of quantificational expressions, the book explores 17 languages including German, Italian, Russian, Mandarin Chinese, Malagasy, Hebrew, Pima, Basque, and more. The language data sets enable detailed crosslinguistic comparison of numerous features. These include semantic classes of quantifiers (generalized existential, generalized universal, proportional, partitive), syntactically complex quantifiers (intensive modification, Boolean compounding, exception phrases) and several others such as quantifier scope ambiguities, quantifier float, and binary quantifiers. Its theory-independent content extends earlier work by Matthewson (2008) and Bach et al. (1995), making this handbook suitable for linguists, semanticians, philosophers of language and logicians alike.

This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others. While doing so, it lays the groundwork for extending semantic theory with computational and cognitive aspects by combining linguistics and logic with computations and cognition. Quantifier expressions occur whenever we describe the world and communicate about it. Generalized quantifier theory is therefore one of the basic tools of linguistics today, studying the possible meanings and the inferential power of quantifier expressions by logical means. The classic version was developed in the 1980s, at the interface of linguistics, mathematics and philosophy. Before this volume, advances in "classic" generalized quantifier theory mainly focused on logical questions and their applications to linguistics, this volume adds a computational component, the third pillar of language use and logical activity. This book is essential reading for researchers in linguistics, philosophy, cognitive science, logic, AI, and computer science.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.