O destino trgico da Lgica Portuguesa

J. M. CURADO (Universidade do Minho)

I.

Um diagnstico cultural

O objectivo primeiro da actividade de diagnstico cultural o de compreender o nexo que existe entre um grupo humano e as suas produes culturais. Alguns nexos permitem enunciados dotados de sentido. Assim, Os americanos criaram a cultura do self-made man um enunciado significativo que o diagnstico cultural procura estudar. Todavia, outros nexos permitem enunciados cujas propriedades so menos bvias. Os portugueses no criaram a cultura do self-made man um enunciado com propriedades contrafactuais. Uma construo frsica diferente torna mais claras essas propriedades: Teria sido possvel aos portugueses criarem uma cultura do self-made man; todavia, isso no aconteceu. importante observar que a procura dos nexos entre grupos e produes culturais valorativamente neutra. O primeiro enunciado no um elogio e o segundo no uma censura. Para utilizar um diagnstico cultural famoso feito por Antnio Jos Saraiva sobre a cultura portuguesa 1, o enunciado Teria sido possvel aos americanos criarem uma cultura de cruzada e de decadncia; todavia, isso no aconteceu no uma avaliao da cultura americana feita luz de algumas caractersticas conspcuas da cultura portuguesa. O diagnosticador cultural (esta expresso feliz de Gore

1 A avaliao da cultura portuguesa luz do Mito da Cruzada e do Contramito da Decadncia feita em Antnio Jos Saraiva, Os Mitos, in A Cultura em Portugal. Teoria e Histria, Liv. I (Amadora, Bertrand, 1982), pp. 118-123.

DIACRTICA, n. 15 (2000), 397-431

398

DIACRTICA

Vidal 2) encontra-se na posio dos velhos telogos: o pecado existe tanto na aco quanto na omisso, e evidente que mais fcil identificar os pecados por aco do que os pecados por omisso. Deste ponto de vista, a inexistncia de alguns nexos culturais to significativa quanto a existncia de outros. A cultura do sculo XX portugus permite identificar uma ausncia surpreendente. A rea temtica da lgica foi influente na filosofia, na lingustica, na matemtica e na tecnologia dos pases com os quais Portugal se assemelha na sua produo universitria. Porm, a lgica em qualquer destas disciplinas no motivou em Portugal desenvolvimentos interessantes. A surpresa pela ausncia legtima. Tambm ficaramos surpreendidos (e preocupados) se o enunciado No estudada anatomia nas faculdades de medicina portuguesas fosse verdadeiro (o que no o caso). Provavelmente, a identificao deste nexo poderia conduzir melhoria da situao: introduzir a anatomia nos cursos de medicina. O mesmo objectivo possui o diagnstico cultural da situao da lgica na cultura universitria portuguesa: corrigir uma anomalia grave. O diagnstico cultural que se segue limitado por razes de argumentao lgica filosfica; intil deixar claro que os seus traos gerais so compartilhados pelas outras disciplinas referidas. Lgica em Portugal uma contradio nos termos? Para responder a esta questo necessrio ter presente duas noes bvias. (1) A lgica a vanguarda do pensamento filosfico. S nos territrios cartografados por ela possvel construir argumentos robustos e teorias verdadeiras. O contacto com esses territrios promovido onde h boa filosofia. (2) A velha ideia aristotlica que considerava a lgica como uma introduo a estudos mais avanados sempre foi sedutora, mesmo em pocas de grande especializao. Neste sentido, a lgica, j como vanguarda, j como propedutica, o assunto mais fcil de todas as disciplinas da filosofia. Est para o pensamento como o alfabeto est para a escrita. Espera-se que a lgica seja praticada por todos onde existe filosofia, do mesmo modo que se espera que todos utilizem o alfabeto sempre que escrevam. (Para os que recusam a anteviso de textos filosficos cheios de smbolos lgicos-matemticos, oportuno observar que a teoria da argumentao, a lgica informal e a anlise e diagramao de argumentos fazem parte da lgica e no utilizam

2 Conferncia na Fundao Gulbenkian, Lisboa, no Seminrio Internacional Europa e Cultura, 6 de Maio de 1998.

O DESTINO TRGICO DA LGICA PORTUGUESA

399

smbolos. O ponto de vista lgico poder estar presente em textos filosficos sobre assuntos diferentes da lgica quando se adoptam modos de argumentao que permitem o debate pblico das ideias. Os textos em que a ambiguidade deliberada ou um efeito de mau mtodo de construo textual no permitem o debate pblico.) O panorama de uma filosofia nacional deveria oferecer uma maior quantidade de lgicos do que praticantes de outras disciplinas filosficas, ou, pelo menos, um nmero significativo. O exemplo da escrita continua pertinente: a utilizao do alfabeto superior actividade de escrever romances, ou sonetos ou cartas de amor. Portugal parece ser uma excepo a esta regra. Para compreender o significado da excepo portuguesa na lgica ser til uma ilustrao impressionista. Numa das obras mais fantsticas e ilgicas da literatura do sculo XIX, os Cantos de Maldoror, do poeta francs Lautramont, encontra-se, estranhamente, um elogio ao pensamento rigoroso da matemtica: severa matemtica, eu no te esqueci desde que as tuas sbias lies, mais doces do que o mel, se infiltraram no meu corao como uma onda refrescante. precisamente o facto de este elogio se encontrar nos antpodas do esprito dos Cantos que toma o leitor de surpresa. O rigor da matemtica exactamente o contrrio do discurso fantstico. esta surpresa que importante isolar desde o primeiro momento de uma viso panormica da lgica em Portugal no sculo XX. A comparao plausvel: o pensamento filosfico portugus est para o tom dominante dos Cantos assim como os raros pensadores portugueses que se dedicaram lgica esto para o elogio da matemtica, mais doce do que o mel. O pensamento filosfico portugus tem pequenas gemas lgicas escondidas numa vasta ganga de pensamento nada, pouco, ou, mesmo, militantemente anti-lgico. Da a surpresa pela presena de lgicos num pensamento tradicionalmente afastado da lgica e pela ausncia de um nmero significativo de obras em que o ponto de vista lgico seja relevante. O paradoxo transmitido pela conjuno de presena e de ausncia claro nas falsas partidas de uma investigao lgica no pas. A quantidade interessante de pequenos textos publicados transmite a ideia que no sculo XX portugus existiu um grupo de pessoas empenhadas em se informarem do melhor que a investigao estrangeira oferecia mas que enfrentaram uma atmosfera intelectual hostil lgica. Os textos foram publicados, os autores existiram, mas o resultado final no de modo algum uma onda refrescante que se possa albergar no corao. Algum tem culpa desta situao? Rotulemos todas as responsabilidades debaixo da designao deliberadamente ambgua de ambiente intelectual hostil.

400

DIACRTICA

No foi feliz o destino da lgica no pensamento filosfico portugus do sculo XX. A herana prestigiosa de Pedro Hispano e dos Conimbricenses no teve sucessores. Nada semelhante ao valor destes autores nas respectivas pocas e nada semelhante projeco internacional que justamente mereceram foi alcanado pelos poucos e corajosos professores de filosofia que se ocuparam de temas de lgica. (A situao no muito diferente da que se passou com matemticos ou com engenheiros.) Se um autor como Joo de S. Toms continua a merecer a ateno de estrangeiros 3 pelo interesse das suas anlises de lgica temporal, e se o matemtico Dantas Pereira continua a atrair a ateno erudita 4 por se ter ocupado em 1800 de um dos captulos mais curiosos do passado da lgica, o problema da lngua perfeita e o projecto de traduo automtica das lnguas naturais por intermediao de um algoritmo simples, difcil encontrar algum texto portugus de lgica que ultrapasse as fronteiras da disciplina. A audincia filosfica mais importante de qualquer pas, os que frequentaram cursos superiores de filosofia, tem em Portugal deficincias enormes e muito difcil encontrar licenciados num curso superior de filosofia portugus que dominem um nvel mnimo 5 de conhecimentos de lgica. Se o mais frequente nos programas superiores de lgica so as banalidades historiogrficas que qualquer manual pode oferecer, o mais raro encontrar docentes a leccionar os quatro pilares mais importantes dos estudos de iniciao lgica: a teoria da argumentao, o clculo proposicional, o clculo de predicados e a lgica modal. Um nvel de conhecimentos suficiente raramente alcanado e o clima geral nas faculdades de letras que leccionam cursos de filosofia o de uma enorme dificuldade em promover programas actualizados,

3 Apenas como ilustrao, ver Peter hrstrm e Per F. V. Hasle, Temporal Logic: From Ancient Ideas to Artificial Intelligence (Dordrecht, Kluwer Academic Publishers, 1995), p. 42. 4 J. M. Curado, A utopia lingustica de Dantas Pereira: da escriptura pasigraphica impossvel lngua perfeita, Diacrtica, 11 (1996), pp. 409-497 5 Para que no seja ambgua a noo de nvel mnimo de conhecimentos em lgica, o recurso a alguns exemplos de manuais muito divulgados em estudos de lgica no estrangeiro importante para precisar o conceito: Harry J. Gensler, Symbolic Logic: Classical and Advanced Systems (Englewood Cliffs, N. J., Prentice Hall, 1990); Jerome Malitz, Introduction to Mathematical Logic (Berlin, Springer Verlag, 1979); Barbara H. Partee, Alice ter Meulen e Robert E. Wall, Mathematical Methods in Linguistics (Dordrecht, Kluwer Academic Publishers, 1993); John E. Nolt e Dennis A. Rohatyn, Schaums Outline of Theory and Problems of Logic (New York, McGraw-Hill, 1988). Muitos outros poderiam ser nomeados.

O DESTINO TRGICO DA LGICA PORTUGUESA

401

em defender teses em lgica (a falta de orientadores de tese paralela falta de professores especializados para a constituio de jris), em organizar bibliotecas de apoio e em desenvolver projectos de investigao em que a lgica seja uma componente importante. Algum que queira trabalhar em filosofia da mente com mtodos de inteligncia artificial (AI) ou de vida artificial (AL), em tica com ferramentas de lgica dentica, em teoria do conhecimento com ferramentas de lgica epistmica, ou em filosofia da linguagem com ferramentas de semntica formal dificilmente encontrar recursos acadmicos para isso. Apesar de existirem excepes nobres a este panorama (Edmundo Curvelo a figura mais notvel mas no a nica 6), o que caracteriza positivamente a produo lgica dos pensadores portugueses do sculo XX a inteno em divulgar alguns captulos importantes (mas algo anacrnicos) da lgica (separao da lgica clssica em relao lgica simblica, relaes entre linguagem natural e estruturas lgicas do pensamento, clculo proposicional) e a elaborao textos didcticos. Infelizmente, o que caracteriza negativamente a lgica contempornea portuguesa em filosofia a desactualizao temtica e a utilizao frequente do simbolismo lgico como uma roupagem intil e decorativa. Apesar da gravidade em subscrever um juzo excessivamente geral (cometer o sofisma da generalizao apressada no um perigo a olvidar), correcto afirmar que pouco foi feito em lgica por pensadores portugueses do sculo XX. (Apesar de os pensadores tcnicos e matemticos dominarem um nvel de conhecimentos em lgica mais especializado, no tambm claro que nas suas obras esteja presente verdadeira criatividade.) A surpresa com o pouco que se alcanou na investigao da lgica em Portugal no sculo XX aumenta se for considerado o exemplo brasileiro. A diferena entre a produo portuguesa em lgica e a produo brasileira 7 dramtica. No que diz respeito lgica, o

