artigos

Desanti, scienti zudia, filsofo Vol. 1, No. da4, matemtica 2003, p. 419-34

Desanti, filsofo da matemtica

Jean-Jacques Szczeciniarz

resumo
Este artigo retoma o projeto epistemolgico de Jean-Toussaint Desanti de constituir uma cincia da idealidade matemtica usando, de um lado, contra ela mesma e, de outro lado, contra os empreendimentos positivistas, a terminologia conceitual da fenomenologia husserliana. Retoma-se deste ponto de vista o uso de conceitos tais como os de conscincia imanente, ncleo intencional, horizonte de possibilidades ou estratificao. Desse modo, mostra-se que o projeto de Desanti se concebe como uma nova constituio de um campo de estudo que visa exibir a especificidade da idealidade matemtica como efeito de uma prtica que se desenvolve constituindo suas prprias normas e seus prprios critrios de objetividade. Palavras-chave G Filosofia da matemtica. Fenomenologia. Ato. Conscincia. Idealidade. Imanncia. Ncleo intencional. Estratificao. Teoria. Desanti.

Introduo
Proponho-me aqui a tarefa ousada de apresentar aquilo que chamo simplificadamente de parte propriamente epistemolgica da obra de Jean-Toussaint Desanti (1914-2003), ou talvez fosse melhor dizer de sua reflexo e de sua meditao sobre a matemtica. evidente que o projeto de Desanti foi, no seu modesto contorno, de grande envergadura, altura alis de seu objeto: apresentar, trazer luz os atos de pensamento, direi de bom grado, os atos puros e simples que presidem, autorizam e permitem a constituio das idealidades matemticas, na medida em que essas prprias idealidades lhes so tributrias. Chamo desde j a ateno para o fato de que o emprego por Desanti de termos tais como atos busca antes de tudo sublinhar o carter no inerte das posies do objeto. Mas deve-se dizer o mesmo para o termo objeto. Esse duplo movimento de posio-ocultamento dos termos da lngua filosfica um aspecto essencial da obra que apresentamos aqui. O projeto visado o de uma cincia de idealidades; digamos que o que est em jogo so os objetos ideais o que cada um pode parecer compreender. Um objeto ideal, representa uma idealidade, quando se trata de um ser que jamais se oferece por sua simples presena, mas pela mediao do sistema de propriedades que permitem dispor dele (Desanti, IM, p. 238). Assim, ainda que o objeto (raiz
419

Jean-Jacques Szczeciniarz

quadrada de dois, por exemplo) no seja seno o ndice dos encadeamentos de possibilidades que permitem tais designaes (IM, p. 238), ele jamais dado como uma presena o que verdade para toda idealidade mas sempre produzido e reproduzido no movimento das mediaes que ele permite. Esse objeto ideal, entretanto, justamente por ser ideal, no existe seno em razo de operarem atos de pensamento. O pensamento est envolvido em suas prprias produes tanto aqui como alhures, e esse envolvimento produz muito freqentemente as iluses que lhe servem de quadro para alcanar suas produes. Jamais poderemos situar-nos antes; preciso sempre estar aps para poder fazer surgir as condies de um antes, sem o que no existe explicitao, nem mesmo explicao. No somos nem do cu nem da Terra e, entrementes, do cu que vemos a Terra e da Terra que observamos o cu qualquer que ele seja.

1. Um projeto epistemolgico
Com base nessa constatao, Desanti se props conduzir a termo seu projeto de uma epistemologia da matemtica usando para isso a fenomenologia husserliana. Podese dizer que esse uso complexo. Desanti props servir-se do modo de filosofar de Edmund Husserl, das estruturas complexas dessa filosofia, fora de seu projeto transcendental de uma conscincia que se inclina sobre e domina o conjunto sistematizado de suas produes coextensivas e transparentes. Como diz Desanti:
Chamar de fenomenolgico um tal mtodo uma simples questo de conveno. E de nossa parte, tendo em vista evitar todo mal-entendido, renunciamos de bom grado a esse ttulo. Ainda mais porque nada est mais distante dessas pesquisas que o projeto de uma filosofia transcendental (IM, p. 290).

Uma tal posio apresenta vantagens certas: por um lado, pode-se levantar uma barreira quilo que foi parcialmente responsvel pela constituio da fenomenologia: o culturalismo, o reducionismo, todas as formas disso que Husserl chama a atitude natural, formas essas que visam reduzir toda forma de normatividade validante aos fatos, ainda que estes sejam em ltima anlise psicolgicos ou sociolgicos; o positivismo logicista, que se prope reduzir os atos normativos de constituio queles da lgica, qualquer que seja o refinamento de suas anlises. Refiro-me com isso ao projeto filosfico do logicismo de reconstituir uma sintaxe lgica da linguagem da matemtica que desse conta ou, pelo menos, se substitusse a ela, aps ter-lhe invalidado o projeto de toda anlise da produo matemtica e cientfica. Existe em toda oposio ao positivismo lgico a necessidade de estabelecer uma terminologia ancorada na me420

Desanti, filsofo da matemtica

