1

Lgicas no-clssicas ou heterodoxas

Por Newton Costa*
As lgicas rivais da clssica provaram que o pensamento lgico racional pode se exercitar mesmo sem
obedecer s milenares leis fundamentais do pensamento
A lgica trata, entre outras coisas, das inferncias vlidas, ou seja, das inferncias cujas concluses tm
que ser verdadeiras, caso as premissas o sejam. Tanto as premissas como as concluses de uma
inferncia devem estar formuladas em uma linguagem mais ou menos bem estruturada, para que ela seja
objeto de anlise lgica apropriada. Com o intuito de tornar rigorosas suas investigaes, os lgicos
edificaram linguagens artificiais convenientes. As inferncias so traduzidas nessas linguagens, ainda
que pelo menos em princpio, para estabelecer se elas pertencem categoria dos argumentos vlidos ou
dos argumentos invlidos. Tais linguagens possuem pelo menos duas dimenses relevantes para a lgica:
a dimenso sinttica e a dimenso semntica.
As linguagens em geral so compostas de smbolos e sinais que se acham sujeitos a regras de
combinao que independem do que esses smbolos e sinais signifiquem. Por exemplo, certas
configuraes simblicas incluem-se entre as frmulas e outras entre os termos, e isto pode ser
caracterizado de modo puramente combinatrio e formal, sem se necessitar recorrer aos significados dos
smbolos, mas com base exclusivamente nas configuraes simblicas dos arranjos simblicos. A
dimenso combinatria de uma linguagem, encarada como puro jogo formal, sem significado,
denominamos de dimenso sinttica. E a estrutura sinttica de uma linguagem determina sua sintaxe
lgica.
Porm, as linguagens no so feitas apenas para dar origem a puras estruturas sintticas. Seus smbolos e
expresses tm em geral significado, referindo-se a objetos extralingusticos. Da a dimenso semntica
das linguagens, que leva em considerao, alm das estruturas sintticas, os objetos aos quais as
configuraes simblicas se referem e os significados das mesmas.
Assim, pois, as linguagens se encontram submetidas no apenas a regras sintticas, mas, tambm, a
regras semnticas. O enorme interesse das dimenses sinttica e semntica para a lgica foi posto em
relevo especialmente por R. Carnap e A. Tarski, por volta de 1930.

A lgica clssica apia-se em princpios bsicos, de natureza semntica e sinttica
Mais ou menos at princpios deste sculo, havia uma nica lgica (pura, formal ou terica). Porm, no
decurso dos ltimos oitenta anos, foram criadas outras lgicas, de modo que a lgica inicialmente
considerada cujas origens remontam a Aristteles, mas cujo sistematizador mais importante foi G.
Frege (nos trs decnios derradeiros do sculo passado) precisou ser chamada de clssica ou
tradicional. Pode-se dizer que a lgica clssica adquiriu sua forma quase definitiva na obra monumental
de A. N. Whitehead e Bertrand Russell, intitulada Principia Mathematica, em trs volumes, publicados
respectivamente em 1910, 1912 e 1913.
Uma das maiores revolues culturais de nossa poca foi a edificao das lgicas no-clssicas,
particularmente das lgicas no-clssicas batizadas de rivais da clssica ou heterodoxas. Essa revoluo
similar revoluo provocada pela descoberta das geometrias no-euclidianas, no sculo passado.
Porm, at o momento no se explorou a fundo, do ponto de vista filosfico, o significado da ecloso das
lgicas heterodoxas.

2
Embora abusando um pouco do vocabulrio tcnico da lgica, podemos dizer que a lgica clssica
consiste no que costuma dominar clculos de predicados de primeira ordem, bem como de algumas de
suas extenses, como v.g. certos sistemas de teoria dos conjuntos e determinados clculos de predicado
de ordem superior.
Essencialmente, a lgica clssica versa, em sua parte dita elementar, com base em certas posies
sintticas e semnticas subjacentes, sobre os chamados conectivos lgicos (conjuno, disjuno,
negao, implicao, equivalncia), sobre os quantificadores (todos, todo, algum, alguns,
algumas) e sobre o predicado de igualdade. Em sua poro no elementar, a lgica tradicional
investiga a noo de pertinncia (na acepo em que, por exemplo, afirmamos a sentena Bertrand
Russel pertence ao conjunto dos filsofos) e outras noes alternativas.

