PALAU, GLADYS
Prólogo
Capítulo 1: Introducción
1.1 La constitución de la lógica clásica
1.2 Qué es un sistema lógico
1.3 La lógica en tanto conjunto de verdades lógicas
1.4 La lógica en tanto conjunto de inferencias
1.5 El criterio de divergencia lógica
Lecturas sugeridas
Capítulo 2: La noción de consecuencia de la lógica clásica
2.1 La caracterización semántica y sintáctica de la noción de consecuencia lógica
2.3. Los aportes de C. I. Lewis
2.3.1 Los sistemas modales de C. I. Lewis
2.3.2 Las semánticas de Kripke
2.4. La presentación de Gentzen
2.4.1 Los sistemas de Deducción Natural (NC)
2.4.2 El Cálculo de Secuencias (SC)
2.5. La noción de consecuencia de la lógica clásica
Lecturas sugeridas
Capítulo 3: La lógica intuicionista y la crítica al razonamiento matemático
3.1 La crítica a la matemática clásica: el Principio del Tercero Excluido
3.2 La lógica intuicionista
3.2.1 Caracterización general
3.2.2 La semántica de mundos posibles para la lógica intuicionista
3.2.3 El cálculo proposicional intuicionista de Heyting(J)
3.2.4 El enfoque de Gentzen
3.3 La noción de consecuencia de la lógica intuicionista.
3.4. Comentarios marginales: sobre el realismo de las entidades matemáticas
Lecturas sugeridas
Capítulo 4: La lógica de la relevancia y la crítica a la deducibilidad clásica
4.1 La crítica a la deducibilidad clásica y la exigencia de relevancia.
4.2 El sistema R de lógica de la relevancia.
4.2.1 La presentación de R al estilo Hilbert
4.2.2 La presentación de R al estilo Gentzen
4.2.3 La semántica de R
4.3. La noción de consecuencia de la lógica de la relevancia.
4.4. Otros sistemas relevantes
4.5. Comentarios marginales: sobre la relevancia significativa de los condicionales contingentes.
Lecturas sugeridas.
Capítulo 5: Las lógicas plurivalentes y la crítica a la semántica estándar
5.1 Las críticas a la bivalencia de la lógica clásica
5.2 Los sistemas de Lukasiewicz
5.2.1 Los sistemas finitos L3 y Ln de Lukasiewicz
5.2.2 Los sistemas de infinitos valores LÀ 0 y L2À 0
5.3 La noción de consecuencia lógica de los sistemas de Lukasiewicz
5.4.Otros sistemas multivaluados
5.5. Comentarios marginales: sobre la lógica difusa.
Lecturas sugeridas
Capítulo 6: La lógica paraconsistente y la crítica al principio de no contradicción.
6.1 Los argumentos a favor de la admisibilidad de las contradicciones
6.2 El sistema de lógica dialéctica LD de N. A. da Costa
6.2.1 Características intuitivas de LD
6.2.2 La formulación al estilo Hilbert
6.2.3 La semántica de LD
6.3 los sistemas Cn(1£ n£ w )
6.4 La relación de consecuencia de la lógica paraconsistente.
6.5 Otros sistemas paraconsistentes
6.6. Comentarios marginales: paraconsistencia y la teoría freudiana del inconsciente.
Lecturas sugeridas
Conclusión: Reflexiones sobre el pluralismo lógico
Listas de símbolos y abreviaturas
Referencias bibliográficas
Indice alfabético
Esta obra presenta el primer trabajo realizado en habla hispana sobre los sistemas lógicos no clásicos desde una perspectiva filosófica. La autora aborda las lógicas intuicionista, de relevancia, la multivaluada y la paraconsistente, mostrando cuáles son las motivaciones filosóficas que las originaron y argumentando a favor del pluralismo lógico.
En la dilucidación de sus propiedades específicas se muestran, en forma sencilla y comprensible, los formalismos con los que se opera en estas lógicas no clásicas.
Finalmente, la obra analiza la característica de la relación de consecuencia de cada uno de estos formalismos y muestra que sus divergencias respecto de la relación de consecuencia de la lógica clásica no impiden que todos ellos se inscriben en la categoría de lógicas genuinas.
