A intuio matemtica em Jean Cavaills

Vasco Correia

Resumo Neste artigo mostro que a concepo da intuio matemtica proposta por Jean Cavaills permite superar a clivagem entre formalismo e intuicionaismo relativamente ao problema dos fundamentos, mas tambm a clivagem entre platonismo e construtivismo relativamente questo da objectividade matemtica. Cavaills concebe os objectos matemticos como conceitos que subsistem na imanncia das teorias, e no num mundo inteligvel ou sequer na conscincia dos sujeitos. Precisamente por isso, a chamada filosofia do conceito pressupe uma teoria radicalmente inovadora da intuio, capaz de justificar a imanncia dos objectos, o progresso conceptual das teorias e o prprio carcter evolutivo daquilo que, a determinado momento, os matemticos consideram ou no como evidente.

1 Introduo
Aps o extraordinrio movimento de formalizao da matemtica ao longo da segunda metade do sculo XIX, pensou-se que a intuio viesse a desempenhar um papel cada vez mais secundrio e porventura at dispensvel na justificao e no desenvolvimento das teorias matemticas. Brunschvicg levanta essa questo nas Etapas da filosofia matemtica: Ser necessrio concluir que, medida que a cincia se torna mais demonstrativa e mais verdadeira, a componente da intuio propriamente dita se tornar mais restrita? [1]. No entanto, a dita crise dos fundamentos da matemtica que animou os debates durante o primeiro tero do sculo XX veio de certo modo reabilitar o papel do pensamento intuitivo nas construes matemticas. Jean Cavaills escreveu o essencial da sua obra no culminar dessa crise, aps a publicao dos teoremas de incompletude de Gdel ter comprometido as ambies do programa formalista da escola de Hilbert, ao revelar a

impossibilidade de fundar a matemtica sobre o plano puramente formal da metamatemtica mediante a demonstrao da no-contradio dos seus princpios de base. Cavaills compreendeu desde muito cedo o interesse filosfico da crise dos fundamentos. Compreendeu, em particular, que precisamente nos momentos de grande incerteza sobre o plano tcnico que os matemticos se sentem obrigados a revelar as suas convices sobre o plano extracientfico. Foi precisamente o que aconteceu com a descoberta de um certo nmero de paradoxos no seio da teoria dos conjuntos de Georg Cantor, que se tinha vindo a impor como o tronco comum a todos os ramos da matemtica; e foi tambm o que aconteceu quando Gdel publicou os seus teoremas de incompletude. Em Notas sobre a formao da teoria abstracta dos conjuntos, Cavaills observa justamente que a principal causa de tanta polmica entre os matemticos no seria tanto um simples desacordo de ordem tcnica quanto melhor maneira de fundar a matemtica, mas mais exactamente uma profunda divergncia entre as suas convices filosficas [2]. um aspecto que Henri Poincar salienta tambm no seu artigo sobre A lgica do infinito: Os homens no se entendem porque no falam a mesma lngua, e h lnguas que no se aprendem [3]; essas lnguas que no se aprendem sendo naturalmente os pressupostos extra-cientficos, filosficos ou mesmo metafsicos, que so subjacentes concepo que cada matemtico tem da realidade matemtica e que parecem orientar de forma implcita a investigao propriamente cientfica.

2 A crtica crtica dos preconceitos ontolgicos

No livro Mtodo axiomtico e formalismo, Cavaills procede a uma anlise crtica das principais filosofias da matemtica em voga na altura, em particular no que diz respeito questo do estatuto da objectividade matemtica, isto , a questo de saber que tipo de realidade devemos atribuir aos objectos com que lidam os matemticos [4]. Cavaills observa que a concepo da objectividade matemtica oscila tradicionalmente entre duas posies antagnicas. Por um lado, existe a hiptese realista (ou platonista), segundo a qual os objectos matemticos subsistem por si mesmos, independentemente do conhecimento e das representaes subjectivas que deles possamos ter. Um exemplo dessa tese a ideia segundo a qual as figuras geomtricas reais, tais

