Course syllabus

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

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

A subset of these will be offered each semester as the courses Specialization in Logic 1-5, 7.5 credits: LOG230, LOG240, LOG320, LOG330, and LOG340.

• 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

You will need to apply to these courses through the national admissions portal: antagning.se or universityadmissions.se.

• Computational semantics (LT2213)
• Artificial Intelligence: Cognitive Systems (LT2318)
• Topology (MMA100)
• Algebraiska strukturer (MMG500)
• Functional Programming (DIT143)
• Types for Programs and Proofs (DIT233)

More information

• Programme syllabus.
• Programme information available through the university's study information.
• Apply here at universityadmissions.se.
• Contact Programme Coordinator Fredrik Engström, fredrik.engstrom@gu.se or +46 - 31 - 786 6335.