Master in Logic, 120 credits
For the fall semester of 2021 we're planning on giving courses both at campus and streamed over Zoom.
The purpose of the Master's Programme in Logic is to provide a new generation of students with thorough theoretical knowledge, and the ability to apply it, within a central intellectual field, which gets its theoretical interest and practical value from a unique combination of humanities, mathematics and information science. For the Faculty of Arts this is a commitment to promote and further develop the field of mathematical humanities.
The main goal is that students, after successful completion of the programme, will have a coherent training and thorough understanding of the theoretical fundamentals of the subject of logic itself, its general role in the sciences and humanities, as well as its applications in fields like philosophy, linguistics, mathematics and computer science. Students will be well prepared for a career of research and development in logic and its applications, both in academia and industry.
The programme starts with a number of core courses, common for all students, which provide a solid foundation in the fundamentals of theoretical logic and its applications, and then follow elective courses, tailored to the background, interests and career plans for individual students.
Obligatory courses are listed below. You will find links to the course syllabi and to the latest Canvas activity for each course:
- Logical Theory, 15 cr, LOG111. Canvas activity for fall 2020.
- Set Theory, 7.5 cr, LOG121. Canvas activity for fall 2020.
- Modal Logic, 7.5 cr LOG131. Canvas activity for fall 2020.
- Proof Theory, 7.5 cr, LOG221. Canvas activity for spring 2021.
- Model theory, 7.5 cr, LOG211. Canvas activity for spring 2021.
- Colloquium course: History, methodology and applications of logic, 7.5 cr, LOG310
See below for elective courses.
The Research Seminar in Logic
- Every second Friday at 10:15 - 12:00.
- All are welcome.
- Please subscribe to the mailing list: https://listserv.gu.se/sympa/subscribe/logic
The Colloquium in Logic
- Some Fridays at 10:15 - 12:00.
- The focus of these talks is to give an overview of logic areas for master students.
- All are welcome.
- Talks around 45 minutes and then discussions/social chat.
- Announcements here on Canvas and schedule available here.
Elective courses are chosen by the student after counselling with the teacher who is assigned as her study tutor; this is to ensure that the student builds a sensible and competitive profile, with respect to her individual background, interests, potential and plans for future professional life.
Reading courses offered at the department
- Recursion theory / computability theory
- Category theory
- Formal theories of truth
- Games and decisions
- History of Logic
- Philosophy of Mathematics
- Philosophy of logic
- Automata theory and mathematical linguistics
- Knowledge representation and inference
- Logic for web technologies
- Models of Arithmetic
- Advanced Set Theory
- Advanced philosophical logic
Possible taught courses at GU
- Computational semantics (LT2213)
- Artificial Intelligence: Cognitive Systems (LT2318)
- Topology (MMA100)
- Algebraiska strukturer (MMG500)
- Functional Programming (DIT143)
- Types for Programs and Proofs (DIT233)
The syllabus page shows a table-oriented view of course schedule and basics of course grading. You can add any other comments, notes or thoughts you have about the course structure, course policies or anything else.
To add some comments, click the 'Edit' link at the top.