Skip Navigation
UT wordmark
College of Liberal Arts wordmark
plan2 masthead
Michael Stoff, Director 305 East 23rd St, CLA 2.102, (G3600) Austin, TX 78712-1250 • 512-471-1442

Fall 2004

T C PHL • PHL 313Q: Logic and Scientific Reasoning

Unique Days Time Location Instructor
41595 to 41630 Multiple Sections

Course Description

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


bottom border