RoBERTO ToRRETTI

(Ro Piedras, :Puerto Rico)

LA FILOSOFA DE LA ARITMTICA DE HUSSERL

La aritmetca es a juicio de la mayora de los

pensadores una ciencia apririca; esto significa que

ella no empieza con hechos singulares, para elevarse
por induccin a generalidades probables, sino que
comienza directamente con generalidades ciertas, y
aun apodcicamente ciertas, e inmediatamente evidentes, que' obtiene por la m era actualizacin de ciertos ' concep_tqs fundamentales ', y que, por la va de
la evidencia .y certeza m ediatas, proporcionan todas
las dems proposiciones de la ciencia. Cules sn
entonces, si esto es as, las certezas inmediatamente
evidentes, que. estn en la base de la aritmtica,
y cules '- lo{ :conceptos, de los que proceden? >> .
EnMUN D

HussERL (1)

l.
En 1891, Edmund Husserl publica el tomo primero de una
Filosofa de la Aritmtica, subtitulada Investigaciones lgicas y
psicolgicas >> (2). Husserl tiene a la sazn 32 aos; ha estudiado matemticas en Berln, donde lleg a ser ayudante de W eierstrass, y
filosofa en Viena, con Franz Brentano; en 1887 se haba habilitado
en Halle, con Stumpf, presentando un trabajo Sobre el concepto
de nmero (3), que es una primera versin de los cuatro captulos
iniciales de la obra de 1891.

En los ltimos quince aos del siglo XIX, consumada por Weier. strass, Cantor y Dedekind la llamada << aritmetizacin de] anlisis ,
vale decir, la reduccin de la matemtica de las magnitudes a la
matemtica de los nmeros naturales, el problema de los fundamentos
de esta ltima recibe una atencin creciente. Cuando Husserl publica
su libro ya han aparecido las obras clsicas de Frege, Fundamentos
de la aritmtica {1884), y Dedekind, Qu son y qu significan los
nmeros? (1888), as como los influyentes ensayos de Helmholtz,
Contar y medir {1887) y Kronecker, Sobre el concepto de nmero (1887) ( 4). Tambin acaba de publicarse en Turn la axiomatizacin de la aritmtica de Peano {1889) (5). El libro de Husserl
se distingue de estos trabajos, en cuanto aplica a ese tema , tan
illlportante para los matemticos entre quienes se ha formado, los

184

ROBERTO TORRETTI

mtodos y puntos de vista apr.e ndidos d e los fil sofos, que frecuenta
en ]a ltima etapa de su s estudios. Mientras los autores arriba citados
procuran obtener una fundamentacin de la aritmtica por puro
anlisis y .reconstruccin de sus conceptos bsicos, Husserl intenta
en su libro evidenciar su s races en el nico suelo en que, segn la
tradicin de la filo sofa moderna, poda crecer la verdad: la mente
humana .
La Filosofa d e la aritmtica fue comentada favorablemente en
las re vistas profesionales ( 6). Pero Gottlob Frege ~ criticado vigorosamente en el libro de Husserl - le dedica una resea extensa,
p en etrante y demoledora (7). Frege concluye : En la lectura de
esta obra he podido medir la extensin de los estragos que ha provocado la irrupcin de la p sicologa en la lgica , y me he propuesto
aqu como tarea poner bien de manifiesto el dao. Los errores que
he credo que de ba mostrar no han de a chacarse tanto .al .autor,
como a una muy difundida enfermedad filo sfica (KS , 192).
Husserl no escribi nunca el anunciado segndo tomo de la
Filosofa de la aritmtica. Su prxima publicacin importante son
las clebres Investigaciones lgicas, cuyo tomo primero aparece en
1900. Como es sabido, ese tomo se consagra casi e ntero a una crtica
fulminante d~ lo que Husserl all llama el << p si cologismo , vale
decir, esa << irrupcin de la p sicologa en la lgica )) que censuraba
Frege (8). En el prlogo del nuevo libro se hace expresa referencia
al libro anterior: K Haba partido de la conviccin dominante, segn
la cual, as como la lgica en general, tambin -la lgica de las ciencias
deductivas deba esp erar de la p sicologa su esclarecimiento filo sfico.
En conformidad con ello, las investigaciones p sicolgicas ocupan un
espacio muy amplio en el tomo primero (nico publicado) de mi
Filosofa de la aritmtica. E sta fundamenta ~in p sicolgica no p~do
satisfacerme nunca en ciertos respectos. C~ullndo se trataba de la
cuestin d el origen d e _las representaciones matemticas o de la
elaboracin, de h echo p sicolgicamente determinada, de los mtodos
prcticos, el restdtado d el anlisis psicolgico m e pareca claro e instruc tivo . Pero e n cuanto ocurra un trnsito de la conexin p sicolgica del pensar a la unidad lgica del cont~niao pensado... no
se lograba e stablecer una continuidad y claridad adecuadas. Tanto
m s me inquietaba por ello tambin la bsica duda , acerca de cmo
poda conciliarse en gen eral la objetividad de la matemtica y de
toda ciencia con una fundamentacin p sicolgica de lo lgico. De
esta manera empe z a vacilar todo mi mtodo '-- sostenido por las
convicciones de la lgica dominante - de llevar a cabo mediante
anlisis p sicolgi cos el esclarecimiento lgi'co de la ciencia dada, y
m e vi impelido cada vez ms a reflexiones crticas generales acrca
de la esencia de la lgica y sobre todo acerca d e la relacin entre
la subjetividad d el conocer y la objetividad d el contenido del cono

.;

LA FILOSOFA DE LA ARITMETICA DE HUSSERL

ra

185

cimiento. Como la lgica me dejaba en la estacada cada vez que

esperaba de ella aclaraciones concernientes a las cuestiones precisas
que le tena que plantear, fui forzado al fin a dejar enteramente rr
un lado mis investigaciones filo sfico-matemticas, hasta que lograra
alcanzar una claridad segura en las cuestiones fundamentales de la
teora del conocimiento y en la comprensin crtica de la l gica como
ciencia)) (LU, 1, vii ; yo subrayo).
E ste pasaje y l'a obra en cuyo prefacio figura han solido entenderse como pblica retractacin de las tesis de la Filosofa de la
aritmtica, a pesar de que el nico tomo publicado de ese libro se
ocupa, de hecho , casi exclusivamente c on esas cuestiones relativas
al origen de las representaciones y a la elaboracin de l os m todos
de la aritmtica, que Husserl todava en 1900 declara que pueden
ser objeto de un e studio p sicolgico claro e instructivo. Por otra
parte, es cierto que la obra , de 1891 soslaya im~xcu s ablemente el
estudio y aun el planteamiento de la relacin entre la subj etividad
del conocer y la objetividad de su contenido, que Husserl situ ms
tarde en el centro _de sus preocupaciones. Sea de ello lo que fuere,
el hecho es que, no obstante la formidable influencia _de Husserl
sobre la filosofa alemana y no alemana de este siglo , su obra primeriza, condenada al parecer por el autor antes de completarla, cae
casi en el olvido: no se la imprime ms y rara vez se la cita. Slo en
1970 ha vuelto a aparecer, acompaada de extensos textos suplementarios, en el tomo XII de la coleccin de Husserliana. (vase nota 1).
El editor, Lothar Eley, sugiere que ella y los textos que ahora la
acompaan son importantes para entender << -el p eculiar intento de
Husserl )) para resolver el conflicto entre la mathesis universalis
actualmente infinita y sin sujeto y la matemtica -e fectiva ( effektive ),
fundada en actos subjetivos, dota~os de contenido ... )) (P A, xv).
Puesto que ese conflicto, desde la aparente bancarrota de las soluciones nominalistas, arde con renovado vigor, no pare<'-e inoportuno
presentar aqu una breve exposicin crtica de las doctrinas de la
Filosofa de la aritmtica de Husserl.

11.
La obra est edificada sobre el distingo -entre dos modos como
el hombre puede representarse un contenido de conciencia o una
nocin: la representacin .autntica o propia y la representacin
simblica o impropia. Husserl dice haber tomado el distingo de
Brentano, .aunque ha modificado la definicin de ste (P A, 193 n. ).
Los conceptos y contenidos en general -- escribe Husserl en 1890 pueden sernos dados de dos maneras : primero, de modo propio

186

ROBERTO TORRETTI

( eigentliche ), a saber, como aquello que son; en segundo lugar, de

