The course introduces formal theories of context-dependency, presupposition, implicature, context-change, focus and topic. Special emphasis is on the division of labor between semantics and pragmatics. It also covers applications to the analysis of quantification, definiteness, presupposition projection, conditionals and modality, anaphora, questions and answers.