You are on page 1of 39

Perspectiva Filosfica, Vol.

2, n 40, 2013
ISSN: 23579986

O conceito de nmero

Ernst Cassirer1

Resumo

O Conceito de Nmero, de Ernst Cassirer, o Captulo 2 da sua primeira obra sistemtica, o


SubstanzbegriffundFunktionsbegriff:Untersuchungenber die Grundfragen der Erkenntniskritik, publicada
originalmente em alemo em 1910. A traduo para o ingls, em 1953, por Marie Collins Swabeye William
Curtis Swabey, sob o ttulo Substance and Functionand Einstein's Theory of Relativity, apesar de sua
importncia pelo papel difusor da obra, perde em seu ttulo o essencial da obra: a oposio entre
conceito-substancia e conceito-funo, ou melhor, entre conceito-substancial e conceito-
funcional. Cassirer possui ao lado de uma teoria das formas simblicas uma teoria da cultura. Essas
teorias so teorias de formao conceitual e so devedoras dos diversos estudos de caso desenvolvidos
por Cassirer no SubstanzbegriffundFunktionsbegriff. O captulo 2, agora traduzido, uma leitura do
desenvolvimento histrico do conceito de nmero sob a tica de uma teoria geral do conceito que ele
apresenta no Captulo 1 do livro, ZurTheorie der Begriffsbildung (Sobre a teoria de formao
conceitual).

Palavras-chave: Cassirer; Pensamento substancial; Pensamento funcional; Nmero

Abstract

The Concept of Number, by Ernst Cassirer, istheChapter 2 ofhisfirstsystematicwork, the


SubstanzbegriffundFunktionsbegriff: Untersuchungenber die Grundfragen der Erkenntniskritik,
originallypublished in German in 1910. The translation to English, in 1953, by Marie Collins Swabeyand William
Curtis Swabey, under the title Substance and Functionand Einstein's Theory of Relativity, despite of its
importance for having broadcasted the work, losts in its title the works essence: the opposition between
concept-substance and concept-function, or better, between substantial-concept and functional-
concept. Cassirer owns alongside with a theory of symbolical forms a theory of culture. These
theories are theories of conceptual formation and they are in charge of diverse studies of case developed
by Cassirer in SubstanzbegriffundFunktionsbegriff. The Chapter 2, now translated, is a reading of the
historical development of the concept of number under the view of a general theory of the concept that
he presents in the Chapter 2 of the book ZurTheorie der Begriffsbildung (On the theory of the
conceptual formation).

Keywords: Cassirer; Substantial thought; Functional thought; Number

1 Traduo de Bruno Bentzen, Mestre em Filosofia pela UFPE, e Fernando Raul Neto, Professor
Associado da UFPE. Esta traduo do Captulo 2 do livro de Ernst Cassirer
SubstanzbegriffundFunktionsbegriff: Untersuchungenber die Grundfrage der
Erkenntniskritik, 1910, originou-se de um curso sobre a teoria da formao de conceitos de Cassirer
ministrado pelo segundo tradutor na UFRPE no primeiro semestre de 1992. Aos professores participantes
do curso, Maria do Socorro Brasileiro, Elizabete Cabral, Anto Lino e Jos de Arimatia os
agradecimentos pela colaborao na primeira verso da traduo. Uma introduo geral ao livro ser
posteriormente publicada pelo segundo tradutor sob o ttulo SubstanzbegriffundFunktionsbegriff
(1910): o livro-laboratrio de Ernst Cassirer (1874-1945).
140
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

Entre os conceitos fundamentais da cincia pura o conceito de nmero surge em


primeiro lugar, tanto histrica quanto sistematicamente. Nele desenvolve-se pela primeira vez a
conscincia do significado e do valor da formao de conceitos em geral. A ideia de nmero
parece encerrar todo o poder do conhecimento, toda a possibilidade da determinao lgica do
sensvel. Se no fosse o nmero com a sua essncia nada nas coisas seria apreensvel, tanto nelas
prprias, como em suas relaes umas com as outras. Essa doutrina pitagrica permaneceu
inalterada em seu real significado ao longo de todas as mudanas ocorridas no pensamento
filosfico. A pretenso de alcanar a substncia das coisas no nmero tem diminudo
gradualmente, mas, ao mesmo tempo, aprofunda-se e clarifica-se o entendimento de que no
nmero enraza-se a substncia do conhecimento racional. Mesmo quando nele no mais se v o
ncleo metafsico do objeto, o conceito de nmero permanece a expresso primeira e fiel do
mtodo racional em geral. Nele espelham-se diretamente as diferenas de princpio entre as
concepes fundamentais do conhecimento. O ideal geral do conhecimento ganha aqui uma
forma mais determinada na qual pela primeira vez e com total clareza esse ideal enfatizado e
delimitado.

As lacunas da deduo sensualista

Dessa forma, bem compreensvel que encontremos logo no limiar da lgebra a


mesma resistncia tpica observada no campo da lgica. Se aceitarmos o ponto de vista lgico
tradicional, deveremos encontrar certas propriedades fundamentais dos objetos reveladas nos
conceitos numricos. A teoria da abstrao no dispe, estritamente falando, de nenhum outro
ponto de vista: da mesma forma que os objetos so diferenciados de acordo com o tamanho e a
forma, de acordo com o olfato e o paladar, necessariamente, segundo a teoria, eles tambm
carregam consigo uma certa propriedade que neles imprime seu carter numrico. O conceito de
dois ou de trs seria assim abstrado de uma pluralidade de grupos de objetos, do mesmo
modo que o conceito de uma certa cor surge da comparao de coisas perceptivamente coloridas.
Segue logicamente desse raciocnio que todas as afirmaes acerca de nmeros e de relaes
numricas so expresses de certas propriedades fsicas dos objetos. no desenvolvimento
141
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

moderno do empirismo que esta consequncia latente surge pela primeira vez com toda clareza.
De acordo com J. S. Mill, por exemplo, a proposio2+1 = 3 no representa uma mera definio,
uma mera fixao do significado que deve ser associado aos conceitos de dois e de trs, mas
reporta-se a um fato emprico que a nossa percepo espacial nos oferece sempre da mesma
maneira. Sempre fomos capazes, quando vamos trs coisas diante de ns em um certo arranjo, -
por exemplo, na forma OOO - de separ-las em grupos menores como O e O. Trs seixos no
produzem a mesma impresso em nossos sentidos quando eles esto dispostos em duas pilhas
separadas ou quando esto reunidas em uma nica pilha. Portanto, a afirmao de que a
percepo que surge no primeiro caso pode ser sempre transformada, por meio de um mero
rearranjo espacial de suas partes, na segunda percepo no de forma alguma uma proposio
de identidade que nada afirma, mas uma verdade indutiva aprendida em uma experincia anterior e
que tem sido desde ento continuamente confirmada. Tais verdades constituem o fundamento da
cincia dos nmeros. A aparncia de idealidade que se d a essa cincia deve assim desaparecer. As
proposies da aritmtica perdem assim seu antigo carter de excepcionalidade: elas esto agora
no mesmo plano das demais observaes que fazemos atravs de separaes e combinaes no
mundo fsico. Pois, como poderiam existir juzos significativos e vlidos que no fizessem
referncia aos fatos sensveis? O conceito de dez, ou nada significa, ou designa uma certa
impresso global uniforme que sempre encontrada em grupos de dez corpos, dez tons ou dez
pulsaes. E que as diversas impresses assim ganhas dos objetos constituem um sistema entre
elas mesmas, no qual prevalecem certas relaes constantes, , igualmente, uma proposio que
possui apenas uma validade emprica. Uma realidade diferente, um novo ambiente fsico, que nos
envolvesse, poderia fazer a proposio 2 x 2 = 5 to familiar e auto-evidente para ns quanto ela
agora nos parece ininteligvel e absurda.2

Os Fundamentos da Aritmtica de Frege

Com esse primeiro passo no campo dos problemas cientficos exatos j podemos
perceber claramente o real significado e a amplitude do que parece se constituir apenas de
diferenas lgicas formais. Pois, de qualquer forma que se queira interpretar a teoria de Mill para
os fundamentos da aritmtica elementar, preciso reconhecer que ela segue com estrita
necessidade a sua interpretao geral do conceito. E bem significativo que a teoria, quando

2Cf. Mill, A System of Logic, Livro II, Cap. 6; An Examination of Sir William Hamiltons Philosophy, p. 67 ff.
142
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

levada adiante, entra em conflito direto com o prprio Faktum da aritmtica cientfica. Toda vez
que se tentou na matemtica moderna analisar e fundamentar esse fato, foi preciso se afastar da
iluso aqui mostrada, e distinguir com toda energia e preciso a estrutura lgica da teoria pura dos
nmeros da aritmtica de Mill de seixos e nozes. De fato, se a deduo de Mill estivesse
correta, os conceitos aritmticos estariam destitudos daquela determinao que constitui seu
contedo e valor real. A diferena lgica entre os nmeros estaria limitada e restrita pela
capacidade de diferenciao psicolgica que adquirimos na apreenso de conjuntos de objetos
dados. O absurdo dessa consequncia pode, todavia, ser facilmente constatado. O nmero 753.684
determinado e claramente diferenciado daquele que imediatamente lhe precede ou sucede, da
mesma maneira que trs o de dois ou quatro; mas quem poderia apontar a impresso que
diferencia a intuio dos correspondentes grupos concretos um do outro? E da mesma maneira
que aqui se perde o contedo caracterstico dos conceitos numricos, por outro lado, eles perdem
a amplitude e a liberdade de aplicao que so essenciais a eles. A sntese da contagem s pode
ocorrer, de acordo com Mill, onde a combinao e a separao por ela instituda possam ser
efetivamente exequveis com objetos fsicos, onde as prprias coisas pudessem ser reunidas e
separadas em grupos espaciais perceptveis. As imagens cambiantes que surgem em ns a partir
dos grupos diferentes constituem o substrato real e indispensvel de todas as afirmaes
concernentes s relaes numricas. Fora do campo da intuio espacial, no qual exclusivamente
so possveis essas combinaes e separaes efetivas, o fundamento real dos conceitos
numricos estaria ausente. Porm, na verdade, ns no falamos apenas do nmero de gros numa
pilha, mas tambm do nmero de categorias, do nmero das leis de Kepler ou do nmero de
fatores energticos; todos objetos que no podem ser arrumados lado a lado e separados uns dos
outros como seixos. Seria de fato bem estranho, observa Frege em sua drstica e pertinente
crtica doutrina de Mill, se uma propriedade abstrada de coisas exteriores pudesse ser
transferida sem alterao de sentido para experincias, representaes e conceitos. Seria
precisamente como se algum quisesse falar de uma experincia malevel, de uma representao
azul, de um conceito salgado ou um julgamento pegajoso. absurdo que aquilo, que por
natureza sensvel, pudesse ele prprio se apresentar em conexo com o insensvel. Quando
vemos uma superfcie azul temos uma impresso peculiar que corresponde palavra azul; e
reconhecemos isto novamente quando vemos uma outra superfcie azul. Se assumimos que ao
olharmos um tringulo existe da mesma forma algo sensvel que corresponde palavra trs,
ento esse elemento sensvel deve tambm ser encontrado em trs conceitos; algo no sensvel
teria algo sensvel como propriedade. Pode-se aceitar que existe uma espcie de impresso
143
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

sensvel correspondente palavra triangular, mas desde que tomemos a palavra como um todo.
O trs que nela ocorre no vemos imediatamente, mas surge associado a uma atividade intelectual
que conduz a um juzo que o contm3.

O sistema da aritmtica

Se os absurdos, inevitavelmente implcitos na interpretao sensualista do nmero,


no surgem claramente nas primeiras dedues, explica-se pelo fato de que essas atividades
intelectuais, os processos do juzo, tambm aqui no estarem inteiramente excludas, mas
tacitamente assumidas. De acordo com essa teoria, apenas as primeiras verdades da aritmtica e
as frmulas mais elementares so resultados da observao imediata dos fatos fsicos, enquanto
que o sistema cientfico da lgebra apoia-se, no no fluxo continuamente renovado dos fatos da
percepo, mas na generalizao dos fatos sensoriais originais. Essa concepo, no entanto, inclui
novamente todos os enigmas que a teoria prometia resolver. Quando se tenta dar a tal concepo
um sentido claro e definido, v-se que ela implica diretamente uma pluralidade de diferentes
funes intelectuais que participam na construo do domnio do nmero. Se possvel estender
progressivamente as observaes que fazemos com grupos menores de objetos para complexos
cada vez maiores, e determinar por analogia as propriedades dos que seguem a partir daquelas
dos que lhes antecedem, pressupe-se que exista alguma forma de relao e dependncia entre os
casos comparados que permite deduzir uma a partir da outra. No teramos o direito de estender
qualquer determinao que nos aparecesse num grupo individual para grupos de maior ou menor
nmero de elementos, se no compreendssemos todos eles como similares por natureza. Essa
similaridade, entretanto, no significa mais que o fato de eles estarem conectados por uma regra
definida que permite passar de uma variedade a outra pela contnua aplicao idntica da mesma
relao fundamental. De fato, sem a hiptese de tal conexo deveramos estar preparados para a
possibilidade de que qualquer unidade, adicionada ou subtrada de um dado grupo, alteraria a
caracterstica total do grupo de tal forma que no seria possvel tirar nenhuma concluso do
comportamento de um para o de qualquer outro. As novas unidades atuariam ento como muitas
circunstncias fsicas ou foras, que poderiam transformar completamente o todo e alterar as suas
caractersticas fundamentais. Nenhuma lei de aplicabilidade geral, nenhuma relao contnua