tafsica clssica. Efeito de polmica ou necessidade intrnseca sem dvida o positivismo lgico liga-se por mais de uma dimenso filosofia que recusa , pode parecer que o adversrio direto do positivismo a fenomenologia husserliana. Mas isso acontece por que ela faz apelo aos atos de conscincia ou por causa do modo de filosofar que ela prope? E essas duas coisas so indissociveis? Dito de outro modo, na estratgia de disposio, a eficcia de uma posio anti-positivista e anti-reducionista que se apie em Husserl pode dispensar o projeto, essencial para a fenomenologia husserliana, de constituio de uma conscincia transcendental, guardando ainda sua eficcia? Se se volta Husserl contra si prprio, difratando de algum modo a unidade nas efetuaes conceituais e terminolgicas, mantm-se ainda a posio ocupada inicialmente? Analogamente, pode-se ainda usar a terminologia husserliana separada de sua base, fora de seu projeto fenomenolgico transcendental, para no cair no culturalismo e na espiritualidade teolgica no-filosfica? No sei responder essa questo, mas parece-me que essa tentativa, husserliana em si mesma, que Desanti iniciou, esperando, ou temendo, uma resposta positiva. Atravessar, para lutar melhor do exterior, o terreno minado de um inimigo de outro modo talvez irredutvel, voltando contra ele suas prprias armas porque elas foram as mais eficazes contra os inimigos externos j citados. Jogar com o negativo de uma filosofia tomada em sua prpria positividade em vista de combater seja os inimigos dessa filosofia seja essa mesma filosofia; mas necessrio tambm que esse negativo seja confinado, o mais prximo possvel, ao positivo.

2. Um discurso segundo
Retomando em certo sentido a tradio de Jean Cavaills (1903-44), ao que me parece, Desanti, mais prximo de Husserl do que o fora Cavaills, props-se a forjar a linguagem mais conveniente para falar da matemtica. Uma linguagem que no seja uma traduo sinttica da prtica matemtica. Mas o que significa dizer alguma coisa da matemtica? E por que preciso que se diga alguma coisa? Sobre esse ponto, retomemos o exemplo proposto por Desanti em Les idalits mathmatiques: Quando dizemos que o pensamento apreende e explora um tal objeto, falamos sobre a matemtica (IM, p. 79). Deve-se poder verificar a adequao de nossa linguagem prpria coisa. necessrio dispor daquilo que Desanti chama um campo reflexivo aberto e, entretanto, normatizado em virtude da estrutura do prprio domnio. Em outras palavras, o que me assegura que o que eu digo da matemtica lhe seja concernente de modo pertinente e exato, sem ser igualmente uma parfrase formal ou uma traduo sinttica dessas prticas de encadeamentos de objetos? Um campo
421

Jean-Jacques Szczeciniarz

reflexivo , em primeiro lugar, um domnio de prolongamento no qual a reflexo matemtica pode ser dita, domnio de prolongamento que permanece distinto e entretanto normatizado pela prtica matemtica. Toda a questo est a. preciso que se possa encontrar na prpria matemtica aquilo que faz que ela se diga por si mesma. preciso poder procurar no prprio discurso matemtico uma espcie de discurso segundo pelo qual a prpria matemtica fale de si prpria, dizendo explicitamente outra coisa daquilo que diz. Retomemos ento o exemplo: 7 + 5 = 12 um juzo sinttico a priori. O campo de onde retira sentido o predicado ser um juzo sinttico a priori diferente daquele no qual tem sentido a relao de notao =. O campo de significao (cf. IM, p. 79), no qual adquire sentido a relao de igualdade, o domnio dos objetos. Ela intra-aritmtica. Ao contrrio, vemos imediatamente que a primeira proposio epi-aritmtica. Entretanto, ela tem uma natureza diferente da proposio epi-terica: 7 + 5 = 12 um teorema da aritmtica. Ela mesma pertence a um sistema ideal: a linguagem eventualmente formal na qual se constroem enunciados que tm como objeto expresses desse primeiro sistema. O exemplo talvez no tenha sido necessariamente bem escolhido, pois ser um juzo sinttico a priori no designa qualquer propriedade suscetvel de tornar possvel a construo de um sistema de enunciados aritmticos. Isso no absolutamente preciso. Sobretudo quando Desanti nos diz que nem os recursos da aritmtica formal nem aqueles da lgica formal podem fornecer-nos um critrio que permita verificar ou refutar uma tal proposio (IM, p. 79). Couturat (1969) e Leibniz (s.d.; 1966), para refutar essa proposio, fornecem critrios formais. Mas no essa a questo: o que Desanti prope a possibilidade futura de um discurso segundo que no seja equiparado a seu objeto, ainda que produzido por ele. Para evitar essa absoro, parece-me que ele fortificou uma muralha husserliana, utilizando em particular o conceito de campo imanente reflexivo. Devem existir enunciados epi-matemticos que, ainda que no pertenam a qualquer domnio natural j constitudo, no pertencem, inclusive, ao campo da lgica formal. o conceito de campo reflexivo imanente que contm seu modo de validao. Trata-se de um campo aberto de reflexo, imanente a toda posio do objeto matemtico. O que quer dizer imanente? Significa que se situa no mesmo nvel, no mesmo lugar de produo que aquele dos objetos sobre os quais se reflete. nele que os objetos so produzidos e, entretanto, ele no a condio de produo dos objetos. Resulta da instalao reflexiva do pensamento operante no campo de suas prprias operaes (cf. IM, p. 79). Uma outra marca daquilo que uma idealidade: ela no se d a no ser sobre o fundo de uma reflexo sobre si que ela induz; ela veicula de modo necessrio uma forma de reduplicao que se assemelha a uma reflexo sobre si. Ela leva obriga422

