Minor in Logic
(15 hours*)
Program Requirements
- Complete the following:
PHIL 205 : Deductive Logic.
(3:3:0)(Credit Hours:Lecture Hours:Lab Hours)| WHEN TAUGHT: | Fall; Winter; Spring On Demand |
| DESCRIPTION:  | History and use of syllogistic and propositional logic; evaluating arguments with Venn diagrams, truth tables, and Copi-style proofs and proof strategies. |
PHIL 305 : Predicate Logic.
(3:3:0)(Credit Hours:Lecture Hours:Lab Hours)| WHEN TAUGHT: | Fall; Winter; Spring On Demand |
| PREREQUISITE: | PHIL 205 |
| DESCRIPTION:  | History and use of predicate logic; evaluating arguments with counterexamples and proofs; informal mathematical proofs. |
| NOTE: | Fulfills GE Languages of Learning requirement. |
PHIL 405 : Metalogic.
(3:3:0)(Credit Hours:Lecture Hours:Lab Hours)| WHEN TAUGHT: | Winter |
| PREREQUISITE: | PHIL 305 |
| DESCRIPTION:  | Completeness and undecidability of predicate logic; incompleteness of arithmetic and set theory; treatment of related philosophical topics and of nonclassical topics. |
- Complete two other approved courses.
- No more than nine hours may double-count for the philosophy major and the logic minor.
*Hours include courses that may fulfill university core requirements.