Raciocínio

Dedução, indução, abdução — os três modos de inferência e seus limites.

A lógica clássica cobre um dos três modos de inferência: a dedução. Ela preserva verdade impecavelmente, mas tem um limite estrutural — não introduz conhecimento novo. As ciências empíricas e o raciocínio cotidiano não vivem só de dedução; precisam de indução (generalizar a partir de instâncias) e abdução (saltar da observação para uma hipótese que a explique). Os três modos não são intercambiáveis: cada um carrega tipos diferentes de risco e produz tipos diferentes de conclusão.

Dedução

O modo de inferência da matemática e da lógica formal.

$$P \rightarrow Q, \quad P \quad \therefore \quad Q$$

A partir de $P \rightarrow Q$ e $P$, conclui-se necessariamente $Q$. É modus ponens — a regra mais básica da lógica clássica. Se as premissas são verdadeiras, a conclusão é necessariamente verdadeira. Não há margem.

Pró: preserva verdade com garantia total. Se o argumento é sólido (válido + premissas verdadeiras), a conclusão é verdade.

Contra: não gera conhecimento novo. A conclusão já estava implícita nas premissas. Modus ponens torna explícito o que estava embutido; não descobre nada.

Todo homem é mortal. Sócrates é um homem. Logo, Sócrates é mortal.

O exemplo clássico — popularizado por John Stuart Mill em 1843 e não originalmente aristotélico (ver história da lógica) — funciona porque a conclusão Sócrates é mortal já estava contida em todo homem é mortal. O silogismo só aplica a regra geral ao caso particular. Nada de novo entra no sistema.

Indução

O modo de inferência das ciências empíricas.

$$P(a_1), P(a_2), \ldots, P(a_n) \quad \therefore \quad \forall x\, P(x)$$

A partir de observações de instâncias particulares, generaliza-se para uma regra universal. Todos os pães que comi nutriram-me; logo, este pão também nutrirá. O sol nasceu todos os dias até hoje; logo, nascerá amanhã.

Pró: produz conhecimento novo. A regra geral diz mais do que as instâncias observadas. É como ciência empírica funciona.

Contra: não tem fundamentação dedutiva. David Hume (1711–1776) mostrou em An Enquiry Concerning Human Understanding (1748, seções IV–V) que nada garante que o próximo pão nutrirá ou o próximo amanhecer ocorrerá. A indução pressupõe que o futuro se parecerá com o passado, e essa pressuposição não pode ser justificada sem indução — circularidade. Só o hábito, não a razão, nos leva a esperá-lo. Um único contraexemplo destrói a regra: o cisne negro — ilustração popularizada por Popper e Taleb sobre o problema humeano — capturou a ideia em imagem. Antes de 1697, europeus só conheciam cisnes brancos; quando o explorador holandês Willem de Vlamingh registrou o Cygnus atratus na Austrália, séculos de generalização indutiva ruíram. A própria expressão latina cisne negro, do Sátiras VI de Juvenal — rara avis in terris nigroque simillima cygno — significava, antes da descoberta, algo praticamente inexistente.

A indução vive do risco. É como ciência funciona, mas sempre provisoriamente — toda regra induzida é vulnerável a um contraexemplo futuro.

Abdução

O modo de inferência da descoberta científica e do raciocínio cotidiano.

$$P \rightarrow Q, \quad Q \quad \therefore \quad P$$

A partir de uma observação $Q$, infere-se a melhor explicação possível $P$. Vendo febre, tosse e fadiga, inferimos gripe como causa provável. Vendo a rua molhada, inferimos que choveu.

Charles Sanders Peirce (1839–1914) nomeou e estudou esse terceiro modo. A estrutura é, em termos dedutivos, inválida — afirmar o consequente é uma falácia clássica. Mas Peirce a reabilita: a abdução não funciona como a dedução. É outro tipo de inferência, com seus próprios riscos e critérios. O exemplo canônico que ele próprio usava era a inferência de Kepler sobre a órbita de Marte: a partir das observações de Tycho Brahe, Kepler propôs por abdução a hipótese da órbita elíptica.

Pró: é o único modo que introduz ideias novas. Peirce o formulou diretamente:

A abdução é o processo de formar uma hipótese explicativa. É a única operação lógica que introduz qualquer ideia nova.

(Collected Papers 5.171–172, Conferências de Harvard sobre Pragmatismo, 1903.) Hipóteses não aparecem por dedução nem por indução; aparecem por abdução. Toda descoberta científica começa com um salto abdutivo.

Contra: múltiplas explicações podem se ajustar à mesma observação. A rua pode estar molhada por chuva, por um caminhão-pipa, por alguém lavando o quintal. A abdução precisa de critérios externos para escolher entre hipóteses concorrentes — simplicidade, poder explicativo, encaixe com teoria estabelecida.

Os três como motor de inquirição

Os três modos não competem; cooperam.

1. Abdução propõe uma hipótese para explicar uma observação.
2. Dedução deriva consequências testáveis a partir da hipótese.
3. Indução testa as consequências contra novas observações.

Ciência funciona assim: abdução propõe → dedução deriva → indução testa. Se as consequências derivadas se confirmam empiricamente, a hipótese ganha apoio (provisório). Se uma consequência falha, a hipótese é refutada ou revisada. Nenhum dos três, isolado, é suficiente.

A lógica clássica concentra-se apenas no passo 2. É indispensável, mas é uma parte de um sistema maior.

Limites estruturais

Mesmo combinando os três modos, o sistema inteiro tem limites que não podem ser superados de dentro.

O trilema de Münchhausen. Toda demonstração precisa de premissas. As premissas precisam ser demonstradas. Mas então precisamos de premissas dessas premissas — três opções emergem, todas insatisfatórias:

• Regressão infinita — cada premissa exige uma anterior, sem fim
• Circularidade — alguma premissa volta a depender da conclusão
• Axiomas arbitrários — escolhe-se um ponto de parada sem justificação

A lógica não consegue fundamentar a si mesma. Toda certeza fica suspensa num desses três modos. O nome vem do Barão de Münchhausen — o personagem que afirmava ter se salvado de um pântano puxando a si mesmo pelos próprios cabelos.

O limite formal. O trilema de Münchhausen opera no nível epistemológico — toda justificação precisa de uma anterior. Gödel (1931) demonstrou que o problema tem uma versão interna à própria matemática: qualquer sistema axiomático suficientemente expressivo contém verdades que ele mesmo não consegue provar. O programa de Hilbert de fundamentar a matemática por dentro ficou seriamente comprometido. O capítulo completo está em uma breve história da lógica.

Onde a lógica clássica se posiciona

A lógica clássica que tratamos em história da lógica, lógica proposicional e lógica de predicados cobre rigorosamente a dedução. Os outros dois modos — indução e abdução — ficam fora do escopo da matemática formal, mas pavimentam o terreno em que toda inferência matemática opera.

Quando demonstramos um teorema, fazemos dedução. Quando escolhemos qual teorema demonstrar, ou suspeitamos que algo seja verdade antes de provar, fazemos abdução. Quando confiamos que o caso geral se comporta como os casos particulares examinados, fazemos indução. A matemática usa os três; só formaliza um.