T C PHL • PHL 313Q: Logic and Scientific Reasoning Plan II
12:30 PM-2:00 PM
This course is an introduction to the use of formal logical techniques in the analysis of arguments and texts. We will begin by covering the core of contemporary formal logic sentential and quantified logic. We will then develop several specialized branches of logic, selecting among: modal logic (the logic of possibility and necessity), counterfactual logic, deontic logic (the logic of moral obligation), defeasible logic, and the application of the probability calculus to inductive reasoning. We will focus throughout on acquiring a real ability to use the formal devices as a tool in real-world reasoning, and on gaining insight into how one develops formal logical tools and what analytic virtues come with those tools.
About the professor: Josh Dever received his Ph.D. in philosophy from the University of California at Berkeley in 1998. He works primarily in the philosophy of language and the philosophy of logic, and is the author of Complex Demonstratives, Compositionality as Methodology, Binding Into Character, and other works. Recently he spends most of his time wondering what makes logical truths true. When he's not doing philosophy, he's usually reading English Renaissance drama or watching movies without plots.
There will be four problem sets and two in-class exams (or one in-class exam and a short paper) over the course of the semester. In addition, a final project will be required, in which students will construct a logical system designed to treat one of a number of problematic types of logical argumentation. Class participation also contributes to the final grade. Problem Sets: 12.5% each Exams: 10% each (or 10% for the first exam; 10% for the paper) Final Project: 25% Class Participation: 5%
Deduction, Daniel Bonevac Philosophy of Logics, Susan Haack There Are Two Errors in the the Title of This Book, Robert Martin