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

Logic, Master's Programme, 120 hec

Logic, Master's Programme starts in September 2018.

For study guidance please contact Martin Kaså, mil-info@flov.gu.se, 031-7864287

What is logic?

Logic formulas with pen

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).

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.

Career

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. ​

See also

Programme description in the university web catalogue.

Page Manager: Monica Havström|Last update: 11/8/2017
Share:

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:
http://flov.gu.se/english/education/masters-second-cycle/mil/
Utskriftsdatum: 2017-11-21