RESENHAS

SILVA, Jairo Jos da. Filosofias da matemtica. So Paulo: Editora UNESP, 2007.
Marcos Silva * 1

O livro do professor de matemtica e filosofia, Jairo da Silva, publicado em 2007 pela editora UNESP, vem expor (e defender) a perenidade dos problemas filosficos concernentes multifacetada matemtica ao longo da histria do pensamento. A aprioricidade, a universalidade, a necessidade, a indispensabilidade, a aplicabilidade irrestrita, qualidades filosoficamente convidativas da matemtica, so analisadas nesta obra pioneira em portugus. O livro publicado em bom momento para suprir esta lacuna editorial e para marcar os esforos de consolidao da pesquisa em filosofia da matemtica e da lgica matemtica no Brasil. Esta pesquisa representada em boa medida, como Jairo da Silva destaca, pelos Encontros Brasileiros de Lgica e pelos Colquios Conesul de Filosofia das Cincias Formais, anuais, em Santa Maria, RS. Com prosa clara e agradvel o livro do professor Jairo cumpre o papel que pretende em seu prefcio: o de ser til quele estudante, no importa sua origem intelectual, que queira se iniciar na Filosofia da Matemtica, mas que talvez no tenha estudado nenhuma filosofia antes e de matemtica s conhea o elementar (sem, no entanto, alienar os j iniciados tanto num domnio quanto no outro) (p. 23). Seguindo esta proposta sua obra tem flego e qualidade suficientes para conquistar um
*

Doutorando pela PUC-Rio. E-mail: marcossilvarj@hotmail.com Resenha recebida em 07.10.2009, aprovada em 02.03.2010. Agradeo aos professores Luiz Carlos Pereira e Oswaldo Chateaubriand tanto pela indicao deste livro quanto pelo incentivo para esta resenha.

Natal, v.16, n.26, jul./dez. 2009, p. 285-297

286

Marcos Silva

pblico amplo. Pode, ento, ser lida por nefitos procurando panoramas conceituais e histricos acurados ou ser adotada por professores procurando textos-base para suas aulas de graduao e ps-graduao. Pode ser lida sem prejuzos tanto por estudantes de matemtica interessados nos fundamentos e problemas tericos de sua disciplina quanto por estudantes de filosofia interessados pelo terreno preciso e bem comportado da matemtica, onde todos os temas tradicionais da filosofia reaparecem, seminais. De Plato aos contemporneos, de ontologia epistemologia, de realismos ingnuos a idealismos radicais, de perspectivas intensionais a elogios extensionalidade, de proponentes a detratores da metafsica, so todos temas e tenses revisitados de maneira profcua pelo livro. Alis, aqui temos um ponto de fascnio que estimula o interesse pelo pensamento em geral e pela filosofia da matemtica em particular: todas as grandes questes e debates filosficos encontram acolhida e resurgem, caprichosamente, repaginados, mesmo em um domnio marcado pela exatido, formalismos e objetividade. interessante e revelador poder discutir filosofia em terreno que deveria sempre, por princpio, primar pela clareza e certezas. Apesar de introdutrio o Filosofias da Matemtica apresenta e defende uma tese de seu prlogo ao eplogo, iniciando e perfazendo cada captulo, a saber, a necessidade de se tomar a matemtica e sua filosofia em diacronia. Com efeito, Jairo da Silva defende a importncia da historicidade da matemtica no estudo de sua filosofia, ponderando suas crises, fracassos, retomadas e evolues. A matemtica, segundo o autor, reflete a cultura onde criada, sendo intil, ento, procurar uma essncia que poderia ser revelada pela filosofia ou qualquer investigao mais sistemtica de seus amplos domnios. Coerente com esta proposta, para cada autor ou corrente filosfica apresentada, h em seu livro uma introduo histrica onde se mostra, em panorama, o nvel de evoluo das tcnicas e procedimentos matemticos e os debates tericos e tcnicos contemporneos a eles. A partir de uma chave de perguntas bem determinada o autor apresenta e analisa a atividade filosfica que perscruta a matemtica em suas teorias. De fato, perguntas sobre o que so os objetos matemticos (ontologia matemtica), como conhec-los (epistemologia matemtica) e por que podem ser aplicados de maneira sistemtica realidade emprica, uma vez que sejam independentes dela, so (e devem ser) itens permanentes em qualquer pauta de discusso sobre a filosofia da matemtica.

