An introduction to methods of distinguishing good reasoning from bad reasoning. Modern deductive logic is used to test the validity of arguments and to construct formal proofs. Some time may be devoted to classical Aristotelian logic and informal fallacies. (3 billable contact hrs)