From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy)

This is the first textbook that approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference.
The book has been carefully designed for the classroom. It is aimed at students with varying degrees of preparation, including those without prior exposure to semantics or formal logic. Moreover, it should make DRT easily accessible to those who want to learn about the theory on their own.
Exercises are available to test understanding as well as to encourage independent theoretical thought.
The book serves a double purpose. Besides a textbook, it is also the first comprehensive and fully explicit statement of DRT available in the form of a book.
The first part of the book develops the basic principles of DRT for a small fragment of English (but which has nevertheless the power of standard predicate logic). The second part extends this fragment by adding plurals; it discusses a wide variety of problems connected with plural nouns and verbs. The third part applies the theory to the analysis of tense and aspect. Many of the problems raised in Parts Two and Three are novel, as are the solutions proposed.
For undergraduate and graduate students interested in linguistics, theoretical linguistics, computational linguistics, artificial intelligence and cognitive science. Suitable for students with no previous exposure to formal semantics or logic.