# Logic

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.

## Cooperation

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

## Courses

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