3FREGE, Die Grundlagen der Arithmetik. Breslau, 1884, p. 3lf. Sobre o assunto cf., particularmente,
p. 9 ff., p. 27 ff.
144
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

englobaria mais os termos do domnio do nmero; pelo contrrio, toda proposio aritmtica
teria de ser verificada para cada nmero individual, particularmente pela observao e percepo. A
teoria sensualista s consegue evitar essa consequncia por conta de um desvio imperceptvel
numa outra linha de considerao. A demanda por uma generalizao das experincias numricas
primitivas contm, apesar de dissimulada, a prpria funo de universalidade dos conceitos
numricos, que deveria ter sido posta de lado pela explanao. O caminho para uma construo
puramente dedutiva do domnio do nmero assim reaberto; para isso basta ver que o mesmo
procedimento intelectual que se revela como essencial em toda teoria que almeja as formas
aritmticas mais complexas, constitui o fundamento necessrio e suficiente da prpria
determinao dos elementos. Essa consequncia, que a teoria sensualista finalmente admite
contra sua vontade, oferece uma primeira viso de uma deduo metdica unificada, deduzindo
tanto os fundamentos como a superestrutura a partir de um princpio comum.

O nmero e a representao

No entanto, parece haver uma outra forma de estabelecer a relao desejada entre
proposies numricas e a existncia emprica das coisas. Se abrirmos mo do ponto de vista de
que todos os juzos aritmticos dirigem-se diretamente aos objetos fsicos e de que deles dependem
para sua validade, resta ainda uma outra classe de realidades, na qual parecemos agora captar o
significado verdadeiro original dos conceitos numricos. No so coisas externas, mas a prpria
conscincia, na sua peculiar e irredutvel maneira de ser, que a fonte desses conceitos; o que
eles buscam englobar e representar no um ser material, mas um ser mental. A abrangncia e a
universalidade dos conceitos numricos parecem adquirir aqui as suas explicaes. Nmero,
como representao, como realidade psquica, permanece livre de todas as limitaes oriundas de seu
entendimento como expresso de existncias materiais particulares e de suas relaes. Podemos
reconhecer agora, em conexo com um problema especial, como aqui se repete a mesma
mudana mental que anteriormente havamos encontrado na teoria geral da lgica. A tentativa de
entender o conceito como reproduo direta da realidade externa abandonada, mas, no lugar
dessa realidade externa, surge em nossa mente sua forma fenomnica. O ato de enumerao no
fornece as relaes das coisas nelas mesmas, mas apenas reproduz o modo pelo qual elas so
refletidas na compreenso do nosso Eu.
Contudo, e por mais que essa alterao possa avanar o problema, permanece ainda
um elemento que compartilhado com a deduo sensualista. Novamente a doutrina do nmero
145
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

no consegue obter um fundamento lgico independente; ela forma agora um apndice da psicologia,
assim como anteriormente era um caso especial da fsica (Cf. acima). Para a psicologia,
entretanto, representao significa em ltima anlise nada mais que um contedo psicolgico
definido, que aparece no sujeito individual segundo circunstncias especiais, e que podem ser
destrudos novamente da mesma forma. Tal contedo diferente nos diversos indivduos e, mais
ainda, com respeito ao mesmo sujeito, uma vez que ao desaparecer nunca retorna precisamente
da mesma forma. Assim, o que dado aqui apenas uma realidade determinada e limitada
temporalmente, no um estado que pode ser retido numa imutvel identidade lgica. o
cumprimento dessa ltima exigncia, entretanto, que constitui todo o significado e valor dos
conceitos numricos puros. A proposio 7 + 5 = 12 no se reporta a nenhuma conexo com
experincias de representao, ocorridas no passado ou a ocorrer no futuro nos indivduos
pensantes, mas estabelece uma conexo que, de acordo com uma expresso platnica, liga o sete
e o cinco neles mesmos com o doze nele mesmo. O objeto ao qual esse julgamento dirigido
tem, a despeito de sua idealizao, uma determinao nica que nitidamente o diferencia dos
contedos variveis de uma representao. A imagem psicolgica do dois pode, no caso de uma
pessoa, vir acompanhada de uma certa representao espacial, e ausente no caso de uma outra,
pode agora surgir vividamente, logo depois tenuemente, mas o significado aritmtico de dois no
afetado por nenhuma dessas diferenas4. O que o conceito e significa s pode ser expresso
entendendo-o como portador do ponto de partida de certos juzos, como uma totalidade de
relaes possveis. Conceitos so idnticos quando podem ser substitudos uns pelos outros em
todas as afirmaes nas quais aparecem, quando toda relao que vale para um, tambm pode ser
aplicada ao outro. Se usarmos esse critrio, a diferenciao total entre o significado lgico do
conceito de nmero e a concepo psicolgica da representao imediatamente revelada. As
relaes caractersticas que prevalecem na srie de nmeros no so pensveis como
propriedades de um dado contedo de representao. sem sentido dizer que uma
representao maior ou menor que uma outra, o dobro ou o triplo, que uma divisvel pela
outra, etc. E o postulado de uma infinidade de nmeros exclui, igualmente, qualquer concepo
desta natureza, pois todo o ser de uma representao exaurido, em sua imediaticidade, em sua
ocorrncia real. Se os nmeros so realidades na conscincia individual, podem apenas ser
dados em grupos finitos, i.e., compreendidos na conscincia como elementos particulares.

4 Cf. FREGE, op. cit., p. 37.


146
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

Contedos de representao e atos de representao

Todavia, essa crtica, estabelecida na oposio entre os conceitos numricos puros e


o contedo psicolgico da sua representao, parece no ter captado o campo do ser psquico em
todo seu significado e alcance. Pode ser objetado, com razo, que o que caracterstico do
nmero no se revela em um contedo qualquer da conscincia, particular e isolado, justamente
porque existe aqui um pressuposto universal que controla e dirige a origem e a formao de
contedos em geral. A ao, pela qual delimitamos uma unidade qualquer, e a sntese, pela qual
tais unidades so reunidas em novas formas, constituem a nica condio sob a qual podemos
falar de uma variedade de elementos e de suas conexes. Apenas a atividade de diferenciao e
conexo, e no qualquer contedo particular dela resultante pode ser o desejado correlato
psicolgico dos conceitos numricos. No com objetos, sejam eles da realidade interna ou externa,
mas com atos de a percepo, que a determinao numrica se conecta e para onde retorna em busca
de seu sentido real. A universalidade intrnseca ao conceito numrico puro pode assim ser
entendida e fundamentada em uma nova direo. Mesmo o sensualismo reconhece essa
universalidade, mas ele a compreende, de acordo com sua teoria fundamental, como uma marca
reificada, que se espalha uniformemente em um grupo de objetos particulares. Todos os
nmeros, escreve Mill, so nmeros de alguma coisa, e no existe nada como um nmero
abstrato. Mas, embora os nmeros tenham de ser nmeros de alguma coisa, eles podem ser
nmeros de qualquer coisa. Portanto, as proposies relativas aos nmeros tm a notvel
peculiaridade de ser proposies relativas a qualquer coisa, a todos os objetos, a todas as
existncias de qualquer espcie conhecida de nossa experincia5. Dessa forma a propriedade
matemtica de enumerabilidade de coisas averiguada aqui da mesma maneira como qualquer
propriedade fsica: assim como aprendemos, por uma comparao contnua de casos individuais,
que todos os corpos so pesados, tambm, por um mtodo anlogo, descobrimos sua
determinao numrica. Reconhecemos, entretanto, que a afirmao da universalidade do
nmero, na medida em que ela se sustenta num procedimento desse tipo, ganha, em verdade,
de forma sub-reptcia, pois nada nos assegura que os casos que extrapolam as nossas experincias
mostrem as mesmas propriedades obtidas nos casos efetivamente observados e que assim
obedeam s leis aritmticas. Um novo ponto de vista para a fundamentao do nmero s
alcanado atravs de uma deduo psicolgica mais madura e mais profunda dos conceitos

5Mill, A System of Logic, Livro II, Cap. 6, 2l


147
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

numricos a partir dos atos fundamentais de conexo e separao aperceptiva em geral. Nessa
acepo o nmero chamado universal, no porque est contido como uma propriedade fsica em
qualquer indivduo, mas porque representa uma condio constante de julgamento concernente a cada
indivduo como indivduo. A conscincia dessa universalidade no ganha atravs de uma
p1ura1idade indefinida de casos, mas j pressuposta na apreenso de cada um deles, pois a
associao desses indivduos em um todo inclusivo s possvel pelo fato de o pensamento
reconhecer e fixar-se em uma regra alhures bem-sucedida, em identidade conceitual, a despeito de
todas as diferenas e peculiaridades da aplicao.
Dessa forma, nesse esforo de deduo que volta dos contedos de representao
acabados para os atos pelos quais eles so formados, o problema lgico real do nmero nem
bem resolvido, como tambm sofre um retrocesso. Pois, qualquer que seja o valor construtivo
que atribumos s aes puras do pensamento, elas permanecem, no seu sentido puramente
psicolgico, sempre como ocorrncias que surgem e desaparecem com o tempo. Assim elas
pertencem a um certo fluxo de conscincia individual que flui aqui e agora sob as condies
particulares do momento. Aqui, entretanto, a questo inicial emerge. Nos juzos aritmticos o que
expresso e estabelecido no a relao entre realidades temporalmente limitadas, pois o
pensamento vai alm do campo total dos processos mentais para uma regio de objetos ideais
para os quais ele atribui uma forma permanente e imutvel. por conta dessa forma fundamental
que cada elemento das sries numricas se conecta com outro de acordo com uma regra
sistemtica fixa. Mas, uma anlise psicolgica dos atos de formao de representaes no pode
desvelar como o um est conectado com o dois, ou o dois com o trs e como todo o complexo
lgico de proposies da aritmtica pura emerge de acordo com essa conexo. A construo e a
fundamentao objetiva dessa conexo sistemtica pertencem a um mtodo totalmente diferente
(Cf.abaixo, especialmente Cap.VII). No comeo, na verdade, esse mtodo um simples
pressuposto, e sua aceitao deve parecer inteiramente problemtica. Pois, que formas restam para
fundamentar um conceito, se no estamos a consider-los, nem como cpia de algo interior nem
de algo exterior, nem do psquico e nem do fsico? Essa questo, entretanto, que sempre surge,
apenas a expresso de uma certa viso dogmtica da natureza e da funo do conceito. O sistema
dos conceitos aritmticos e das proposies no para ser avaliado em termos dessa viso. Ao
contrrio, o ponto de vista lgico-formal encontra um limite e um padro exatamente nesse
sistema, que se desenvolveu gradualmente de seus pressupostos independentes e imanentes.

II
148
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

A fundamentao lgica do conceito puro de nmero (Dedekind)

O desenvolvimento da aritmtica cientfica nas ltimas dcadas caracterizado pela


demanda crescente de deduzir o conceito de nmero, em seu pleno significado, a partir de
premissas puramente lgicas. A cincia do espao parece pertencer intuio, ou talvez mesmo
percepo emprica. Por outro lado, ganha cada vez mais aceitao a ideia de que os nmeros
devam ser fundamentados sem nenhum apelo a objetos sensveis ou a qualquer tipo de
dependncia de grandezas mensurveis concretas, mas simplesmente atravs de um sistema
finito de passos simples de pensamento. Nessa deduo da aritmtica a partir da lgica, esta
pressuposta sob uma nova forma. Se reconstituirmos exatamente, diz Dedekind no incio de
sua deduo do conceito de nmero, o que fazemos quando contamos um grupo ou uma
coleo de coisas, somos levados a considerar o poder da mente de relacionar coisas,
corresponder uma coisa outra, uma coisa copiar outra, uma capacidade em geral sem a qual o
pensamento impossvel. Sobre esse nico, mas absolutamente inevitvel, fundamento deve ser
erguida toda a cincia do nmero...6. O ponto de partida aqui parece ser a doutrina lgica
tradicional, que parte de uma pluralidade de coisas, e do poder da mente de figur-las. Todavia,
olhando o problema com mais profundidade, v-se claramente que os velhos termos ganham
aqui um novo contedo e significado. As coisas, que sero faladas na explanao que segue,
no so supostas como existncias independentes dadas antes de qualquer relao, mas ganham
sua existncia completa na medida em que essa ltima considerada pelo matemtico,
primeiramente em e com as relaes que acerca delas so construdas. Tais coisas so termos de
relaes, e como tais no podem ser dados isoladamente, mas apenas em comunho ideal com
cada uma das demais. O procedimento de figurao tem tambm sofrido uma transformao
caracterstica. Pois no estamos interessados em produzir uma cpia conceitual de impresses
exteriores, como faz-la corresponder a algum aspecto particular, uma vez que figurar no
significa nada mais que a correspondncia intelectual pela qual unimos incidentalmente elementos
totalmente diversos numa unidade sistemtica. A questo aqui meramente a unificao dos
membros de uma srie atravs de um princpio ordenador e no pela sua concordncia em
alguma parte constitutiva concreta. Depois de uma certa afirmao inicial ter sido fixada como
ponto de partida, todos os elementos posteriores so dados pelo fato de uma relao (R) ser

