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 in mathematics, informatics and philosophy. 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.
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.
- 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
- MAT-INF3600 Mathematical logic
Advanced courses in mathematical logic, e.g. in set theory and computability theory, may be organized if there are interested students.