Logic at the University of Oslo
Traditionally concerned with the principles of valid inference, contemporary logic is a diverse and interdisciplinary field unified by a common core in formal logic.
About the group
Research and teaching in logic at the University of Oslo is mainly carried out at Department of Mathematics, Department of Informatics and Department of Philosophy, Classics, History of Art and Ideas. This research group is a collaboration of researchers from these departments unified by a common core in formal logic.
Topics studied include complexity theory, computability theory, set theory, reverse mathematics, modal logic, the investigation of algorithms, and applications in the foundations of mathematics and formal semantics.
Logicrelated events
Two recurring events are organized by logicians at the University of Oslo:

An interdisciplinary research seminar for work in formal logic.

An annual lecture in honor of Thoralf Skolem.
Course offerings
 FIL1006 Introduction to logic
 FIL2405/FIL4405 Philosophical logic and the philosophy of mathematics
 FIL2506/FIL4630 Recent history of philosophy: The heritage of Frege and Russell
 FIL4400 Logic and philosophy of language
 IN1150 Logical Methods
 INF3170 Logic
 INF5840 Computability theory
 MATINF3600 Mathematical logic
Advanced courses in mathematical logic, e.g. in set theory and computability theory, may be organized if there are interested students.