Logic

Currently, logic is studied by three distinct disciplines–Computer Science, Mathematics, and Philosophy. This minor is interdisciplinary and will introduce students to the questions about logic that these disciplines raise, their methods for investigating these questions, and applications these disciplines may find for logic. Symbolic Logic is the foundational course, prerequisite for the current three advanced-level courses. Students must take this course prior to declaring the Minor in Logic. Each of the three disciplines is represented by an advanced-level course.