Inferencia

Una inferencia es una evaluación que realiza la mente entre conceptos que, al interactuar, muestran sus propiedades de forma discreta, necesitando utilizar la abstracción para lograr entender las unidades que componen el problema, creando un punto axiomático o circunstancial, que nos permitirá trazar una línea lógica de causa-efecto, entre los diferentes puntos inferidos en la resolución del problema. Una vez resuelto el problema, nace lo que conocemos como postulado, o una transformada de la original, que al estar enmarcado en un contexto referencial distinto, se obtiene un significado equivalente.​​​ Utilizada a menudo en los motores de inferencia de los Sistemas Expertos.

Inferencias inmediatas

Las inferencias inmediatas son aquellas que tienen dos juicios, una premisa e inmediatamente de esa premisa se saca la conclusión.

Hay 3 tipos de inferencia inmediata:

• Oposición: Por oposición se pasa de la veracidad a la falsedad y de la falsedad a la veracidad.
• Subalteración: Por subalteración se pasa de lo universal a lo particular «Lo que vale para el todo vale para cada una de sus partes».
• Conversión: Por conversión se cambia el sujeto de la premisa por el predicado de la conclusión y el predicado de la premisa por el sujeto de la conclusión (P: Los feos son marcianos, C:los marcianos son feos)

Inferencia lógica

En la lógica tradicional

Se llamaba inferencia a la figura lógica que permite obtener una conclusión directamente, a partir de una única premisa.

Teniendo en cuenta que el esquema fundamental de esa lógica era el silogismo, la inferencia aparecía como un caso especial. Así del conocimiento de que «Está lloviendo», se infiere «el suelo está mojado».

Además podemos decir que, inferir es interpretar el contenido de un texto con solo leer el título o palabra clave de este.

En la lógica actual

Se llama inferencia lógica a la aplicación de una regla de transformación que permite transformar una fórmula o expresión bien formada (EBF) de un sistema formal en otra EBF como teorema del mismo sistema. Ambas expresiones se relacionan mediante una relación 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.

$(p\land q)\rightarrow (r\land s)\lor (t\lor v)$ podría ser transformada en:

$A\rightarrow B\lor C$

donde $A=(p\land q)$; $B=(r\land s)$ y $C=(t\lor v)$.

Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la función del coimplicador el resultado ha de resultar una tautología.

Esquema de inferencia

Se refiere a la estructura lógico-formal que permite obtener una expresión bien formada (EBF) desligada, libre, como teorema de un sistema formal previamente definido por la regla de separación estrictas de formación y transformación de fórmulas.

Dicha estructura es el fundamento de un argumento lógico-formal mediante la aplicación de la regla de Sustitución de fórmulas.

