Você está na página 1de 10

ESTUDOS

A definio de nmero: uma hiptese sobre a hiptese de Piaget


Cllia Maria Ignatius Nogueira

Resumo
Nenhum aspecto da matemtica foi to analisado luz da teoria piagetiana quanto o nmero. Os resultados encontrados por Piaget e Szeminska e publicados no livro A gnese do nmero na criana geraram, tambm, inmeras publicaes acerca das suas possveis implicaes pedaggicas. Para os pesquisadores, o nmero elaborado a partir da sntese operatria da seriao e da classificao, estabelecendo um tertium entre as definies de nmero propostas por duas das principais correntes do pensamento matemtico: o logicismo e o intuicionismo. Neste artigo expe-se o debate entre intuicionismo e logicismo sobre o nmero e a posio epistemolgica de Piaget que levou a uma nova concepo de compreender a gnese do nmero na criana. Palavras-chave: definio piagetiana de nmero; logicismo; intuicionismo.

Abstract

The definition of number: a hypothesis over Piagets Theory

Perhaps no aspect in Mathematics has been so thoroughly analyzed than the concept of number from Piagets point of view. Results by Piaget and Szeminska in their book The Childs Conception of Number brought forth several publications on possible pedagogical implications on the issue. For researchers, the number concept is worked out from the operational synthesis of serializing and classification, while establishing a tertium between the definitions of number, which have been proposed by two of the main mathematical thoughts, namely logics and intuitionalism. In this article the debate between intuitionalism and logics on the number and Piagets epistemological stance that led to a new concept on the genesis of number in the child is provided. Keywords: Piagets definition of number; logics; intuitionism.

Introduo
At 1940, Jean Piaget (1896-1980) j havia analisado as fontes prticas e sensrio-motoras do desenvolvimento da criana e publicado seus resultados em duas obras clssicas: O nascimento da inteligncia na criana e A construo do real na criana. Tambm j havia
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

investigado os aspectos verbais e conceituais do pensamento infantil que resultaram em A formao do smbolo na criana. O prprio Piaget afirma, no prefcio da primeira edio do livro A gnese do nmero na criana, escrito em 1941, que era necessrio ultrapassar essas duas etapas preliminares e atingir os mecanismos formadores da prpria razo, ou seja,
135

Cllia Maria Ignatius Nogueira

procurar compreender como os esquemas sensrio-motores se organizavam no plano do pensamento em sistemas operatrios, o que, para ele, s seria possvel mediante o estudo do nmero (Piaget; Szeminska, 1981, p. 11). Do ponto de vista epistemolgico, o problema o que o nmero? intrigou filsofos e matemticos desde a Antigidade, evidenciando a existncia de um forte contraste entre a clareza instrumental do nmero e a complexidade das teorias construdas para explic-lo. Nenhuma das principais correntes do pensamento matemtico, como o intuicionismo, o logicismo e o formalismo, at o sculo 20, conseguiu uma resposta satisfatria para explicar qual a origem do nmero. Tal desafio interessou a Piaget, para quem somente uma investigao gentica poderia conduzir a uma resposta mais conclusiva.
Assim como a verdade tcnica da aritmtica est fora de toda discusso, a questo de se saber o que o nmero deixa evidente a surpreendente incapacidade do pensamento para apreender qual a natureza de certos instrumentos nos quais, entretanto, acredita compreender completamente e os utiliza em quase todos os seus atos. Este contraste entre a evidncia instrumental do nmero e a confuso das teorias epistemolgicas para explic-lo deixa claro a necessidade de uma investigao gentica: o desconhecimento do pensamento em relao s engrenagens essenciais de seu prprio mecanismo , com efeito, o ndice psicolgico de seu carter elementar e, em conseqncia, da necessidade de se remontar aos primrdios de sua formao para poder alcan-las (Piaget, 1975, p. 67-68).

infncia. O interesse despertado pela obra, desde sua publicao, jamais diminuiu, apesar ou por causa das crticas tericas que o livro contm e dos novos fatos experimentais nele apresentados. Os sujeitos da pesquisa foram restritos a crianas do perodo intuitivo, no porque no existissem indicativos da presena do nmero em crianas mais jovens, mas porque toda anlise metodolgica necessita fixar comeos. Para no ficar remontando indefinidamente s origens, Piaget e Szeminska estabeleceram que os sujeitos de sua investigao deveriam ser capazes de realizar tarefas inerentes s provas cognitivas programadas, limitando-os, ento, ao perodo intuitivo ou pr-operatrio. Para a determinao das provas, Piaget e Szeminska se fixaram nas principais qualidades ou necessidades do nmero para existir a conservao de quantidades (condio de todo e qualquer conhecimento), a correspondncia termo a termo (essencial para a contagem), a determinao da cardinalidade e do princpio ordinal (aspectos indissociveis do nmero) , e, em todas elas, possvel perceber que os autores buscam confirmar a hiptese, no colocada abertamente, de que o nmero a sntese da classificao e da seriao. Como Piaget e Szeminska formularam essa hiptese o tema que investigamos, mediante pesquisa bibliogrfica sobre a construo do nmero, objetivando compreender o contexto cientfico e filosfico no qual os pesquisadores estavam inseridos.

