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

Instructor: John T. Roberts. This course meets MWF 9:05 – 9:55 a.m. in PE 2066.

This course is an introduction to logic, the field that studies the structure of valid reasoning (about any subject matter). We will use a simple artificial language to reconstruct pieces of reasoning, and we will master a variety of formal tools for evaluating such pieces as valid or invalid. The course has no prerequisites. Though it is a Philosophy course, there are respects in which it will be more like a math course: For instance, the required work will be problem-solving, rather than paper-writing. Students in this course will not be required to purchase a textbook (we will use a text that you can get a pdf of for free).

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