- Schedule of Classes - January 14, 2015 6:16PM EST
- Course Catalog - January 14, 2015 6:21PM EST
Course information provided by the Courses of Study 2014-2015.
The goal of this course is "logic literacy." Contemporary philosophy is steeped in logic: in order to read journal articles and take part in discussions, one needs to know a certain amount of logic. We will study i) the basic techniques of logic, including syntax, semantics, proof theory, metalogic, and a bit of philosophy of logic; and ii) a number of extensions of standard logic that are important in philosophy (for example, intuitionist logic, modal logic, counterfactuals). The course will be more broad than deep: we will examine many different systems, but will not spend a lot of time proving difficult metalogical results about these systems (except for completeness in propositional modal logic).
When Offered Fall.
Prerequisites/Corequisites Prerequisite: One of the following: PHIL 2310, MATH 2210, MATH 2230, or permission of instructor.
Distribution Category (KCM-AS)
Regular Academic Session.
Credits and Grading Basis
4 Credits Stdnt Opt(Student Option)
Class Number & Section Details
- TR Goldwin Smith Hall 142
Disabled for this roster.