Designed as a quick yet thorough introduction to one of the most vibrant areas of research in modern linguistics today this volume reveals the beauty and elegance of the mathematical study of meaning. It introduces the essential principles and techniques of formal semantics.
Focusing on Boolean semantics and generalized quantifier theory, this book presents a new semantic framework for understanding coordination, plurality, and scope in natural languages. It introduces a unique approach that combines Boolean interpretations with choice-function accounts and a novel plural semantics, diverging from traditional distributive/collective distinctions. The text addresses both linguistic and formal questions, making it a comprehensive resource for theoretical linguists while also appealing to those in logic, computational linguistics, and philosophy of language.