O Que To Interessante na Matemtica (para um Filsofo)? Stewart Shapiro 1. Atraco de Opostos?

? Ao longo da histria, os filsofos tm tido uma atraco particular pela matemtica. Dizia-se que na entrada da Academia de Plato estava escrito: no deixem entrar algum que seja ignorante em geometria. De acordo com a filosofia platnica, a matemtica a formao apropriada para compreender o Universo, tal como , por oposio ao que aparenta ser. Plato chegou s suas ideias reflectindo acerca do lugar da matemtica na obteno de conhecimento racional. Anteriormente ao processo geral de compartimentao das instituies acadmicas, muitos matemticos eram tambm filsofos. Facilmente nos recordamos dos nomes de Ren Descartes, Gottfried Wilhelm Leibinz e Blaise Pascal, e mais prximos do presente existem Bernard Bolzano, Bertrand Russell, Alfred North Whitehead, David Hilbert, Gottlob Frege, Alonzo Church, Kurt Gdel e Alfred Tarski. At recentemente, quase todos os filsofos estavam cientes do estado da matemtica e tinham um interesse profissional nela. O racionalismo uma escola filosfica de longa data que pode ser caracterizada como uma tentativa de estender a metodologia da matemtica a todo o conhecimento. Os racionalistas ficaram impressionados com o aparente inabalvel fundamento da matemtica e a sua sustentao na racionalidade pura. Eles tentaram colocar todo o conhecimento em p de igualdade: a cincia, a tica e reas similares tambm deviam prosseguir ao abrigo de demonstraes rigorosas das suas proposies, unicamente atravs da razo. O racionalismo remonta a Plato e, durante o sculo dezassete e incio do sculo dezoito, prosperou nos escritos de Descartes, Baruch Spinoza e Leibniz. A maior oposio ao racionalismo surge do empirismo, a concepo de que a experincia dos sentidos, e no a razo pura, a fonte do conhecimento. Esta concepo remonta a Aristteles e foi desenvolvida pelos escritores britnicos como John Locke, George Berkeley, David Hume e John Stuart Mill. A tradio empirista foi transmitida aos positivistas lgicos e ao Crculo de Viena, incluindo Moritz Schlick, Rudolf Carnap e A. J. Ayer, e est hoje viva no trabalho de Bas van Fraassen e W. V. O. Quine. Dado que o conhecimento matemtico parece ser fundamentado na demonstrao, e no na observao, a matemtica , aparentemente, um contra-exemplo tese empirista principal. Na verdade, por vezes, a matemtica erigida como um paradigma de conhecimento a priori conhecimento prvio e independente da experincia. 1

Virtualmente, todo o empirista considerou a questo da matemtica mais seriamente, e alguns deles percorreram caminhos longos para a acomodar, por vezes deformando-a de tal modo que era impossvel reconhec-la (ver Parsons 1983: ensaio 1). Hoje constatamos uma vasta especializao em todas as reas da academia. Os matemticos e os filsofos, correntemente, tm dificuldades em entender a investigao dos colegas dos prprios departamentos. Algebristas no conseguem seguir os desenvolvimentos em anlise; o trabalho em filosofia da fsica incompreensvel para a maior parte dos eticistas. Consequentemente, no h uma ligao muito directa e cnscia entre a matemtica e a filosofia correntes. No entanto, a matemtica no est afastada dos interesses de campos filosficos como a epistemologia, a metafsica, a lgica, a cincia cognitiva, a filosofia da linguagem e a filosofia da cincia natural e social. Por sua vez, a filosofia no est afastada dos principais interesses de campos matemticos como a lgica, a teoria dos conjuntos, a teoria das categorias, a computabilidade e mesmo a anlise ou a geometria. Mundialmente, a lgica ensinada em ambos os departamentos matemtica e filosofia. s vezes, para o melhor e para o pior, muitas tcnicas e instrumentos usados na filosofia contempornea foram desenvolvidos e aperfeioados com a matemtica, e apenas a matemtica, em vista. A lgica desenvolveu-se num campo prspero atravs de matemticos algebristas como George Boole, Ernst Schrder, Bolzano, Frege e Hilbert. Estes matemticos centraram-se na lgica e nos fundamentos da matemtica. Da lgica herdamos modelos tericos semnticos e destes herdamos anlises, em termos de mundos possveis, do discurso modal e epistmico. No muito exagerado afirmar que a semntica e os sistemas dedutivos da lgica formal tm-se tornado a lingua franca em todos os assuntos e interesses da filosofia contempornea1. Num certo sentido, muita da filosofia analtica uma tentativa para alargar o xito da lgica, nas linguagens da matemtica, linguagem natural e epistemologia geral. Isto deve ser uma herana do racionalismo. H vrias razes para a conexo entre a matemtica e a filosofia. Ambas esto entre as primeiras tentativas intelectuais para compreender o mundo nossa volta e ambas nasceram na antiga Grcia ou, ento, sofreram profundas transformaes (dependendo do que conta como sendo matemtica e do que conta como sendo filosofia). Segundo, e mais importante, a matemtica um caso de estudo importante para o filsofo. Muitos assuntos da agenda da filosofia contempornea tm formulaes notavelmente precisas quando centradas na matemtica, como em assuntos de 2

