Models of conversation that rely on a strong notion of cooperation don't apply to strategic conversation -that is, to conversation where the agents' motives don't align, such as courtroom cross examination and political debate. We provide a game-theoretic framework that provides an analysis of both cooperative and strategic conversation. Our analysis features a new notion of safety that applies to implicatures: an implicature is safe when it can be reliably treated as a matter of public record. We explore the safety of implicatures within cooperative and non cooperative settings. We then provide a symbolic model enabling us (i) to prove a correspondence result between a characterisation of conversation in terms of an alignment of players' preferences and one where Gricean principles of cooperative conversation like Sincerity hold, and (ii) to show when an implicature is safe and when it is not.

No abstract

No abstract

This is a book about the meanings of words and how they can combine to form larger meaningful units, as well as how they can fail to combine when the amalgamation of a predicate and argument would produce what the philosopher Gilbert Ryle called a 'category mistake'. It argues for a theory in which words get assigned both an intension and a type. The book develops a rich system of types and investigates its philosophical and formal implications, for example the abandonment of the classic Church analysis of types that has been used by linguists since Montague. The author integrates fascinating and puzzling observations about lexical meaning into a compositional semantic framework. Adjustments in types are a feature of the compositional process and account for various phenomena including coercion and copredication. This book will be of interest to semanticists, philosophers, logicians and computer scientists alike.