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.