This course will emphasize learning to use symbolic logic to diagram and analyze deductive arguments, and to carry out proofs to derive conclusions. Basic predicate logic and quantification will be covered, as well as informal fallacies. Applications to real life arguments will be stressed.
