|Faculty or school||Faculty of Philosophy|
|Branch of knowledge||Mathematics and statistics, History, archaeology, geography, philosophy and humanities, Computer and systems engineering|
|Mode of delivery||Presencial|
|Number of places available||25|
|Length of course||2 academic years|
|Language(s) of instruction||English|
|Approximate price per credit||27.67 euros per credit (82 euros for students who are not EU nationals and do not currently reside in Spain). Fees for the academic year 2021-2022|
|Lead to doctoral studies||Yes|
|Admission for applicants not holding a degree qualification||No|
|Main university||Universitat Barcelona|
Objectives and competences
- Capacity to carry out original research in logic and to apply the knowledge and skills acquired to new multidisciplinary environments.
- Capacity to present the solutions to exercises and problems in a clear, concise, and coherent manner.
- Capacity to argue correctly and justify assertions with evidence, in line with the current standards of the research community.
- Capacity to write and present a master's degree thesis.
- Capacity to work properly and efficiently in order to resolve the problems posed in the different subjects from the master's degree.
- Capacity to plan adequately the public exhibition of a research project according to time and facilities available.
- Capacity to make efficient use of IT and audiovisual technologies to communicate the results of a research project.
- Capacity to resolve problems in logic in an understandable and elegant manner.
- Command the fundamental concepts of mathematical logic.
- Capacity to resolve problems related to the master's degree courses.
- Capacity to apply the concepts of contemporary logic to the study of the history of logic.
- Capacity to understand the technical concepts to study the arguments used in the philosophy of mathematics and philosophy of logic.
- Capacity to design algorithms dealt with during the master's degree.
- Capacity to understand articles from the scientific literature.
- Capacity to formulate original and meaningful conjectures in various areas of logic.
- Capacity to plan and conduct a piece of original research in one of the topics covered by the master's degree.
- Command of the mathematical tools used in specialized branches of mathematical logic.
- Capacity to demonstrate a broad knowledge of non-classical logics.
- Capacity to integrate semantic, syntactic and algebraic tools to study different kinds of logic.
- Capacity to relate the topics in logic covered by the modules with their corresponding philosophical implications.
- Capacity to explain current trends of research in mathematical logic in a clear and comprehensible manner.
Access and admission
Applicant profile and access requirements
Recommended applicant profileStudents applying to the master's degree must have:
- An interest in the field of logic.
- An analytical mind and the capacity for rigorous, abstract reasoning (for instance, having successfully completed modules in mathematics or formal logic at undergraduate or postgraduate level).
- A good level of spoken and written English.
Access requirements and conditionsIn accordance with Article 16 of Royal Decree 1393/29 October 2007, students must hold one of the following qualifications to access university master's degree courses:
- An official Spanish degree.
- A degree issued by a higher education institution within the European Higher Education Area framework that authorizes the holder to access university master's degree courses in the country of issue.
- A qualification from outside the framework of the European Higher Education Area. In this case, the qualification should be recognized as equivalent to an official Spanish degree. If it is not recognized, the University of Barcelona shall verify that it corresponds to a level of education that is equivalent to official Spanish degrees and that it authorizes the holder to access university master's degree courses in the country of issue. Admission shall not, in any case, imply that prior qualifications have been recognized as equivalent to a Spanish master's degree and does not confer recognition for any purposes other than that of admission to the master's degree course.
The bachelor's degrees that grant direct access to this master's degree are Mathematics, Computer Science, Philosophy and Physics, as well as degrees in related disciplines.
In principle, graduates of any of the official degrees that grant access may apply. Candidates who do not hold any of these degrees may also be considered for admission, if they show that they fit the recommended profile and that, in the opinion of the Coordination Committee, they have sufficient knowledge of logic.
At the discretion of the Coordination Committee, philosophy graduates may be required to take the bridging subjects Mathematical Language and Reasoning, Arithmetic, and Linear Algebra from the UB bachelor's degree in Mathematics.
Candidates should have a level of English equivalent to B1 in the Common European Framework of Reference for Languages. They will be required to understand lectures and complete written exercises and assignments in English.
Calendar28 February - 5 September 2022.
- Pre-enrolment fee: A pre-enrolment fee of 30,21 euros is charged. Students who apply to more than one master's degree must pay the fee for each pre-enrolment request. Pre-enrolment requests cannot be processed until this fee has been paid.Fees will only be refunded if the master's degree in question is suspended.
- Reserved places: A maximum of 5% of the new places of the master's degree are reserved for students who meet the general and specific access requirements and accredit the recognition of a degree of disability equal to or greater than 33%.
- Pre-enrolment application
- Photocopy of degree certificate or equivalent qualification. In case of admission, foreign degrees that require so should be translated and authenticated through diplomatic channels before completing the enrolment.
- Other specific documentation related to the selection criteria
Applications are considered by the Coordination Committee on the basis of the following criteria:
- Grade average in bachelor's or postgraduate degrees.
- Prior training in logic, which should at least include a good knowledge of first-order logic.
- Reference letters.
- Candidate's motivation for studying the master's degree.
The Coordination Committee scores each of the criteria as follows: a maximum of 70 points from criteria 1 and 2; a maximum of 20 points for criterion 3; and a maximum of 10 points for criterion 4. Knowledge of English is required.
NotificationAll applicants will be informed of the outcome of their application by email. Successful applicants will also receive a formal letter of admission.
As a general rule, at the UB you will be required to enrol online via the Món UB portal. To find out the date and time you have been assigned, check the specific information for your course. Remember that you can lose your place if you do not enrol on the day you have been assigned.
- Documents required for enrolment
- Procedure to formalize enrolment
- After enrolment
- Grants and financial aid
Support and guidance
Pre-enrolment information and events
Subjects and course plans
Distribution of credits
|Compulsory final project||20|
List of subjects
|Specialization: Pure and Applied Logic|
|Algebraic Logic||Optional||2nd semester||5|
|Algorithms for VLSI||Optional||1st semester||6|
|Basic Model Theory||Compulsory||2nd semester||6|
|Basic Set Theory||Compulsory||1st semester||6|
|Combinatorial Problem Solving||Optional||2nd semester||6|
|Combinatory Set Theory||Optional||2nd semester||5|
|Computability Theory||Compulsory||1st semester||6|
|Computational Complexity||Optional||2nd semester||6|
|Final Project||Compulsory||2nd semester||20|
|Introduction to Mathematical Logic||Optional||1st semester||5|
|Mathematical Logic||Compulsory||2nd semester||6|
|Modal Logic||Optional||2nd semester||5|
|Non-Classical Logics||Compulsory||1st semester||6|
|Orders, Reticles and Boolean Algebra||Optional||1st semester||5|
|Universal Algebra||Optional||1st semester||5|
Placements in a company or another type of organization are an integral part of university studies, providing first-hand experience of working methodologies in students' chosen professional fields. They offer invaluable practical experience for the transition into work after graduation.
Placements are supervised by tutors and subject to assessment. They are therefore included in the academic record. There is also an option to complete non-curricular placements of up to 500 hours, which can be extended to 900 hours. For both curricular and non-curricular placements, an educational cooperation agreement is signed between the UB and the company, institution or other organization at which the placement will be carried out.