O nmero pela histria e pela filosofia: algumas consideraes


At o sculo 18, embora j inteiramente dedutiva, a matemtica estava particularmente ligada aos algoritmos, e pouca ou nenhuma preocupao existia quanto natureza de seus elementos ou quanto aos seus fundamentos. De uma maneira geral, exceo do perodo clssico, na Grcia Antiga, a evoluo das idias matemticas prosseguiu, at a, de uma maneira praticamente linear, sem maiores revolues. Esta histria, vista hoje, parece indicar que a matemtica se desenvolveu de uma maneira praticamente esperada. Tal no , todavia, o panorama do sculo 19, no qual, aps a descoberta de
136
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

Piaget, em parceria com Alina Szeminska, realizou esta investigao gentica; os resultados obtidos foram relatados no livro La gense du nombre chez lenfant, publicado em 1941, definindo nmero como a sntese da classificao e da seriao. No texto em questo apareceu, pela primeira vez, a resposta pergunta: O que nmero? Piaget e Szeminska se propuseram a apresentar, a partir de observaes precisas, uma explicao terica coerente da construo do nmero na

A definio de nmero: uma hiptese sobre a hiptese de Piaget

um novo mundo na geometria, a matemtica passou a ser reconhecida no mais como uma cincia natural, decorrente da observao da natureza, ou que buscasse descrev-la, mas como uma criao intelectual do homem. Em decorrncia dessa nova concepo surgida no sculo 19, com o advento das geometrias no-euclidianas, a aritmetizao da anlise e da lgebra, a adoo da lgica simblica como a linguagem da matemtica e com a libertao da matemtica do real, eclodiu o que ficou conhecido como a crise dos fundamentos da matemtica. Surgiram ento, como vamos descrever a seguir, diferentes formas de conceber a matemtica e, conseqentemente, diferentes definies para nmero.

dividir os matemticos quanto aos fundamentos da matemtica.

O logicismo
O matemtico alemo Friedrich Ludwig Gottlob Frege (1848-1925) acreditava que a soluo para o impasse seria a reduo da aritmtica lgica. Para realizar esta tarefa, pretendia efetivar a consecuo de dois grandes objetivos: o primeiro seria definir toda expresso aritmtica em termos lgicos e com isso mostrar que a toda expresso aritmtica equivale uma expresso lgica determinada; caso conseguisse realizar tal tarefa, o segundo objetivo consistiria em mostrar que as proposies lgicas obtidas poderiam ser deduzidas de leis lgicas imediatamente evidentes. Frege eliminou qualquer recurso intuio e linguagem comum, procurando mostrar que a aritmtica poderia ser considerada como um ramo da lgica e que suas demonstraes no necessitavam se fundamentar nem na experincia e nem na intuio. Observou, ento, que a matemtica necessitava de uma profunda reviso crtica, como nunca acontecera antes. Acreditava que seriam necessrias demonstraes de proposies que, anteriormente, se aceitavam como evidentes e que conceitos relativamente novos, como de funo, de contnuo, de limite, de infinito, etc., precisavam ser reexaminados. De maneira geral, seria necessrio examinar todos os campos da matemtica com o rigor de demonstrao, delimitao precisa da validade dos conceitos e sua exata definio, a partir j do prprio conceito de nmero. Alm da perda de credibilidade da geometria como base slida, preciso recordar que, praticamente na mesma poca, apareceram as vrias antinomias da teoria dos conjuntos, abalando todo o edifcio matemtico e fortalecendo a idia de Frege, de que apenas uma anlise minuciosa dos fundamentos da matemtica, graas ao novo instrumento lgico, poderia salvar a coerncia das matemticas (Grize, apud Piaget et al., 1980, p. 121). O programa apresentado por Frege no encontrou eco at ser acatado por B. Russell (1872-1970) e A. Whitehead (1861-1947). Os dois retomaram a tese de Frege e procuraram demonstrar que a matemtica pura (includa a a geometria) poderia ser inteiramente deduzida da lgica.
137

As principais correntes do pensamento matemtico


