Spring-Summer 2024  
0421202001 Mathematical logic

Thu 10:00 AM – 12:25 PM at Chengjun Hall 4, 305

Course information

Instructor Dr. Bruno Bentzen

TA Faqiang Li

Office Location Chengjun Complex 4, 306

Office Hours by appointment

Email bbentzen at zju.edu.cn

Credits 48 hours (16 weeks)

Language English


Course description

This course is a self-contained introduction to mathematical logic suitable for graduate students. The main focus of this course is the major metamathematical results concerning classical first-order logic with identity. Students will be introduced to topics such as elementary set theory, formal languages and grammars, truth tables, natural deduction, proof normalization, first-order semantics, soundness and completeness for classical propositional and predicate logic, compactness, downward and upward Löwenheim-Skolem, quantifier elimination, prenex normal forms, Herbrand’s theorem, the theory of recursive functions, Peano arithmetic, and, whenever time permits, an overview of Gödel’s incompleteness results.

Course materials and resources

This course is based on a series of self-contained lecture notes which will be made available in advance here. Please note that the document might occasionally be updated throughout the semester on an irregular basis for corrections, minor revisions, or the addition of new material.

Additional readings will not be necessary, but if you are looking for an alternative presentation of the material I recommend:

Course objectives

Upon the successful completion of this course, you will be able to:

Course prerequisites

Previous basic knowledge of mathematics such as elementary set theory is desirable, but not necessary. If you think such concepts can be challenging, it would be wise to devote some extra time to the course and practice your skills with more exercises from the book. If you are still having trouble keeping up with the classes, feel free to talk to me about your difficulties. Learning logic can be a really fun experience and I want you to enjoy taking this course.

Assessment and grades

Grades are awarded on a scale from 0 to 100, where 100 is the best grade and 60 is the minimum passing grade.

Problem sets: There will be 6 take-home problem sets assigned roughly every two weeks and due in two weeks' time. The problem sets will be posted on the class' Dingtalk group on Fridays and due on Thursdays. You should hand in your assignments to our TA. In general, no late homework will be accepted, but if you missed the deadline because you were ill or for another good reason, please contact me as soon as possible. Your solutions must be written legibly and you must name them. Both handwritten and printed solutions are equally acceptable, though using LaTeX is highly encouraged for students interested in diving deeper into formal logic. Problem sets are important because learning properly logic takes a lot of effort and constant practice. Learning logic is like learning a new language or a new skill like swimming or a musical instrument. It takes a lot of effort and daily practice. If you don’t practice the new skill, you lose it. 

Participation: I will not require you to speak up in class, but any form of engagement with the lectures is highly encouraged. The use of mobile phones, computers, and other portable devices is permitted for taking notes and class-related activities only. 

Attendance policy

You are expected to attend every lecture and be on time. If you cannot come to class due to an emergency please let me know as soon as possible. If you miss a class it is your responsibility to make up the material missed and catch up with your classmates. 

Plagiarism and AI policies

I wish to evaluate your performance, so your work should reflect your own efforts. You can discuss the problem sets with other students, but do not copy their solutions and submit them as your own. Any form of cheating and plagiarism is prohibited and will be taken as a serious offense by the university. The use of AI editing tools such as Grammarly or Hemingway Editor as language aids is permitted. However, the submission of assignments based on AI-generated solutions (such as those generated by ChatGPT prompts) is considered cheating. To submit AI-generated text as your own is no different from plagiarism and I will reserve the right to run AI writing detectors and request an impromptu oral explanation of your solutions whenever the suspicion arises.

Feedback

I always welcome feedback, be it positive or negative. If you wish, you can do this by speaking to me directly after class, sending me an email, or, if you prefer, sending me an anonymous note. Giving feedback will not have any effect on your grade, either positively or negatively. But it will help me to see my lectures from different angles and develop new ways of improving them.

Special Accommodations

Please contact me if you have a disability or other circumstances that require special accommodations.

Schedule

The following schedule is tentative and subject to change with fair notice: 

Lecture 1:

Lecture 2:

Lecture 3:

Lecture 4:

Lecture 5:

Lecture 6:

Lecture 7:

Lecture 8:

Lecture 9:

Lecture 10:

Lecture 11:

Lecture 12:

Lecture 13:

Lecture 14:

Lecture 15:

Lecture 16:

Past instances

Please let me know if you find any broken links.