La Inferencia.
Una inferencia es una evaluación que realiza la mente entre proposiciones. En lógica formal, son expresiones bien formadas de un lenguaje formal (EBF) que, al ser relacionadas, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, parte de lo verdadero a lo falso: posible (como hipótesis) 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 postulado o transformada de una expresión original conforme a reglas previamente establecidas, que puede enmarcarse en uno o varios contextos referenciales diversos, obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.
Por lo generar, solemos guiarnos o inferir de forma inconsciente a través de evidencias o hechos que se llegan a repetir varia veces a esto lo llamamos Inferencias por Evidencias. Estas suelen dividirse en dos:
- Evidencia inductiva: Surge de la constatación 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 generalización.
- Evidencia enumerativa o inducción completa: Cuando se enumeran todos los casos la inferencia se convierte en una verdad demostrada, como inducción completa. Tal es el caso de que tras contar a todos y cada uno se pueda inferir: “los alumnos de esta clase son 22”
Clases de inferencia.
- Inferir por lógica clásica: Inferencia que sólo admite dos valores: verdadero o falso.
- Inferencia trivaluada: Una inferencia de este estilo da como posibles resultados tres valores.
- Inferencia multivaluada: Una inferencia de este estilo da como posibles resultados múltiples valores.
- Inferencia difusa: Una inferencia de este estilo describe todos los casos multivaluados con exactitud y precisión.
- Inferencia probabilística en el sentido de una inducción que permite establecer una verdad con mayor índice de probabilidad que las demás.
Si bien, cuando el universo posible es de infinitas ocurrencias la probabilidad siempre será 0. Por lo que algunos establecen para el estatuto de la ciencia el falsacionismo, como método científico y contrastación de teorías y las lógicas humanas.
