requirement 1 Complete 1 course
requirement 2 Complete 2 courses
requirement 3 Complete 1 course
requirement 4 Complete 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.