O lançamento do livro Walter Carnielli on Reasoning, Paraconsistency, and Probability [Walter Carnielli sobre o raciocínio, a paraconsistência e a probabilidade], 32º volume da coleção Outstanding Contributions to Logic, da editora alemã Springer, uma das mais prestigiadas do mundo acadêmico, marca um momento de inflexão para a lógica desenvolvida no Brasil. A obra reúne contribuições de 19 pesquisadores de diferentes países em torno da produção científica do lógico-matemático Walter Carnielli, professor titular do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas (IFCH) e pesquisador-sênior da Unicamp, vinculado ao Centro de Lógica, Epistemologia e História da Ciência (CLE).
Mais do que uma homenagem individual, o livro se insere em um movimento mais amplo de reconhecimento da ciência brasileira e amplia a visibilidade internacional de uma tradição de pesquisa construída ao longo de décadas no país, destaca o professor. “O livro não é uma homenagem a mim apenas, é uma homenagem à lógica brasileira”, afirma Carnielli, autor, entre outros títulos, de Computabilidade: funções computáveis, lógica e os fundamentos da matemática, ganhador do Prêmio Jabuti, e de Pensamento crítico: o poder da lógica e da argumentação, escritos em parceria com o matemático norte-americano Richard L. Epstein.
A coleção da Springer reúne livros dedicados a nomes de grande impacto na área, e a inclusão de Carnielli marca um feito inédito: é a primeira vez que um pesquisador fora do eixo hegemônico é homenageado na série. “Nem América Latina, nem África, nem outros países do Sul Global tinham sido contemplados antes”, conta.
Para o professor, esse dado evidencia uma desigualdade estrutural no sistema científico internacional. “Conseguir esse espaço mostra que é possível romper essa barreira. De certa forma, eu furei essa bolha”, diz. A “bolha”, nesse caso, refere-se a uma estrutura consolidada de produção e circulação do conhecimento, na qual centros acadêmicos do Hemisfério Norte concentram visibilidade, prestígio e capacidade de influência.
Carnielli ressalta que pesquisadores de outras regiões frequentemente enfrentam mais obstáculos para alcançar reconhecimento equivalente, mesmo quando produzem contribuições relevantes. “É muito mais difícil para quem está fora desse eixo ganhar espaço”, aponta.
O livro foi organizado por Henrique Antunes, da Universidade Federal da Bahia (UFBA), e Alfredo Roque Freire, da Universidade de Brasília (UnB), ambos ex-alunos de doutorado de Carnielli, e por Abílio Rodrigues, pesquisador da Universidade Federal de Minas Gerais (UFMG) e colaborador de longa data. A organização do volume levou quatro anos. “Foi um trabalho enorme. Coordenar autores de vários países, revisar textos e estruturar o livro demandou um esforço coletivo muito grande”, afirma. A obra apresenta análises críticas, desenvolvimentos teóricos e novas propostas a partir das ideias de Carnielli e de seus colaboradores. “Não é uma coletânea de elogios. É um debate científico de alto nível”, ressalta.
Cada capítulo dialoga com aspectos específicos da produção do pesquisador, abrangendo temas como lógicas paraconsistentes e não clássicas, computabilidade, teoria da probabilidade, filosofia da lógica e filosofia da ciência, por exemplo. Entre os destaques está a discussão sobre a relação entre a lógica contemporânea e a tradição aristotélica. Um dos textos propõe uma “ruptura radical” com essa ortodoxia. “Não se trata de jogar fora a lógica clássica, mas de estendê-la. Na matemática e na lógica, quase nunca se abandona o que foi construído. O que fazemos é ampliar”, afirma.
Para ilustrar essa ideia, ele recorre a uma analogia com a música brasileira. “A bossa nova não destruiu a música clássica nem o samba tradicional. Ela incorporou elementos e criou algo novo. Gosto de dizer que o Brasil está fazendo a ‘bossa nova da lógica’.”
Além de reunir os artigos, o livro inclui a participação direta de Carnielli, responsável por comentar cada uma das contribuições, estabelecendo um diálogo com os autores e aprofundando o debate. A obra traz ainda uma autobiografia intelectual, na qual o pesquisador revisita sua trajetória acadêmica, suas influências e os caminhos que levaram à consolidação da lógica paraconsistente no Brasil.
Escrito integralmente em inglês, o livro foi concebido para circulação internacional e já está disponível na plataforma Amazon. Com mais de 600 páginas, a obra se projeta como referência para pesquisadores da área e para novas gerações interessadas em lógica, filosofia e ciência da computação.
Ao olhar para o conjunto de sua trajetória, Carnielli vê no lançamento um momento de síntese. “Eu considero esse livro uma coroação de um trabalho coletivo de décadas”, afirma. “Se não fosse o ambiente da Unicamp, do Centro de Lógica, dos alunos e colaboradores, nada disso existiria.”
Escola brasileira de lógica
A publicação recupera e projeta especialmente o desenvolvimento da lógica paraconsistente, uma área iniciada no Brasil a partir dos trabalhos do matemático Newton da Costa (1929–2024), e de forma independente na Polônia.
Um dos pilares dessa trajetória é o Centro de Lógica, Epistemologia e História da Ciência (CLE), criado no início dos anos 1970 a partir de uma iniciativa liderada pelo filósofo Oswaldo Porchat Pereira, que trouxe para a Unicamp a proposta de um espaço dedicado à pesquisa em lógica, filosofia e fundamentos da ciência, em um momento em que essas áreas ainda eram incipientes no Brasil. “O centro surgiu com a proposta de investigar não apenas a lógica formal, mas também seus fundamentos filosóficos e históricos, um enfoque inovador para a época”, lembra Carnielli, cuja trajetória está diretamente ligada ao CLE. Ele atuou desde os primeiros anos, participou da consolidação do centro, foi diretor da instituição durante 11 anos e hoje segue como professor e pesquisador-sênior, mantendo atividades na pós-graduação e orientação de alunos.
O CLE se consolidou como um dos principais polos de pesquisa em lógica na América Latina, formando gerações de pesquisadores. Foi nesse ambiente que a lógica paraconsistente encontrou espaço para se desenvolver e ganhar projeção. “Se não fosse este espaço, este grupo, este ambiente, esse trabalho não existiria”, destaca.
A lógica paraconsistente propõe uma inflexão conceitual importante em relação à tradição clássica. Enquanto a lógica tradicional, herdada em grande parte da filosofia aristotélica, não admite contradições, levando sistemas inconsistentes ao colapso, a abordagem paraconsistente permite trabalhar com elas de forma controlada, sem comprometer a racionalidade. “A ciência clássica não consegue lidar com contradições. Se você introduz uma, o sistema ‘explode’. A lógica paraconsistente, ao contrário, permite que você continue raciocinando de maneira rigorosa mesmo na presença de contradições”, explica.
Essa possibilidade aproxima a formalização lógica do modo como os seres humanos efetivamente pensam e tomam decisões, com profundos reflexos em várias áreas da ciência. No cotidiano, contradições são frequentes, com informações conflitantes, interpretações divergentes ou dados incompletos e, ainda assim, o raciocínio não colapsa. “É uma lógica mais humana, e mais realista, no sentido de que consegue lidar com situações concretas”, observa.
Ao longo das últimas décadas, essa abordagem deixou de ser apenas uma proposta teórica para se tornar uma ferramenta relevante em diversas áreas. Aplicações em computação, linguística, inteligência artificial, filosofia da ciência, teoria da probabilidade e fundamentos da matemática demonstram o alcance do campo.
Na Unicamp, esse desenvolvimento ganhou novo impulso com a reestruturação da teoria e a criação de uma vertente conhecida como lógicas da inconsistência formal, que sistematiza e amplia propostas anteriores.
“O que fizemos aqui foi retomar uma ideia que estava, de certa forma, dispersa, e reorganizá-la. A partir disso, conseguimos integrar diversas contribuições internacionais e dar maior consistência ao campo”, explica. “O resultado foi a consolidação de uma escola brasileira de lógica, que formou pesquisadores e se expandiu por diferentes universidades do país, como a Universidade de Brasília (UnB) e as Federais da Bahia (UFBA), de Santa Catarina (UFSC), do Paraná (UFPR) e de Minas Gerais (UFMG)”, completa.
Esse movimento também contribuiu para a internacionalização da área. Hoje, pesquisas em lógica paraconsistente e não clássica desenvolvidas no Brasil dialogam com centros nos Estados Unidos, Alemanha, Israel, Japão, Bélgica, França, Itália, Austrália, Nova Zelândia, México, Argentina e China. “A área cresceu e o grupo brasileiro ganhou projeção. Isso foi um trabalho coletivo, de muitos anos.”
Foto de capa:
