Summer 2024
43190350 Philosophy of Mathematics

Wed 4:15–5:50 PM / Fri 8:00–9:35 AM at 3 North Hall, 217

Course Information

Instructor Dr. Bruno Bentzen

TA Huayu Guo

Office Location Chengjun Complex 4, 306

Office Hours by appointment

Email bbentzen at zju.edu.cn

Credits 32 hours (8 weeks)

Course Description

This course is a general overview of the philosophy of mathematics, focusing on the particular challenges that mathematics poses for philosophy, some historical developments since Kant that led to the foundational crisis at the beginning of the twentieth century with Russell's paradox, and some contemporary views. The main topics discussed include the rise and fall of Frege's logicism (and its revival with neologicism), Russell's response to the paradox with his doctrine of types, term and game formalism, deductivism and Hilbert's axiomatization of geometry, Hilbert's program and the problem of infinity, the impact of Gödel's's incompleteness theorems, Brouwer's proposal of intuitionism and Heyting's further development of his views, Dummett's meaning-theoretic argument for the adoption of intuitionistic logic over classical logic, Gödel's views on mathematical intuition and Maddy's naturalism, nominalism in mathematics, the iterative conception of sets, Benacerraf's identification problem and structuralism, and Voevodsky's univalent axiom and univalent foundations.

Course Materials and Resources

This course is roughly based on the following textbooks:

In addition, lecture slides will be made available to you online before class each week. They can always be found here along with all my teaching materials. Please note that old slides from past classes might occasionally be updated for corrections or minor revisions. Students interested in complementary readings are also encouraged to check the list of primary and secondary literature that will be suggested in class.

Course objectives

Upon the successful completion of this course, you will:

Assessment and grades

Homework

There will be three homework assignments throughout the course. They will be assigned every two weeks on Fridays and will be due in two weeks time in class. Your work must be written legibly and you should name and date your assignments. Each assignment must be completed and turned in on time. Please hand in your hard copy assignment to our TA in class. If you missed the deadline because you were ill or for some other valid reason, please send me an email. Your homework will be graded and returned to you on the Wednesday before the next due date.

Final paper

There will be one major writing assignment at the end of the course. Your paper must have one page (no more than 500 words) and must be written in English. Your English level will not be subject to evaluation, only the content of your paper. However, you should communicate your ideas clearly and effectively. Again, do not forget to name and date your paper — please also add your student number. Your paper must also contain a clear title, introduction, exposition of your problem and ideas, and conclusion. You will be graded according to the following three criteria below:

Excellent papers will show me that you went beyond the material covered in class and studied the subject in depth. Detailed information about the content of the final paper will be provided as it approaches. If your paper is submitted digitally please PDF.

Academic integrity

I wish to evaluate your performance, so your homework should reflect your own efforts. The use of AI-generated text to polish your writing is tolerated. However, you must explicitly say so.

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.

Feedback

I 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 affect your grade, but it will help me to see my lectures from different angles and improve them.

Schedule (tentative)

Lecture 1: Some philosophical challenges (Shapiro ch. 1–2)

Lecture 2: Plato, Aristotle, Euclid's Elements (Shapiro ch. 3, Linnebo ch.1.7)

Lecture 3: Kant and Mill (Shapiro ch. 4.1–3, Linnebo ch.1.6)

Lecture 4: Frege's logicism (Shapiro ch. 5.1, Linnebo ch.2)

Lecture 5: Frege's logicism and neo-logicism (Shapiro ch. 5.4, Linnebo ch.9)

Lecture 6: Russell's doctrine of types (Shapiro ch. 5, Linnebo ch.9.2–3)

Lecture 7: Russell's doctrine of types (Shapiro ch. 5, Linnebo ch.9.2–3)

Lecture 8: Term and game formalism, and deductivism (Shapiro ch. 6.1–2, Linnebo ch.3)

Lecture 9: Hilbert's program and Gödel's incompleteness (Shapiro ch. 6.3–4, Linnebo ch.4)

Lecture 10: Brouwer's intuitionistic mathematics (Shapiro ch. 7.1–3, Linnebo ch.5)

Lecture 11: Heyting's meaning explanations (Shapiro ch. 7.4, Linnebo ch.5)

Lecture 12: Dummett's meaning-theoretic turn (Shapiro ch. 7.4, Linnebo ch.5)

Lecture 13: Gödel's views on intuition, mathematical naturalism (Shapiro ch.8.1-3, Linnebo chs.6 and 7)

Lecture 14: Nominalism in mathematics (Shapiro ch.9, Linnebo ch.7)

Lecture 15: The iterative conception of sets (Linnebo ch.10)

Lecture 16: Structuralism (Shapiro ch.10)

Past instances

Please let me know if you find any broken links.