P150 | 4556 | Dalton

This class is an introduction to elementary formal logic. Topics include the concepts of argument and validity, translating, or symbolizing, arguments in propositional logic; analyzing sentences and arguments via truth tables; constructing formal proofs in propositional logic; symbolizing arguments in predicate logic; diagramming arguments; and constructing formal proofs in predicate logic. The emphasis of the class is on problem solving. There will be regular (at least weekly) quizzes and homework assignments, and three exams. Quizzes, homework, and exams will each count one-third of the final grade.