Introducción
Lección 1.
Cuestiones sobre el objeto de la Lógica
Introducción
1.1 Un cierto bucle
1.2 La cuestión del Logos
1.3 La cuestión de la verdad
1.4 La cuestión de la proposición
1.5 La cuestión del razonamiento
1.6 La cuestión de los argumentos
1.7 Un esbozo histórico
1.8 Ejercicios Lección 1
Lección 2.
La cuestión de los principios de la razón
Introducción
2.1 De los principios de la razón
2.2 De los principios lógicos
2.3 Los siete principios de la razón
2.4 Ejercicios Lección 2
Lección 3.
Cuestiones acerca de la verdad
Introducción
3.1 Cuestiones sobre el sentido del término verdad
3.2 Aristóteles
3.3 La teoría de la verdad correspondiente
3.4 Primeras críticas a la teoría de la verdad correspondiente
3.5 La teoría de la redundancia
3.6 La teoría semántica de la verdad
3.7 Teorías pragmáticas de la verdad
3.8 La teoría consensual de la verdad
3.9 La teoría de la coherencia de la verdad
3.10 Conclusiones
3.11 Ejercicios Lección 3
Lección 4.
Sistemas de lógica. Primeros aspectos
Introducción
4.1 Sintaxis formal
4.2 De las constantes lógicas. Conectivos lógicos
4.3 Operadores de aserción
4.4 Lógica y discurso
4.5 Taller de aprendizaje 1. Primeros elementos de sintaxis lógica
Lección 5.
Elementos de la lógica clásica de enunciados
Introducción
5.1 Primeros elementos de la lógica clásica de enunciados
5.2 La cuestión de la representación del conocimiento
5.3 Cuestiones sobre semántica lógica
5.4 Semántica de matrices para la lógica clásica de enunciados
5.5 Taller de aprendizaje 2. Sintaxis y semántica lógica
Lección 6.
La lógica trivaluada de enunciados de Lukasiewicz. Elementos básicos
Introducción
6.1 La lógica trivaluada de enunciados de Lukasiewicz L3
6.2 De la sintaxis de la L3
6.3 De la semántica de la L3
6.4 De las L3-tautologías. La cuestión de los principios lógicos en la L3
6.5 Taller de aprendizaje 3. Sintaxis lógicas y semánticas aléticas
Lección 7.
Semántica de tableros semánticos
Introducción
7.1 Árboles de opciones semánticas
7.2 Semántica de los tableros semánticos. Fundamentos
7.3 Semántica de tableros semánticos. Interpretación de fórmulas
7.4 La lógica clásica de enunciados es decidible
7.5 Criterio para determinar la validez semántica de un argumento
7.6 Taller de aprendizaje 4. Semántica de tableros semánticos
Lección 8.
Deducción natural
Introducción
8.1 De la deducción natural
8.2 De las reglas de inferencia
8.3 Un sistema de deducción natural para la lógica clásica de enunciados
8.4 Taller de aprendizaje 5. Pruebas de validez sintáctica de argumentos lógicos
Lección 9.
La cuestión de los argumentos
Introducción
9.1 De la argumentación
9.2 De los argumentos
9.3 La argumentación y los sistemas de lógica
9.4 Hacia un estudio lógico de los argumentos
9.5 Una metodología para el estudio lógico de un argumento
9.6 Ilustración de la metodología
9.7 Taller de aprendizaje 6. Estudio lógico de argumentos en lógica clásica de enunciados
Lección 10.
Lógica clásica de predicados de primer orden con identidad
Introducción
10.1 Análisis lógico del lenguaje
10.2 Aspectos generales sobre la cuestión de la especificación
10.3 La sintaxis de la lógica clásica de predicados de primer orden con identidad
10.4 Variables libres y variables ligadas
10.5 Representación del conocimiento
10.6 Taller de aprendizaje 7. Representación del conocimiento en lógica clásica de predicados de primer orden con identidad
Lección 11.
La cuestión de los argumentos en la lógica clásica de predicados
Introducción
11.1 La cuestión de la verdad. Semántica
11.2 Modelos de LCP
11.3 La cuestión de la validez semántica
11.4 La cuestión de la verdad
11.5 La cuestión de los argumentos en la lógica clásica de predicados de primer orden con identidad
11.6 De la validez de los argumentos
11. 7 De la deducción natural
11.8 Estudios de argumentos
11.9 Falacias en la lógica clásica de predicados de primer orden
11.10 Taller de aprendizaje 8. Estudio de argumentos en la lógica clásica de predicados de primer orden con identidad
Anexo 1.
Falacias, aporías, antinomias y paradojas
Introducción
1.1 La cuestión de las falacias
1.2 Clases de falacias
1.3 Aporía, antinomia y paradoja
Anexo 2.
Lógica de las modalidades. Aspectos básicos
Introducción
2.1 Las modalidades de los enunciados
2.2 Elementos básicos de lógica de las modalidades. Lógica modales
2.3 La implicación estricta
2.4 La cuestión de la verdad
Bibliografía