como so representadas no papel ou mesmo na imaginao, so apenas aproximaes toscas das figuras geomtricas ideais. O problema do realismo, no entanto, que se contenta em postular uma suposio metafsica que nada permite justificar. o caso quando Bolzano afirma a existncia de um universo de verdades (ou de proposies) existentes em si mesmas; o caso quando Frege sugere que os valores de verdade das proposies so a prpria referncia das proposies; e tambm o caso quando Gdel afirma que possvel conceber os conceitos matemticos como objectos reais que existem independentemente das nossas definies e das nossas construes [5]. A insuficincia da tese realista reside portanto no facto de se contentar em pressupor por simples decreto aquilo que mereceria no mnimo uma reflexo e uma justificao filosfica. O realismo acaba assim por negligenciar a questo dos meios de acesso objectividade matemtica. A hiptese rival do realismo o chamado construtivismo, que em geral se encontra associado ao intuicionismo, segundo o qual os nicos objectos matemticos verdadeiramente existentes so aqueles que somos capazes de construir graas a um certo nmero de operaes intuitivas. o que defendem por exemplo autores como Descartes, Kant, Poincar, Brouwer e Husserl, entre muitos outros, segundo os quais a matemtica s pode conservar a solidez e o rigor que a caracteriza dentro dos limites das construes intuitivas. Cavaills diz-se prximo desta posio no que diz respeito crtica do formalismo radical, qual os trabalhos de Gdel viriam a dar razo. No entanto, o filsofo francs questiona o prprio critrio daquilo a que os autores construtivistas chamam intuitivo, observando que estes ltimos nem sempre so capazes de circunscrever com preciso e clareza os limites desse domnio. Etimologicamente, a noo de intuio (intueri), como alis a noo correlativa de evidncia (videri), reenvia a uma viso

subjectiva. A principal dificuldade do intuicionismo portanto a determinao de um critrio unvoco

daquilo que pode ser considerado como intuitivo. alis um facto que, historicamente, os intuicionistas nunca se entenderam sobre este ponto, nem na tradio pr-intuicionista francesa (Poincar, Borel, Lebesgue), nem na tradio da escola holandesa (Brouwer, Heyting). Por outro lado, Cavaills deplora o psicologismo das concepes intuicionistas que, no seu entender, acabam por impregnar de contingncia as estruturas e os conceitos matemticos. No caso de Brouwer, por exemplo, Cavaills observa que ao fazer depender a actividade intuitiva de uma conscincia emprica, o matemtico holands acaba por deixar intervir o tempo psicolgico na contruco dos

objectos: [Brouwer] subordina tanto ao tempo as criaes matemticas que a histria intervm na definio dos objectos [6]. A princpio, Cavaills julga encontrar na filosofia transcendental de Husserl um mtodo capaz de ultrapassar os preconceitos ontolgicos do platonismo e do intuicionismo. Com efeito, graas ao mtodo de reduo (ou epoche), a anlise transcendental pe entre parntesis a questo existncia dos objectos, evitando assim a iluso da transcendncia do platonismo. Mas, por outro lado, essa anlise no o fruto de uma conscincia emprica, mas mais exactamente de uma conscincia transcendental, o que permite evitar o psicologismo das concepes intuicionistas. Com base nesse mtodo, Husserl preconiza no livro Lgica formal e transcendental a criao de uma lgica transcendental (ou lgica constituinte), que teria como objectivo fundar subjectivamente os conceitos lgico-matemticos da lgica formal, isto , da lgica historicamente constituda. No entanto, Cavaills observa que esse desdobramento reflexivo da anlise lgica parece somente deslocar o problema do fundamento, que se coloca desta feita ao nvel da prpria lgica transcendental. Em primeiro lugar, existe um problema de regresso indefinida do processo de justificao. Cavaills formula a dificuldade da seguinte maneira: Se a lgica transcendental funda verdadeiramente a lgica, ento no existe lgica absoluta (isto , que capaz de reger a actividade subjectiva absoluta). Se existe uma lgica absoluta, ela s pode encontrar validade nela prpria, e por isso no transcendental. Ora, neste tipo de justificaes que reside segundo Cavaills a ambiguidade fundamental da filosofia transcendental [7], uma vez que a actividade que tem por vocao justificar os conceitos cientficos no ela prpria justificvel. E em segundo lugar, a anlise de Husserl deixa transparecer uma concepo esttica e quase arqueolgica da intuio, como se o domnio de entidades intuitivas fosse uma espcie de paisagem originria que os matemticos teriam por misso desvelar. Na Crise das Cincias Europeias, Husserl sugere de facto que a fsica matemtica se constituiu desde Galileu como uma simples tcnica terica que, no seu entender, se sobreps ao mundo da vida com o intuito de o dominar pela previso [8]. As noes e as teorias da fsica no passariam, neste sentido, de uma vestimenta de ideias com que travestimos o mundo da vida, para empregar os prprios termos de Husserl [9]. Ora, para Cavaills, este mito do regresso ao passado no compromete apenas a concepo da intuio e da objectividade matemtica, mas tambm a compreenso do prprio progresso cientfico: Se h

