En esta línea de investigación este itinerario se estudiarán cuestiones de lógica y argumentación. El estudio de la argumentación se orienta tanto al problema teórico de la racionalidad y el discurso, como al ámbito práctico de la crítica cultural y la intermediación, prestando especial atención a la resolución de conflictos por medio de la discusión racional. El estudiante obtendrá una formación investigadora que le permitirá analizar y criticar argumentos; y adquirirá conocimientos aplicables al procesamiento de lenguajes naturales y la traducción automática, así como la habilidad necesaria para colaborar en el planteamiento racional de los conflictos y la mediación social. En el ámbito de la lógica se abordará el estudio de las diversas lógicas, el estudio de las lógicas aplicadas a las tecnologías de la información, sus problemas formales de desarrollo, la posibilidad de la Inteligencia Artificial y su futuro como Sistemas Inteligentes; el desarrollo de lenguajes específicos para la red capaces de soportar información terminológica útil en las búsquedas que ha dado paso a la denominada web semántica, son ejemplos en el ámbito de la nueva sociedad de la información. Además , el estudiante obtendrá conocimientos de historia y filosofía de la lógica, de filosofía de la matemática, y de los aspectos lógicos y formales de las tecnologías de la información y la comunicación, así como otros conocimientos especializados de lógica; también adquirirá una formación investigadora que le permitirá la elaboración, el análisis y la crítica de modelos formales aplicables a la investigación científica; y le capacitará para la cooperación en el diseño de programas y lenguajes informáticos, y la elaboración de webs semánticas y sistemas expertos.
