Lógica

Código de la asignatura1760
Nº Créditos ECTS6
TipoObligatoria
DuraciónSemestral
IdiomasCastellano
Planes de estudio
Profesor(es)
Año académico2024-25
Descripción

La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal. Es decir, la lógica proporciona las herramientas necesarias para el razonamiento matemático, pero también para muchas otras aplicaciones de la vida corriente.

En lo referente a la lógica formal se considerará en este curso el cálculo proposicional y de predicados en sus dos aspectos, la sintaxis y a semántica, por un lado, y las técnicas deductivas por otro, y sus aplicaciones, en particular, a la informática. También se considerará en esta parte las paradojas y antinomias lógicas.

En lo que respecta a la lógica no formal se considerará en primer lugar, lo que se entiende por razonamiento y sus formas, argumentaciones y sus tipos, así como las distintas falacias que habitualmente aparecen en esta forma de razonamiento.