6 Um bom estudo sobre este grande lgico o de Norberto Cunha, A tica como Cincia Natural em Edmundo Curvelo, Revista Portuguesa de Filosofia, 48: 2 (1992), pp. 161-207. Ver, tambm, Joo Branquinho, Curvelo, Edmundo, in Logos. Enciclopdia Luso-Brasileira de Filosofia, vol. 1 (Lisboa, Verbo, 1989), coll. 1265-1266, e J. M. Curado, Pode um Glaciar Traduzir um Vulco? Lgica Fria e Conscincia Quente em Edmundo Curvelo, in O Mito da Traduo Automtica (Braga, Universidade do Minho/Centro de Estudos Humansticos, 2000), pp. 261-349. 7 Para uma panormica geral da produo lgica brasileira, ver as antologias seguintes: A. I Arruda, R. Chuaqui e N. C. A. da Costa, eds., Mathematical Logic in Latin America (Amsterdam, North-Holland, 1980); C.E.L.I.J.S. da Universidad de Carabobo, Venezuela, Antologia de la Lgica en America Latina (Madrid, Fundacin Banco Exterior,

402

DIACRTICA

espao lusfono no homogneo. perfeitamente defensvel considerar o engenheiro e matemtico Newton da Costa o melhor lgico de lngua portuguesa do sculo XX. Existe muito a favorecer esta avaliao: uma criatividade excelente manifestada na criao de lgicas paraconsistentes, de que um dos fundadores e uma autoridade mundial, a publicao assdua de obras nos principais meios de divulgao de ideias de lgicas (revistas com exigentes critrios de publicao, cursos universitrios), uma ampla projeco internacional e a constituio de uma escola dinmica de lgica brasileira (Ayda Arruda, Elias H. Alves, etc.)8. Um segundo ponto de vista estrangeiro tambm til para perspectivar de modo neutro e objectivo a actividade lgica portuguesa. Qual a imagem que os inventrios de referncia neste campo tm de autores portugueses? A importante Bibliografia-W de Lgica Matemtica 9 faz apenas referncia aos matemticos portugueses 10 que se

s/d); e Walter A. Carnielli e Luiz Carlos P. D. Pereira, eds., Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic (Campinas, Centro de Lgica, Epistemologia e Histria da Cincia, 1995). As Brazilian Conferences in Logic, iniciadas em 1977, so a melhor produo da lgica brasileira. Um nvel de qualidade semelhante o revelado pela publicao inovadora da revista The Journal of NonClassical Logic (1982-1991, posteriormente com o ttulo The Journal of Applied Non-Classical Logic). Para a original obra lgica de Newton da Costa, ver do prprio On the theory of inconsistent formal systems, Notre Dame Journal of Formal Logic, 15 (1974), pp. 497-510; O Conhecimento Cientfico (So Paulo, Discurso Editorial, 1999); os interessantes trabalhos em colaborao Newton C. A. da Costa, Otvio Bueno, e Steven French, Is there a Zande logic?, History and Philosophy of Logic, 19, (1998), pp. 41-54, e Newton C. A. da Costa e Jair Minoro Abe, Paraconsistncia em informtica e inteligncia artificial, Estudos Avanados, 14: 39 (2000), pp. 161-174; ou, ainda, o estudo de tala M. Loffredo DOttaviano, On the development of paraconsistent logic and Da Costas work, Journal of Non Classical Logic, 7: 1-2 (1990), pp. 89-152. 8 Estes so os nicos critrios de avaliao da obra de um lgico: criatividade, publicao de textos tutelada por pares, participao no debate internacional de lgica. Newton da Costa obedece a esses critrios. Isso no acontece infelizmente com nenhum lgico filosfico portugus durante o sculo XX. 9 Gert H. Mller, ed., em colaborao com Wolfgang Lenski, W-Bibliography of Mathematical Logic, Vol. I, Classical Logic, editado por Wolfgang Rautenberg (Berlin, Springer-Verlag, 1987); Gert H. Mller, ed., em colaborao com Wolfgang Lenski, -Bibliography of Mathematical Logic, Vol. II, Non-Classical Logics, editado por Wolfgang Rautenberg (Berlin, Springer-Verlag, 1987); Gert H. Mller, ed., em colaborao com Wolfgang Lenski, -Bibliography of Mathematical Logic, Vol. III, Model Theory, editado por Heinz-Dieter Ebbinghaus (Berlin, Springer-Verlag, 1987); Gert H. Mller, ed., em colaborao com Wolfgang Lenski, -Bibliography of Mathematical Logic, Vol. IV,

O DESTINO TRGICO DA LGICA PORTUGUESA

403

dedicaram lgica e que alcanaram um nvel de sofisticao elevado. Encontram-se neste caso aqueles que so os melhores lgicos matemticos portugueses, Antnio Aniceto Monteiro 11 (Angola, 1907, Argentina, 1980) e Hugo Baptista Ribeiro 12 (1910-1988), bem como Jos

Recursion Theory, editado por Peter G. Hinman (Berlin, Springer-Verlag, 1987); Gert H. Mller, ed., em colaborao com Wolfgang Lenski, -Bibliography of Mathematical Logic, Vol. V, Set Theory, editado por Andreas R. Blass (Berlin, Springer-Verlag, 1987); Gert H. Mller, ed., em colaborao com Wolfgang Lenski, -Bibliography of Mathematical Logic, Vol. VI, Proof Theory. Constructive Mathematics, editado por Jane E. Kister, Dirk van Dalen e Anne S. Trolstra (Berlin, Springer-Verlag, 1987). 10 No h, pois, o perigo de os lgicos matemticos serem olvidados. A ilustre comunidade de historiadores portugueses da matemtica no deixaria tambm isso acontecer. Jos Morgado (Para a Histria da Sociedade Portuguesa de Matemtica, Coimbra, 1995) e os colquios em memria de Antnio Monteiro (LOGICA98, International Conference on Mathematical Logic in Memory of A. A. Monteiro, July 13-18, 1998, vora) e de Hugo Ribeiro (Colquio de Lgica Matemtica memria de Hugo Ribeiro, 27-29 de Abril, Lisboa, Instituto Superior Tcnico) tm atrs de si uma rica historiografia da matemtica portuguesa (de Garo Stockler, por Gomes Teixeira e Pedro Jos da Cunha, at Fernanda Estrada, entre outros). 11 A. Aniceto Monteiro, La notion de fermeture et les axiomes de separation, An. Fac. Cinc. Porto, 26 (1941), pp. 193-203 [reimpresso in Portugaliae Mathematica, 2 (1941), pp. 290-298]; Les ensembles fermes et les fondements de la topologie, Portugaliae Mathematica, 2 (1941), pp. 56-66; Axiomes independants pour les algbres de Brouwer, Rev. Union Mat. Argentina, 17 (1955), pp. 149-160; Matrices de Morgan characteristiques pour le calcul propositionnel classique, Anais Acad. Bras. Cienc., 32 (1960), pp. 1-7; Linearisation de la logique positive de Hilbert-Bernays, Rev. Union Mat. Argentina, 20 (1962), pp. 308-309; Generalisation dun theorme de R. Sikorski sur les algbres de Boole, Bull. Sci. Math., ser. 2, 89 (1965), pp. 65-74 [reimpresso in Notas Logica Mat., 10 (1974)]; Matrices de Morgan caracteristiques pour le calcul propositionnel classique, Notas Logica Mat, 6 (1974); Larithmetique des filtres et les espaces topologiques I, Notas Logica Mat., 29 (1974); Larithmetique des filtres et les espaces topologiques II, Notas Logica Mat., 30 (1974), pp. 126-162; e, em colaborao com Jos da Silva Paulo, Aritmtica Racional (Lisboa, Livraria Avelar Machado, 1945). Sobre a influncia da obra deste lgico matemtico, ver Alfredo Pereira Gomes, O regresso de Antnio Monteiro a Portugal de 1977 a 1979, Portugaliae Mathematica, 39: 1-4 (1980), pp. XXXIII-XLI; Ruy Lus Gomes e Lus Neves Real, Antnio Aniceto Monteiro e o C.E.M. do Porto (1941/1944), Portugaliae Mathematica, 39: 1-4 (1980), pp. IX-XIV; Leopoldo Nachbin, The influence of Antnio A. Ribeiro Monteiro in the development of mathematics in Brazil, Portugaliae Mathematica, 39: 1-4 (1980), pp.XV-XVII; Eduardo L. Ortiz, Professor Antnio Monteiro and contemporary mathematics in Argentina, Portugaliae Mathematica, 39: 1-4 (1980), pp. XIX-XXXII; e Hugo Ribeiro, Actuao de Antnio Aniceto Monteiro em Lisboa entre 1939 e 1942, Portugaliae Mathematica, 39: 1-4 (1980), pp. V-VII. 12 Hugo B. Ribeiro, Caracterisations des espaces reguliers normaux et completement normaux au moyen de loperation de derivation, Portugaliae Mathematica, 2 (1941), pp. 13-19; La cohrence dun ensemble et les ensembles denses en soi,

404

DIACRTICA

Ribeiro de Albuquerque, Jos Morgado e Constantino de Barros. significativo que nenhum filsofo portugus 13 esteja presente nessa bibliografia do Grupo mega. O ponto de vista estrangeiro injusto para muitos autores mas a sua mensagem clara: se os matemticos honraram a inteligncia portuguesa em lgica, o mesmo no pode ser afirmado dos pensadores filosficos. Numa obra paralela de referncia geral sobre a lgica filosfica, o Handbook of Philosophical Logic 14, nenhum portugus indicado. Mesmo alguns pases com os quais Portugal pode ser comparado na produo filosfica relativamente afastada das principais problemticas da filosofia contempornea produziram lgicos de nvel mundial. Pense-se nas riqussimas escolas de lgica polaca, finlandesa e holandesa. Esta situao tpica do diagnstico cultural motiva um inqurito entre o policial e o cultural: Porque no surgiram em Portugal figuras como um Church, um Gdel, um Turing, um Quine, ou um Newton da Costa? Procurar descobrir porque que uma rea de vanguarda do pensamento filosfico e aquela que est na base de algumas das construes intelectuais mais poderosas do sculo XX (computao, matemtica, teoria de sistemas, cincia cognitiva) ficou menosprezada na cultura portuguesa e no ensino secundrio e superior do pas empreender uma viagem dolorosa. A causa maior da dor reside na verificao que em meados do sculo nada faria prever uma avaliao

Portugaliae Mathematica, 2 (1941), pp. 67-76; Une extension de la notion de convergence, Portugaliae Mathematica, 2 (1941), pp. 153-161; On the universal completeness of classes of relational systems, Arch. Math. Logik Grundlagenforsch., 5 (1951), pp. 90-95; The notion of universal completeness, Portugaliae Mathematica, 15 (1956), pp. 83-86; Universal completeness, Summer Inst. Symb. Log., 1957, Ithaca, pp. 81-82; Linguagens elementares e estruturas matemticas, Gazeta de Matemtica, 30: 113-116 (1969), pp. 1-8; Linguagens elementares e estruturas matemticas (breve iniciao), in P. A. Almeida, Jos M. Ferreira e A. J. Franco de Oliveira, eds., Colquio de Lgica Matemtica memria de Hugo Ribeiro. Textos sobre Lgica em Portugal (Lisboa, Sociedade Portuguesa de Matemtica, 1989), pp. 160-165. Sobre a obra deste lgico matemtico, ver Jorge Almeida, The mathematician Hugo Ribeiro, Portugaliae Mathematica, 52: 1 (1995), pp. 1-14; Jos Morgado, Hugo Baptista Ribeiro: matemtico portugus que s pde ensinar numa universidade portuguesa depois do 25 de Abril, Boletim da Sociedade Portuguesa de Matemtica, 12, Maro (1989), pp. 31-42. 13 M. S. Loureno surge apenas como editor da importante colectnea O Teorema de Gdel e o Problema do Contnuo (Lisboa, Fundao Calouste Gulbenkian, 1979). 14 D. Gabbay, e F. Guenthner, eds., Handbook of Philosophical Logic, Vol. 1, Elements of Classical Logic (Dordrecht, D. Reidel, 1983); Vol. 2, Extensions of Classical Logic (Dordrecht, D. Reidel, 1984); Vol. 3, Alternatives to Classical Logic (Dordrecht, D. Reidel, 1886); Vol. 4, Topics in the Philosophy of Language (Dordrecht, D. Reidel, 1989).