Desanti, filsofo da matemtica

toriamente para um lugar segundo com essa reflexo que no a faz mudar de nvel, mas de registro. Trata-se tambm a, para poder falar da matemtica e para poder analis-la, de reinvestir a prtica matemtica de um discurso que a duplicaria. Instalao reflexiva do pensamento operante no campo de suas prprias operaes. Mas essa instalao reflexiva no vem sub-repticiamente reinstalar do exterior a forma dominante de uma conscincia filosofante, reinvestindo a matemtica para nela instalar toda sua potncia de substituio, de ocultamento da prtica matemtica? Mas sem a presena em todo gesto matemtico desse momento reflexivo, a matemtica reduzir-se-ia a algo significado privado de significante (cf. IM, p. 82).

3. A fenomenologia negativa
Aparentemente a posio filosfica adotada nos faz praticar como que uma fenomenologia negativa. A conscincia ento vista como uma cavilha que no fixa nenhuma das propriedades que lhe so habitualmente atribudas. Mas essa filosofia sob a forma de seu negativo transforma-se em seu contrrio. A conscincia como cavilha ou como forma neutra depe de qualquer modo suas formas de funcionamento tanto para ser excluda do conceito como para se reinvestir nas figuras que retomam a anlise dessa cincia de idealidades. Isso est relacionado com o fato de que no podemos escapar, de um lado, contaminao da prpria prtica matemtica pela linguagem da fenomenologia. E inversamente quela da fenomenologia pela linguagem da matemtica. Eu diria que a possibilidade dessa experincia a experincia desse duplo envolvimento que valorizada pelo trabalho de Desanti. No preciso, nem estamos requerendo, que a filosofia se desenvolva como uma reflexo autnoma pela qual ela se apodera de seu objeto e de suas restries conceituais. Assim, a fenomenologia nos fornece o modo de operar uma crtica da analogia com o campo perceptivo que ela introduziu e desenvolveu e, portanto, de utilizar diferentemente uma relao com o campo perceptivo. Nossa anlise, dir Desanti, ainda uma simples explicitao dos ncleos de atos envolvidos pelos campos de relaes dos objetos e dos horizontes exigidos pela atualizao desses objetos (IM, p. 91). Todos os termos que Desanti utilizou para proceder a essas atualizaes so extrados da doutrina husserliana: ncleo, horizonte etc. Voltarei a isso mais abaixo. Tomemos de incio o exemplo do pr em perspectiva. Ele nos diz que no se deve admitir outras formas de organizao nem outras formas de modalidades de sntese que aquelas permitidas pela estrutura intencional prpria ao tipo de objeto concernido. preciso
423

Jean-Jacques Szczeciniarz

deter-se no objeto e as condies desse deter-se encontram-se na retomada da estrutura intencional. A intencionalidade Desanti nos lembra disso com freqncia o modo de ser da conscincia dos objetos no corao desses objetos. Existe ento uma espcie de reintroduo da funo conscincia para descrever os modos de ser dos objetos matemticos. E essa conscincia move-se atravessando camadas, como um funcional que se enriquece de dimenso em dimenso. Se se utiliza ainda o vocabulrio husserliano, o ncleo aquilo que unifica como uma matria, e mostrar-se- sempre como uma sntese mvel de intencionalidades da qual os objetos so, por isso mesmo, constitudos uns pelos outros em camadas intencionais no seio das quais a conscincia se move [...] (IM, p. 91). Essa descrio, que se refere a uma conscincia em aparncia, deve ser compreendida como uma descrio das funes efetuadas pela conscincia sem que seja preciso supor uma conscincia independente. Devemos levar em conta a sntese das intencionalidades, mas sobretudo o ato matemtico impe essencialmente formas de reenvio. Eis a uma possibilidade constitutiva do ato: o ncleo a posio da pura possibilidade dos encadeamentos de atos capazes de efetuar, em um campo de intuio ainda no dominado, as verificaes exigidas pela posio da idealidade normativa (IM, p. 92). Um ncleo intencional se oferece como conscincia evidente de poder verificar a atribuio da propriedade a um objeto. O objeto (0,1) tem a potncia do contnuo (cf. IM, p. 92). Mas essa conscincia no se oferece a no ser no encadeamento dos atos cuja unidade mantm como objeto o domnio das propriedades. Consideremos as duas espcies de atos que se devem distinguir. Se se oferece o objeto (0,1), pe-se a conscincia da relao de ordem definida sobre o corpo dos racionais. Um ato de nvel inferior relativo, onde o nvel um quer aqui dizer que h o reenvio s propriedades reconhecidas do intervalo (0,1) antes que se demonstre a existncia do nmero real no-racional contido no intervalo. Ele inferior relativamente a propriedades de nvel superior que sero demonstradas.
O emprego da palavra ato no deve produzir iluso, trata-se antes de um abuso de linguagem necessrio para sublinhar o carter no inerte das posies dos objetos ideais. O emprego da palavra ato resulta aqui da interpretao espontnea que a conscincia do objeto oferece em virtude do fato reconhecido como necessrio de sua mediao com relao a toda posio do objeto (IM, p. 91).