modo impropio (uneigentliche) o simblico, a saber, por la mediacin
de signos, que a su vez son representados de un modo propio. As,
por ejemplo, toda representacin intuitiva en la sen sacin o fantasa
es una representacin propia, en tanto en cuanto no sirve como signo
de otra; si sirve como signo d e otra es, con respecto a sta, una
representacin simblica ll (P A, 340). En el texto de la obra reitera
y precisa estas ideas : Si un contenido no nos es dado directamente
como aquello que es, sino slo indirectamente mediante signos que
lo caracterizan unvocamente, tenemos de l una representacin simblica, en vez de una representacin propia ll (P A, 193). Husserl
ofrece ejemplos: Tenemos ... una representacin propia de la apa-.
riencia externa de una casa cuando efectivamente la contemplamos;
una representacin simblica, cuando alguien nos da la caracterizacin indirecta : la casa de la esquina tal, de tal y tal calle. . .. Una
determinada especie de rojo es representada de un modo propio
cuando la encontramos como aspecto abstracto de una intuicin.
Es representada impropiamente mediante la representacin simblica: ese color al que corresponden tantos billones de oscilaciones .
del ter por ,s egundo ll (P A, 193 sq. ). Husserl agrega una observacin
importante: << Sealo adems que la representacin propia y la representacin impropia correspondiente se hallan en la relacin de equivalencia lgica. Dos conceptos son lgicamente equivalentes cuando
cada objeto de uno de ellos es objeto del otro, y viceversa ll (PA, 194).
Planteado as este distingo, parece natural que ]a primera parte
del libro se destine al estudio de las representaciones propias de los
conceptos fundamentales de la aritmtica; de ellas, en efecto, parecera depender el sentido y alcance de esta disciplina. Eu cuanto ese
estudio se ha llevado a cabo resuha e.v idente, con todo, que nuestra
capacidad p.ara formar lo que Husserl considera como representaciones propias de esos conceptos es sumamente limitada y enteramente insuficiente para atender .a las necesidades de la ciencia aritmtica, segn efectivamente se practica. E sta ciencia se vale, segn
l, casi exclusivamente de representaciones simblicas. A1 estudio de
tales representaciones se dedica la segunda parte de la obra.
Una consecuencia inmediata de estas consideraciones es la siguiente: las representaciones simblicas no slo sustituyen a las representaciones propias en casos en que stas son, en principio, posibles;
pero resulta ms cmodo o econmico evitarlas, sino tambin en
casos en que, dados los lmites de nuestras aptitud~s mentales, no
sera posible formarnos una representacin propia de un cierto contenido o concepto. La representacin simblica viene a ser, en virtud de esto, un vehculo para trascender las limitaciones de la mente
humana, valindonos del cual podemos pensar en objetos que no
podemos representarnos de un modo propio, como aquello que

LA FILOSOFA DE LA ARITMTICA DE HUSSERL

187

son )). En un texto pstumo de 1890 sobre << La lgica de ]os signos ))
Husserl habla de << una segunda clase de representaciones simblicas )) que << no sirven meramente a la comodidad de l pensamiento ,
y no son signos o abreviaturas de las representaciones propias originales, fciles de reproducir en cualquier momento )). Los smbolos
aqu se refieren ms bien (( a cosas cuya representacin propia no"
est impedida, sea temporal, sea duraderamente )) (PA, 354). Husserl
opina, sin embargo, que la existencia de este gnero d e representaciones simblicas no envuelve principios nuevos, diferentes de los
que explican la formacin de representaciones simblicas de conceptos o contenidos que admiten una representacin propia o directa.
En todo caso, aquellas representaciones simblicas que han sido
derivadas de las correspondientes r epresentaciones propias tienen una
prioridad p sicolgica respecto de las que no han surgido de este
modo (PA, 356).
Parecera que la posibilidad y alcance de , las representaciones
simblicas de la << segunda clase )), esto es, de aquellas no derivadas
de una correspondiente representacin propia, constituye una cuestin
filosfica importante y debatible, que Husserl no debi despachar
con tanta ligereza. Con todo, el problema verdaderamente grave que
su scitan, e n el marco de la Filosofa de la aritmtica, las relaciones
entre representaciones propias y representaciones simblicas no es
ste, sino otro ms especfico. Aun admitiendo sin ms discu sin
que podemos formar representaciones simblicas de conceptos y contenidos de los que no tenemos una r epresentacin propia y as tras cender nuestras limitaciones, cabe cuestionar esta posibilidad e n ciertos casos bien determinados, en que ]a naturaleza misma del contenido o concepto representado envuelve o demanda operaciones mentales que entran en la constitucin de
representacin propia.
Qu sentido puede tener la representacin simblica de un contenido o concepto, si, por un lado, la,s operaciones que entran en
la formacin de su representacin propia son parte integrante del
mismo, y, por otro, es patente que tales operaciones no pueden
llevarse a cabo? Veremos que, tal como Husserl concibe las nocwnes
bsicas de la aritmtica, no puede evitar esta paradoja.

su

III.
La investigacin de las bases conceptuales de la aritmetiCa, que
ocupa la primera parte del libro, se conduce orientada por prescripciones m etodolgicas que anuncian ya las enseanzas posteriores de
Husserl. << La dificultad - escribe - estriba en los fenmenos (in
den Phiinomenen), su correcta descripcin, anlisis e interpretacin;
slo con vistas a ellos puede obtenerse una inteleccin (Einsicht) de

188

'

ROBERTO TORRETTl

la esencia del concepto de nmero >> (PA, 129; cf. 22, 61, 91, 119).
La referencia a los fenmenos (PA, 91) se entiende, segn la
tradicin de la filosofa moderna, como una apelacin a la evidencia
de la experiencia de la conciencia (Hegel), que Husser1 1 en e st e
escrito primerizo, llama todava experiencia interna >> (PA, 42, 58,
66, 73, 74; << percepcin interna en PA, 63 , 150). No hay a somos
an de los distingos que har ms tarde entre varios niveles de
esta evidencia. Parece obvio, por el tenor general de su exposicin
y por la ndole de la tarea que se propone, que su s investigaciones
en esta obra no conciernen a hechos y relaciones empricos y contin~
gentes, sino a conexiones esenciales (de esas que, segn la doctrina
posterior, se tornan accesibles y patentes merced a la reduccin
eidtica). Con todo, la ausencia de toda mencin expresa d ~t estos
distingos se presta para dudas y malentendidos.
La determinacin de la representacin propia de] concepto de :
nmero presupone, .segn Husserl, una investigacin de los conceptos
de pluralidad y unidad, la cual reposa a su vez en la consideracin
del concepto de conjunto (Menge o lnbegriff) (9). En efecto, los
fenmenos concretos de que parte la abstraccin que conduce al
concepto propio de pluralidad y, por esta va, a los conceptos de
los nmeros, son, segn l, conjuntos de objetos determinados >>
(P A, 16). La formacin de tales conjuntos no est sujeta a ningn
gnero de restricciones en cuanto a la ndole de los objetos agrupados
en ellos. Todo objeto de una representacin, sea fsico o psquico,
abstracto o concreto, sea dado por la sen sacin o por la fantasa,
puede ser unido en un conjunto con cualquier otro y con cuntos
se quiera, y de esta suerte . tambin puede ser contado; por ejemplo,
ciertos rboles, el sol, la luna, la Tierra y Marte; un sentimiento,
un ngel, la luna e Italia, etc. En tales ejemplos podem:os siempre
hablar de un conjunto, de una pluralidad y de un nmero determinado. La naturaleza de los contenidos particulares no interesa en
modo alguno (PA, 16) (10). Pero si es a s, si la ndole peculiar
de cada elemento del conjunto es indiferente para la determinacin
d e la nocin de conjunto, tiene que entrar, en la representacin
propia de un conjunto, algo ms que sus elementos, algo que
puede ser notado y que est n ecesariamente presente en todos los
casos en que hablamos de un conjunto y de una pluralidad, a saber ,
el enlace de los elementos singulares para formar el todo>> (PA, 18).
Husserl observa que hay diversas cla ses_ de todos, unidos por distintos
tipos de enlace. Para designar el enlace caracterstico de los conjuntos elige la expresin enlace colectivo (kollektive Verbindung
PA, 20).
Despus de sentar estas bases para su investigacin , Husserl
emprende una extensa polmica contra varias doctrinas profesadas
en su tiempo acerca de la naturaleza propia de las representaciones

LA FILOSOFA DE LA ARITMTICA DE HUSSERL

189

de conjuntos y el origen del concepto de nmero. La ms plausible

y cientfica de todas )) (P A, 48) es, segn l, la doctrina d e Jevons,
Sigwart y Schuppe, segn la cual obtenemos el concepto general de
pluralidad a partir de un conjunto concreto cualquiera , en virtud
de qu e referimos cada elemento a cada uno de los otros, distinguindolo de ellos, pero, abstrayendo totalmente de la constitucin
peculiar de los elementos concretos dados, consideramos a cada uno
simplemente como algo id ntico consigo mismo. << De este moilo el
concepto de pluralidad surge , en cierto modo , como la forma vaca
de la diversidad )) (PA, 49) (11). Segn Husserl, estos autores se
equivocan al suponer que las diferencias entre los elementos de una
pluralidad tienen que ser notadas como tales para que tengamos
efectivamente la representacin de una pluralidad y no la de una
unidad no analizada. E s verdad que si los elementos no fuesen distintos no . habra pluralidad; pero no es verdad que cada elemento
.se torne particular, y sea notado como tal, slo en virtud d e que
se capta su diferencia respecto de otros elementos; ant es bien , toda
representacin de una diferencia presupone la conciencia de COilte. nidos notados por s mismos y, en este sentido, distintos . Para que
surja la representacin concreta de un conjunto se requiere solamente
que cada contenido incluido en l sea un contenido notado por s
mismo, discernido; pero no hay una necesidad incondicional de
atender a las diferencias entre los contenidos, aun cuando esto ocurrir a menudo )) (P A, 57).
Rechazadas la s diversas teoras que pretenden re ducir la nocin
de conjunto a la de una u otra relacin familiar, concluye Husserl
que no queda ms remedio que suponer. una especie peculiar de
relacin constitutiva del e nlace colectivo )) y hase, por ende, de
la nocin de conjunto. E sta relacin especial comparte una caracterstica importante con la relacin de diferencia. Toda relacin se
apoya sobre fundamentos (los entes relacionados) y depende en cierto
modo de ellos; cab e reemplazar unos fundamentos por otros diferentes sin alterar la naturaleza de la relacin (.as, la relacin de
subordinacin pue de subsistir entre un prroco y su obispo, o entre
un soldado y su capitn , etc.), pero la latitud con que pueden variar
los fundamentos est normalme nte sujeta a ciertas restricciones (no
puede haber subordinacin entre una silla y un lpiz o entre la raz
cuadrada de dos y el Trpico de Capricornio). Slo la relacin de
diferencia y la relacin constitutiva del enlace colectivo se pueden
establecer entre dos entes cualesquiera, sin restriccin alguna. ce En
ambos casos la relacin no reside inmediatame nte en los fenmenos
mismos, sino que les es en cierto modo exterior )) (PA, 73). Cabe
concluir, pues, .a juicio de Husserl, que el enlace colectivo no est
dado intuitivamente con los contenidos de la representacin, sino
que subsiste (ihren B estand hat) nicamente en ciertos actos p s-