O DESTINO TRGICO DA LGICA PORTUGUESA

405

final to negativa dos resultados alcanados. Os sinais eram prometedores. Assim, o astrnomo, matemtico e historiador da matemtica Pedro Jos da Cunha 15, ainda nas primeiras dcadas do sculo, mostrou interesse pela teoria dos conjuntos e chegou a publicar um estudo acadmico sobre esse tema. Como se sabe, difcil promover qualquer incio de estudos em lgica ou em fundamentos da matemtica sem noes de teoria de conjuntos. Nos anos vinte, Leonardo Coimbra coloca a lgica no subttulo de uma das suas obras mais importantes, A Razo Experimental (Lgica e Metafsica), de 1923, e quatro anos depois publica uns apontamentos com o ttulo Notas sbre a Abstraco Scientfica e o Silogismo, em que revela algum conhecimento do passado da lgica e alguma informao sobre os desenvolvimentos recentes em lgica matemtica atravs de obras de Burali-Forti e de A. Padoa. A revista Portugaliae Mathematica, desde o primeiro volume de 1937, publicou ocasionalmente artigos de lgica matemtica de autores nacionais (Aniceto Monteiro, Hugo Ribeiro, Jos Morgado, Ribeiro de Albuquerque) e de vultos estrangeiros (John von Neumann, Alonzo Church, Haskell B. Curry e outros). Professores dedicados defenderam dissertaes universitrias sobre assuntos lgicos (Arnaldo de Miranda Barbosa 16, em Coimbra, e Curvelo, em Lisboa). O influente e muito dotado Francisco Vieira de Almeida dedicou uma parte substancial da sua obra divulgao da lgica, e Edmundo Curvelo, o seu assistente na Faculdade de Letras de Lisboa, para alm de escrever obras lgicas de maior flego (Multiplicidades Lgicas Discretas, 1947, Os Princpios da Logificao da Psicologia, 1947) e de revelar uma informao extraordinria do que se fazia alm-fronteiras, dedicou-se com grande empenho e sucesso didctica, um dos aspectos mais difceis da lgica. A elaborao que fez de textos cativantes e introdutrios (A Bomba Atmica, a Tabuada e o mais que adiante se ver, 1946, O Resto da Bomba Atmica, 1946, Os Paradoxos de Mestre Xis. Paradoxos Lgico-Matemticos, 1947) coloca-o numa

15 Pedro Jos da Cunha, Reflexes sbre a teoria dos conjuntos, Jornal de Scincias Matemticas, Fsicas e Naturais, 3. srie, n. 10 (1922), sep. 62 pp. Ver J. Vicente Gonalves, Elogio Histrico de Pedro Jos da Cunha, Memrias da Academia de Cincias de Lisboa, IX (1964), sep. 21 pp. 16 Lgica. Ensaio Esquemtico de Uma Lgica Pura como Fundamentao Mediata de Uma Teoria Axiolgica. Primeira Parte: Analtica e Sistemtica. Dissertao de Licenciatura em Cincias Histricas e Filosficas, Faculdade de Letras da Universidade de Coimbra (Coimbra, edio do autor, 1940), 241 pp; A Essncia do Conhecimento. Dissertao de Doutoramento em Filosofia, Faculdade de Letras da Universidade de Coimbra (Coimbra, edio do autor, 1947), 242 pp.

406

DIACRTICA

vasta tradio de grandes lgicos estrangeiros com preocupaes na didctica da lgica, de Charles L. Dodgson, mais conhecido pelo pseudnimo literrio de Lewis Carroll, at Raymond Smullyan. Uma idntica preocupao pedaggica tambm justifica um curso de Lgica Simblica publicado pelo engenheiro mecnico Antnio Gouva Portela na Tcnica, a revista de alunos do Instituto Superior Tcnico, em 1957. Esta introduo lgica de grande qualidade e tem a seu favor a adopo de uma definio feliz de lgica: a lgica o estudo sistemtico dos mtodos e princpios usados para distinguir os argumentos correctos dos incorrectos. A proposta de estudo da lgica segundo o ponto de vista da teoria de argumentos, rara no nosso pas nessa data, poupou o autor a debates inteis e cansativos sobre a impotncia do silogismo e proporcionou a jovens leitores o contacto com noes importantes, como a prova formal da validade de argumentos, o mtodo dedutivo, as funes proposicionais, o sistema lgico, linguagem e metalinguagem e frmula bem formada. O artigo do engenheiro Portela continua ainda a ser um objecto pedaggico de grande interesse. O matemtico Jos Sebastio e Silva chegou a fazer palestras de introduo lgica a professores do ensino secundrio que se tornaram posteriormente em textos de qualidade para o ensino inicial de lgica (A lgica matemtica e o ensino mdio, 1941, Introduo lgica simblica e aos fundamentos da matemtica, 1959, Sur lintroduction des mathmatiques modernes dans lenseignement secondaire, 1962). A preocupao pela divulgao de noes lgicas elementares tambm esteve presente em Hugo Ribeiro (Linguagens elementares e estruturas matemticas: breve iniciao, 1969). Mesmo um autor como Dlio Nobre dos Santos, que no nada fcil associar lgica, escreveu nos anos quarenta pequenos textos sobre esse assunto (Nota sobre as condies dos postulados em qualquer teoria dedutiva e a noo de evidncia, 1946, Lgica e tautologia, 1950). Alguns autores da gerao mais nova tm mantido continuamente a produo de textos introdutrios de grande nvel (Augusto Franco de Oliveira, Lgica e Aritmtica. Uma Introduo Informal aos Mtodos Formais, 1991) e de artigos sobre aspectos da lgica filosfica contempornea (como a colectnea de artigos publicados durante muitas dcadas de Vitorino de Sousa Alves 17, Ensaio de Filosofia das Cincias, 1998).

17 Vitorino de Sousa Alves desempenhou um papel pioneiro de enorme importncia na leccionao da lgica filosfica e matemtica: Digresso fsico-matemtica, Revista Portuguesa de Filosofia, 3 (1947), pp. 116-185; Limites conceptuais da filosofia e da matemtica, Revista Portuguesa de Filosofia, 11 (1955), pp. 216-232; Teorema do

O DESTINO TRGICO DA LGICA PORTUGUESA

407

Apesar de em nmero reduzido, a atmosfera do estudioso de lgica em lngua portuguesa beneficiou tambm de algumas tradues de importantes textos de referncia, nomeadamente de William e Martha Kneale, Gdel, Jean Chauvineau, Jean-Blaise Grize, Marcel Boll, Ambrogio Manno (sobre filosofia da matemtica), Alain Badiou (sobre epistemologia da matemtica), Alexandra Guetmanova e Jacques dHondt. Perante isto, a surpresa pelo nvel insuficiente da lgica portuguesa torna-se maior. Ambiente hostil? Falta de criao? Excesso de influncia francesa na filosofia acadmica portuguesa, tendo como resultado um aumento do aspecto literrio dos textos e um menosprezo dos aspectos analticos? Um olhar retrospectivo sobre o que foi produzido mostra que as dcadas de quarenta e cinquenta foram as mais ricas em lgica, mas que antes e depois delas o interesse pela lgica no esteve presente. Se existiram personalidades criativas que ocuparam parte da sua produo intelectual com a constituio de um terreno frtil para que geraes mais novas pudessem usufruir de recursos de introduo lgica na sua lngua materna, qual a razo porque no tiveram continuidade esses esforos? Se da parte dos matemticos a questo no se pe de um modo to incisivo nem, em geral, da parte dos mais recentes cientistas da computao, o mesmo no pode ser verificado na filosofia. surpreendente a ausncia de reflexo e debate sobre as linhas que marcaram a lgica neste sculo: a obra de Gdel, a filosofia da matemtica, a redescoberta da lgica temporal por Arthur Prior, a noo de computao, a lgica modal, a teoria das situaes, etc. A noo de computao exemplar a este respeito. Como possvel que um dos assuntos de maior fecundidade intelectual (na filosofia da mente e do conhecimento, na matemtica, na lingustica, na cincia cognitiva e, obviamente, na lgica) no merecesse a ateno dos que se dedicavam filosofia em Portugal? Qualquer destes exemplos no de importncia menor. bvio que

infinito, Revista Portuguesa de Filosofia, 13 (1957), pp. 34-41; Para a fundamentao do contnuo, Revista Portuguesa de Filosofia, 19: 2 (1963), pp. 142-166; A lgica moderna, Revista Portuguesa de Filosofia, 21: 4 (1965), pp. 402-436; Bertrand Russell e a sua crtica analtica, Revista Portuguesa de Filosofia, 28 (1972), pp. 490-525; Conceito de estrutura na lgica e na matemtica, Revista Portuguesa de Filosofia, 32: 2 (1978), pp. 113-142; Anlise lgica dos primeiros princpios, Revista Portuguesa de Filosofia, 36: 3-4 (1980), pp. 279-299; Lgica matemtica, in Logos. Enciclopdia LusoBrasileira de Filosofia, vol. 3 (Lisboa, Verbo, 1991), coll. 459-474; O conceito de verdade na lgica formal, Revista Portuguesa de Filosofia, 48: 3 (1992), pp. 411-422. Aguarda-se com grande interesse a publicao das suas lies.

408

DIACRTICA

em todas as reas cientficas existem assuntos que no so cultivados em determinado pas. Esta uma verdade da diviso do trabalho intelectual. No esse o ponto a argumentar. Para que se compreenda o significado de um pensamento filosfico nacional que no dedicou muita ateno noo de computao 18 e aos outros exemplos de linhas de investigao contempornea em lgica, ter de imaginar um mundo absurdo em que os fsicos do sculo XX investigassem sem atribuir qualquer importncia relatividade ou fsica quntica ou em que os matemticos vivessem contentes consigo mesmos sem a anlise matemtica. Um pensamento filosfico que produziu ensastas notveis noutros campos de reflexo, seja pela originalidade temtica, seja pela fora dos argumentos, seja pela informao rica daquilo que se faz alm-fronteiras (pense-se, numa escolha puramente ilustrativa, na teoria filosfica da sexualidade, em O Amor Mstico, de Slvio Lima, de 1935, ou na epistemologia, o Tratado da Evidncia, de Fernando Gil, de 1996), deu-se a si mesmo o luxo problemtico de viver sem a grande lgica que se fazia no estrangeiro. Um nome importante do pensamento portugus deste sculo, lvaro Ribeiro, chega a mostrar algum menosprezo pela lgica na sua obra O Problema da Filosofia Portuguesa: A pretensa lgica formal tem sido uma extenso abusiva e errnea que conduz fatalmente ao discurso escolstico 19. Uma caracterstica do percurso da lgica pelo pensamento portugus no apenas a da ausncia. Se fosse esse o quadro geral, a terapia seria fcil. O drama intelectual que se vive em Portugal o de existirem muitas personalidades influentes na vida acadmica em ostensiva luta contra o pensamento informado pelas cincias e contra uma noo de filosofia como vanguarda da investigao em

