This introductory textbook assumes no prior knowledge and covers a wide range of core topics in formal semantics. Now thoroughly updated, the second edition features new chapters on semantic composition, type theory and the lambda calculus, as well as a revised discussion of Pragmatics and a variety of new exercises.

Assuming no prior experience, this core textbook introduces formal semantics in an accessible and engaging way and provides students with a solid understanding of a range of semantic phenomena. It explores a wealth of topics, including generalized quantifier theory, referential opacity, aktionsarten, thematic roles and lexical conceptual structure, tense and aspect and event semantics. Chapters are illustrated with numerous examples to contextualise the theory, and practical exercises encourage students to engage with the text and develop their problem-solving skills.

This is an essential text for undergraduates and postgraduates involved in the study of semantics. It is an ideal text for a wide range of modules on the philosophy of language, linguistic meaning and formal semantics.

New to this Edition:
- Fully revised and updated, with new material on type theory, the lambda calculus, semantic composition, reference to times in a narrative and discourse representation theory
- Exercises now graded according to level of difficulty, from beginner to very advanced level

Accompanying online resources for this title can be found at bloomsburyonlineresources.com/modern-linguistics-series. These resources are designed to support teaching and learning when using this textbook and are available at no extra cost.