Problema de la inducción
De Wikipedia, la enciclopedia libre
El problema de la inducción es el problema filosófico de si los razonamientos inductivos están justificados, y en qué medida.
En la lógica de primer orden, un razonamiento inductivo típico tiene la siguiente forma inválida:
Donde Cx es "x es un cuervo", Nx es "x es negro", y a1,a2,a3,...,an son nombres de entidades.
[editar] La paradoja de Goodman
En 1955, Nelson Goodman publicó un nuevo problema relacionado con la inducción. Recordemos que un caso clásico de razonamiento inductivo sería aquel que concluye que todas las esmeraldas son verdes, a partir de que todas las esmeraldas que se han observado hasta el presente han sido verdes. Goodman define entonces el predicado "verdul" (en inglés grue) de la siguiente manera: un objeto (en particular, una esmeralda) es verdul si y sólo si es verde hasta el tiempo t, y azul a partir del tiempo t, donde t podría ser, por ejemplo, el año 2045. Una vez definido este predicado, Goodman hace notar que todas las observaciones de esmeraldas verdes hechas hasta el presente, sirven tanto para apoyar la conclusión de que todas las esmeraldas son verdes, como que todas las esmeraldas son verdules. El problema consiste en explicar por qué la evidencia que tenemos hasta el presente debería apoyar la conclusión de que todas las esmeraldas son verdes, y no de que todas las esmeraldas son verdules.
