An introductory text in linguistic semantics, uniquely balancing empirical coverage and formalism with development of intuition and methodology.