In the first half of the course we will be studying some features of truth-functional and first-order classical logics, including studying the model theory and metatheory for first-order logic in much greater depth than in Phil 100. In the second half of the course we will go on to study three different styles of proof-system: tableaux, axiomatic, and natural deduction. This course continues on where Phil 100: An introduction to Logic and Criticial Analysis leaves off. It is recommended for students who have already taken that introductory course, or for students who already have a strong background in mathematics. Priority given to majors in Philosophy & PNP.
Course Attributes: FA NSMBU HumAR NSMAS NSMAS AN
Section 01Symbolic Logic
INSTRUCTOR: KvanvigView Course Listing