Por quase todo o sculo 19, o mito de Euclides (c.450-c.380 a.C.) era inabalvel tanto para os filsofos como para os matemticos. A geometria euclidiana era considerada por todos como o mais firme e confivel ramo do conhecimento (Davis; Hersh, 1986, p. 371). A descoberta das geometrias noeuclidianas, contudo, implicou a perda da certeza da geometria, abalando, conseqentemente, no s os alicerces da matemtica, mas de todo o conhecimento. Os matemticos do sculo 19 enfrentaram o problema e buscaram uma outra fonte segura para fundamentar seus trabalhos, elegendo a aritmtica como a nova base slida. Ao alicerar a matemtica sobre a aritmtica, porm, se estava, em ltima instncia, fundamentando-a sobre o nmero natural, e verificou-se, ento, que este no possua uma definio matemtica formalizada, a ponto de o alemo Kronecker (1823-1891) haver dito que Deus fez os nmeros inteiros, todo o resto criao do homem (Eves, 1995, p. 616). Estava desencadeada a crise dos fundamentos na matemtica. A partir da surgiram diversas correntes buscando solues para os profundos problemas apresentados, solues estas que se resumiam em tornar a matemtica, novamente, uma cincia confivel. Dessas correntes, trs se destacaram: o logicismo, o intuicionismo e o formalismo. Estas trs correntes continuam, at hoje, a
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

Cllia Maria Ignatius Nogueira

Embora at ento tivessem sido tratadas, historicamente falando, como estudos distintos, a matemtica sempre relacionada com as cincias e a lgica com o idioma grego, o desenvolvimento de ambas, durante o sculo 19 e incio do sculo 20, de acordo com Russell, aproximou definitivamente lgica e matemtica, a lgica tornando-se cada vez mais matemtica e a matemtica, cada vez mais lgica, de maneira a ser, para Russell, inteiramente impossvel traar uma linha entre as duas; na verdade, as duas so uma. Diferem entre si como rapaz e homem: a lgica a juventude da matemtica e a matemtica a maturidade da lgica (Russell, 1974, p. 186).
A tese do logicismo que a matemtica um ramo da lgica. Assim, a lgica, em vez de ser apenas um instrumento da matemtica, passa a ser considerada como a geradora da matemtica. Todos os conceitos da matemtica tm que ser formulados em termos de conceitos lgicos, e todos os teoremas da matemtica tm que ser desenvolvidos como teoremas da lgica; a distino entre matemtica e lgica passa a ser uma questo de convenincia prtica. (Eves, 1995, p. 677).

mas apenas numa coleo de sinais ou smbolos pr-lgicos e num conjunto de operaes com esses sinais. Como, por esse ponto de vista, a matemtica carece de contedo concreto e contm apenas elementos simblicos ideais, a demonstrao da consistncia dos vrios ramos da matemtica constitui uma parte importante e necessria do programa formalista. Sem o acompanhamento dessa demonstrao de consistncia, todo o estudo perde fundamentalmente o sentido. Na tese formalista se tem o desenvolvimento axiomtico da matemtica levado a seu extremo (Eves, 1995, p. 682).

O intuicionismo
Embora no tenha sido ele matemtico e nem tenha vivido a maior parte da sua vida no sculo 19, o pensamento filosfico de Immanuel Kant (1724-1804) influenciou profundamente o desenvolvimento cientfico e cultural dos sculos 19 e 20, inclusive o da matemtica, de modo que oportuno um breve interstcio para algumas consideraes acerca da posio da matemtica no sistema kantiano. At Kant, tanto os filsofos racionalistas quanto os empiristas dividiam as proposies matemticas em duas classes mutuamente excludentes e que esgotavam o universo das proposies: as analticas, que englobam as verdades da razo e cuja negao conduz a no-contradies, e as empricas ou no-analticas, que expressam os fatos. Kant reapresentou o problema da classificao das proposies oferecendo uma outra: as proposies poderiam ser analticas e sintticas, e a principal diferena entre Kant e seus antecessores que ele faz a distino de duas classes de proposies sintticas as empricas ou sintticas a posteriori e as sintticas a priori, que no so empricas. As proposies matemticas seriam, segundo Kant, sintticas a priori, pois seriam as formas puras da intuio, o espao e o tempo, que permitiriam fundamentar e legitimar os juzos sintticos a priori (e tambm toda a matemtica) expressando a especificidade da matemtica. Em outras palavras, a matemtica se referiria realidade concreta, mas utilizaria, para apreend-la, conhecimentos a priori de tempo e de espao, o primeiro fundamentando o nmero e, conseqentemente, toda
138
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

O formalismo
O embrio da escola formalista foi um estudo postulacional realizado pelo matemtico alemo David Hilbert (1862-1943) sobre a geometria, em 1899. Nesse estudo, Hilbert aprimorou o mtodo matemtico desde a axiomtica considerada material, dos tempos de Euclides, axiomtica formal do sculo 20. Algum tempo depois, tentando solucionar a crise instaurada pelas antinomias na teoria dos conjuntos e para responder ao desafio matemtica clssica, estabelecido pelos intuicionistas, Hilbert dedicou-se, seriamente, elaborao do programa formalista.
A tese do formalismo que a matemtica , essencialmente, o estudo dos sistemas simblicos formais. De fato, o formalismo considera a matemtica como uma coleo de desenvolvimentos abstratos em que os termos so meros smbolos e as afirmaes so apenas frmulas envolvendo esses smbolos; a base mais funda da matemtica no est plantada na lgica

