PHIL 155 001 – Intro to Math Logic
Instructor: Christian Loew. This course meets Mondays, Wednesdays & Fridays from 10:00 a.m. – 10:50 a.m. in Caldwell 105.
In this course you will learn how to determine whether or not an argument it is deductively valid. To this end, you will learn how to symbolize English language arguments in the language of a logical system. After learning the rules of inference for the logical system, you will demonstrate the validity of arguments by constructing derivations. You will also learn how to do truth tables and the method of models to demonstrate that certain arguments are invalid. This class will be using a free online textbook and an associated program in which you will do the assignments for the course.
Christian Loew’s webpage