The Master's Programme in Logic is planned to start in September 2018.
For study guidance please contact Martin Kaså, email@example.com, 031-786 4287
An often-told anecdote amongst logicians is the story of how the list of “the 20 most influential scientists, thinkers and inventors” of the 20th century published by Time Magazine in March 1999 included no fewer than three logicians: the logician and mathematician Kurt Gödel, the logician and computer scientist Alan Turing, and the logician and philosopher Ludwig Wittgenstein.
Modern logic is the product of the fusion of profound philosophical insights and striking mathematical methodology. It is a mature, complex subject with its own set of internal agenda and goals. Moreover, the conceptual frameworks and tools developed by research in “pure logic” have found a dazzling, extensive array of applications, not only in the neighboring disciplines of philosophy, mathematics, linguistics, and computer science, but also in industry and engineering. Consequently, Logic is a genuinely interdisciplinary subject.
The first year courses of the program provide a solid grounding in the core areas of logic. These include Model Theory, which studies the relationship between formal languages and the structures that interpret them; Computability Theory, where algorithms and the complexity of computational problems are investigated; Proof Theory, whose focus is on the structure of formal proofs; and Set Theory, which provides the foundation of mathematics and formal sciences by studying finite and infinite collections.
During the second year, students compose a 30 hp-master’s thesis; and based on their interests and goals, they concentrate on a selection of courses in logic or its applications taught in our own department (e.g., in Logic, Philosophy, Linguistics, or Language Technology), or offered at partner departments (Mathematics, and Computer Science).
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.
The programme’s versatility prepares the student to either follow an academic career path, or to pursue employment in fields as diverse as secondary education, software engineering, web-based technologies, and in the information and communication technology sector.
Programme description in the university web catalogue.