Examination of one or more advanced topics in mathematical or philosophical logic, such as: modal,temporal, and epistemic logics; counterfactuals; intuitionistic and other sub-classical logics; higher-order and other super-classical logics; formal semantics of natural language; or theories of truth.
Requisites: Prerequisite: PHILO 110 or PHILO 320, or consent of instructor.