18 No esto presentes neste diagnstico textos importantes sobre assuntos prximos do conceito de computao, como o artigo de Slvio Lima Crebros Electrnicos e Crebros Humanos (Psquico, Psicolgico e Ciberntico), Revista Filosfica, (1952), pp. 3-15, a reflexo sobre o conceito de informao na biologia de Maria Manuel Arajo Jorge (Uso e Abuso do Conceito de Informao em Biologia Molecular, Anlise, 15, 1991, pp. 113-131, e Biologia, Informao e Conhecimento, Lisboa, Fundao Calouste Gulbenkian e Junta Nacional de Investigao Cientfica e Tecnolgica, 1995), nem a aproximao feita entre a ciberntica e correntes tradicionais do pensamento feita por Filipe Rocha (Modelao ciberntica e analogia tomista, Revista Portuguesa de Filosofia, 30, 1974, pp. 163-184; Humanismo ciberntico, Revista Portuguesa de Filosofia, 31: 1, 1975, pp. 68-85; Ciberntica e Liberdade. A Maneira Nova de Pensar o Homem?, Braga, Faculdade de Filosofia, 1976; A racionalidade da ciberntica, Revista Portuguesa de Filosofia, 1982, pp. 343-354). 19 Lisboa, Inqurito, s/d (1942?), p. 70.

O DESTINO TRGICO DA LGICA PORTUGUESA

409

muitos assuntos promovidos no sculo XX. de um modo geral desconhecido o papel que a filosofia tem em lgica, em cincia cognitiva e em cincia da computao. Continua a ser motivo de surpresa para muitos pensadores portugueses que o papel da filosofia no seja menor, muito pelo contrrio. Dir-se-ia que continua a ser de bom-tom subscrever textos vagos e nebulosos. So possveis muitas leituras deste fenmeno 20, mas uma caracterstica importante a no olvidar so as palavras amargas de todos quantos quiseram investigar em portugus em lgica: carreiras feitas fora de Portugal (Aniceto Monteiro, Hugo Ribeiro), doutoramentos feitos no estrangeiro devido a uma completa ausncia de orientadores, dificuldade em trocar ideias 21 e em desenvolver grupos de discusso, departamentos de filosofia com pouco interesse em lgica (a alterao do nome desses departamentos para Departamentos de Lgica e Filosofia 22 talvez aumentasse o interesse pela melhoria da situao e a responsabilidade civil e intelectual das universidades), recurso desesperado por parte das faculdades a docentes menos habilitados para leccionar lgica, devido a um reduzido nmero de interessados, concursos para lugares de lgica que ficam por preencher, etc. Felizmente para o pensamento portugus, a grande abertura da sociedade portuguesa ao estrangeiro, o aumento da populao universitria e a constituio de grupos de interesse em lgica, em filosofia analtica, em filosofia da mente, em lingustica e em inteligncia artificial tm promovido iniciativas de mrito para a divulgao da lgica. Alguns sintomas agradveis do

20 Para uma das mais interessantes, no contexto da reflexo antiga sobre a produo cientfica portuguesa, ver Onsimo Teotnio Almeida, SantAnna Dionsio e a no-cooperao da inteligncia ibrica na criao da cincia, in J. Pinto Peixoto et al., Histria e Desenvolvimento da Cincia em Portugal no Sc. XX, vol. III (Lisboa, Publicaes do II Centenrio da Academia das Cincias de Lisboa, 1992), pp. 1707-1731. Num relatrio muito optimista sobre o ensino da lgica na ltima dcada do sculo XX, Paulo de Melo salienta as condies menos boas do ensino pr-universitrio que favorecem o desinteresse dos estudantes pela lgica (O ensino da lgica, in Fernando Gil, ed., Perfil da Investigao Cientfica em Portugal: Filosofia, Lisboa, Ministrio da Cincia e da Tecnologia, Fundao para a Cincia e a Tecnologia, Observatrio das Cincias e das Tecnologias, 1999, pp. 70-80). 21 O grande lgico brasileiro Newton da Costa (em correspondncia com o presente autor, a 26 de Julho de 2000) eloquente ao afirmar o problema da troca de ideias com os universitrios portugueses: estive diversas vezes em Portugal, mas jamais consegui fazer qualquer relao cientfica com um portugus; fiquei deveras frustrado com isso. 22 Esta uma das solues mais comuns em universidades estrangeiras. O exemplo de Espanha significativo.

410

DIACRTICA

interesse crescente pela investigao em lgica so os colquios em honra de Hugo Ribeiro (Instituto Superior Tcnico, 1989) e de Aniceto Monteiro (Universidade de vora, 1998), bem como a passagem por Portugal de uma importante iniciativa peridica da European Foundation for Logic, Language and Information (a V European Summer School in Logic, Language and Information, de 16 a 27 de Agosto de 1993, na Faculdade de Letras da Universidade de Lisboa). A introduo de um pequeno captulo de lgica simblica nos programas de filosofia do ensino secundrio durante os anos noventa constituiu a satisfao a uma exigncia h muito sentida. Ser longa a espera de resultados desta presena da lgica nos programas porque, ao mesmo tempo que se ensinam as novas geraes, tambm se deveria ter ensinado as velhas geraes dos que ensinam atravs de cursos de impacto forte. Mais importante do que estas iniciativas localizadas o aparecimento de uma licenciatura na Universidade de Lisboa em Engenharia da Linguagem e do Conhecimento. Este curso vocacionado para lingustica e para informtica mas um modelo do que as licenciaturas em filosofia poderiam fazer para aumentar o peso da lgica na estrutura curricular. Grupos de investigao e programas de mestrado e doutoramento com uma forte componente lgica outorgam um saudvel e seguro aspecto institucional a uma linha de trabalho ainda muito frgil no pas (por exemplo, L. Moniz Pereira e Amlcar Sernadas na cincia da computao e, na filosofia, os trabalhos de M. S. Loureno e de Joo Branquinho). com estes sinais prometedores, que a distncia temporal ainda no permite perspectivar com segurana, inventariar com detalhe e muito menos avaliar com justia, que importante fazer uma viagem a uma promessa ainda por cumprir do pensamento portugus. O pressuposto com que a viagem feita no bvio. A lgica das diversas disciplinas filosficas a que menos se adequa ao ponto de vista das filosofias nacionais. O tipo de problemas, a histria do assunto, os constrangimentos da argumentao, o modo de divulgao pblica dos resultados e, mais recentemente, a ligao quase imediata a aplicaes computacionais fazem com que o ponto de vista nacional no seja interessante. bvio que existe uma lgica chinesa que diferente da hindu ou da grega. Todavia, essa diferena um detalhe menor perante o objecto da lgica o estudo da racionalidade humana. No claro e, provavelmente, no verdadeiro que exista uma racionalidade chinesa diferente da hindu ou da grega. A viagem lgica portuguesa do sculo XX , pois, uma fico metodolgica. O objectivo mais cultural e filosfico do que lgico.

O DESTINO TRGICO DA LGICA PORTUGUESA

411

O que poder ser um diagnstico correcto da lgica portuguesa? (1) Apesar de s existir uma lgica e de ser amplamente conhecida a dificuldade em classificar os autores que nela trabalham, o critrio a adoptar dever ser muito claro: apenas devero ser considerados os autores de ostensiva formao filosfica. (2) um hbito terrvel na histria de um assunto intelectual dedicar um peso excessivo influncia estrangeira, como se a obra de um autor fosse a generosidade em se deixar influenciar. Assim, como no so as ideias estrangeiras que esto em causa mas o que os autores portugueses fizeram delas, dever ser dado relevo construo argumentativa e anlise dos textos desses autores. Nenhum autor grande por ter lido outros autores. Esse um assunto privado, ou de formao universitria, ou, ainda, de circunstncias sociais (a fragilidade terica de muitos autores dos anos trinta e quarenta grande devido enorme dificuldade em aceder produo intelectual estrangeira 23). Um autor merece ser estudado pelo seu contributo efectivo para o avano da disciplina em que trabalha. A histria da lgica filosfica portuguesa no oferece, infelizmente, dificuldades na seleco de autores. Apenas Curvelo contribuiu para o avano da disciplina. O mrito dos restantes (Vieira de Almeida, Miranda Barbosa, Magalhes Godinho, Vitorino de Sousa Alves) pedaggico. S possvel compreender a importncia relativa deste mrito pedaggico quando se tem presente o ambiente intelectual portugus hostil lgica (muitas vezes de modo absurdo). Estes autores foram excepes de grande valor para a vida das universidade a que pertenciam. A regra a adoptar , pois, a seguinte: s com uma ateno de pormenor quilo que efectivamente foi produzido 24 ser possvel traar um quadro geral da lgica 25 no pensamento filosfico portugus e evitar as sedues do wishful thinking.

23 Egdio Namorado chega a referir a qusi impossibilidade de se obter bibliografia conveniente e o desconhecimento surpreendente que muitos investigadores nacionais tm das lnguas estrangeiras, nomeadamente o alemo (A Escola de Viena e Alguns Problemas de Conhecimento, Coimbra, Atlntida, 1945, p. 16). 24 Neste local apenas sero considerados os lgicos menores. Noutros locais sero analisados os lgicos matemticos e computacionais, bem como a obra sem paralelo de Curvelo. 25 No existe ainda um conjunto suficientemente vasto de estudos de pormenor que permita fazer com segurana uma histria da lgica portuguesa. Um dos primeiros e melhores estudos de pormenor o artigo de Ruy Lus Gomes e Lus Neves Real, De Poincar ao intuicionismo actual na crtica dos fundamentos da matemtica; Reflexos no pensamento filosfico e matemtico portugus, Revista Portuguesa de Filosofia, II: 3-4 (1955), pp. 233-255. Este artigo enferma, todavia, de wishful thinking

412 II. Caminhos perdidos da lgica portuguesa Erro de perspectiva: Miranda Barbosa

DIACRTICA

As reflexes sobre a natureza da lgica em Arnaldo de Miranda Barbosa (1916-1973) encontram-se na sua dissertao de licenciatura, com o ttulo Lgica: Ensaio Esquemtico de Uma Lgica Pura como Fundamentao Mediata de Uma Teoria Axiolgica, de 1940, e na dissertao de doutoramento, A Essncia do Conhecimento, de 1947 (reimpressas nas Obras Filosficas, de 1996 26). Estas obras constituem um exemplo tpico do modo como a universidade portuguesa encarou a lgica durante dcadas. A desactualizao temtica enorme. O aristotelismo e o tomismo so apresentados como se constitussem a vanguarda do pensamento filosfico. O problema medieval dos universais discutido como se fosse um resultado da investigao mais avanada e ainda fosse possvel escrever teses originais sobre ele. Poucas ferramentas formais so introduzidas para o estudo destas correntes de pensamento. O simbolismo lgico est presente mas no desempenha qualquer papel til na equao e demonstrao de problemas. A exposio dos argumentos feita independentemente do formalismo. A notao lgica em Miranda Barbosa meramente decorativa e o propsito retrico claro: procura transmitir aos textos uma sofisticao que no corresponde aos contedos nem ao mtodo de argumentao. Se as teses filosficas so apresentadas em texto e no necessitam de uma linguagem menos ambgua para serem expressas, melhor fora que o simbolismo no estivesse de todo presente. Uma outra razo para a inutilidade dos smbolos lgicos reside na banalidade dos contedos lgicos que representam, por exemplo, a definio de composio e as propriedades de comutao, associao

porque no mostra qual foi o contributo efectivo do autor estudado (Sampaio Bruno) para o avano do problema dos fundamentos. Os organizadores do colquio em memria de Hugo B. Ribeiro sentiram a falta dramtica dessas ferramentas de trabalho intelectual; em resultado disso, organizaram uma antologia de textos de lgica portuguesa para apoio aos participantes no colquio (ainda no publicada): P. A. Almeida, Jos M. Ferreira e A. J. Franco de Oliveira, eds., Colquio de Lgica Matemtica memria de Hugo Ribeiro. Textos sobre Lgica em Portugal (27-29 de Abril, Lisboa, Instituto Superior Tcnico) (Lisboa, Sociedade Portuguesa de Matemtica, 1989). 26 Arnaldo de Miranda Barbosa, Obras Filosficas, ed. de Alexandre Fradique Morujo (Lisboa, Imprensa Nacional Casa da Moeda, 1996). Todas as referncias so feitas sobre esta edio.