6DEDEKIND, Was sind und was sollen die Zahlen?2. ed., Braunschweig 1893, p.VIII.
149
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

dada, a qual em contnua aplicao gera todos os membros do complexo. Desse modo surgem
sistemas e grupos de sistema em diviso conceitual estrita sem que seja necessrio que um
elemento esteja conectado com outro por qualquer espcie de semelhana factual. A figurao
no produz uma nova coisa, mas uma nova ordem necessria entre operaes mentais e objetos
mentais.

A lgica das relaes

Em seu trabalho, Wassindundwassollen die Zahlen, Dedekind mostrou como a


construo completa da aritmtica e a exaustiva exposio do seu contedo cientfico so
possveis partindo desses princpios simples. No traaremos em detalhes o desenvolvimento
matemtico desse pensamento, nos contentaremos meramente em enfatizar sua tendncia
essencial, uma vez que no estamos interessados no conceito de nmero em si mesmo, mas
como um exemplo da estrutura de um conceito funcional puro. Os pressupostos da deduo do
conceito de nmero so dados na lgica geral das relaes. Se considerarmos a totalidade das relaes
suscetveis de organizar uma srie de construes mentais, emergem, em primeiro lugar, certas
determinaes formais fundamentais, que pertencem uniformemente a certas classes de relaes e as
diferenciam de outras classes com estruturas diferentes. Assim, dada qualquer relao entre dois
membros a e b, que simbolicamente podemos representar pela expresso aRb,ela pode
inicialmente ser de tal forma constituda que tambm valha para b e a, isto , de tal forma que da
validade de aRb siga a de bRa. Neste caso chamamos a relao de simtrica e distinguimo-la, por
um lado, das relaes no-simtricas, nas quais a validade de aRb realmente permite a de bRa, sem
necessariamente implic-la e, por outro lado, das relaes assimtricas, nas quais esse tipo de
recproca no verdadeira, ou seja, nas quais aRb e bRa no podem existir simultaneamente.
Alm disso, uma relao chamada de transitiva quando, valendo para o par de membros a e beb e
c, valer tambm para o para e c. dita no-transitiva quando essa extenso no necessria e
intransitiva quando excluda pela natureza da relao em questo. 7Trouxemos aqui essas
definies, que tm ampla aplicao no clculo das relaes, porque elas do suporte a uma
definio mais exata do que queremos compreender por ordem em um dado todo. , de fato, um

7 Russell, a quem se deve essas distines, ilustra-as com diferentes relaes de parentesco; a relao
irmos simtrica e transitiva, a relao irmo no-simtrica e transitiva e a relao pai
assimtrica e intransitiva, etc. Sobre isso, e no que se segue, confira RUSSELL, The PrincipIes of
Mathematics, I, Cambridge, 1903. Confira tambm meu ensaio Kant und die moderne Mathematik,
Kant Studien XII, p.1 ff.
150
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

preconceito ingnuo olharmos a ordem que existe entre os membros de uma variedade como
alguma coisa auto evidente, como se ela fosse imediatamente dada pela simples existncia dos
membros individuais. Na verdade, ela no est ligada aos elementos como tais, mas relao
serial pela qual eles esto conectados. Todo o seu carter determinado e a peculiaridade especfica
so derivados dessa relao serial. Investigaes mais acuradas mostram que sempre alguma
relao assimtrica e transitiva que imprime uma determinada ordem aos membros de um todo.8

O conceito de progresso

Se considerarmos agora uma srie que tenha um primeiro membro e para a qual uma
certa lei de progresso tenha sido estabelecida, de tal modo que cada um de seus membros tenha
um sucessor imediato com o qual esteja ligado por uma relao unvoca, assimtrica e transitiva
que valha para toda a srie, ento em tal progresso j captamos o tipo fundamental, vlido
para todos os objetos, que diz respeito aritmtica. Todas as proposies da aritmtica, todas as
operaes que ela define, esto unicamente relacionadas s propriedades gerais de uma
progresso. Dessa forma elas nunca so dirigidas diretamente s coisas, mas s relaes de
ordem que prevalecem entre os elementos de certos todos sistemticos. As definies de adio e
subtrao, multiplicao e diviso, as explicaes para o positivo e o negativo, nmeros inteiros e
fracionrios, podem ser desenvolvidas exclusivamente nessas bases, sem necessidade de
retroceder para as relaes entre objetos mensurveis concretos. Segundo essa deduo, o
estoque inteiro dos nmeros repousa nas relaes que eles apresentam entre eles mesmos, e no
nas suas relaes com uma realidade concreta exterior. Eles no necessitam de substrato
externo algum, mas mantm-se e sustentam-se mutuamente, na medida em que a posio de cada
um no sistema claramente determinada pelos outros. Quando, diz Dedekind, na considerao
de um sistema simples infinito N, ordenado pela aplicao , nos abstramos totalmente das
propriedades particulares dos elementos, retendo meramente suas distines, e nos ocupamos
apenas das relaes em que eles so colocados entre si pela aplicao ordenadora , ento esses
elementos so chamados de nmeros naturais, nmeros ordinais ou, tambm, simplesmente nmeros, e
o elemento fundamental1 chamado de nmero fundamental da srie numrica N. No sentido dessa
liberao dos elementos de qualquer tipo de contedo (abstrao), podemos corretamente
chamar de nmero a livre criao da mente humana. As relaes ou leis, que [...] em todos os

8 Para um tratamento mais pormenorizado cf. RUSSELL, op. cit., Caps. 24 e 25.
151
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

sistemas ordenados simples finitos so sempre as mesmas, quaisquer que sejam os nomes
acidentalmente dados aos elementos individuais, formam o objeto primeiro da cincia do nmero ou
aritmtic9. De um ponto de vista lgico, de especial interesse que aqui o conceito e o termo
abstrao sejam utilizados em um novo sentido. O ato de abstrao no direcionado ao
isolamento de uma caracterstica de uma coisa, mas objetiva trazer para a conscincia,
independente de todos os casos particulares de aplicao, o significado de uma determinada
relao pura nela mesma. A funo do nmero , no seu significado, independente da
diversidade factual dos objetos que so enumerados e essa diversidade deve ento ser descartada,
quando estamos interessados meramente em desenvolver o carter determinante dessa funo.
Aqui a abstrao possui, de fato, o carter de uma liberao, ela significa concentrao lgica na
conexo relacional como tal, com a rejeio de todas as circunstncias psicolgicas, que se
introduzem no curso subjetivo das representaes, mas que no formam nenhum aspecto
constitutivo real dessa conexo.

O nmero como nmero ordinal

Tem sido ocasionalmente objetado deduo de Dedekind que ela, em princpio,


no exibe nenhum contedo que caracterize o nmero, que marque sua peculiaridade e o distinga de
outros objetos ordenados em srie. Desde que, na determinao do seu conceito, somente o
momento geral da progresso retido, tudo o que aqui dito sobre nmero vlido para
qualquer progresso em geral. Dessa forma, o que definido a forma da srie em si, no a sua
matria. Se os nmeros ordinais em geral tm que existir, ento eles devem, assim parece ter
alguma natureza e propriedade interiores, eles devem ser distintos de outras entidades por
alguma marca absoluta, do mesmo modo que pontos so diferentes de instantes, ou tons de
cores10. Mas essa objeo perde o objetivo real e a essncia das caracterizaes de Dedekind. O
que aqui dito exatamente o seguinte: que existe um sistema de objetos ideais cujo contedo
integral exaurido em suas relaes mtuas. A essncia dos nmeros est completamente
expressa em suas posies.11E o conceito de posio deve, antes de tudo, ser entendido em sua

9DEDEKIND, op. cit., 6. Sobre o conceito de aplicao cf. acima. Sobre a definio de sistema
infinito simples cf. DEDEKIND, op.cit., 5 e 6.
10Cf. RUSSELL, op. cit., 242.
11Sobre a deduo de nmero como nmero serial puro, cf. particularmente a exposio de G F. Lipps

(Philosoph. Studien, ed. por Wundt, Vol. III),e tambm as recentes discusses de Natorp, que
152
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

maior universalidade e extenso lgica. A distino exigida para os elementos apoia-se em


condies puramente conceituais, no em condies sensrio-intuitivas. A intuio do tempo puro
sobre a qual Kant baseou o conceito de nmero , de fato, desnecessria. Na verdade, pensamos
os membros da srie numrica como uma sequncia ordenada, mas essa sequncia nada contm
do carter concreto da sucesso temporal. O trs no segue o dois como o relmpago o trovo,
pois nenhum deles possui qualquer tipo de realidade temporal, mas, simplesmente, uma
constituio lgica ideal. O significado da sequncia limita-se ao fato de que o dois entra como
uma premissa na determinao do trs, de modo que o significado de um conceito s pode ser
explicado a partir do outro. O menor nmero pressuposto pelo maior e fora disso no existe
qualquer relao fsica ou psicolgica de mais cedo ou mais tarde, mas uma relao pura de
dependncia conceitual sistemtica. O que caracteriza a posio mais tarde a circunstncia de
que ela resulta da unidade fundamental, atravs de uma aplicao mais complexa da relao
geradora e, consequentemente, toma os elementos que a precede como partes e fases lgicas
constitutivas de si prpria. Assim, o tempo (se o compreendemos como forma concreta do
sentido interno) pressupe o nmero, mas, inversamente, o nmero no pressupe o tempo. A
aritmtica pode ser definida como a cincia do tempo puro somente quando removemos do
conceito de tempo (como Hamilton faz, por exemplo), qualquer caracterizao particular, e
simplesmente retemos o momento de ordem progressiva12.
exatamente nisso que repousa a vantagem metdica da cincia do nmero: nesse
mtodo o qu dos elementos de uma determinada conexo progressiva abandonado, e
simplesmente o como dessa conexo levado em conta. Aqui encontramos pela primeira vez
um procedimento geral de importncia fundamental para a formao total dos conceitos
matemticos. Dado um sistema de condies, que pode ser satisfeito com diferentes contedos, ento
podemos manter a forma do sistema como um invariante em si mesma, inalterado pelos diferentes
contedos, e desenvolvermos suas leis dedutivamente. Desse modo produzimos uma nova forma
objetiva, cuja estrutura independe de qualquer arbitrariedade. Seria uma ingenuidade acrtica
confundir o objeto que surge dessa forma com coisas reais efetivas e sensveis. No podemos ler
desse objeto, empiricamente, suas propriedades e nem precisamos, pois ele est diante de ns

desenvolve essas ideias com especial clareza e profundidade (Die logischen Grundlagen der exakten
Wissenschaften, LEIPZIG, 1910, Caps. 3 e 4.)
12Sobre a definio de lgebra como cincia do tempo puro ou da ordem em progresso de William

Hamilton e sua relao com o conceito kantiano de tempo, cf. meu ensaio Kant und die moderne
Mathematik, Kant Studien XII, p.34 f.
153
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

em todas as suas determinaes, to logo nos apossemos, em sua pureza, da relao da qual ele se
desenvolve.

As teorias de Helmholtz e Kronecker

