P250 | 9039 | Buckner

Logic is the science of correct reasoning. Instead of assessing each argument on a case-by-case basis, logicians try to generalize about good and bad forms of reasoning. However, most arguments occur in everyday language in informal contexts, full of vagueness and ambiguity. For this reason, logicians have developed formal symbolic systems of reasoning which attempt to mitigate these forms of unclarity. The primary goal of this course is to train you to use two of these formal symbolic systems, propositional logic and predicate logic. We will practice translating informal English sentences into symbolic notation and study formal techniques of reasoning to determine what conclusions logically follow from a set of premises, and whether given arguments are valid or invalid. Because our goal is to train you to use these formal systems of reasoning, we will spend a great deal of time practicing translations and proofs, and you may find this course more like a typical math than a typical philosophy course. (Note that there is no prerequisite for this course, but we will cover twice as much material as is covered in P150.)