Advanced topics in proof theory
Summary
What is a proof—and how far can it take us? This course offers a deep dive into advanced proof theory, where mathematics meets philosophy in the study of formal reasoning.
About
You will explore cutting-edge topics such as strong arithmetics, set theory, infinitary logic, and theories of truth and provability, while engaging with both classical and non-standard proof systems. The course emphasises critical analysis, giving you the tools to examine complex arguments, evaluate different approaches, and develop your own well-founded perspectives.
Through close work with research-level material, you will strengthen your ability to analyse, discuss, and write about advanced theoretical problems—preparing you for further study or academic work in logic and related fields.
Ideal for students who want to engage deeply with the theory and philosophy of mathematical proof.
Prerequisites and selection
Entry requirements
For admission to the course successful completion of Proof Theory (LOG221), or the equivalent, is required. In addition, language proficiency equivalent to English 6 is required.
Selection
Selection is based upon the number of credits from previous university studies, maximum 165 credits.
Facilities
The Faculty of Humanities is located in the Humanisten building at Renströmsgatan 6. The Department of Philosophy, Linguistics and Theory of Science has its premises on the 5th floor. Both the Faculty of Humanities and the adjacent Humanities Library offer several study areas and group rooms.
More information about facilities
Teaching is given in the form of lectures and individual assignments or group assignments.