Por mais fundamental que seja o momento conceitual da ordem, ele ainda no exaure
por completo o contedo do conceito de nmero. Um novo aspecto aparece to logo o nmero,
que at agora foi deduzido como uma sucesso puramente lgica de construtos mentais,
compreendido e aplicado como uma expresso de multiplicidade. Essa transio do nmero ordinal
puro para o nmero cardinal feita de forma uniforme nas diversas teorias de nmeros ordinais da
aritmtica, como a de Dedekind e, em particular, as de Helmholtz e Kronecker. Dado um sistema
finito qualquer, podemos relacion-lo com a totalidade dos nmeros previamente desenvolvida
de uma forma clara e definida, fazendo com que cada elemento do sistema corresponda a uma e
somente uma posio nessa totalidade. Dessa forma estamos finalmente aptos, seguindo a ordem
pr-fixada das posies, a fazer corresponder ao ltimo membro do sistema um certo nmero
ordinal n. Entretanto, essa correspondncia, que conclui o processo, contm em si prpria todas
as fases anteriores; pois, desde que a progresso de 1 a n s pode ser feita de uma maneira, o
nmero que alcanamos reproduz a operao total no seu carter especfico. O nmero n, que foi
inicialmente tomado como caracterstica do ltimo elemento, pode agora ser considerado sob um
outro ponto de vista, como caracterstica do sistema global. Ns o chamamos de nmero cardinal do
sistema em questo e dizemos que o sistema consiste de n elementos13. Evidentemente, dado
como pressuposto que existe um e apenas um cardinal para um dado grupo e que assim a posio
que alcanamos ao final do processo independente da ordem pela qual sucessivamente
consideramos e destacamos os elementos do grupo. Esse pressuposto, contudo, como Helmholtz
particularmente mostrou, pode ser provado rigorosamente a partir das premissas da teoria
ordinal, sem necessidade de introduzir um novo postulado, bastando a condio de que a
variedade considerada seja um sistema finito. As definies das operaes fundamentais da
aritmtica podem tambm ser transferidas sem dificuldade para a nova espcie de nmeros.
Dessa forma a formao da soma (a + b) significa, do ponto de vista do nmero ordinal puro, que
comeando de a, ns contamos b passos, isto , que determinamos o lugar na srie que
alcanamos quando coordenamos os nmeros que segue a a, membro por membro, com os

13Cf., particularmente, DEDEKIND,Was sind und was sollen die Zahlen, 161, p.54.
154
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

elementos da srie 1, 2, 3,...b. Essa explanao continua vlida sem modificao quando passamos
para a adio de nmeros cardinais. evidente que da combinao dos elementos de dois
grupos, associados aos nmeros cardinais a e b, resulta novo grupo C, cujo nmero de elementos
dado pelo nmero (a + b) no sentido anteriormente caracterizado. A considerao de nmeros
cardinais no traz nenhuma propriedade e nenhuma relao, que no tenha sido previamente
deduzida a partir da considerao do simples elemento de ordem. A nica vantagem que as
frmulas desenvolvidas pela teoria ordinal ganham uma aplicao mais ampla, uma vez que elas
podem, de agora em diante, ser lidas em duas linguagens diferentes14.
Mesmo que nenhum novo contedo matemtico seja produzido atravs dessa transio
indubitvel que na formao do nmero cardinal surge uma nova funo lgica. Da mesma
forma que na teoria do nmero ordinal os passos individuais como tais so estabelecidos e
desenvolvidos em uma sequncia definida, aqui tambm se sente a necessidade de compreender a
srie no somente nos seus elementos sucessivos, mas como um todo ideal. O momento
precedente no para ser meramente abandonado pelo seu sucessor, mas para ser retido neste
ltimo em seu importe lgico global, de modo que o ltimo passo do procedimento contenha
nele prprio todos os passos anteriores e a lei de suas conexes mtuas. exatamente nesta
sntese que a sequncia dos nmeros ordinais desenvolvida num sistema unitrio fechado em si
prprio, no qual nenhum elemento existe meramente para si mesmo, mas, ao contrrio,
representa a estrutura e o princpio formal da srie inteira.

Crtica s tentativas de deduo nominalista

Se essas duas aes lgicas fundamentais forem assumidas na base de toda


diferenciao e conexo de nmeros, ento nenhum outro pressuposto especial ser preciso para
determinar o campo das operaes da aritmtica. Com isto satisfeita a demanda para uma
deduo puramente racional, que evita toda dependncia de relaes empricas de objetos fsicos.
Na verdade, precisamente esse elemento distintivo que tem sido frequentemente mal-entendido
na avaliao da teoria ordinal de nmero. A explanao da teoria, como feita por Helmholtz,
por exemplo, leva necessariamente ao entendimento de que, antes de tudo, grupos concretos de
objetos so pressupostos como dados e que todo o trabalho do pensamento exaurido na
introduo dos vrios smbolos correspondentes a essa diversidade de coisas. Entretanto,

14Cf.HELMHOLTZ, Zhlen und Messen, erkenntnistheoretisch betrachtet (Philosoph. Aufstze,


Ed. Zeller gewidmet, Leipzig, 1887, p.33).
155
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

smbolos como tais nada mais so que grupos de objetos perceptveis, que se distinguem uns
dos outros visualmente por meio da forma e da posio. Assim, a nossa capacidade de nos
abstrairmos das propriedades imediatas das coisas nas afirmaes que envolvem relaes
numricas justifica-se, porque substitumos a realidade das coisas pelas suas cpias sensveis. O
verdadeiro comeo da formao do nmero no seria assim uma abstrao dos objetos fsicos,
mas, pelo contrrio, uma solidificao e concentrao do seu importe sensrio. Cada
interpretao desse tipo que diferentes matemticos parecem ter assumido nas suas exposies da
teoria ordinal do nmero, contradiz a sua real e profunda tendncia lgica. Os smbolos
produzidos deixariam de ser smbolos e perderiam sua funo caracterstica, se eles fossem
julgados meramente de acordo com o que eles sensorialmente so, e no de acordo com o que
eles intelectualmente significam. O que permaneceria, na verdade, seriam apenas certas
imagens, as quais ns poderamos investigar em sua forma, tamanho, posio e cor., mas
nenhum nominalismo matemtico, por mais extremado que seja, j tentou alguma vez
transformar o significado de juzos vlidos sobre nmeros em afirmaes desse tipo. apenas a
ambiguidade no emprego do conceito de smbolo, apenas a circunstncia de que por conceito
pode ser entendido, ora a simples existncia de um contedo sensrio, ora o objeto ideal
simbolizado por este ltimo, que torna possvel essa reduo para o esquema nominalista.
Leibniz, cujo pensamento dirigiu-se o tempo todo para a ideia de uma caracterstica universal,
apontou com toda a clareza filosfica para esse fato lgico aqui mostrado, opondo-se assim s
teorias formalistas de sua poca, A base da verdade, como ele afirma, no reside nunca nos
smbolos, mas nas relaes objetivas entre as ideias. Fosse de outra maneira, teramos de
distinguir tantas formas de verdade quantas fossem as maneiras de simbolizao. Entre os
matemticos modernos, especialmente Frege tem mostrado, em uma crtica detalhada e
penetrante, que a aritmtica dos smbolos sobrevive apenas por ser infiel a si prpria. No lugar
dos smbolos vazios, o significado dos conceitos aritmticos aparece despercebido ao longo do
argumento15.
Na teoria dos nmeros ordinais puros, a interpretao nominalista forma apenas uma
capa externa, a qual deve ser retirada para se alcanar o ncleo real do pensamento lgico
matemtico. Uma vez feito isso, o que retemos o momento puramente racional, pois ordem
no algo que pode ser imediatamente apontado nas impresses sensrias, mas sim algo que
pertence a elas apenas em virtude de relaes intelectuais. Portanto, a teoria em sua forma pura

15 FREGE, Grundgesetze der Arithmetik, Jena, 1903, VoI. II, p.69 ff., p.139.
156
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

no requer o pressuposto de um grupo de coisas particulares dadas fisicamente, como se tem


argumentado contra ela.16 As variedades que ela fundamenta no esto presentes empiricamente,
porm definidas idealmente, so totalidades construdas progressivamente a partir de um certo
incio e de acordo com uma regra constante. Nessa regra tambm esto enraizadas todas as
determinaes genuinamente formais, que distinguem as sries de nmeros e as fazem o tipo
fundamental de qualquer conexo conceitualmente inteligvel.

III

Os conceitos de nmero e de classe

Se, contudo, olharmos o efetivo desenvolvimento moderno dos princpios da


matemtica, ele pareceria como se o tratamento anterior da matria tivesse perdido o momento
essencial que completa a caracterizao lgica do nmero. Em todas as tentativas feitas de reduzir
o conceito de nmero em constantes lgicas puras, o conceito de classe tem sido considerado
como uma condio necessria e suficiente. A anlise do nmero parece se completar apenas
quando seu contedo especial deduzido da funo geral do conceito. Mas, de acordo com a
teoria lgica dominante, a formao de conceitos no significa nada mais que a reunio de
objetos em espcies e gneros em virtude da subsuno sob atributos gerais.
Dessa forma, para se entender o conceito de nmero, tem-se primeiramente de
remover dele tudo aquilo que no se adequa a esse esquema. Mas aqui surge uma dificuldade
fundamental para a teoria. Se estamos considerando no o pensamento de nmero em geral, mas
o conceito deste ou daquele determinado nmero, ento no estamos tratando de um conceito
lgico universal, mas sim de um conceito individual. No se trata aqui de indicar a espcie que
pode ser apontada para uma dada quantidade de exemplos individuais, mas da fixao de uma
certa posio definida dentro de um sistema global. Existe apenas um dois, somente um
quatro, e ambos possuem certas propriedades e caractersticas matemticas que eles no
dividem com nenhum outro objeto. Se a reduo do conceito de nmero ao conceito de classe, a
despeito de tudo isso, possvel, ento preciso tomar uma outra direo. Para determinar o que
o nmero , respeitando a sua essncia pura, no tentaremos analis-lo diretamente em partes
constitutivas mais simples, mas perguntar primordialmente pelo significado da igualdade de

16 Cf. COUTURAT, De lInfini mathmatique, Paris, 1896, p.318 ff.


157
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

nmeros. To logo seja estabelecido em que condies devemos considerar dois grupos como
possuindo o mesmo valor numrico, a peculiaridade da marca, que assumimos como idnticas
em ambos, , dessa forma, indiretamente determinada. O critrio de igualdade numrica de dois
grupos, contudo, consiste em que uma certa relao pode ser dada, em virtude da qual os
elementos dos dois grupos podem ser mutuamente coordenados um a um. Por conta desse processo de
coordenao, estabelecemos certas conexes entre as infinitas classes possveis, unindo num
complexo global aqueles grupos que dessa forma podem ser coordenados. Em outras palavras,
unimos numa espcie todas as variedades para as quais existe tal relao de equivalncia ou
coordenao um a um, ao mesmo que consideramos os grupos nos quais essa condio no
satisfeita como pertencentes a diferentes espcies. Quando isso feito, qualquer grupo individual,
em virtude do carter da equivalncia, pode ser considerado como um representante perfeito de
todas as espcies, pois, desde que se pode mostrar que dois grupos equivalentes a um terceiro so
tambm equivalentes entre si, basta provar que para um dado todo M que ele pode ser
coordenado membro a membro com qualquer grupo do complexo global, a fim de estabelecer
que o mesmo verdadeiro para todos os grupos do complexo em questo. Agora, se abstrairmos
a relao comum, que cada todo de tal complexo tem um com o outro e a consideramos como
um possvel objeto do pensamento, alcanamos o momento que na linguagem ordinria
chamamos o nmero desses todos. O nmero que pertence a um conceito F, afirma Frege, ao
qual devemos essa deduo em seus passos principais, a extenso do conceito: numericamente
igual a F. Ns percebemos o nmero de um conceito no apenas quando consideramos os
objetos por ele caracterizados neles mesmos, mas tambm quando inclumos todas aquelas
classes cujos elementos esto na relao de correspondncia um a um com aqueles do todo em
considerao.

A teoria de Russell dos nmeros cardinais

A caracterstica dessa concepo que ela simplesmente toma o ponto de vista


ordinrio como critrio de igualdade numrica e enfatiza-o como o carter constitutivo peculiar
sobre o qual repousa todo o contedo do conceito de nmero. Enquanto a viso tradicional
pressupe os nmeros individuais como dados, como conhecidos, e decide, tomando por base
esse conhecimento, sobre suas igualdades ou desigualdades, aqui o processo se inverte. Somente
a relao expressa na igualdade que conhecida; os elementos que entram nessa relao
possuem seus significados inicialmente indeterminados e apenas pela igualdade que so
158
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

gradativamente determinados. Nosso objetivo , escreve Frege acerca do procedimento geral,


