Explore theories of linguistic meaning using logical and mathematical tools. Introduction to key ideas from compositional and lexical semantics.