Como os cientistas provam uma teoria? Geralmente, eles usam a “indução”, observando o mundo e coletando dados. Por exemplo, se você quisesse provar a hipótese “todos os corvos são negros”, você observaria corvos em todo o mundo e confirmaria, um por um, que eles são negros.
No entanto, na década de 1940, o lógico Carl Hempel apontou uma estranha lacuna lógica oculta nesse método científico natural. Esse é o paradoxo dos Corvos de Hempel (Hempel’s Ravens), que afirma que “apenas ver uma maçã azul ou um sapato vermelho serve como evidência de que ‘corvos são negros’”.
Troca Lógica: A Magia da Contrapositiva
Para entender o argumento de Hempel, precisamos relembrar o conceito de “contrapositiva” ensinado na matemática do ensino médio.
Na lógica, se uma proposição “Se A, então B” for verdadeira, sua contrapositiva “Se não B, então não A” também deve ser verdadeira (isso é chamado de equivalência lógica).
Hipótese $H_1$: “Todos os corvos são negros (Se é um corvo, então é negro)”
Vamos pegar a contrapositiva desta hipótese $H_1$. Torna-se “Se não é negro, então não é um corvo”.
Hipótese $H_2$: “Tudo que não é negro não é um corvo”
De acordo com as regras da lógica, $H_1$ e $H_2$ têm exatamente o mesmo significado (são equivalentes). Se um for provado, o outro também será automaticamente provado.
Provando Corvos sem Ver Corvos
Bem, para confirmar a hipótese $H_1$ (corvos são negros), a cada corvo negro que encontramos, a probabilidade (evidência) da hipótese se fortalece um pouco. Isso é algo com que todos concordam.
No entanto, como $H_1$ e $H_2$ têm o mesmo significado, encontrar evidências para a hipótese $H_2$ (o que não é negro não é um corvo) deve servir diretamente como evidência para a hipótese $H_1$.
Então, o que seria uma evidência para $H_2$? Basta encontrar algo que “não é negro e não é um corvo”.
- Suponha que haja uma “maçã azul” na mesa. Ela não é negra e não é um corvo. Portanto, é uma evidência que apoia $H_2$.
- Havia um “sapato vermelho” no armário. Ele também não é negro e não é um corvo. É uma evidência para $H_2$.
- Há uma “nuvem branca” flutuando no céu. Esta também é uma evidência para $H_2$.
Como a evidência para $H_2$ tem o mesmo valor que a evidência para $H_1$, a seguinte conclusão bizarra é logicamente derivada:
“Quanto mais você observa maçãs azuis ou sapatos vermelhos em uma sala, mais provada é a hipótese de que ’todos os corvos são negros’.”
Por que isso vai contra a intuição?
Nenhum ornitólogo do mundo aumenta sua convicção de que “corvos são negros” ao ver uma maçã azul. Se é logicamente perfeito, por que nosso senso comum o rejeita?
No mundo da filosofia e estatística, várias abordagens foram propostas para esse paradoxo.
1. Solução Bayesiana (Diferença na Quantidade de Informação)
O contra-argumento mais forte do ponto de vista da estatística moderna (probabilidade bayesiana) foca na diferença de “força da evidência (quantidade de informação)”.
No mundo, há esmagadoramente mais “coisas que não são negras” do que “coisas negras”, e há astronomicamente mais “coisas que não são corvos” do que “corvos”.
Quando você vê uma maçã azul, certamente é evidência de que “todos os corvos são negros”, mas seu valor como evidência (o aumento na probabilidade) é próximo de zero. Confirmar uma das incontáveis “coisas que não são negras” no vasto universo aumenta a probabilidade de que “corvos são negros” quase tanto quanto remover um único grão de areia de um deserto afeta o deserto. Por outro lado, encontrar diretamente um único corvo negro tem um valor de evidência esmagadoramente maior.
Em outras palavras, a solução bayesiana é que logicamente “uma maçã azul é uma evidência”, mas na prática “ela pode ser ignorada porque seu valor como evidência é igual a zero”.
2. Os Limites da “Ornitologia de Interiores”
Este paradoxo destaca como o fundamento da ciência, “indução (derivar leis gerais da observação)”, repousa sobre uma premissa muito frágil. Se dependêssemos apenas da equivalência lógica, a “ornitologia de interiores” se tornaria possível: poderíamos testar todas as leis do universo (“todos os cisnes são brancos”, “nenhum alienígena é verde”, etc.) simplesmente observando as tralhas do nosso quarto sem nunca sair.
Os Corvos de Hempel são um paradoxo fascinante que mostra que as palavras “evidência” e “prova”, que usamos inconscientemente, não podem ser totalmente capturadas pelas regras puras da lógica simbólica.