A camada intencional pobre est imediatamente disponvel no seio da conscincia do objeto quando temos um ato de nvel um. Um ato de nvel superior requerido para a conscincia da relao biunvoca que permite a entrada em operao do mtodo diagonal (IM, p. 95). Esse mtodo consiste em estabelecer uma correspondncia
424

Desanti, filsofo da matemtica

entre os inteiros e os nmeros do intervalo (0,1) e em fazer aparecer a necessidade de que alguns desses nmeros escapem ao estabelecimento da correspondncia. um ato que, tendo um objeto e suas propriedades suficientemente definidos, pe o modo de encadeamento regrado dos atos requeridos para a constituio do domnio das propriedades desse objeto (IM, p.95). Pe um lugar onde se constitui, por exemplo, o mtodo diagonal. Acrescente-se, porm, que j estamos muito longe no campo da matemtica constituda. O leitor leigo em matemtica no pode mais que conjeturar a extrema riqueza ou complexidade do intervalo (0,1). Um abismo, dizia Cantor. Pode tambm compreender que essa riqueza que os conceitos como o de ato de conscincia se esforam para atingir. Mas essa anlise tomada no movimento de desinteresse e generalizao que nos faz passar do corpo das fraes, dos racionais, quele dos reais. Alm disso, duas espcies de atos so sempre correlativas a dois nveis de atos. Desanti distinguiu as posies de ncleos explcitos das posies de horizonte, para diferenciar as espcies de atos (cf. IM, p. 95). Acrescentemos duas precises: chama-se ato de nvel n+1 a todo ato que, tratando como suficientemente definido por uma atribuio de propriedades um objeto On posto por um ato de nvel n, pe o modo de encadeamento regulado dos atos requeridos pela constituio do domnio das propriedades de On (cf. IM, p. 95). E para o conceito de horizonte, Desanti acrescenta a seguinte preciso: vizinhana implcita que delimita todo objeto explicitamente posto (IM, p. 95). E posio, sublinha Desanti, no quer dizer tematizao.
Exemplo de posies de ncleos explcitos: no ato de nvel I oferecido pelo objeto (0, 1), a conscincia da relao de ordem definida sobre o corpo dos racionais, no ato de nvel II que oferece a contextura de (0, 1), a conscincia da lei de relao biunvoca que permite a entrada em operao do mtodo da diagonal (IM, p. 96).

Estamos no campo reflexivo imanente. Nesse campo, so reconhecidas e mantidas as posies dos objetos. E o ato pelo qual o objeto apreendido em sua unidade desdobra um discurso imanente ao prprio objeto (IM, p. 95). Desanti refere-se s idealidades matemticas como idias normativas, posio de exigncias que estrutura o modo pelo qual o objeto se d. essa normatividade e essa idealidade que sempre dividem os objetos em um dado prximo e um horizonte de desdobramento de possibilidades. Relembrei a diviso dos nveis de atos e de espcies de atos. Impem-se como conceitos necessrios todos aqueles que se desdobram a partir dessa proximidade e desse afastamento e, portanto, a partir da oposio entre horizonte e plo. Desanti diz horizonte de indeterminao e plo de idealidade.
425

Jean-Jacques Szczeciniarz

Assim, o conjunto que jamais se oferece em uma totalidade inteiramente transparente de partes de (0,1) um horizonte, se considero as funes contnuas sobre (0,1) (IM, p. 109). Mais a anlise se torna precisa, menos o horizonte sobrecarregado por sua origem metafrica e mais ele se especifica em funo do objeto que permite colocar. Contudo, desejo tornar perceptvel um outro movimento. Parece-me que atravs dessa descrio desenha-se uma reapario dos prprios conceitos e dos prprios objetos matemticos, que essa operao visava, em seu campo e com sua linguagem, fazer aparecer. O horizonte se preenche a si mesmo de modalidades de existncia matemtica dos objetos que ele envolve. Eu diria que o discurso segundo, do qual se tratou at aqui, desdobrado a partir do campo imanente reflexivo, um discurso matemtico. Dito de outro modo, o horizonte um conceito matemtico e seu contedo matemtico, mais especificamente geomtrico, que passa para a filosofia que se elabora. Devese dizer o mesmo para o conceito de perspectiva que vem complet-lo. E imediatamente constri-se, para um tal discurso, a dificuldade crescente de manter sua autonomia. Desanti desenvolve o conceito de mediao de horizonte. Reteremos somente a dupla funo que a anlise reconhece ao fenmeno de horizonte:
Por um lado, ele abre um domnio de possveis para alm do explcito, em direo ao qual o olhar deve dirigir-se; por outro lado e em virtude da mesma estrutura intencional, ele abarca toda posio do ncleo explcito (objeto ou propriedade) em um domnio de estratificao, no seio do qual se articulam ou vivem as posies efetuadas (IM, p. 103).

