Lecture, four hours. Requisite: course 200C. Survey of current approaches to model-theoretic semantics and its relation to current linguistic theory. Approaches include generalized categorial grammars, Montague grammar, Boolean-based systems, generalized quantifier theory, logical form. S/U (2-unit course) and S/U or letter (4-unit course) grading.