What is Meaning? Fundamentals of Formal Semantics is a concise introduction to the field of semantics as it is actually practiced. The book explains the fundamental ideas and some of the most significant results of modern semantic theory in an intuitive, engaging manner without relying on formalization or getting bogged down in technical skills. Through simple examples, pictures, and metaphors, Paul Portner presents the field's key ideas about how language works.