En trminos rigurosos, se admite que la lgica formal no se ocupa de

inferencias sino de implicaciones. Semejante distincin pone de presente la

necesidad de precisar los contenidos y las extensiones de los conceptos de
inferencia e implicacin, as como la conveniencia de establecer el gnero
prximo y la diferencia especfica de otras operaciones ilegtimamente
identificadas como especies inferenciales.
Todo lo cual propende por facilitar decir qu es exactamente 'inferencia', y
qu suerte de compromiso estructural guarda con ella la lgica formal en
general y la lgica jurdica en particular.

La inferencia es, sin duda, una operacin mental, un movimiento del
intelecto que persigue, con base en determinados datos, alcanzar una
conclusin o consecuencia. Se trata de una tarea pesquisitoria; quien la
ejecuta busca "sacar" del examen de un hecho o proposicin otro hecho o
proposicin que se 'sigue' o 'deriva' de aqul. Inferir quiere decir que una
conclusin que es inferida es afirmada. Dada la proposicin p, podemos
inferir por lo tanto q. La expresin "por lo tanto" marca la diferencia entre
inferir e implicar, y tambin la diferencia entre inferencia y los conocimientos
inmediatos derivados de percepciones, recuerdos o procesos asociativos.
Por ejemplo, identificar un rostro en medio de la multitud, recordar el
nombre de una tonada o saber por el tacto el tipo de calibre de un proyectil
no son nociones accedidas al entendimiento por los mecanismos de la
implicacin o mediante los procedimientos de la inferencia. En cambio, mirar
la hora en un reloj y pensar:
"son las seis de la maana en Barranquilla, por lo tanto son las dos de la
tarde en Mosc" es un tpico caso de inferencia.


La inferencia est determinada por la
creencia de un pensante en la relacin
condicional entre dos hechos: "si pago
esta cuota de mi crdito, entonces cancelar la obligacin", proposicin que
puede resultar verdadera o falsa y que
puede escribirse lgico-simblicamente
por medio de la frmula 'p=> q', que
significa una particular relacin entre
un hecho p (expresado en el enunciado
'p') y otro hecho q (expresado en el
enunciado 'q'). Es caracterstico de la
inferencia el no poder derivar 'q' simplemente de 'p' sin antes conocer que
'p'
es condicin suficiente de 'q'; as, de la
proposicin "pago esta cuota de mi cr-
dito" no se sigue sin ms que la obligacin
queda cancelada, pues es preciso contar
con la informacin de que el pago de
dicha cuota ciertamente extinga la obligacin. Esta informacin
complementaria que posibilita el paso de las premisas a la conclusin recibe
el nombre
de condicin epist.mica de la inferencia.
Por contraste con la inferencia, la implicacin no es la operacin mental de
un
sujeto cognoscente que persigue una
consecuencia lgica, sino una relacin
que rige entre dos proposiciones dadas
independientemente de que una mente
pueda percatarse o no de esa relacin. A
desemejanza de la inferencia, que es
unaconectiva que se escribe entre enunciados que son nombres de hechos,
la
implicacin se escribe entre nombres de
enunciados y carece por ellode contenido
emprico factual.
Un ejemplo de implicacin es elsiguiente:
el homicida fue capturado y el
homicida fue procesado
implica
el homicida fue procesado.
En este caso, la proposicin "el homicida
fue procesado" est implicada en la proposicin que le sirve de
antecedente. Lo
cual est lgico-matemticamentejustificado por la ley de simplificacin: