Formal semantics - the study of meaning in natural language - is one of the most fundamental and established areas of linguistics. This Handbook brings together a team of leading scholars to survey the broad spectrum of endeavours in this field, including truth-conditional semantics, formal logic, set-theory and mereology and formal pragmatics.