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