Resenha

287

Alm disso, outra questo que se impe a qualquer terico, como bem mostra o livro do professor Jairo, determinar em que medida caberia filosofia regular a atividade do matemtico, apontando o que legtimo ou ilegtimo em suas prticas, revisando e legislando sobre o que feito. Sob esta viso, o filsofo poderia decidir, em princpio, sobre a validade das regras de um terreno especfico extra-filosfico. Em oposio a esta perspectiva mais crtica e restritiva, o filsofo da matemtica poderia adotar posturas mais descritivas das atividades, destacando que a prtica dos matemticos sob esta viso o teste genuno para boas teorias filosficas. Desta forma, esta proposta se coaduna tese tradicional que defende a matemtica como padro de verdade e dotada de papel privilegiado no esquema geral da razo humana. Como fica evidente na obra de Jairo da Silva, esta pequena contenda j mostra o potencial problematizador da filosofia em sua excelncia, porque alm do prprio domnio estudado, o proceder filosfico posto em questo tambm, e se argue sobre sua prpria legitimidade e alcances. Apesar da filosofia com freqncia se extrapolar, ela mesma tomada em dvida e anlise. Outra tese defendida pelo autor a respeito da origem dos maus entendidos freqentes ao se esperar da filosofia da matemtica um comportamento de cincia, ou seja, esperar que o filsofo seja cientista e se comprometa com a existncia de uma teoria verdadeira. Esta confuso fica particularmente clara quando entendemos que a prpria noo de teoria e verdade esto sob judice na filosofia. Jairo da Silva destaca, e este certamente um ponto notvel de seu livro, que filosofia no precisa veicular uma teoria verdadeira sobre domnios de observao, mas teorias interessantes. Esta caracterstica, de ser interessante, desempenha papel importante na concepo de filosofia do autor. A partir da inevitvel constatao que muitas teorias filosficas apesar de consistentes so incompatveis entre si, sem que uma delas seja ou possa ser descoberta como a verdadeira teoria, o autor observa que se cincia emprica cabe explicar e prever, sujeita sempre ao crivo da experincia, filosofia cabe fornecer-nos conceitos e ideias, sistemas, teorias ou perspectivas, sujeitas sempre ao confronto com suas rivais, cuja funo antes descortinar questes interessantes, interpretaes iluminadoras (ainda que no a rigor verdadeiras), insight ou caminhos promissores. (p. 235)

288

Marcos Silva