modelar o contedo de um julgamento, o qual pode ser interpretado como uma igualdade, de tal
maneira que em cada membro da igualdade exista um nmero. Queremos assim [...] determinar por
intermdio do conceito j conhecido de igualdade o que deve ser considerado como igual. Aqui uma linha
metodolgica claramente definida, a qual fundamental na construo de qualquer conceito
matemtico; o construto deve ganhar sua constituio total a partir das relaes que ele satisfaz.
(Cf. acima) O nico ponto que resta verificar se na relao de equivalncia entre classes
realmente tomamos uma relao que logicamente mais simples que a totalidade de funes, que
na teoria ordinal conduz as sries sistemticas dos nmeros ordinais. Um progresso da anlise
seria, evidentemente, apenas alcanado quando pudssemos nos abstrair de todas as funes e
ainda assim obtermos, atravs de um novo caminho, a construo completa do reino dos
nmeros e de suas leis. nesse ponto ento que toda a investigao crtica deve se concentrar.
realmente possvel a deduo da srie numrica a partir do conceito de classe, ou essa deduo
move-se num crculo atravs do emprego tcito de conceitos tirados exatamente do campo que
ela se prope a deduzir?17
A teoria que tem sido desenvolvida aqui, embora em ntido confronto com a
interpretao emprica da natureza do nmero, concorda com ela em uma caracterstica formal:
ela tambm entende o nmero como uma propriedade comum a certos contedos e grupos de
contedos. A base das afirmaes numricas, contudo, como especialmente enfatizado, no
para ser procurada nas prprias coisas fsicas sensrias, mas globalmente nos conceitos dessas
coisas. Todo julgamento acerca de relaes numricas prescreve certos atributos no aos objetos,
mas aos seus conceitos, atravs dos quais eles so divididos em classes com propriedades
peculiares. Quando eu afirmo: Vnus tem 0 luas, no existe efetivamente nenhuma lua ou
agregado de luas do qual alguma coisa pudesse ser dita; mas uma propriedade associada ao
conceito lua de Vnus, a saber, que ele no compreende objeto algum. Quando eu afirmo: a
carruagem do imperador puxada por quatro cavalos, eu associo o nmero quatro ao conceito
cavalos que puxam a carruagem do imperador. Este nico fato explica a aplicabilidade
universal das asseres numricas, que cobrem, igualmente, tanto o material como o imaterial,
fenmenos interiores como exteriores, tanto coisas como acontecimentos ou experincias. Essa

17Aquesto em pauta tem sido discutida de forma bem viva na moderna literatura lgico-matemtica. Para
uma exposio positiva da teoria confira, particularmente, os textos de Frege, Russell e Peano. Para
crticas conferir: B. Kerry, berAnschauungundihrepsychischeVerarbeitung, Vierteljahrsschr. f.
wissensch. Philos. XI, 287 ff; HUSSERL, Philosophie der Arithmetik, I, Ha1le, 1891, p.129 ff.;
JONAS COHN, Voraussetzungen und Ziele des Erkennens, Leipzig, 1908, p.158 ff
159
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

aparente diversidade do campo das coisas que podem ser enumeradas mostra, olhando-se mais de
perto, uma rigorosa uniformidade, pois a enumerao nunca diz respeito aos prprios contedos
heterogneos, mas aos conceitos que os compreendem, sempre da mesma natureza lgica. A
exposio anterior mostrou como isso pode ser precisamente entendido; uma certa determinao
numrica atribuda a conceitos quando eles so reunidos em classes com outros conceitos com
os quais eles esto numa relao de correspondncia um a um dos elementos de sua extenso.

A crtica s teorias de classe

Contra essa explanao levanta-se de sada uma objeo. A teoria aqui defendida no
est interessada de forma alguma em pensar arbitrariamente o conceito geral de nmero, mas em
indicar a real funo que o nmero possui no total do conhecimento. Precisamente ela enfatiza,
em oposio interpretao que parte do nmero ordinal puro, que as propriedades lgicas do
nmero aqui deduzidas so justamente aquelas que so determinantes e essenciais no uso
cotidiano. Uma deduo tcnica que meramente tem em vista os objetivos da aritmtica
cientfica deve opor-se- uma deduo natural que contempla as aplicaes concretas do nmero.
No entanto, um exame mais acurado mostra que essa meta no alcanada, pois o que aqui
logicamente deduzido no , de forma alguma, idntico ao significado real que associamos aos
julgamentos numricos no conhecimento factual. Se nos limitarmos meramente s consideraes
anteriores, seremos de fato capazes de, por meio delas, comparar diferentes grupos de elementos
e olh-los como similares de certo ponto de vista. Porm, no adquirimos nenhuma
caracterizao suficiente de seu nmero, no sentido comum da palavra. Nosso pensamento
poderia percorrer qualquer quantidade de conjuntos equivalentes e considerar suas relaes
mtuas sem adquirir qualquer conscincia caracterstica dos conceitos numricos puros
resultantes do processo. O significado especfico de quatro ou sete jamais poderia resultar da
simples reunio de uma quantidade qualquer de grupos de quatro ou sete elementos, a no
ser que antes se entenda os grupos individuais como sequncias ordenadas de elementos, ou seja,
como nmeros no sentido da teoria ordinal. Nenhuma reinterpretao lgica pode transformar o
quantos dos elementos, no sentido comum, em uma simples afirmao a respeito de igual a
quantos. Isso permanece como um problema independente e como tarefa do conhecimento. A
considerao dessa tarefa, entretanto, conduz a uma oposio metodolgica mais profunda entre
as duas interpretaes de nmero. a especificidade fundamental da teoria ordinal que nela o
nmero individual no significa nada em si mesmo, que um valor fixo atribudo a ele apenas
160
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

atravs de sua posio no sistema total. A definio do nmero individual determina de imediato e
diretamente a relao na qual ele se coloca diante dos demais membros do grupo, e essa relao
no pode ser eliminada sem a perda do contedo inteiro dos conceitos numricos particulares.
Na deduo geral do nmero cardinal, que estamos considerando, essa conexo eliminada.
tambm necessrio que essa deduo erija e logicamente deduza um princpio fixo de ordenao
dos nmeros individuais, embora o significado dos elementos deva ser estabelecido antes dessa
disposio e independente dela. Os membros so determinados como propriedades comuns de
certas classes, antes ainda que qualquer coisa tenha sido estabelecida a respeito de suas posies
sequenciais. Na verdade, todavia, precisamente nesse momento que inicialmente aqui se exclui,
que est enraizado o real carter numrico. A construo conceitual que fundamenta o nmero
no tende a enfatizar as similaridades, como o caso da doutrina tradicional de abstrao, mas
procura enfatizar e manter a diversidade. A considerao de conjuntos, que podem ser
mutuamente coordenados membro a membro, pode levar separao de uma marca idntica
neles. Essa marca, todavia, ainda no em si mesma nmero, mas meramente uma propriedade
lgica ainda no suficientemente definida. Tal propriedade torna-se nmero apenas quando ela se
separa de outras marcas de mesmo carter lgico, aparecendo com elas em relaes de mais
cedo ou mais tarde, ou mais ou menos. Mesmo aqueles pensadores, que levaram adiante de
forma mais rigorosa e consistente a explanao de nmero atravs de classes de equivalncia,
enfatizam que essa explanao irrelevante para os objetivos metdicos da matemtica pura. O
que o matemtico considera no nmero so meramente as propriedades nas quais repousam a
ordem das posies. O nmero, em si mesmo, pode ser o que ele quiser, mas, para a anlise e a
lgebra, s entra em considerao aquilo que pode ser pura e completamente desenvolvida sob a
forma de uma progresso18. Rigorosamente falando, uma vez isso admitido, a disputa acerca da
prioridade metdica do nmero ordinal est encerrada. Pois, onde se adquire informaes mais
precisas acerca da essncia do nmero, no sentido de crtica do conhecimento, se no na sua
mais ampla aplicao cientfica?
O apelo ao significado do conceito de nmero no pensamento pr-cientfico tambm
no resiste crtica. Pelo menos as anlises psicolgicas no oferecem apoio teoria. Toda
reflexo no estgio atual do pensamento, ao contrrio, mostra claramente a diferena interna
entre o pensamento de equivalncia e aquele do nmero. Fosse o nmero apenas o que resulta
dessa deduo, ento seria uma tarefa peculiarmente complicada e difcil destacar o processo pelo

18 Cf. RUSSELL, op. cit., 230. Sobre o conceito de progresso cf. acima.
161
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

qual tal conceito surge e mantido na conscincia. Pois nmero significa aqui uma relao entre
duas classes inteiramente heterogneas em contedo, que so conectadas apenas pela mera
possibilidade de coordenao mtua. Masque motivao mental deveria existir em geral para
relacionar grupos no-similares entre si. Qual o sentido de, por exemplo, colocar lado a lado a
classe das luas de Jpiter com a das estaes do ano, o conjunto das peas do jogo de boliche
com o conjunto das musas? Tal comparao inteligvel depois do valor numrico de cada
uma dessas classes e da concordncia indireta entre elas terem sido estabelecidas de uma outra
maneira. Mas, por outro lado, onde esse valor no pressuposto, mas adquirido por comparao,
a comparao, ela prpria, carece de algum padro ou guia fixo. Tem sido argumentado, contra a
teoria da equivalncia, que ela leva a um relativismo extremo na medida em que a determinao
do nmero deve ser uma propriedade que no pertence ao grupo propriamente dito, mas em
relao a outros grupos. Essa crtica , no mnimo, ambgua, pois o conceito de nmero pode, de
fato, ser em qualquer forma de deduo, apenas um conceito relacional puro. Apenas o campo e,
por assim dizer, o lugar lgico da relao aqui deslocado. Pois enquanto na teoria ordinal
estamos preocupados com construes ideais que se relacionam entre elas, aqui cada construo
individual deduzida da relao das classes dadas.

A definio lgica de zero e de unidade

Os pressupostos aqui assumidos vm luz to logo se tente dar uma definio


estritamente lgica dos nmeros individuais a partir do ponto de vista delineado e se tente
determinar as condies sob as quais dois desses nmeros devem ser considerados como
sucessivos. De fato, devem surgir graves dificuldades na explanao do zero, pois, obviamente,
no existe sentido algum em se falar de coordenao um a um dos diferentes membros das duas
classes, no caso em que, por definio, uma dessas classes no contem membro algum. Mas,
mesmo que essa dificuldade pudesse ser removida por meio de uma complicada reinterpretao
lgica do conceito de equivalncia19, o crculo na explanao se tomaria claro quando partssemos
para a definio do um. O que significa conceber um objeto como um assumido como
conhecido desde o incio, pois a equinumerosidades de duas classes conhecida
exclusivamente pelo fato de podermos corresponder cada elemento da primeira classe com um e

19Cf. sobre este ponto: FREGE, Die Grundlagen der Arithmetik, p.82 ff.; RUSSELL, p.113, e a crtica
de KERRY, Vierteljahrsschr. f. wiss. Philos. XI, p.287 ff., e tambm POINCARE, Science et Mthode,
Paris, 1908, Bk. II. Para a critica de Frege, cf. NATORP, op. cit., p.112 ff.
162
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

somente um elemento da segunda. Essa observao, simples e trivial como parece ser,
frequentemente tem dado margem controvrsia. Tem sido objetado que diferente quando eu
tomo o nmero um em seu significado estritamente matemtico ou simplesmente no sentido
vago expresso por um artigo indefinido. esse ltimo sentido que pressuposto quando eu sou
solicitado a tomar qualquer membro de uma classe u e relacion-lo a um membro de uma outra
classe v. Que cada indivduo ou cada membro de uma classe, num certo sentido, um, escreve
Russell, por exemplo, naturalmente incontestvel, mas no segue disto que o conceito de
um pressuposto quando falamos de um indivduo. Podemos, se preferirmos, considerar,
inversamente, o conceito de indivduo como o conceito fundamental, a partir do qual o conceito
de um deduzido. Sob esse ponto de vista o significado da afirmao que a classe u possui
um elemento (no sentido aritmtico) determinado pelo fato de que essa classe no nula e
que se x e y so us ento x idntico a y. Uma caracterizao semelhante fixar o significado do
conceito de correspondncia um a um entre termos: R uma tal relao se, no caso de x e x'
terem a relao R com y, e x possua relao R com y e y', ento x, x' e tambm y, y' so
idnticos20. Todavia, fcil de ver que aqui a funo lgica de nmero no bem assim
deduzida, mas reescrita atravs de uma parfrase tcnica. A fim de entender a explanao dada
no mnimo necessrio que se compreenda um termo x como idntico a si mesmo, enquanto que
simultaneamente o relacionamos com um outro termo y e julguemos o primeiro como
concordando ou diferindo do ltimo de acordo com circunstancias especiais. Agora, se tomarmos
esse processo de posicionamento e de diferenciao como base, vemos que nada mais foi feito do
que pressupor o nmero no sentido da teoria ordinal. Assim, por exemplo, a classe de 2 objetos
definida por Russell pelas condies de que ela em geral possui termos e que, se x um de seus
termos, existe um outro termo y da classe que diferente de x e que, alm disso, se x e y so
termos diferentes da classe u e z diferente de x e y, ento toda classe que contm z diferente
de u. Vemos agora, para completar a explanao, como os elementos x, y, z so produzidos em
progressiva diferenciao e, por isso, so indiretamente diferenciados como primeiro, segundo,
terceiro, ....membros.
Em geral, a fim de colocar os diferentes nmeros na forma de uma determinada
progresso, - e nessa forma, como vimos, que se apoia primordialmente seu significado e uso
cientfico - precisamos de um princpio que nos permita, quando um nmero n qualquer for
dado, definir seu sucessor. Essa relao de vizinhana entre dois nmeros agora determinada,

20 Cf. RUSSELL, 124-126, 496. FREGE, p.40 ff.


163
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

de acordo com a teoria, comparando entre si as correspondentes classes u e v e correspondendo


