Master in Logic

University of Gothenburg: Faculty of Arts

Program Description

Master in Logic

University of Gothenburg: Faculty of Arts

Logic, Master’s Program


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 is nowadays an active international area of study and research also in mathematics, computer science, and linguistics.



The first year of the two year program consists mostly of compulsory courses in the theoretical fundamentals of logic. 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.



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 program, you will work in close collaboration with an international and vigorous research environment.



Course content

  • 
Completeness and Decidability
  • 
Set Theory and Modal Logic

  • Model Theory and Proof Theory

  • Category Theory and Formal Theories of Truth



Career after graduation


Graduates will be well prepared for applying to Ph.D. programs in Logic, Theoretical Philosophy, Linguistics, and Computer Science and will have a competence in argument analysis, deductive databases, and the semantic web. Non-academic career choices include software engineering, web-based technologies as well as the information and communication technology sector.



Requirements


Undergraduate degree, at least three years full-time study, in logic, theoretical philosophy, mathematics, computer science or linguistics.



3 reasons to study this Program

  1. An interdisciplinary environment combining mathematics, philosophy and computer science

  2. Take part in an international research environment

  3. Choose course modules suited to your background and academic and professional goals

Application Periods


The main application period for international students is mid-October to 15 January for all programs starting in the autumn. 



Tuition fees


Students who are citizens of countries outside the EU/EEA are generally required to pay tuition fees. Tuition fees do not apply to EU/EEA citizens. For information about the tuition fees, please contact the Department of Philosophy, Linguistics 
and Theory of Science.

This school offers programs in:
  • English


Last updated May 2, 2018
Duration & Price
This course is Campus based
Start Date
Start date
Sept. 2018
Duration
Duration
2 years
Full time
Price
Price
-
Information
Deadline
Request Info
for international students
Locations
Sweden - Gothenburg
Start date: Sept. 2018
Application deadline Request Info
for international students
End date Request Info
Dates
Sept. 2018
Sweden - Gothenburg
Application deadline Request Info
for international students
End date Request Info
Price Tuition: contact the department
Videos

Why study logic in Gothenburg, Sweden? Ali Enayat, Professor of Logic, gives you the answer.