Da o ttulo do livro, onde filosofia aparece propositadamente no plural. As correntes filosficas mesmo sendo excludentes entre si podem, ento, descortinar ou revelar um aspecto pertinente e seminal sobre a natureza da matemtica. Este certamente o ganho do livro de Jairo, a generosidade de viso, importante em um livro introdutrio para no coibir o horizonte do leitor iniciante. Fica claro que cada perspectiva apresentada e defendida pelos filsofos pode contribuir de seu modo para evidenciar uma parte da matemtica. Mesmo erros em teorias podem gerar bons subprodutos por serem, sobretudo, esforos que evidenciam determinadas caractersticas centrais de um domnio. Cada perspectiva ou programa filosfico pode iluminar um recanto particular de um domnio amplo e multifacetado, destacando que s vezes buscar solues mais frtil que obt-las (p. 110). Assim o autor vem defender, de encontro s teses de Wittgenstein ecoadas pelo positivismo lgico, a dignidade e existncia dos problemas filosficos, sempre inevitveis, inextinguveis, irrefreveis: A matemtica fonte constante de questionamentos que transbordam os seus limites e requerem um contexto propriamente filosfico para serem adequadamente tratados. A filosofia da matemtica o departamento do imenso edifcio da filosofia que tem por competncia acolh-los. No prlogo de seu livro, mais especificamente nesta crtica de carter mais geral, o nico lugar em que o autor menciona a filosofia de Wittgenstein. Esta uma omisso, a meu ver, sentida e no justificada em pelo menos trs lugares de seu livro, onde a filosofia de Wittgenstein, mesmo com suas rupturas e teses extravagantes, poderia contribuir na composio dos panoramas conceituais e claras influncias histricas. Destaco-as: (i) ao discutir a importncia da noo de uso em Dummett e fazer um elogio ao construtivismo lingstico (p. 177); (ii) ao discutir e elogiar teses carnapianas sobre a composio lingstica do contedo matemtico (p. 229), em ambos os pontos faltou algum tratamento, mesmo que incidental, da noo de regras e seu papel central nas vises pragmticas de manipulao de smbolos. E (iii) num ponto em que quase parafraseia, acredito que inadvertidamente, a famosa teoria da representao (Bildtheorie) do Tractatus de Wittgenstein: Mas essas associaes [de seqncia e operaes de barras a outras seqncias e operaes de outros objetos] no so arbitrrias. | | s pode ser associado a {a,b}, porque existe uma relao de correspondncia um-a-um entre as barras da seqncia

Resenha

289

quanto coleo. Assim, deve existir algo que tanto a seqncia quanto a coleo que corresponde a ela tem em comum. apenas em virtude dessa identidade formal que a teoria das seqncias de barras pode ser aplicada. Com efeito, Wittgenstein, em seu Tractatus, defende uma concepo metafsica de simbolismo que demanda uma relao biunvoca preservativa entre representao e representado que evidenciaria uma forma lgica comum entre seus elementos componentes (cf. Tractatus 2.18). Alm disso, aqui no um caso de falta, mas, talvez, de excesso, a fenomenologia de Husserl aparece com certa insistncia em muitos momentos na obra do professor Jairo e em alguns pontos, de maneira surpreendente, porque pouco usual na literatura, por exemplo: no apndice teoria da abstrao aristotlica, numa analogia ao logicismo de Frege, na meno ao formalismo do grupo Bourbaky e na recomposio do programa de Hilbert ps-teoremas de Gdel. Em quase todos os pontos em que Husserl mencionado, Jairo da Silva o defende como autor que influenciou diretamente teses defendidas ao longo do sculo XX, mas que nunca foi referenciado devidamente pela literatura especializada. Esta insistncia em Husserl mostra que o livro de Jairo no inteiramente isento, apesar de introdutrio, e seu panorama tende a privilegiar elementos fenomenolgicos e epistemolgicos da matemtica. A par disso, este elogio tcito fenomenologia contrasta com um tom jocoso e desencaminhador em tratar outras teorias da ordem do dia, com acentos mais ontolgicos que epistmicos, como o platonismo. Refere-se a estas teorias tradicionalssimas como teorias de lugar nenhum, de lugares celestes ou puramente utpicos (cf. p. 178). O platonismo conhecido, por dentre outras qualidades: explicar a viso ingnua do matemtico, no restringindo sua atividade; ter como base a intuitiva verdade por correspondncia; aceitar procedimentos usuais como provas indiretas; apresentar certo otimismo epistemolgico, por acreditar que as verdades da matemtica j esto todas determinadas independentes da atividade humana. Apesar de ser difcil identificar o locus dos objetos matemticos e de determinar o tipo de acesso epistmico a estes objetos, o platonismo uma sada interessante para os problemas matemticos. Alis, estas perguntas, como feitas pelo professor Jairo, sobre que lugar ocupariam estes objetos matemticos independentes, parecem excessivamente contaminadas por imagens e intuies espaciais, exigindo justamente de objetos abstratos o que no podem dar. Ora, se

