Lecture, four hours. In-depth study of generalized quantifier theory; selected topics from distinctive feature theory, formal syntax, partial orders and lattices, formal language theory, variable binding operators. May be repeated for credit with consent of instructor. S/U or letter grading.