NEWTON DA COSTA PAIXO E CONTRADIO

Matemtico Newton da Costa, criador da lgica

paraconsistente, tem trs livros reeditados
NELDSON MARCOLIN | Edio 148 - Junho de 2008
ROBERTO SCOLA

Newton da Costa
O matemtico e lgico Newton da Costa compartilha com outros pesquisadores a
mesma paixo pelo que fazem. Com freqncia, se emociona ao falar de assuntos
que parecem estranhos queles alheios a sua paixo. Alguns gelogos sentem
ternura por pedras que contam histrias de outras eras e entomlogos tm grande
carinho por insetos repugnantes. Costa v beleza em clculos intrincados,
problemas sem soluo e teorias que, de to abstratas, s so entendidas por um
nmero 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 prprio
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 lgica paraconsistente. Trata-se de uma teoria que permite trabalhar
com situaes e opinies contraditrias. No toa, chamado pelos discpulos e
colaboradores de pensador da contradio.
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 prpria vocao e cursou matemtica, 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 catedrtico. Nos anos 1960 migrou para o Instituto de Matemtica e
Estatstica da Universidade de So Paulo (IME/USP) e ficou 2 anos na Universidade
Estadual de Campinas (Unicamp). Nos dois lugares foi professor titular.
Passou por instituies da Austrlia, Frana, Estados Unidos, Polnia, Itlia,
Argentina, Mxico e Peru como professor visitante ou pesquisador. Tem mais de
200 trabalhos publicados entre artigos, captulos e livros. Entre outros prmios,
ganhou o Moinho Santista e o Jabuti em Cincias Exatas. Na segunda quinzena
deste ms, a editora Hucitec vai relanar trs de seus livros esgotados h muitos
anos. So eles: Introduo aos fundamentos da matemtica, de 1961, Ensaio sobre
os fundamentos da lgica, de 1979, e Lgica indutiva e probabilidade, de 1990.
Quando se aposentou do IME/USP, Newton da Costa tornou-se professor titular da
Faculdade de Filosofia, Cincias Humanas e Letras da USP e passou a estudar e
ensinar filosofia da cincia. H 4 anos decidiu morar perto dos dois filhos em
Florianpolis e lecionar filosofia na Universidade Federal de Santa Catarina
(UFSC). Sua paixo pela pesquisa e ensino continua intacta. Quando fui entrevist-
lo em seu apartamento no centro de Florianpolis, ele entregou um artigo sobre
lgica, escrito especialmente para a revista.
Newton da Costa prefere escrever mo e admite ter grande averso em lidar com
computadores. O que torna ainda mais curioso um dos seus ltimos trabalhos,
ainda no publicado. O ttulo How to build a hypercomputer (Como construir um
supercomputador) e trata de uma investigao sobre os limites da teoria da
computao. Abaixo, os principais trechos da entrevista.
O senhor se formou em engenharia, fez carreira na matemtica e terminou na
filosofia. Como foi isso?
Quando eu tinha uns 15 anos, mais ou menos, dois acontecimentos foram
fundamentais para mim. Primeiro, ler o Discurso do mtodo, de Descartes, que se
tornou minha bblia. Em segundo lugar, a convivncia com meu tio Milton
Carneiro, professor da Universidade Federal do Paran. Ns discutamos muito
sobre filosofia e cincia. Ele me deu dois livros que nunca mais saram da minha
cabea, O sentido da nova lgica, de W.O. Quine, de 1944, publicado naquela poca
no Brasil, e Logique, de L. Liard, um livro de lgica absolutamente clssico, embora
tenha uma parte sobre metodologia cientfica.
Pode-se dizer ento que seu maior trabalho, sobre a lgica paraconsistente,
comeou a brotar naqueles momentos?
Acho que custou um pouco ainda. As conversas com o meu tio e ler Descartes
obviamente ajudaram. Meu problema central sempre foi pensar sistematicamente
o que o conhecimento. Especialmente o que o conhecimento cientfico. At hoje
penso nisso. Ento percebi perfeitamente que teria que estudar lgica, matemtica
e alguma cincia, como fsica. Pouco tempo depois comecei a ler Bertrand Russell
por sugesto da minha me. Russell motiva qualquer um a estudar questes desse
tipo. Foi quando notei que precisava conhecer tambm as aplicaes da
matemtica, no s matemtica. Por isso, estudar engenharia seria interessante.
Mas precisava, especialmente, conhecer matemtica melhor. E cursei matemtica.
Finalmente percebi que tudo isso, no fundo, tem a ver com filosofia que, alis, o
que eu mais gostava mesmo.
Mais do que a matemtica?
Ah, muito mais. A matemtica e a lgica so para mim instrumentos para entender
o que o conhecimento cientfico. O que vai levar, depois, ao que o conhecimento
em geral e se h conhecimento metafsico. Da a necessidade de me embrenhar na
filosofia. Ainda no cheguei metafsica porque preciso compreender direito o
conhecimento cientfico.
Eu gostaria de entrar na lgica paraconsistente. Como o senhor a explicaria
para algum que no entende nem de lgica nem de matemtica?
Em 1874, um matemtico russo chamado Georg Cantor criou a teoria dos
conjuntos. Em pouco tempo se viu que toda a matemtica padro poderia ser
construda sobre a teoria dos conjuntos e ela se tornou essencialmente a base da
matemtica. Convm observar, no entanto, que a noo de conjunto algo
extremamente abstrato e no se confunde com o sistema de objetos ou totalidades
da vida cotidiana. Mas cerca de 30 anos depois comearam a surgir paradoxos
nessa teoria. O paradoxo de Russell, o paradoxo de Burali-Forti e vrios outros, que
no convm explicar aqui porque levaria muito tempo. Essas questes se tornaram
um problema filosoficamente incrvel: como eram possveis paradoxos na
matemtica e na lgica tradicionais, at ento o exemplo mais perfeito de
conhecimento? Aquilo era aterrador, completamente estranho, ningum conseguia
explicar, causou um rebulio. Essa foi considerada a terceira grande crise da
histria da matemtica. A primeira foi com os pitagricos, quando descobriram os
nmeros irracionais. A segunda foi com o clculo diferencial e integral, que era
uma rea completamente sem fundamento lgico, mas tambm foi superada. E,
finalmente, a terceira grande crise foi a cantoriana, quando se descobriu que a
teoria dos conjuntos era inconsistente e contraditria, no se sustentava. Tentou-
se ento resolver a questo mantendo a lgica clssica e imaginando quais as
modificaes que poderamos fazer na teoria dos conjuntos para superar os
paradoxos. A lgica clssica essencialmente a lgica que nasceu com Aristteles e
teve sua formulao atual por Gottlob Frege e Russell por volta de 1870 e 1914,
respectivamente. O problema da contradio absolutamente fundamental para a
lgica clssica, que no a admite.
A idia era corrigir a teoria dos conjuntos sem destru-la ou abandon-la?
Era isso. Em meio a esses estudos e anlises surgiu algo interessantssimo. Ficou
claro que havia caminhos alternativos para superar essas dificuldades, que no
eram equivalentes entre si. Ou seja, havia vrias teorias de conjuntos possveis
baseadas na lgica clssica. A idia bsica quando se comeou a estudar essas
questes era manter a lgica clssica nas solues usuais desses paradoxos e
mudar os princpios da teoria ingnua dos conjuntos. Baseado numa frase do
prprio Cantor A essncia da matemtica radica na sua completa liberdade ,
pensei, Por que no fazer o contrrio?. Eu quero manter o mximo possvel dos
princpios da teoria dos conjuntos, mas mudar a lgica subjacente clssica.
O que isso quer dizer?
Significa que essa lgica tem de suportar contradio. Na lgica clssica, a razo
bsica de ela no aceitar a contradio, do ponto de vista tcnico, que a mais
simples contradio numa teoria a destri, porque tudo vira teorema. Era preciso
mudar e eu comecei a construir vrias lgicas. Demonstrei que existem infinitas
lgicas que satisfazem essas condies e que existem infinitas teorias dos
conjuntos correspondentes. Comecei a desenvolver e aplicar a lgica em outras
coisas. Mas, na verdade, a sada, o pontap inicial, foi um ponto puramente
matemtico relativo aos fundamentos da teoria dos conjuntos da obra cantoriana.
No o acusaram de destruir a lgica clssica?
Todo mundo j disse isso, especialmente no comeo, quando apresentava minha
teoria por aqui. uma das coisas que mais me deixam amolado.
Por qu?
Eu seria um idiota se achasse que a lgica clssica est errada. O que acredito que
ela tem um domnio de aplicaes, mas, em certas circunstncias, no se aplica.
Vou dar s um exemplo: a teoria geral da relatividade e a mecnica quntica so
duas das teorias mais assombrosas que apareceram na histria da cultura at hoje
pelas aplicaes, pela preciso das medidas, por tudo enfim. uma loucura o que
elas explicam. Por exemplo, mecnica quntica explica o laser, o maser, a estrutura
qumica No entanto, essas duas teorias, se voc olhar bem de perto, so
logicamente incompatveis. S tem uma maneira de juntar as duas e os fsicos
fazem isso com freqncia, embora no saibam como isso se faz, do ponto de vista
lgico.
Quer dizer, eles juntam as duas teorias naturalmente para resolver problemas
que surgem, sem saber que esto usando uma lgica diferente?
Exatamente. Essa lgica a lgica paraconsistente. No momento estou trabalhando
nisso, esclarecendo que a lgica da fsica tem de ser uma lgica paraconsistente.
Ela localmente clssica, mas globalmente paraconsistente. A fsica atual, que
trabalha com uma combinao de teorias incompatveis, s possvel porque
existe a lgica paraconsistente. Por exemplo, a teoria do plasma tem muitas
aplicaes e envolve trs outras teorias: a mecnica clssica, o eletromagnetismo e
a quantizao. Duas a duas, elas so contraditrias. No entanto, so usadas. Todo o
estudo que fao no momento utiliza a teoria quntica de campo, a mecnica
quntica, a relatividade e outras, para sistematizar a cincia. Essa uma das tarefas
do filsofo da cincia, sistematizar diversas cincias e compar-las. No h soluo
se no fizermos isso com uma lgica diferente da lgica tradicional. No nos dias
de hoje.
ROBERTO SCOLA