290

Marcos Silva

forem entes abstratos, no so fsicos, logo no faz sentido perguntar onde estariam como perguntamos sobre objetos materiais. Alm disso, a insistncia no problema do tipo de acesso que teramos a estes objetos mostra uma intruso epistemolgica, que tem como marco questes kantianas, num terreno propriamente ontolgico. Portanto, h claramente certo desequilbrio no panorama do livro, tanto em contedo no caso da filosofia de Wittgenstein como em tom evidenciado pelo tratamento diferenciado e elogioso fenomenologia, mesmo que no explcito, e indevido quanto ao platonismo matemtico. A omisso de Wittgenstein, por exemplo, mereceria ao menos uma nota que a justificasse. Entretanto este fato certamente no compromete o brilhantismo da sua obra quanto erudio e domnio do autor em relao matemtica, filosofia e articulao seminalssima entre as duas. * * *

O livro dividido em 5 grandes captulos sendo os dois primeiros, um sobre Plato e Aristteles e outro sobre Leibniz e Kant, de carter mais histrico e introdutrio s questes em filosofia da matemtica do fim do sculo XIX e do sculo XX. Este perodo consensualmente tomado como filosoficamente mais maduro e com avanos mais bem consolidados em tcnicas e teorias matemticas. Este perodo representado pelos captulos sobre Frege e o Logicismo, outro sobre os vrios tipos de construtivismo e um ltimo sobre o formalismo e o programa de Hilbert. Os captulos comportam sees, subtpicos e apndices ricos de perspectivas que no so _ infelizmente _ discriminados no Sumrio. As partes do livro so antecipadas por uma elegante apresentao feita pelo professor Chateaubriand e por inspirados Prlogo e Introduo escritos por Jairo da Silva. O livro encerrado com Eplogo que reitera as teses do autor, que apresentei acima, e todas as correntes filosficas apresentadas ao longo da obra em suas vertentes ontolgicas e epistemolgicas, destacando, segundo a viso do professor Jairo, o problema da aplicabilidade irrestrita da matemtica como o grande problema a ser enfrentado por um filsofo da matemtica. H tambm um elenco de livros indicados para dar continuidade aos estudos e curiosidades dos leitores.

Resenha

291

A partir daqui, pretendo fazer uma breve descrio das partes do livro. O primeiro captulo trata da matemtica grega para se concentrar nas filosofias matemticas de Plato e Aristteles como paradigmas de explicao tanto em matemtica como em outras reas da filosofia. Seus sistemas aparecem, ento, como repertrios de ideias que a tradio sempre revisita, remonta e re-elabora. Plato como paradigma de uma interpretao realista da matemtica pela assuno de um domnio objetivo independente e s acessvel pelo entendimento e Aristteles como marco de outro tipo de realismo que assume um domnio independente, mas extrado de objetos reais. O que Plato tomava por objetos matemticos ideais, Aristteles via apenas como aspectos (formais), ou idealizaes de aspectos de objetos reais (p. 56). Jairo da Silva destaca que as tcnicas mais sistemticas e rigorosas de clculos elementares permitiram o pioneirismo abstrato grego pela importncia atribuda racionalidade, pureza e validade universal dos problemas matemticos desvinculados de interesses prticos. Este ineditismo possibilitou, ento, uma clara compleio filosfica em atividades matemticas, representadas de forma marcante pelo pitagorismo. Sob esta perspectiva, a matemtica possibilitaria ento o acesso estrutura ntima do cosmos pela constituio essencialmente numrica das coisas. Jairo da Silva tambm sublinha a importncia do mtodo dedutivo de Euclides na reduo racional de todas as verdades geomtricas aos axiomas de seus Elementos. Os gregos ainda viram nascer a lgica formal sistematizada por Aristteles, a partir de um elenco exaustivo das formas vlidas de inferncia. Este sistema foi refinado no XIX pelo uso inovador de linguagens simblicas mais sofisticadas que aumentaram o poder de expresso e investigao das inferncias vlidas. Apesar de problemas com teses empiristas, como a impossibilidade de enumerar colees abstratas e imaginrias e nmeros transfinitos e a dificuldade recorrente de se explicar a (aparncia de) necessidade e universalidade, Jairo da Silva esboa no apndice a este primeiro captulo uma abordagem empirista da abstrao, segundo ele, uma assero matemtica poderia ser vista como a generalizao de uma assero emprica, no baseada na mera induo enumerativa, mas em uma

