|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.
Previously taught: SU17A, SP17, FL16, SU16D, SU16A, SP16, FL15, SU15D, SU15A, SP15, FL14, SU14D, SU14A, SP14, FL13, SU13D, SU13A, SP13, FL12, SU12D, SU12A, SP12, FL11, SU11D, SU11A, SP11, FL10, SU10D, SU10A, SP10, FL09, SU09D, SU09A, SP09, FL08, SU08D, SU08A, SP08, FL07, SU07A, SP07, FL06, SU06A, SP06, FL05, SU05D, SP05, FL04, SU04D, SU04A, SP04, FL03.