190

ROBERTO TORRETTI

quicos que abarcan los contenidos, unificndolos >> (PA, 73). Segn
l, una consideracin atenta de los fenmenos ensea que << un
conjunto surge en cuanto un inters unitario y, en y con l, una
percatacin (Bemerken) ztnitaria destacan y abarcan contenidos dife rentes (PA, 74) (12). La palabra decisiva en este pasaje es surge,
entsteht: si no hay inters y percatacin unitarios el conjunto no
surge y por ende no existe. No debe extraarnos entonces que Husserl
escriba ms adelante que el nmero debe su origen (Entstehung)
a un cierto proceso psquico (P A, 163).
La posicin doctrinal que aqu se hace valer es por una parte
ms general, por otra, ms especfica que el psicologismo que Husserl
criticar en el tomo 1 de sus Investigaciones lgicas, y no puede
decirse que la refutacin de ste baste para eliminar a aqulla .
En efecto, el vicio del psicologismo consiste en pretender que la
fundamentacin de las ciencias formales a priori, como la lgica
y las matemticas, cae dentro del campo de estudio de la psicologa
emprica, lo que es manifiestamente absurdo (o bien negamos la
aprioridad de estas ciencias, con laa consecuencias que Husserl har
ver, o bien la tesis psicologista es una paradoja insostenible). Pero
la posicin de la Filosofa de la Aritmtica podra sostenerse , introduciendo algunos refinamientos en la exposicin, como una tesis que
concierne no a hechos empricos y contingentes, de los que estudia
la psicologa, sino a conexiones esenciales - universales y necesariaR
- propias de la naturaleza de la mente . Entendida as, no cabe
llamarla una doctrina psicologista - pues el estudio de tales conexiones no ,se asignara en ningn caso a la psicologa - si.no ms
bien psiqzsta o mentalista - en cuanto sita en la llamada << mente >>
y sus pretendidos actos y procesos el origen y funrlamento
de la verdad y las conexiones de sentido que la constituyen. El
mentalismo de Husserl en esta obra, es, como insinuamos, especfico : concierne a la verdad matemtica; los conceptos bsicos de
la aritmtica - conjunto, pluralidad, nmero - se presentan como
conceptos de entidades mentales en su raz. Aunque la lgica no
se reduzca a psicologa y aunque se admita que la estructura del
conocimiento depende de algo ms que de la estructura del , alma,
esta tesis mentalista seguira afectando a la filosofa de las matemticas . Lo notable es que en la segunda parte de la obra la cosa misma
hace valer sus fueros, imponiendo pensamientos que implcitamente
echan por tierra la mezquina posicin adoptada en ]a parte primera .
Pero antes de abordar .su estudio, conviene que re sumamos brevemente la conexin expuesta por Husserl entre las representaciones
propias o efectivas de conjuntos y los conceptos de pluralidad, unidad y nmero .

191

IV.
El concepto general de pluralidad se abstrae, segn Husserl, de
las representaciones propias de conjuntos. La ndole de los elementos
de los conjuntos considerados es enteramente indiferente para este
efecto y debe prescindirse de ella en la formacin del concepto
general. E sencial, en cambio, es tener en cuenta el modo de enlace
entre esos elementos . lCmo es esto posible? Cmo se puede fijar
la atencin en el enlace y, a la vez, prescindir de la ndole de los
elementos enlazados ? Segn Husserl, la solucin de este problema
e~ fcil. Prescindir o abstraer de algo significa meramente: no
atender especialmente a ello (darauf nicht besonders m erken). El
cumplimiento del requisito de abstraer enteramente de las peculiaridades del contenido no tiene en absoluto el efecto de que desaparezcan de nuestra conciencia los contenidos y con ellos su enlace )l
(PA, 79). La abstraccin que ha de ejecutarse puede describirse
como sigue: Contenidos particulares determinados de cualquier manera estn dados en enlace colectivo; al pasar, abstrayendo, al concepto general, no atendemos a ellos como contenidos determinados
de tal o cual modo; el inters principal se concentra ms bien en
su enlace colectivo, mientras que se los conside ra y se atiende a ellos
slo como a contenidos cualesquiera, a cada uno como a algo cualquiera, uno cualquiera (irgend etwas, irgend eins) )) (PA, 79). Husserl
recuerda en seguida haber sealado que la conjuncin y (und) expresa
de un modo perfectamente claro y comprensible el enlace colectivo,
y concluye: La pluralidad en general... no es ms que: algo cualquiera y algo cualquiera y algo cualquiera etc.; o uno cualquiera y
uno cualquiera y uno cualquiera etc.; o, ms brevemente: uno y
uno y uno e tc. )) (P A, 80).
Este pasaje ha sido parodiado mordazmente por Frege, a quien
le pareca ridcula esta descripcin del proceso de abstraccin (13).
Pero aunque admitiramos que el modo como Husserl lo concibe es
viable, subsistira una grave dificultad en su presentacin de la gnesis
del concepto general de pluralidad. En efecto, dado un conjunto
concreto cualquiera, ,se podra a lo sumo, conforme .al procedimiento
de Husserl , formar la representacin abstracta de uno y uno, o la
de uno y uno y uno, o la de uno y uno y uno y uno, u otra representacin de una pluralidad finita y bien determinada, pero no la
representacin absolutamente general de pluralidad. Para formarla
no basta prescindir de la peculiaridad de los elementos del conjunto
concreto tomado como base para la abstraccin; es menester adems
trascender los lmites de ese conjunto, dando el salto que expresan ,
en el texto de Husserl, las palabras et cetera (und so weiter). Mientra s
no se aclare y fundamente la posibilidad (manifiesta) de entender lo

192

ROBERTO TORRETTI

que estas palabras significan, la explicacin que Husserl ofrece del