292

Marcos Silva

intuio formal. Logo, a matemtica poderia ser justificada por evidncia emprica mais um procedimento de abstrao na intuio formal 2 . O segundo captulo trata da filosofia da matemtica de Leibniz e Kant e introduzido por uma descrio do estado da matemtica no sculo XVII e XVIII, onde aparecem uma crescente autonomia do simbolismo com sistemas mais flexveis e expressivos com incgnitas, parmetros e operaes mais bem determinados. A partir de uma maior fora heurstica advinda do simbolismo moderno, as vantagens das tcnicas matemticas puderam ser estendidas e generalizadas No campo da filosofia moderna, Descartes operou o deslocamento do foco da ontologia para a epistemologia e logrou a filosofia como crtica do conhecimento. A cincia moderna foi, enfim, marcada pela matematizao da natureza concebida por Galileu. J a matemtica da modernidade marcada pelos mtodos infinitrios. Todos estes avanos e rupturas mostravam o distanciamento de elementos intuitivos e empricos em cincia e em teorias especulativas. Em oposio concepo grega, a modernidade mostrou que os nmeros no precisavam mais ser quantidades, mas poderiam ser abstraes da razo formal. Em razo disso, Jairo da Silva destaca a existncia clara de uma tenso entre elementos intuitivos e finitrios e elementos abstratos e infinitrios, mostrando a conseqente necessidade da poca em no considerar mais a intuio como critrio para teorias. O que contraditrio para as grandezas finitas pode ser da prpria essncia das grandezas infinitas; o que repugna a nossa intuio finita pode ser a verdade do infinito. A duras penas os matemticos aprenderam a desconfiar da intuio, do bvio, da luz natural, quando essas nada mais so que a mera e indevida extenso de verdades para alm de seus limites de validade (p. 84). Leibniz destaca o carter lgico-analtico da matemtica com sua clssica diviso entre verdades de fato ou contingentes e verdades de razo, as quais no poderiam ser negadas. Desta forma, a matemtica poderia ser assumida como inteiramente conceitual e simblica. Afirma Jairo da Silva:
2

Indico, aqui, o trabalho de Casanave, Sautter e Secco publicado na revista O que nos faz pensar n.24, de 2008, onde este tema da assuno de uma abstrao lgica na composio da geometria e da aritmtica retomado. Ali, a prova sugerida por Jairo da Silva confrontada com a de J.Lear, mostrando-se que a partir da definio deste podemos ter a de Jairo, mas sem a recproca. H ainda neste trabalho, uma importante correo ao itinerrio da prova proposta pelo professor Jairo.

Resenha

293

