Class times: Mondays and Wednesdays 10.10-11.25am, Caldwell 213
Course Website: https://wp.me/P6qdjQ-lu
Course Instructor:
Office hours: Monday, 11.25am-12.25pm, Friday 1.30-2.30pm
Office Location: Caldwell Hall, 203
Email: gillian UNDERSCORE russell AT unc DOT edu
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 expected 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. It is the only book you will need for the course.
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.
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, 9.2
In-class Midterm Examination
NO CLASS – I’ll be at a philosophy of logic workshop in Bergen
Reading: Section 10.1
Reading: Section 10.2
NO CLASS (I’ll be in Mexico City at the LLL logic workshop)
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.1
Reading: Section 14.2 and 14.3
Reading: Sections 15.1 – 15.3
Reading: Sections 16.1 and 16.2
NO CLASS – Thanksgiving Break
Reading: sections 16.3 and 16.4
Reading: chapter 17.
50% of your grade will come from the problem sets. (I’ll drop your worst two grades and average the rest.)
25% of your grade will come from the in-class midterm examination.
25% of your grade will come from the take-home final examination.
I will give out (either in class or by email) solutions to the problem sets approximately one week after the assignments are due. Any work turned in after the solutions have been given out will receive a zero.
Since the two exams are an important part of your grade, you should make sure that you will be on campus to take them before you decide to take this course.
Our textbook has a helpful manual containing some recommendations and hints for students attempting the problems. I recommend that you take a look.
Assessment | Due Date |
Problem set 1: Ex 1.1, 1.3 | Tuesday 3rd September |
Problem set 2: 2.2, 2.4 | Tuesday 10th September |
Problem set 3: 6.1, 6.2 | Tuesday 17th September |
Problem set 4: 6.4, 6.5 | Tuesday 24th September |
Problem set 5: 7.1, 7.12 | Tuesday 1st October |
Problem set 6: 9.2, 9.4 | Tuesday 8th October |
Midterm Examination | Monday 14th October |
Problem set 7 10.1, 10.6 | Tuesday 29th October |
Problem set 8: 12.3, 12.8 | Tuesday 5th November |
Problem set 9: 13.8, 13.9 | Tuesday 12th November |
Problem set 10: 14.5, 14.7 | Tuesday 19th November |
Problem set 11: 15.4, 16.2, | Tuesday 26th November |
Problem set 12: 16.3, 16.9 | Tuesday 3rd December |
Final Examination | Given out: 6th Dec, 8am. Turn in: 13th Dec, 8am. |
The final exam will be a week-long take-home exam, due at the start of our official exam time. We will use the exam-time for a wrap up session.
Problem sets should be turned in by placing them in my mailbox on the 1st floor of Caldwell Hall by 3pm on the day they are due.
Total required written work for this course will come to significantly more than 10 pages.
It is important that you understand the rules for working with other students on this course. You may work with other students in order to work out solutions to the problems in the take-home problem sets; in fact, I encourage you to do this. However, you must write up your homework answers on your own. You may not write your homework from notes which another student has made, nor may you make notes on another student’s written solutions. You may not lend or copy digital or paper homework solutions at any stage of completion.
One way of working within these rules is to work through ideas for solving the problems with others using an erasable white or blackboard (or paper which you dispose of) and then wipe it clean before you each write up your homework alone.
Sometimes it may be unclear whether a certain action would be permissible according to the rules above, but it is your responsibility to ensure that your actions are always clearly permissible.
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.
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.