This module provides an approach to different types of logic, focusing on their application to IT, the formal problems associated to their development, and the possibility of artificial intelligence and its evolution into intelligent systems. An example of this is the development of specific internet languages able to support useful terminological information for search engines, which has led to the creation of the Semantic Web. 

Students will be trained in the logical and the formal aspects of IT and communication, while at the same time gaining expertise in logic; they will be trained in research in order to be able carry out critical analyses of formal models applicable to scientific research; and they will also learn how to collaborate in the design of computer languages and programmes, and in the creation of semantic webs and expert systems. 

Courses List

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system