origen del concepto de pluralidad queda trunca.
Para Husserl mismo, con todo, la expresin etc. no connota nada
tan importante . Aunque reconoce que alude a algo esencial para
el conce pto en su acepcin amplia ll (el concepto general d e pluralidad), le parece que se trata slo de ce una cierta indeterminacin ll:
ce No es que no tenga fin la coleccin de unos que nos representa
el concepto de pluralidad; ni mucho m enos que no tenga trmino
la forma de pluralidad que alcanzamos, conforme al procedimiento
arriba descrito, partiendo de un conjunto dado determinadamente;
ms bien, lo nico que se quiere decir es que no se ha tomado
ninguna determinacin con respecto a su lmite, o bien , que el lmite
de hecho existente debe considerarse como algo que da lo mismo ll
(PA, 81). En suma, segn Husserl, el concepto de pluralidad se
forma considerando un conjunto bien delimitado d e objetos distintos,
pero haciendo caso -omiso de cules y cuntos son. Si eliminamos
esta ltima indeterminacin podemos obtener muchos conceptos diferentes : el concepto de pluralidad se descompone en una variedad
de con ceptos dete rminados, ntidamente distinguidos entre s, los
nmeros, uno y uno; uno y uno y uno; uno y uno y uno y uno; etc .
Estos conceptos, dice Husserl , pueden tambin obtenerse directamente, reflexionando sobr-e conjuntos concretos, sin pa sar por el
concepto general de pluralidad. Los conceptos as formados son sem e jantes entre s.
Su semejanza estriba en la i gualdad d e la s represt>ntadone s parciales que
los componen (lo s uno s o unidades) y en la sem ej anz!l elemental el e lo s acto s
p squi cos que enlazan a sta s; ella basta para delimitar a lo s conceptos d e nmeros
como un a clase bien definida de con ceptos y sirve de base para una denominacin
general. Cumple este propsito el nombre nmero (A nzahll. Nm ero es el nombre
comn d e lo s conceptos do s, tres, cuatn;, etc. >> (P A, 82) (14) .
...' -.-,.
A partir de estas conclusiones, Husserl emprende un :taque
contra la concep cin de los nmeros defenclida en su tiempo por
Frege, popularizada ms tarde por Russell. E stos autores conciben
l a igualdad numrica (o equinumerosiclad) de dos conjuntos como
sinnimo de la relacin llamada equivalencia: dos conjuntos son
equivalentes (y, por ende, segn Frege y Russell, numricamente
iguales) si puede establecerse una correspondencia biunvoca entre
su s elementos (esto es, una correspondencia que .a signa , de modo
exclusivo, a cada elemento de un conjunto un y slo un elemento
del otro). El nmero de un conjunto .sera tmtonces simplemente la clase
o concepto que reune a todos los conjuntos equivalentes con l. Par>~
Husserl, en cambio, e l nmero de un conjunto es una caracterstica
discernible en l sin n ecesidad d e estudiar su s relaciones con otros
conjuntos (15). Adn y Eva son dos no porqzw se puede ponerlos
en correspondencia biunvoca con Cstor y Plux, Hitler y Mussolini,

LA FILOSOFA DE LA ARITMTICA DE HUSSERL

del

tada
Jara
ua-

193

Estados Unidos y Rusia, las races de la ecuacin x 2 = 9, y otras

parejas familiares o desconocidas; antes bien, estas correspondencias
pueden establecerse porque Adn y Eva son dos, como tambin ]o
son los otros conjuntos mencionados. Husserl reconoce que dos conjuntos son equinumerosos si y slo si son equivalentes. Pero, segn l,
esto significa slo que los conceptos de equivalencia y de igualdad
numrica tienen la misma extensin, aunque no tienen el mismo con.
tenido (P A, 115) {16).
Citar dos pasajes ms antes de concluir esta exposicin de la
primera parte de la Filosofa de la Aritmtica. El primero nos da
una idea de los perniciosos extremos a que puede llevar lo que hemos
llamado el mentalismo. Husserl se pregunta por el origen y sentido
del concepto de algo (etwas). El concepto de algo - escribe no puede naturalmente obtenerse por ninguna comparacin de los
contenidos de todos los objetos fsicos y p squicos. Tal comparacin
sera infructuosa . El algo justamente no es un contenido parcial
abstracto. Aquello en que concuerdan todos los objetos - actuales
y posibles, reales e irreales, fsicos y p squicos, etc. - es nicamente
esto: que son contenidos de la representacin o que son representados
en nuestra conciencia por tales contenidos. El concepto de algo debe
obviamente su origen a la reflexin sobre el acto psquico de representar, como cuyo contenido se da justamente cada objeto determinado (PA, 80; yo subrayo). Husserl olvida aparentemente que e]
acto p squico de representar y \a reflexin sobre l y la p sique misma
que representa y reflexiona tambin son algo, y lo serian aunque no
pudiesen ser a su vez objetos de una representacin ulterior..
El segundo pasaje que deseo citar exhibe mejor que ninguno
la mdula ~i sma del mentalismo que criticamos en HusserL E st
plenamente justificado designar a los conceptos de algo, uno, pluralida~ y nmero, estos conce ptos mximamente generales y vacos de
co'rit~do, omo conceptos de forma o categoras. Lo que los caracteriza como tales es la circunstancia de que no son conceptos de
cont~nidos de un gnero determinado, sino ,que en eierto modo abarcan
en s todos los contenidos. Hay otros conceptos de relacin parecidos,
por ejemplo, los conceptos de diferencia e identidad. Su carcter
omnicomprensivo se explica sencillamente por cuanto son coneeptos
de atributos que surgen en ]a reflexin sobre .actos psquicos que
pueden ejercerse sobre todos los contenidos sin excepcin >> (P A,
84 s.). La segunda oracin de este pasaje ofrece una caracterizaci-n
perfectamente ortodoxa de las nociones trascendentales (llamadas .as
porque su campo de aplicacin atraviesa o trasciende los lmites de
los genera entis). Pero la ltima es sintomtica de la inspiracin
mentalista. Aunque no le .atribuyamos .a Husserl la ingenua pretensin
de edificar la ontologa sobre la ciencia psicolgica, introspectiva o
experimental, aunque la reflexin sobre los actos p squicos, de que

194

ROBERTO TORRETTI

aqu se habla , no est atada .a contingencias empn1cas y alcance la

esencia supuestamente eterna e invariable de la actividad m ental,
es claro que el pasaje trascrito subordina paradjicamente los conceptos con que se piensan las de terminaciones ms generales de todo
lo que es, al modo d e ser de un ente particular, la mente.

V.
Husserl estima que la definicin habitual de la aritm etlca como
la ciencia de los nmeros >> no es suficientemente clara (P A, 256).
Los nmeros individuales, considerados por s mismos, no dan motivo ,
~egn l, para un tratamiento cientfico; cuando se habla de caractersticas particulares, dignas de investigar se, d e nmeros determinados, se trata sie mpre de atributos que les pertenecen en virtud
de su s relaciones con otros nmeros determinados o con ciertas clases
de nmeros. Sera mejor, segn esto, la d efini cin de la aritmtica
como la cien cia de la.s relaciones numricas. En todo caso, su tarea
esencial consiste en hallar , a partir de nmeros dados, otros nmeros.
en virtud de ciertas r elaciones conocidas que subsisten entre ellos ))
(PA , 256). A ojos de Husserl se justifica , pues, la estrecha conexin
y casi la identificacin de la .aritmtica con el arte d e calcular.
e< Por clculo (Rechnen) en el sentido ms amplio cabe' e ntender todo

procedimiento para d erivar nmeros buscados de nmeros dados >)

(PA, 256) . El arte de calcular - concluye Husserl - es el art de
los conocimientos aritmticos; la aritmtica misma, su totalidad si st emticamente ordenada (P A , 257). La aritmtica a s concebida es
una empresa ciertamente ms modesta que la que buscaban fundamentar su.s contemporneos matemticos , Frege, Dedekind, Pe;'x~o.
V eremos, con todo, que aun para esta aritmtica limitada - suma
de los m todos de clculo numrico, mas no teora general que los
fundamenta la base p sicolgica presentada hasta aqu r esulta
demasiado estrecha.
Dado este concepto de la aritmtica y la lnea de p en sami ento
adoptada en la primera parte del libro, es natural que Husserl inicie
la segunda investigando el arte de calcular que puede fundarse en
las r epresentaciones propias de nmero, unidad y pluralidad , qrte
le hemos visto esclarecer. Tal arte tendra como propsito la formacin de nmeros. Pues estos pueden formarse, segn Husserl, ya
sea direct amente, por la va examinada en la primera parte y que
ah ora llama r< numeracin de pluralidades >> (Ziihlung von Vi elheiten P A, 182) {17), ya sea indirectamente, mediante operaciones d e clculo. Segn l , la.s operaciones fundamentale s, mediante las cuales,
nicame nte, podemos formar nmeros n11evos con otros dados, son
la adicin y la particin (Teilung). La adicin forma un nuevo

LA FILOSOFA DE LA . ARITMTICA DE HUSSERL

la

l,

lo

[)

195

nmero por el enlace colectivo de las unidades de dos o ms

