PHIL 155.001 – Introduction to Mathematical Logic
Instructor: Wesley Sauret. This course meets MTWRF 1:15 p.m. – 2:45 p.m. in DA 101.
In this course we will learn how to determine whether or not an argument it is deductively valid. To this end, we will learn how to symbolize arguments formulated in English and the rules of a logical system, which will allow you to show the validity of arguments by constructing derivations. We will also learn some methods for showing that an argument is invalid.