PHIL 210 — Introduction to Formal Logic
Logic is the study of reasoning. This course promotes skill in evaluating claims and arguments. It will focus on the ways that reasoning can be formalized and evaluated using logical methods. This course will focus particularly on the methods of categorical, propositional, and predicate logic, with an emphasis on both proofs and translation from natural language to symbolic form.