Philosophy

90.

Faculty of Philosophy

35

The Masters aims to provide a thorough grounding in all aspects of advanced logic, both pure and applied. The program allows students to opt for one of two specializations: the research or the professional option.

The research option provides the necessary training to undertake research in the general field of logic, and more specifically in the research areas in which faculty members specialize: set theory, model theory, proof theory, non-classical logics and algebraic logic, logics for artificial intelligence, fuzzy logic, computational complexity, computational linguistics, categorical logic, philosophy of mathematics and history of logic. The option prepares students for doctorate studies in logic at an international level.

The professional option provides a more general training in logic, enabling students to find work in the professional area or to acquire more specific skills in other specialist fields.

An admissions committee will select students on the basis of their academic record. Students may also submit other documents, including publications or studies, in support of their application. Candidates may be invited for interview to demonstrate their suitability for the program.

Graduates in Mathematics, Philosophy and Computer Studies, or similar qualifications.

Students must have a good working knowledge of English: B1 level of English (Common European Framework of Reference - Council of Europe).