A definio de nmero: uma hiptese sobre a hiptese de Piaget

a aritmtica, e o segundo alicerando a geometria. Estas idias, que exerceram enorme influncia nos matemticos no sculo 19, constituram a base do intuicionismo de Poincar. Jules Henri Poincar (1854-1912) considerado o matemtico mais importante do perodo transitrio entre os sculos 19 e 20, e, de acordo com diversos historiadores, nenhum de seus contemporneos dominou tanta diversidade de assuntos, enriquecendo todos eles. Interessou-se pelas geometrias no-euclidianas, mas, ao contrrio do que depois se comprovou, de que todas possuam o mesmo grau de veracidade, preocupou-se sobremaneira em investigar qual a verdadeira geometria. Para Piaget isto pode ter sido o fato que impediu Poincar de descobrir a Teoria da Relatividade. Poincar produziu mais de 500 artigos tcnicos e mais de 30 livros, tendo sido tambm um dos principais e mais hbeis divulgadores da matemtica e da cincia, mediante uma srie de obras populares e semitcnicas, entre as quais se destaca A cincia e a hiptese (1906), um texto de caracterstica semipopular, em que apresenta uma teoria da matemtica na qual sensvel a influncia de Kant (Costa, 1971, p. 92). Bastante influenciado pelo sistema kantiano, Poincar, porm, no se contentava apenas com o fato de que os postulados matemticos fossem juzos sintticos a priori; era preciso, tambm, que os conceitos aos quais se referissem correspondessem a certas intuies materiais, intuies estas que seriam indispensveis construo da cincia. Assim, tal como em Kant, a matemtica para Poincar se apia em intuies, principalmente na de nmero, razo pela qual considerado um dos fundadores do intuicionismo. Para Poincar, o nmero possui o duplo carter de conceito puro e de forma intuitiva. conceito puro enquanto esquema do conceito de grandeza, isto , a parte sem a qual no se pode passar da grandeza pura sua imagem no espao e no tempo. forma intuitiva porque representa a seqncia aditiva de uma unidade a outra unidade e realiza a sntese de um mesmo objeto no espao e no tempo (Costa, 1971, p. 93). Poincar concluiu que o princpio de recorrncia sinttico, porque no se reduz lgica do princpio da no-contradio, e
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

a priori, porque s poderia ser provado mediante um nmero infinito de experincias, o que impossvel. Deste modo, Poincar enxergou no mtodo matemtico um elemento intuitivo, e, para ele, intuio, como o nmero, possua o duplo sentido de fonte de noes puras ou como instinto inventivo (Costa, 1971, p. 94). Como fonte de noes puras, a intuio direciona o esprito para a noo de nmero inteiro e, como instinto inventivo, impulsiona o profundo trabalho do esprito na descoberta cientfica. Desta forma, para Poincar, o nmero teria um carter sinttico e irredutvel, enquanto para Russell, conforme ser explicitado posteriormente, o nmero cardinal seria a classe das classes. Isto retrata a oposio existente entre as correntes de pensamento matemtico logicismo e intuicionismo, que, juntamente com o formalismo de Hilbert, pretenderam resolver a crise dos fundamentos no sculo 20. O intuicionismo de Poincar ganhou fora como corrente quando o holands L. E. J. Brouwer (1881-1966) conseguiu reunir em torno das idias intuicionistas os oposicionistas do formalismo de Hilbert e do logicismo de Russell. Para os seguidores do intuicionismo, os elementos e axiomas da matemtica no so to arbitrrios como possam parecer. Segundo Brouwer (1974, p. 448), a linguagem e a lgica no so pressuposies para a matemtica, a qual tem sua origem na intuio que torna seus conceitos e inferncias imediatamente claros para ns....
A tese do intuicionismo que a matemtica tem de ser desenvolvida apenas por mtodos construtivos finitos sobre a seqncia dos nmeros naturais, dada intuitivamente. Logo, por essa viso, a base ltima da matemtica jaz sobre uma intuio primitiva, aliada, sem dvida, ao nosso senso temporal de antes e, depois, que nos permite conceber um objeto, depois mais um, depois outro mais, e assim por diante, indefinidamente. Dessa maneira obtm-se seqncias infindveis, a mais conhecida das quais a dos nmeros naturais. A partir dessa base intuitiva (a seqncia dos nmeros naturais), a elaborao de qualquer outro objeto matemtico deve ser feita necessariamente por processos construtivos, mediante um nmero finito de passos ou operaes. Na
139

Cllia Maria Ignatius Nogueira

tese intuicionista o desenvolvimento gentico da matemtica levado a extremos (Eves, 1995, p. 679).

