PHIL 155.001 – Truth and Proof: Introduction to Mathematical Logic

Instructor: Jackson LeViness. This course meets MTWRF 9:45 – 11:15 a.m. via remote synchronous (RS) instruction.

Mathematical logic involves using formal (mathematical) methods to study features of arguments. One important feature we will explore in this course is argument validity (i.e., when the truth of an argument’s premises guarantees the truth of that argument’s conclusion). Along the way, you will learn how to use some formal symbolic languages of logic to represent English sentences, and how to use different proof systems to evaluate arguments.

One of the course’s aims is to help develop and hone your ability to reason clearly, carefully, and precisely. Much like a typical math class, your performance on problem sets and on tests will be the main factors that determine your grade.