Você está na página 1de 7

Investigao Filosfica: vol. 2, n. 2, artigo digital 4, 2011.

Resenha de: DA COSTA, Newton. Logiques Classiques et non Classiques Essai sur les fondements de la logique. (Trad. Jean-Yves Bziau), Paris: Masson, 1997.1

Maria Francisca Carneiro Universidade Federal do Paran

SOBRE LOGIQUES CLASSIQUES ET NON CLASSIQUES De tempos em tempos, vm a lume certas obras que se impem como marcos tericos: ou porque sintetizam e corporificam os principais fundamentos, vertentes e domnios de um saber; ou porque lanam bases profcuas ao desenvolvimento de um novo tipo de conhecimento; ou ainda porque, pela sua intensa temporalidade, como produtos tpicos do pensamento de um determinado momento, passam a ter significao destacada na histria das ideias. No apenas uma ou outra, mas essas trs razes, juntas, fazem de Logiques Classiques et non Classiques um referencial do conhecimento sobre a lgica na contemporaneidade. O livro constitui um ensaio sobre os fundamentos da lgica. O modo pelo qual se faz a sistematizao das ideias apresenta algumas variaes, de acordo com a natureza e pluralidade dos temas abordados. Todavia o assunto, a despeito de sua amplitude, todo tratado com alto grau de profundidade terica. A obra tem dupla finalidade: de um lado, apresenta as ideias do autor sobre temas centrais da filosofia da lgica, sendo que tais ideias ambientam-se no mbito maior das questes da cincia, que tambm so tratadas no livro, genericamente. De outro lado, o trabalho, do modo como foi organizado, prope-se a subsidiar estudos, cursos e seminrios sobre filosofia da lgica e filosofia da cincia. Logiques Classisques et non Classiques composta por seis partes, sendo quatro
1 Esta resenha uma republicao online de um texto publicado impresso na Revista Brasileira de Filosofia (Vol. LI, Fasc. 201, 2001, pp. 130-135 ) e foi autorizada pelo editor da mesma.

Investigao Filosfica: vol. 2, n. 2, artigo digital 4, 2011.

captulos e dois apndices. O primeiro captulo, que versa sobre razo, lgica e linguagem, subdivide-se em nove sees. Inicia-se pela distino entre duas posies fundamentais, que o autor denomina dogmtica e dialtica, respectivamente. Na primeira, racionalidade e lgica coincidem e, nesse contexto, esto constitudas as leis da lgica clssica, regidas por um carter de univocidade na interpretao e na operacionalizao lgica. Na segunda posio, que a dialtica, ao contrrio, lgica e racionalidade jamais coincidem. O exerccio da razo pode se efetuar por meio de sistemas lgicos distintos, ditos no-clssicos, suscetveis de admitir a derrogao ou no de certos princpios da lgica tradicional. Para a postura no-clssica, a razo no auto-suficiente. Os sistemas lgicos que ela reflete so exerccios provenientes da experincia e, sobretudo, no existe uma nica e cabal lgica; mas admite-se vrios sistemas lgicos. desta segunda vertente que exsurgem as ideias do autor e da qual a Lgica Paraconsistente genuna expresso. Em seguida feita uma belssima e profunda reflexo sobre a faculdade da razo, seus princpios construtivo e pragmtico. Adrede, so consideradas tambm a lgica e a pragmtica da linguagem. Das lgicas no-elementares, o que trata o captulos dois, que se divide em onze tpicos. Nele se discorre sobre as noes de consequncia, seus problemas e leis fundamentais, tanto no que concerne lgica clssica, como no que respeita aos sistemas heterodoxos. Verdade e falsidade, platonismo, teoremas da incompletude e fundamentos lgicos da mecnica quntica so algumas das questes abordadas, de modo que o desenvolvimento das temticas possibilita ao leitor uma reflexo que se aprofunda e ao mesmo tempo se alarga, cuja dinmica, ao perpassar todos esses pontos, integra-os em torno da ideia central do captulo. A questo nuclear das lgicas no-clssicas, que reside precipuamente na superao do princpio da contradio, solidamente embasada no terceiro captulo, que se reparte em cinco itens. Trata dos paradoxos, antinomias, aporias e das possibilidades para a sua resoluo. Ao conceituar contradio, em face da realidade, da lgica, da lgica da realidade e 2

Investigao Filosfica: vol. 2, n. 2, artigo digital 4, 2011.