epistemologia, ontologia, semntica ou lgica. Por exemplo, temos observado que h xito na lgica quando o raciocnio matemtico se torna o centro da investigao. Os filsofos esto interessados em questes de referncia: o que para um item lxico sustentar ou representar um objecto? Como conseguimos ligar um nome quilo de que nome? As linguagens da matemtica permitem uma clarificao destas questes. Os filsofos tambm esto interessados em matrias de normatividade: o que significa uma pessoa A estar obrigada a fazer uma aco B? O que queremos dizer quando afirmamos que algum deve fazer algo, como dar esmola? A matemtica e a lgica matemtica proporcionam, no mnimo, um importante e, possivelmente, simples argumento a favor da normatividade: a lgica normativa se alguma coisa o . Em que sentido estamos obrigados a seguir os cnones do raciocnio correcto quando fazemos matemtica? Plato aconselhou os seus estudantes a comear com casos relativamente simples e directos.2 Talvez a normatividade da lgica matemtica seja um caso desse gnero. Uma terceira razo para a conexo entre a matemtica e a filosofia reside na epistemologia o estudo do conhecimento. A matemtica vitalmente importante por causa do seu papel central em, virtualmente, toda a descoberta cientfica para compreenso do mundo material. Consideremos, por exemplo, a matemtica pressuposta em virtualmente qualquer cincia natural ou social. Um olhar de relance para qualquer catlogo de uma escola mostrar que os planos de estudos nas cincias ou nas engenharias seguem o dito da Academia de Plato e tm considerveis prrequisitos em matemtica. No entanto, a razo para isto diferente da tida pela Academia de Plato. Com o declnio do racionalismo, a matemtica no um modelo ou um caso de estudo para as cincias empricas. Em vez disso, as cincias usam a matemtica. Por causa deste papel, os departamentos de matemtica esto entre os maiores na generalidade das universidades3. A questo de saber se a matemtica ou no uma actividade de aquisio de conhecimento um assunto filosfico forte. No entanto, claro que a matemtica um instrumento primrio nas nossas melhores tentativas para compreender o mundo. Isto sugere que a filosofia da matemtica um ramo da epistemologia e que a matemtica um assunto importante para a epistemologia geral e para a metafsica. O que tem a matemtica de especial que a torna necessria para a compreenso cientfica do universo fsico e social? O que tem de especial o universo, ou ns, que concede matemtica um papel central para a sua compreenso? Galileu escreveu que o livro da natureza est escrito na linguagem da matemtica. Este pensamento, metfora enigmtica, ilumina o lugar da matemtica no 3

empreendimento cientfico/filosfico de entendimento do mundo, mas no d a mais pequena ideia de uma soluo do problema em questo. 2. Filosofia e Matemtica: Ovo ou Galinha? Esta seco trata, brevemente, a relao entre a matemtica e a filosofia da matemtica (ver Shapiro 1994 e 1997: cap. 1 para uma explicao mais exaustiva). At que ponto podemos esperar que a filosofia determine, ou mesmo sugira, a prpria prtica da matemtica? Conversamente, at que ponto podemos esperar que a prtica autnoma da matemtica determine a filosofia da matemtica correcta? Este um exemplo de um assunto mais geral relativo ao lugar da filosofia entre os seus descendentes as variadas disciplinas acadmicas. Questes similares levantam-se, digamos, na filosofia da fsica e na filosofia da psicologia. As respostas a estas questes motivam e do o pano de fundo para os assuntos e problemas principais da filosofia da matemtica, alguns dos quais so circunscritos no prximo captulo. Durante muito tempo, os filsofos e alguns matemticos acreditavam que assuntos filosficos, como a metafsica e a ontologia, determinavam a prpria prtica da matemtica. Plato, por exemplo, defendeu que os contedos da matemtica so um eterno e inaltervel domnio ideal. Os objectos matemticos, como os nmeros e os objectos geomtricos, no so criados ou destrudos, e no podem ser modificados. No livro 7 da Repblica, ele lamentou-se que os matemticos no sabem do que falam e por esta razo fazem matemtica incorrectamente:
[A] cincia [da geometria] est em rigorosa contradio com o que acerca dela afirmam os que a exercitam ... Fazem para a afirmaes bem ridculas e foradas. que como praticantes e para efeitos prticos que fazem todas as suas afirmaes, referindo-se nas suas proclamaes a quadraturas, construes e adies e operaes do gnero, ao passo que toda esta cincia cultivada tendo em vista o saber ... do que existe sempre, e no do que a certa altura se gera ou se destri. (Plato (1996), 527a)

Virtualmente, qualquer fonte de geometria antiga, incluindo o Elementos de Euclides, faz um vasto uso de linguagem construtiva e dinmica: linhas so desenhadas, figuras so movidas volta, funes so aplicadas. Neste respeito, a prtica no se tem modificado muito at hoje. Se a filosofia de Plato correcta, a linguagem dinmica no tem sentido. Os objectos eternos e inalterveis no so sujeitos a construo e

movimento. No podemos desenhar uma linha ou um crculo que sempre existiu; no podemos considerar que um eterno e inaltervel segmento de linha pode ser cortado ao meio, para depois mover uma das partes por cima de outra figura. Podemos pensar que a disputa aqui pouco mais do que terminolgica. Euclides escreveu que entre quaisquer dois pontos podemos desenhar uma linha recta. De acordo com os platonistas, no podemos fazer tal coisa, mas talvez eles possam reinterpretar este princpio. O Grundlagen der Geometrie de Hilbert (1899) contm um axioma platonisticamente correcto: entre quaisquer dois pontos h uma linha recta. Talvez Hilbert e Euclides tenham dito a mesma coisa se as suas linguagens forem apropriadamente entendidas. Plato, o prprio, teve poucos problemas em interpretar os seus gemetras em termos menos ldicos. O seu lamento era relativo linguagem, no geometria. Todavia, quer na matemtica, quer na filosofia, a situao no assim to simples. Prima facie, os problemas antigos, como trissectar um ngulo, quadrar um crculo e duplicar um cubo, no so questes de existncia. Os gemetras, antigos e modernos, perguntaram-se, por exemplo, se h um ngulo de 20, ou foi essa uma questo sobre se tal ngulo pode ser desenhado e, se sim, com que meios? No sculo vinte, os debates acerca do intuicionismo proporcionam outro exemplo claro e simples de um desafio filosfico matemtica enquanto praticada. Os intuicionistas tradicionais eram exactamente o oposto de Plato, defendendo que os objectos matemticos so construes mentais e que as proposies matemticas devem de alguma forma se referirem construo mental. L. E. J. Brouwer (1948), por exemplo, escreveu: a matemtica rigorosamente tratada a partir [do] ponto de vista [de] teoremas dedutivos exclusivamente por meios de construo introspectiva, chamada de matemtica intuicionista... [A]fasta-se da matemtica clssica ... porque a matemtica clssica acredita na existncia de verdades desconhecidas. Arendt Heyting (1956) escreveu: o programa de Brouwer ... consistiu na investigao da construo matemtica mental como tal ... No estudo das construes matemticas mentais, existir deve ser sinnimo de ser construdo ... De facto, a matemtica, do ponto de vista intuicionista, o estudo de certas funes da mente humana. Os intuicionistas asseveram que a filosofia tem consequncias relativamente prpria prtica da matemtica. Mais particularmente, negam a validade da chamada lei do terceiro excludo, a tese de que para qualquer proposio , verdadeira ou no

