Minor in Logic (15 hours*)
Program Requirements
- Complete the following:
PHIL 205 : Deductive Logic.
(3:3:0)
(Credit Hours:Lecture Hours:Lab Hours)| OFFERED: | F, W, Sp 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)| OFFERED: | F, W, Sp 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)| OFFERED: | F |
| 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 as time permits. |
- 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.