O que se deve entender por ncleo intencional pode ser visto com bastante simplicidade: a conscincia evidente de poder verificar a atribuio de propriedades ao objeto (IM, p. 92). Desanti toma o exemplo do enunciado: o conjunto de pontos compreendidos entre 0 e 1 tem a potncia do contnuo. A expresso ncleo intencional designa aqui o momento em que a conscincia do objeto apreende seu objeto como a unidade essencial de uma norma e de algo inacabado (IM, p. 93). Retornemos ainda estratificao. Existe o horizonte de possveis que oferece toda posio de ncleo explcito [...] como que envolvido em um domnio ainda indeterminado (IM, p. 104). E o horizonte de estratificao envolvido em todo ato de posio na sntese adquirida e desde ento recebida dos atos j efetuados (IM, p. 104). Neste horizonte, os atos se efetuam sobre o fundo das snteses j efetuadas. Existem na geometria alguns teoremas de estratificao que consistem, na sua totalidade, em fazer aparecer as camadas constitutivas dos domnios de objetos. Desanti retoma a mesma expresso e o mesmo conceito para designar um elemento do campo da conscincia que tambm deve ser descrito contra o fundo das camadas de atos j efetuados e estratificados. Resta que o
426

Desanti, filsofo da matemtica

horizonte apresenta essa propriedade que parece no-geomtrica de estar aberta por seu prprio limite diferena de toda representao do plano.

4. Teorias
Desanti obtm um conceito difcil de teoria. Uma teoria T1 e uma teoria T2 esto sempre operantes nas formaes matemticas. Teoria significa habitualmente sistema de teoremas prprios de uma estrutura na qual os axiomas foram explicitamente distinguidos. Mas h um segundo sentido que designa o modo de encadeamento dos momentos cuja mediao permite a manuteno de um tema ideal (IM, p. 119). Uma teoria T1 para o campo reflexivo imanente no existe seno com base em uma composio do horizonte, pela mediao de uma teoria T2. Para que o objeto da teoria seja mantido, preciso que sejam retomadas, reatualizadas e desenvolvidas as idealidades estratificadas no horizonte do tipo de objeto posto (IM, p. 178, n. 1). Esse o prmio de todo teorema importante, o de fazer aparecer o outro aspecto de um conceito que se torna ento um momento constitutivo da idealidade examinada. A raiz quadrada de 2 um elemento do corpo dos nmeros reais, e ela pode ser construda como o resultado de uma extenso a partir dos nmeros racionais, assim como pode ser aproximada por um mtodo analtico. Encontram-se ento conjugados os dois aspectos de uma mesma idealidade: seu horizonte algbrico e seu horizonte analtico. Deve-se insistir sobre a impossibilidade do objeto-teoria mostrar-se como totalidade explcita. Entretanto, Desanti mantm, por meio daquela impossibilidade, a tese da unidade pela qual o objeto-teoria sempre reapreendido e reencontrado no encadeamento aberto das mesmas motivaes de atos capazes de assegurar a adequao das posies de objetos e dos enunciados das mesmas propriedades com um mesmo domnio temtico. exatamente o caso de uma atividade de pesquisa matemtica que encontra sempre o mesmo objeto ou a mesma motivao de atos em uma elaborao com o mesmo tipo de questes para as formas variadas de um mesmo objeto, por exemplo, equaes diferenciais ou integrais. Essas formas de descrio e de desdobramento duais ferem de maneira irreversvel o privilgio da conscincia que Husserl tinha tentado manter. preciso renunciar a procurar em uma teoria do intuitus ou da evidncia o ncleo fundador de uma teoria da constituio dos objetos ideais. Mas preciso colocar em questo todos os sistemas de conceitos que a seu modo reforam o privilgio da conscincia, como, por exemplo, aqueles que utilizamos como objetos, atos, encadeamentos de atos. E se se quer um primado do prprio objeto sobre sua conscincia, que ele verdadeiramente no exclui, preciso proceder por tores e envolvimentos desses conceitos entre si.
427

Jean-Jacques Szczeciniarz

No existe linguagem constituda que veicularia de antemo as formas de expresses adequadas ao discurso constitudo. Uma tal linguagem no pode seno engendrar-se a si mesma, passo a passo, por rodeios e correes, no contexto do discurso produzido. Conscincia do objeto, ncleo intencional, tematizao no movimento em que so produzidas, todas essas expresses no aparecem seno para serem destrudas. Se devemos instalar-nos localmente nessa forma de espao que o sistema de expresses e de enunciados de estatuto matemtico, os modos dessa instalao foram retirados da fenomenologia husserliana, depois foram deformados, informados e distendidos pelos conceitos matemticos. Digamos mais, esses conceitos, metforas e apelos de significao fizeram surgir e ressurgir as tenses necessrias para exprimir os pensamentos matemticos. Mas permitiram igualmente dar a certos aspectos da prtica matemtica formas de expresso que lhe faziam falta. Romper e dissociar, para poder lanar luz sobre horizontes temporais distintos nos quais os elementos assim obtidos se propem como objetos de uma atividade matemtica constitutiva (IM, p. 9). Eis um trabalho necessrio para fazer aparecer os movimentos e suas direes, mas nesse discurso segundo transparece a prpria produo matemtica.

