Catálogo Derechos Humanos
Búsqueda avanzada (por colaborador, editorial, año de edición, formatos)
Lógica básica para la verdad aristotélica
Compartir en redes sociales

Lógica básica para la verdad aristotélica

  • Editorial Editorial EAFIT
    Universidad EAFIT
    • Autor: Manuel Sierra A.
  • La lógica clásica trabaja con proposiciones. Intuitivamente se definen las proposiciones como aquellos enunciados que o son verdaderos o son falsos, pero no ambas cosas a la vez. La caracterización semántica usual de la lógica clásica (tablas de verdad, semántica de valuaciones, etc.), corresponde perfectamente a dicha intuición. Se establece así que la afirmación clásica de un enunciado corresponde a "el enunciado es verdadero", y que la negación clásica de un enunciado corresponde a "el enunciado es falso". En este trabajo se construyen sistemas deductivos que incluyen operadores que pueden ser interpretados como "ser verdadero" y como "ser falso", de tal manera que los llamados "enunciados mal fundados" puedan ser lógicamente tratados sin que esto implique la destrucción del sistema deductivo. Los sistemas construidos generalizan la lógica clásica de tal manera que la interpretación canónica de algunos admita las lecturas de "enunciado mal fundado", "enunciado verdadero", "enunciado falso", y, además, en alguno de los sistemas, se caracterice la definición de verdad aristotélica.En este trabajo se construyen sistemas deductivos que incluyen operadores que pueden ser interpretados como "ser verdadero" y como "ser falso", de tal manera que los llamados "enunciados mal fundados" puedan ser lógicamente tratados sin que esto implique la destrucción del sistema deductivo. Los sistemas construidos generalizan la lógica clásica de tal manera que la interpretación canónica de algunos admita las lecturas de "enunciado mal fundado", "enunciado verdadero", "enunciado falso", y, además, en alguno de los sistemas, se caracterice la definición de verdad aristotélica.
Formatos

Formatos

Impreso

Libro

Estado: Activo
ISBN-13: 9789587200614
Peso: 0.3400 kg
Tipo de edición: Nueva edición
Fecha de publicación: 2010

Tabla de materias / Tabla de contenido

Presentación

Capítulo 1
Lógica básica con afirmación y negación alternas LB

Resumen
Presentación
Sistema deductivo LB
Semántica para LB
Dos extensiones de LB
Sistemas intermedios
Conclusión

Capítulo 2
Sistema paraconsistente LBPc¬I

Resumen
Presentación
Sistema deductivo LBPc¬I
Semántica para LBPc¬I
Caracterización semántica de LBPc¬I
Características del sistema
Conclusiones

Capítulo 3
Sistema paracompleto LBPo¬C

Resumen
Presentación
Sistema deductivo LBPo¬C
Semántica para LBPo¬C
Validez de LBPo¬C  
Completitud de LBPo¬C
Características del sistema
Conclusiones

Capítulo 4
Sistema paraconsistente y paracompleto LBPcPo

Resumen
Presentación
Sistema deductivo LBPcPo
Semántica para LBPcPo
Validez de LBPcPo
Completitud de LBPcPo
Características del sistema
Sistema LBVA
Conclusiones

Capítulo 5
Lógica básica para la verdad y la falsedad LBVF

Resumen
Presentación
Sistema deductivo para LBVF
Semántica para LBVF
Validez de LBVF
Completitud de LBVF
Operadores de completez
Verdad y falsedad aristotélicas
Solución a una paradoja
Conclusiones

Capítulo 6
Jerarquizando los sistemas

Resumen
Sistemas intermedios
Jerarquización de los sistemas intermedios
Conclusión

Anexo 1
Sistema deductivo para la lógica clásica

Resumen

Anexo 2
Lógica básica paraconsistente y paracompleta y sus extensiones

Resumen
Lógica básica paraconsistente y paracompleta como extensión de la lógica clásica
Lógica básica paraconsistente y paracompleta sin negación clásica
Lógica básica paraconsistente
Lógica básica paracompleta
Lógica positiva paraconsistente y paracompleta
Lógica paraconsistente y paracompleta
Lógica básica paraconsistente y paracompleta débil a nivel atómico
Lógica paraconsistente y paracompleta a nivel atómico
Retículo de contenencias

Referencias bibliográficas

  • FAM021000 FAMILIA Y RELACIONES > Amistad (Principal)
  • Filosofía