Newton da Costa
E quanto s aplicaes da lgica paraconsistente?
Durante uns 30 anos desenvolvi a lgica paraconsistente do ponto de vista
puramente abstrato. Interessado apenas na beleza matemtica que ela implica.
Qual no foi minha surpresa quando comecei a receber do exterior, principalmente
dos Estados Unidos, informaes sobre aplicaes em economia, na computao,
em robtica, nos sistemas especialistas No Brasil, o grupo de Jair Abe, da
Universidade Paulista (Unip), tem obtido resultados muito interessantes em
inteligncia artificial. Recentemente um amigo japons, Kazumi Nakamatsu, esteve
comigo e mostrou as aplicaes de certo tipo de lgica paraconsistente para o
controle de trfego de trens, no Japo.
Nada mais prtico do que isso.
J se sabe que se pode usar a lgica paraconsistente no controle do trfego areo
tambm. Quando se tem muitos avies que no podem aterrissar, por exemplo, por
mau tempo, o controlador de vo recebe e manda informaes. Elas nunca so
exatas porque no se sabe exatamente a qual altura o avio est. A altura sempre
tem um pequeno erro. Logo, deve ser corretamente interpretada pelo computador
do controlador para evitar acidentes. A lgica paraconsistente uma das maneiras
pensadas para resolver o problema.
A lgica paraconsistente , ento, uma teoria que aceita e acomoda situaes
contraditrias?
Situaes e opinies contraditrias. Hoje h centenas de pessoas que se dedicam
lgica paraconsistente no mundo inteiro. Alguns so fundamentalistas. Acham que
a nica lgica verdadeira e a lgica clssica no passa de besteira. Um dos meus
melhores amigos, que foi professor na Universidade Nacional da Austrlia e esteve
vrias vezes no Brasil, professor Richard Routley, todos os dias pela manh quando
me encontrava l em Canberra ou mesmo em So Paulo, me saudava dizendo, A
lgica clssica est acabada. Eu dizia sempre que no, as duas tm seu campo. A
lgica clssica a me da lgica paraconsistente.
Poderia ser usada tambm em outros campos, como na psicanlise?
Segundo vrios psicanalistas, especialmente os lacanianos, ela tem uma aplicao
enorme nessa rea. J existe uma literatura grande na psicanlise sobre isso.
A repercusso da lgica paraconsistente parece no ter arrefecido aps tantos
anos.
Isso algo inacreditvel para mim at hoje. Pensava nisso quando era muito jovem,
em 1949, 1950, meus primeiros trabalhos comearam em 1958, mas s comecei a
publicar na Frana em 1963. At que, l por meados dos anos 1970, escrevi uma
carta para um grande amigo, o filsofo da cincia Francisco Mir Quesada, ex-
ministro da Educao no Peru. Pedi a ele, Preciso de um nome para essa minha
lgica. Quesada foi um dos primeiros a defender a teoria pelo mundo afora,
quando era embaixador. Ele me sugeriu paraconsistente, ultraconsistente ou
metaconsistente. Escolhi paraconsistente. Depois que comecei a escrever com
esse nome, no se passou 1 ano e todo o mundo da lgica comeou a falar de lgica
paraconsistente. Da Frana ex-Unio Sovitica, dos Estados Unidos ao Japo
surgiram artigos citando de alguma forma a lgica paraconsistente. Essa uma
daquelas coisas muito difceis de acontecer outra vez. Quesada passou a brincar
dizendo, Newton, na verdade o criador da lgica paraconsistente fui eu, porque
uma coisa s existe depois que tem nome. Est na Bblia, No comeo foi o
verbo.
O que o atraiu exatamente na palavra paraconsistente?
Para quer dizer ao lado. Eu nunca quis destruir a lgica clssica. ao lado de,
complemento de. Assim como a relatividade geral no destruiu a mecnica
newtoniana. Nem a mecnica quntica acabou com a mecnica newtoniana. E elas
no existem sem a mecnica newtoniana.
Qual era o nome da lgica antes de ser batizada pelo Quesada?
Teoria dos sistemas formais inconsistentes. Comprido demais.
As muitas aplicaes de sua teoria fez o senhor ganhar algum dinheiro com
ela?
Viajei muito, conheci o mundo inteiro e nunca despendi um tosto. Agora ganhar
dinheiro mesmo no. Teoria no tem patente. Mas quando chegava ex-Unio
Sovitica, por exemplo, eu tinha um automvel com motorista disposio, um
intrprete, um quebra-galho para tudo.
Aos 78 anos o senhor parece seguir mantendo suas atividades de pesquisa com
vigor.
Fazer o que fao um prazer to grande que sou capaz de pagar para continuar
fazendo. O dia em que no puder estudar o que gosto, dar minhas aulas, melhor
morrer mesmo. Alis, contam que para Einstein parecia que a diferena entre estar
vivo e estar morto era que enquanto ele estava vivo tinha certeza de que podia
fazer fsica. Depois de morto no sabia se dava para fazer.
Por que saiu da UFPR?
Jamais quis sair do Paran. Minha famlia toda de l e eu estava bem na UFPR.
Mas gostaria de montar um grupo de lgica e fundamentos da cincia. Aos poucos,
porm, cheguei concluso de que isso era inexeqvel l, nos anos 1950 e 1960,
por mais que eu me esforasse.
Qual a razo?
Acho que, com exceo da USP, nenhuma outra universidade dava condies para
se fazer um trabalho de nvel internacional em lgica e matemtica no Brasil.
Convidar professores estrangeiros, passar temporadas no exterior, mandar jovens
para estudar em outros pases. Eu me tornei catedrtico na UFPR, mas, por mais
boa vontade que tivessem comigo, eu me sentia patinando, sem sair do lugar.
Foi para a USP, mas passou primeiro pela Unicamp, no ?
Rapidamente. Tenho uma relao muito grande com a Unicamp. Quando fui
professor do IME era permitido acumular por 2 anos tempo integral na USP e
tempo parcial na Unicamp, desde que fosse bem justificado. Fiquei nos dois lugares
e, surpreendentemente, consegui formar um grupo muito maior de pesquisa na
Unicamp. Posteriormente doei minha biblioteca e arquivos para o Centro de
Lgica, Epistemologia e Histria da Cincia da Unicamp.
O senhor um daqueles cientistas que consideram matemtica e fsica mais
difceis de entender do que as demais cincias?
No sei se so mais difceis. Sei que para alguns trabalhos nessas duas reas
preciso ter um grande senso de abstrao, principalmente em fsica-matemtica e
fsica terica. preciso dizer que h um sentido de beleza nessas teorias. Edgar
Allan Poe dizia, A beleza aquilo que resiste familiaridade. Quanto mais
voltamos a ela, mais somos atrados a voltar. E sempre que voltamos percebemos
coisas novas. A msica de Bach eterna porque se pode ouvir milhes de vezes
sem cansar. Sempre veremos um aspecto novo nela. Se ouvirmos uma msica
comum qualquer ela no desperta novas idias, basta repetir trs ou quatro vezes
e ela no oferece nada a mais. J Bach, Beethoven, Brahms jamais cansam. Um
artigo de matemtica trivial voc l e no se interessa mais. Agora, a um bom artigo
podemos voltar dezenas, centenas de vezes. Sempre tem mais uma coisinha, mais
uma idia, mais um aspecto que no percebemos antes. Sempre digo aos meus
alunos que a matemtica tem uma suprema beleza exatamente por isso. Mesmo em
obras como a de Isaac Newton, em que ningum mais vai estudar mecnica, nem
astronomia pelos princpios j muito conhecidos e, algumas vezes, superados, isso
ocorre. Mas se voltarmos l e entrarmos nos detalhes da obra vai ver que l no
tem fim. uma sinfonia la Bach. E, veja, no importa o tamanho da obra. O
doutorado do matemtico americano John Nash, Prmio Nobel de Economia, tinha
cinco pginas. genial. Eu andava com cpias na minha pasta para distribuir aos
alunos e mostrar que tamanho no significa nada. Se Nash tivesse escrito essa tese
na USP, no teria sido aprovado porque hoje parece que exigem pelo menos cem
pginas.
Como v o baixo nvel do ensino e aprendizagem de matemtica no Brasil?
uma barbaridade. Convivi com o ensino secundrio dos Estados Unidos, na
escola pblica de Berkeley. L existe o que eles chamam de honour courses, cursos
de honra. Os alunos que querem fazer cursos tcnicos, como mecnica de
automveis, tm um mnimo de aulas de ingls, histria etc. Depois, se quiserem,
podem completar os crditos com os outros cursos. Mas os honour courses s
fazem aqueles que querem ir para a universidade. So turmas pequenas, de 10, 12
alunos, com professores em tempo integral. O ensino envolve clculo diferencial,
clculo integral, computao, geometria analtica A pessoa entra de livre e
espontnea vontade e se compromete a no ter nota baixa. Se no acompanhar, sai.
Depois que acaba o curso, bastam duas cartas de recomendao dos professores
para entrar na universidade. Se o aluno for bom nesses cursos, j est na
universidade. Por vrias vezes sugeri fazer algo semelhante aqui, mas sempre me
dizem que no democrtico, que elitista
O senhor contra essa espcie de cobrana social que h no Brasil para todos
cursarem universidade, mesmo os que no tm nenhuma vontade ou vocao?
Nivelar todos impossvel. No d. Os honour courses e os demais cursos
disponveis so um jeito de contemplar todos os interessados. Faz quem quer. Vi l,
tambm em Berkeley, um timo curso de mecnica de automveis. Os alunos
pegavam um automvel e o desmontavam inteiro, parafuso por parafuso, para
depois reconstru-lo sem deixar nenhuma pea sobrando. O estudante sai
entendendo de carro, vira um excelente mecnico e pode ser to feliz no trabalho
quanto algum que passa a vida estudando algo muito terico e abstrato. Havia um
encanador no campus da Universidade da Califrnia, quando trabalhei l, to
competente e eficiente que ganhava mais do que um dos meus colegas mais
brilhantes, o professor polons Alfred Tarski, um grande lgico e o melhor salrio
do departamento.
Gostaria que falasse sobre filosofia da cincia. Como o conceito quase
verdade ou verdade parcial?
Acho que a cincia hoje no algo que procura retratar o real. Quando uma
proposio quer refletir o real como ele , isso se chama teoria da correspondncia
da verdade. Quer dizer, o pensamento corresponde verdade. Eu acho que a
cincia no assim, ela reflete apenas em parte o real. Ela uma quase verdade. A
mecnica quntica funciona por qu? Porque ela diz que, em certas circunstncias,
se eu apertar um parafuso, obtenho certo resultado. As grandes proposies, as
grandes teorias, tudo se passa no Universo como se isso fosse verdade. Formalizei
essa noo de verdade uma generalizao da noo clssica de verdade. Ela
uma generalizao da definio clssica de verdade de Tarski. Esse lgico deu uma
definio notvel para se poder tratar da noo de verdade em matemtica, que
onde funciona. Quando se trata de fsica, preciso de algo mais elstico. Propus
para isso o conceito de quase verdade ou verdade parcial. Mas acho que minha
concepo de verdade, rigorosamente, que matemtica, reflete mais ou menos as
idias de Charles Sanders Peirce [1839-1914], um dos maiores filsofos de todos
os tempos. E acho que as grandes teorias, como a teoria quntica de campo, a
mecnica quntica, a mecnica clssica de Newton, todas elas so quase
verdadeiras, por exemplo. comum dizerem que a relatividade desbancou a
mecnica newtoniana. Isso falso. Um avio ou uma ponte, por exemplo, so
calculados pela mecnica newtoniana. E a mecnica quntica e a relatividade
precisam da mecnica newtoniana. Seno, no funcionam. Como algo falso usado
em cincia? Exatamente porque, embora seja falso, quase verdadeiro entre certos
limites.
Porque ela funciona para algumas coisas em algumas situaes.
Exatamente, tudo se passa em certas circunstncias como se ela fosse verdadeira.
o como se.
E isso expresso matematicamente.
Matematicamente. Sistematizei a teoria da cincia atual na quase verdade. Todas
as grandes teorias fsicas no so verdadeiras ipsis litteris, so quase verdadeiras.
Se compararmos exatamente a relatividade com a realidade, h divergncias. E,
mesmo que ela refletisse exatamente a realidade, como que saberamos que ela
reflete? No d para comparar teoria com realidade, estritamente falando.
De quando essa sua teoria?
Da dcada de 1980, j faz algum tempo. E, note o seguinte, para a mesma teoria
quase verdadeira h infinitas outras teorias quase verdadeiras, posso provar isso.
E essas infinitas teorias quase verdadeiras so incompatveis entre si. Ento, a
lgica da quase verdade uma lgica paraconsistente.
Para terminar, o que o conhecimento cientfico?
Penso que conhecimento cientfico uma crena quase verdadeira e justificada.
Essa minha verso da concepo clssica de conhecimento que remonta a Plato.
Nesta, o conhecimento deveria ser verdade estritamente falando; o que fiz foi
substituir verdade por quase verdade.
SOBRE A LGICA EM GERAL
Por Newton da Costa
A lgica, segundo a tradio, nasceu com Aristteles (384-322 a.C). Pouco evoluiu
no curso da histria at os sculos XIX e XX, quando sofreu uma transformao
extraordinria, dando origem, por assim dizer, a uma nova cincia.
A lgica era a disciplina das inferncias vlidas, das dedues. Porm, hoje, ela
uma cincia matemtica, absolutamente no trivial, como tinha sido at o sculo
XIX. O estudo das inferncias vlidas constitui, apenas, uma das possveis
aplicaes da lgica. Ela encerra atualmente temas tais como lgica algbrica,
teoria de modelos, teoria da recurso, lgicas probabilsticas, forcing, fundamentos
da teoria de conjuntos e de categorias, forking, lgicas no clssicas, mquinas de
Turing e teoria das valoraes. Ela est intimamente correlacionada com a
matemtica e tem contribudo para a soluo de problemas abertos em
matemtica.
Por outro lado, sua influncia na cultura em geral extraordinria. Os teoremas de
incompletude de Gdel, por exemplo, contriburam para a melhor compreenso do
poder da matemtica e da prpria razo, evidenciando que um tema tcnico e
difcil de lgica pode ter conseqncias filosficas de relevo. Os trabalhos de
computao terica, ramo muito rico da teoria lgica da recurso, devidos ao
lgico Turing, governam toda a informtica atual, com enorme influncia em
cincia, tanto pura como aplicada, e em filosofia da matemtica e da cincia em
geral.
A lgica encontrou aplicaes as mais variadas: em filosofia, cincia e tecnologia.
Deixando-se de lado as aplicaes filosofia (definio de verdade de Tarski,
axiomatigao de aspectos da tica, fundamentao de sistemas metafsicos, etc.),
cincia (reformulao da lgica da inferncia indutiva, lgica quntica, etc.),
mencionaremos algumas tecnologias de uma lgica no-clssica, a lgica
paraconsistente: em controle de trfico de trens, em controle de trfego areo, em
finanas e economia, em inteligncia artificial e em teoria da deciso.
Sobre a lgica paraconsistente
A lgica clssica, bem como vrias outras lgicas, no apropriada para a
manipulao de sistemas de premissas ou de teorias que encerram contradies
(nas quais uma proposio e sua negao so ambas teoremas da teoria ou
conseqncias dos sistemas de premissas). Porm, nas cincias figuram
contradies que so difceis ou impossveis de serem eliminadas (o que ocorre,
por exemplo, em fsica, onde a teoria da relatividade geral e a mecnica quntica
so logicamente incompatveis, em direito, onde os cdices jurdicos sempre
apresentam inconsistncias, etc.). Por isso, tornou-se imperativo que se criassem
lgicas que pudessem suportar contradies: tal essa essncia da
paraconsistncia. Em geral, uma lgica paraconsistente no implica que a clssica
est errada, mas a generaliza. A lgica paraconsistente engloba a lgica fuzzy e tem
encontrado as mais variadas aplicaes, tanto terica como prticas. Em especial,
ela inspirou uma nova filosofia da cincia e estendeu o campo da razo.