Model-theoretic pragmatics is an attempt to provide a formal description of the pragmatics of natural language as effects arising from using model-theoretic semantics in a dynamic environment. The pragmatic phenomena considered here have been variously labeled ~resupposition [I] and eonven¢ional implicature [6]. The models used in traditional model-theoretic semantics provide a complete and static representation of knowledge about the world, llowever, this is not the environment in which language is used. .
