INFERENCIA

Una inferencia es una evaluacin que realiza la mente entre proposiciones.

En lgica formal, son expresiones bien formadas (EBF) de un lenguaje formal que, al
ser relacionadas, permiten trazar una lnea lgica de condicin o implicacin lgica
entre las diferentes EBF. De esta forma, parte de lo verdadero a lo
falso: posible (comohiptesis) o conocida (como argumento) de alguna o algunas
de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras
EBF.
Surge as lo que conocemos como postulado1 o transformada de una expresin
original conforme a reglas previamente establecidas,2 que puede enmarcarse en uno
o varios contextos referenciales diversos,3 obtenindose en cada uno de ellos un
significado como valor de verdad de equivalente.4 5 6
Es la operacin lgica utilizada en los motores de inferencia de los sistemas
expertos.

Inferencia lgica[editar]
En la lgica tradicional[editar]
1. En la lgica tradicional, llamada aristotlica, la forma esencial de inferencia
es una forma de razonamiento deductivo.
No obstante se reconocan algunas inferencias directas o inmediatas.
Inferencias inmediatas[editar]
La lgica aristotlica consideraba la posibilidad de inferencias inmediatas: aquellas
que pueden obtenerse directamente a partir de la relacin que establece un
juicio7 respecto a los trminos, sujeto y predicado, que le constituyen, en funcin de
la cualidad (afirmativo-negativo) y la cantidad (universal-particular) del mismo.
Aristteles estudi con detalle ciertas operaciones que permitan tales inferencias
inmediatas o directas. Para ello elabor el llamado cuadro de oposicin de los
juicios, en el que dadas las relaciones que cada juicio aristotlico, A,E,I,O, lleva
implcitas se pueden establecer ciertas inferencias directas.

Asimismo en la lgica tradicional se admitan ciertas operaciones lgicas de

transformacin de un juicio manteniendo sus condiciones de verdad. Tales
operaciones eran:

Conversin lgica

Obversin lgica

Contraposicin lgica

Inversin lgica

La lgica tradicional aristotlica no resuelve del todo bien los problemas que surgen
de los juicios negativos por lo que este tipo de operaciones lgicas se prestan a
argumentaciones que producen resultados aberrantes.8
La lgica actual formaliza los enunciados lingsticos bien como relacin de clases o
como funciones proposicionales o relaciones.9 Hoy se exige el rigor formal de la
aplicacin de una regla de inferencia.10 La idea de inferencia inmediata no es ms
que la aplicacin de una regla modo implcito. La formalidad lgica, sin embargo,
exige que seaexplcita la regla que permite la transformacin de una EBF.

En la lgica actual[editar]
Artculo principal: Clculo lgico

Se llama inferencia lgica a la aplicacin de una regla de transformacin que permite

transformar una frmula o expresin bien formada (EBF) de un sistema formal en
otra EBF como teorema del mismo sistema. Ambas expresiones se relacionan
mediante una relacin de equivalencia, es decir, que ambas tienen los
mismos valores de verdad o, dicho de otra forma, la verdad de una coimplica la
verdad de la otra.

(pq)(rs)(tv) podra ser transformada en:

ABC
donde A=(pq); B=(rs) y C=(tv).
Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la
funcin del bicondicional el resultado ha de ser una tautologa.
Esquema de inferencia[editar]
Artculo principal: Clculo lgico

Se refiere a la estructura lgico-formal que permite obtener una expresin bien

formada (EBF) desligada, libre, como teorema de un sistema formal previamente
definido por laregla de separacin estrictas de formacin y transformacin de
frmulas.
Dicha estructura es el fundamento de un argumento lgico-formal mediante la
aplicacin de la regla de Sustitucin de frmulas.

(ABC...N)D donde (ABC...N) representa cada variable la premisa

de un argumento. Conocida la verdad de cada una, como premisas de un
argumento, su producto verdadero exige la verdad de todas y cada una de dichas
expresiones; lo que permite establecer D como expresin libre y conclusin del
argumento. aivy

Inferencia por evidencias[editar]

Evidencia inductiva: Surge de la constatacin de una misma ocurrencia en una

serie de casos. Observando que muchos lobos tienen la cola larga, infiero que
los lobos tienen la cola larga, como una generalizacin.

Evidencia enumerativa o induccin completa: Cuando se enumeran todos los

casos la inferencia se convierte en una verdad demostrada, como induccin
completa. Tal es el caso de que tras contar a todos y cada uno se pueda inferir:
los alumnos de esta clase son 22.

Aristteles y con l la escolstica tradicional admita una induccin perfecta, siempre

y cuando la relacin entre los individuos y la clase, como concepto, sea aprendida
comoconexin esencial necesaria de un proceso de abstraccin; o bien entre clases
como conceptos incluidas en otra clase, como concepto. De esta forma tal induccin
vena a ser una forma de silogismo, en la relacin de conceptos entre s. As, en la
medida en que guilas, cigeas, gorriones, etc., vuelan, y todas y cada una de las
clases de tales animales son aves, se puede concluir que la conexin entre aves y
volar es esencial: todas las aves vuelan.
Argumentos as provocaron incidentes tan inslitos en la historia de la ciencia como
la aparicin del ornitorrinco.11
Por otro lado, el conocimiento de la experiencia siempre singular, cada caso nico e
irrepetible, hace problemtica la posibilidad de llegar al conocimiento de conceptos
universales, esenciales y plantea el problema del estatus epistemolgico de
la ciencia como conocimiento de conceptos y leyes universales.
Al ponerse en cuestin el mundo de las formas esenciales y la propia entidad
conceptual entendida como clase lgica, y la posibilidad de la no existencia
de individuos dentro de una clase bien definida, la inferencia inductiva sobre un
universo no conocido en todas sus ocurrencias produce el llamado problema de la
induccin que, por su carcter, excede del caso de este artculo referido a la
inferencia (vase inductivismo).

EQUIVALENCIAS NOTABLES