Segundo Machado (1987), o intuicionismo considera a matemtica como uma atividade autnoma, uma construo de entidades abstratas a partir da intuio dos matemticos, e, como tal, prescinde tanto de uma reduo lgica quanto de uma formalizao rigorosa em um sistema dedutivo, o que era defendido por Hilbert e seus seguidores. Na transio do sculo 19 para o sculo 20, ocorreram muitos congressos internacionais de matemtica (o primeiro foi em Chicago, em 1893). No segundo, realizado na cidade de Paris, em 1900, Hilbert proferiu a conferncia principal, na qual apresentou uma lista com 23 problemas, que, segundo ele, seriam os focos das atenes dos matemticos do sculo 20. No mesmo congresso, Poincar apresentou um trabalho em que comparava os papis da lgica e da intuio na matemtica. A partir desse congresso, Hilbert se envolveu, com Poincar, em uma das maiores controvrsias do sculo.
Hilbert admirava o Mengenlehre de Cantor, ao passo que Poincar o criticava fortemente. As teorias de Cantor, como os abstratos espaos de Hilbert, pareciam muito afastadas da base intuitivoemprica que Poincar e alguns de seus contemporneos preferiam (Boyer, 1974, p. 448).

Hilbert e seus seguidores. Desta forma, o debate acerca dos fundamentos da matemtica se centralizou em torno do logicismo e do intuicionismo. So estes, portanto, o cenrio e o instrumental lgico de que dispunha Piaget quando realizou sua investigao sobre a construo do nmero.

As principais concepes de nmero


Como dissemos, no livro A gnese do nmero na criana, Piaget e Szeminska queriam confirmar a hiptese, no explicitamente exposta por eles, de que a noo de nmero seria a sntese operatria da seriao e da classificao. Reafirmamos que esta hiptese estaria implcita, uma vez que, no prefcio, escrito em 1941, da edio francesa da referida obra, o pesquisador afirma que foi unicamente o problema da construo do nmero em relao com as operaes lgicas que despertou o seu interesse (Piaget; Szeminska, 1981, p. 12). Ainda no prefcio em questo, Piaget esclarece a hiptese que direcionou a pesquisa realizada:
A hiptese da qual partimos , obviamente, que esta construo correlativa do desenvolvimento da prpria lgica e que ao nvel pr-lgico corresponde um perodo pr-numrico (Piaget; Szeminska, 1981, p. 12).

Os matemticos da poca agruparamse em torno das trs principais correntes de pensamento: o intuicionismo de Poincar, o formalismo de Hilbert e o logicismo de Russell, esta ltima ligada ao formalismo (ambas valorizam a lgica), mas no identificada com ele. Todavia, como o sucesso ou o fracasso do programa formalista estava vinculado resoluo do problema de consistncia, o sonho dos seguidores do formalismo teve curta existncia, pois, em 1931, o ento jovem matemtico Kurt Gdel (1906-1978), discpulo de Hilbert, provou de maneira inconteste, por seguidores das trs principais correntes, que no possvel provar a consistncia de um sistema dedutivo formalizado capaz de abranger toda a matemtica clssica, com todos os seus princpios lgicos, conforme era idealizado por
140

Os resultados a que chegaram Piaget e Szeminska (1981, p. 12) confirmaram que a hiptese por eles estabelecida, de que
[...] o nmero se organiza, por etapa, em solidariedade estreita com a elaborao gradual dos sistemas de incluses (hierarquia das classes lgicas), com as relaes assimtricas (seriaes qualitativas) e com a sucesso dos nmeros, constituindo-se, assim, em sntese operatria da classificao e seriao.

Todavia, uma anlise mais acurada da investigao desenvolvida por Piaget e Szeminska nos permite inferir, uma vez que as provas estabelecidas parecem conduzir para isso, que a hiptese de que o nmero se constituiria a sntese da
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

A definio de nmero: uma hiptese sobre a hiptese de Piaget

classificao e da seriao estava presente durante todo o desenvolvimento da pesquisa realizada. O que teria motivado Piaget a formular tal hiptese? Para responder a esta pergunta, entra em cena o forte apelo epistemolgico das solues insatisfatrias para a questo o que nmero?, particularmente o longo e antigo debate, sem vencedor, entre logicistas e intuicionistas. A este debate acrescentem-se as convices de Piaget de que o conhecimento no est nem no sujeito (apriorismo, implcito no logicismo) e nem no objeto (empirismo, pano de fundo do intuicionismo), mas na interao entre ambos, uma interao particular que acontece internamente ao sujeito. Pode-se inferir, assim, que Piaget procurava uma soluo intermediria entre Russell e Poincar. Dito de outra forma, do mesmo modo como a concepo de inteligncia de Piaget pode ser considerada como um tertium entre o lamarckismo e o neodarwinismo, que a sua posio acerca da construo do conhecimento fica a meio-caminho entre o empirismo e o apriorismo, ele terminaria por considerar o nmero tambm como uma espcie de tertium entre Russell e Poincar, ao conceber como recprocas e no mais unilaterais a relao entre a lgica e a aritmtica (Piaget; Szeminska, 1981, p. 13). Para confirmar nossa hiptese, a de que Piaget estaria procurando finalizar o debate entre logicistas e intuicionista acerca da construo do nmero, nos apoiamos em consideraes, discusses e argumentaes do prprio Piaget sobre esses modelos tericos, extradas dos prefcios da primeira e da terceira edio francesa do livro A gnese do nmero na criana, e de estudos posteriores do autor, particularmente na obra Introduccin a la epistemologia gentica. 1. El pensamiento matemtico.