A lgica clssica, em seu estado atual, to poderosa que encerra a velha silogstica aristotlica,
convenientemente reformulada, como caso deveras especial e quase sem importncia. Por outro lado,
toda a matemtica tradicional, em certo sentido preciso, reduz-se lgica clssica. (Todos os conceitos
matemticos tradicionais so definveis em termos da idia de conjunto e, portanto, definveis a partir da
lgica.)
A lgica clssica caracteriza-se por determinados princpios bsicos, de natureza sinttica e semntica.
Quando semelhantes princpios so derrogados nascem as lgicas no-clssicas.
Elas classificam-se em duas categorias:1) as complementares da lgica clssica; 2) as rivais da lgica
clssica.
H vrias lgicas que podem ser entendidas como ampliando e complementando o escopo da lgica
clssica. Elas se individualizam por no colocar em xeque as leis centrais daquela, mas por alargar o
mbito de suas aplicaes; to-somente modificam o aparato lingustico sob o ponto de vista sintomtico,
adaptando a contraparte semntica de maneira absolutamente no essencial, sem infringir os princpios
nucleares clssicos.

Por exemplo, podemos acrescentar lgica tradicional operadores modais, isto , operadores
expressando os conceitos lgicos de necessidade, de possibilidade, de impossibilidade e de contingncia;
obtm-se, assim, a lgica modal usual que, em sua forma hodierna, originou-se com C. I. Lewis, em
princpios deste sculo. Tambm nada impede que se adicione lgica clssica operadores denticos,
formalizando as idias correspondentes s palavras proibido, permitido,indiferentee obrigatrio,
dando nascimento lgica dentica, elaborada sobretudo por G. H. von Wright (1951). Introduzindo-se
operadores temporais, por exemplo, smbolos refletindo as flexes temporais dos verbos de linguagem
naturais, nas estruturas lgicas clssicas, constri-se a lgica do tempo ou lgica cronolgica, cultivada
em nossos dias sobretudo por A. N. Prior, nos anos 1960. Enfim, poderamos suplementar a lgica
clssica de vrias outras maneiras, advindo numerosas lgicas no-clssicas, tais como a lgica
epistmica e a lgica dos imperativos, todas elas complementando a lgica clssica.
Como no podia deixar de ser, a lgica do tempo evidenciou-se de suma relevncia para os fundamentos
da fsica, descrevendo e analisando as estruturas formais de vrios tipos de fluxo temporal a priori
admissveis: tempo discreto, tempo contnuo, tempo linearmente ordenado, tempo circular etc. A
lingustica tambm encontra na lgica cronolgica uma ancila de inestimvel valor, porquanto as
linguagem naturais afiguram-se inseparveis das flexes temporais, que inexistem na lgica clssica.

3
Lgicas heterodoxas derrogam pelo menos uma das leis do pensamento clssico
Todas as lgicas complementares da clssica mais conhecidas so deveras relevantes e motivaram
questes variadas, especialmente problemas filosficos. Nelas, repetimos, a sintaxe da lgica tradicional
modificada, pois as linguagens basilares subjacentes lgica clssica so expandidas pela adjuno de
novos smbolos; isto acarreta, evidentemente, alguns retoques semnticos, dado que se torna preciso
enquadrar a dimenso semntica s novas sintaxes. Embora as mudanas sejam, sob certos aspectos,
marginais, os problemas semnticos e filosficos decorrentes se mostram profundos e tm incentivado
pesquisas fecundas, envolvendo temas como a natureza do essencialismo, em lgica jurdica, em que os
operadores denticos reflitam traos reais da atividade de jurisconsulto; e as relaes entre espao e
tempo nos fundamentos da fsica, em particular em teorias fsicas da espcie da teoria geral da
relatividade e da mecnica quntica.
No obstante, as lgicas complementares da clssica no alteram as leis nucleares da lgica clssica. Dito
de outro modo, elas no questionam a validez universal da lgica em apreo. Desenvolvem-se as lgicas
complementares da clssica permanecendo-se fiis ao esprito desta ltima.
A situao muda inteiramente de figura no tocante s lgicas no-clssicas rivais da lgica tradicional.
Elas foram propostas, ou podem ser tidas como tendo sido propostas, guisa de rivais da clssica. So
concebidas como novas lgicas destinadas a substituir a lgica clssica em alguns domnios do saber ou
em todos. A imprescindibilidade de tal substituio adviria de deficincias e limitaes essas das mais
variadas naturezas.

