The application of logic to grammar is a fundamental issue in philosophy and has been investigated by such renowned philosophers as Leibniz, Bolzano, Frege, and Husserl. Language and Grammar examines categorial grammars and type-logical grammars, two linguistic theories that play a significant role in this area of study yet have been overshadowed until recently. The prominent scholars contributing to this volume also explore the impact of the Lambek program on linguistics and logical grammar, producing, ultimately, an exciting and important resource that demonstrates how type-logical grammars are promising future models of reasoning and computation.