Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
76 CAPÍTULO 6. LÓGICA PARACONSISTENTE<br />
En definitiva, como es habitual, será la aplicación en la que deseemos hacer uso de una lógica<br />
paraconsistente la que nos indiqué cuales han de ser los principios que debamos eliminar. Así, por<br />
ejemplo, en el estudio de Sistemas Software complejos se suele eliminar la regla de la introducción<br />
de la disyunción (A |= A∨B). Tendremos ocasión de conocer ejemplos de algunas de las aplicaciones<br />
y debatir sobre qué principios eliminar. Pero no cabe duda de que, sea cual sea la elección de los<br />
principios a eliminar, deberíamos justificar su elección en razón de:<br />
su efectividad para bloquear explosiones,<br />
su potencia para bloquear otros principios que sean contra-intuitivos (como lo es, claramente,<br />
el pricipio de explosión),<br />
que el número de principios de la lógica proposicional eliminados sea minimal en algún sentido.<br />
Ya hemos establecido el objetivo de la lógica paraconsistente: Deseamos poder trabajar con<br />
teorías inconsistentes, de modo que podamos establecer derivaciones no triviales. 3 ¿Pero cómo lo<br />
haremos? Antes de dar la respuesta a esta pregunta, profundicemos en el concepto de “consistencia”.<br />
Este concepto es clave en la lógica clásica, incluso el concepto de consecuencia lógica puede ser<br />
expresado en términos del concepto de consistencia:<br />
“C se deriva de Ω si y solo si Ω ∪ {¬C} es inconsistente”<br />
¡Tal parece que vamos a adentrarnos en arenas movedizas! Conviene pues aferrarnos a una definición<br />
de consecuencia lógica, que no haga uso del concepto de consistencia:<br />
“C se deriva de Ω si todo modelo de Ω es un modelo de C”<br />
Ahora nuestra tarea será establecer una clara diferencia entre inconsistencia y trivialidad.<br />
Comencemos estableciendo ambos conceptos:<br />
Definición 6.1 Sea Ω ⊆ Lprop y sea Saxiom un sistema axiomático para Lprop. Denotemos por<br />
Con |= (Ω) el conjunto de fbfs que son consecuencia lógica (semántica) de Ω, es decir,<br />
Con |= (Ω) = {A ∈ Lprop | Ω |= A} 4<br />
Denotemos por Con SAxiom (Ω) el conjunto de fbfs que son consecuencia lógica (sintáctica) de Ω en<br />
⊢<br />
S:<br />
{A ∈ Lprop | Ω ⊢SAxiom A} 5<br />
Se dice que:<br />
Ω es inconsistente si existe A ∈ Lprop tal que A, ¬A ∈ Ω.<br />
Ω es explícitamente inconsistente si existe A ∈ Lprop tal que A ∧ ¬A ∈ Ω.<br />
3 Consideremos, por ejemplo, Ω = {A, ¬A, A → B, C} ⊆ Lprop, si Con(Ω) denota el conjunto de consecuencias<br />
lógicas de Ω, se tiene que, por ejemplo, B, B ∧ C ∈ Con(Ω), pero también se tiene que cualquier D ∈ Lprop es tal que<br />
D ∈ Con(Ω)<br />
4 Reiteremos: Ω |= A si todo modelo de Ω es un modelo de A.<br />
5 Recordemos: Ω ⊢ A si existe una secuencia de fbfs en Lprop, A1, . . . , An tal que An = A y toda Ai con 1 ≤ i ≤ n−1<br />
es un axioma de S, o bien pertenece a Ω, o bien se obtiene de dos fbfs anteriores en la secuencia, mediante las reglas<br />
de inferencia de S.