apesar de sua idealidade abstrata, a matemtica regeria o mundo, ordenando-o e tornando-o inteligvel (p. 192). J a filosofia de Kant viria para restituir a premncia de intuitividade matemtica, mesmo que um intuitividade formal. Ela deveria, ento, ser baseada na construo e sntese pela intuio pura do sujeito. Para Kant, na matemtica a manipulao simblica se liga indiretamente intuio a qual se referem. Portanto, em oposio a Leibniz, a anlise conceitual no suficiente para verificar as asseres da matemtica, seria necessrio um elemento sinttico. Em Kant, s so legtimas construes simblicas e construes ostensivas. Aqui se denota claramente o confronto entre o que feito em matemtico e o que a filosofia demandaria. A filosofia de Kant no aceita, por exemplo, a possibilidade de nmeros imaginrios e a possibilidade de uma geometria no euclidiana. Apesar de dar uma explicao elegante ao fenmeno da matemtica congregando-a com um edifcio cientfico marcado pela premncia de construtividade a partir de intuies, a filosofia de Kant faz acreditar que a aritmtica tambm se funda sobre a intuio, obscurecendo a percepo de que a correlao entre aritmtica e tempo no to natural quanto a de espao e geometria. Jairo da Silva observa bem esta tenso entre filosofia regulativa e a atividade dos matemticos, se alinhando com esta: a Filosofia da Matemtica de Kant, fortemente limitada pela noo de construo de conceitos, i.e., pela necessidade de exemplificaes na intuio pura, foi contaminada pelo seu projeto filosfico mais amplo, uma crtica Filosofia e teologia dogmticas, discursos caracterizados pela argumentao lgica desprovida de intuio. Foi assim tambm uma crtica matemtica de seu tempo e matemtica futura. Esta simultaneamente sua virtude e seu defeito. (p. 107). O terceiro captulo trata do projeto fundacionista do logicismo. Aproveitando a tenso entre o dogmatismo leibniziano e o criticismo de Kant, Jairo da Silva introduz a filosofia de Frege que defendeu a geometria como sinttica, restrita ao espao, enquanto a aritmtica deveria ser reduzida lgica, razo, por ser mais geral e abstrata. Como bem sublinha Jairo da Silva: se formos coerentes quanto ao padro de contagem e preservarmos o sentido dos termos e operaes numricas, 1+1 s pode ser igual a 2 (p. 124). Operaes aritmticas so funes do entendimento e no da sensibilidade, mesmo que pura. A partir desta tese Frege, ento, tentou implementar o programa de Leibniz: reduzir os conceitos e verdades da

294

Marcos Silva

aritmtica a equivalentes puramente lgicos (analticos). Para tanto a lgica deveria ser mais expressiva, sofisticada e precisa. Assim novos patamares de rigor formal na matemtica, atravs de novas expresses, articulaes, notaes e anlises, deveriam ser introduzidos. Isto permitiu o avano da informtica, de cincias cognitivas e da inteligncia artificial do sculo XX. Alm do salto qualitativo em lgica pela simbologia de Frege, se destaca tambm no sculo XIX o aparecimento de geometrias no euclidianas, de teorias dos conjuntos de Cantor com a noo de infinito atual. Frege permitiu a expresso mais refinada da forma lgica de sentenas, um calculo potente, uma nova abordagem da anlise de asseres, de relaes e quantificadores. Mesmo que seu projeto fundacionista no tenha dado certo, porque o sistema de Frege demonstrava leis da matemtica, mas contradies tambm, Jairo da Silva destaca com toda razo que muitas vezes buscar solues mais frtil que obt-las. Neste captulo, ainda so apresentadas as tentativas de se recriar o logicismo de Frege no Principia Mathematica de Russel e, mais contemporaneamente, no neo-logicismo representado por Crispin Wright. No apndice a este captulo, Jairo apresenta uma interessante exposio da definio por abstrao matemtica onde objetos so definidos por classe de equivalncia. possvel, a partir desta tcnica, redefinir um conjunto em outro para reduzir a quantidade de entes necessrios em uma teoria. Jairo da Silva defende, ento, que este mtodo atentos que somos s crticas e s atitudes de Frege e Russell, tambm um instrumento de reduo ontolgica, permite a eliminao de entidades matemticas desnecessrias em favor de conjuntos de entidades j existentes (p. 142). No comeo do quarto captulo, Jairo mostra como a matemtica, a partir da profuso de inovaes tcnicas havia se tornado formalista demais, o que foi, em parte, a razo que engendrou a proliferao de paradoxos e as suas crises de fundamentos no comeo do sculo XX. Houve, ento, a necessidade de ser regulada pela intuio imediata e justificada por construes efetivas. Enquanto Frege pretendia mostrar que a lgica era anterior a matemtica, construtivistas inverteram o raciocnio e defenderam que a lgica a descrio a posteriori das regularidades formais dos procedimentos de construo matemtica (p. 151). A filosofia da matemtica ganhou novamente um estatuto revisionista e crtico do conhecimento matemtico acentuando restries e limites de procedimentos