conscincia de progressos, no h progresso da conscincia [10].

3 O novo estatuto da objectividade matemtica

A questo que orienta a reflexo de Cavaills portanto a seguinte: como justificar a objectividade matemtica sem recorrer ao absoluto do ser das posies realistas, nem ao absoluto da conscincia das concepes transcendentais? Na sua ltima obra, Sobre a lgica e a teoria da cincia, a soluo de Cavaills assenta sobre duas teses fundamentais que ele atribui aos trabalhos de Bolzano e de Hilbert. Em primeiro lugar, Cavaills adopta de Bolzano a ideia de uma autonomia dos objectos matemticos quer relativamente subjectividade, quer relativamente s idealidades: Porventura pela primeira vez, [com Bolzano] a cincia passa a ser considerada, no como um simples intermedirio entre a mente humana e o ser em si, dependendo ora de um ora de outro, e no tendo realidade prpria, mas como um objecto sui

generis, original na sua essncia, autnomo no seu desenvolvimento [11]. Convm todavia assinalar
que a tese que Cavaills atribui a Bolzano deriva na realidade de uma leitura algo espinozista da obra do matemtico checo, pois Bolzano era assumidamente um platonista. E em segundo lugar, Cavaills adopta de Hilbert a ideia de uma autonomia da objectividade matemtica em relao ao prprio mundo fsico. Apesar dos teoremas de Gdel terem comprometido a viabilidade do programa de Hilbert, Cavaills observa que a sua concepo filosfica dos sistemas formais permanece legtima. Em particular, Cavaills adere ideia formulada por Hilbert no prefcio dos Fundamentos da Geometria, segundo a qual existe uma independncia radical entre o contedo dos axiomas da matemtica e o mundo fsico. Os axiomas da geometria, em particular, no sero nem determinaes a priori do espao no sentido kantiano, nem a expresso matemtica de relaes empiricamente constatveis, como pretendia Pash, nem, inversamente, hipteses tericas sobre o mundo fsico que a experincia permitiria em seguida confirmar ou infirmar, como pretendia Riemann [12]. Segundo Hilbert os axiomas descrevem as propriedades de certos elementos iniciais pontos, linhas e planos no caso da geometria , mas estes elementos no reenviam por sua vez a uma realidade exterior ao sistema. Ora, nestas condies os objectos matemticos deixam de apresentar

a estabilidade e a individualidade a que a tradio sempre os associou, para se tornarem simples

elementos operatrios substituveis e eliminveis consoante as necessidades internas do sistema.

Com base nestas duas teses, Cavaills prope uma emancipao radical da objectividade matemtica quer relativamente a um suposto mundo inteligvel, quer em relao conscincia do sujeito, quer mesmo em relao realidade fsica. A justificao do objecto e do progresso da matemtica dever por conseguinte prescindir do apelo a uma realidade que lhe seja exterior, seja ela transcendente ou subjectiva, para assentar unicamente na imanncia das suas estruturas e dos seus conceitos. A principal consequncia desta anlise uma profunda des-reificao (ou dessubstancializao) da objectividade matemtica. Os objectos matemticos deixam de ser considerados como entidades ideais e imutveis, passando a ser considerados como simples

conceitos operatrios, isto como um conjunto de noes, frmulas e regras cujo estatuto e
significao so determinados pela funo que desempenham no seio da teoria. Cavaills subscreve assim tese espinozista da identificao entre a ordem do ser e a ordem do conhecimento: [Os objectos matemticos] no existem portanto nem em si mesmos, nem no mundo da conscincia, mas constituem a prpria realidade do acto de conhecimento [13].

4 A teoria teoria da intuio matemtica

Nestas condies, a questo que se coloca a de saber que papel poder ter ainda a intuio na actividade matemtica. A resposta de Cavaills que a intuio no tem por vocao produzir o

fundamento da objectividade matemtica, ou seja, fornecer a evidncia primordial para as verdades

de base das teorias axiomticas, mas antes a funo de tornar possvel o prprio progresso conceptual das teorias, ou seja, a funo de engendrar novos objectos, determinar novas operaes, identificar novas relaes entre as teorias e generalizar mtodos especficos. Cavaills adere portanto plenamente ideia de Poincar segundo a qual a intuio o instrumento da inveno, por oposio lgica, que o instrumento da demonstrao [14]. Cavaills descreve duas modalidades fundamentais do processo de formalizao mediante o qual se engendram novos objectos no campo temtico: por um lado, a idealizao (ou paradigma),

que determina a forma de uma operao; e por outro lado, a tematizao, que permite determinar as propriedades formais das prprias operaes. Um exemplo do processo de idealizao a maneira como a operao de adio, que no seu estado mais elementar uma operao sobre nmeros inteiros, passou a poder aplicar-se quer a outro tipo de nmeros (reais, irracionais, imaginrios, etc.), quer mesmo a outro tipo de entidades (vectores, conjuntos, ngulos, etc.). A idealizao permite portanto determinar a forma de uma operao independentemente do domnio de variveis que contempla. Mas a forma de uma operao pode por sua vez ser considerada como um simples contedo do ponto de vista de um nvel superior de formalizao. esse processo de segunda ordem que Cavaills denomina tematizao e que, no caso da adio, permite identificar as propriedades formais da prpria operao (as leis de comutatividade e de associatividade, a existncia de um elemento neutro, etc.). A anlise de Cavaills permite portanto mostrar que graas a um esforo

puramente intuitivo que so estabelecidas as propriedades mais formais e mais abstractas da realidade matemtica. No suprimindo a intuio que conseguimos extrair uma forma ou uma
estrutura formal. Pelo contrrio: fazendo variar os objectos na intuio que surgem os invariantes a que chamamos regras. Alm disso, Cavaills observa que, qualquer que seja o grau de abstraco e de complexidade do sistema de objectos que se considere, existe sempre um domnio intuitivo [15] que lhe correlativo e que determina aquilo que aparecer ou no como intuitivo aos olhos dos matemticos. Segundo Cavaills, a intuio matemtica no uma instncia fundadora e atemporal, mas, pelo contrrio, uma actividade sempre relativa aos mtodos e aos conceitos existentes, em perptua evoluo. No por acaso, por exemplo, que os nmeros que constituam partida o domnio intuitivo da aritmtica foram denominados naturais (inteiros positivos); enquanto as classes de nmeros que foram sendo posteriormente descobertas receberam designaes que atestam do conflito que criaram em relao aos critrios de evidncia previamente dominantes: nmeros ditos irracionais, como ou 2, que no podem ser expressos como uma fraco de 2 inteiros; nmeros ditos imaginrios (termo introduzido por Descartes), cuja raiz quadrada inferior a zero, ou ainda nmeros ditos transcendentes (termo introduzido por Leibniz). Outro exemplo do carcter evolutivo dos domnios intuitivos a demonstrao estabelecida por Georg Cantor, graas ao mtodo da diagonal, de que existem vrias potencias de infinito, o que significa que alguns infinitos

so maiores (ou mais numerosos) do que outros e que existe em teoria um nmero infinito de tipos de infinito. evidente que esta noo entrou em conflito com aquilo que era dado at data como intuitivo, que no aceitava a ideia que um conjunto infinito pudesse ser maior do que outro. Numa carta dirigida a Dedekind, Cantor ele prprio confessa: Estou a ver, mas no acredito! [16]. Hoje em dia, graas descoberta de Cantor, a ideia que existem vrias potncias de infinito j faz parte do campo intuitivo da matemtica.

5 Concluso
A reflexo de Cavaills tem portanto o mrito de insistir sobre o aspecto evolutivo da noo

