Header image for the course page


We have a time and place for you

Symbolic Logic

Philosophy 301G - Spring 2019

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 01

Symbolic Logic
View Course Listing