Uma contradição pode provar qualquer coisa? O brasileiro que desafiou uma regra da lógica

Na lógica clássica, aceitar uma contradição permite demonstrar qualquer afirmação, até as mais absurdas. Um matemático nascido em Curitiba mostrou que era possível construir sistemas nos quais as contradições não destruíssem todo o raciocínio.

Imagine que eu anuncie uma descoberta matemática extraordinária:

Consegui demonstrar que a Lua é feita de queijo.

Você provavelmente pediria a demonstração.

Eu começaria apresentando duas afirmações: o número 2 é par e o número 2 não é par.

Você imediatamente perceberia o problema. As duas afirmações não podem ser verdadeiras simultaneamente na aritmética usual.

Mas suponha, por um instante, que eu insista em aceitar ambas. A partir dessa contradição, utilizando regras perfeitamente reconhecidas pela lógica clássica, posso construir uma demonstração de que a Lua é feita de queijo.

E não apenas isso. Posso demonstrar que 5 é maior que 100, que todos os gatos são azuis ou que qualquer outra proposição é verdadeira.

Parece absurdo. E é justamente esse absurdo que nos conduz a uma das ideias mais interessantes da lógica matemática.

O princípio da explosão

Na lógica clássica existe uma propriedade conhecida como princípio da explosão, tradicionalmente expressa pela expressão latina ex contradictione quodlibet.

Seu significado é surpreendente: de uma contradição, qualquer conclusão pode ser deduzida.

Aqui, P representa uma proposição qualquer, ¬P representa sua negação e Q representa outra proposição, completamente arbitrária. O símbolo ⊢ indica que a conclusão pode ser demonstrada a partir das premissas utilizando as regras do sistema lógico.

Isso não significa que todas as afirmações sobre o mundo sejam verdadeiras. Significa que um sistema dedutivo clássico que admite uma contradição entre suas premissas perde a capacidade de distinguir conclusões demonstráveis de conclusões arbitrárias.

Vamos provar que a Lua é feita de queijo

Considere as proposições:

Agora imagine que nossas premissas sejam P e ¬P. Ou seja, estamos aceitando que 2 é par e, simultaneamente, que 2 não é par.

A partir de P, podemos escrever:

Essa passagem utiliza uma regra chamada introdução da disjunção. Se é verdade que 2 é par, também é verdade que “o número 2 é par ou a Lua é feita de queijo”.

Agora utilizamos nossa segunda premissa, ¬P. Como temos P ∨ Q e estamos admitindo que P é falsa, aplicamos o silogismo disjuntivo e concluímos:

Portanto, dentro desse sistema, chegamos a: a Lua é feita de queijo.

A demonstração é formalmente válida dadas as premissas. Mas sua conclusão não descreve a realidade. O problema não está na conclusão isoladamente, mas no conjunto contraditório de premissas que aceitamos.

Por que a Matemática aceita uma demonstração dessas?

Para compreender o fenômeno, precisamos distinguir duas ideias: verdade e validade.

Uma proposição é verdadeira ou falsa conforme sua interpretação. Já um argumento é válido quando não existe uma situação admissível na qual todas as premissas sejam verdadeiras e a conclusão seja falsa.

Na lógica clássica, não existe uma atribuição de valores lógicos que torne simultaneamente verdadeiras P e ¬P. Se não existe uma situação em que todas as premissas contraditórias sejam verdadeiras, também não existe uma situação em que elas sejam verdadeiras e a conclusão seja falsa.

Essa propriedade tem uma conexão curiosa com outro assunto que já discutimos aqui: a verdade vacuamente verdadeira. Nos dois casos, a ausência de situações que contrariem determinada condição produz um resultado lógico que pode parecer estranho à nossa intuição.

Quando uma contradição destrói uma teoria

Imagine um sistema matemático construído a partir de determinados axiomas. A partir deles, demonstramos teoremas. Suponha que alguém descubra que esses axiomas permitem demonstrar simultaneamente P e ¬P.

Na lógica clássica, isso significa que o sistema é inconsistente. Pelo princípio da explosão, qualquer proposição pode ser demonstrada a partir dele. Uma teoria na qual tudo pode ser demonstrado é chamada de trivial.

E uma teoria trivial perde grande parte de sua utilidade matemática. Afinal, se consigo demonstrar tanto que determinado resultado é verdadeiro quanto que ele é falso, o que exatamente minha demonstração está me ensinando?

É por isso que a consistência ocupa um lugar tão importante nos fundamentos da Matemática. Mas um matemático brasileiro resolveu fazer uma pergunta diferente:

E se fosse possível admitir certas contradições sem permitir que elas contaminassem todo o sistema?

O matemático brasileiro que enfrentou a contradição

Newton da Costa nasceu em Curitiba, em 1929. Estudou e lecionou na Universidade Federal do Paraná e se tornou uma referência internacional nos fundamentos da Matemática. Sua trajetória e a importância de sua contribuição são documentadas pela Revista Pesquisa FAPESP e pela UFPR.

