T C PHL • PHL 313Q: Logic and Scientific Reasoning
|41595 to 41630||Multiple Sections||
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. Throughout the course we will focus 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.
Deduction, Daniel Bonevac There Are Two Errors in the the Title of This Book, Robert Martin