5. Fenomenologia e matemtica
A fenomenologia foi necessria para comprometer-se com uma descrio e para manejar uma posio. preciso salvaguardar a prtica matemtica como forma de pensamento na qual a criao constitutiva; forma de pensamento que apresenta, portanto, as caractersticas de uma idealidade: ela no pode ser explicada por uma forma exterior que lhe seja heterognea. A matemtica um fenmeno da cultura cuja essncia ser habitada pelo universo normatizado dos signos que ela mesma construiu, numa relao na qual jamais se pode romper a circularidade. Desanti engajou-se em seu trabalho sobre a teoria das funes de variveis reais por volta de 1930. O primeiro captulo de Les idalits mathmatiques apresenta o estado da teoria at os anos 20, levando em conta o grande tratado de Hobson que de 1927. Nesse primeiro captulo, ele analisa seu projeto como segue: (1) Tomar, de incio, uma viso superficial e horizontal da teoria no perodo escolhido. Ver em operao alguns conceitos fundamentais; a exigncia de conexo manifestada pelos conceitos conduziria a supor a existncia de uma ordem mais profunda. (2) Pr em evidncia as estruturas-me, aquelas cuja funo unificadora se deixa ver na teoria. Procurar as classes de teoremas que asseguram uma circulao entre os
428

Desanti, filsofo da matemtica

domnios nos quais a construo permitida pelas estruturas nas quais esses teoremas so demonstrados. (3) As estruturas obtidas asseguram a unidade da teoria. preciso ver em direo a qual campo operatrio se exerce sua mediao. Analisar os pontos crticos da teoria, que so os pontos de interseco de campos operatrios diferentes, dos quais cada um traz uma marca de origem, donde surgem as dificuldades nas transferncias de um campo a outro. (4) Seguir as indicaes oferecidas pela funo centrfuga que exercem os campos operatrios dissociados. Donde se segue uma anlise que se mostra sedimentar. Esses campos operatrios no so mudos, reenviam s possibilidades de atos. Neles se encadeiam os esquemas construtores, em um domnio ainda aberto. Esses esquemas, por sua vez, reenviam a um horizonte pr-constitudo de onde retiram sua validade. suficiente seguir o vocabulrio para constatar que ele traz entrelaamentos da fenomenologia com os teoremas das funes variveis reais. E nessa reexposio filosfica dos movimentos da matemtica constroem-se formas matemticas conceituais. Consideremos brevemente o exemplo dos pontos crticos. Trata-se de um ponto no qual uma curva concentra as virtualidades de suas direes, que d sentido aos movimentos que o precedem enquanto estes ltimos adquirem em um ponto mltiplas possibilidades. Desanti afirma, em geral, que essa concentrao de virtualidades caracteriza a prpria teoria. Por exemplo: Faz parte da essncia da matemtica ser inacabada. Acrescentemos que faz parte da essncia de um texto matemtico ser inesgotvel, por menos que ele oferea a um matemtico, porque no h discurso matemtico inerte (IM, p. 274). Acrescentemos ainda que um ponto crtico aquele no qual a curva arrisca sua existncia. Insistamos paralelamente no fato de que a prpria teoria matemtica produz sem cessar essas formas de discurso sobre si mesma. Tomemos o caso de um dos conceitos estruturais, diria Desanti, organizadores da teoria e interterico, o conceito de variedade, que um conceito forjado no seio da geometria diferencial a partir do conceito de superfcie. Uma superfcie um objeto que se situa em um espao e que recorta no seio desse espao uma forma da qual podemos dominar a estrutura com a ajuda das equaes que a exprimem. Foi Descartes que permitiu a sistematizao dessa descrio. As equaes polinomiais permitem que controlemos a forma de uma curva ou de uma superfcie. Assim, uma superfcie est sempre associada ao que se chama um espao ambiente. A idia de variedade abstrata a de construir a maneira pela qual a superfcie ou um objeto mais abstrato se relaciona com esse espao ambiente. E essa construo far parte da prpria superfcie. Esta recortada em pedaos e esses peda429

Jean-Jacques Szczeciniarz