Existem diversas lgicas rivais da clssica ou, como se habituou tambm chamar, lgicas heterodoxas.
Vejamos alguns exemplos de lgicas dessa espcie. Dentre as leis que vigem na lgica clssica, h trs
clebres e que se denominam lei da identidade, lei da contradio, (alguns preferem nome-la de lei da
no-contradio) e lei do terceiro excludo. Elas possuem muitas formulaes, nem sempre equivalentes
entre si.
Para nossos objetivos, neste artigo, adotaremos as seguintes verses:
1- Lei da identidade: todo objeto idntico a si mesmo.
2- Lei da contradio: dentre duas proposies contraditrias, esto , uma das quais a negao da outra,
uma delas falsa.
3- Lei do terceiro excludo: de duas proposies contraditrias, uma delas deve ser verdadeira.
Algumas das lgicas heterodoxas mais conhecidas e discutidas distinguem-se, precisamente, por
derrogarem pelo menos uma das leis precedentes (que, em formulaes as mais variadas, eram
designadas pela expresso Leis fundamentais do pensamento, talvez porque se acreditasse que sem
elas no poderia haver pensamento racional, pensamento logicamente concatenado). Todavia, as lgicas
heterodoxas provaram que o pensamento lgico-racional pode se exercitar mesmo sem obedecer a essas
leis fundamentais da razo, libertando essa faculdade do jugo duas vezes milenar de semelhantes leis,
que pareciam absolutamente impossveis de serem revogadas.





4
Teorias no-triviais inconsistentes fundamentam-se nas lgicas paraconsistentes
H sistemas lgicos nos quais o princpio da identidade no vlido em geral, em parte porque se julga
que a relao de identidade carece de significao para certos tipos de objetos. Como esse princpio
tambm se denomina lei reflexiva da identidade, as lgicas em apreo podem ser batizadas de lgicas
no-reflexivas. Por exemplo, E. Shrodinger insistiu em que a noo de identidade no possui sentido
pleno para os eltrons e, em geral, para as partculas elementares. No se trata de no se poder saber
quando um eltron idntico ou diferente de outro; trata-se, isto sim, da circunstncia de que no parece
ter sentido lgico exato afirmar que um eltron idntico a outro ou que distinto desse outro. Porm, o
princpio de identidade mostra-se vlido, entre limites, para os objetos macroscpicos. Logo, ele vige no
mundo da fsica clssica, embora no reja o universo das partculas elementares. Existem sistemas
lgicos no-reflexivos extremamente fortes e que englobam a lgica tradicional a ttulo de caso especial.
bvio que os sistemas no-reflexivos divergem basicamente da lgica tradicional, possuindo sintaxes e
semnticas incomparveis com as da lgica padro. Uma das dificuldades ligadas semntica dos
sistemas no reflexivos refere-se aos recursos para edificar uma semntica dessa natureza; com efeito, na
construo das semnticas mais comuns, lana-se-mo da teoria clssica dos conjuntos, mas no caso das
lgicas no-reflexivas, isto no funciona, porquanto na teoria em apreo permanece verdadeira a lei da
identidade.
As lgicas no-reflexivas no provam que Schrodinger tenha razo em suas concepes sobre as
interconexes entre identidade e partculas elementares, embora tornem claro que sua posio no pode
ser excluda apenas por motivos de ndole lgica.

