This course provides an introduction to formal linguistic approaches to the study of meaning. Topics include quantifiers, scope, definite descriptions, anaphora, tense and aspect, knowledge of meaning, metalanguages and the syntax-semantics interface.