simbolizada, . Os intuicionistas argumentam que a lei do terceiro excludo e princpios relacionados nela fundamentados, so sintomticos da f na existncia transcendental de objectos matemticos e/ou na verdade transcendental das proposies matemticas. A disputa estende-se por toda a matemtica. Para um intuicionista, o contedo de uma proposio afirmando que nem todos os nmeros tm uma certa propriedade P, simbolizada x Px, refutvel desde que possamos arranjar uma construo mostrando que P se verifica para cada nmero. O contedo de uma proposio que afirma que h um nmero que no tem a propriedade P, x Px, uma que podemos construir um nmero x e mostrar que P no se verifica para x. Os intuicionistas concordam que a ltima proposio, x Px, implica a primeira, x Px, mas obstam a conversa, porque possvel que uma propriedade possa no se verificar universalmente e no conseguir construir um nmero para o qual ela no se verifica. Heyting observa que um realista, algum que sustenta que os nmeros existem independentemente do matemtico, aceitar a lei do terceiro excludo e inferncias relacionadas. Da perspectiva realista, o contedo de x Px significa, simplesmente, que falso que P se verifica universalmente e x Px significa que h um nmero para o qual P no se verifica. Ambas as frmulas referem-se a nmeros, em si; nenhuma delas tem coisa alguma a ver com as capacidades de os matemticos adquirirem conhecimento. Assim, as duas frmulas so equivalentes. Qualquer uma delas pode ser derivada da outra em sistemas de lgica corrente, que codificam a chamada lgica clssica. Assim, parece que a correco da lgica clssica se transforma numa considerao filosoficamente tradicional: se os nmeros so independentes da mente, ento a lgica clssica parece apropriada. Os intuicionistas supracitados asseveram que, dado os nmeros serem objectos mentais, a lgica clssica deve dar lugar lgica intuicionista ou quilo que por vezes chamado de lgica construtiva. Consideremos uma outra batalha metodolgica que foi pensada para estimular consideraes filosficas, uma com a qual nos ocuparemos vrias vezes neste livro4. Uma definio de uma entidade matemtica diz-se impredicativa se se referir a uma coleco que contm a entidade definida. Por exemplo, a definio usual de menor dos majorantes impredicativa, porque se refere a um conjunto de majorantes e caracteriza um dos elementos deste conjunto. Henri Poincar atacou, sistematicamente, a legitimidade das definies impredicativas fundamentado na ideia de que os objectos matemticos no existem independentemente do matemtico (e. g. Poincar 1906; ver

Goldfarb 1988 e Chihara 1973). Em termos filosoficamente tradicionais, Poincar rejeitou o infinito actual, insistindo que a nica alternativa sensata o infinito potencial: no h qualquer conjunto esttico, digamos, de todos os nmeros reais, determinados antes da actividade matemtica. Desta perspectiva, as definies impredicativas so viciosamente circulares. No podemos construir um objecto usando uma coleco que j o contm. Em oposio, Gdel (1944) fez uma defesa explcita da definio impredicativa fundamentado no seu ponto de vista filosfico relativo existncia de objectos matemticos ...o crculo vicioso ... aplica-se s se as entidades so construdas por ns prprios. Neste caso, deve claramente existir uma definio ... que no se refere a uma totalidade qual o objecto definido pertena, porque a construo de uma coisa certamente pode no ser baseada numa totalidade de coisas cuja coisa a ser construda pertena. Se, no entanto, uma questo sobre objectos que existem independentemente das nossas construes, no h nada menos absurdo na existncia de totalidades contendo membros, que podem ser descritas (i. e., unicamente caracterizadas) apenas por referncia a essa totalidade ... Classes e conceitos podem ... ser concebidos como objectos reais ... existindo independentemente de ns e das nossas definies e construes. Parece-me que a assuno desses objectos to legtima como a assuno de corpos fsicos e h quase tanta razo para acreditar na sua existncia. De acordo com este realismo, uma definio no representa uma receita para construir, ou dito de outro modo, para criar um objecto. Em vez disso, uma maneira de caracterizar ou apontar para uma coisa j existente. Assim, uma definio impredicativa no viciosamente circular. A definio de o menor dos majorantes no mais problemtica do que outras definies impredicativas, como o uso de o idiota da aldeia para referir a pessoa mais estpida da aldeia, ou o bbado da cidade para referir o pior alcolico da cidade. A direco sugerida por estes exemplos que a filosofia precede a prtica nalgum sentido, metafisicamente, profundo. Ao nvel fundamental, a filosofia determina a prtica. A imagem de que primeiro uma pessoa descreve ou descobre sobre o que a matemtica se, por exemplo, as entidades matemticas so objectivas ou dependentes 7

