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.
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.
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.
Requirements and Selection
REQUIREMENTS: To be admitted to the programme a Bachelor’s degree with a minimum of 180 credits or an equivalent degree is required in one of the following areas: Logic, Theoretical philosophy, Computer science, Mathematics, General linguistics, or equivalent. Applicants must prove their knowledge of English: English 6/English B from Swedish Upper Secondary School or the equivalent level of an internationally recognized test, for example TOEFL or IELTS.
SELECTION: The selection is based on (i) a Personal Letter, and (ii) grades from previous relevant higher education. The Personal Letter should explain clearly the motivation for choosing this programme. The letter should introduce the the applicant both professionally and personally. The document must be entirely unique, i.e., it must not contain parts copied from any other source (with the exception of explicit quotations). Upload your personal letter to www.universityadmissions.se before the admission round deadline.
Application fee: 900 SEK
Full programme cost: 263 172 SEK
First payment: 65 793 SEK
要申请此工作 请将您的详细情况发送到以下邮箱 firstname.lastname@example.org