vice-versa, o autor conclui pela relativizao da lgica e, nesse sentido, enceta uma arguta e consistente reflexo sobre as teses de Hegel. O captulo quarto abre caminhos para a continuidade do que foi sequencialmente examinado nas pores anteriores do livro. Disserta sobre o intuicionismo em lgica e dispe sobre os critrios de verdade nas cincias formais, tendo em vista a historicidade da razo. A seguir, o primeiro apndice do livro trata especificamente da Lgica Paraconsistente, em sua autonomia cientfica. Ali a contradio explicitada como a matriz da qual se origina a Lgica Paraconsistente. So detalhadas as propriedades fundamentais desse sistema, inclusive o problema da negao. tambm apresentada a semntica para o clculo C1, que se aplica Lgica Paraconsistente. So ainda delineadas a lgica de primeira ordem paraconsistente e uma teoria paraconsistente de conjuntos. A teoria da valorao o tema do segundo apndice, de modo a fornecer ao leitor uma viso bastante ampla e atual de como vm sendo construdos os sistemas lgicos intuicionistas e no-clssicos, em consequncia da ruptura de certos limites e da derrogao de determinados princpios clssicos: versa sobre uma teoria geral da lgica, concentrando-se no problema das estruturas e dos sistemas dedutivos bivalorados. A repercusso dos referenciais criados por Da Costa, na histria da lgica, leva construo de novas tabelas de verdade, mais livres e flexveis, que so tambm apresentadas. Ambos os apndices compem-se de sete sees cada um deles e disponibilizam ao leitor uma bibliografia adequada aos tpicos tratados. A organizao da matria objetiva e a exposio dos temas filosficos densa e, ao mesmo tempo, clara, explicitando-se dos aspectos mais simples aos mais complexos. Na medida desse aprofundamento, mantm-se em tom profundo, mas cativante; erudito, mas envolvente e atual; sem perder, nesse movimento, o lan que faz o estilo virtuoso, a escrita escorreita e a linguagem um ornato eximiamente manejado, aos quais a excelente qualidade da traduo faz jus. Merece louvor a esmerada confeco dos ndices, que facilitam a consulta por diversas vias de eficaz acesso. Do mesmo modo, a disposio das notas de rodap condiz com o equilbrio geral do texto, fazendo-se na medida exata e necessria enquanto informaes complementares, que no sobrepujam e 3

Investigao Filosfica: vol. 2, n. 2, artigo digital 4, 2011.

nem interrompem o ritmo de leitura do texto principal, que o livro. No se pode dizer que, em Logiques Classiques et non Classiques, este ou aquel'outro captulo resuma a tese central da obra; mas todos se encadeiam, relacionando-se entre si e com o cerne da matria que motiva a publicao em apreo. Ao mesmo tempo, Logiques Classiques et non Classiques no um trabalho proslito, no sentido de advogar to-somente as ideias de quem o escreve. So efetivamente consideradas, debatidas e reconhecidas vrias formulaes da lavra de outros tericos, de sorte quedarem ao alvedrio do leitor os juzos e as concluses sobre o estudo e sobre a matria. Embora s possa ser apreciado em sua inteireza pelos que incursionam em estudos avanados sobre filosofia da lgica e da cincia, Logiques Classisques et non Classiques pode ser lido, e at certo ponto compreendido, por estudiosos que se interessem pelas investigaes acerca dos princpios constitutivos da razo, aspectos pragmticos da linguagem, validade dos raciocnios e das inferncias, verdade, falsidade, contradies e seus significados, lgica e realidade, sistemas de deduo, matrizes das contradies, critrios de verdade na filosofia e na cincia, intuio em lgica, dentre outras. SOBRE O AUTOR E SUA OBRA Newton Carneiro Affonso da Costa mundialmente conhecido como o inventor da Lgica Paraconsistente, registrada em 1991 como o verbete nmero 03B53, na classificao elaborada pela Mathematical Reviews: uma lgica na qual a contradio possvel e que se desdobra em vrios subsistemas formais, como, por exemplo, as lgicas paracompleta, paraclssica, multidedutiva, teoria de tipos paraconsistente, etc, sendo que tais lgicas vm sendo empregadas na rea biolgica (particularmente em medicina e gentica); exatas (em praticamente todos os seus segmentos); sociais aplicadas (economia, direito) e humanas (onde se destacam filosofia, psicologia, psicanlise e literatura). Alm da inveno dos sistemas lgicos, Newton da Costa tem realizado trabalhos em outros domnios. Cite-se, para exemplificar, a srie de resultados recentemente obtidos em pesquisas sobre indecidibilidade 4

Investigao Filosfica: vol. 2, n. 2, artigo digital 4, 2011.

