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.
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)
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
Artículo principal: Cálculo lógico
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.
podría ser transformada en:

donde ; y .
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
Artículo principal: Cálculo lógico
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.
donde 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 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).
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