La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no.
[2] Tradicionalmente, se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.
Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea.
[cita requerida] El proceso por el que se infiere una conclusión a partir de múltiples observaciones se denomina razonamiento inductivo.
Esta definición es discutible (debido a su falta de claridad.
[aclaración requerida]) Así pues, la definición dada sólo se aplica cuando la "conclusión" es general.
Para mostrar que esta forma no es válida, demostramos cómo puede llevar de premisas verdaderas a una conclusión falsa.
Evidencia: Estamos a principios de los años 50 y eres un americano destinado en la Unión Soviética.
La pequeña ciudad era remota e históricamente nunca se había distinguido; su temporada de fútbol era típicamente corta debido al clima.
Las grandes ciudades pueden tener buenos equipos debido a la mayor disponibilidad de jugadores de alta calidad; y los equipos que pueden entrenar más tiempo (posiblemente debido a un clima más soleado y mejores instalaciones) se puede esperar razonablemente que sean mejores.
Es una anomalía que una ciudad pequeña cuente con un equipo tan bueno.
No obstante, se reconocían algunas inferencias directas o inmediatas.
[cita requerida] La lógica aristotélica consideraba la posibilidad de inferencias inmediatas: aquellas que se pueden obtener directamente a partir de la relación que establece un juicio respecto a los términos, sujeto y predicado, que le constituyen, en función de la cualidad (afirmativo-negativo) y la cantidad (universal-particular) del mismo.
[4] Aristóteles estudió con detalle ciertas operaciones que permitían tales inferencias inmediatas o directas.
Para ello, elaboró el llamado cuadro de oposición de los juicios, en el que dadas las relaciones que cada juicio aristotélico, A,E,I,O, lleva implícitas se pueden establecer ciertas inferencias directas.
[cita requerida] 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.
Así, en la medida en que águilas, cigüeñas, gorriones, etcétera, vuelan, y todas y cada una de las clases de tales animales son aves, se puede concluir que la conexión entre «aves» y «volar» es esencial: «Todas las aves vuelan.».
[cita requerida] Argumentos así provocaron incidentes tan insólitos en la historia de la ciencia como la aparición del ornitorrinco.
[cita requerida] 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 contraste de teorías y las lógicas humanas.
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.
[cita requerida] Se puede inferir todo lo que sea inteligible.
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 pudieran ser, pues todas se basan en la inteligencia del hombre.