Ce Master interuniversitaire a été conçu conjointement par l#39;Université de Valladolid, l#39;Université de Salamanque et l#39;Université de Grenade en tant que master universitaire et de recherche, offrant à ses diplômés une position privilégiée pour produire leurs propres recherches pertinentes au niveau international dans le domaine de la logique, Histoire et philosophie des sciences et dans le domaine de la philosophie des langues. Ce Master donne un accès direct au Doctorat en Logique et Philosophie des Sciences. Sa nature d#39;enseignement mixte, avec des tutoriels en ligne, facilite l#39;intégration des étudiants étrangers et des enseignants du secondaire, à la fois dans les matières philosophiques, scientifiques et humanistes.

Le master en logique pure et appliquée est conçu pour fournir une formation avancée en logique, sous ses formes pures et appliquées. Les étudiants qui réussissent devront avoir la chance de faire leurs premiers pas dans la recherche dans les principaux domaines de la logique, de poursuivre des études ou de passer à une carrière professionnelle.

Le programme se concentre sur la logique et ses applications dans la philosophie des sciences, en particulier dans les fondements des mathématiques, de la physique, de la linguistique et des sciences sociales. Au-delà de quelques cours de base et d’une série de séminaires conjoints de quatre semestres offrant une base commune à tous les étudiants, nous proposons les quatre groupes de cours thématiques suivants: Logique et philosophie de la mathématique, Fondements de la physique, Logique de la linguistique et Modèles dans le Sciences sociales - l'étudiant doit choisir 7 cours proposés dans ces modules.

Le MSc Philosophical Knowledge: Foundations, Methods, Applications est proposé conjointement par l'Université de Bergame, l'Université de Pavie et l'IUSS Pavia entièrement en anglais.

Les combinaisons autorisées pour ce programme sont les études à programme unique ou à double programme, qui peuvent être combinées avec tout autre programme de maîtrise où les études à double programme avec ce programme sont autorisées.

La logique est traditionnellement définie comme l'étude des aspects formels d'un raisonnement valide, mais de nos jours, de nombreux logiciens considèrent la logique comme une étude plus générale des systèmes formels et de leurs applications.