Philosophy 12A

Summer 2017 Session D

Number Title Instructor Days/time Room
12A Introduction to Logic Rudolph TuWTh 1-3:30 GPBB 103

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 sentential 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.