os se relacionam ao espao ambiente. Mas eles devem ter uma propriedade suplementar. Quando esses pedaos so relacionados ao espao ambiente, deve-se poder passar desses pedaos de superfcie mergulhados novamente no meio ambiente de uma maneira determinada, que no depende mais do meio. A troca de mapas ( assim que se chama a passagem de um pedao de superfcie mergulhado novamente a um outro) se efetua por meio de funes, das quais podemos fixar a natureza. Assim, se estamos tratando de funes contnuas, a variedade ser dita topolgica; e se elas so diferenciveis, a variedade dita diferencial. da maior importncia que seja, assim, a prpria variedade que controle seu modo de existncia no mundo ambiente e que ela se torne por sua vez um indicador de funes, que ela possa servir de meio para o exame da natureza das funes que a definem. Ela concentra uma forma de reflexividade dos objetos sobre si mesmos. normal que um personagem tenha sido apagado: o sujeito constituinte que, reduzido ao estatuto de espectador annimo, no foi nada alm do modo de manifestao de seu objeto. Foi necessrio desnaturalizar os dados reflexivos imediatos engendrados pela manifestao de nossos objetos; e isso acontece porque o discurso matemtico substitui, em suas formas conceituais, a filosofia inicial. por essa razo que a anlise de Desanti me parece concentrar a dificuldade maior de uma filosofia que reflete sobre as cincias para fazer apreender nelas mesmas a natureza conceitual. No esqueamos das crticas que Desanti endereou em seu tempo expresso (e tambm coisa que se chama de) filosofia da cincia (cf. Desanti, 1975). Uma filosofia que queira manter a palavra incessantemente ultrapassada por seu objeto e deve sempre assumir essa situao. Na matemtica, o filsofo no apenas ultrapassado e superado por seu objeto mas torna-se ele prprio objeto de seu prprio objeto. O discurso filosfico sempre corre o risco de se matematizar.

6. A matemtica e a experincia simblica

Acredito que se deve compreender a situao que acabamos de apresentar com relao a uma dimenso da matemtica e da cincia que no freqentemente levada em considerao; o que se deve certamente ao fato de que elas so percebidas ou atravs de formas filosficas emprestadas ao empirismo lgico, ou, correlativamente ao contrrio, atravs de formas redutoras qualquer que seja o interesse disso da sociologia da cincia. A matemtica , no plano mais alto, uma experincia da constituio simblica de nossa experincia. Refazemos essa experincia quando trabalhamos as experincias que reatualizam as formas atravs das quais a existncia humana se constituiu. Afirma430

Desanti, filsofo da matemtica

mos, sob o risco de sempre nos perdermos, a necessidade de nossa existncia simblica. Designamos por simblico todo sistema de signos no necessariamente escritos, todo encadeamento de atos ou at mesmo de posies que nos d uma forma de domnio, de controle sobre nosso meio, mas mais simplesmente permite que nos situemos graas a formas pensadas ou somente representadas. Tomemos o exemplo da orientao. Na geometria, sobretudo quando se trabalha com variveis mltiplas, pe-se a questo de saber se nosso objeto orientvel, ou seja, se podemos estabelecer um modo de deslocamento representado sobre a superfcie, por exemplo, que seja homogneo, que se possa controlar globalmente. Sabe-se que no o caso para todas as superfcies. A experincia de um tal fenmeno faz ressurgir mesmo se o grau de elaborao muito elevado as formas de construo que nos so necessrias para viver em um espao. ainda a experincia de nossa verticalidade, da diferena entre a direita e a esquerda, que retrabalhamos em uma situao que se apresenta como radicalmente depurada e fora de todo contexto. Nas variveis mltiplas, refazemos a experincia da difrao de nossa intuio quando tentamos construir figuras em dimenses maiores do que trs. Eis porque preciso tambm compreender que essa experincia singular precisamente como experincia do universal. Acontece o mesmo, por exemplo, com a experincia de atribuio da origem na geometria. tambm por isso que necessrio confrontar essas experincias, sem por isso reduzi-las quelas que relata a antropologia. De modo mais geral, a experincia do imaginrio que se desdobra nessa forma particular de criao. As criaes matemticas, nesse sentido, so muito prximas das criaes artsticas. Pode-se ento dizer que a experincia matemtica duplica de maneira totalmente densa o discurso e as questes da filosofia, mas antes que esta se constitua em uma argumentao sistemtica que se quer transparente a si prpria. Ela faz ento remontar quilo que queria conter o conceito filosfico. Assim acontece com a imaginao produtora, que sobre a base de conceitos aparentemente abstratos d novamente suas regras, como explica Kant na Crtica da faculdade do juzo a propsito da arte. suficiente ler a matemtica para ver provada essa experincia que duplica, num registro aparentemente diferente, o questionamento filosfico e que testemunha a profunda unidade de todos os seres de nossa cultura. Direi ainda que isso explica em parte o grande sofrimento experimentado no trabalho matemtico e as formas de violncia que ele implica. Lembremo-nos dos conflitos que se desenvolveram a partir de oposies concernentes natureza do ponto. No existe objeto mais simples e mais complicado que o ponto. Sua natureza implica toda a teoria fsica e todas as formas de anlise. Uma das tematizaes dessas oposies traduziu-se nos famosos paradoxos de Zeno. Todo o segundo captulo de Les idalits mathmatiques, que escolhe o conceito de conjunto de pontos como objeto de anlise, pode ser visto como um trabalho justificado por essa posio profunda do conceito de ponto. Desanti explica:
431

