More about the Master Program in Logic

LOG111 Logical theory
The course provides a solid foundation in the theory formation of logic through a comprehensive presentation of syntax, semantics and proof systems for propositional logic and classical first-order predicate logic. As examples of other logics, second-order and intuitionistic logic are presented together with completeness results. Basic proof theory is introduced and lead up to a proof of normalisation for natural deduction. Gödel's incompleteness theorems and basic recursion theory are also included. The course does not require mathematical skills, but it is an advantage if you have the habit of reading mathematical text.

LOG121 Set theory
The course treats Zermelo-Fraenkel set theory, ZFC, formulated in first-order logic, beginning with a set theoretical construction of the natural and real number systems. Ordinal and cardinal numbers are presented and strong emphasis is placed on the cumulative hierarchy and on the role of the axiom of choice in the axiomatization of the concept of set.

LOG131 Modal logic
The course gives a mainly semantically oriented introduction to modern modal propositional logic and Kripke semantics. It offers both a solid mathematical basis and an introduction to some of the many applications within, e.g., philosophy, metamathematics and computer science. The course is mainly theoretically oriented, but also contains practical exercises.

LOG211 Model theory
This course offers a thorough introduction to the core results and techniques of model theory, covering topics such as definability, homomorphisms, elementary extensions, compactness, and categoricity. Students will also have the opportunity to specialize in a particular area of model theory or study the application of model-theoretic methods in a neighboring area. Specialization topics are selected in consultation with the course coordinator to align with the student’s academic background and interests.

LOG221 Proof theory
The course treats derivations and proofs as mathematical objects, and study these from a formal, syntactic point of view, unlike model theory that can be said to be the semantic theory of the corresponding phenomena.

LOG260 Models of Computation
A model for computability describes how, and if, a function or operation can be computed. The course covers many such models and how these models are related to one another. Central results and concepts in the subject area are also discussed.

LOG290 Logic, Games and Automata
The course covers the mathematical theory that underlies reactive systems, typically finite state-based systems equipped with a system for interaction with the environment. The theory is studied through three theoretical perspectives: logic, games and automata:
Automata theory is a powerful model of computing for state-based systems, logic provides a formal language for the specification of correctness properties, and by using ideas from game theory mathematical models of the system-environment interaction can
be built.

LOG250 Philosophy of Logic
The course covers classical and modern questions in the philosophy of logic, including metaphysics, epistemology, methodology, and normative status of logic. 

LOG311 Research skills in Logic 
The course prepares students for independent research work in the field of logic by addressing the following questions:

What is research in logic?
What does it take to become a skilled logic researcher?

LOG270 Advanced Set theory
The course covers results of relative consistency in the axiomatic set theory Zermelo-Fraenkel (ZF). 

LOG350 Category theory
The course focuses on the connections between category theory, set theory, type theory, and logic.

LOG230 Specialization in Logic 1
The student, in consultation with individual supervisors, chooses a field of specialisation within logic. 

LOG240 Specialization in Logic 2
The student, in consultation with individual supervisors, chooses a field of specialisation within logic. 

LOG320 Specialization in Logic 3
The student, in consultation with individual supervisors, chooses a field of specialisation within logic. 

LOG330  Specialization in Logic 4
The student, in consultation with individual supervisors, chooses a field of specialisation within logic. 

LOG340  Specialization in Logic 5
The student, in consultation with individual supervisors, chooses a field of specialisation within logic.