An introduction to formal methods for evaluating deductive arguments. Topics include formal fallacies, decision procedures, translation of arguments to argument forms, and natural deduction proofs in propositional and predicate logic. Prerequisite(s): No prerequisites. Every year. (4 Credits)
Macalester