do mental. Isto estabelece o modo como a matemtica para ser feita. Algum que acredita na existncia independente de objectos matemticos aceitar a lei do terceiro excludo e as definies impredicativas. Chamemos a esta perspectiva de princpio de filosofia primeira. A ideia de que primeiro averiguamos o que aquilo de que falamos e apenas depois averiguamos o que dizer sobre isso em termos matemticos. A filosofia tem a nobre tarefa de determinar a matemtica. Em termos tradicionais, a concepo em questo de que a filosofia fornece princpios primeiros s cincias especiais como a matemtica. Apesar dos exemplos dados, o princpio de filosofia primeira no verdadeiro para a histria da matemtica. Apesar da matemtica intuicionista e predicativa ser praticada aqui e ali, na generalidade, a lgica clssica e as definies impredicativas esto amplamente entrincheiradas na matemtica contempornea. Apesar do contnuo debate entre filsofos, na matemtica as batalhas substancialmente terminaram. De acordo com o cenrio acima, uma pessoa pode pensar que a esmagadora maioria dos matemticos optaram por um realismo como o de Gdel. Porm, em nenhuma altura a comunidade matemtica vestiu chapus filosficos e decidiu que os objectos matemticos, nmeros, por exemplo, realmente existem, independentemente da mente dos matemticos e, por essa razo, acha correcto tomar partido nas metodologias questionveis de antigamente. Em todo o caso, o caminho o oposto. Na primeira metade deste sculo assistiuse a um estudo intensivo sobre os papis da lgica clssica e da definio impredicativa (e outros princpios) em domnios centrais da matemtica como a anlise, a lgebra, a topologia, etc. Verificou-se que a lei do terceiro excludo e as definies impredicativas eram essenciais prtica desses ramos, tal como eles se desenvolviam na altura. Brevemente, os princpios em questo no eram aceites porque o realismo os sancionava, mas porque eram necessrios para uma prtica tranquila da matemtica. Num certo sentido, os matemticos no podiam evitar usar os princpios em causa e, retrospectivamente, vemos quo empobrecida seria a matemtica sem eles. Caso contrrio, muitas distines subtis teriam de ser feitas, as definies teriam de ser constantemente verificadas de pedigree construtivo ou predicativo, e o matemtico necessitaria de prestar uma ateno particular linguagem. Estes incmodos provaramse ser artificiais e improdutivos. De forma crucial, muitos resultados importantes teriam de ser abandonados. Os matemticos no acharam que os sistemas resultantes fossem atractivos5. 8

O pargrafo de abertura do tratado de Richard Dedekind (1888) sobre os nmeros naturais rejeita, explicitamente, a perspectiva construtivista. Em seguida, h uma nota de rodap: menciono isto expressamente porque Kronecker no h muito tempo ... tem procurado impor certas limitaes sobre ... a matemtica que acredito no serem justificadas; mas no parece haver motivo para abordar esta matria com mais detalhe at que o distinguido matemtico tenha publicado as suas razes para a necessidade ou mera convenincia destas limitaes. O distinguido matemtico Leopold Kronecker estabeleceu as suas razes, mas eram razes filosficas. Dedekind aparentemente queria saber por que o matemtico, como tal, devia restringir os seus mtodos. Aparentemente, sustentou que a filosofia, por si mesma, no fornece estas razes. Assim, Dedekind rejeitou o princpio de filosofia primeira. O princpio de filosofia primeira no um tema dominante nos artigos filosficos de Gdel. O propsito de Gdel (1944) responder a um ataque, filosoficamente fundamentado, aos princpios matemticos. O seu argumento de que os criticismos metodolgicos so baseados numa filosofia que ningum necessita de seguir. Outras filosofias suportam outros princpios. Gdel no argumentou a favor do realismo, fundamentando-se em princpios primeiros anteriores prtica matemtica. Os seus artigos filosficos (1944 e 1964) contm articulaes lcidas do realismo, argumentos de que o realismo adequa-se bem prtica matemtica e, talvez, argumentos de que o realismo fornece um bom guia a esta prtica. Gdel conhecido pela sua concepo de que o motivo para a existncia dos objectos matemticos exactamente paralelo ao motivo para a existncia dos objectos fsicos. O seu ponto, assim como o considero, que ambos retirmos concluses atravs de teorias (matemticas e fsicas) sucedidas e articuladas. Porm, isto no , ou necessariamente no , filosofia primeira. Alguns filsofos sentem-se inclinados a ignorar o facto (se um facto) que o princpio da filosofia primeira no est de acordo com a histria da matemtica. Eles reconhecem os dados da prtica e da histria mas mantm uma pretenso normativa de que a matemtica tem de ser dominada pela filosofia e, a par de Plato, Brouwer, Poincar, Kronecker, et al., so crticos dos matemticos quando estes negligenciam ou violam a verdade de princpios filosficos primeiros. Alguns destes filsofos reclamam que partes da matemtica contempornea so incoerentes e isto desconhecido pelos praticantes que alegremente continuam com a sua prtica impura. Seguindo a pretenso normativa, um filsofo pode formular um telos para os matemticos e depois 9

