Logic
Tuition
Duration
Admissions Deadline
Location
Profile
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.
Map
Sorry, no records were found. Please adjust your search criteria and try again.
Sorry, unable to load the Maps API.
Admissions Requirements
Applicants must have a bachelor's degree with a major in Logic, Theoretical philosophy, Computer science, Mathematics, General linguistics, or equivalent.Applicants from non-anglophone countries should provide proof of English proficiency. Application deadline for non EU students is January 15.
Related Programs
Program Information
Gothenburg
Västra Götaland County
411 34
Sweden
Additional Information
Considerations