Quantification is a ubiquitous phenomenon, both in logic and language.
Modern logic is built around the standard universal and existential quantifiers, but expressive power can be increased, in various directions, by the addition of other, generalized , quantifiers. In language, practically all noun phrases can be interpreted via generalized quantifiers, and other phrases as well use quantifiers for their interpretation. On the logical side, it introduces the basic model-theoretic background for generalized quantifiers, discusses their logical behavior, and presents, among other things, methods for assessing their expressive power, applying these methods to various quantifiers occurring in natural languages. On the linguistic side, the seminar analyzes the meanings that natural languages express with determiners and adverbs, and studies how these meanings combine by iteration, branching, and cumulation, with applications to reciprocals, polarity items, selective and unselective binding, definite and indefinite noun phrases, and other issues. The seminar meets once a week jointly at Stanford and in Stockholm by means of a telecommunication link.