A study of one or more advanced topics in formal logic, such as the metatheory of classical logic, extensions of or alternatives to classical logic, or the philosophy of logic. Seminar (two hours); one term Prerequisite(s): PHILOS 2B03 Antirequisite(s): PHILOS 3F03