STRUCTURE AND INFO

Titles of Courses

L1. Mathematical Logic

L2. Set Theory

L3. Computability

L4. History of Logic

L5. Modal Logic

L6. Model Theory

L7. Philosophy of Logic/Philosophical Logic

L8. Philosophy of Mathematics

L9. Philosophy of Science

HPL1. Deontic Logic

HPL2. Topics in History of Ancient and Medieval Logic

HPL3. Philosophy of Language

HPL4. Topics in History of Modern Logic

HPL5. Topics in Philosophy of Logic/Philosophical Logic

LFM1. Constructive Mathematics

LFM2. Advanced Set Theory

LFM3. Category Theory

LFM4. Topics in Philosophy of Mathematics

ML1. Proof Theory.

ML2. Topics in Computability

ML3. Topics in Logic I

ML4. Topics in Model Theory

ML5. Topics in Logic II

ML6. Topics in Proof Theory

ML7. Topics in Set Theory

To obtain a degree in the specialization «History and Philosophy of Logic», students are required to

• Complete the compulsory courses L1, L2, L4, L5, L7 and five elective courses, of which at least three from HPL1-HPL5
• Submit a Diploma Dissertation whose subject belongs to the scientific area «History and Philosophy of Logic».

To obtain a degree in the specialization «Logic and Foundations of Mathematics», students are required to

• Complete the compulsory courses L1, L2, L4, L8, L9 and five elective courses, of which at least three from LFM1-LFM4
• Submit a Diploma Dissertation whose subject belongs to the scientific area «Logic and Foundations of Mathematics».

To obtain a degree in the specialization «Mathematical Logic», students are required to

• Complete the compulsory courses L1, L2, L3, L5, L6 and five elective courses, of which at least three from ML1-ML7
• Submit a Diploma Dissertation whose subject belongs to the scientific area «Mathematical Logic».

Upon approval, students may attend one course from another Programme of Graduate Study instead of an elective course of the specialization they have selected.

Course Outlines