Resenha

295

e prticas muito familiares ao projeto crtico kantiano. Como Kant, alguns filsofos voltaram a defender que no haveria matemtica sem evidncia manifesta ou objeto que no pudesse ser construdo num procedimento finito, limitada e discreto, sendo a matemtica fundada num instante temporal sucedendo outro. Esta a viso de Brower. A intuio bsica de que qualquer experincia mental tem a forma de uma seqncia temporal finita e suficiente para nos dar (por reflexo) o esquema geral dessa seqncia ela mesma como um objeto intudo (p. 149). Assim como Plato teria sido o primeiro platonista, Kant teria sido o primeiro filsofo contrutivista. Assim Brower joga luz novamente na necessidade do sujeito e suas formas de acompanharem os processos matemticos de forma direta ou potencialmente direta de um matemtico ideal. Outros tipos de construtivismos mais fracos que o de Brower so apresentados por Jairo da Silva. Por exemplo, Poincar ressaltou que a aritmtica poderia ser construda na intuio fundamental da sucesso discreta e ininterrupta de pontos e acentuando a necessidade de restrio s definies predicativas. A matemtica seria, ento, uma vivncia consciente de construo finita. J Dummet defende a existncia de uma teoria da significao correta que implica a validade exclusiva da lgica intuicionista na matemtica: sem dupla negao, sem provas indiretas. Segundo esta corrente de construtivismo, mesmo que fosse inteligvel, se no for verificvel no uma proposio da matemtica. Jairo da Silva defende que temos que admitir a possibilidade de um sentido formal para garantirmos a inteligibilidade de proposies matemticas que no possamos verificar (pp. 162-6). O sentido formal de uma assero no depende de conhecermos ou podermos reconhecer as suas condies de verdade, mas apenas do fato de que os termos que a compem estarem corretamente combinados, ou dito de outra forma, a posse de sentido formal exige apenas que a assero no contenha nenhum erro categorial. Assim, garante-se a tese que corrobora a nossa intuio usual e assegura o sentido de proposies que no possamos verificar. J o quinto e ltimo capitulo trata do formalismo, ltima grande corrente fundacionista do sculo XX. Destaca-se a importncia cada vez maior do mtodo axiomtico-dedutivo a partir do qual toda a fundao de uma cincia poderia ser realizada por meio de uma base de verdades no demonstradas de onde poderamos extrair, por meios lgicos, todas as

296

Marcos Silva