nmeros >> (P A, 183). De las explicaciones que agrega, se desprende
que Husserl concibe a la adicin como una operacin que determina,
dados n nmeros .a 1, a 2, n, el nmero b de los elementos del
conjunto formado uniendo n conjuntos que tienen respectivamente
u 1, a 2 , Un elementos. Este concepto de adicin es admisible, siempre
que se especifique que los conjuntos unidos no poseen ningn elemento en comn (Husserl no alude a este detaHe esencial). En cuanto
a la particin, ella busca el nmero de miembros de un conjunto
obtenido partiendo otro conjunto que posea cierto nmero dado de
elementos. Hay dos formas de particin: la sustraccin y ]a divisin.
La sustraccin puede describirse as: dado pn conjunto con m elementos, si se separa de l un subconjunto con n -elementos, (.cul
es el nmero de los elementos del subconjunto restante? La divisin
as: dado un conjunto con m elementos, si se lo parte e:Q subconjuntos
iguales con n elementos cada uno, lcul es el nmero de los miembros del conjunto de estos subconjuntos? La multiplicacin, por otra
parte, no es sino una forma especial de adicin,
Las . operaciones as caracterizadas pueden ciertamente aplicar.se
a pluralidades y nmeros de los que tenemos representaciones propias. Ms an, segn Husserl, son las nicas que pueden aplicrseles.
En efecto, los conjuntos de unidades que son el contenido de las
representaciones propias de nmeros admten slo dos transformaciones
bsicas: la unin o combinacin (V erbindung) de muchos en uno,
y la particin de uno en muchos . . En consecuencia, concluye Husserl,
<< si' entendemas por operaCiones actividades efectivas con ' los nmeros mismos
(wirkliche Betiitigungen .mit und an den Zahlen selbst) , entonces no hay otras
operaciones que' la combinacin y la particin. Sin embargo - prosigue ~o que la aritmtica llama operaciones no corr~ponde en absoluto a este concepto; son simbolizaciones indirectas de .nmeros, que los caracterizan meramente
por sus relaciones, en vez de .construirlos operativamente. Si en la aritmtica
se tratase de los nmeros efectivamente existentes (die wirklichen Zahlen), la
evaluacin de estas simboliza ~iones . requerira siempre apelar a la s actividades
efectivas en que se fvndan, o sea, a la ejecucin de adiciones y particiones
efectivas. De ello no se d-e scubre en la aritmtica ni el menor rastro (PA, 190).

La razn es obvia: si la iitmtica se ocupase slo con nmer~s

de los que .. podemos formar una representacin propia, no llegara
muy lejos .. ..
<< Slo bajo circunstancias especialmente favorables podemos tener una representa c~on propia de pluralidades co ncretas de alrededor de una do~ena de elementos, esto es, captar de hecho ... a cada uno de sus miembros, como algo notado
por si mismo, junto con todos los otros, en un solo acto (PA, 192).

La ' aritmtica, segn la conocemos, tiene que prescindir, pues,

de nuestras representaciones propias, y ocuparse con nmeros representados simplicamente.
Y a hemos explicado en general el distingo entre representacin
propia y representacin simblica. Vimos tambin que Husserl ha

196

ROBERTO TORRETTI

escrito que podemos tener una representacin simblica de un objeto

aunque no podamos formar la correspondiente representacin propia.
Observamos entonces, sin embargo, que malamente tendra sentido
una tal representacin simblica, ,si el objeto a que se refiere se
constituye en virtud de los actos psquicos que forman la representacin propia del mismo. Pero, segn la doctrina elaborada por
Husserl . en la primera parte, esos objetos que llamamos conj_n ntos
- y, con ellos, esos otros que llamamos nmeros - se encuentran
pr~cisamente en este caso. La peculiar relacin de enlace colectivo,
constitutiva del conjunto, subsiste nicamente en ciertos actos
psquicos que abarcan los contenidos [enlazados], unificndolos ))
(PA, 73; citado arriba). cmo puede hablarse, entonces, de conjuntos y nmeros psquicamente inaccesibles, pero representables simblicamente? Si tomamos al pie de la letra la enseanza de Husserl,
tendremos que concluir que un conjunto- y su respectivo nmero-es intrnsecamente imposible, si su representacin propia es imposible.
Referiremos enseguida las consideraciones p sicolgicas con que
Husserl busca explicar y justificar la formacin de representaciones
simblicas de nmeros de los qu~ no tenemos una representacin
propia. Me parece claro que tal doctrina no puede desarrollarse sin
un desplazamiento tcito pero decisivo de los conceptos de conjunto,
pluralidad y nmero fundamentados en la primera parte. Sealar
los pasajes indicativos de tal desplazamiento y, a la luz ' de ello~,
intentar precisar su sentido. Como Husserl no parece darse cuenta
de que este desplazamiento ha ocurrido, cabe conjeturar que ] mismo
nunca entendi n i sostuvo literalmente las tesis mentalistas que lo
hemos visto exponer.

VI..
<< Entramos en una sala llena de gente; basta una mirada y juzgamos: un
conjunto de personas. Miramos arriba al firmamento, y con una mirada juzgamos:
muchas estrellas. Lo mismo vale para conjuntos de obj etos enteramente descono cido s. Cmo son posibles tales juicios? Para la repre sentacin efectiva de
un conjunto necesitamos, segn los anlisis anteriores, un arto psqui co que repre
sente a cada miembro individual del conjunto por s mismo y reu;lido con todo s
los otros; o sea, tantos actos psquicos como contenidos hay, ii\ia dos por un
acto psquico de segundo orden . Y slo con respecto a esta forma ' de combinacin
p squica de contenidos captados individualmente, obtienen su significado los
nombres conjunto , pluralidad, etc. Habremos acaso ejercido efertivamente, en
un solo golpe de vista, toda esta complicada actividad psquica y adems refle ..
xionado especialmente sobre ella? Pues en los ejemplos citados no ocurre splo
una raptacin del conjunto, sino tambin una subsuncin bajo el con cepto d e,
conjunto (PA, 196).

Husserl rechaza la fcil solucin consistente en suponer que la

actividad psquica requerida ocurre de un modo ultrarrpido o inconsciente. Si esa actividad ocurriera, tendramos una representaci,n

LA FILOSOFA DE LA ARITMTICA DE HUSSERL

197

propia de conjuntos como los mencionados, o de otros anlogos,

como una biblioteca, o un montn de trigo. Pero la representaein
que tenemos de ellos es, segn Husserl, solamente simblica: las
actividades psquicas requeridas se efectan slo sobre unos pocos
miembros del conjunto percibido: dos o tres per~onas cerca de la
puerta, cuatro o cinco estrellas con que topa la mirada.
En vez de llevar a cabo el proceso entero de colecdn, nos contentamos
con un mero rudimento (PA, 197),

que sirve entonces como signo del proceso completo (PA, 213).
cmo es ello posible? cmo sabemos que puede darse todava siquiera
un paso ms para proseguir el proceso de colecdn, que fuera de lo que se
ha recolectado de hecho queda an algo ms que recolectar? >> (PA, 197).

La solucin que Husserl ofrece depende de una observacin psicolgica. Todo conjunto perceptible sensorialmente, del que pueda
formarme una representacin propia, exhibe, segn l, ciertos caracteres intuibles a primera vista, it)dependientemente de que se lo
perciba y reconozca como conjunto. En cambio, los objetos que
aprehendemos y reconocemos como entes singulares, que no son
conjuntos, no presentan ta'les caracteres. Estos caracteres, que Husserl
llama momentos figurativos (figurale Momente), dependen de las relaciones mutuas entre los elementos integrantes del conjunto. Una
buena ilustracin de lo que Husserl quiere decir ofrecen, me parece,
las fichas del domin: no es necesario captar distintamente cada uno
de los puntos marcados en la cara de estas fichas para ver que son
muchos 1 e incluso para saber cuntos son: la manera familiar como
los puntos estn dis)iqestos permite reconocer cada ficha al primer
golpe de vista. Los momentos figurales son, dice Husserl, aspectos
inmediatamente intuibles del objeto percibido, comparables en esto
a las cualidades sensibles, momentos cuasicualitativos (P A, 203).
Se los observa no slo en objetos visibles, sino tambin audibles,
tangibles, etc., y tambin en las correspondientes representaciones
de la fantasa. Tambin un conjunto de actos psquicos puede exhibir,
segn Husserl, momentos figurales, consistentes en la sucesin temporal y, en, general, la configuracin temporal >> (P A, 209).
Ahora 'hi~H, estas cuasicualidades >> se perciben no solamente
en.- objetos uya articulacin interna como conjuntos de elementos
distintos podemos luego captar, .s ino tambin en objetos que nos es
imposible aprehender como conjuntos en un acto nico de represe'ntacin propia. Su presencia en estos casos es suficiente, segn
Husserl, para que reconozcamos a estos objetos como conjuntos,
nos preguntemos por el nmero de sus elementos y establezcamos
una representacin simblica de tales conjuntos y de sus nmeros.
Esta es una conclusin a la que creo que slo puede llegarse si,
' entre tanto, se ha abandonado o modificado el concepto de conjunto

198

ROBERTO TORRETTJ

