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 CiE or "Computability in Europe":http://www.computability.org.uk
The logic group offers annually the course MAT-INF3600 Mmathematical Logic.
At irregular intervals the group may also offer
MAT4630 Computability Theory
MAT4640/9640 Axiomatic Set Theory
MAT9650 Advanced topics in Logic