requirement 1 Complete 1 course
requirement 2 Complete 2 courses
requirement 3 Complete 1 course
requirement 4 Complete 3.0 hours from the following option(s)
option 4.1 Complete up to 3.0 hours from the following course(s)
option 4.2 Complete up to 3.0 hours from the following course(s)
No more than 6 hours may double-count for the philosophy major and the logic minor.
Logic and Metalogic
1. Construct, symbolize, and evaluate proofs in syllogistic logic, truth-functional logic, first-order (quantificational) logic, set-theory and Peano arithmetic.
2. Understand the development of logic, including metalogical results.