Minor in Logic

The following requirements must be fulfilled: 18 credits in elective courses.

Required
One course (3 credits) from the following:
PHIL 2045Introduction to Logic
PHIL 3121Symbolic Logic
One course (3 credits) from the following:
MATH 3710Introduction to Mathematical Logic
MATH 3720Axiomatic Set Theory
MATH 3730Computability Theory
or MATH 3730W Computability Theory
MATH 3740Computational Complexity
or MATH 3740W Computational Complexity
Four additional courses (12 credits) from the lists above or from the following:
CSCI 1112Algorithms and Data Structures
CSCI 3313Foundations of Computing
CSCI 4222Theory of Computer Translators
LING 2601Language & Linguistic Analysis
or ANTH 2601 Language & Linguistic Analysis

No more than two courses may count toward both the student’s major and the minor in logic. 

For more information, contact the Philosophy Department.