$(A\land B\land C...\land N)\rightarrow D$   donde $(A\land B\land C...\land 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 N como expresión libre y conclusión del argumento.

Clasificación por evidencias

• 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: Cuando se enumeran los casos es completa la afirmación se convierte en una verdad demostrada, como “inducción completa”. Tal es el caso de que tras contar a todos y cada uno “los alumnos de esta clase son 22”.

Aristóteles y con él la escolástica tradicional admitía una inducción perfecta, siempre y cuando la relación entre los individuos y la clase, como concepto, sea aprehendida como conexión esencial necesaria de un proceso de abstracción; o bien entre clases como conceptos incluidas en otra clase, como concepto. De esta forma tal inducción venía a ser una forma de silogismo, en la relación de conceptos entre sí. Así, en la medida en que, águilas, cigüeñas, gorriones, .... etc. vuelan, y todas y cada una de las clases de tales animales son aves, se puede concluir que la conexión aves y volar es esencial, "Todas las aves vuelan".

Argumentos así provocaron incidentes tan insólitos en la historia de la ciencia como la aparición del ornitorrinco.​

Por otro lado el conocimiento de la experiencia siempre singular, cada caso único e irrepetible, hace problemática la posibilidad de llegar al conocimiento de conceptos universales, esenciales; y plantea el problema del status epistemológico de la ciencia como conocimiento de conceptos y leyes universales.

Al ponerse en cuestión el mundo de las formas esenciales, y la propia entidad conceptual entendida como clase lógica, 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 inducción, que por su carácter excede del caso de este artículo referido a la inferencia.(Véase inductivismo).

Clasificación por tipos de lógicas

• Inferir por lógica clásica: Una Inferencia de este estilo sólo admite dos valores: verdadero o falso. Por ejemplo: Si llueve el suelo está mojado, si no llueve el suelo está seco. Como se hace evidente en este tipo de inferencias, el margen de error es muy grande, pues puede que no llueva y el suelo esté húmedo (un géiser ha hecho acto de aparición, las capas freáticas estén a rebosar, etc.)

[Nota: En este caso el margen de error no es grande, es uno de los pocos casos que es 100% seguro, lo que pasa es que está mal utilizado, si vemos la tabla de la condicional, $\to$ , que está más abajo, veremos que si no llueve la "A" es falsa, por lo que la "B" puede ser verdadera o falsa; por lo que debido a la lógica no podemos saber si el piso está mojado o no. Sin embargo si llueve o sea si "A" es verdadera si estamos seguros que el piso está mojado o si el piso no está mojado estamos seguros que no llueve. Estos dos casos se llaman Modus Ponendo Ponens y Modus Tollendo Tollens, tienen más de 2000 años y son 100% seguros, también se usan en programación lógica y una versión modificada (extensión del Silogismo Disyuntivo) llamada [+Resolución+] es la base del lenguaje Prolog.]

• 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.

Inferencia (Estadística, administración y gestión)

Cuando la descripción se aplica a condiciones de certeza, como en las tablas del mercado de valores en que se muestra un censo de los valores negociados, se convierte en una entidad metodológica. Sin embargo, en la mayoría de los problemas estadísticos actuales se emplea más una muestra que un censo, y la descripción se ha convertido simplemente en una preparación de la siguiente rama de la estadística: inferencia.

Cuando hacemos uso de la inferencia, llegamos a una conclusión o formulamos una afirmación bajo ciertas condiciones de incertidumbre. La incertidumbre puede ser el resultado de las condiciones aleatorias, implícitas en el trabajo con muestras, o del desconocimiento de las leyes aleatorias precisas que son aplicables a una situación específica. No obstante en la teoría de la conclusión, la incertidumbre sobre la exactitud de la afirmación que se ha hecho o de la conclusión que se ha sacado se expone simplemente en términos de probabilidad de que ocurra.

La inferencia trata de dos tipos principales de problemas:la estimación y la contrastación de hipótesis

Inferencia aplicada al conocimiento del comportamiento humano

Se puede inferir todo lo que sea inteligible. Dentro del campo de la inteligencia humana, encontramos campos muy interesantes, tal como la inteligencia emocional. Dado que el cerebro humano está sujeto a leyes físicas, existe la posibilidad de que el comportamiento humano sea potencialmente previsible, con un grado de incertidumbre, al mismo grado que el resto de ciencias lo pudiera ser, pues todas se basan en la inteligencia del hombre. La capacidad de inferir el sentimiento humano se llama empatía; cada sentimiento motiva a actuar de cierta manera. La capacidad de predecir como va a actuar cierta persona roza lo esotérico, pero nada más lejos de la realidad, se pueden generar modelos de comportamientos humanos y el grado de exactitud de la predicción dependerá de lo empático que sea la persona (Dado que la única máquina capaz de reproducir una mente, hasta la fecha, es un cerebro humano).

Véase también

• Deducción
• Cálculo
• Validez lógica
• Motor de inferencia

Referencias

• STEBBING, L.S. (1930). A Modern Introduction to logic. LONDRES. 

• HARMAN, G. (1965). The Inference to the Best Explanation. Philosophical Rewiew. 

• ECO.U. (1999). Kant y el ornitorrinco. Barcelona. Editorial Lumen. 84-264-1265-3. 

• Carl Heyel, ed. (1984). Gestión y Administración de Empresas. Barcelona.