This course introduces contemporary sentential logic and predicate logic. Both the theory of logic and its application to ordinary language are developed. Topics include symbolization, truth tables, truth trees, interpretations, and derivations. Each week one lecture, three quiz days, and three afternoon individualized discussion sessions are offered (normally MWF 4:45-5:15pm). The individual discussion sessions allow students to pursue their questions and obtain feedback on quizzes on a one-on-one basis. The self-pacing aspect of the course allows students who have difficulty to receive more assistance and those who do not need as much assistance to move ahead more quickly. Open to all classes.