University of Barcelona

Pure and Applied Logic (biennial)

Objectives and competences


The master's degree in Pure and Applied Logic provides advanced training in the main areas of logic. Graduates will be in a perfect position to start a research career in logic and related areas. The course also serves as excellent preparation for employment opportunities requiring a high level of analytical and problem-solving skills.


Generaal 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.


Specific competences 

  • 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.