que se fundament en la primera pinte del libro. Pues si, como all
se dijo, un conjunto slo surge ert cuanto una pereatacin unitaria
destaca y abarca contenidos diferentes, cuando esta percatacin es
imposible el conjunto no surge y, por consiguiente, no hay tal
conjunto, aunque haya un objeto sensible que exhibe momentos
figurales anlogos a los observables en otros objetos que s sn
conjuntos. La observacin de los momentos figurale.s puede hacer
comprensible que reconozcamos, en un caso particular, un conjunto
como t~l ;. pero no hasta para legitimar la ampliacin del concepto
de . conj~nto hasta abarcar objetos cuya unidad articulada no se
funda en la actividad p squica constitutiva de la relacin de enlace
colectivo )).
En qu consiste precisamente el desplazamiento conceptual que
tenemos que dar por supuesto para que sea 1cito hablar de conjuntos,
pluralidades y nmeros de los que no cabe tener una representacin
propia? Creo que la clave para entenderlo est en aquellos pasajes
en que Husserl habla de unl!. idealizacin de nuestra capacidad
representativa )), mediante la cual ampliamos indefinidamente el dominio de los nmeros (18). Husserl recurre a esta nocin para justificar que hablemos de nmeros que ningn objeto perceptible sensrialmente puede materializar (ni siquiera uno de esos que reconocemos como conjuntos, segn l, en virtud de sus momentos
figrales )), aunque no podamos tener una representacin propia de
ellos como tales); pero estimo que una vez que se dispone de ella,
bien puede servir para fundamentar tambi n la ampliacin de los
conceptos de rtm'ero y de conjunto m's all del lmite de las
posibilidades de una representacin propi~ . ,;
Cmo procede la idealizacin a que recurre Husserl? Creo que
la descripcin siguiente es fiel a su . pensamiento. Supongamos que
ten~? na repres(mtacion propia de ujl conjunto de cosas y un
concepto' del nmero de elementos que ese "conjunto posee. Percibo
mia cosa que no pertenece .a ese conjunto, una cosa distinta de cada
uno de su s elementos . . Si el conjmito inicil , es, pequeo; puedo,
agregndole esa cosa, formar un conjunt nuevo, cuyo nmero es.
diferente del mimero del primero. Pero si ste ya posee diez o doce
elementos, podr siempre representarme un nuevo ohj~to formado
aadindole esa cosa, pero tal vez me sea imposible tener una representacin propia de este objeto como conjunto. Sin embargo, quizs
otras personas puedan tenerla; quizs yo mismo lo logre, si me
ejercito debidamente. Entre tanto puedo concebirlo como una posibilidad, fijndomelo cmo meta de mis empeos. Un objeto formado
agregando una cosa nueva a un conjunto de diez o doce elementos
tal vez no sea un conjunto efectivo, pero es sin duda un conjunto
posible, ya que nada se opone al desarrollo de las .aptitudes para
llevar .a cabo los actos mentales requeridos segn Husserl para que

LA FILOSOFiA DE L A ARITMTICA DE H USS ERL

all
aria
es'
tal
ttos
son
cer
litO

lto

se
ce

ue

199

ese objeto efectivamente se organice como conjunto. P ero si ese objeto

es un conjunto posible, digamos, un conjunto virtual, tambin lo
es el objeto formado agregndole a se otra cosa ms. Y tambin ,
por cierto, el que se obtiene aadiendo t odava otra cosa a este
ltimo. Y as sucesivamente. Una vez que nos lanzamos por esta va
de la construccin de conjuntos virtuales, nada ms puede detenernos.
Aunque sea inverosmil suponer que ningn gnero de ej ercicios
pueda ampliar la capacidad representativa humana ms all de ciertos
lmites, es dable siempre concebir una capacidad sobrehumana que
no est ceida por ellos y pue da tener una r epresentacin propia
de lo que nosotros podemos a lo sumo representarnos simb-licamente . Podra objetarse quizs que alguno de los conjuntos virtuale~
as formado s pudiera incluir a todas las cosas del universo, de moJo
que con l se detenga la construccin de nuevos conjuntos, por no
haber fuera de l ninguna cosa distinta para a gregarle. Una objecin
as no inhibe a un Husserl.
Si no tenemo s nad a ms a nuestra di sposicin >> escribe - << pod emo s
siempre con cebir a lo s propios miembros del conjunto reiterad os (gespi.egelt ) en
repeti cin in cesante, y as formar el con cepto d e la expan sin pro:resiva d el
conjunto m ediante los miembro s de su s r eitera ciones (P A, 223).

Si los conjuntos virtuales de nuestra serie se actualizaran, cada

uno tendra un nmero diferente (19). Cada uno se distingue, entonces, de los dems, por el nmero que correspondera a su actualizacin. E s perfectamente le gtimo hablar, pues, de los nme ros de
los conjuntos virtuales, representarlos simblicamente y desarrollar
un arte .aritmtico para el estudio de su s relaciones (20). El distingo
entre los nmeros de Jos que podemos y no podemos tener una
re presentacin propia s enteramente indiferente desde este punto
de vista. Asimismo, la t eora de la percepci!J. de momentos
figura}es , cualquiera que sea su importancia para una p sicologa
de la p erce p cin de grupo's, no desempea ningn papel en una
fundamentacin filosfica de la '' aritmtica. En rigor, por lo que se
ha visto , esta fundamentacin puede prescindir tambin del distingo
entre conjuntos .actuales y virtuales. Tal vez por eso mismo Husserl
nunca lo formula , sino que tcitamente desplaza su inicial concepto
psicolgico d~ lo que estamos llamando conjunto a ctual, para convertirlo en el concepto ontolgico de lo que .aqu hemos Jlamado
un conjunto virtual. Me parece que este desplazamiento queda consagrado cuando Husserl distingue entre el contenido (Gehalt) lgico
y psicolgico de una representacin (P A , 217) y agrega que la representacin simblica no altera el contenido lgico del concepto de
pluralidad.
<< Pluralidad sigu e siendo el con cepto d e un a totalidad (Gesamthe it ), una
determinada coleccin de contenidos sep arado s; slo que en lo s casos ahora
considerado s la sep;tra cin de contenidos y su coleccin, en ve?< de alcan zar .una

2.0.0

ROBERTO TORRETTI

realizacin efectiva, permanecen enteramente o en su mayor parte en el estado

de mera intencin (lntentio) )) (PA, 218) (21).

La verdad es que la llamada idealizacin de las facultades mentales supone una referencia a un dominio ideal de objetividad, correlativo de la actividad mental idealizada, pero, por lo mismo, trascendente respecto de la mente real. Si esta referencia es posible, cabe
basar en ella todas las consideraciones filosficas para edificar las
cuales se recurra a la idealizacin de la actividad mental; sta, por
lo tanto, sobra.

VII.
Parece inevitable concluir que el Husserl de la segunda parte
de la Filosofa de la Aritmtica ya ha trascendido al mentalismo
propio de la primera, aunque todava no dispone de una concepcin filosfica bs'ica que lo reemplace y sigue afectando desfavorablemente muchas de sus expresiones (no cabra decir esto
tambin de casi toda su obra posterior?). Si he interpretado
correctamente el sentido y los supuestos de la idealizacin )) a
qne Husserl recurre para justificar la ampliacin del dominio de
los nmeros, su pensamiento se mova ya hacia el realismo platonizante expuesto ms tarde, por ejemplo, en el ~aptulo XI de los
Prolegmenos a la lgica pura >> (22). Veo un claro testimonio_ de
ello en ese pasaje donde Husserl dice que nuestro . sistema numrico
es un perfecto reflejo del reino de los nmeros en s (23); aunque
tambin aqu aflora su prejuicio primitivo cuando califica a los
nmeros en s, efectivamente existentes, conio en general, inaccesibles para nosotros >> (24). i Cmo si las representaciones simblicas
no se refiriesen precisamente a los nmeros en .s ))' permitiendo
determinar con toda exactitud cuales son y cmo se relacionan! ..Si.
he vendido 10.000.000 de .manzanas y cosecho slo 8.500.000, quedo
debiendo 1.500.000. Aunque no pueda representarme de un modo
propio >> el << conjunto >> de las manzanas que tengo ni el de las
que me faltan, tengo una representacin simblica pero perfectamente
exacta de su nmero, y no sabra figurarme cmo pudiera conocerlo
mejor o tener un acceso ms completo a l.
El tratamiento de la idea de conjunto infinito (al final del
captulo XI) ilustra bien cmo Husserl ha dejado atrs el mentalismo
8In lograr enteramente zafarse de l.
Hablamos de conjuntos y pluralidades )) - dice - tambin en casos en
que el concepto de su formacin en sentido propio o de su simbolizacin por
extraccin sucesiva de los individuos que comprenden envuelve una imposibilidad
lgica . Hablamos de conjuntos infinitos .. . La idea de que alguna ampliacin
concebible de nuestra facultad de conocer pudiera capacitarla para una represen
tacin efectiva de tales conjuntos o siquiera para su captacin por xtraccin

LA FILOSOFA DE LA ARITMTICA DE HUSSERL

201

sucesiva de sus elementos, es impensable. Aqu hasta nuestra aptitud de idealizacin halla un lmite>> (PA, 219).

Husserl admite que el concepto que designa la expresin conjunto

