Logica Abductiva y Lógica Paraconsistente Computacional - here

primitivas, independientes y complementarias, es decir, no son reducibles a formas más simples y
no se pueden formular una en términos de otra.
Quizás si nuestro único conocimiento es sobre los razonamientos deductivos, nos alarme la pretensión
de formalizar el razonamiento abductivo, pero esta postura supondría una fuerte restricción
a la lógica. Así que vayamos a otro ejemplo que nos confirme la necesidad de esta formalización:
Supongamos que disponemos de la Regla:
y observamos un Caso:
“Si el enfermo tiene sarampión, tiene manchas rojas en su cuerpo“
“Alfredo tiene manchas rojas en su cuerpo”
Sería bueno concluir que tiene sarampión. Pero esta conclusión no está permitida por la lógica
clásica y lo cierto es que, aunque este razonamiento requiere cautelas, con la información que
tenemos, es la mejor suposición que podemos hacer. Lo mejor que podemos hacer es realizar una
“deducción hacia atrás”, a partir de la regla y de su consecuente, “conjeturar” un antecedente. Por
esta razón, al proceso abductivo se le llama también proceso retroductivo.
Podemos seguir dando ejemplos que nos confirmen la utilidad del razonamiento abductivo:
La mayoría de lo hogares españoles están interesados en ventanas de doble cierre. PErC es
un distribuidor de ventanas de doble cierre. De aquí, que resulta esperable que la mayoría de
los hogares españoles estén interesados en contactar con PErC.
Restos fósiles de dinosaurios de las mismas especies propias del Período Jurásico han sido
encontrados tanto en América del Norte como en Europa. Este hecho proporciona elementos
de juicio para sostener que ambos continentes estaban unidos en ese período geológico.
De la información disponible acerca de Marte no se infiere que haya seres vivos en su superficie.
Luego, se puede suponer que no hay vida en Marte.
Pero no nos alarmemos, como veremos más adelante (al tratar el tema formalmente), el antecedente
concluido en el proceso de abducción, se habrá de entender tan solo como un ‘‘candidato’’
para la explicación del consecuente y tendrá que ser analizado. En primer lugar, el candidato,
tendrá que ser consistente con el conocimiento previo, y siempre habrá de mantener la alerta
en las sucesivas actualizaciones del conocimiento. En definitiva, la explicación abducida debe
ser confirmada. Por ello, hay expresiones que matizan a la conclusión. Expresiones como “hay
buenas razones para afirmar que”, “se puede suponer que”, “es razonable creer que”, etc.
Podríamos sintetizar así el proceso abductivo:
una vez formulada la conjetura, ésta se utiliza para realizar predicciones acerca de qué otras
observaciones deberían ser ciertas si la conjetura fuese cierta.
viene entonces una fase “experimental” en la que se recaban nuevas observaciones que se
compararán con las predicciones, y servirán para descartar o aceptar la conjetura.
si alguna evidencia contradice las predicciones de la conjetura, ésta queda refutada (deductivamente).
5