PHIL 155.002 – Truth and Proof: Introduction to Mathematical Logic

Instructor: Jackson LeViness. This course meets MWF 8:00 – 8:50 a.m. in CW 105.

Mathematical logic is an important tool for analyzing arguments and different kinds of reasoning. In this course, we will work toward proficiency in wielding this tool so that we may better understand when and why an argument is good or bad. Developing such proficiency will involve learning how to (a) translate arguments into different formal systems and (b) evaluate arguments via reliable methods supplied by these systems.