seus elementos membro a membro. Se restar na classe (v) um elemento que no possua
correspondente algum na outra classe, ento designamos vem relao a u como a classe
imediatamente superior. Postula-se assim que primeiro selecionamos como um todo a parte de v
que pode ser coordenada membro a membro com u, a fim de selecionar o membro que
permanece desconectado nessa coordenao como um outro segundo. Assim a progresso de
uma unidade para a seguinte baseada na mesma sntese intelectual que suporta a teoria do
nmero ordinal. A nica diferena metodolgica consiste em que essas snteses aparecem na
teoria ordinal como construes livres, enquanto que aqui elas dependem das classes dadas de
elementos21.

Os pressupostos do conceito de classe


Uma considerao final decisiva, no entanto, mostra que a ordem lgica dos
conceitos invertida nessa interpretao. A determinao do nmero por classes de equivalncias
pressupe que essas classes sejam dadas em si como pluralidade. O conceito de semelhana de
classes que fundamenta o significado de nmeros cardinais exige, no mnimo, a considerao de
dois todos conectados por uma certa relao. Tem sido enfatizado que para o estabelecimento
dessa relao um a um, no necessrio que os membros das duas variedades sejam previamente
numerados, mas que, ao contrrio, seja indicada uma lei geral que conecta cada elemento da
primeira variedade com outro qualquer da segunda. Mas, mesmo que desistssemos, de acordo
com esse ponto de vista, de uma enumerao prvia das classes individuais que comparamos,
permaneceria a situao de que temos que opor as classes uma outra como todos, e dessa forma
a entenderamos como duas diferentes unidades. Poderia ser objetado que essa diferena estaria
diretamente dada pela diferena lgica pura entre os conceitos de classes e com isso no seria
possvel nem necessria uma deduo posterior. Retornaramos assim das prprias classes para as
relaes geradoras que lhes fundamentam e que lhes do seus limites e determinaes. A

21A fim de explicar a relao que existe entre dois membros vizinhos das sries de nmeros naturais,
Frege, por exemplo, parte da proposio: existe um conceito F e um objeto x compreendido por ele de
tal forma que o nmero que pertence ao conceito F n e o nmero compreendido por F exceto x m;
isto explicado como equivalente a proposio que n o sucessor imediato de m na srie dos nmeros
naturais. Op. cit., p. 89. Dessa forma feita aqui uma distino dentro da totalidade F, pela qual um nico
membro x selecionado e oposto aos demais: todos esses outros so ento usados na definio da
vizinhana nmero imediatamente inferior. Temos aqui novamente apenas uma circunlocuo do
ponto de vista popular, que distingue cada membro da srie de nmeros de seus vizinhos pela adio
ou subtrao de uma unidade.
164
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

diferena nos todos sistemticos reduz-se diferena na lei conceitual que lhes do origem. Desse
ponto de vista, contudo, pode-se deduzir diretamente, como se mostra, o sistema de nmeros
como nmeros ordinais puros sem o desvio atravs do conceito de classe. Pois necessitaramos
apenas assumir a possibilidade de diferenciar uma sequncia de construtos mentais puros atravs
das diferentes relaes com um elemento fundamental que sirva como ponto de partida. A teoria
do nmero ordinal apresenta assim o mnimo essencial que nenhuma deduo lgica de nmero
pode evitar. Embora a considerao de classes equivalentes seja da maior importncia para as
aplicaes do conceito de nmero, elas no pertencem ao contedo original.

Conceito genrico e conceito relacional

Ao mesmo tempo o conflito de teorias matemticas desemboca novamente nas


questes lgicas bsicas que formam nosso ponto de partida. Nas diferentes interpretaes do
conceito de nmero repete-se a disputa mais ampla entre a lgica dos conceitos gerais e a lgica
dos conceitos relacionais. Se o esforo para obter o conceito de nmero daquele de classes fosse
bem-sucedido, a forma tradicional da lgica ganharia uma nova fonte de confirmao. A
ordenao de indivduos em hierarquia de espcies seria agora, como antes, o verdadeiro objetivo
de todo conhecimento, tanto emprico como exato. Essa conexo tornou-se bem clara nas
tentativas de fundamentar a teoria lgica dos nmeros cardinais. De acordo com Russell, se eu
apreendo o pensamento dois homens, ento tenho formado o produto lgico dos conceitos
homem e par, e a afirmao de que existe dois homens diz apenas que um certo complexo
dado que pertence simultaneamente a classe homem e a classe par22. Fica evidente nessa altura
que a teoria no levou adiante as ideias crticas fundamentais que a originou. Frege e Russell
consideravam como o mrito decisivo de sua doutrina, o fato de o nmero no aparecer como
uma propriedade de coisas fsicas, mas como uma afirmao acerca de certas propriedades de
classes, e que dessa forma os objetos em si no formam a base dos julgamentos numricos, mas
sim os conceitos desses objetos (cf. acima). incontestvel que, comparada com a interpretao
sensria, essa mudana bem mais profunda e provoca uma liberao extraordinria do
pensamento. Contudo no basta enfatizar o carter puramente conceitual das afirmaes
numricas, se conceitos substanciais e conceitos funcionais ainda so colocados em um mesmo
plano. Nmeros aparecem, de acordo com essa viso, no como expresso da condio

22 Cf. RUSSELL, op. cit., 111.


165
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

fundamental que possibilita cada pluralidade, mas como uma marca que pertence a pluralidade
de classes dada e que delas pode ser separado por comparao. Repete-se assim a deficincia
fundamental de toda doutrina de abstrao: um esforo feito para ver o que guia e controla a
formao de conceitos, i. e., um ponto de vista puramente categrico como parte constitutiva
dos objetos comparados (cf. acima). A teoria mostra-se ao final como sendo uma tentativa sutil e
ampliada de lidar, por meio do esquema geral do conceito genrico, com um problema que
pertence, em seu significado e escopo, a um novo campo e pressupe um outro conceito de
conhecimento23.

IV

A ampliao do conceito de nmero

As tentativas anteriores de estabelecer o carter do conceito de nmero e o princpio


de sua formao no tomaram ainda a questo naquela universalidade e amplitude ganhas no
desenvolvimento da matemtica moderna. com o nmero, em sua forma e significado mais
primitivos, que se relaciona, mas tentativas de deduo feitas tanto pela teoria das classes como
pela teoria ordinal. Fundamentalmente o ponto de vista dos pitagricos no foi ainda
abandonado: o nmero, em seu sentido restrito de nmero inteiro, ainda constitui o nico
problema efetivo. O sistema cientfico da aritmtica, contudo, somente conclui-se nas ampliaes
sofridas pelo conceito de nmero pela introduo das oposies entre nmeros negativo e
positivo, fracionrio e inteiro e racional e irracional. Essas ampliaes so - como matemticos
proeminentes tem asseverado - meramente transformaes tcnicas, que somente podem ser

23De fato, no so apenas os pontos de vista lgicos, mas tambm razes de natureza matemtica, que
levam a explanao do nmero por meio de classes de equivalncia. Somente com essa fundamentao
pareceu ser possvel produzir uma teoria que no ficasse limitada desde o incio aos nmeros finitos, mas
que inclusse e caracterizasse numa nica deduo tanto os nmeros finitos quanto os infinitos. O
aspecto da coordenao mtua um a um de grupos parecia de fundamental importncia, pois ele
permanece quando se abstrai a finitude e, portanto, da enumerabilidade de grupos, - de acordo com a
interpretao ordinria de enumerao como avano sucessivo de unidade para unidade. Por mais
frutfero que tenha sido o conceito de potncia, que surge nessa conexo, no tem sido de forma
alguma provado que ele idntico ao conceito de nmero. O significado puramente matemtico do
conceito de potncia no se altera, evidentemente, se o consideramos como o princpio original do
nmero ou como um resultado derivado que pressupe uma outra explanao de nmero. As
propriedades, comuns aos nmeros finitos e transfinitos, no contm de forma alguma o elemento
essencial para a construo do nmero em geral: o summum genus, no sentido da lgica do conceito
genrico, no idntico aqui a origem conceitual do conhecimento (Sobre o problema dos transfinitos,
cf. abaixo p.80 ff.).
166
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

explicadas e justificadas nas aplicaes, ou essas ampliaes possuem a mesma funo lgica que
predomina j no primeiro estabelecimento do nmero?

A teoria de Gauss para os nmeros negativos e imaginrios

As dificuldades na introduo de qualquer novo tipo de nmero, sempre encontradas