de intuio matemtica, revelando que a intuio, imagem dos conceitos, tambm ela susceptvel
de evoluir, de se estratificar em graus de complexidade e de ver alargado o seu domnio de aplicao. O erro dos formalistas e dos intuicionistas, talvez derivado da mtua obsesso com o problema dos fundamentos, de pressupor que existe um domnio intuitivo irredutvel em matemtica, como se a intuio fosse dissocivel da evoluo do pensamento conceptual. Ora, Cavaills mostra, pelo contrrio, que a intuio evolui paralelamente evoluo das teorias e dos conceitos, e que, por conseguinte, no faz sentido querer determinar a priori um critrio de evidncia. Como observa Cavaills, a evidncia no se deixa prescrever de uma vez por todas, mas revela-se sempre num modo de novidade radical [17]. Por outro lado, Cavaills consegue superar a oposio clssica que ope o pensamento formal ao pensamento intuitivo, a forma ao contedo e evidncia demonstrao. Com efeito, a anlise do processo de idealizao revela que a obteno de uma forma, de um algoritmo ou de uma generalizao no se opera por supresso do intuitivo, mas, pelo contrrio, graas actividade intuitiva de variao dos contedos. E a anlise do processo de tematizao, por sua vez, revela que as formas so elas prprias susceptveis de serem consideradas como contedos do ponto de vista de um campo temtico de ordem superior. portanto graas a uma actividade intuitiva puramente emprica e contingente que no tem nada de intelectual, nem de a priori, nem de

categorial que so determinados os conceitos abstractos, as operaes complexas e as demonstraes formais. Tal , segundo Cavaills, o milagre extraordinrio do destino humano [18]: independentemente da contingncia associada ao trabalho efectivo do matemtico, surgem problemas cujas solues conduzem a novas formaes segundo um movimento necessrio: o matemtico histrico, contingente, pode parar, estar cansado, mas a exigncia de um problema impe o gesto que o resolver [19].

Referncias
1. Lon Brunschvicg, Etapes de la philosophie mathmatique, Blanchard, 1981, p. 451. 2. Cf. Jean Cavaills, Remarques sur la formation de la thorie abstraite des ensembles, Paris, Hermann, 1938. 3. Henri Poincar, La logique de linfini , Scientia, 1912, in G. Heinzmann (org.), Poincar, Russell, Zermelo et Peano, Librairie scientifique et technique, Paris, 1986, p. 315. 4. Cf. Cavaills, Mthode axiomatique et formalisme, Paris, Hermann, Actualits scientifiques et industrielles, 1938. 5. Kurt Gdel, Russells Mathematical Logic, in The Philosophy of Bertrand Russell, Evanston, Chicago, 1944, p. 137. 6. Cavaills, Rflexions sur le fondement de la mathmatique , Travaux du IX congrs international de philosophie, 1937, tome VI, Paris, Hermann, Actualits scientifiques et industrielles , n 535, p. 578. 7. Cavaills, Transfini et continu , in Philosophie mathmatique, Paris, Hermann, 1962, p. 272. 8. Edmund Husserl, Die Krisis der europischen Wissenschaften und die transzendentale Phnomenologie, Martinus Nijhoff, La Haye, 1954, cap. II, 9-h. 9. Husserl, ibid. 10. Cavaills, Sur la logique et la thorie de la science, Paris, PUF, 1960, p. 78. 11. Cavaills, ibid., p. 21.

12. Cf. Bernhard Riemann, On the Hypotheses which lie at the Foundations of Geometry [1854], in A Source Book in Mathematics, Dover publications, N.Y., 1959, p. 412. 13. Cavaills e Albert Lautmann, La pense mathmatique, in uvres compltes de philosophie des sciences, Hermann, 1994, p. 595. 14. Henri Poincar, La valeur de la science, ch. 1. V. 15. Cavaills, Rflexions sur le fondement des mathmatiques , in uvres compltes de philosophie des sciences, Hermann, 1994, p. 579. 16. Georg Cantor, Lettre Dedekind du 29 juin 1877 , in Cavaills, uvres compltes de

philosophie des sciences, Hermann, 1994, p. 211.

17. Cavaills, Sur la logique et la thorie de la science, p. 63. 18. Cavaills, La pense mathmatique , in uvres compltes de philosophie des sciences, Hermann, 1994, p. 627. 19. Cavaills, ibid.