Las inferencias son pasos en el razonamiento , pasando de premisas a consecuencias lógicas ; Etimológicamente, la palabra inferir significa "llevar adelante". La inferencia se divide teóricamente tradicionalmente en deducción e inducción , una distinción que en Europa se remonta al menos a Aristóteles (300 a. C.). La deducción es una inferencia que deriva conclusiones lógicas de premisas conocidas o asumidas como verdaderas , y las leyes de la inferencia válida se estudian en lógica . La inducción es la inferencia de premisas particulares a unconclusión universal . A veces se distingue un tercer tipo de inferencia, en particular la de Charles Sanders Peirce , que contrasta la abducción de la inducción.
Varios campos estudian cómo se realiza la inferencia en la práctica. La inferencia humana (es decir, cómo los humanos extraen conclusiones) se estudia tradicionalmente dentro de los campos de la lógica, los estudios de la argumentación y la psicología cognitiva ; Los investigadores de inteligencia artificial desarrollan sistemas de inferencia automatizados para emular la inferencia humana. La inferencia estadística utiliza las matemáticas para sacar conclusiones en presencia de incertidumbre. Esto generaliza el razonamiento determinista, con la ausencia de incertidumbre como caso especial. La inferencia estadística utiliza datos cuantitativos o cualitativos (categóricos) que pueden estar sujetos a variaciones aleatorias.
El proceso por el cual se infiere una conclusión a partir de múltiples observaciones se denomina razonamiento inductivo . La conclusión puede ser correcta o incorrecta, o correcta con un cierto grado de precisión, o correcta en determinadas situaciones. Las conclusiones inferidas a partir de múltiples observaciones pueden probarse mediante observaciones adicionales.
Esta definición es discutible (debido a su falta de claridad. Ref: Diccionario de inglés de Oxford: "inducción ... 3. Lógica la inferencia de una ley general a partir de instancias particulares." [ Aclaración necesaria ] ) La definición dada por lo tanto se aplica sólo cuando el "conclusión" es general.
Los filósofos griegos antiguos definieron una serie de silogismos , inferencias correctas en tres partes, que pueden usarse como bloques de construcción para un razonamiento más complejo. Comenzamos con un ejemplo famoso:
El lector puede comprobar que las premisas y la conclusión son verdaderas, pero la lógica se ocupa de la inferencia: ¿se sigue la verdad de la conclusión de la de las premisas?