Philosophy of Logic and Mathematics

Undergraduate

Logic and philosophy of mathematics are ancient fields of study and have also flowered in recent times. Courses in this rubric study principles, results and methods of logic (whether in 'classical' or 'non-classical' systems) or philosophical issues concerning the interpretation of logic and mathematics (e.g., what justifies the rules of inference? what is mathematics about? what is logical or mathematical truth? what does a proof prove?). Emphasis may be historical or contemporary.