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