Jean-Jacques Szczeciniarz

[...] por um lado, o conceito de conjunto de pontos tem uma raiz nas profundezas da anlise. Ele foi primeiramente obtido para as necessidades da teoria das funes, para a anlise, por exemplo, do modo de distribuio dos pontos de descontinuidade, para a apreciao do obstculo que a estrutura apropriada a esses sistemas de pontos constitua para a extenso de classes cada vez mais gerais de funes das operaes fundamentais da anlise [...] (IM, p. 33).

Acontece o mesmo para os nmeros ditos imaginrios, que uma anlise mais aprofundada mostraria como um paradigma da extenso dos domnios de operao e ao mesmo tempo como a experincia refletida e tematizada do obstculo a essa extenso. V-se assim a razo pela qual as matemticas reproduzem a seu modo ou antecipam todos os acontecimentos maiores que foram etapas de nossa cultura. Cada um desses acontecimentos pode ser lido na histria das outras cincias. Contento-me em considerar que a pluralidade das dimenses do espao um problema trabalhado, experimentado por toda a geometria do sculo XIX mas tambm, mais antigamente, pela teoria da anlise e mesmo pela aritmtica. desse modo que adquire igualmente sentido o projeto de constituio de uma histria da matemtica. Desanti explica que devemos inicialmente ter esgotado as formas da temporalidade.
No sabemos nada daquilo que na introduo fomos obrigados a chamar Histria. O filsofo no o historiador. Este ltimo est em presena da prpria histria. Ele aborda o produto em sua completa positividade, o produto est a como uma coisa que se mostrou no tempo [...] para ele o negativo o tempo ou pelo menos o esquema ainda vazio de uma sucesso linear que se deve preencher (IM, p. 8).

Ao contrrio, diz Jean-Toussaint Desanti,

devemos abordar o produto por intermdio de seu negativo. O filsofo no pode fazer de outro modo alm de exercer sua reflexo. A banalidade de que no se pode ler Arquimedes antes da descoberta do clculo infinitesimal, como foi lido depois, no nos pode deixar indiferentes. Descobrir o sentido do produto , para o sujeito histrico, deixar-se guiar em direo ao horizonte temporal prprio ao produto, tomando o incio no horizonte temporal ao qual ele prprio se encontra ligado (IM, p. 8).

Formula-se certamente com isso a exigncia prpria ao filsofo-fenomenlogo que deixa que se rompam suas formulaes. Ele deve aceitar deixar-se guiar pela
432

Desanti, filsofo da matemtica

exigncia que vive no sentido dos momentos da histria que ele ter dissociado. Ele deve, portanto, tentar refazer a experincia singular que a criao matemtica pode deixar aparecer. Para fazer isso, ele deve romper a figura presente da Razo, desfazer o perptuo hoje do Esprito (IM, p. 9), fazendo sua a constituio dessa histria. Mas seria preciso ento refazer o mesmo trabalho negativo a partir da temporalidade e ento fazer ressurgir, na nossa experincia reconstrutiva, as formas geomtricas de seu conceito. Estamos ainda, como nos ensinou pacientemente Desanti, soleira de uma soluo, mas da parte da geometria fsica que se esboa hoje em dia a esperana de encontrar os elementos da soluo.

Traduzido do original em francs por Pablo Rubn Mariconda

Jean-Jacques Szczeciniarz
Professor do Departamento de Filosofia da Universidade de Bordeaux III, Frana. szczeciniarz@paris7.jussieu.fr

abstract
This article recovers the epistemological project of Jean-Toussaint Desanti, which, by the use of the conceptual terminology of Husserlian phenomenology, aims at constituting a science of mathematical ideality both against itself and against the positivist enterprises. From this point of view the use of concepts such as immanent consciousness, intentional nucleus, horizon of possibilities, or stratification, is retrieved. Thereupon one attempts to show how Desantis project is conceived as a new constitution of a field of study, which aims at exhibiting the specificity of mathematical ideality as an effect of a practice which develops by the constitution of its own norms and criteria of objectivity. Keywords G Philosophy of mathematics. Phenomenology. Act. Consciousness. Ideality. Immanence. Intentional nucleus. Stratification. Theory. Desanti.

referncias bibliogrficas
COUTURAT, L. La logique de Leibniz. Paris, G. Olms, 1969 [1901]. DESANTI, J.T. Les idalits mathmatiques. Paris, Seuil, 1968. (IM) _______. La philosophie silencieuse ou critique des philosophies de la science. Paris, Seuil, 1975. HOBSON, E.W. The theory of functions of a real variable and the theory of Fouriers series. Cambridge, Cambridge University Press, 1927.

433

Jean-Jacques Szczeciniarz KANT, I. Crtica da faculdade do juzo. Trad. de V. Rohden & A. Marques. Rio de Janeiro, Forense Universitria, 1995 [1790]. LEIBNIZ, G.W. Discurso de metafsica. Trad. de J. Amado. Lisboa, Edies 70, s.d. [1686]. _______. Nouveaux essais sur lentendement humain. Paris, Flammarion, 1966 [1703].

434