argumentar que os matemticos no aceitam este telos, mas assim o deviam fazer; ou considerar que os matemticos implicitamente aceitam o telos, mas no agem em modos de quem o segue. Podemos cair numa regresso, ou podemos cair numa disputa verbal sobre aquilo que chamado de matemtica. Outros filsofos, talvez a maioria, rejeitam o princpio da filosofia primeira, apenas porque no um princpio verdadeiro relativamente prtica. O objectivo da filosofia da matemtica dar uma explicao coerente da matemtica e, gostemos ou no, a matemtica aquilo que os matemticos fazem. Uma orientao global sobre este aspecto de que a questo meta-filosfica estabelece-se tendo em conta alguma da literatura filosfica contempornea e no apenas tendo em conta questes locais matemtica: em que medida a matemtica contempornea (ou outra coisa qualquer) internamente consistente ou, dito de outro modo, coerente, de acordo com aquilo com as supostas reflexes do filsofo sobre o que ser consistente ou coerente? Quais os critrios que contam? Como Humpty Dumpty de Lewis Carroll pode perguntar, quem est a mandar? Um exemplo. Michael Dummett (e.g. 1973) avana um sem nmero de consideraes relativamente aprendizagem da linguagem e ao seu uso como um veculo de comunicao. Uma consequncia destas consideraes que a lei do terceiro excludo no globalmente vlida e, assim, a lgica clssica devia ser substituda pela lgica intuicionista. Dummett, obviamente, sabe que se ele tem razo acerca da linguagem, ento a prtica matemtica contempornea defeituosa e mesmo incoerente. Aqueles inclinados para a filosofia primeira podem considerar seriamente os argumentos de Dummett relativamente linguagem. realmente possvel que Dummett esteja correcto e que quase todo o matemtico seja incoerente ou, no mnimo, esteja equivocado de uma forma contnua e sistemtica. Por outro lado, os filsofos antirevisionistas, afastados da filosofia primeira, provavelmente rejeitariam peremptoriamente as consideraes de Dummett acerca da linguagem. Eles defendem que os argumentos de Dummett acerca da linguagem devem ser errados se exigirem revises na matemtica. A questo retrica esta: o que mais firme e, provavelmente, correcto, a matemtica como praticada ou a filosofia da linguagem de Dummett? Pondo as coisas em termos mais neutrais, Dummett argumenta que a matemtica contempornea no goza de um certo tipo de justificao, por sua vez, um antirevisionista pode concordar com isto, mas imediatamente acrescentar que a matemtica no necessita dessa justificao. 10

Consideremos, brevemente, o extremo oposto da filosofia primeira, a tese de que a filosofia irrelevante para a matemtica. De acordo com esta perspectiva, a matemtica tem vida por ela prpria e bastante independente de quaisquer consideraes filosficas. Uma concepo filosfica nada tem para contribuir para a matemtica e , no pior, uma retrica sem significado, um emaranhado de palavreado e (tentativa de) intromisso de gente de fora. No melhor, a filosofia da matemtica uma servente indigna da matemtica. Se a filosofia da matemtica de todo um trabalho, ento a sua funo dar uma explicao coerente da matemtica como praticada at ento. Porm, o filsofo deve estar preparado para rejeitar, peremptoriamente, o seu trabalho, se desenvolvimentos na matemtica entrarem em conflito com ele. Chamemos este princpio de filosofia ltima. Na defesa da filosofia ltima, o (infortunado) facto que muitos matemticos, talvez a maior parte, no esto de todo interessados na filosofia e, afinal de contas, so eles que praticam e mais articulam o seu campo. Para o melhor e para o pior, a disciplina segue muito independentemente das reflexes dos filsofos. talvez irnico que haja filsofos com simpatia pela filosofia ltima. Os escritos de membros do crculo de Viena contm proclamaes contra as questes filosficas tradicionais, especialmente aquelas da metafsica. Rudolf Carnap, por exemplo, argumenta que as questes filosficas relativamente existncia real de objectos matemticos so externas linguagem matemtica e, por esta razo, so meras pseudo-questes. Presumo (ou pelo menos espero) que os anti-revisionistas no pretendam venerar a matemtica e os matemticos. Nenhuma prtica sacrossanta. Como humanos falveis, os matemticos ocasionalmente cometem erros, mesmo erros sistemticos; e alguns erros podem ser desvelados por algo reconhecvel como sendo filosofia. Assim uma posio anti-revisionista razovel talvez seja a de que qualquer princpio usado na matemtica por defeito tomado como correcto, mas no incorrigvel. A correco da maior parte da matemtica um princpio terico de alto nvel e bem enraizado. Dado o enorme sucesso da matemtica incluindo a lgica clssica, as definies impredicativas, etc. seria trabalhoso destron-la. Algumas reflexes baseadas nas prprias crenas intuitivas de um filsofo, ou em generalizaes de observaes sobre a linguagem comum, no transformariam a matemtica consolidada, pelo menos no custa exclusiva dos filsofos. A ideia sublinhada de que os cientistas e os matemticos usualmente sabem o que esto a fazer, e aquilo que fazem interessante e vale a pena. 11

Talvez a filosofia primeira e a filosofia ltima faam um contraste demasiado claro. Como observado em cima, alguns matemticos esto preocupados com a filosofia e, no mnimo, usam-na como um guia para o seu trabalho. Mesmo que no haja princpios filosficos primeiros, a filosofia pode estabelecer a direco da investigao matemtica. Paul Bernays (1935), por exemplo, pode ser visto como rejeitando a filosofia ltima, quando ele escreveu que o valor das concepes matemticas platonisticamente inspiradas que elas fornecem modelos [que] ... se salientam pela sua simplicidade e fora lgica. Alguns observadores reclamam que a matemtica tornouse uma sucesso de disciplinas desorientadas e altamente especializadas, com especialistas incapazes de entender os trabalhos de cada um, mesmo em campos adjacentes. A filosofia pode ajudar a dar uma orientao e uma direco, ainda que no fornea princpios primeiros. Um exemplo extraordinrio do pargrafo anterior o de Gdel que reclamou que o seu realismo era um importante factor na descoberta da completude da lgica de primeira ordem e da incompletude da aritmtica. O teorema da completude uma consequncia imediata de alguns dos resultados de Thoralf Skolem. Porm, Skolem no retirou essa concluso. A razo para isto pode ser encontrada nas diferentes orientaes que Skolem e Gdel tinham acerca da matemtica, orientaes que, aproximadamente, podem ser descritas como filosficas6. No iremos aqui resolver a questo filosofia primeira vs. filosofia ltima, ou filosofia intermediria a ambas. Com toda a probabilidade, pessoas inclinadas a uma verso extrema da filosofia ltima no acharo o tpico deste livro interessante. Porm, talvez, os restantes de ns possamos concordar que os filsofos tm os seus prprios interesses, para alm dos colegas noutros departamentos, e a persecuo desses interesses interessante e vale a pena. O trabalho do filsofo da matemtica deve misturar-se com o do matemtico, mas, pelo menos parte desse trabalho, um trabalho diferente. A filosofia e a matemtica esto intimamente inter-relacionadas, sem nenhuma dominar a outra. Deste ponto de vista, a maneira correcta de fazer matemtica no uma consequncia directa da filosofia verdadeira, nem a maneira correcta de fazer filosofia da matemtica uma consequncia imediata da matemtica como praticada. O trabalho do filsofo dar uma explicao da matemtica e do seu lugar nas nossas vidas intelectuais. Qual o contedo da matemtica (ontologia)? Qual a relao entre os contedos da matemtica e da cincia que permitem to amplas aplicaes e cruzamentos de ideias? Como que conseguimos elaborar e obter 12

