O Problema da Indução

Inferimos constantemente de casos observados para casos não observados — o sol sempre nasceu, então nascerá amanhã — contudo, Hume argumentou que nenhum raciocínio pode justificar este salto sem já assumir que a natureza é uniforme, a própria questão em causa.

Definition

O problema da indução é a questão, levantada por Hume, de como, se é que de alguma forma, as inferências de instâncias observadas para instâncias não observadas ou futuras podem ser racionalmente justificadas, dado que tais inferências parecem pressupor, sem argumento, que o futuro se assemelhará ao passado.

Scope

Este tópico abrange o problema clássico da indução de Hume e os seus descendentes modernos: o novo enigma de Goodman, que mostra que a própria noção de evidência confirmatória pressupõe uma escolha de predicados projetáveis; a tentativa falsificacionista de Popper de dispensar a indução; e as respostas probabilísticas e pragmáticas. Conecta-se à teoria da confirmação e ao Bayesianismo, tratados em tópicos complementares, enquanto se foca na justificação da própria inferência indutiva.

Core questions

• A inferência indutiva pode ser justificada sem circularidade?
• O raciocínio indutivo pressupõe um princípio indemonstrável da uniformidade da natureza?
• Quais predicados são legitimamente projetáveis e porquê?
• A ciência pode progredir por falsificação em vez de confirmação?

Key theories

O argumento cético de Hume

Hume argumenta que as inferências indutivas não podem ser justificadas dedutivamente, uma vez que as suas conclusões podem ser falsas enquanto as premissas são verdadeiras, nem indutivamente sem circularidade, pois isso assumiria a fiabilidade da indução; projetamos o passado no futuro por hábito, não por razão.

O novo enigma de Goodman

Goodman mostra com o predicado 'grue' que a mesma evidência confirma igualmente generalizações incompatíveis, a menos que restrinjamos a confirmação a predicados projetáveis, deslocando o problema da justificação da indução para a explicação de quais predicados são projetáveis.

Falsificacionismo

Popper nega que a ciência dependa da indução, sustentando que as teorias nunca são confirmadas, mas apenas testadas por tentativas de refutação, de modo que o crescimento do conhecimento procede através de conjecturas ousadas e da sua falsificação.

History

Hume colocou o problema no século XVIII, argumentando que o fundamento de todo o raciocínio sobre questões de facto é o costume e não a razão. Em 1955, Goodman reformulou-o como o novo enigma da indução com o seu exemplo 'grue', redirecionando a atenção para a projetabilidade, e o falsificacionismo de Popper ofereceu uma forma influente, embora contestada, de negar que a ciência necessite de indução.

Debates

Se a indução pode ser justificada ou deve ser dissolvida

Alguns procuram uma justificação da indução através da vindicação pragmática, do fiabilismo ou de estruturas probabilísticas, enquanto outros, seguindo Popper, negam que a indução genuína ocorra, e ainda outros tratam a exigência de justificação como confusa; o enigma de Goodman mostra que qualquer resposta deve também explicar a projetabilidade.

Key figures

• David Hume
• Nelson Goodman
• Karl Popper

Seminal works

• hume-enquiry
• goodman1955

Frequently asked questions

O que é exatamente o problema da indução de Hume?

É o desafio de justificar inferências de casos observados para casos não observados. Hume argumentou que tais inferências não são dedutivamente válidas e que tentar justificá-las pelo seu sucesso passado é circular, uma vez que esse próprio movimento é indutivo, então a indução baseia-se no hábito e não na razão.

O que é o paradoxo 'grue'?

Goodman define 'grue' para se aplicar a coisas examinadas antes de um certo tempo futuro e encontradas verdes, ou então não examinadas e azuis. Todas as esmeraldas observadas até agora são verdes e 'grue', então a mesma evidência confirma tanto 'todas as esmeraldas são verdes' quanto 'todas as esmeraldas são 'grue'', que fazem previsões opostas. Isso mostra que a confirmação depende de quais predicados são projetáveis.