e incompletude em mecnica clssica; a criao de novas linhas de estudo e de construo das matemticas, onde formula novas ideias em teoria dos conjuntos, topologia, geometria, lgebra, teoria axiomtica, teoria das categorias, dentre outras; a liderana em frentes diferenciadas de pesquisa e aplicao em computao e robtica; sendo autor, tambm, de escritos filosficos, fomentados a partir das suas peculiares concepes. O espectro de tal produo respalda-se no que, como fazem alguns outros autores, Da Costa denomina Teoria da Cincia, expresso que resume no apenas as suas ideias sobre a filosofia das cincias, mas tambm - e principalmente - os seus fundamentos e validade. Na sua Teoria da Cincia, Da Costa criou e desenvolveu conceitos de ampla repercusso nas comunidades cientficas, como verdade pragmtica, quase-verdade, graus de crena e descrena, valorao, modelos estocsticos e probabilsticos, cincia e conhecimento, racionalidade, consistncia, coerncia e outras ideias que compem, encadeadas, uma robusta e consolidada teoria. H quatro aspectos que despertam sobremaneira a ateno, na obra de Da Costa. Primeiro, no h antinomias ou contradies entre o contedo de seus escritos, seja pela perspectiva da anlise sobre os mesmos temas, no decurso de tempo (os registros das primeiras publicaes, no Brasil, datam de 1958; e, no exterior, de 1963, com uma srie de artigos trazidos a pblico pela Comptes Rendus de l'Academie de Sciences de Paris); seja quanto ampliao dos prismas pelos quais se estendem as suas ideias, nas diferentes reas do conhecimento. Desse modo, densidade e coerncia, em Da Costa, so um fato inslito na histria da cincia. Segundo, pela anlise cronolgica da frequncia de suas publicaes, constata-se que no h hiatos ou lapsos temporais no ritmo da produo do autor, que constante. Mais que isso, pode-se considerar que existe nesse ritmo uma acelerao, tendo-se em vista a crescente aplicao de suas teorias em outros campos do conhecimento, progressivamente. Terceiro, de se atentar para uma caracterstica que suas ideias tm, no sentido de funcionarem como um ncleo que fertiliza outros ncleos, aos quais se estende e se aplica. O quarto aspecto, que na verdade decorre dos trs que lhe antecedem, fazem-nos pensar sobre as alteraes provocadas na cincia pela obra de Da Costa - e sobre o significado 5

Investigao Filosfica: vol. 2, n. 2, artigo digital 4, 2011.

dessas alteraes - cujos resultados podem ser vistos particularmente em pases como o Japo, Estados Unidos, Polnia, Rssia, Frana, Blgica, Austrlia, Mxico, Per, Chile, Argentina, Venezuela, Canad e tambm no Brasil. Newton da Costa membro da Academia de Cincias do Estado de So Paulo, membro titular do Instituto Internacional de Filosofia de Paris, membro honorrio do Instituto de Investigaes Filosficas da Universidade de Lima, da Academia Chilena de Cincias e do Centro de Lgica, Epistemologia e Histria da Cincia da Universidade de Campinas. Possui cerca de duzentos e cinquenta trabalhos publicados em diversos pases e vrios livros, sendo que O Conhecimento Cientfico ( 2 ed., So Paulo: Discurso Editorial, 1999); e Lgica Indutiva e Probabilidade (2 ed., So Paulo: HUCITEC, 1998), foram lanados em espanhol, este ano, no Mxico e no Peru, respectivamente. Mentor da chamada Escola Brasileira de Lgica, Da Costa um intelectual referido por pesquisadores de escol em diversas partes do mundo e tm vindo a lume consubstanciosas publicaes em sua homenagem. Ainda sobre a obra de Da Costa, cabe mencionar que h vrios ncleos de estudo sobre Paraconsistncia, em diferentes universidades, no s no Brasil. Destacam-se, dentre outros eventos, os Congressos Mundiais sobre Paraconsistncia, realizados na Blgica, em 1997; e este ano, no Brasil. Pesquisador e professor visitante em mais de trinta universidades, detentor de prmios cientficos e literrios, Newton da Costa, atualmente professor titular da USP e da UNIP, foi agraciado com a medalha de Cientista Emrito, em 06 de outubro de 1998, e com ttulo de Doutor Honoris Causa, unanimidade, em reunio do Conselho Universitrio de 25 de outubro de 2000, pela Universidade Federal do Paran, instituio onde iniciou a sua trajetria acadmica e na qual tornou-se catedrtico em Anlise Matemtica e Anlise Superior. Foi nessa instituio que, em 1963, Da Costa sustentou Sistemas Formais Inconsistentes, a tese que deu origem Lgica Paraconsistente, reeditada em 1993 pela mesma universidade, em Curitiba, a cidade onde nasceu, em 16 de setembro de 1929. Pela obra revela-se a aptido extraordinria. A personalidade incomum, que se pauta pelo pioneirismo e originalidade, pelo vigoroso impulso criador que jamais se contm, pela disciplina do trabalho intelectual constante, caracterizado pelo rigor na investigao e pela 6

Investigao Filosfica: vol. 2, n. 2, artigo digital 4, 2011.

obstinada saga que desvenda meandros e constri a cincia; aliada a um carter que denota princpios ticos provenientes de uma slida formao humanista, fazem a moldura do talento que, fecundo, nela floresceu, exaltou-se e se expandiu. Essas razes todas fazem de Logiques Classiques e non Classiques um livro precioso, um verbo cujo fulgor se esparge e acaba por iluminar tambm, quem se atm a to boa leitura.

Você também pode gostar