O DESTINO TRGICO DA LGICA PORTUGUESA

413

e distribuio (p. 268). Os smbolos lgicos devem apenas ser utilizados ao modo dos submarinos de profundidade ou dos foguetes espaciais: sem estes instrumentos no poderamos ir aos lugares a que vamos com eles. A linguagem utilizada pouco clara, muito repetitiva e adjectivada. A m publicidade que Barbosa faz da sua obra e, inevitavelmente, da universidade portuguesa da poca mostra-se no excesso hiperblico da linguagem, em expresses como fulgor da verdade, ou em descries da actividade do pensamento como uma esfera paradoxalmente luminosa e obscura, indefinida e vaga, na qual mil planos se cruzam, desvairadas rbitas se desenham e se escancaram profundos abismos onde o prprio pensamento se despenha e tortura enrodilhado na impotncia das suas asas (p. 69). Numa avaliao geral da obra lgica de Miranda Barbosa, verdadeiro afirmar que ela tudo o que a lgica no deve ser: ambgua, verbosa, incorrecta na definio dos problemas, pouco original nos contedos, pouco humilde na delimitao do objecto de estudo 27. O leitor desprevenido facilmente desencorajado por aspectos menores e, infelizmente, frequentes dos textos. As leituras foram feitas sistematicamente em traduo, geralmente francesa ou espanhola, e existe pouco cuidado na citao de autores. Parece existir por vezes algum orgulho paroquiano na confisso que no se conhece uma determinada obra, como na afirmao inadmissvel: As lies de Kant na Universidade de Knigsberg foram editadas por Jsche em 1800, mas eu delas s tenho conhecimento por alheias e vagas referncias (p. 39). A neutralidade social e poltica do seu pensamento est ferida pela dedicatria que faz a um bispo catlico na sua dissertao de doutoramento, pelo desvio frequente que partes do argumento fazem teologia (p. 321) e por adjectivao excessiva (refere-se ao Cardeal Mercier como o sbio arcebispo, p. 309). A incluso de observaes religiosas em textos lgicos e gnoseolgicos, assuntos que no precisam minimamente delas, transmite ao leitor a impresso de mau mtodo e de pouca honestidade intelectual: estou sempre ao lado da Igreja quando impe o conjunto indestrutvel do pensamento racional, da aco da vontade e do sentimento da F para vivermos dentro

27 O tom encomistico dos participantes no congresso em memria de Miranda Barbosa s se compreende por razes afectivas que ligam os discpulos ao mestre; ver Alexandre Fradique Morujo et al., Introduo ao Pensamento Filosfico de A. Miranda Barbosa (Lisboa, Imprensa Nacional-Casa da Moeda, 1997).

414

DIACRTICA

de ns prprios as verdades e os valores religiosos, e fere de morte todas as heresias que o pretendem cindir (p. 61). Os argumentos de autoridade so frequentes, o mesmo acontecendo com a deselegante manifestao de gostos e opinies pessoais (p. 34). Um desastrado pedantismo mina todos as pginas: perdido num deserto de dvidas, resolvi adoptar um critrio pelo qual distinguisse as verdades e as separasse dos enganos, etc. Os traos de biografia intelectual que atravessam o argumento e que imitam longinquamente o modo cartesiano de colocar as questes so deslocados e torna-se difcil aceitar afirmaes chocantes como a seguinte: Sempre detestei tudo quanto fosse imperfeito e parcelar, por isso, me aborreceram as cincias em geral (e particularmente a matemtica, pela sua quantificao exclusiva e pelo seu dogmatismo impertinente) (p. 24). Ao longo de todas as pginas das dissertaes de Barbosa est presente a falta de humildade para com os problemas intelectuais: a delimitao dos temas mal conseguida e a propsito de um ou outro assunto so feitas digresses histricas superficiais e cansativas; alguns autores so apoucados com pinceladas rpidas (a obra de Kant uma iluso, p. 80); e os vinte sculos de reflexo lgica so considerados como incapazes de formular bem os problemas. Miranda Barbosa sente-se, bvio, capaz de fazer melhor que toda a histria da lgica desde os gregos (p. 79) e com a capacidade de antever o fim da investigao futura em lgica e as perguntas que nesse momento se colocaro (p. 174). Mais grave ainda a transmisso de lugares-comuns incorrectos: Pode dizer-se que o Estagirita construiu o edifcio lgico em bases definitivas: tudo o que depois dele se escreveu e meditou sobre os problemas estritamente lgicos foi acessrio e complementar (p. 34). Como facilmente se descobre, este texto uma parfrase de uma famosa aluso de Kant. Que algum em 1940 o tenha repetido constitui um absurdo imperdovel 28. Miranda Barbosa no conhecia Frege, Hilbert, a escola polaca, Russell, a escola de Viena e a lgica matemtica do incio do sculo? Esta posio tem como contexto a ideia que a lgica tradicional uma lgica perene, frente qual todas as outras lgicas tm uma vida efmera. Miranda Barbosa no explica qual a razo porque a lgica com origem em Aristteles uma lgica perene, e no uma lgica regional e datada. Nenhum argumento

28 Para uma panormica geral da riqueza do pensamento lgico anterior a 1940, ver Jean van Heijenoort, From Frege to Gdel: A Source Book in Mathematical Logic, 1879-1931 (Cambridge, Mass., Harvard University Press, 1967).

O DESTINO TRGICO DA LGICA PORTUGUESA

415

construdo para mostrar que todos os povos tm formas de pensar que so representadas com maior elegncia na lgica aristotlica. A ideia apresentada como se fosse bvia. As observaes que mais se aproximam de uma explicao (mas no so uma explicao) mostram o exagero da escrita: A Lgica tradicional tem perdurado atravs dos sculos porque se baseia, no em fantasias, mas em verdades constatadas pelo senso comum e confirmadas pela anlise aguda dos pensamentos. Pode dizer-se que a Lgica escolstica se fundamenta em realidades ideais insofismveis, reunidas num osis de luz rodeado por um deserto de dvidas (p. 151). Se o leitor substituir lgica por arte militar verificar a ausncia de sentido da explicao proposta por Barbosa. A retrica de autoridade que aqui est presente especialmente clara quando a lgica tradicional oposta lgica moderna. Escrevendo em 1940, Barbosa poderia ter encontrado exemplos mais felizes de lgicos seus contemporneos. Os que seleccionou (Jevons, Hamilton e Boole) dificilmente testemunham o estado da investigao nas primeiras dcadas do sculo XX. A lgica moderna afastada por poucas vezes seguir a lgica tradicional, por ser uma reaco contra esta e por ser incapaz de sistematizar os pensamentos com uma finalidade de fundamentao filosfica (p. 40). intil contrapor que todo o lgico contemporneo posterior a Lukasiewicz se sente contente por promover estas trs caractersticas. No esta a perspectiva de Barbosa porque a definio que tem de lgica como cincia pura do pensamento e das suas leis (pp. 38, 40 e 46) , de um modo geral, antiquada e incorrecta. Est, contudo, a favor de Barbosa a separao da lgica em relao psicologia 29. Esta definio obriga a que a actividade do lgico seja a de fazer o inventrio sistemtico do pensamento humano, nas suas trs partes principais, nomeadamente o conceito, o juzo e o raciocnio. Desta tarefa est excluda a investigao sobre os veculos pblicos das partes principais da lgica: o termo, a proposio e o discurso. O objectivo o de descrever a composio da ideosfera

29 Miranda Barbosa obteve, eventualmente, a ideia da separao entre a lgica e a psicologia da obra de Boole, um dos autores mais presentes nas suas dissertaes universitrias. A obra de Boole parte da proximidade dessas duas disciplinas e termina na defesa conspcua da sua separao. Ver, a este respeito, Nicla Vassallo, Analysis versus Laws: Booles Explanatory Psychologism versus His Explanatory AntiPsychologism, History and Philosophy of Logic, 18 (1997), pp. 151-163.

416

DIACRTICA

e mostrar como os conceitos se organizam segundo uma hierarquia comparvel a uma rvore genealgica de famlias aristocrticas (sic, p. 102). Apesar dos aspectos desagradveis da construo retrica dos textos, alguns problemas so interessantes. A ideia da lgica como introduo a estudos filosficos mais complexos, como o problema do conhecimento, de origem aristotlica. Fazer a defesa dessa ideia poderia ter propiciado um debate intelectual estimulante. Uma ideia interessante, igualmente de matriz aristotlica, a de promover uma investigao analtica e sistemtica dos pensamentos. Tambm neste caso, surpreendente que esta ideia no tivesse feito nascer na mente de Miranda Barbosa problemas como a categorizao e os constrangimentos biolgicos e evolutivos dos contedos mentais. Os aspectos mais positivos da lgica antiquada de Barbosa merecem ponderao. O objectivo que prope para a lgica demasiado ambicioso e expresso numa linguagem que no seduz. Todavia, o plano de fazer o inventrio dos pensamentos tem algo que se aproxima dos projectos de lnguas perfeitas, uma curiosidade do passado da lgica (John Wilkins, Seth Ward, Dalgarno, o volapk, etc.). Os autores desses projectos alimentaram o sonho utpico de categorizarem toda a realidade e de encontrarem palavras lgicas para todas as regies do real. O fracasso desses projectos mostrou a inutilidade em fazer a taxinomia perfeita das coisas do mundo. Barbosa esconde debaixo do rigor aparente de dissertaes universitrias a utopia de fazer o inventrio de todos os pensamentos humanos. Nenhum lgico se rev neste projecto. A tarefa da lgica diferente. A existir um inventrio, o das operaes do pensamento e no dos pensamentos considerados como objectos numa vitrina. A ideia de inventrio , porm, errada e ainda revela uma matriz semelhante s taxinomias iluministas. A ideia de criao mais adequada porque a maioria das noes lgicas no tem uma base emprica. O inventrio sistemtico da ideosfera de Barbosa tem pequenos aspectos mais interessantes do que o objectivo grandiloquente da sua lgica. A definio do difcil problema do contedo objectivo do conceito conseguida com meios simples. O contedo objectivo de um conceito um complexo ideal que a conscincia rene num termo e que atribui a um objecto (p. 82). Esta definio no isenta de dificuldades. As notas que constituem o contedo de um conceito so tambm conceitos e apartam-se umas das outras por notas diferenciais ou graus lgicos. Para alm de o significado de notas ou de grau

O DESTINO TRGICO DA LGICA PORTUGUESA

417

lgico no ser claro, a definio comete o erro de no incluir o fenmeno da ambiguidade conceptual 30 ou as situaes de linha de fronteira difusa. O modelo dos contedos mentais aqui presente vagamente atomstico (pp. 88, 95 e 235) e o resultado da definio frgil porque comete a falcia da petio de princpio. O que se deve definir (o conceito) est a operar como modo de definio. O aspecto mais robusto do inventrio da ideosfera a referncia. A relao de referncia considerada a base de toda a investigao lgica (p. 69) porque a cartografia do mundo dos pensamentos inicia-se com os conceitos. A relao da conscincia com o objecto exterior produz o conceito. Para alm de uma tnue aluso a Brentano, nenhuma explicao avanada para precisar as propriedades da relao de referncia. Como selecciona a conscincia os objectos? Porque se seleccionam conjuntos ou todos significativos como mesas e ces e no partes sem sentido, como mesa-montanha ou co-anjo? Ou, tomando o exemplo 31 de Lakoff, porque consideram os ocidentais as mulheres, o fogo e as coisas perigosas como categorias separadas do real enquanto alguns aborgenes australianos as renem numa nica categoria? Estas questes no so colocadas e nada nos textos uma resposta. A teoria do significado que completa a referncia intencional muito simples e afirma que o conceito expresso por termos da linguagem pblica, ao modo da roupa que veste os corpos e do vaso que encerra o lquido. Barbosa no reflecte outros parmetros do significado, como o contexto, a relevncia, a inteno ou a conscincia. O plano deste professor coimbro incoerente porque afirma que o objectivo maior da lgica a sistematizao integral dos pensamentos no exequvel nem til: uma classificao exaustiva da ideosfera inexequvel (pp. 47, 127 e 279). claro para os raros leitores de Barbosa que o plano no exequvel devido natureza dinmica do pensamento e complexidade de aspectos como a refe-