H outras lgicas no-reflexivas que provieram de discusses e de problemas completamente diversos.
Assim, determinados sistemas lgicos que formalizam o operador de descrio (introduzido como
smbolo primitivo), ou seja, o artigo definido, tal qual ele ocorre nas frases O atual rei do Brasil e O
dobro de quatro oito. Quando o artigo origina uma descrio semelhante a O atual rei do Brasil, que
realmente no descreve coisa alguma, conveniente, por diversos motivos, inclusive razes de ordem
tcnica, que para essas descries no se aplique a lei de identidades. Derroga-se o princpio da
contradio na maioria das lgicas chamadas de paraconsistentes. Para definirmos os sistemas
paraconsistentes necessitamos de alguns esclarecimentos preliminares.

Uma teoria dedutiva T diz-se inconsistente se entre os seus teoremas h pelo menos dois, um dos quais
a negao do outro; em caso contrrio, T denomina-se consistente. A teoria T chama-se trivial (ou
supercompleta) se todas as proposies formulveis em sua linguagem forem teoremas de T; na hiptese
contrria, T diz-se trivial. Patentemente, as teorias triviais no apresentam interesse direto no prisma
lgico: nelas no podemos separar as proposies que so teoremas das que no so.
Um dos traos marcantes da lgica tradicional o de que qualquer teoria dedutiva nela baseada, que for
inconsistente, ser tambm trivial. Essa lgica no permite que se separem os conceitos de trivialidade e
inconsistncia. Para permitir essa separao, foram criadas as lgicas paraconsistentes, que so lgicas
capazes de servir de fundamento para as teorias inconsistentes e no triviais. Em tais teorias, podem ser
teoremas uma proposio e, ao mesmo tempo, sua negao, sem que a teoria deixe de ser importante do
ponto de vista lgico. Ou seja, a teoria no colapsa na trivialidade, muito embora contenha
inconsistncias.

Se, porm, numa teoria fundada sobre uma lgica paraconsistente podem existir contradies, isto ,
segundo vimos, teoremas cujas negao so tambm teoremas, isto no implica que todas as preposies
infrinjam a lei da contradio, sendo todas elas e suas negaes verdadeiras. As teorias inconsistentes de
relevncia so aquelas que contm no apenas proposies mal comportadas, tais que elas e suas
negaes incluem-se entre teoremas, mas encerram, alm delas, proposies bem comportadas, que
so verdadeiras, embora suas negaes no o sejam.
5
Evidencia a lgica paraconsistente que as teorias inconsistentes no devem ser descartadas unicamente
por se evidenciarem inconsistentes, por infringirem o princpio da contradio. Este fato possui as mais
variadas consequncias filosficas, destruindo um paradigma que vem governando a razo humana h
dois milnios. A lgica paraconsistente encontra aplicaes em tentativas feitas com o intuito de se
formalizar parcialmente a dialtica; outras aplicaes surgiram na matemtica e na filosofia da cincia (I.
Lackatos chamou a ateno dos filsofos da cincia para a existncia de teorias fsicas que foram aceitas,
mesmo se manifestando inconsistentes; exemplo de teoria desse tipo a do tomo de Bohr. Outra
possvel aplicao da lgica paraconsistente vincula-se com a dualidade onda-corpsculo e o princpio da
complementaridade de Bohr).
Lgica intuicionista invalida a lei do terceiro excludo da semntica clssica
Os sistemas lgicos paraconsistentes mais fortes englobam a lgica tradicional como caso especial,
regendo as proposies bem comportadas, e constituem o fundamento de teorias de conjuntos e de
matemticas paraconsistentes to inclusivas quanto as teorias de conjuntos clssicas e a matemtica
comum.
Surpreendentemente, as lgicas paraconsistentes, pelo menos as mais destacadas, possuem semnticas
razoveis, que estendem as concepes semnticas padro.
A lgica paraconsistente teve dois precursores dignos de meno: o lgico polons J. Lukasiewicz e o
filsofo russo N. A. Vasilev, os quais, simultnea, mas independentemente, em 1910, procuraram
estabelec-la. Porm, devido a variadas circunstncias, ela s se constituiu a partir dos trabalhos do
lgico polons S. Jaskowiski e do autor deste artigo que, a partir de 1948 e de 1953, comeamos a
investigar sistematicamente os sistemas paraconsistentes mediante os instrumentos e tcnicas da lgica
contempornea. As perquiries de Jaskowski e as nossas se iniciaram de maneira independente, embora
houvesse convergncia posterior. Hoje, a lgica paraconsistente inclui-se entre os temas de estudo mais
ou menos correntes do domnio da lgica, algo indiscutivelmente inconcebvel h 25 anos.