conhecimento de matemtica (epistemologia)? Como pode a matemtica ser ensinada? Como que a linguagem matemtica entendida (semntica)? Em sntese, o filsofo deve dizer alguma coisa sobre a matemtica, as aplicaes da matemtica, a linguagem matemtica e alguma coisa sobre ns. Uma tarefa desalentadora, mesmo sem o trabalho de ter de alcanar princpios primeiros. Como vejo isto que o propsito primrio da filosofia da matemtica interpretar a matemtica e, deste modo, iluminar o lugar da matemtica em todo o empreendimento intelectual. De acordo com o anti-revisionismo, matemtica o que ns interpretamos e no o que uma teoria filosfica a priori diz sobre o que a matemtica devia ser. Em geral, qualquer interpretao pode e deve envolver criticismo, mas, de acordo com o anti-revisionismo, o criticismo no vem de fora de princpios pr-concebidos. Um revisionista, talvez no seguimento da filosofia primeira, pode argumentar que a matemtica, tal como praticada, no tem uma interpretao coerente. Ele prope correces ou substituies para colocar a matemtica num melhor fundamento, enquanto preservando a sua prpria funo. Manter-nos-emos neutrais sobre este aspecto, no sentido de proporcionar cobertura a uma variedade de posies importantes. Talvez todas as partes possam concordar que a filosofia da matemtica feita por aqueles que se preocupam com a matemtica e querem compreender o seu papel no empreendimento intelectual. Um matemtico que adopte uma filosofia da matemtica deve ganhar alguma coisa com isso: uma orientao no trabalho, alguma intuio sobre a sua perspectiva e o seu papel e, no mnimo, um guia possvel para o seu caminho que gneros de problemas so importantes, que questes devem ser postas, que metodologias so razoveis, o que provvel ter sucesso, e por assim em diante. 3. Naturalismo e Matemtica Quine (1981: 72) caracteriza o naturalismo como o abandono do objectivo de uma filosofia primeira e o reconhecimento que no interior da prpria cincia ... que a realidade para ser identificada e descrita (ver tambm Quine 1969). Desta perspectiva, a questo epistemolgica primria a de determinar como ns humanos, vistos como organismos naturais no mundo fsico, procedemos para aprender algo acerca do mundo nossa volta. O naturalista quineano alega que a cincia tem o pensamento mais plausvel sobre isto e, assim, a epistemologia deve ser contnua com a cincia e em ltima instncia com a fsica. Um slogan o de que a epistemologia um 13

ramo da psicologia cognitiva. Qualquer conhecimento que ns humanos reclamemos deve ser consistente com a nossa melhor explicao de ns prprios enquanto sujeitos cognoscentes. O mesmo ocorre para a ontologia e qualquer outra investigao filosfica: o filsofo naturalista comea os seus raciocnios no interior de uma teoria do mundo que herdou j em pleno funcionamento... [A] teoria do mundo que herdou primariamente uma teoria cientfica, o produto corrente do empreendimento cientfico (Quine 1981: 72). De uma maneira ou de outra, o naturalismo tornou-se popular entre os filsofos, especialmente na Amrica do Norte onde grande a influncia de Quine. Termino este captulo com algumas palavras sobre as ramificaes do naturalismo na filosofia da matemtica. O tpico recorrente ao longo do livro. Reafirmando o bvio, o naturalismo de Quine implica a rejeio daquilo que chamo de filosofia primeira. O naturalista olha para a cincia fsica como uma investigao sobre a realidade, falvel e corrigvel, mas no respondvel em qualquer tribunal supra-cientfico, e sem necessitar de qualquer justificao para alm da observao e do mtodo hipottico-dedutivo (Quine 1981: 72). Podemos interpretar as passagens chave como um endosso para a filosofia ltima, mas Quine no vai to longe. Ele v a cincia e, pelo menos, partes da filosofia como uma contnua teia de crenas. Uma concepo filosfica que esteja totalmente divorciada da cincia como praticada deve ser rejeitada boa viagem mas o trfego ao longo e atravs de uma fronteira difusa encorajado. A epgrafe ao seu influente livro Word and Object (1960) uma citao de Otto Neurath (1932), somos como marinheiros que tm de reconstruir o seu barco em alto mar, sem serem capazes de o desmantelar numa doca seca e reconstru-lo a partir das suas melhores componentes. Quine no inclui a frase seguinte do texto de Neurath, que : apenas a metafsica pode desaparecer sem rasto. Parte da metafsica uma parte integral do barco cientfico e no pode ser exorcizada. Se a metfora de Quine do barco de Neurath para ser tomada seriamente, a questo de filosofia primeira e filosofia ltima perde muita da sua fora ou mesmo o seu sentido. Antes de podermos determinar se a restante/legtima parte da filosofia filosofia primeira, ltima ou intermediria entre ambas (vis--vis a matemtica ou outra coisa qualquer), teramos de separar a filosofia da teia de crenas. Famosamente, Quine argumenta que no podemos fazer tal coisa (ver tambm Resnik 1997: cap. 6-7). Ou seja, grandes partes da filosofia so essencialmente parte do empreendimento cientfico. Isto a chamada filosofia naturalizada. 14

