Logic University of Gothenburg

Overview

At Logic from University of Gothenburg you will learn about the core areas of logic, including model theory, addressing the relationship between language and the objects that language describes; computability theory, investigating algorithms and the complexity of computational problems; proof theory, focusing on the structure of mathematical proofs and what it takes to prove the consistency of different theories; set theory, the general abstract study of one of the most fundamental concepts of mathematics and other formal sciences; and philosophy of mathematics, dealing with foundational epistemological and metaphysical issues in mathematics.

Quick Facts:

• The University of Gothenburg is one of only a few universities that offer a master’s programme that embraces the multifaceted interdisciplinary components of logic, and these substantial interdisciplinary possibilities are unique within Sweden. You will be exposed to the various ways research and education in philosophy, linguistics, mathematics, and computer science are linked together. Recommended course packages include courses taught at partner departments, such as Mathematics and Computer Science and Engineering, and from our own Department of Philosophy, Linguistics, and Theory of Science.
• Our teachers are active researchers, and many are internationally recognized, well- established authorities within their sub-disciplines. The elective courses you will choose from are designed with the specializations of the involved teachers in mind, making the connection with research very explicit. The research seminar in Logic (a biweekly series with a high level of international guests) as well as the Colloquium in Logic (running throughout the programme) brings researchers and students together for discussions about logic and its role in society and industry. There is a close relationship between teachers, students, and the dynamic research environment.