Producto añadido correctamente al carrito

Cantidad
Total
Continuar comprando

Realizar pago

Filosofía

Suscribete a nuestro newsletter

Caratula Lógica básica para la verdad aristotélica Ver más grande

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

Nuevo

Autores: Manuel Sierra A.
Editorial: Universidad Eafit
Edición: Primera, mayo 2010              

Formato: Libro
Rústica, 16.5 x 24 cm
208 Páginas
peso: 0.34 Kg

ISBN: 9789587200614
Clic para ver: Reseña - Contenido

Más detalles

Libro disponible ¡pídalo ya!


COP$ 30.000

Más

Reseña. Lógica básica para la verdad aristotélica

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.

Subir


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

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

subir