italiano Giuseppe Peano (1858-1932) em termos puramente lgicos, e definiram nmero em termos de classes e de relaes, com o aspecto cardinal sendo estabelecido pelas classes, e o ordinal, pelas relaes assimtricas, porm de forma independente. Um outro fator que decorre dessa concepo que os nmeros se constituem isoladamente, a partir de classes independentes entre si, e, portanto, no existiria uma iterao que culminaria com a sucesso dos nmeros inteiros. Para verificar se esta explicao era satisfatria, para Piaget (1975, p. 91) o problema se resumiria em determinar se os processos formadores do nmero so ou no os mesmos a partir dos quais derivam as classes e as relaes. A teoria de Russell e Whitehead para o nmero comea com a descrio do que uma classe de classes. Ou seja, duas classes consideradas em sua extenso do origem a uma mesma classe de classes se possvel estabelecer uma correspondncia biunvoca entre seus elementos. O nmero cardinal definido como estas classes de classes, e, assim, o nmero 1 a classe de todas as classes unitrias, o nmero 2 a classe de todos os pares possveis, o nmero 3 a classe de todas as ternas, etc. O nmero ordinal igualmente constitudo por meio de classes, s que de relaes assimtricas semelhantes, e esta semelhana obtida tambm mediante uma correspondncia biunvoca. Apesar de estas definies terem sido aprovadas por muitos matemticos e quase todos os lgicos, houve muitas objees que podem ser agrupadas em duas vertentes: as que defendem a existncia de um crculo vicioso e as que preconizam a existncia de diferenas funcionais entre a classe lgica e o nmero.

O intuicionismo de Poincar e o nmero


O maior crtico ao reducionismo lgico foi o francs Henri Poincar. Ele denunciava a existncia de um crculo vicioso, porque o nmero j estaria presente ao se estabelecer a correspondncia biunvoca entre os objetos singulares. Ele argumentava que na expresso um homem, etc., o objeto individual ou a classe singular j implica a presena do nmero 1" (Piaget, 1975, p. 92). A contra-argumentao expunha que existe uma distino entre o um lgico e
141

O nmero no logicismo de Russell e Whitehead


Partidrios da idia de Frege, Russell e Whitehead tinham o ambicioso plano de reduzir a matemtica lgica. Assim, apresentaram a aritmtica como um ramo da lgica pura. Para isso, o plano era traduzir os axiomas de definio do nmero natural estabelecidos pelo matemtico
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

Cllia Maria Ignatius Nogueira

o nmero 1, ou seja, o um lgico implicaria a identidade e no o nmero, da mesma forma como os termos lgicos alguns, todos ou nenhum se referem apenas pertinncia ou no dos indivduos a uma determinada classe. Segundo Piaget (1975, p. 92), tanto Russell quanto seus adversrios desencadearam um embate sem sada, ao argumentarem com identidades e classes isoladas, pois o atomismo lgico possibilitava a justificativa em ambas as direes. A [...] identidade pertence tanto matemtica como lgica intensiva, sendo que a especificidade lgica ou matemtica s passvel de ser determinada em funo da estrutura de conjunto da totalidade operatria onde se inserem os elementos. No que se refere diferena funcional entre classe e nmero, fica claro que a funo da classe, como constituda por indivduos que gozam de uma determinada propriedade, a de identificar, ao passo que a do nmero (que necessita abstrair as qualidades) a de diversificar; da se conclui que so funes fundamentalmente heterogneas. Entretanto, novamente, esse argumento s seria vlido se aplicado s totalidades operatrias e no aos elementos isolados. Piaget analisou a soluo logicista estudando a natureza da correspondncia biunvoca estabelecida para se criar as classes equivalentes, para verificar se ela puramente lgica (qualitativa) ou se j introduz explicitamente o nmero. Para Piaget, na correspondncia biunvoca lgica ou qualitativa os elementos se correspondem univocamente em funo de suas qualidades, como, por exemplo, quando se analisam as semelhanas entre dois objetos (ou conjuntos de objetos) e, para isto, se estabelece a correspondncia entre uma parte de um com a parte semelhante no outro. Por considerarem apenas as qualidades, as correspondncias qualitativas independem da quantificao. A correspondncia biunvoca qualquer ou matemtica no estabelecida em funo das semelhanas qualitativas, mas associando um elemento qualquer de um dos conjuntos a um elemento tambm qualquer do outro, com a nica condio de que cada elemento seja colocado em correspondncia uma nica vez, o que implica uma quantificao, pressupondo a unidade.
142