A partir do final da década de 1950, da Costa desenvolveu sistemas lógicos capazes de lidar com informações contraditórias sem permitir que qualquer conclusão fosse automaticamente demonstrada.

Seu trabalho ficou associado ao desenvolvimento da lógica paraconsistente. A contribuição não consistia em afirmar que a lógica clássica estava errada. Consistia em mostrar que ela não precisava ser o único sistema possível de raciocínio formal.

Uma lógica capaz de conviver com informações contraditórias

Imagine um banco de dados que reúne informações de diferentes fontes. Um sistema registra: “determinado equipamento está funcionando”. Outro registra: “o mesmo equipamento não está funcionando”.

As informações são contraditórias. Isso pode acontecer por erros de registro, diferenças de horário, sensores defeituosos ou interpretações distintas.

O que devemos fazer? Descartar todas as informações? Interromper qualquer análise? Ou desenvolver mecanismos capazes de identificar a contradição sem comprometer todas as outras conclusões?

A lógica paraconsistente oferece uma possibilidade teórica para esse terceiro caminho. Em determinados sistemas paraconsistentes, podemos admitir P e ¬P sem que isso autorize concluir uma proposição arbitrária Q.

Isso não significa que todas as contradições sejam consideradas verdadeiras, nem que erros devam ser ignorados. Significa que a presença de uma inconsistência não precisa tornar todas as conclusões igualmente demonstráveis. Essa é a característica central das lógicas paraconsistentes, como explica a Stanford Encyclopedia of Philosophy.

E o que isso tem a ver com inteligência artificial?

Pense em um sistema de inteligência artificial que consulta documentos, interpreta relatórios e produz respostas. Em determinado momento, ele encontra duas fontes com informações incompatíveis.

Uma afirma que um procedimento foi concluído. Outra afirma que ele permanece pendente.

Uma abordagem inadequada seria simplesmente aceitar tudo, ignorando as contradições. Outra seria rejeitar todo o conjunto de dados porque uma inconsistência foi identificada. Entre esses extremos, existem técnicas para representar incertezas, conflitos e diferentes graus de confiabilidade.

A lógica paraconsistente é uma das ferramentas teóricas estudadas nesse contexto, embora não seja a única solução e não esteja necessariamente presente nos modelos atuais de IA.

A contribuição de Newton da Costa nos ajuda a compreender que raciocinar diante de informações contraditórias exige mais do que aplicar mecanicamente regras de dedução.

Isso se conecta a outra reflexão que já desenvolvemos: uma informação surpreendente não é necessariamente verdadeira. Em ambos os casos, existe uma diferença fundamental entre processar informações e produzir conhecimento confiável.

A Matemática não é um conjunto imutável de regras

Costumamos imaginar a Matemática como um edifício pronto, construído sobre fundamentos que jamais podem ser questionados. Mas a história mostra algo diferente.

A Matemática também avança quando alguém pergunta se determinadas regras são realmente indispensáveis. A geometria não euclidiana surgiu quando matemáticos investigaram o que aconteceria ao modificar o postulado das paralelas. A lógica paraconsistente nasceu de uma investigação semelhante sobre as consequências da contradição.

Em ambos os casos, a mudança de perspectiva não eliminou as teorias anteriores. Ela ampliou o universo de estruturas que podemos estudar.

Esse movimento também aparece em nossos textos sobre números incomputáveis e sobre o problema das três portas. São exemplos diferentes de uma mesma característica da Matemática: ela frequentemente revela possibilidades que nossa intuição não antecipava.

Uma leitura para aprofundar

Para quem quer estudar lógica com mais profundidade, uma boa indicação é Introdução à lógica – 2ª edição, de Cezar A. Mortari, publicado pela Editora Unesp. O livro aborda lógica proposicional, argumentos, sistemas formais e lógicas não clássicas. Newton da Costa assina o texto de apresentação da obra.

A pergunta que permanece

Talvez a contribuição mais importante da lógica paraconsistente não esteja apenas nas suas aplicações. Ela está na pergunta que tornou possível seu desenvolvimento.

Durante muito tempo, a presença de uma contradição foi tratada como uma ameaça à estrutura inteira de uma teoria. Newton da Costa mostrou que poderíamos investigar sistemas formais nos quais essa consequência não fosse inevitável.

Isso não nos autoriza a abandonar o rigor. Pelo contrário. Exige compreender ainda melhor quais regras estamos utilizando e quais conclusões elas permitem obter.

No início deste texto, demonstramos que a Lua era feita de queijo. A demonstração era válida dentro da lógica clássica, dadas as premissas contraditórias. Mas a conclusão não se tornou verdadeira por causa disso.

E talvez essa seja a lição mais importante: uma demonstração não é apenas uma sequência de passos corretos. Ela também depende da estrutura lógica e das premissas que escolhemos aceitar.

A Matemática nos ensina a construir argumentos. Mas também nos ensina algo ainda mais difícil: questionar as regras que tornam esses argumentos possíveis.