PHIL 155H.001 – Honors: Truth and Proof: Introduction to Mathematical Logic

Increase font size
Decrease font size

Instructor: Sarah Stroud. This course meets MW 3:35 – 4:50 p.m. in PH 335 via in-person (on-campus learners) instruction.

Deductive logic, our subject, is the study of one species of good argument. We will use formal tools to more precisely characterize and investigate that species, in which the conclusion of an argument follows from certain premises simply in virtue of the form of the various statements involved. We will progressively uncover and study several distinct aspects of form that are relevant to such patterns, starting with what is called truth-functional logic and moving on to quantificational logic. One concern throughout will be whether and how we can rigorously prove that a conclusion follows—or doesn’t—from a group of premises.

Assessment will be via frequent problem sets, which we will prepare for by using significant class time to work together on sample problems. The required textbook is Warren Goldfarb, Deductive Logic (Hackett).

Honors course enrollment and wait list procedures are located here. Please direct all registration questions to Jenn Marshburn (, Enrolled Student Services Coordinator for Honors Carolina.