Lecture (LEC)

This course is an introduction to formal model-theoretic semantics, focusing on the principles of compositional interpretation of truth-conditional aspects of natural language phrases and sentences. We will learn about different kinds of inferences in natural language, and we will learn tools from logic including propositional logic, predicate logic, and typed lambda calculus. We will then apply those tools to develop a formal framework couched in generative grammar for analyzing a range of semantic phenomena including predication, quantification, modification, anaphora and binding, and more.