Introducción Filosófica a las Lógicas no Clásicas

Argumento de Introducción Filosófica a las Lógicas no Clásicas

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.

Gladys Palau, doctora en Filosofía, en la especialidad de Lógica, por la Universidad de Buenos Aires, es profesora titular de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires y de la Facultad de Humanidades de la Universidad Nacional de La Plata. Además es investigadora en el Instituto de Filosofía de la UBA y autora (junto con José A. Castorina) del libro Introducción a la lógica operatoria de Piaget y de numerosos artículos publicados en revistas y compilaciones.0

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.2. la presentación de Tarski
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 L n de L ukasiewicz
5.2.2 Los sistemas de infinitos valores LÀ ₀ y L2À ⁰
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 C_n(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