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

Presentación ....................................................................... 13
Capítulo 1. Lógica básica con afirmación
y negación alternas LB ................................................. 19
Resumen............................................................................................ 19
Presentación ...................................................................................... 19
Sistema deductivo LB ...................................................................... 21
Semántica para LB ............................................................................ 25
Dos extensiones de LB ..................................................................... 41
Sistemas intermedios........................................................................ 44
Conclusión ........................................................................................ 46
Capítulo 2. Sistema paraconsistente LBPc¬I ...................... 47
Resumen............................................................................................ 47
Presentación ...................................................................................... 47
Sistema deductivo LBPc¬I ............................................................. 48
Semántica para LBPc¬I ................................................................... 52
Caracterización semántica de LBPc¬I ............................................ 53
Características del sistema ............................................................... 59
Conclusiones ..................................................................................... 63
Capítulo 3. Sistema paracompleto LBPo¬C ......................... 65
Resumen............................................................................................ 65
Presentación ...................................................................................... 65
Sistema deductivo LBPo¬C ............................................................ 67
Semántica para LBPo¬C .................................................................. 70
Validez de LBPo¬C .......................................................................... 71
Completitud de LBPo¬C ................................................................ 73
Características del sistema ............................................................... 77
Conclusiones ..................................................................................... 81
Capítulo 4. Sistema paraconsistente
y paracompleto LBPcPo .................................................................. 83
Resumen............................................................................................ 83
Presentación ...................................................................................... 83
Sistema deductivo LBPcPo .............................................................. 86
Semántica para LBPcPo .................................................................... 90
Validez de LBPcPo ............................................................................ 91
Completitud de LBPcPo .................................................................. 94
Características del sistema ............................................................... 99
Sistema LBVA ................................................................................... 108
Conclusiones ..................................................................................... 116
Capítulo 5. Lógica básica para la verdad
y la falsedad LBVF ............................................................................ 117
Resumen............................................................................................ 117
Presentación ...................................................................................... 117
Sistema deductivo para LBVF .......................................................... 118
Semántica para LBVF ....................................................................... 122
Validez de LBVF ............................................................................... 127
Completitud de LBVF ...................................................................... 130
Operadores de completez ................................................................. 138
Verdad y falsedad aristotélicas .......................................................... 144
Solución a una paradoja .................................................................... 150
Conclusiones ..................................................................................... 150
Capítulo 6. Jerarquizando los sistemas ..................................... 153
Resumen............................................................................................ 153
Sistemas intermedios........................................................................ 153
Jerarquización de los sistemas intermedios ..................................... 156
Conclusión ........................................................................................ 163
Anexo -1- Sistema deductivo
para la lógica clásica .......................................................................... 165
Resumen............................................................................................ 165
Anexo -2- Lógica básica paraconsistente
y paracompleta y sus extensiones ........................................ 187
Resumen............................................................................................ 187
Lógica básica paraconsistente y paracompleta como extensión
de la lógica clásica ............................................................................. 188
Lógica básica paraconsistente y paracompleta sin negación
clásica ................................................................................................ 194
Lógica básica paraconsistente .......................................................... 196
Lógica básica paracompleta .............................................................. 196
Lógica positiva paraconsistente y paracompleta ............................. 197
Lógica paraconsistente y paracompleta ........................................... 199
Lógica básica paraconsistente y paracompleta débil
a nivel atómico .................................................................................. 200
Lógica paraconsistente y paracompleta a nivel atómico ................. 203
Retículo de contenencias ................................................................. 205