30 Tenha-se presente que foi na dcada de trinta que a reflexo filosfica sobre a ambiguidade teve incio e um grande desenvolvimento. Em 1937, o filsofo Max Black publica o ensaio famoso Vagueness: An Exercise in Logical Analysis (Philosophy of Science, 4, pp. 427-455; reimpr. in Language and Philosophy: Studies in Method, Ithaca, N. Y., Cornell University Press, 1949, pp. 23-58) e em 1930 o literato William Empson publica uma obra de referncia sobre o assunto, Seven Types of Ambiguity (London, Chatto & Windus; reimpr. Harmondsworth, Penguin Books, 1961). 31 George Lakoff, Women, Fire, and Dangerous Things. What Categories Reveal about the Mind (Chicago, The University of Chicago Press, 1987).

418

DIACRTICA

rncia, a teoria do significado e a intencionalidade que so ultra-simplificados nos seus textos. No clara, todavia, a razo para propor um plano que no exequvel. Todas estas caractersticas fazem com que seja difcil antever uma posteridade famosa para a obra lgica deste professor de Coimbra. O leitor comum poder passar por alto os aspectos infelizes dos textos que so facilmente atribuveis mentalidade da dcada de quarenta e a circunstncias regionais. No poder, contudo, apreciar problemas lgicos bem definidos nem estratgias intelectuais interessantes para os resolver. A prestigiosa Universidade de Coimbra ainda sofre por ter sido representada em lgica filosfica por uma obra menor como a de Miranda Barbosa. Se tivesse tido em lgica aquilo que teve na originalidade temtica e no brilho ensastico de Slvio Lima, a lgica em Portugal teria sido muito melhor. Mas este , como se sabe, um intil e doloroso enunciado contrafactual. Erro de profundidade: Francisco Vieira de Almeida A honra de introduzir a lgica simblica no discurso filosfico portugus do sculo XX pertence a Francisco Vieira de Almeida (1888-1962). O mrito grande, tal como grande a surpresa do estudioso ao verificar o vasto nmero de textos deste autor sobre assuntos muito diferentes da lgica. Vieira de Almeida consegue demonstrar pela sua obra que no existe incompatibilidade entre um pensamento cativado pelos assuntos tradicionais da reflexo filosfica e um pensamento militante em lgica. O interesse pedaggico das obras lgicas de Vieira de Almeida muito grande e ainda podem ser lidas com utilidade. So os seguintes os ttulos: A Impensabilidade da Negativa, de 1922; Promio Lgica, de 1930; Nota sobre o Ensino da Lgica em Portugal, de 1940 (estes trs ttulos foram reimpressos no primeiro volume da Obra Filosfica, de 1986 32); a Lgica Elementar, de 1943 (reimpressa no segundo volume da Obra Filosfica, de 1987); desse ano at 1952 publica na Revista de Portugal uma srie de artigos com o ttulo Lgica e sintaxe; Iniciao Lgica, de 1956 (reimpresso parcial no terceiro volume da Obra Filosfica, de 1988). Na revista

32 Obra Filosfica, Vol. I, 1911-1940, Vol. II, 1941-1947, Vol. III, 1948-1961 (Lisboa, Fundao Calouste Gulbenkian, 1986, 1987, 1988). Com excepo de Iniciao Lgica (Lisboa, Europa-Amrica, 1956), todas as referncias so feitas sobre a edio Gulbenkian.

O DESTINO TRGICO DA LGICA PORTUGUESA

419

Ocidente, de 1945 a 1947, publicou ainda pequenos textos com ostensivo contedo lgico, nomeadamente Projeco da lgica moderna e Ainda a projeco da lgica moderna. Com a excepo da Impensabilidade da Negativa, em que um problema original equacionado, as obras de lgica de Vieira de Almeida so de um modo geral de nvel introdutrio. A mais conseguida de todas foi a Iniciao Lgica, obra preparada para um trabalho conjunto com Curvelo e que apenas a morte prematura deste impediu. Tendo como ponto de partida a definio de lgica proposta por Gonseth (a lgica a fsica do objecto qualquer, Iniciao Lgica, p. 9), Vieira de Almeida procura construir uma lgica elementar sobre a anlise do pensamento expresso publicamente atravs da linguagem. A morfologia e a sintaxe das lnguas naturais possuem importantes estruturas lgicas que no so evidentes. Alguns exemplos (Iniciao Lgica, p. 22) mostram como a impreciso da lngua esconde um nmero elevado de operaes lgicas. Assim, os enunciados a. b. c. d. e. A elipse uma seco cnica, S. Mateus evangelista, A gmeo de B, Alguns homens so generosos e Neptuno deus do mar

so aparentemente dotados de propriedades semelhantes. A estrutura A B comum a todos os enunciados. Porm, as relaes internas que essa estrutura oculta so diferentes: implicao (a.), pertena (b.), unicidade do elemento de uma classe (c.), existncia (d.) e igualdade (e.). Outros aspectos das lnguas naturais so igualmente ricos em estruturas lgicas pouco evidentes: nomeao ou relao de correspondncia a coisas, subentender ou entimema, significado, predicao, relevncia, voz, tempo, modalidade, circunstncia, etc. A primeira obra do pensamento filosfico portugus do sculo XX em que clara a presena de temas lgicos e a utilizao de notao simblica na construo de argumentos a dissertao de concurso de Vieira de Almeida Faculdade de Letras da Universidade de Lisboa, A Impensabilidade da Negativa (publicada em 1922, 1972, e 1986). Esta obra enferma de uma estrutura que no seduz facilmente o leitor. O tema no apresentado com a clareza que pontifica nas obras de introduo lgica mas nas pinceladas largas que caracterizam habitualmente o ensasta dotado e o professor brilhante. Todo o texto teria

420

DIACRTICA

beneficiado de uma extensa reviso editorial. Alguns aspectos retricos poderiam ter sido atenuados, sobretudo o infeliz carcter programtico que o autor confere ao texto: estou apenas a indicar o caminho que procurarei seguir em estudos ulteriores, designar pontos de referncia para trabalho futuro, mostrar o esprito geral da srie de estudos, iniciada por este trabalho. Procurar isolar o fio do argumento , pois, uma tarefa difcil. A originalidade temtica deste texto e as inovaes lexicais da lngua filosfica em portugus que introduz faz valer, todavia, o esforo de leitura. O campo temtico sedutor: o estatuto do negativo, o nada, o impossvel, o impensvel, o insolvel, o incrvel, o inconcebvel, o irrepresentvel, o absurdo 33. O ensaio inicia-se com uma discusso sobre a natureza da filosofia. Este assunto no meramente decorativo e incuo porque Vieira de Almeida coloca os problemas filosficos no incio de uma reflexo sobre as formas de soluo prprias da investigao racional. A concatenao do argumento muito fluida e convincente. Quais os problemas de que se ocupa a filosofia? Quais os problemas que a filosofia compartilha com a cincia? Qual a forma de soluo dos problemas filosficos? O facto de alguns problemas filosficos reaparecerem frequentemente faz nascer a dvida sobre as solues propostas anteriormente para os mesmos e sobre as capacidades racionais humanas para os solucionar definitivamente. O que um problema insolvel? Vieira de Almeida responde a esta questo com grande fora mas sem retirar todas as consequncias do seu prprio ponto de vista. Problema insolvel aquele em que a insolubilidade foi demonstrada. Este um assunto estranho para a racionalidade humana. Qual o significado da expresso demonstrar que no se pode demonstrar? Solues recentes a questes deste tipo sublinham a dimenso histrica dos problemas filosficos. Assim, a pergunta famosa que o filsofo ingls Colin McGinn faz sobre um dos problemas mais difceis da filosofia ocidental Podemos solucionar o problema mente-crebro? tem as seguintes respostas: significativo que o problema no

33 A posteridade da investigao deste tema foi muito grande. Cf., por exemplo, John D. Barrow, Impossibility: The Limits of Science and the Science of Limits (Oxford, Oxford University Press, 1998); e Philip J. Davis e David Park, eds., No Way: The Nature of the Impossible (New York, W. H. Freeman, 1987). A lgica paraconsistente do brasileiro Newton da Costa uma resposta aos problemas colocados pelos paradoxos e contradies: ver do prprio os artigos acima citados. possvel discernir a presena deste tema na lgica de conjuntos difusos: Bart Kosko, Fuzzy Thinking: The New Science of Fuzzy Logic (New York, Hyperion, 1993).

O DESTINO TRGICO DA LGICA PORTUGUESA

421

tenha sido resolvido durante sculos e, como consequncia, legtimo afirmar que o problema no pode em absoluto ser alguma vez solucionado devido s limitaes cognitivas da mente humana 34. Em 1922 Vieira de Almeida no se apercebe da explosiva fecundidade terica que o seu gnio esboou em traos largos. Que a razo humana possua no seu interior paradoxos que resistem anlise algo semelhante a afirmar que um cego v, ou que o que v est cego, que o que anda est parado ou que o que est parado anda. compreensvel que Vieira de Almeida no retire consequncias do paradoxo que equacionou. O pensamento das primeiras dcadas do sculo excessivamente optimista e precisaria de Kurt Gdel, da fsica quntica e dos desaires da razo na segunda guerra mundial para aumentar o realismo sobre as suas capacidades. A noo de intratabilidade terica dos problemas intelectuais ainda estava a ser constituda. Perante o paradoxo, Vieira de Almeida opta por uma administrao do mesmo, mais do que dele retirar as consequncias. A insolubilidade pode ser parte do problema como entidade lgica ou ser parte dos dados do problema. No primeiro caso, demonstra-se logicamente que o problema insolvel (ao modo da demonstrao da quadratura do crculo); no segundo caso, procurar-se- descobrir se o que impede a soluo algum dado concreto ou a inadequao entre os dados concretos e as construes tericas dos problemas. Vieira de Almeida prope uma interessante tipologia dos problemas racionais. O grupo dos problemas divide-se entre quatro categorias principais. Aos problemas de facto correspondem formas de soluo dependentes da experincia e da investigao concreta. Aos problemas de relaes directas correspondem solues de auto-observao, investigao e construo. Aos problemas de relaes puro-abstractas correspondem solues de clculo sobre entidades racionais. Aos problemas de relaes duplas correspondem solues de elaborao lgica de dados. A ordem de dificuldade destas categorias de problemas clara: a primeira e a terceira categorias obtm frequentemente soluo; a dificuldade maior para a segunda e para a quarta categorias. Se Colin McGinn, perante o problema duro da conscincia, elabora o juzo Se no foi encontrada a soluo, ento significativo que no tenha sido encontrada a soluo, da que no possa ter soluo, Vieira de Almeida adopta uma outra estratgia: renovar o

34 Colin McGinn, Can We Solve the Mind-Body Problem?, in The Problem of Consciousness (Oxford, Blackwell, 1991), pp. 1-22.

422

DIACRTICA

