Overview: The Doctorate program in Mathematical Logic offers a comprehensive, research-intensive journey through the multifaceted realm of logic, encompassing its mathematical, computational, linguistic and philosophical dimensions. Through dedicated mentorship, rigorous coursework, and exploratory research, students will be equipped to address both foundational questions and practical applications of mathematical logic in various disciplines.

Course Objectives:

1. To provide an in-depth understanding of classical and modern logical systems, their properties, and applications.
2. To engage students in the philosophical underpinnings and debates surrounding logic.
3. To expose students to computational logic and its applications in computer science, including automated reasoning and formal verification.
4. To develop students’ ability to conduct independent research, advancing the boundaries of knowledge in logic.

Year 1:

• Foundational Coursework: Topics in Propositional and Predicate Logic, Modal Logic, Proof Theory, and Model Theory.
• Research Seminars: Introduction to the department’s active research areas and current global advancements in logic.
• Research Proposal: By the end of the first year, students will identify a research topic and mentor.

Year 2:

• Advanced Coursework: Specialized courses according to students’ research interests, potentially including Non-classical Logics, Philosophy of Logic, Computability, and Formal Semantics.
• Preliminary Research: Initiation of in-depth research under the guidance of the chosen mentor.
• Progress Seminars: Bi-annual presentations to the department on research updates and future directions.

Year 3:

• Dissertation Research: Intense focus on research, striving for significant contributions in the selected area of logic.
• Dissertation Writing: Articulation and formalization of research findings in a doctoral thesis.
• Final Defense: A comprehensive presentation and defense of the research before the department and external reviewers.

• Examinations and assignments for coursework.
• Presentation of the research proposal.
• Bi-annual progress seminar evaluations.
• Evaluation of the written doctoral thesis.
• Oral defense of the thesis.

1. Master’s degree in in a closely related field with a strong foundation in logic.
2. Proof of proficiency in English (for non-native speakers).
3. Letters of recommendation.
4. Statement of purpose outlining research aspirations and interests in logic.
5. Admission Interview: An intensive interview with the department’s admission panel, focusing on the candidate’s foundational knowledge and research vision in logic. Successful completion of this interview is a primary criterion for admission.