La validez argumentativa es un problema al que desde distintas ciencias debemos enfrentarnos pues dado que toda ciencia pretende sostener la verdad o plausibilidad de ciertos asertos a partir de otros en todas ellas está implicado el problema de la deducción o la inducción. La Lógica simbólica es una disciplina deductiva formal caracterizada por el uso de lenguajes de símbolos para estudiar la validez de inferencias. En este sentido la Lógica formal aborda un problema central en toda ciencia: ¿cómo determinar la validez de las inferencias que construimos para sostener la verdad de ciertas afirmaciones? Esta pregunta es el eje central de este curso introductorio a la Lógica. Por otro lado es necesario considerar que el carácter simbólico de la Lógica debe ser entendido como un instrumento y no como la esencia de la Lógica misma. En el curso estudiaremos el lenguaje de la Lógica Proposicional que es simbólico y la Lógica de Clases que es formal con la finalidad de analizar la validez formal de las inferencias desde estas dos perspectivas de la Lógica. En relación con las competencias generales del modelo educativo de la UPC el curso contribuye con la competencia pensamiento crítico en un nivel inicial en lo relativo a la evaluación y argumentación. Y en relación con las competencias del Área de Humanidades a la que el curso pertenece contribuye con la competencia reflexión y análisis crítico en un nivel inicial en lo relativo a la elaboración rigurosa de conclusiones