Denomina-se paracompleta uma lgica que derrogue a lei do terceiro excludo. Em tais lgicas, ou
melhor, em teorias nelas fundamentadas, pode haver proposies tais que nem elas nem suas negaes
sejam verdadeiras.
Exemplo de lgica paracompleta a lgica intuicionista de L. E. J. Brouwer e A. Heyting, formalizada
na dcada de 1930. A semntica de tal lgica diverge completamente da semntica clssica, o que tem
como corolrio a invalidade da lei do terceiro excludo. No podemos entrar em detalhes sobre essa
lgica aqui, a qual surgiu de uma concepo filosfica de matemtica bem afastada da postura
tradicional. Limitaremo-nos, apenas, a sublinhar que a lgica intuicionista susceptvel de ser encarada
como a lgica do raciocnio matemtico construtivo, em que a existncia de um nmero, por exemplo, s
provvel mediante a construo desse nmero, de sua exibio.
Para Brouwer, Heyting e seus seguidores, a matemtica uma atividade construtiva de nosso
pensamento e a lgica tem por finalidade catalogar as regularidades dessa atividade construtiva. A lgica
apropriada para a matemtica construtiva deve ser a lgica intuicionista e no a clssica, essencialmente
irreconcilivel com os raciocnios construtivos do matemtico. A lgica intuicionista, pois, foi proposta
como rival da clssica, com o objetivo de substitu-la no campo do pensamento matemtico construtivo.
(Alis, somente existe a matemtica construtiva; a matemtica tradicional, intrinsecamente no-
construtiva, deveria ser abandonada como pseudocincia.)
6
Sem procurarmos discutir com mais profundidade o intuicionismo e sua lgica, lembraremos, apenas,
que esta ltima tem sido utilizada em vrios domnios do saber, como, recentemente, na teoria da
deciso.
Outro tipo de lgica paracompleta digno de referncia a lgica polivalente, criada, de modo
independente, porm simultneo, por Lukasiewicz e E. L. Post por volta de 1920. Nesta categoria de
lgica as proposies podem assumir valores de verdade entre o verdadeiro e o falso.
Um terceiro valor diverso da verdade e da falsidade: lgica trivalente
Lukasiewicz chegou formulao da lgica polivalente motivado por um problema filosfico, o
problema dos futuros contingentes de Aristteles. Em sntese, a questo a seguinte: certas proposies
contingentes, referentes ao futuro, v.g., em dez anos haver uma guerra mundial, no parecem poder
ser, hoje, verdadeiras ou falsas, sem isto acarretar uma forma de determinismo estrito. Se todas as
proposies relativas a contingncias futuras forem, agora, verdadeiras ou falsas, o futuro pareceria estar
determinado pelo estado presente do mundo e, por conseguinte, o futuro seria determinado pelo passado,
no havendo livre-arbtrio etc. Logo, uma espcie de lgica compatvel com alguma categoria sensata de
indeterminismo tem que conferir, em qualquer momento, s proposies concernentes e acontecimentos
futuros, de carter contingente, um terceiro valor lgico, diverso da verdade e da falsidade: elas seriam
indeterminadas. Assim, o grande lgico polons foi conduzido a elaborar uma lgica trivalente (com trs
valores de verdade) e, aps, as lgicas polivalentes em geral, algumas com infinitos valores de verdade.
As lgicas polivalentes tm sido empregadas nos mais variegados complexos; por exemplo, na
programao de computadores, na teoria dos circuitos eltricos (particularmente por G. Moisil), na
lingustica e na teoria da probabilidade. H. Heichenbach intentou utiliz-la na fundamentao da
mecnica quntica.

