Logic is the study of human reasoning. When is an argument valid? How can we tell when one statement logically supports another? The purpose of this course is to familiarize you with formal methods for representing and evaluating arguments and reasoning. After introducing students to methods needed to translate English sentences into their logical equivalents in sentential and predicate logic, students will learn to evaluate the validity of inferences through syntactical and semantic methods. The methods learned in this course can be used not only for philosophy, but for any subject matter.
Credit cannot be held for both this course and 70:258.
3 lecture hours per week, one term.