Definición de Inferencia

En términos generales se dirá que la inferencia es la deducción de una cosa a partir de otra.
La inferencia es pura y exclusivamente un producto de nuestra mente, porque es una evaluación que realiza esta entre aquellas expresiones de un lenguaje determinado, las cuales una vez interrelacionadas de modo intelectual permitirán llegar a una idea lógica. De esta manera partiendo de la verdad o falsedad que proponen algunas expresiones podremos deducir la verdad o falsedad de algunas otras.
En tanto, del mencionado procedimiento surgirá un postulado.

En la lógica tradicional, conocida popularmente como aristotélica, porque fue formulada por primera vez por el conocido filósofo griego Aristóteles, la forma de inferencia que se sigue es la del silogismo. Este es un tipo de razonamiento deductivo que consiste en dos proposiciones como premisas y otra como conclusión, procediendo esta última como inferencia ya, de las otras dos.

Nos podremos encontrar con tres tipos de inferencia; la deducción, el argumento deductivo es un tipo que prescribe la coexistencia de las premisas y de la conclusión asegurando que esta última estará representada en las premisas, por ejemplo: todos los globos de esta bolsa son rojos, estos globos pertenecen a esta bolsa, por lo tanto estos globos son rojos; la inducción, el argumento inductivo admite la coexistencia probable de las premisas y de la conclusión, garantizando que esta ultima este probablemente reflejada en las premisas, ejemplo: los globos son de esta bolsa, los globos son rojos, entonces todos los globos de esta bolsa son rojos; y la abducción, el argumento de tipo abductivo propone la coexistencia posible entre las premisas y la conclusión, asegurando que la última este de manera potencial representada en las mencionadas premisas, ejemplo: todos los globos de esta bolsa son rojos, estos globos son rojos, entonces estos globos corresponden a esta bolsa.