Course syllabus
This course is part of the Master's Programme in Logic and available as a free standing course.
Register for the course
You will be able to register for the course one week before it starts. When you have registered for the course you will get access to more course information.
You can find information regarding registration here.
Information on “Advanced topics in proof theory”
This course delves into some advanced topics in proof theory, the mathematical and philosophical study of mathematical proof. Topics covered may include: proof theory of strong arithmetics, set theories and subsystems second-order analysis; ordinal analysis; predicativism and constructivism in mathematics; axiomatic theories of truth and provability; and ‘non-
standard’ proof systems such as nested, hyper-sequent and ill-founded sequent calculi.
Teachers
The course will be taught by Graham E Leigh. You can contact Graham by email at graham.leigh@gu.se
Examiner
The course examiner for this course is Graham E Leigh
Schedule
The course starts XX and meets each XX.
Below are links to the schedule in TimeEdit. There are two links - one which require login (your GU account) and one that does not. The link requiring login shows some additional information.
Schedule for "Advanced topics in proof theory" without login and with login.
The schedule is preliminary until two weeks before the course starts. Please also note that the schedule is a "living document" and could be subject to changes throughout the semester. Make a habit of checking it every once in a while!
Examination
The course will be examined via a written course paper (“take-home exam”) on a topic motivated by a talk at the Gothenburg Cyclothon. Details will be given in the first meeting. Please read the general information about exams.
Course Syllabus and literature list
You can search for the course code (and other courses) on https://www.gu.se/en/study-gothenburg/study-options/find-syllabus-and-reading-list?hits=25 to find the course syllabi and literature list.
Learning outcomes
On successful completion of the course LOG320 Specialization in Logic 3 the student will be able to:
Knowledge and understanding
- demonstrate in-depth knowledge and understanding within some of the subareas or applications of logic,
- relate the newly acquired specialist knowledge with the fundamental areas of logic,
Competence and skills
- formulate and present proofs of the most important results in the course as well as of lemmas that are used in proofs (upon theoretical specialisation),
- apply logical results and methods outside pure research (upon specialisation in an applied field),
Judgement and approach
- critically discuss, analyse and evaluate results in the course as well as their applications,
demonstrate the ability to work over disciplinary borders.
See the course syllabus for more information.
Course evaluation
Students who are currently taking the course or have completed it will be given the opportunity to express their views and share their experiences in an anonymous course evaluation. A compilation of the course evaluation and the course coordinator’s reflections on it will be made available to the students within reasonable time after the end of the course. The next time the course is taught the compilation and any measures based on it will be presented to the students.
Special pedagogical support
If you have a disability and are in need of special pedagogical support please see the information available at the student portal.
Contact information
- Course coordinator Ivan Di Liberti, ivan.di.liberti@gu.se answers questions about the course content, literature and schedule.
- Education administrator Sandra Schriefer, sandra.schriefer@gu.se answers questions about registration, study interruptions, study breaks, certificates, etc.
- Program Coordinator Ivan Di Liberti, ivan.di.liberti@gu.se is responsible for programme issues and study guidance for students of the programme.
Plagiarism and academic integrity
Please take the time to go through the module Academic Integrity 1 to make sure that you understand what plagiarism is, why one should not plagiarise, and what happens if one does plagiarise.
Student information
Welcome to the department of Philosophy, Linguistics and Theory of Science
Course summary:
| Date | Details | Due |
|---|---|---|