Lógica paraconsistente: paixão e contradição

Foto: Roberto Scola - Newton da Costa, 2008

Paixão e contradição

Matemático Newton da Costa, criador da lógica paraconsistente, tem três livros reeditados

Neldson Marcolin

Edição Impressa 148 - Junho 2008

Pesquisa FAPESP - O matemático e lógico Newton da Costa compartilha com outros pesquisadores a mesma paixão pelo que fazem. Com freqüência, se emociona ao falar de assuntos que parecem estranhos àqueles alheios a sua paixão. Alguns geólogos sentem ternura por pedras que contam histórias de outras eras e entomólogos têm grande carinho por insetos repugnantes. Costa vê beleza em cálculos intrincados, problemas sem solução e teorias que, de tão abstratas, só são entendidas por um número pequeno de pessoas.

Newton Carneiro Affonso da Costa, paranaense nascido em Curitiba há 78 anos, casado, pai de uma filha e dois filhos e avô de duas netas, talvez tenha mais motivos que os demais pesquisadores para se entusiasmar ao falar do próprio trabalho. Ele é reconhecido no Brasil e exterior – provavelmente mais no exterior – como autor de uma teoria original criada a partir de 1958, mas muito citada e aplicada de 1976 para frente, quando finalmente ganhou o nome pelo qual ficou conhecida, a lógica paraconsistente. Trata-se de uma teoria que permite trabalhar com situações e opiniões contraditórias. Não à toa, é chamado pelos discípulos e colaboradores de “pensador da contradição”.

Costa formou-se engenheiro na Universidade Federal do Paraná (UFPR) em 1952 e chegou a trabalhar por 1 ano no ramo, na empreiteira do pai de sua mulher. Mas parou de resistir à própria vocação e cursou matemática, fez licenciatura na mesma área e virou professor e pesquisador em tempo integral na UFPR, ganhando menos da metade do que ganhava na empreiteira. Lá fez seu doutorado e virou catedrático. Nos anos 1960 migrou para o Instituto de Matemática e Estatística da Universidade de São Paulo (IME/USP) e ficou 2 anos na Universidade Estadual de Campinas (Unicamp). Nos dois lugares foi professor titular.

Passou por instituições da Austrália, França, Estados Unidos, Polônia, Itália, Argentina, México e Peru como professor visitante ou pesquisador. Tem mais de 200 trabalhos publicados entre artigos, capítulos e livros. Entre outros prêmios, ganhou o Moinho Santista e o Jabuti em Ciências Exatas. Na segunda quinzena deste mês, a editora Hucitec vai relançar três de seus livros esgotados há muitos anos. São eles: Introdução aos fundamentos da matemática, de 1961, Ensaio sobre os fundamentos da lógica, de 1979, e Lógica indutiva e probabilidade, de 1990.

Quando se aposentou do IME/USP, Newton da Costa tornou-se professor titular da Faculdade de Filosofia, Ciências Humanas e Letras da USP e passou a estudar e ensinar filosofia da ciência. Há 4 anos decidiu morar perto dos dois filhos em Florianópolis e lecionar filosofia na Universidade Federal de Santa Catarina (UFSC). Sua paixão pela pesquisa e ensino continua intacta. Quando fui entrevistá-lo em seu apartamento no centro de Florianópolis, ele entregou um artigo sobre lógica, escrito especialmente para a revista. No final desta entrevista, o leitor poderá ler o artigo.

Newton da Costa prefere escrever à mão e admite ter grande aversão em lidar com computadores. O que torna ainda mais curioso um dos seus últimos trabalhos, ainda não publicado. O título é How to build a hypercomputer (Como construir um supercomputador) e trata de uma investigação sobre os limites da teoria da computação.

Leia os principais trechos da entrevista em Pesquisa FAPESP Online