In introductory logic courses (like PHIL 103), one learns how to drive a car — a nice, easy-handling, eminently useful sedan with an automatic transmission. In PHIL 201, you'll first learn how to drive something a bit more exciting — a sports car, manual transmission. Then we'll open up the hood and take apart the engine to see how these things work.
Metaphors aside, this course will survey a variety of approaches to formal/symbolic logic with an emphasis on natural deduction in propositional and first-order predicate logic and then consider various logical results about these logical systems (meta-logic). We will round out the semester, as time permits, by considering some philosophical questions about logic as well as extensions of our logical frameworks (such as modal logic or many-valued logics).
Pre-Requisite: PHIL 103 (or permission)
Required Text:
Metaphors aside, this course will survey a variety of approaches to formal/symbolic logic with an emphasis on natural deduction in propositional and first-order predicate logic and then consider various logical results about these logical systems (meta-logic). We will round out the semester, as time permits, by considering some philosophical questions about logic as well as extensions of our logical frameworks (such as modal logic or many-valued logics).
Pre-Requisite: PHIL 103 (or permission)
Required Text:
We will be using a text / software package developed at Stanford University called Language, Proof, and Logic that will allow you to check and complete homework assignments online. It is important that you obtain a new package and not merely a used copy of the book. You can purchase either an online only-package (a PDF of the book plus the software) or a physical package (with a physical copy of the book plus the software) here. You need only purchase Language, Proof, and Logic; the other texts / packages listed there are not needed.
|