Relativamente filosofia da matemtica, h uma importante ironia no foco de Quine sobre a cincia. Para Quine, o empirista moderno, o objectivo motriz da cincia/filosofia explicar e prever a experincia sensorial. Ele alega que a cincia tem o nico pensamento plausvel acerca disto e aceita a matemtica apenas na medida que necessria para a descoberta cientfica/filosfica (talvez com um pouco mais de matemtica para arredondamentos). Ele no aceita (como verdadeiras) as partes da matemtica, como a teoria avanada dos conjuntos, que vo para alm deste papel de apoio cincia emprica. Ou seja, Quine sustenta que se uma parte da matemtica no desempenha um papel inferencial (mas indirecto) em partes da teia cientfica que se relacionam com a percepo sensorial, ento essa parte deve ser expelida, via navalha de Ocham. Assim Quine faz sugestes aos matemticos, baseado nesta concepo geral de filosofia da matemtica e cincia. Sugere, por exemplo, que os matemticos que investigam em teoria dos conjuntos adoptem um certo princpio, chamado V = L, uma vez que a teoria resultante limpa e assim, presumivelmente, uma teoria mais fcil de aplicar. Ignoremos o facto de que a maior parte dos matemticos que investigam em teoria dos conjuntos so cpticos relativamente a este princpio. Neste aspecto, a argumentao de Quine no esprito de uma filosofia primeira relativamente matemtica ainda que seja de cincia/filosofia primeira. A verso do naturalismo de Penelope Maddy (Maddy 1997) prescreve uma atitude deferencial relativamente aos matemticos como aquela que Quine tem relativamente aos cientistas. O argumento, em parte, que a teia de crenas cientfica, vista como praticada, no to contnua como Quine alega. No h uma nica teoria regedora que cubra todos os ramos da cincia natural e da matemtica. A matemtica tem a sua prpria metodologia que tem demonstrado xito ao longo dos sculos. O xito da matemtica avaliado em termos matemticos e no em termos cientficos. Contra Quine, podemos argumentar que se os matemticos apenas tomassem como investigao sria aqueles ramos da matemtica, conhecidos por terem aplicaes na cincia natural, no teramos muita da matemtica que temos nos dias de hoje, nem teramos toda a cincia que temos nos dias de hoje. A histria da cincia est cheia de casos onde ramos de matemtica pura acabaram por encontrar aplicaes na cincia. Por outras palavras, os objectivos gerais da descoberta cientfica tm sido bem satisfeitos por matemticos seguindo as suas prprias disciplinas com a sua prpria metodologia.

15

Este argumento tem fora no interior da organizao geral do empirismo holista de Quine. Ele defende que a matemtica importante ou legtima apenas na medida que ajuda a cincia. Se considerarmos ajuda em sentido amplo, vemos que a cincia tem sido bem satisfeita deixando os matemticos proceder pelos seus prprios critrios, ignorando a cincia se assim for necessrio. Assim, no necessitamos de uma ligao directa inferencial entre um pedao da matemtica e a experincia sensorial para podermos aceitar a matemtica como uma legtima parte da teia. Em todo o caso, Maddy no aprova o holismo global de Quine. Ela considera seriamente as fronteiras da teia de crenas e sustenta que no temos de mostrar que h uma ligao ltima cincia que justifica a matemtica, quer localmente, quer globalmente. A matemtica no olha para a cincia nem para a filosofia em busca de criticismo ou justificao. Maddy assim duvida do empirismo de Quine. As costuras na teia de crenas o barco de Neurath indicam que h objectivos legtimos para alm da previso e do controle da experincia sensorial. Um defensor da astrologia pode fazer uma reclamao anloga: a astrologia tem evidenciado xito nos seus prprios termos (independentemente de quais so esses termos)7. A astrologia tem a mesma autonomia e sustentao que a matemtica? O naturalismo de Quine e de Maddy concederiam que no h necessidade de fornecer uma justificao extra-cientfica e extra-matemtica para a atitude diferenciada de gostos sobre a astrologia, por um lado, e sobre a matemtica e a cincia por outro. Relembremo-nos de que no h qualquer tribunal extra-cientfico (ou extramatemtico). Os critrios cientficos ordinrios so suficientes para rejeitar a astrologia. Talvez no haja necessidade de explicar a atitude diferenciada, mas podemos apelar ao papel da matemtica na teia global de crenas. Seguindo Maddy, e concordando com a autonomia da matemtica, no so de ignorar as ligaes profundas entre a matemtica e a cincia. Em suma, para Maddy, assim como para Quine, a filosofia primeira firmemente rejeitada. A filosofia no critica a matemtica. A filosofia tambm no justifica a matemtica. Apenas a matemtica faz isso. Tal como disse em cima, a filosofia ltima no se segue destas teses. Maddy (1997, cap. 3) distingue as partes da filosofia tradicional, que so contnuas com a matemtica, das partes que esto fora da matemtica mas contnuas com a cincia, e aquelas partes que esto fora da cincia e da matemtica. Apesar das fronteiras entre estas partes no serem claras, apenas as partes do primeiro grupo tm alguma ligao na tarefa mais importante que a tarefa de 16

delinear (criticar ou melhorar) a metodologia matemtica. Partes do ltimo grupo aquelas fora da matemtica e da cincia so os aspectos da filosofia tradicional que so rejeitados como sendo filosofia primeira. Desaparecem sem deixar rasto. O grupo do meio as partes da filosofia fora da matemtica e contnuas com a cincia inclui a filosofia naturalizada de Quine. A questo, tal como a vejo, sobre at que ponto parte da filosofia suposta justificar ou fundamentar a matemtica ou a cincia, e no propriamente sobre at que ponto parte da filosofia cientfica ou contnua com a cincia. Talvez isto pouco mais seja que uma preferncia terminolgica, uma vez que a maior parte dos disparos de Maddy e de Quine direccionada filosofia primeira, a ideia de que a filosofia fornece a justificao ltima para a matemtica. Traduo: Eduardo Castro
[CFUL/FCT(SFRH/BD /16755/2004)]

