Escoge la categoría

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

  • Autor:

  • Editores:

  • Editorial:

  • Año de Edición:

  • Idioma:

  • Nº Páginas:

  • ISBN:

  • Formato:
    Comparte

    Por: $30.000,00ou X de


    Comprar
    235_logica_basica_ueaf
    Lógica básica para la verdad aristotélica
    Por: $30.000,00ou
    48x de $625,00
    sem juros
    ComprarVendedor Libreria de la U
    38071
    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.

    Atributos LU

    AutorManuel Sierra A.
    Tabla de ContenidoPresentació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
    TipoLibro
    ISXN9789587200614
    Año de Edición2010
    Peso (Físico)340
    Tamaño (Físico)17 x 24 cm
    TítuloLógica básica para la verdad aristotélica

    Títulos Similares