Undergraduate Prerequisites: CAS LX 331 (formerly CAS LX 502); Graduate Prerequisites: GRS LX 631 (formerly CAS LX 502), or consent of instructor. - Systematic development of a semantic theory of natural language, using the tools of model-theoretic semantics. In-depth study of the relation between meaning and grammar, and the relation between meaning and context. Also offered as CAS LX 732.