problema muitas vezes a nica e verdadeira soluo. Os exemplos com que trabalha no so diferentes do problema de McGinn. O problema da conscincia, caracterizado como problema-limite, s pode ser retomado frequentes vezes no sistema de conhecimentos mas no solucionado definitivamente. Vieira de Almeida reconhece um estrato da razo que resiste ao inqurito. O argumento que utiliza no deixa nenhuma ambiguidade. Mesmo que os problemas tidos por insolveis obtenham uma soluo, a questo-limite permaneceria, talvez modificada, mas nunca destruda (p. 263). O mago do argumento reside no comentrio que feito a uma disputa entre Stuart Mill e Spencer sobre o termo inconcebvel. O que est em causa equacionado por Vieira de Almeida numa anlise que faz ao seguinte texto de Spencer: incrvel que um projctil de canho, arremessado da Inglaterra, v cair na Amrica; mas no inconcebvel. Reciprocamente inconcebvel que um dos lados de um tringulo seja igual soma dos outros dois (p. 269). Vieira de Almeida comea por dividir o campo do significado de inconcebvel em dois factos psquicos: a incredibilidade e a impensabilidade. O erro cometido por Spencer, do ponto de vista de Vieira de Almeida, o de irmanar a comparao de relaes com a comparao de objectos. Com a primeira, tem-se o juzo e o labor mental que a abstraco; com a segunda, tem-se a percepo. No aceitvel fazer uma comparao directa ou sensorial entre relaes ideais. O problema mais geral da representao auxilia a compreender a diferena entre ambas. O conjunto formado pela impensabilidade e pela incredibilidade enriquecido pelo oposto da representao, a irrepresentabilidade. Como exemplo do irrepresentvel est a noo de um corpo com as propriedades simultneas de no ter extenso nem resistncia. Pelo contrrio, concebvel a extenso sem a resistncia. Qual a linha de fronteira que medeia entre o concebvel e o irrepresentvel? Um critrio que define ambos o de o princpio do terceiro excludo s se aplicar ao mundo das ideias e dos conceitos e no ao que se pode representar. Assim, para se estabelecer a verdade do argumento a = b / c = b / a = c, ou a impensabilidade de se afirmar a sua negao, necessrio ter presente a diferena entre a negao de um facto dado por meio de percepes (o que corresponde a uma afirmao de inexistncia) e a negao de uma relao. Neste ltimo caso, afirma Vieira de Almeida, a negativa de certo inconcebvel, porque a sua impensabilidade precisamente um dos caracteres da intuio (p. 273). O caminho para decidir o problema da impensabilidade da negativa encontra-se num aspecto psquico o sentimento de evidncia.

O DESTINO TRGICO DA LGICA PORTUGUESA

423

revelador que no tenha sido apresentado o critrio lgico como soluo para este problema. Vieira de Almeida no era um lgico de corao mas um professor competente e empenhado. O assunto mais original a que aplicou as ferramentas da lgica contempornea no tem do seu ponto de vista soluo lgica. Um esprito lgico (como o do seu colega Curvelo) teria recusado a evidncia e proposto critrios formais para a operao lgica de negao. A distncia que Curvelo estabelece entre a validade de um argumento e o sentimento de evidncia vasta. Vieira de Almeida adopta um ponto de vista diferente e parece compreender a primeira luz do segundo. Erro de vocao: Vitorino Magalhes Godinho A presena do importante historiador Vitorino Magalhes Godinho num diagnstico cultural do pensamento lgico portugus no deixar de surpreender o leitor menos prevenido. O que justifica a presena de Magalhes Godinho o facto de a sua dissertao de licenciatura em 1940, Razo e Histria (Introduo a um Problema), se ocupar com grande qualidade (para um texto produzido no final de uma licenciatura) de aspectos do pensamento cientfico e lgico. A isto seguiu-se a publicao de uma obrinha de divulgao, em 1943, Esboos sobre Alguns Problemas da Lgica. A segunda parte deste livro, de maior densidade terica, foi reimpressa de forma independente no volume IV dos seus Ensaios, Humanismo Cientfico e Reflexo Filosfica 35, com o ttulo genrico Alguns Problemas de Formalizao (1971). No mesmo volume dos Ensaios foi igualmente reimpressa a obra Razo e Histria. O problema que Razo e Histria equaciona de metalgica, isto , de reflexo filosfica sobre as estruturas da lgica. Os Esboos, um texto de introduo lgica muito bem construdo, inserem-se na proposta de renovao da leccionao da lgica no ensino secundrio portugus, nas disciplinas de filosofia e de matemtica. Ambos os textos so preciosos por testemunharem as enormes dificuldades de produo intelectual em Portugal nos anos quarenta. Estas dificuldades eram especialmente momentosas na investigao lgica. Como Magalhes Godinho reconhece no prefcio do quarto volume dos Ensaios, sentia-se um pioneiro de estudo da lgica num ambiente

35

Todas as referncias so feitas sobre esta edio.

424

DIACRTICA

universitrio no receptivo melhor investigao estrangeira. Infelizmente, esse estudo auto-didacta s raramente foi acompanhado. O pequeno grupo de estudiosos de lgica que nessa poca compartilhava com Godinho o gosto pelo pensamento rigoroso e formal inclua as figuras grandes, mas tambm elas solitrias, de Sebastio e Silva, de Vieira de Almeida e de Curvelo. A formao tcnica em lgica no podia ser recebida na universidade e apenas o convvio feliz com Bento de Jesus Caraa, Antnio Aniceto Monteiro e Hugo Ribeiro desempenhou o papel formador que o ensino oficial da poca era impotente em promover. S uma grande mente pode formular com autoridade e ironia a caracterizao que fez do ensino portugus de meados do sculo XX: Gozmos, por isso, do privilgio de nada ter aprendido na Faculdade, e de nos podermos preparar nossa vontade. Esta liberdade de pensamento revela-se com muita fora no desejo de Godinho em rever o modo de formular o problema da lgica. O esprito geral das consideraes que dedica a este assunto o de crtica ao postulado da substantivao e da existncia autnoma da verdade. A argumentao de apoio a esta crtica constri-se atravs da anlise histrica da evoluo dos processos formais. Dois aspectos desta evoluo so especialmente importantes: a independncia progressiva do trabalho formal dos instrumentos lgicos e matemticos em relao aos contedos da investigao do concreto e a afirmao da historicidade constitutiva da razo humana. A respeito do primeiro, apresentada uma teoria operacionalista das noes cientficas que visa limitar a separao de esquemas formais em relao realidade natural. A respeito do segundo, frequente a defesa da tese que as ideias matemticas e fsicas se definem progressivamente com a experincia e a histria cientfica anterior. Qualquer platonismo matemtico afastado: A razo tem portanto uma histria (p. 116). Godinho revela na sua argumentao uma grande finura de anlise e no comete o erro de repetir facilmente noes equvocas. Est a seu favor, por exemplo, ter compreendido o papel de Kant na histria da lgica: Em Kant h uma teoria lgica que remodelada e ampliada nos nortear por rumos certeiros. preciso voltar a Kant (p. 119). O ponto de vista que Magalhes Godinho adopta nas reflexes sobre lgica o do historiador interessado em compreender como as ideias cientficas derivam da realidade social e influenciam o seu progresso. A linha principal do argumento de Razo e Histria critica a facilidade aparente com que os lgicos e matemticos utilizam os princpios lgicos. Aos olhos destes profissionais, os princpios lgicos

O DESTINO TRGICO DA LGICA PORTUGUESA

425

so eternos porque so vlidos independentemente de determinaes temporais. Os princpios lgicos de identidade, de no contradio e do terceiro excludo constituem a base de um modelo de racionalidade muito antigo e imune transformao histrica das sociedades. Se algum tivesse que resumir em poucas palavras as estruturas principais da sua razo seria muito provvel que indicasse os princpios lgicos. Diria algo semelhante ao seguinte enunciado: o que caracteriza a minha razo pessoal , entre outros aspectos, o respeito pelo princpio de identidade. Poderia, se pressionado, confessar quase em desespero: a minha razo adopta o princpio de identidade porque nada consegue pensar na sua ausncia. O problema terico que Magalhes Godinho discerne com perspiccia na utilizao dos princpios lgicos o da facilidade com que se considera intemporal uma determinada configurao da racionalidade humana. Porque parece o princpio de identidade to evidente e to intemporal? Afirmar que A = A possibilita a construo de robustos edifcios de lgica e de matemtica. O movimento de formalizao matemtica caracteriza-se por ligar todo o conhecimento disponvel numa rea de investigao (aritmtica, teoria de conjuntos, topologia, ou qualquer outra) a enunciados evidentes e simples, os axiomas. Num certo sentido, s existe conhecimento matemtico porque se encontrou o modo de administrar o sentimento de evidncia que os princpios lgicos proporcionam. A intuio criativa, as noes primitivas ou no definidas e a demonstrao a partir de axiomas compartilham com os princpios lgicos a aparente falta de necessidade em serem justificados. Todos os enunciados vlidos num dado corpo de conhecimentos matemticos se demonstra com essa evidncia, mas a evidncia por si mesma no demonstrada. Nem os matemticos, nem os lgicos so atormentados pela pergunta Porque tem a minha razo a caracterstica de aceitar alguns enunciados como evidentes?. A racionalidade humana no tem forma de pensar um valor varivel segundo o tempo para o princpio de identidade. O enunciado A = A verdadeiro no tempo da Revoluo Francesa, no tempo da primeira viagem martima at ndia, no tempo dos celtas e no tempo dos Neanderthal. A suspeita fina que Magalhes Godinho levanta sobre a aparente intemporalidade das estruturas lgicas da racionalidade humana no tem, todavia, soluo na investigao histrica. O ponto de vista do historiador importante mas Godinho acrescenta alguns dados da investigao antropolgica e psicolgica. A linha de investigao esboada por Godinho prometedora e continua em aberto. Algumas dcadas depois da publicao

426

DIACRTICA

da dissertao de licenciatura seria possvel acrescentar outras cincias que estudam o problema, nomeadamente a cincia cognitiva, a teoria da racionalidade, a psicologia evolutiva e a filosofia da mente. Como combate Magalhes Godinho o mito da intemporalidade dos princpios lgicos da razo humana? Srias dvidas podem ser colocadas a um modo de fazer cincia que tende a separar progressivamente os instrumentos geomtricos dos fenmenos fsicos estudados com esses instrumentos. Um modo de deter a separao entre as formas de representao e os objectos representados o estudo de estruturas especiais que clarifiquem as propriedades de um sistema nico que inclua a geometria e os objectos fsicos. No apresentada nenhuma definio ostensiva do que Godinho entende por estrutura especial e por sistema nico. O que mais se aproxima no seu argumento s caractersticas de um sistema nico que rena representao abstracta e contedo fsico concreto a noo de objecto. Para Godinho, um objecto no definido independentemente das relaes e operaes (p. 73). possvel apreender de um modo intuitivo o argumento de Godinho sobre a noo de objecto. Uma parte importante do significado de mesa deriva de procedimentos como a produo tcnica de mesas ou a utilizao quotidiana de mesas. O que significaria mesa se ningum no mundo soubesse produzir uma? O que significaria se no servisse qualquer fim til? A ligao de dependncia entre o significado e a produo do objecto est tambm presente nas noes lgicas e matemticas. Se bem que a noo de algoritmo no seja utilizada ostensivamente neste contexto, desempenha no argumento um papel importante atravs na noo prxima de regra de produo. O exemplo geomtrico pode ser aplicado a todo o conjunto de conceitos cientficos: A ideia de circunferncia a lei para a construirmos, lei que no pura forma porque est implacavelmente unida, intrinsecamente conexa a uma conduta, a uma operao de relacionao (p. 74). A ideia de nmero dois explicada com grande preciso fenomenolgica pela interaco de dois homens numa operao de troca comercial (p. 123). A influncia da epistemologia gentica de Piaget muito forte neste ponto. Os comportamentos operatrios possuem um papel importante na origem das ideias matemticas, como a ordenao, a contagem, a correspondncia, a reunio, a distribuio, a mensurao e a referenciao. Para que o argumento seja completo falta, porm, a demonstrao que todas as noes lgicas e matemticas possuem uma gnese comum e nica. Os mtodos de prova lgica tambm se poderiam incluir numa teoria da gnese

