Till startsida
To content Read more about how we use cookies on gu.se

Logic, Master's Programme, 120 credits

Logic, Master's Programme: You find information about how to apply on this page. For study guidance please contact Fredrik Engström, mil-info@flov.gu.se, 031-7866335.

See our video about the programme

Logic formulas with pen

This statement is false; or is it? What makes a paradox paradoxical but a mathematical proof acceptable? What does it mean for an argument to be sound or a program to be bug-free? Logic is the study of all these questions, and of argument and reasoning in general. As a graduate of the master’s programme in Logic, you will enjoy diverse opportunities ranging from software engineering to computational linguistics. Throughout two years of rigorous study, you will participate in interdisciplinary collaboration within a dynamic research community.

About the Programme

Do you see yourself thriving in an environment that fuses profound philosophical insights and striking mathematical methodology? Logic has developed beyond the traditional definition as the study of formal aspects of valid reasoning to be more widely applicable not only in the neighbouring disciplines of philosophy, mathematics, linguistics, and computer science, but also in industry and engineering. As a student of the programme, you will get a thorough education in the core topics in logic and will have the opportunity to explore applications in diverse areas including natural language processing, database design, and artificial intelligence.

Unique interdisciplinary opportunities

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.

Emphasis on current research and collaboration

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.

A rich academic experience

The master’s programme in Logic is two years of full-time study with a balanced combination of rigor and flexibility. You can expect a significant amount of hands-on, instructor-led skills training in addition to the theoretical lectures and seminars, computer laboratory work, and possibilities to individualize your study path. 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.

After Graduation

Graduates of the programme receive the degree Master of Arts with a major in Logic.

The versatility of the master's programme in Logic prepares you to follow both academic career paths and employment in a diverse array of fields. Graduates with a degree in logic report jobs as consultants, software engineers, programmers, and teachers, along with a significant amount who continue with PhD programmes in Logic, Theoretical Philosophy, Linguistics, and Computer Science nationally and worldwide. Our extensive research connections provide research-oriented students ample occasions to network and further their post-graduate opportunities. For those seeking employment, the Colloquium in Logic seminar series allows you to connect with employers from industry, education, software engineering, web-based technologies, and the information and communication technology sector.

Logic in Gothenburg

At the University of Gothenburg, logic as a field of research and teaching was established at the Faculty of Arts, in the philosophy department in the 1960s, and the first full professor, Per Lindström, was appointed in 1991. Today, the FLoV department has a lively research environment, including doctoral students in logic, led by Professor Ali Enayat, who was appointed in 2013.

See also

Programme description in the university web catalogue.

International and interdisciplinary

Tjeerd from the Netherlands tells you about the programme and what it is like to study in Gothenburg.

Logic, Master's Programme

Get to know our Master's Programmes at the Faculty of Arts

Page Manager: Monica Havström|Last update: 9/12/2019

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?

Denna text är utskriven från följande webbsida:
Utskriftsdatum: 2020-07-12