O problema da concepo de Russell residia no fato de ele utilizar a correspondncia biunvoca matemtica ao estabelecer sua classe de classes. Deste modo, no puramente a classe que gera o nmero cardinal, mas uma classe j quantificada pela correspondncia qualquer.
Assim, quando Russell constri o nmero 12 e faz corresponder um a um os apstolos de Jesus Cristo com os marechais de Napoleo, o apstolo Pedro no associado ao marechal Ney em virtude de suas qualidades comuns (como quando um bilogo pe em correspondncia os pelos dos mamferos com as penas dos pssaros), mas simplesmente enquanto um constitui uma unidade qualquer do primeiro conjunto e o outro uma unidade qualquer do segundo (Piaget, 1975, p. 94).

Quanto ao nmero ordinal concebido como classe de relaes assimtricas semelhantes, a primeira questo que se apresenta saber qual a semelhana que intervm na constituio de duas (ou mais) classes de relaes assimtricas semelhantes, e, analogamente ao nmero cardinal, novamente o tipo de correspondncia biunvoca que o determinante.
Russell, ao no estabelecer na sua dupla reduo estas distines genticas que conduzem a uma distino correlativa na lgica entre as operaes como tais, e no somente entre as classes e as relaes isoladas, se encerra, assim, em dois crculos viciosos (Piaget, 1975, p. 95).

Poincar e a intuio racional do nmero


Poincar no concordava com a tese de que o nmero poderia ser reduzido lgica das classes e das relaes. Ele entendia o nmero como o produto de uma intuio racional (sinttica a priori) e irredutvel s operaes lgicas. Criticava os matemticos que se deixavam guiar simplesmente pela intuio, pois na primeira investida fazem conquistas rpidas, mas algumas vezes precrias, como se fossem ousados cavaleiros na linha de frente (Poincar, 1995, p. 13). De acordo com Poincar, se no sculo 19 os matemticos dividiam-se em duas
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

A definio de nmero: uma hiptese sobre a hiptese de Piaget

correntes, uma que se apoiava na lgica e outra na intuio, uma releitura dos clssicos os enquadraria como intuicionistas. E mais, como a intuio no oferece o rigor e nem mesmo a certeza, foi necessria uma evoluo na cincia matemtica, evoluo esta que a encaminhou para a lgica. Todavia, para fazer aritmtica, assim como para fazer geometria, preciso algo mais que a lgica pura, sendo a intuio este algo mais, ressaltando contudo que, sob esta denominao, diversas idias esto subentendidas (Poincar, 1995, p. 18). A intuio se apresenta, pois, sob diversas formas, como um apelo aos sentidos e imaginao; como generalizao, por induo de procedimentos das cincias experimentais (representar um polgono de n lados, por exemplo) e, a que interessa particularmente a este trabalho, a intuio do nmero puro (princpio da induo) e da qual se originaria, para Poincar, o verdadeiro raciocnio matemtico, a nica intuio que passvel de certeza. A concepo de que o nmero (e, conseqentemente, a matemtica) produto de uma intuio racional foi (e ainda ) sustentada por inmeros matemticos, existindo, porm, divergncias quanto ao sentido de intuio, que varia desde a intuio da essncia esttica do nmero at a intuio operatria (Piaget, 1975, p. 95). Ao considerar que o nmero inteiro se funda sobre uma intuio sinttica a priori que se traduz no raciocnio por induo ou recorrncia, Poincar, por mais convencionalista que tenha sido em muitas questes, como, por exemplo, sobre os vrios tipos de nmeros ou sobre os relacionamentos entre os diversos tipos de espao, admite que tal intuio operatria, ou seja, uma intuio isenta de contradio e que construda. A discordncia de Piaget com os intuicionistas se fundamentava no fato de que a intuio do nmero puro no a de um nmero especfico e sim de um nmero qualquer, e seria, segundo o prprio Poincar (1943, p. 37), a faculdade de conceber que uma unidade pode agregar-se a um conjunto de unidades. Assim, ao procederem de uma intuio que contm, de antemo, a noo de unidade, as operaes numricas se colocariam em oposio s operaes lgicas. Entretanto, os resultados de inmeras pesquisas realizadas por Piaget e
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

outros sobre a gnese dos conceitos matemticos mostram que:


Todos os conceitos de carter extensivo e mtrico como a medida, a proporo em geometria e o prprio nmero somente se constituem em sua forma operatria quando podem se apoiar em agrupamentos lgicos de carter intensivo (Piaget, 1975, p. 96).

