This book is an introduction to the current developments in model-theoretic semantics, which has become an essential part of the work in theoretical linguistics over the last decade. The author examines the model structure of Montague's theory and then presents elaborations on this basic model that have been of particular importance in the last few years: generalized quantifiers, the introduction of more structure in the domain of individuals, properties as primitive elements in the model, situations and similar 'smaller' worldlike entities. Nothing is presupposed about knowledge of the mathematical and logical tools used in formal semantics, and Bach presents the informal with a minimum of formalism.

"Books like this do not come along often. A true authority in this field has taken the time to write a non-technical introduction. No introduction of this kind is likely to be written by anyone else." — David Dowty, Ohio State University

"This work is a superb and exciting introduction to modern formal semantic theory. Bach succeeds in doing something which I wouldn't have thought possible: he gives a non-technical overview of the scope of semantic theory, of many of its interesting results, and of the kinds of questions it deals with." — Pauline Jacobson, Brown University

Emmon Bach is Professor of Linguistics at the University of Massachusetts at Amherst.