demais verdades. As teorias axiomticas podem ser interpretadas, tendo asseres com significado determinado por um domnio especfico de objetos e podem ser no-interpretadas, quando seus termos s veiculam o significado que os axiomas o do, sendo meras sucesses ou seqncias de smbolos. Esta tcnica permitiu isolar os elementos puramente dedutivos de uma teoria. Segundo Jairo da Silva, Hilbert liberou o mtodo axiomtico de suas limitaes, abrindo-lhe os horizontes do puro formalismo. Ele viu que a natureza dos objetos de um domnio descrito por uma teoria axiomtica interpretada no desempenhava nenhum papel lgico, vislumbrando assim a possibilidade de abstrair completamente a natureza desses elementos reduzindo domnios matemticos a sua pura forma lgica, e tradicionais teorias matemticas a teorias puramente formais (p. 187). Estava criado a metamatemtica, um estudo sobre caractersticas de teorias matemticas formais, como, por exemplo, sua consistncia e trivializao, completude, correo e independncia de axiomas. Teorias axiomticas so teis para permitir provas relativas de consistncia onde um domnio teria sua consistncia garantida pela consistncia de um outro domnio. Hilbert, em seu projeto fundacionista, procurou uma prova absoluta da consistncia da aritmtica justificando o infinito pelo finito intuitivo, justificando a matemtica pela matemtica finitria (um sistema de manipulao de sinais grficos). Segundo esta viso, a consistncia era a marca a ser procurada por uma teoria. Bastaria, ento, a matemtica finitria, toda verificvel e completa, para poder ser estendida sem inconsistncias. Deste modo, esta matemtica simples deveria provar a sua prpria consistncia sem auxilio de sistemas externos e ser completa, ou seja, para qualquer assero construvel dentro dela, ela ou a sua negao deveria ser demonstrada. No difcil notar que os teoremas de Gdel de 1931 solapavam o formalismo de Hilbert. O primeiro mostrava que um sistema axiomtico como a aritmtica de Peano poderia conter uma sentena a qual nem ela ou a sua negao pudesse ser demonstrada. J o segundo grande resultado mostrou que sempre necessrio um sistema mais forte para provar a consistncia de uma teoria axiomatizada. Em outras palavras, o primeiro mostra que o mtodo axiomtico no completo sobre o ponto de vista terico e o segundo, a impossibilidade de uma prova absoluta de consistncia.

Resenha

297

Jairo da Silva destaca tambm que resultados matemticos no resolvem divergncias filosficas. Por exemplo, para Brower, a questo problemtica no est na consistncia de teorias, mas na sua construo. Depois de Gdel, o formalismo de Hilbert ficou condenado humildade de buscar provas relativas de consistncia, uma vez que nenhum sistema consistente pode provar a sua prpria consistncia. Mais ainda se impe, como bem v Jairo da Silva, coerente com sua posio a respeito da irrefreabilidade dos problemas filosficos, o problema sobre o estatuto dos axiomas da matemtica: sero eles enunciados verdadeiros sobre determinado domnio de objetos ou simples regras que fixam as operaes legtimas de smbolos? A partir desta questo, professor Jairo esboa uma agenda de problemas epistemolgicos e ontolgicos em um programa de Hilbert modificado, como um convite para a pesquisa, mostrando o muito que ainda pode ser feito. A primeira tese-problema defende que a matemtica estuda a manipulao regrada de sinais grficos (operaes e relaes). A segunda que nmeros so peas no jogo formal da aritmtica, no objetos e no verdadeiros. A terceira que matemtica o estudo das conseqncias lgicas ou definies arbitrrias dadas por sistemas de axiomas, desenvolvendo-se em uma teoria de possveis antes de ter o domnio efetivo de aplicao. A quarta tese assume que a matemtica estuda a forma ou estrutura do domnio de objetos existentes ou meramente possveis, ou seja, a matemtica s seria coagida pela consistncia do que j foi feito. Todas estas formulaes desafiam segundo Jairo da Silva o mais srio problema inventado pelo conhecimento matemtico (p. 221): como possvel que uma cincia a priori seja relevante para o conhecimento emprico? A matemtica independente, mas aplicvel. Existem vrias distintas filosofias para resolver estes problemas. Que no precisam ser verdadeiras, mas interessantes. As trs correntes apresentadas iluminam mltiplas facetas da matemtica. No so hegemnicas ou definitivas, mas certamente convergem para serem autnticos programas de pesquisa com muito ainda a ser feito. O livro do professor Jairo seminal em apontar, ento, para a direo da perenidade dos problemas da filosofia da matemtica em toda a sua dignidade e alcance.