Acabamos de debater apenas algumas da lgicas ditas rivais da clssica. Existem numerosas outras, tais
como a lgica molecular (originada pela mecnica quntica e estudada especialmente por J. Kotas), a
lgica livre, a lgica relevante e a lgica intuicionista sem negao de Griss.
A conceituao de lgica clssica, por ns apresentada, no se mostra precisa. Com efeito, a lgica
hodierna evoluiu tanto e est sendo palco de avanos to revolucionrios, que se torna impossvel
caracteriz-la de maneira precisa. Em decorrncia, os conceitos de lgica complementar da clssica e de
lgica heterodoxa tambm se evidenciam algo vagos. Assim, exemplificando, afigura-se difcil
enquadrar certos sistemas lgicos na classificao delineada, como acontece com os sistemas lgicos de
S. Lesniewski e com a lgica combinatria (M. Schonfinkel. H. B. Curry). Todavia, isto no tem
importncia; no se pode, efetivamente, definir de maneira exata e precisa qualquer cincia viva e
progressista. E tal fenmeno se passa com a lgica em nossos dias, em cujos domnios se processa
atualmente uma transformao fecunda, anloga que ocorre nas cincias aparentemente mais
progressistas, como a fsica e a gentica.




7
O estudo da lgica em nossa poca nos induz a formular indagaes profundas, envolvendo perguntas
filosficas de extraordinria significao, como as seguintes:

1- Racionalidade e logicidade de algum modo coincidem?
2- Se h vrias lgicas, existem, em decorrncia, vrios tipos de razo?

3- As lgicas heterodoxas so, de fato, rivais da clssica? No fundo no seriam, talvez, apenas sistemas
complementares do clssico?
4- Quais as relaes existentes entre a lgica, a linguagem e as cincias empricas?

5- A lgica, em seu estado de desenvolvimento hodierno, compromete-nos com posies filosficas, em
particular com estruturas ontolgicas definidas?


Essas e outras questes preocupam presentemente lgicos e filsofos. Elas se converteram em problemas
agudos depois da descoberta e da proliferao das lgicas no-clssicas, aparecidas h to pouco tempo e
prenunciando uma revoluo na histria da cultura, como jamais houve outra antes.

Por tudo isso, deveras significativo observar que no Brasil se tem contribudo para o desenvolvimento
das lgicas no-clssicas com uma parcela aprecivel de resultados tcnicos e de idias filosficas. Alis,
a primeira revista do mundo dedicada exclusivamente s lgicas no-clssicas comeou a ser publicada
em nosso pas o ano passado, intitulando-se The Journal of Non-Classical Logic, e sob os auspcios do
Centro de Lgica, Epistemologia e Histria da Cincia da Universidade Estadual de Campinas. Qui o
Brasil, jovem que , pas do futuro na expresso de S. Zweig, possa se converter na terra do futuro da
lgica.
* Professor da Faculdade de Filosofia da USP e titular do Instituto Internacional de Filosofia Paris,
Frana. Newton C. A. da Costa, paranaense, 60 anos, atualmente professor da Faculdade de Filosofia da
USP e titular do Instituto Internacional de Filosofia de Paris, um dos mais destacados lgicos e
matemticos da atualidade, com reconhecimento internacional. Conta com mais de 150 trabalhos
publicados em Lgica, Filosofia, Matemtica, Fundamentos da Fsica e Cincia da Computao,
especialmente no exterior.

Seu trabalho de maior projeo a criao de uma das lgicas no-classistas formuladas neste sculo, a
Lgica Paraconsistente. Esta lgica, desenvolvida independentemente por Newton Costa e pelo polons
S. Jaskowski, diferentemente da lgica clssica, admite e opera com proposies logicamente
contraditrias e hoje estudada e desenvolvida em vrias partes do mundo.
Uma boa apresentao do pensamento de Newton Costa encontra-se na sua obra Ensaio sobre os
fundamentos da lgica, editado pela Hucitec em 1980.
Disponvel em:
http://www.fmauriciograbois.org.br/portal/cdm/revista.int.php?id_sessao=50&id_publicacao=59&id_ind
ice=145