This course is an introduction to the formal analysis of natural language semantics as situated within the larger domain of linguistics. Students will be introduced to the main goals and methods of formal semantics, with a special focus on some of its core empirical results, and to some mathematical concepts underlying semantic interpretation systems (sets, relations, functions). Topics include: predication, the semantics of quantificational determiners, indexicals, semantic binding, tense, and modality.

CILO-1: Explain formal semantics formulas, as well as mathematical /logical concepts relevant to language analysis. CILO-2: ldentify the core issues and concepts in formal semantics for words and sentences. CILO-3: Examine empirical studies and applications from within a broader theoretical framework. CILO-4: Apply logical analysis of natural language.