Logics of Conversation

People often mean more than they say. Grammar on its own is typically insufficient for determining the full meaning of an utterance; the assumption that the discourse is coherent or ‘makes sense’ has an important role to play in determining meaning as well. Logics of Conversation presents a dynamic semantic framework called Segmented Discourse Representation Theory, or SDRT, where this interaction between discourse coherence and discourse interpretation is explored in a logically precise manner. Combining ideas from dynamic semantics, commonsense reasoning and speech act theory, SDRT uses its analysis of rhetorical relations to capture intuitively compelling implicatures. It provides a computable method for constructing these logical forms and is one of the most formally precise and linguistically grounded accounts of discourse interpretation currently available. The book will be of interest to researchers and students in linguistics and in philosophy of language.

• Presents a logically precise theory of discourse interpretation • Offers a new way of analysing speech acts • Extends dynamic semantics with insights from common sense reasoning and AI

Preface; Acknowledgements; 1. Motivations; 2. Semantic models of discourse interpretation; 3. Pragmatic models of discourse interpretation; 4. The logical form of discourse; 5. Building logical forms for discourse; 6. The lexicon and discourse structure; 7. Discourse relations for dialogue; 8. Disputes in dialogue; 9. Cognitive modelling; 10. Some concluding remarks: A. Objections and replies; B. Notation index; C. The semantics of DRT; D. Glossary of discourse relations; E. Summary of discourse update; F. Some proofs in the glue logic; References; Indexes.