O DESTINO TRGICO DA LGICA PORTUGUESA

427

operatria? forado considerar, por exemplo, a demonstrao por reductio ad absurdum um mtodo com origem em condutas operatrias. A defesa do operacionalismo conceptual conduz Godinho a diminuir o valor do formalismo lgico a favor da utilizao pragmtica das noes: as ideias so a ferramenta da nossa actividade sobre o mundo. Longe de estarem includas apenas no plano verbal, pertencem ao comportamento transformador do meio. Concluso oposta do formalismo lgico (p. 75). O operacionalismo de Godinho aproxima-se em certos aspectos famosa obra de Percy Bridgman, The Logic of Modern Physics, e compartilha com ela algumas dificuldades de argumentao. A gnese operatria das noes lgicas comum gnese das noes fsicas. possvel aceitar exemplos concretos em apoio deste ponto de vista: Os recentes progressos da fsica mostraram que as noes no tm sentido independentemente das operaes que as inserem na realidade. O tempo no existe sem um processo para o medir: relgio, clepsidra, ou a simples sucesso dos dias e das noites (p. 115).Todavia, difcil aceitar que todas as noes fsicas esgotem o seu significado nos procedimentos instrumentais. A teoria metalgica de Godinho enferma de um idealismo excessivo na avaliao que faz da lgica formal. No por ele considerado o facto de a lgica ser uma cincia to histrica como as outras e que a descoberta de novos conceitos, novas operaes e de novas formas de representao simblica dependem de processos de criatividade muito complexos. A crtica ao aparente distanciamento da lgica em relao ao real frgil por uma outra razo. O argumento que estrutura a sua tese falacioso em muitos aspectos: as proposies lgicas no podem ser afeioadas por nada de exterior; totalmente vazias de contedo se a lgica no brota da experincia, por fora necessita de erguer-se por leis prprias Atingimos de novo a zona das verdades eternas e da perptua imobilidade. Negmos de um golpe a feio histrica do real e da cincia que o tenta subjugar (p. 81). A concluso deste argumento no se segue das premissas. Se o leitor substituir proposies lgicas e lgica por filmes de Hollywood compreender como a concluso tem um mbito superior ao que est includo nas premissas (assumindo, obviamente, que a lgica to histrica e to filha de sociedades humanas quanto a produo dos filmes de Hollywood). Desde os gregos que uma das mais fortes motivaes do pensamento lgico-matemtico tem sido a estranha proximidade das estruturas lgicas em relao ao real. Este um facto absoluto e enigmtico: o real parece coincidir com a racionalidade humana e esta com aquele. Numa conferncia de 1959, o fsico Eugene

428

DIACRTICA

P. Wigner denominou esta estranha coincidncia uma eficcia irracional da matemtica nas cincias naturais 36. Parece escapar a Godinho a lio mais profunda desta eficcia quase irracional: por muito que o formalismo lgico parea afastar-se do concreto, mais tarde ou mais cedo ser descoberta uma zona da realidade a respeito da qual esse formalismo constituir a representao mais fiel. A origem das geometrias no-euclidianas uma ilustrao conspcua deste acontecimento frequente na histria das cincias lgico-matemticas. A teoria da relatividade demonstrou que a compreenso do universo exige geometrias que pareciam, no momento em que foram publicadas, as mais afastadas do real. A perspectiva de Godinho diferente. Est em causa a fragilidade das explicaes lgico-matemticas do concreto. O real possui, do seu ponto de vista, um resduo de irracionalidade que impede a identificao completa dos produtos lgicos da razo com o real representado por esses produtos: o carcter de algum modo irracional da realidade (p. 82). Este resduo de irracionalidade est presente em dois nveis: nas relaes do racional com o real e no mago do racional. Como acima se viu, Godinho coloca muitas dvidas capacidade humana de esgotar o enigma do princpio de identidade. O mais evidente enunciado que a razo humana pode produzir tem um ncleo opaco luz do inqurito racional. O problema precisamente que seja um enunciado evidente. Godinho confessa com melancolia a impotncia em aprofundar o que se esconde debaixo da luz da evidncia: Poderamos legitimamente concluir que se ignora afinal em que consiste o princpio de identidade (p. 85). Magalhes Godinho aproxima-se de Vieira de Almeida no interesse pelo sentimento de evidncia proporcionado pelos princpios lgicos. Falta-lhes o ponto de vista lgico para compreenderem que a ignorncia sobre o que subjaz racionalidade humana no impede o trabalho lgico. Desconhecer porque so evidentes os princpios lgicos ou porque tem a razo as categorias que tem e no outras so assuntos que no preocupam o lgico. Em Esboos sobre Alguns Problemas da Lgica, Godinho ocupa-se, de um modo muito pedaggico, de noes lgicas elementares, como relao, operador, clculo proposicional, induo matemtica e necessidade na demonstrao. O texto de nvel introdutrio mas inclui a

36 Eugene P. Wigner, The unreasonable effectiveness of mathematics in the natural sciences, Communications in Pure and Applied Mathematics, 13: 1 (1960); reimpresso in Symmetries and Reflections (Woodbridge, Conn., Ox Bow Press, 1979), pp. 222-237.

O DESTINO TRGICO DA LGICA PORTUGUESA

429

discusso de aspectos difceis da lgica do sculo XX. Um exemplo excelente e raro em textos de divulgao a abordagem da operao de incompatibilidade tal como foi estabelecida pelo lgico americano Sheffer e pelo princpio de incompatibilidade de Nicod (a afirmao de um facto e a sua negao so incompatveis, p | ~p). A metalgica presente nos Esboos claramente operacionalista e no se afasta do afirmado em Razo e Histria: na indissolvel conexo da inteligncia concreta e da inteligncia simblica reside a raiz da inteligibilidade do conhecimento cientfico (p. 160). A qualidade dos argumentos de Magalhes Godinho muito elevada. A modstia (apontamentos dispersos sobre o problema da explicao cientfica, p. 116) e a elegncia textual com que os apresenta so uma raridade preciosa no meio intelectual portugus dos anos quarenta. Apesar de no ter feito nenhum contributo para o avano da lgica formal, a sua filosofia da lgica coloca problemas ainda por resolver e, mais importante ainda, tem fora suficiente para afirmar que talvez no possam de todo ser resolvidos. intil, pois, afirmar quanto se lamenta que este historiador de vocao matemtica, como ele mesmo se define, no se tenha dedicado mais lgica que tanto o interessou. Todos teramos muito a ganhar com isso.

III. O que fazer depois do diagnstico cultural? Depois deste diagnstico geral da lgica no sculo XX e de uma anlise de algumas das questes colocadas por trs obras tpicas, o que fazer? Construir tudo de novo. Se os dados do problema so estes, importante comear a pensar nas terapias. Uma j foi avanada: alterao do nome dos departamentos de filosofia para departamentos de lgica e filosofia. O estado menos satisfatrio em que se encontra um componente to importante da filosofia em Portugal um indcio do que se passa nos restantes campos (a filosofia do direito e a reflexo sobre a identidade portuguesa so eventuais excepes devido qualidade e vastido da produo escrita nestas reas, s comparvel dos mdicos psiquiatras do final do sculo XIX e incio do XX). Ningum acredita que um problema grave no corao ou no crebro de um ser humano lhe permita ter uma vida saudvel e feliz. Se no existisse anlise matemtica na comunidade que pratica matemtica em Portugal, dificilmente isso seria algo a favor dessa comunidade. Em disciplinas to importantes como a lgica, s so aceitveis sinais de

430

DIACRTICA

sade. O diagnstico no feito sobre reas menores da investigao filosfica. Se se fizesse o diagnstico da investigao portuguesa em filosofia bizantina, o resultado seria ainda mais dramtico. A lgica tem, porm, uma importncia muito superior filosofia bizantina. As lacunas numa rea to estrutural como a lgica fazem temer o pior para o avano das outras reas da investigao filosfica. A filosofia tem sido trabalhada de um modo pouco profissional e excessivamente dependente de personalidades. No contexto geral da excessiva admirao que Portugal tem em relao formao especializada feita no estrangeiro (admirao discernvel desde o Renascimento mas aumentada no tempo dos estrangeirados iluministas), no aconselhvel continuar a insistir na terapia nica que defende que a formao no estrangeiro melhora a investigao portuguesa em geral. Depois de tantos sculos a aplicar apaixonadamente essa receita, um enigma que no se compreenda que a soluo no pode ser essa. As solues bolseiro e estrangeirado no funcionam. As condies das sociedades contemporneas no permitem amadorismos na investigao cientfica. A boa notcia que a filosofia faz parte do melhor da investigao cientfica ainda no chegou a Portugal. Um modo interessante de promover a qualidade profissional dos que trabalham em filosofia em Portugal seria a constituio de uma Ordem de Filosofia e Letras. As ordens profissionais tm uma longa data e a avaliao geral do seu papel muito positiva. Para evitar dramas intelectuais como o que se passou com a lgica no sculo XX em Portugal (algo semelhante a no existir cardiologia em medicina), seria interessante que o desempenho de funes profissionais em filosofia e letras (docncia, carreira de investigao exclusiva e outras) fosse tutelado por pares. Obviamente que as pessoas poderiam fazer as licenciaturas independentemente de vida profissional posterior nas reas de formao. O objectivo de uma ordem profissional garantir um nvel mnimo de qualidade e potenciar a procura de um nvel mximo. Entre as tarefas de uma Ordem de Filosofia e Letras estariam as seguintes: exames de lgica, avaliao de trabalhos monogrficos, exames de lnguas clssicas, exames de lnguas estrangeiras absolutamente imprescindveis para a investigao em filosofia, promoo da investigao em reas filosficas pouco cultivadas. A atmosfera de facilidade na formao e na escolha de temas de investigao acadmica que respira a populao de licenciados em filosofia no augura nada de bom. A Ordem poderia promover tarefas obrigatrias para o desenvolvimento da lgica em Portugal: aumento horrio e temtico dos pro-

O DESTINO TRGICO DA LGICA PORTUGUESA

431

gramas de lgica nas licenciaturas em filosofia, programas de doutoramento exclusivos para lgica, reforo conspcuo da lgica no ensino secundrio (seja em filosofia, seja em matemtica, onde a situao tambm no brilhante), organizao da carreira de investigao exclusiva em lgica, introduo nos currculos de filosofia de disciplinas opcionais com relevo para a lgica (cincia cognitiva, princpios de computao, inteligncia artificial), introduo de disciplinas filosficas em cursos de licenciaturas diferentes de filosofia (lgica filosfica, filosofia da mente e filosofia da linguagem em informtica e psicologia, filosofia da matemtica em matemtica). Os amantes da lgica sabem que a razo est do seu lado; falta, pois, convencer os mais distrados. *

* Conferncia no Seminrio Internacional Histria do Pensamento Filosfico Portugus, organizado pelo Centro de Filosofia da Universidade de Lisboa, a 26 de Novembro de 1999. Agradeo ao Professor Pedro Calafate, da Universidade de Lisboa, o privilgio de apresentar este texto nessa ocasio e o apoio crtico e diplomtico a algumas ideias iconoclsticas que defendo sobre a filosofia portuguesa contempornea. (Eventuais crticas ao texto, que solicito e agradeo, devero ser enviadas para jmcurado@ilch.uminho.pt).