An introduction to formal semantics and pragmatics, and the logical techniques needed to analyze them.