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

Logic, Master's Programme

Master's programme | 120 credits

The programme does not start this academic year. Please contact the department for further information.

About the Programme

Logic is traditionally defined as the study of formal aspects of valid reasoning, but today many logicians see logic as a more general study of formal systems and their applications. The conceptual frameworks and tools developed by pure research in modern logic have found many applications in diverse disciplines studying formal languages and systems, e.g., software engineering and computational linguistics.

As an academic subject logic is genuinely interdisciplinary and located on the border between Philosophy, Mathematics, Computer Science, and Linguistics. The exchange is active and mutually beneficial. Logic was once looked upon as a more or less completed sub-discipline of philosophy, but the subject went through a major transformation in the 20th century, thanks to the massive infusion of mathematical methodology and computational techniques. Logic is nowadays an active international area of study and research also in mathematics, computer science, and linguistics.

Contents

The first year of the two year programme consists mostly of compulsory courses in the theoretical fundamentals of logic such as set theory, modal logic, model theory, and proof theory. The second year consists of a 30 hp essay and elective courses, where you, as a student, work toward a specialized profile within the general field of logic and its applications. These courses are chosen from a wide range of subjects, some in applied logic (such as Artificial Intelligence, and logic for web technologies) and some in theoretical logic (such as category theory and formal theories of truth).

Recommended course packages may include courses taught at partner departments (Mathematics and Computer Science and Engineering) as well as courses from subjects in our own department in Linguistics, Philosophy and the Master's Programme in Language Technology. A seminar series, Colloquium in Logic, on applications of logic, methodology and history of logic will run through both years. You will also have the opportunity to attend the research seminar in logic at the department.  As a student of the programme you will work in close collaboration with an international and vigorous research environment.

Career

Graduates of the programme will be given a thorough grounding in the fundamentals of the subject to be well prepared for applying to PhD programmes in Logic, Theoretical Philosophy, Linguistics, and Computer Science nationally and worldwide. The programme is also sufficiently versatile to prepare the student for industry demands, e.g., competence in formal methods in software engineering, argument analysis, deductive databases, and the semantic web. Moreover, the secondary skills acquired in the programme (e.g., analytical thinking and communication skills) are highly valued by many types of employers. Non-academic career choices include education, software engineering, web based technologies, and jobs in the information and communication technology sector.

More information

http://flov.gu.se/mil

Show more

Tuition Fee

Please contact the department.
EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on: http://www.universityadmissions.se

Study Guidance

Martin Kaså, mil-info@flov.gu.se, 031 - 786 4287

Department

Department of Philosophy, Linguistics, Theory of Science
Box 200
40530 Göteborg
Visiting address: Olof Wijksgatan 6

Page Manager: Webmaster
Last update: 2/20/2017 1:13 PM

Tell a friend about this page
Print version

Page Manager: Webmaster|Last update: 2/20/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?