infinito es legtimo y tiene un sentido, pero procura fijar ste con
precisin. En todo caso, hay que tener claro que se trata de un
concepto nuevo, diferente del concepto de conjunto (( en el verdaderc
sentido de la palabra >> - esto es, del concepto que habamos considerado hasta aqu (( aunque lo incluye como un ingrediente
esencial >> (PA, 221). La caracterstica determinante de aquello que
llamamos (( conjunto infinito >> es (( la representacin simblica de un
proceso de formacin de conc~ptos que puede proseguirse ilimitadamente >> (P A, 219). Esta representacin envuelve un claro principio,
conforme al cual podemos transformar a cada concepto ya formado de
cierto gnero dado... en uno nuevo, ntidamente diferenciado del anterior, y
tambin a ste, etc., de modo que sea seguro a priori que nunca se retornar
al concepto inicial ni a los conceptos ya generados>> (PA, 219).

Esta representacin es (( lgicamente impecable >> (P A, 221 ).

Inadmisible, en cambio, es atribuirle al concept de conjunto infinito
(( la absurda intencin dirigida a la formacin del conjunto actual
(die absurde lntention auf die Bildung der wirklichen Menge) >>
(P A, 221). Como vemos, Hussrl admite una nocin de infinito que
rebasa todas las representaciones aceptables para una psicologa emprica, pero que sigue atada a las posibilidades de una actividad mental
idealizada. Husserl, como Aristteles y Kant, rechaza aqu la idea
de un infinito actual. Y sin embargo, cuando, muchas pginas ms
adelante, aborda directamente la fundamentacin de las operaciones
aritmticas de clculo sobre la hase de las nociones que ha expuesto,
Husserl no vacila en escribir:
Tenemos que considerar como dado al sistema numenco en su totalidad
(das gesamte Zahlensystem), o, ms exactamente, concebimos el originario dominio
del nmero como desarrollado en una de las formas sistemticas [ v. gr., la
habitual decdica] hasta el punto de que todas las enumeraciones que de algn
modo puedan requerirse se puedan trafar como. efectivamente realizables y, en
virtud de esto, como algo dado ya (PA, "263).

Ahora bien, si el sistema numrico ha de considerarse como algo

.dado en su totalidad, no veo qu impide que se considere de la
misma manera a todos los sub conjuntos que es dable formar con sus
elementos y tambin - por qu no? - a la totalidad de esos subconjuntos. Me parece que este resultado - cuya.s enormes implicaciones son bien conocidas - slo puede ser resistido desde la conviccin previa de que todo lo existente, acerca de lo cual se puede
hablar y discurrir, est contenido dentro de los lmites de la
capacidad imaginativa u operativa del hombre. Dicha conviccin
antropomorfista es quizs, de suyo, muy digna de respeto; pero
obviamente ya se la ha echado a un lado cuando se con sidera a

2{)2

ROBERTO TORRETTI

todas las enumeraciones que de algn modo puedan requerirse >>

para el clculo aritmtico << como efectivamente realizables >> y como
algo dado ya >>.

VIII.
Terminar refirindome brevemente a dos ideas que Husserl estudia en los ltimos dos captulos del libro y a la que da gran importancia: la nocin de sistema numrico y la nueva nocin de clculo .
Ampliado el dominio de los nmeros como hemos visto, se
n~quiere un procedimiento para representarlos simblicamente. Parece
natural valerse de una representacin que caracterice a cada nmero'
como la suma de otros nmeros menores, caracterizables a su vez
de un modo anlogo, hasta llegar a los nmeros ms pequeos, de
los que cabe formar una representacin propia. Pero este procedimiento admite muchas representaciones para cada nmero y no ofrece
un criterio simple para comparar distintos nmeros comparando su s
respectivas representaciones. Tampoco es una solucin representar a
todos los nmeros como sumas de unos, aunque este procedimiento
reflejara la idea en que se bas la ampliacin del dominio numrico;
esta forma de representacin simblica se parece demasiado a la
representacin propia, y tropieza con las mismas limitaciones. Resta
la posibilidad de .adoptar un sistema numrico. Se fija un nmero x
como base y se representa a cada nmero n como suma de potencias de x:

El nmero x debe ser abarcable, aunque la representacin ser

ms simple si x no es demasiado pequefio (en el sistema familiar
x = 10); los coeficientes ai de cada potencia de x son siempre menores que x; como el exponente mximo k e s en todo caso menor
que n, el procedimiento puede utilizarse para simbolizar a todos
los nmeros; sucesivamente. Cada nmero recibe una representacin
nica y exclusiva . Adem's el sistema numrico p e rmite desarrollar
procedimientos de clculo para determinar, dados los signos de dos
nmeros del sistema, el signo que representa a su suma, diferenci.a,
producto o cociente, etc. , sin tener que pensar ni por un instante
en los conceptos numricos que esos signos representan. A diferencia
de los ,signos lingsticos, los signos numricos no son meros acompaantes de los conceptos (PA, 241). Antes bien ,
participan d e un modo mucho ms destaca do en nuestras formacion es
sjmblicas, ... tanto, que finalmente casi dominan todo este campo >> (PA, 241 ).

Las ideas expuestas permiten a Husserl determinar mejor la naturaleza de las operaciones aritmticas de clculo, l as cuales, segn
vimos, no podan identificarse sin ms con aquellas operaciones de

L A FILOSOFA DE LA . ARITMJ<:TICA DE HUSSERL

~ ))

no

!l

r-

r
;e

203

adicin y particin aplicables a los conjuntos de que hay una r epresentacion propia (25) . Si m y n son signos que representan a dos
nmeros, el signo m + n representa a un tercero, pero en general
esta representacin no pertenece al sistema numrico y ha de considerarse como una representacin anmala. El procedimiento de
clculo o algoritmo de la suma viene a ser simplemente un m todo
para reducir tales representaciones anmalas a las correspondiente5
rep~esentaciones normales, las representaciones pertenecientes al sistema . . Otro tanto puede decirse de las dems operaciones aritmtica s.
En este contexto Husserl introduce una nueva nocin de clculo,
por un lado ms estrecha p ero por otro ms amplia que la que le
habamos visto mane jar hasta aqu. El clculo (das R echnen) puede
concebirse,. dice, como
toda forma regulada de deriva cin d e uno s signos de otros signos, d entro
de un sistema algort~ico de signo s, conforme a sus peculiares ' leyes ' o,
mejor dicho , co nven cion es
d e enla ce, ~ep aracin y tra sposi cin >> (PA, 258).

Esta nueva determinacin del concepto d e clculo tiene , entre

otras ventajas, .s egn Husserl; la de que pe.r mite separar ntidamente
los distintos pasos que demanda la solucin de un problema en
campos como el aqu estudiado.
<< T~da solucin se d escompone patentemente en nn:t parte calculatoria y
dos partes conceptuales: Conversin de los pensamientos iniciales a signos - clculo - -conversin de los signos resultantes a pensamientos >> (P A, 258).

Husserl no elabora ms esta nocin de clculo, y no me parece

que haga falta comentarla. He creido oportuno, s, sealar su presencia en este lugar, en vista de la importancia que cobrar luego
en la filosofa de la ciencia del . siglo XX.
-
Universidad de Porto Rico
.

(1) Edmund Husserl, Philosophie der Arithmetik mit ergiinzenden Texten

(1890-1901), herausgegeben von Lothar Eley (Husserliana , Band XJI), Den Haag,
Mrtinus Nijhoff, 1970, pg. 3-82. En adelante designar este volumen P A. Usar
adems las siguientes abreviaturas: LU = Edmund Husserl, Logische Untersuchungen, Tbingen, Niemeyer, 1968. KS = Gottlob Frege, Kleine Schriften, h erausgegeben von Ignacio Angelelli, Darmstadt, Wissensc haftliche Buchgesellsrhaft, 1967.
(2) Philosophie der A rithmetik . Logische und psychologi.sche Untersuchungen .
Erster Band. Halle a.S., C. E. M. Pfeffer (Robert Stritker), 1891. Ahora en
PA, 1-283.
, ':(3) ber den B egriff der Zahl. Psychologische Analysen. Halle a.S. , Heynemann 'sche Buchdruckerei (F. Beyer-), 1887. Ahora en PA, 289-338.
(4) Gottlob Frege, Die Gwndlagen der Arithmetik. Eine lo gisch-mathematischeV ntersuchung ber den B egriff der Zahl , Breslau 1884; Richard Dedekinrl ,
W as sind und sallen die Zahlen , Braunschweig 1888 ; H ermann von Helmholtz,
Ziihlen und Messen erkenntnistheoretisch betrachtet )), en Philos ophische Auf

204

ROBERTO TORRETTI

siitze. Eduard Zeller zu seinem fnfzigjiihrigen Doctor-]ubiliium gewidmet, Leipzig 1887, pgs. 15-52; Leopold Kronecker, << ber den Zahlbegriff , Ibd., pgs.
261-274. Segn la bibliografa dada en PA, 578-583, todas estas obr.s, q~e Husserl
menciona una o ms veces en el libro, se encontraban en su biblioteca privada.
(5) Giuseppe Peano, Arithmetices principia, nova methodo exposita, Torino 1889.
( 6) Hubo reseas favorables de Franz Hildebrand, ei. Gottingische gelehrte
Anzeigen, 17 (1893), 175.180; de A. Elsas, en Philosophische Monatshe/te, 30
(1894), 437-440; y de W. Heinrich, en Viertel jahrschrift fr wissenschaftliche Philosophie, 19 (1895), 436-439 . Tomo estas referencias de Dagfinn F0lltsdal, Husserl
und Frege. Ein Beitrag zur Beleuchtung der Entstehung der phiinomenologischen
Philosophie. Avhandlinger utgitt av Det Norske Videnskaps-Akademi i Oslo. 11
Ilist.-Filos. Klasse. 1958. No. 2. Oslo 1958, pg. 9.
(7) En Zeitschrift /r Philosophie und philosophische Kritik, N. F., 103
(1894), 313-332. Ahora en KS, 179-192.
(8) En la obra citada en la nota 6, F0llesdal sostiene que el vuelco en el
desarrollo filosfico de Husserl entre 1891 y 1900 ha dependido significativamente
de la lectura de los escritos de Frege, en especial de la resea citada.
(9) En la Filosofa de la Aritmtica Husserl emplea las palabras Menge e
lnbegriff para designar lo que los matemticos de habla alemana llaman corrientemente Menge y los de habla espaola, conjunto. Segn Lothar Eley, el editor
de PA, Husserl habla de lnbegriff cuando quiere subrayar la funcin de la
subjetividad en la constitucin del conjunto ((( Bemerkenswert ist namlich, dass
Husserl dort, wo er die konstitutive Funktion der Subjektivitat fiir die Menge
hervorhebt, vom lnbegriff spricht >> - P A, xxi). De hecho, esta expresin prevalece
en la primera parte de la obra; mientras que en la segunda -- desde P A, 195 Husserl, sin explicacin previa, procede a usar el trmino Menge.
(lO) En 1895 Cantor publicar sus conocidas definiciones: (( Entendemos pot
' conjunto ' (Menge) toda coleccin M de determinados objetos m, hien discernidos, de nuestra intuicin o nuestro pensamiento... Llamamos potencia (Mchtigkeit) o nmero cardinal de M el concepto general que, con ayuda de nuestra
activa facultad de pensar, resulta del conjunto M cuando se hace abstraccin de
la naturaleza de sus diversos elementos m y del orden en que estn dados >> .
( (( Beitrage zur Begrndung der transfiniten Mengenlebre , Mathematische Anna.len, 46 (1895), 481) . Las ideas que este texto expresa aparecan expuestas ya
en su obra Grundlagen einer allgemeinen Mannichfaltigkeitslehre, Leipzig 1883,
de la que Husserl posea un ejemplar.
(11) (( Abstract number haba escrito Jevons is the empty form of
difference >> (W. S. Jevons, The principies of science, London 1883, pg. 158;
citado por Husserl, P A, 51).
(12) Texto subrayado por Husserl; un texto idntico figraba, subrayado
tambin, en el escrito de habilitacin de 1887 (ahora en PA, 333).
( 13) Frege escribe: (( Como todo es representacin, podemos fcilmente modificar los objetos, aplicando o desviando la atencin. Esto ltimo es espec.ialmente
eficaz. Atendemos menos (wir merken weniger) a una propiedad, y desaparece.
Haciendo desaparecer as una caracterstica tras otra obtenemos conceptos cada
vez ms abstractos... La inatencin es una fuerza lgica sumamente eficaz; de
ah, tal vez, la distraccin de los sabios. Supongamos, por ejemplo, que hay
sentados ante nosotros un gato negro y otro blanco. N o atendemos a su color;
se vuelven incoloros, pero permanecen sentados uno junto al otro. No atendemos
a su postura; ya no estn sentados, aunque no han adoptado otra postura diferente; pero cada uno est todava en su sitio. N o atendemos ms al lugar;
ya no tienen posicin en el espacio, pero siguen estando separados. As quizs
hemos obtenido de cada uno un concepto general de gato . Con la aplicacin
continuada de este procedimiento, cada objeto se transforma en un fantasma cada
vez ms exsange. Obtenemos as finalmente de cada objeto un algo, enteramente

LA FILOSOFA DE LA ARITMJ<:TJCA DE HUSSERL

Leippgs.
usserl
vadu.
Tori-

ehrte
30
Phi-

l,

ente

e e

Je
a

1,

,f

205

liberado de contenido; pero el algo que se obtiene de un objeto se distingue

sin embargo del que se obtiene de otro, aunque no es fcil decir en qu >> (KS, 181).
(14) Husserl se pregunta << Cmo se relacionan mutuamente los conceptos
de nmero y pluralidad? . Responde que la diferencia entre ellos co nsi ste
ni camente en que el concepto de nmero presupone un distingo entre las formas
abstractas de pluralidad; no as el otro concepto. Nmero (Anzahl) es el concepto
genrico que resulta de la comparacin de los conceptos especficos de la s forma s
de pluralidad determinada s, distintas entre si, o nmeros (7.ahlen ). El concepto
de pluralidad, en cambio, resulta directamente de la comparacin de conjunto s
concretos (P A, 83).
(15) Segn la teora clsica de la abstraccin, en la que Husserl generalmente
se inspira (por ejemplo, en el pasaje resumido en la nota 14), una caracterstica
slo puede discernirse en un objeto comparndolo con otros y reflexionando sobre
lo que tien en y no tienen de comn. Si Hu sserl se mantuviera fiel a esta doctrina ,
tendra que admitir que las caractersticas de un conjunto slo pueden determinarse considerando sus relaciones con otros conjuntos. Admitido esto, no sera
tan absurdo sostener que la rela cin considerada cuando se atribuye un nmero
a un conjunto es especficamente la relacin de equivalencia.
(16) Frege comenta: <<La objecin de que no se ha definido el concepto,
sino su extensin, alcanza en rigor a todas la s definiciones de la matemtica .
Para el matemti co la definicin de una cnica como interseccin de un plano
y la superficie de un cono no es ms co rrecta ni ms falsa que su definicin
como curva plana cuya ecuacin en coordenada s rectangulare~ es de segundo
grado. Cul de estas definiciones adopte... depende de con sidera ciones de oportunidad, aunque estas expresiones no tienen el .mismo sentido ni evocan las
mismas representaciones. No quiero decir con esto que el concepto y la extensin
del concepto son la misma cosa; sino que la coincidencia de las extensiones es
criterio necesario y suficiente para concluir qlie entre dos conceptos subsiste la
rela cin que corresponde a la igualdad entre objetos. Advierto de paso que empleo
la palabra ' igual ' (' gleich ') sin calificativos, en el sentido de ' no diferente ',
' co incidente ', ' idntico ' >> (KS, 183 s.).
(17) Naturalmente, este pro cedimiento no puede ;dentificarse con lo que
llamamos enumeracin (en alemn Au/ziihlung o, tambin, Ziihlung), y que
consiste en determinar el nmero de elementos de un conjunto, parendolos con
un segmento inicial de la serie de los nmeros. En el punto de la investigacin
en que nos hallamos, an no se di spone de esa serie, para establecer el pareo.
(18) PA, 223 (lnea 9), 234 (12), 240 (33); cf. 219 (7).
(19) << El proceso de agregar una unidad a un nmero cualquiera dado es
una operacin cuyo concepto garantiza a priori que ella llevar a un nmero
determinado y nuevo >> ( P A, 220).
(20) << En sentido simblico podemos decir de un conjunto cualquiera que
le corresponde un nmero determinado , an antes de que hayamos formado a
ste; incluso cuando no estamos en condiciones de formarlo efectivamente ...
Tenemos derecho a juzgar que el dominio del nmero comprende dentro de s
una variedad ilimitada de especies. En efecto, si partimos de cualquier representacin simblica de conjuntos, poseemos (al meno s idealmente) la capacidad de
ampliarla de modo ilimitado, agregndole consecutivamente nuevos y nuevo s
miembros. Si no tenemos nada ms a nuestra disposicin, podemos siempre
concebir a los propios miembros del conjunto reiterado s en repeti cin co ntinua,
y as formar el con cepto de la expansin progresiva del co njunto mediante lo s
miembros de sus reiteraciones. Esta formacin conceptual encierra por cierto
una fuerte idealizacin de nuestra capacidad representativa. De hecho no podemos
formar y ordenar en serie hasta el infinito las repeticiones requeridas: faltan el
tiempo y las fuerzas para la actividad espiritual siempre renovada, as como
signos caractersticos distintivos de sus formacione s. Pero podemos, idealizando,
prescindir de estas limitaciones de nuestra capacidad y concebir tales conceptos,

ROBERTO TORRETTI
simblicos tambin e n este respecto. Si el conjunto dado es ampliado simblicam ente por tales medios, entonces p e rtenece, tambin en represen ta cin simbli ca,
a cada e tapa un nmero d e terminado , a cad nueva e tapa un nmero nue vo ...
La variedad de .las especificaciones pensahles del nmero es pues infinita, eomo
la variedad d e la s e tapas p en sahles de la serie de lo s conjuntos>> (PA, 223).
(21) Vase asimismo la definicin de conjunto en el texto d e 1891 que el
editor Eley titula Zur Lehre vom lnbegriff (PA, 385).
(22) Die . Id ee d er reine n Logik , LU, I , 227 sqq .
(23) Ein Zahlensystem, wie es z.B. unser dekadisches i ~ t, k ann demnach
als di e vollkommen ste G egen spiegelung des R eiches der Zahlen an ~i ch , d.i. d e~
un s im allgemeinen unzugiinglichen wirkli ch en Zahlen, an gesehen werden
(PA, 260 ). E ste pasaje .llam ,ya .la atencin a Frege, quie n pregunta: <<Qu
son esto s nme ro s << en s , estos nmero s efectivamente existentes, sino nmero s
objectivos, enteramente independientes de nuestro p en sar , que existen (die v or
hunden sind ) aunque no nos sean accesibles? (KS, 191 sq. ). Y prosigue: <<Pero
si mi representa cin del nmero no es el nmero mi smo, se h a arranca~o el
suelo bajo los pies al e nfoque psicolgico adoptado para investigar l a esencia
del nme ro (K S, 192).
(24) Sobre esta << ina ccesibilid ad vase tambin PA, 22 3 (ln:ea 35), 261 (24),
263 (9); idea s afines se expresan e n PA, 237 (ln ea 21), 242 (23), 262 (22).
(2 5) Sobre la relacin entre lo s dos gnero s de op era cin con sid erados, Husserl
escribe: << Manifiestamente subsiste an entre lo s do s conceptos de operacin una
conexin f cilmente reconocible. Como lo s conce pto s propios d e lo s nmeros no
no s son accesibles, y por cierto no podemos clasificarlos, adicionarlos ni partirlos,
operamos en su lugar co n con ceptos ~imblico s sustitutivos ntid a m ente de te rminado s, que clasifi camo s sobre la base d e una serie de con'eeptos norm ales y
que adicionamos o partimos buscando en esa serie lo s con ceptos que justamente
co rresponden a lo s concepto s de la co mbina cin o particin. Y exa ctamente como
el nme ro simbli co individual representa un de terminado nmero propio , as
tambin ca da combinacin op era cio nal simblica represe nta ima operacin propia
de terminada (aunque imposible de ejecutar realmente: (P A , 263).