Diferencia entre revisiones de «Inferencia»
Contenido eliminado Contenido añadido
→Inferencia lógica: ; traducción de https://en.wikipedia.org/wiki/Inference |
m Revertida una edición de 190.43.78.71 (disc.) a la última edición de Seawolf35 Etiqueta: Reversión |
||
| (No se muestran 6 ediciones intermedias de 5 usuarios) | |||
Línea 15:
# Una conclusión a la que se llega sobre la base de pruebas y razonamientos.
# El proceso de llegar a tal conclusión.
==Ejemplos==
===Ejemplo para la definición #1===
[[Filosofía griega|Los filósofos griegos antiguos]] definieron una serie de [[silogismo]]s, inferencias correctas en tres partes, que pueden usarse como bloques de construcción para razonamientos más complejos. Comenzamos con un ejemplo famoso:
# Todos los humanos son mortales.
# Todos los griegos son humanos.
# Todos los griegos son mortales.
El lector puede comprobar que las premisas y la conclusión son verdaderas, pero la lógica se ocupa de la inferencia: ¿se deduce la verdad de la conclusión de la de las premisas?
La validez de una inferencia depende de la forma de la inferencia. Es decir, la palabra "válida" no se refiere a la verdad de las premisas o la conclusión, sino a la forma de la inferencia. Una inferencia puede ser válida aunque sus partes sean falsas, y puede ser inválida aunque algunas partes sean verdaderas. Pero una forma válida con premisas verdaderas siempre tendrá una conclusión verdadera.
Por ejemplo, considere la forma de la siguiente pista [[Simbología|simbológica]]:
#Toda la carne procede de animales.
#Toda la carne es carne.
#Por tanto, toda la carne de vacuno procede de animales.
Si las premisas son verdaderas, entonces la conclusión es necesariamente verdadera también.
Ahora pasamos a una forma inválida.
#Todo A es B.
#Todas las C son B.
#Por tanto, todas las C son A.
Para mostrar que esta forma no es válida, demostramos cómo puede llevar de premisas verdaderas a una conclusión falsa.
#Todas las manzanas son fruta. (Verdadero)
#Todos los plátanos son fruta. (Verdadero)
#Por lo tanto, todos los plátanos son manzanas. (Falso)
Un argumento válido con una premisa falsa puede llevar a una conclusión falsa, (éste y los siguientes ejemplos no siguen el silogismo griego):
#Todos los altos son franceses. (Falso)
#John Lennon era alto. (Verdadero)
#Por lo tanto, John Lennon era francés. (Falso)
Cuando se utiliza un argumento válido para derivar una conclusión falsa a partir de una premisa falsa, la inferencia es válida porque sigue la forma de una inferencia correcta.
También se puede utilizar un argumento válido para deducir una conclusión verdadera a partir de una premisa falsa:
#Todas las personas altas son músicos. (Válido, Falso)
#John Lennon era alto. (Válido, Verdadero)
#Por lo tanto, John Lennon era músico. (Válido, Verdadero)
En este caso tenemos una premisa falsa y una premisa verdadera de las que se ha inferido una conclusión verdadera.
===Ejemplo para la definición #2===
Evidencia: Estamos a principios de los años 50 y eres un americano destinado en la [[Unión Soviética]]. Lees en el periódico [[Moscú]] que un equipo de [[fútbol]] de una pequeña ciudad de [[Siberia]] empieza a ganar partido tras partido. El equipo incluso derrota al equipo de Moscú. Inferencia: La pequeña ciudad en Siberia ya no es una pequeña ciudad. Los soviéticos están trabajando en su propio programa nuclear o de armas secretas de alto valor.
Conocimientos: La Unión Soviética es una [[economía dirigida]]: a la gente y al material se les dice dónde ir y qué hacer. 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.
Explicación: En una [[economía dirigida]], la gente y el material se mueven allí donde se necesitan. 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. Además, se coloca a los mejores y más brillantes en los lugares donde pueden hacer más bien, como en los programas de armamento de alto valor. Es una anomalía que una ciudad pequeña cuente con un equipo tan bueno. La anomalía describía indirectamente una condición por la que el observador infería un nuevo patrón significativo: que la ciudad pequeña ya no era pequeña. ¿Por qué colocar a los mejores y más brillantes de una gran ciudad en medio de la nada? Para esconderlos, claro.
== Inferencia lógica ==
=== Lógica aristotélica ===
| |||