PHIL 155.001 – Introduction to Mathematical Logic
Instructor: Wesley Sauret. This course meets on MWF 12:00 – 12:50 p.m. in CW 105.
In this course you will learn how to determine whether or not an argument it is deductively valid. The course is divided into three parts. First, you will learn how to symbolize arguments formulated in English into a logical system. Second, you will learn how to show that a symbolized argument is valid by constructing a derivation. Third, you will learn how to show that a symbolized argument is invalid using truth tables and the method of models.