sejam eles os negativos e irracionais, sejam eles os imaginrios, so facilmente entendidas se
considerarmos que em todas essas transformaes, o real substrato das afirmaes numricas
ameaa desaparecer cada vez mais. A enumerao, em seu sentido mais fundamental e por meio
de objetos sensveis, pode ser mostrada como real e dessa forma como vlida. O significado de
dois ou quatro parece no constituir nenhum problema srio, pois o mundo emprico das
coisas nos oferece em toda parte grupos de duas ou quatro coisas. Com a primeira generalizao
e ampliao do conceito de nmero, contudo, desaparece esse contedo substancial, no qual
especialmente se apoia a interpretao ingnua. O conceito e a prpria designao imaginrio
a expresso de um pensamento que em sua primeira aproximao se efetiva em cada um dos
novos tipos de nmero e lhes confere sua marca caracterstica. So julgamentos e afirmaes a
respeito do irreal que reclamam para si um valor cognitivo definido e indispensvel. Essa
conexo e o princpio geral, para o qual se voltam todos os diferentes mtodos de ampliao do
nmero, descrita por Gauss com extrema clareza e distino em uma passagem, na qual ele se
coloca a tarefa de fundamentar a verdadeira metafsica do imaginrio. Nmeros positivos e
negativos, ele afirma, s encontram aplicao onde aquilo que enumerado tem um oposto,
que unido a ele idntico a aniquilao. Em estrito senso esse pressuposto s ocorre onde no
existem substncias (objetos imaginveis em si mesmos), mas apenas relaes entre objetos so
contadas. postulado dessa forma que esses objetos so ordenados de alguma forma numa srie,
e.g., A, B, C, D, ... e que a relao de A para B pode ser considerada como a mesma que existe de
B para C. Nesse caso agora pertence ao conceito de oposio nada mais que a reverso da
relao; de modo que, se a relao (e assim a transio) entre a A e B representada por+ 1, a
relao de B para A representada por -1. Na medida em que tal srie ilimitada em ambas as
direes, todo nmero real inteiro representa a relao de algum membro, escolhido
arbitrariamente como incio, para algum membro definido da srie. A deduo dos nmeros
imaginrios se apoia, alm disso, no fato de que os objetos em investigao no so mais
considerados como ordenados numa nica srie, mas exigindo para seu ordenamento a
considerao de uma srie de sries, necessita dessa forma a introduo de uma nova unidade (+i,
167
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

-i). Eliminando aqui todos os detalhes da deduo surge bem clara a viso lgica dominante. O
sentido do conceito de nmeros ampliados no pode ser compreendido enquanto se insiste em
mostrar o que eles significam em substncias, em objetos concebidos neles mesmos, mas
revelam-se imediatamente quando neles se v a expresso de conexes puras que governam as
relaes numa srie construtivamente produzida. Uma substncia negativa, que seria ao mesmo
tempo um ser e um no-ser, seria uma contradito in adjeto. Uma relao negativa apenas o
correlato lgico necessrio do conceito de relao em geral, pois toda relao de A para B pode
tambm ser representada e expressa como uma relao de B para A. Se ns considerarmos,
portanto, a relao geradora (R) que fundamenta a transio de um membro da srie de nmeros
para o que lhe segue imediatamente, postulamos tambm a relao do membro seguinte para o
precedente, definindo assim uma segunda direo de progresso, que pode ser entendida como
inversa da primeira, ou como a relao inversa (R'). Os nmeros positivos e negativos (+a, -a)
aparecem agora meramente como expresso de progresso nessas duas direes das relaes (Ra,
R'a). A partir dessa concepo fundamental, podem ser deduzidas todas as operaes de clculo
dentro do campo ampliado dos nmeros, pois todas essas operaes so fundadas no carter de
nmero puro como nmero relacional e expressam claramente esse carter24.

Fundamentao aritmtica e geomtrica

Novamente esse desenvolvimento no ser acompanhado em todas as suas fases


particulares, mas apenas em exemplos tpicos nos quais a tendncia lgica do pensamento mais
claramente expressa. na deduo dos nmeros irracionais que o novo princpio verificado de
forma mais saliente. Inicialmente, uma deduo dos nmeros irracionais pode ser tentada por
dois caminhos. Poderamos tanto partir das relaes entre segmentos geomtricos dados, como
da exigncia de solubilidade de certas equaes algbricas. O primeiro mtodo, predominante at
a poca de Dedekind e Weierstrass, fundamenta o novo nmero no conceito de espao, ou seja,
nas relaes encontradas entre objetos mensurveis. Parece novamente ser o caso de experincias
com objetos fsico-espaciais que controlam o processo de formao do conceito matemtico e
prescrevem sua direo. Todavia, torna-se evidente
quepelomenosoapelosrelaesentrecoisasempricasconcretasdevefalhar neste ponto. As relaes

24Cf aqui particularmente a exposio profunda e a prova dessa conexo em NATORP, op. cit., Caps. III e
IV.
168
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

entre as medidas das coisas so conhecidas apenas por meio da observao e, assim, dentro dos
limites impostos pelos erros de observao. Exigir uma determinao absolutamente exata nesse
campo confundir a prpria natureza da questo. Assim, o sistema ordinrio dos nmeros
fracionrios j , obviamente, um instrumento mental adequado em todos os aspectos para
responder as questes que surgem nesse campo. Pois, dentro desse sistema, no existe diferena
mnima, uma vez que entre dois elementos quaisquer, no importando a sua proximidade, sempre
existe um novo elemento pertencente ao sistema. Assim oferecida uma distino conceitual que
nunca alcanada nas relaes observveis das coisas, e muito menos ultrapassada. Dessa forma
as relaes entre medidas ganhas atravs de experincias externas jamais podem nos levar ao
conceito de irracional em seu significado matemtico estrito. Ao contrrio, esse conceito deve
surgir e se fundamentar de dentro no crculo das prescries que apoiam a conexo sistemtica
dos conhecimentos matemticos. Em todo caso, no so os corpos da realidade fsica, mas os
segmentos puramente ideais da geometria que podem fornecer o desejado substrato para a
derivao dos irracionais. O novo problema no surge pela concepo de grandezas dadas e
efetivamente disponveis, mas das leis de determinadas construes geomtricas. Uma vez isso
reconhecido, a questo seguinte que a construo, indispensvel em qualquer tentativa de
deduo, deve desenvolver-se e justificar-se a partir do princpio fundamental do prprio
nmero. O deslocamento da questo do nmero para o espao destruiria a unidade e perfeio
do prprio sistema da lgebra.
O mtodo algbrico ordinrio, que introduz os valores irracionais como solues de
determinadas equaes, claramente inadequado, pois confunde a introduo de um postulado
com sua efetivao. Pois, independente do fato de existirem uma infinidade de valores irracionais
que no podem ser representados como razes de equaes algbricas, tal explanao no decide
se o objeto produzido por elas univocamente determinado ou se existem diversos valores
diferentes satisfazendo as condies impostas. Uma definio adequada no deve caracterizar o
objeto ideal ao qual ela dirigida, meramente atravs de alguma marca particular a ele
pertencente, mas deve abrang-lo e determin-lo plenamente na sua individualidade caracterstica,
que o distinga de todos os outros objetos. Essa individualidade, entretanto, completamente
determinada para qualquer valor numrico, quando sua posio no sistema total dada
juntamente com sua deduo, e com isso fixada sua relao com todos os outros membros
conhecidos do domnio dos nmeros. Essa posio relativa inclui, desde o incio, todas as demais
propriedades que podem ser atribudas ao nmero individual, pois todas essas propriedades dele
seguem e nele se baseiam.
169
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

A explanao de Dedekind para os nmeros irracionais

Essa ideia condutora aparece em sua forma mais pura na bem conhecida explanao
de Dedekind dos nmeros irracionais como cortes. Se partirmos da totalidade das fraes
racionais, uma frao sendo definida como uma razo numrica e sem apelo a grandezas
mensurveis e divisveis, e considerando apenas as relaes ordinais puras25, ento todo elemento
individual a, que podemos selecionar dessa totalidade, separa a prpria totalidade em duas classes
A e B. A primeira dessas classes inclui todos os nmeros menores que a (i.e., aqueles que
precedem a na ordem sistemtica do todo) e a segunda todos os nmeros que so maiores que
a (i.e., os que seguem a). Se, contudo, a designao de qualquer frao individual implicitamente
inclui a separao do sistema total, a recproca desta proposio no vlida, pois nem toda
separao, estrita e claramente definida, que pode ser feita intelectualmente, corresponde a um
determinado nmero racional. Por exemplo, se considerarmos qualquer nmero inteiro positivo
D que no seja quadrado de um nmero inteiro, ento ele sempre estar entre dois quadrados, de
modo que um inteiro positivo A pode ser escolhido a satisfazer A < D < (A + 1). Se reunirmos
agora todos os nmeros cujos quadrados so menores que D em uma classe Ae todos os que so
maiores que D reunidos em uma classe B, ento qualquer valor racional possvel pertence a uma
dessas classes, de modo que a separao aqui introduzida esgota completamente o sistema dos
nmeros racionais. Todavia, como se pode mostrar, no existe nenhum elemento nesse sistema
que produz essa separao e que seria assim maior que todos os nmeros da classe A e menores
que todos da classe B. Alcanamos assim por meio de uma regra conceitual - pela qual qualquer
outro nmero poderia ser escolhido - uma relao precisa e clara entre classes de nmeros, a qual,
todavia, no representada por nenhum valor numrico individual na variedade definida acima.
essa circunstncia que agora provoca a introduo de um novo elemento irracional; um
elemento que no tem outra funo e significado a no ser o de representar conceitualmente a
prpria unicidade da separao. O novo nmero, nesta forma de deduo, no assim
arbitrariamente concebido, nem introduzido apenas como um mero smbolo, mas aparece
como a expresso de um todo complexo de relaes, as quais foram inicialmente definidas de
forma estritamente lgica. Ele representa, desde o incio, um determinado contedo lgico
relacional no qual ele pode, de volta, ser decomposto.

25Mais particularmente, cf., p. ex., RUSSELL, op. cit., 144 ff., 230.
170
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

O conceito de corte

A objeo que tem sido frequentemente levantada contra a deduo de Dedekind,


tanto pelo lado da filosofia como pelo da matemtica, que ela envolve uma hiptese
indemonstrvel. A existncia de um, e somente um, elemento numrico em qualquer caso de
separao do sistema dos nmeros racionais no provada, mas simplesmente asseverada a partir
de um postulado geral. De fato, a exposio de Dedekind permite essa considerao na medida em
que ela parte de analogias geomtricas com o objetivo de clarear o pensamento fundamental. A
continuidade da linha reta, dito, expressa no fato de que quando todos os pontos de uma linha
reta so separados em duas classes de tal maneira que todo ponto da primeira classe est
esquerda de todo ponto da segunda classe, ento existe um e somente um ponto da linha reta que
produz a separao de todos os pontos, cortando assim a reta em dois pedaos 26. O prprio
Dedekind caracteriza essa propriedade da reta como um axioma, pelo qual reconhecemos de
incio a continuidade da reta e nela introduzimos idealmente sua continuidade. Se, em geral, o
espao tem uma existncia real, ele no precisa ser necessariamente contnuo, pois inmeras de
suas propriedades permaneceriam as mesmas caso ele fosse descontinuo. E mesmo se
estivssemos convencidos da descontinuidade do espao, nada nos impediria de faz-lo contnuo
pelo preenchimento intelectual de suas lacunas, se assim o desejssemos. Esse preenchimento,
contudo, consistiria na criao de novos pontos individuais e seria feito de acordo com o
princpio acima27. Tal oposio entre ideal e real pode de fato levar ideia de que nenhuma
determinao conceitual, que se impe a ns no entendimento do domnio dos nmeros,
necessitaria ento envolver uma determinao do ser. O passo de uma conexo sistemtica ideal
para a existncia de um novo elemento parece envolver uma metabasis eis allogenos. Na verdade, no
se trata aqui de nenhuma transio injustificada, pois pelo menos no domnio dos nmeros toda a
separao dualista entre ser ideal e ser real, entre essncia e existncia irrelevante. Mesmo
que no caso do espao tal separao entre o produto de uma construo geomtrica livre e o que
o espao pudesse possivelmente ser mantida, ela perderia no campo do nmero puro todo
seu significado. Nenhum nmero - os inteiros e, muito menos, os fracionrios e irracionais -
alguma coisa diferente daquilo que dito em certas definies conceituais. A hiptese de que para
toda separao completa ou corte do sistema dos nmeros racionais existe um, e somente

26DEDEKIND, Stetigkeit und irrationale Zahlen, ed 2, Braunschweig, 1892, p.9 ff.


27Ibid., p.12.
171
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

um, nmero correspondente ao corte no implica dessa forma nenhum significado paralelo. O
que aqui dado com absoluta clareza a determinao da prpria separao. Quando o sistema
de nmeros racionais separado em duas classes A e B por uma espcie de regra conceitual,
podemos decidir com absoluta certeza se algum de seus elementos pertence a uma classe ou a
outra e, alm disso, mostrar que essa alternativa no deixa de considerar membro algum, i.e., que
a separao resultante completa e exaustiva. O corte possui como tal uma realidade lgica
indubitvel, que no precisa ser garantida por nenhum postulado. Alm disso, a ordem pela qual
os diferentes cortes seguem um ao outro no arbitrria, mas precisamente prescrita pelos
seus conceitos originais. Dados dois cortes (A, B) e (A',B'), chamamos o primeiro maior que o
segundo quando um elemento a pode ser indicado pertencente classe A da primeira partio e
classe B' da segunda. Existe assim um critrio fixo e universal para a determinao da ordem
serial dos cortes individuais. Por isso as formas assim produzidas tm o carter de nmero
puro. Pois o nmero, em seu significado original, no possui carter especfico algum, mas
simplesmente a expresso mais abrangente da forma ordinal e serial em geral. Toda vez que tal
forma ocorrer, o conceito de nmero encontra aplicao. Os cortes so nmeros porque eles
formam em si mesmos uma variedade estritamente ordenada, na qual a posio relativa dos
elementos determinada de acordo com uma regra conceitual.

O nmero como expresso da forma ordinal e serial

No se trata, portanto, na criao dos novos elementos irracionais, de supor ou assumir


de alguma forma o ser de outros elementos entre os membros conhecidos do sistema dos
nmeros racionais. Essa forma de colocar a questo , na realidade, em si prpria sem sentido e
ininteligvel. Trata-se, na realidade, de que acima da ordem da totalidade originalmente dado,
surge um sistema escalonado e mais complexo de determinaes serialmente arranjadas. Esse
sistema inclui a totalidade anterior e a toma para si prprio, pois a marca caracterstica de
sucesso pertencente aos cortes vale diretamente para os prprios nmeros racionais, que
podem ser entendidos e representados como cortes. Portanto, encontra-se aqui um ponto de
vista inclusivo que determina a posio relativa de todos os membros tanto do antigo como do
novo sistema. V-se assim como a ideia bsica da teoria ordinal do nmero mantida. preciso
ento abandonar a ideia de que o nmero surge pela adio sucessiva de unidades e que sua
verdadeira natureza conceitual baseada nessa operao. Tal processo contm, na verdade, um
princpio que resulta em totalidades ordenadas, mas de forma alguma o nico princpio de
172
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

produo de tais totalidades. A introduo dos irracionais , em ltima anlise, nada mais do que
a expresso geral desse pensamento. Ele d ao nmero toda a liberdade e escopo de um mtodo
para a produo de ordem em geral, em virtude do qual membros podem ser posicionados e
desenvolvidos em sequncia ordenada, sem limitar-se a nenhuma relao especial. O ser
conceitual do nmero individual surge assim puro e claramente em sua prpria funo conceitual,
pois se na concepo usual que inicialmente suporta a deduo de Dedekind, um certo nmero
previamente dado produz ao mesmo tempo um corte definido no sistema, o processo ao
final revertido, pois essa produo vem a ser a condio necessria e suficiente para podermos
falar de existncia de nmero. O elemento no pode ser separado de complexo relacional, pois
ele no significa nada mais que este complexo e ao mesmo tempo a sua expresso em forma
concentrada.

O problema dos nmeros transfinitos

Um novo rumo toma a ideia geral que fundamenta a formao de nmeros quando
se passado domnio dos nmeros finitos para aquele dos nmeros transfinitos. Aqui acumulam-se as
efetivas dificuldades filosficas, pois o conceito de infinito, que aqui o centro da discusso, tem
sido abordado mais no domnio da metafsica que no da matemtica. O prprio Cantor, quando
no curso de suas fundamentais investigaes criou o sistema de nmeros transfinitos, evocou
todas as oposies escolsticas entre infinito potencial e infinito atual, entre infinito e
indefinido.28Com isso somos forados finalmente a sair da questo do puro significado
epistmico dos conceitos para o problema do ser absoluto e suas propriedades. O conceito de
infinito parece designar as fronteiras da lgica e o ponto limite no qual ela toca outra regio alm
de sua esfera.

O conceito de potncia

Todavia, os problemas que conduzem a criao dos nmeros transfinitos surgem


com absoluta necessidade de pressupostos puramente matemticos. Eles surgem na medida em
que ns generalizamos o conceito fundamental de equivalncia, que desde o incio era o
critrio de igualdade numrica de conjuntos finitos, para torn-lo aplicvel a conjuntos infinitos.

28Cf. particularmente CANTOR, Zur Lehre vom Transfiniten, Gesammelte Abhandl. aus der Zeitschr.
f. Philosophie u. philos. Kritik. Halle a. S. 1890.
173
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

Duas totalidades, - independente se o nmero de seus elementos limitado ou ilimitado- so


equivalentes ou tem a mesma potncia, quando seus membros podem ser mutuamente
associados um a um. Evidentemente que a aplicao desse critrio no pode ser efetivamente
conduzida no caso de grupos infinitos atravs da coordenao dos elementos individualmente um
com os outros, mas pressupe que uma regra geral pode ser dada pela qual uma correlao
completa estabelecida e que pode ser de pronto verificada. Assim temos certeza que a cada
nmero par 2n corresponde um nmero mpar 2n + 1 e que, se n percorre todos os nmeros
inteiros, os dois grupos de nmeros pares e mpares so exaustivamente relacionados um a um. O
conceito de potncia, que dessa forma introduzido, ganha somente um interesse
especificamente matemtico quando se mostrar que ele em si mesmo seja suscetvel de
diferenciao e gradao. Designando todas as totalidades cujos elementos podem corresponder-se
um a um com a srie de nmeros naturais como pertencentes primeira potncia, ento surge a
questo se a totalidade das possveis variedades neles esgota-se ou se existem conjuntos com
outra posio em relao a propriedade especificada. Este ltimo caso o que de fato ocorre,
como pode ser provado. Enquanto a passagem dos nmeros inteiros positivos para a totalidade
dos nmeros racionais no produz mudana alguma na potncia, e o mesmo sucede quando
passamos do sistema de nmeros racionais para o sistema dos nmeros algbricos, o sistema
assume um novo carter quando acrescentamos a totalidade dos nmeros transcendentes e ento
o completamos para a variedade dos nmeros reais. Essa variedade representa assim um novo
nvel acima do nvel anterior, pois, por um lado, ela inclui totalidades de primeira potncia e, por
outro, vai alm deles, pois quando tentamos corresponder seus elementos com aqueles da srie
de nmeros naturais permanece sempre uma infinidade de elementos no associados.29 A
introduo dos nmeros transfinitos 1 e 0 meramente para fixar essa caracterstica diferena
bsica. O novo nmero significa aqui nada mais que um novo ponto de vista, de acordo com o qual
totalidades infinitas podem ser ordenadas. Um grupo mais complexo de caractersticas distintivas
resulta quando colocamos ao lado dos nmeros cardinais transfinitos, que se limitam a fornecer a
potncia de grupos infinitos, o sistema dos nmeros ordinais correspondentes, que surge quando
no s comparamos os conjuntos em questo em relao ao nmero de seus elementos, mas
tambm considerando a posio dos membros da totalidade. Atribumos aos conjuntos bem-

29Parauma exposio mais detalhada, cf meu ensaio Kant und die moderne Mathematik (Kant-
Studien XII, 21 ff.); para os detalhes consultar a bibliografia do ensaio, bem como a apresentao de
Cantor no Mathemat. Annalen.
174
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

ordenados30M e N o mesmo nmero ordinal ou o mesmo tipo ordinal, quando os elementos


de cada um deles podem ser mutuamente associados um a um, mas mantendo-se em ambos a
sequncia original. Assim, se E e F so elementos de M, e El e F1 os elementos correspondentes em
N, a posio relativa de E eF na sucesso do primeiro conjunto concorda com a posio relativa
de El e F1 na sucesso do segundo. Em outras palavras, se E precede F no primeiro conjunto,
ento El deve preceder F1 no segundo.31 Portanto, enquanto na comparao das potncias de
duas variedades pode ser utilizado qualquer arranjo de seus elementos, no estabelecimento do seu
tipo ordinal estamos limitados a um certo tipo de sucesso prescrita. Se designarmos todas as
sries que podem ser associadas sob essa condio com a sequncia de nmeros naturais com o
tipo ordinal , ento podemos, adicionando a tais sries na sua totalidade 1,2 ou 3 membros,
formar sries dos tipos +1, + 2, + 3. Alm disso, unindo dois ou mais sistemas do tipo ,
podemos criar o tipo ordinal2, 3, ..., n,e pela repetida aplicao deste procedimento
produzimos sries dos tipos , ,...,n, ou mesmo dos tipos,, etc. E eles no so de forma
alguma introduzidos como meros smbolos arbitrrios, mas so sinais de determinaes e
diferenciaes conceituais efetivamente dadas e que podem ser claramente apontadas no domnio
das variedades infinitas. A forma da enumerao dessa forma apenas uma expresso da necessria
diferenciao lgica, que somente dessa forma ganha uma interpretao clara e adequada.

A produo de nmeros transfinitos ordinais

Os problemas metafsicos do infinito atual desaparecem completamente nesse tipo


de deduo. Pois trata-se, como tem sido corretamente enfatizado 32, nas novas formas numricas
no tanto de nmeros infinitos, mas de nmeros de alguma coisa infinita; isto , de
expresses matemticas que criamos com o objetivo de conceber e fixar certas caractersticas
distintivas de totalidades infinitas. Os conflitos que resultam da juno dos conceitos de
infinito e de realidade esto totalmente afastados, pois nos movemos inteiramente no
domnio de construes ideais puras. Esses conflitos podem ser apresentados em forma dupla,
dependendo deles serem considerados do lado do objeto ou do lado do sujeito, do lado do
mundo ou do lado da atividade do Eu cognoscente. Do primeiro ponto de vista, a
impossibilidade do infinito atual mostrada pelo fato de que os objetos, aos quais dirigido o ato

30Para a definio de grupos bem-ordenados, cf CANTOR, Grundlagen einer allgemeineren


Mannigfaltigkeitslehre, 2.
31CANTOR,op. cit, 2, p.5.
32 S. KERRY, System einer Theorie der Grenzbegriffe, Leipzig e Wien, 1890, p.68. f.
175
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

de enumerao e que so pressupostos, como parece ser o caso, ocorrerem apenas em nmeros
finitos. No importa a amplitude e o escopo que atribumos ao nmero abstrato, o contado
sempre pensado como includo entre certos limites, pois eles so acessveis para ns
exclusivamente pela experincia, que progride de caso para caso. Olhando do outro ponto de
vista, a prpria sntese psicolgica do ato de enumerao que exclui o infinito atual, pois nenhum
entendimento finito pode realmente apresentar um nmero ilimitado de unidades e adicion-las
sucessivamente uma a outra. Mas ambas as objees perdem sua fora diante do transfinito
quando o limitamos ao seu significado estritamente matemtico. A matria da enumerao a
nossa disposio ilimitada, pois ela no de natureza emprica, mas sim lgico-conceitual. No
so afirmaes acerca de coisas, mas juzos a respeito de nmeros e de conceitos numricos que so
combinadas. Dessa forma o material pressuposto no deve ser pensado como dado
externamente, mas nascido de construes livres. To pouco no se exige processos psicolgicos
de atos de representao particulares isolados e sua subsequente composio. O conceito do
transfinito serve bem mais ao pensamento oposto: representa a independncia do puro contedo
lgico de nmero do ato da enumerao, no sentido ordinrio da palavra. J na fundamentao
dos nmeros irracionais foi inevitvel a considerao de classes infinitas de nmeros, as quais
puderam ser representadas e apreciadas na totalidade de seus elementos exclusivamente atravs
de uma regra conceitual geral, e no por uma contagem elemento por elemento. A nova categoria
de nmeros d a essa distino fundamental a importncia mais ampla possvel. Cantor distingue
expressamente a funo lgica que fundamenta o transfinito do processo de construo
sucessiva e sntese de unidades. O nmero no o resultado da juno indefinidamente
repetida de elementos particulares, mas meramente a expresso do fato de que a totalidade
ilimitada de nmeros naturais, na qual no existe o ltimo termo, dado em sua sucesso
natural de acordo com a lei. at permitido pensar o nmero recm-criado como o limite
para o qual tendem os nmeros 1, 2, 3,..., v,..., se com isto nada mais entendido que o fato de
que o primeiro nmero inteiro que segue todos os nmeros v, isto , maior que qualquer
nmero v.... A funo lgica que nos propicia , obviamente, diferente do primeiro princpio de
gerao. Eu a chamo o segundo princpio de gerao dos nmeros reais inteiros e a defino de
forma mais precisa: dada qualquer sucesso definida de nmeros reais inteiros, entre os quais no
existe um que seja o maior, ento de acordo com o segundo princpio de gerao um novo

176
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

nmero criado que considerado como o limite desses nmeros, isto , como o primeiro
nmero maior que cada um deles33.

Os dois princpios de gerao de nmero (Cantor) \\\

Fundamentalmente esse segundo princpio de gerao somente possvel e


frutfero porque ele no representa nenhum procedimento totalmente novo, mas apenas preserva
uma ideia que imprescindvel em qualquer fundamentao lgica de nmero. Consideraes das
propriedades de coisas externas, tais como aquelas de contedos psquicos particulares e atos de
representao, revelaram-se incapazes no somente de construir a srie de nmeros naturais
em sua legtima ordem, mas tambm de torn-la mesmo inteligvel. J aqui no era o simples
acrscimo de uma unidade a outra que dominava a formao de conceitos, mas mostrou-se que
os elementos individuais da srie de nmeros, e com isso sua extenso total, s podiam ser
deduzidos pela considerao de uma e da mesma relao geradora, concebida como idntica em seu
contedo e mantida constante em todas as diversas aplicaes particulares. essa mesma ideia que
agora ganha uma formulao mais apurada. Assim como a multiplicidade infinita dos nmeros
naturais ao final estabelecida atravs de um conceito, isto , de acordo com um princpio
universal, tambm seu contedo pode ser novamente englobado num nico conceito. Para o
pensamento matemtico, a relao fundamental que inclui em si todos os elementos que dela
derivam torna-se, ela prpria, um novo elemento, uma espcie de unidade fundamental, da qual
uma nova forma de construo de nmero se inicia. A totalidade infinita dos nmeros naturais,
na medida em que ela dada por uma lei, isto , na medida em que ela considerada e tratada
como uma unidade torna-se o ponto de partida para uma nova construo. Da primeira ordem
surgem outras ordens cada vez mais complexas que usam a primeira ordem como material bsico
e a fundamenta. Uma vez mais vemos a liberao do conceito de nmero do conceito de
multiplicidade coletiva. Pretender entender e representar o nmero como um agregado de
unidades individuais seria sem sentido, e negaria seu prprio conceito. Por outro lado, garante-se
o ponto de vista ordinal, pois no h contradio no conceito que introduz um novo elemento
que segue todos os demais da srie de nmeros naturais, desde que se garanta que essa totalidade
seja ignorada e logicamente exaurida em um conceito simples.

33 CANTOR, Grundlagen, 11, p.33.


177
Perspectiva Filosfica, Vol. 2, n 40, 2013
ISSN: 23579986

Tambm o problema da infinitude do tempo deve de sada ficar totalmente excludo.


Pois o sentido de sucesso em uma srie independente da sucesso temporal concreta. Como
trs no segue o dois no sentido de uma sucesso de eventos, mas que a relao indica
meramente a circunstncia lgica de que a definio de trs pressupe a de dois, vale o mesmo
num sentido mais estrito ainda para a relao entre o transfinito e os nmeros finitos. Que o
nmero para ser colocado depois de todos os nmeros finitos da srie de elementos
naturais, significa ao final apenas esse mesmo tipo de dependncia conceitual na sequncia de
fundamentao. Os juzos que envolvem o transfinito revelam-se como afirmaes complexas
que podem ser reduzidas por anlise s determinaes relacionais entre totalidades infinitas de
nmeros naturais. Nesse sentido prevalece uma permanente continuidade conceitual entre os
dois domnios. As novas construes so nmeros na medida em que elas possuem nelas
mesmas uma forma serial prescrita, e, portanto, obedecem a certas leis de conexes aritmticas, que
so anlogas aquelas dos nmeros finitos, ainda que no concordem com elas em todos os
pontos.34
Assim as novas formas de nmeros negativo, irracional e transfinito no so
introduzidas no sistema de nmeros a partir do exterior, mas cresce a partir do desdobramento
contnuo da funo lgica fundamental que foi efetiva desde seu incio. Uma nova direo bsica
aparece, contudo, assim que ns avanamos do sistema completo e fechado dos nmeros reais
para os sistemas de nmeros complexos. Trata-se agora, segundo a metafsica do imaginrio,
que Gauss fundou e desenvolveu, no mais do estabelecimento da lei mais geral da ordem de
uma srie, mas antes com a unificao da uma pluralidade de sries, as quais, cada uma, dada
por uma relao geradora definida. Com esta transio para uma variedade multidimensional,
surgem problemas lgicos que encontram suas formulaes completas no campo da geometria
geral, alm dos limites da doutrina pura de nmeros.

34Para a aritmtica do transfinito, cf. particularmente RUSSELL, op. cit., 286, 294.
178