During the 1980s, two research programs in formal semantics were established:
dynamic semantics (DS), which provides a discourse interpretation, and
generalized quantifier theory (GQT), which deals with quantification in natural languages. In the 1990s, proposals to integrate GQT into DS were made; unfortunately, many of them failed to include the problems of anaphora in contexts of quantification. This paper redefines
problems of quantification as
problems of characterization of finite classes. It defines a semantic framework,
dynamic theory for discourse interpretation, and demonstrates how problems of plural pronominal anaphora can be treated properly within it.
View full abstract