Professional Documents
Culture Documents
2, n 40, 2013
ISSN: 23579986
O conceito de nmero
Ernst Cassirer1
Resumo
Abstract
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
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
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
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.
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
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.
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.
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
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.
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.
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
III
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.
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.
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.
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,
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.
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
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?
-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.
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
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
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.
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.
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
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
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
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.
34Para a aritmtica do transfinito, cf. particularmente RUSSELL, op. cit., 286, 294.
178