Traduo publicada com a autorizao do autor. Referncias

Benacerraf, P. e Putnam, H. (1983), Philosophy of Mathematics (Cambridge: CUP). Bernays, P. (1935), Sur le Platonisme dans les Mathmatiques, LEnseignement Mathmatique, 34, 5269; trad. ing. Platonisme in Mathematics, in Benacerraf e Putnam (1983), 258-71. Brouwer, L. (1948), Intuitionisme en Formalisme, (Gronigen: Noordhoof); trad. ing. Intuitionisme and Formalism, in Benacerraf e Putnam (1983), 77-89. Chihara, C. (1973), Ontology and the Vicious-Circle Principle, (Nova Iorque: Cornell University Press). Dedekind, R. (1888), Was sind und was sollen die Zahlen?, (Brunswick: Vieweg); trad. ing. The Nature and Meaning of Numbers, in Essays in the Theory of Numbers, (ed.) W. Breman, (Nova Iorque: Dover Press, 1963), 31-115. Dummett, M. (1973), The Philosophical Basis of Intuitionistic Logic, reimpresso in Benacerraf e Putnam (1983), 97-129. Gdel, K. (1944), Russells Mathematical Logic, in Benacerraf e Putnam (1983), 447-69. Gdel, K. (1951), Some Basic Theorems on the Foundations of Mathematics and Their Implications, in Gdel (1995), 304-23. Gdel, K. (1964), What is Cantors Continuum Problem, in Benacerraf e Putnam (1983), 470-85. Gdel, K. (1986), Collected Works I, (Oxford: OUP). Gdel, K. (1995), Collected Works III, (Oxford: OUP). Goldfarb, W. (1988), Poincar Against the Logicists, in History and Philosophy of Modern Mathematics, (eds.) W. Aspray e P. Kitcher, Minnesota Studies in the Philosophy of Science, 12 (University of Minnesota Press), 24-40. Heyting, A. (1956), Intuitionism, an Introduction, (Amsterdo, Holanda).

17

Hilbert, D. (1899), Grundlagen der Geometrie (Leipzig, Teubner); trad. port. Fundamentos da Geometria, (Lisboa: Gradiva, 2003). Maddy, P. (1993), Does V Equal L?, Journal of Symbolic Logic, 58, 15-41. Maddy, P. (1997), Naturalism in Mathematics, (Oxford: OUP). Neurath, O. (1932), Protokollstze, Erkenntis, 3, 204-14. Parsons, C. (1983), Mathematics in Philosophy, (Nova Iorque: Cornell University Press). Plato (1996), A Repblica, (Lisboa: FCG). Poincar, H. (1906), Les Mathmatiques et la Logique, Revue de Mtaphysique et de Morale, 14, 294317. Quine, W. (1960), Word and Object, (Cambridge: MIT Press). Quine, W. (1969), Ontological Relativity and Other Essays, (Nova Iorque: Columbia University Press). Quine, W. (1981), Theories and Things, (Cambridge: HUP). Resnik, M. (1997), Mathematics as a Science of Patterns, (Oxford: OUP) Shapiro, S. (1994), Mathematics and Philosophy of Mathematics, Philosophia Mathematica, 3: 2, 14860. Shapiro, S. (1997), Philosophy of Mathematics: Structure and Ontology, (Nova Iorque: OUP). Wang, H. (1974), From Mathematics to Philosophy, (Londres: Routledge & Kegan Paul).

Shapiro, S. (2000), What Is So Interesting About Mathematics (For a Philosopher)?, in Thinking about

Mathematics The Philosophy of Mathematics, (Gr-Bretanha: OUP), 3-20. Este material um texto introdutrio filosofia da matemtica que analisa o papel da matemtica na histria da filosofia e a sua relao com a filosofia da matemtica. (N. do T.)

Stewart Shapiro Professor na Universidade do Estado do Ohio (EUA) e na Universidade de St.

Andrews (Esccia), organizador do Oxford Handbook of Logic and Philosophy of Mathematics e autor de Philosophy of Mathematics: Structure and Ontology.
1

Alguns estudantes, sofrendo da chamada ansiedade matemtica, so atrados para a filosofia por causa

do seu lugar nas humanidades, afastada das cincias. Porm, eles desmaiam ao encontrar disciplinas de lgica matemtica nas licenciaturas da maior parte das instituies. Isso facilmente justificado, dado o papel das linguagens formais em muita da literatura filosfica contempornea. Por outro lado, os estudantes de cincias ou engenharias, talvez sofrendo daquilo que eles chamam de evitar as humanidades, esto deliciados em saber que disciplinas de lgica por vezes so necessrias em requisitos das humanidades.
2

Durante os veres de 1967-9, tive o privilgio de assistir a um NSF Programa de Vero em Matemtica

para estudantes de liceu na Universidade do Estado de Ohio. O director, Arnold Ross, aconselhou-nos a pensar profundamente sobre coisas simples. Um bom conselho, tanto para um matemtico, como para um filsofo.
3 4

Nas universidades americanas, apenas os departamentos de Ingls so, provavelmente, to grandes. Outros exemplos incluem o axioma da escolha e extensionalidade geral. Ver Shapiro 1997: cap. 1.

18

5 6

Ver Maddy (1993) para consideraes similares relativamente definibilidade. Ver cartas de Gdel a Hao Wang, publicadas em Wang (1974), e introdues, por Burton Dreben e Jean Superficialmente, a cincia e a astrologia tm os mesmos objectivos, nomeadamente a previso, e assim

van Heijenoort, aos resultados da completude em Gdel (1986). Ver tambm Gdel (1951).
7

podem ser comparadas por critrios comuns, pelo menos em princpio. Um observador neutral podia tornar as previses precisas e depois compar-las. Claro que os astrlogos no sujeitam a sua disciplina a testes cientficos correntes.

19