Philosophy Professor at UNC Chapel Hill
This website is a DRAFT of my syllabus for Phil 455 – some changes are likely
Class times Wednesdays 10.10-11.25am, Caldwell 213
Course Website: https://wp.me/P6qdjQ-lu
This is a course in first-order classical logic and its metatheory. It presupposes at least one previous course in formal logic, such as Phil 155 Introduction to Mathematical Logic or Phil 456 Advanced Symbolic Logic. It might be possible for students with unusually mature mathematical skills to take this course without a previous course in logic (and even such students are likely to find chapters 9 and 10 of the textbook especially challenging) but most students will experience much less trauma if they do things in the right order.
We will work our way through the “intermediate logic” track of the 5th edition of Boolos, Burgess, and Jeffrey’s classic textbook Logic and Computability. You may buy this at the bookstore, or order it online from the usual vendors.
The assigned readings for the course are listed in the syllabus below. “L&C” stands for Logic and Computability (our textbook.) If a section of the textbook is marked with a “star” (*) for “optional”, it is not part of the required reading (unless it explicitly says otherwise below.)
1,2,6,7,9,10, 12, 13, 14 15, 16, 17.
First class – no assigned reading
Reading: chapter 1 of L&C.
Reading – chapter 2 of L&C
NO CLASS – Labour Day
No additional reading
Reading: Section 6.1 of L&C.
Reading: Section 6.2 of L&C.
Reading: section 7.1
Reading: section 7.2
Reading: section 7.3
Reading: section 9.1
Reading: section 9.2
NO CLASS – I’ll be at a philosophy of logic workshop in Norway
Reading: Section 10.1
Reading: Section 10.2
Reading: section 12.1
Reading: sections 12.2 and 12.3
Reading: sections 13.1, 13.2, 13.3
Reading: sections 13.3 and 13.5
Reading: Section 14.2 and 14.3
Reading: Sections 15.1 and 15.2
Reading: sections 16.1 and 16.2
NO CLASS – Thanksgiving Break
Reading: sections 16.3 and 16.4
Review for final exam
Reading: chapter 17.
All students must be familiar with and abide by the Honor Code, which covers issues such as plagiarism, falsification, unauthorized assistance or collaboration, cheating, and other grievous acts of academic dishonesty. Violations of the Honor Code will not be taken lightly.
Located in the Student Academic Services Building, the CSSAC offers support to all students through units such as the Learning Center and the Writing Center.
Any student in this course who has a disability that may prevent them from fully demonstrating their abilities should contact Disability Services as soon as possible to discuss accommodations.