Norwegian version of this page


The origin of  Logic is the formal study of human reasoning. As the use of set theory became more frequent in mathematics during the 19th century, applications of logic to the foundation of mathematics became more important. Mathematical logic is partly the investigation of mathematical models for mathematics, and partly the application of mathematical methods to  logic. During the 20th century, the investigation of algorithms and computations became an important part of mathematical logic. These days, logic is also a subject with applications outside philosophy and mathematics, e.g. in computer science and linguistics.

About the group

While logic represent a theory for the mathematical foundation, it also is an applied study, As for UIOs part, it has mostly been focused on uses within linguistics, data linguistics and theoretical data processing.


The Logic group at the department of mathematics is a part of a larger research group of persons with connections to the Institute of computer science, former Philosophical Institute and Oslo University. The members of the group are actively participating in the association Computability in Europe (CiE)


The logic group offers annually the course 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.


deltagerene i forskningsgruppen i logikk
The research group in logic, Foto: Elisabeth H. Seland, Matematisk institutt, UiO
Published Nov. 8, 2010 11:07 PM - Last modified Apr. 14, 2020 11:21 AM