Philosophy 12A

Summer 2019 2nd 6wks

Number Title Instructor Days/time Room
12A Introduction to Logic STAFF TuWTh 1-3:30 20 Wheeler

Course Description This course is an introduction to the tools of formal logic, with the goal of using them to evaluate arguments. We will cover the syntax and semantics of truth-functional and first-order logic, and develop proof systems for both. This will give us the tools to symbolize natural language arguments in both formal languages, assess arguments for validity, and give deductive proofs. Overall, we will be developing resources to think precisely about what makes for good and bad reasoning, in both everyday and philosophical contexts.