ThisbookdiscusseshowTypeLogicalGrammarcanbemodi?edinsuch awaythatasystematictreatmentofanaphoraphenomenabecomesp- sible without giving up the general architecture of this framework. By Type Logical Grammar, I mean the version of Categorial Grammar that arose out of the work of Lambek, 1958 and Lambek, 1961. There Ca- gorial types are analyzed as formulae of a logical calculus. In particular, the Categorial slashes are interpreted as forms of constructive impli- tion in the sense of Intuitionistic Logic. Such a theory of grammar is per se attractive for a formal linguist who is interested in...

Rooted in Gricean tradition, this book concentrates on game- and decision-theoretic (GDT) approaches to the foundations of pragmatics. An Introduction to GDT, with an overview of GDT pragmatics research to date and its relation to semantics and to Gricean pragmatics is followed by contributions offering a high-level survey of current GDT pragmatics and the field of its applications, demonstrating that this approach provides a sound basis for synchronic and diachronic explanations of language use.