This course provides an introduction to formal semantics for natural language. The main aim is to develop a semantic system that provides a compositional interpretation of natural language sentences. We discuss various of the aspects central to meaning composition, including function application, modification, quantification, and binding, as well as issues in the syntax-semantics interface. The basic formal tools relevant for semantic analysis, including set theory, propositional logic, and predicate logic are also introduced.
Section 401 - LEC
MWF 1100AM-1200PM
SCHWARZ, FLORIAN
COLLEGE HALL 318