Isto no significa, porm, que exista um estdio caracterizado por estruturas lgicas, que poderia ser considerado pr-numrico, seguido de um estdio numrico; ao contrrio, existe uma interdependncia entre o lgico e o numrico e que originria do conceito de conservao dos conjuntos como totalidades, sejam tais totalidades lgicas ou numricas. E mais, esta conservao no se apresenta, absolutamente, como uma intuio, mas construda, operatoriamente, num longo e complexo processo.
A faculdade de conceber que uma unidade pode agregar-se a um conjunto de unidades, que assinalado por Poincar como sendo o especfico da intuio do nmero puro, supe, ento, a faculdade de conceber conjuntos invariantes encaixados uns nos outros e a faculdade de ordenar desde o incio os elementos agregados (Piaget, 1975, p. 97).

No entanto, se a sucesso dos nmeros no pode se apoiar em uma primeira intuio contendo de antemo a idia de unidade, aps sua construo, esta mesma sucesso produz uma intuio racional, em tudo semelhante descrita por Poincar, diferena, porm, de ser final e no prvia,
[...] no sentido de que o nmero apreendido diretamente pelo esprito sem ser intermediado por raciocnios discursivos ou lgicos. [...] concentrao instantnea de inumerveis raciocnios anteriores (e esquecidos), esta intuio final apenas a expresso da compreenso inteligente e no nos informa nada quanto sua construo (Piaget, 1975, p. 98).

Piaget considerou que a intuio operatria do nmero puro, irredutvel lgica concebida por Poincar, carecia de especificidade, enquanto que a reduo de Russell no seria operatria o suficiente, e sua hiptese, ento, a de que haveria a
143

Cllia Maria Ignatius Nogueira

possibilidade de um tertium entre as duas posies.


Sabe-se bem, com efeito, quantas discusses o problema das relaes entre o nmero e a lgica ocasionou, com os logsticos procurando, com Russell, conduzir o nmero cardinal noo de classe de classes e o nmero ordinal, dissociado do primeiro, de classe de relaes, enquanto seus adversrios mantinham, como H. Poincar e L. Brunschvicg, o carter sinttico e irredutvel do nmero inteiro. verdade que nossa hiptese, num certo sentido, permite escapar a essa alternativa, porque se o nmero classe e relao assimtrica ao mesmo tempo, ele no deriva de tal ou qual das operaes lgicas particulares, mas somente da sua reunio, o que concilia a continuidade com a irredutibilidade e leva a conceber como recprocas e no mais como unilaterais as relaes entre a lgica e a aritmtica. Delas no convinha menos verificar sobre o prprio terreno logstico as conexes assim estabelecidas pela experimentao psicolgica, e foi o que logo tentamos (Piaget, 1981, p. 13).

Concluses
Pode-se afirmar que, com Piaget e Szeminska, o nmero tem por fonte a lgica, porm no deriva de nenhuma operao em particular. O nmero construdo das relaes de classes quando os sujeitos agrupam objetos por suas semelhanas, das relaes assimtricas quando estabelecem as diferenas ordenadas e do nmero quando os sujeitos agrupam os objetos, ao mesmo tempo, como equivalentes e distintos, o que conciliatrio com a irredutibilidade de Poincar. Entendendo a importncia das duas concepes de nmero, o intuicionismo e o logicismo, e a impossibilidade da supremacia de uma delas, pois ambas apresentavam aspectos positivos e negativos, Piaget deduziu que, em vez de serem contraditrias ou opostas, as duas concepes deveriam ser complementares. Dessa anlise de Piaget e Szeminska, acreditamos, emergiu a hiptese de que o nmero seria a sntese da classificao e da seriao, demonstrada no livro A gnese do nmero na criana.

Referncias bibliogrficas
BOYER, C. B. Histria da matemtica. So Paulo: Edgard Blcher, 1974. COSTA, A. A. As idias fundamentais em matemtica e outros ensaios. So Paulo: Edusp, 1971. DAVIS, H.; HERSH, R. A experincia matemtica. Rio de Janeiro: Francisco Alves, 1986. EVES, H. Introduo histria da matemtica. Campinas: Unicamp, 1995. PIAGET, J. et al. Lgica e conhecimento cientfico. Minho, Portugal: Barcelos, 1980. ______. Introduccin a la epistemologia gentica. 1. El pensamiento matemtico. Buenos Aires: Paidos, 1975. PIAGET, J.; SZEMINSKA, A. A gnese do nmero na criana. 3. ed. Madrid: Aguillar, 1981. POINCAR, H. La sciense et lhypothse. Paris: Flammarion, 1943. RUSSELL, B. Introduo Filosofia da Matemtica. Rio de Janeiro: Zahar, 1974.

Cllia Maria Ignatius Nogueira professora doutora do Programa de Ps-Graduao em Educao para a Cincia e Ensino da Matemtica da Universidade Estadual de Maring (UEM). Recebido em 3 de julho de 2006. Aprovado em 21 de julho de 2006.
144
R. bras. Est. pedag., Braslia, v. 87, n. 216, p. 135-144, maio/ago. 2006.

Você também pode gostar