Philosophical Logic

Catalog description

This course is intended for anyone with some background in formal logic who would like to (i) expand their knowledge of formal logical systems beyond first-order logic and (ii) engage in sustained philosophical reflection on the value and applications of these other logical systems. Particular systems we will study in this course include: many-valued logics (in both paracomplete and paraconsistent versions), supervaluations, free logic, and secondorder logic (both classical and free).