QU ES UN NMERO?

Freddy Sosa
ULA Mrida
Venezuela
Las respuestas a esta pregunta no son
tantas ni tan acertadas como cabra
esperar. Stuart Mill propone un origen
emprico para los nmeros mientras
que Ayer los presenta como
tautologas. Russell, coincidiendo con
Ayer, los define desde su teora de las
series de un modo que convierte el
nmero en mera tautologa. Para Frege,
en cambio, el nmero es un objeto
lgico.
La naturaleza de los nmeros
naturales debe su condicin
difcilmente escrutable a su extraa
doble fenomenologa, que se puede
formular de un modo sencillo as: no
son pero existen. No son en tanto que
no tienen ser: vemos el smbolo de un
nmero, la forma de escribirlo o de
enunciarlo, pero nadie ha visto un
nmero, no huelen, no pesan, no
nacen, no se extinguen, no se mueven,
no poseen tiempo, no devienen. Pero
existen: gracias a ellos el avin no se
cae, el puente se sostiene, s cuantos
pjaros cruzan el cielo y s si me
alcanza para comprar mantequilla o no.
Se dira que lo mismo pasa con Dios,
con la virtud o con la capital de
Luxemburgo, pero, en rigor, creo que el
problema del ser del nmero es ms
complejo aun que el de la Santsima
Trinidad. Y lo explico: si mi vecino me
dice que anoche, en medio de un
ataque de tos, de fiebre o de artritis se
le apareci la Santsima Trinidad y le
alivi el malestar o le elimin el dolor
yo pondr cara de estupor, pensar que
a m no me pasan esas cosas y tendr al
vecino por visionario, religioso o
mstico. Si, en cambio, me informa que
anoche vio un 17 en su casa o que
hirvi para la cena un 44 o que el
63.334 lo salud lo declarar en mis
adentros loco de atar y tendr cuidado
de eludir su conversacin en lo
sucesivo. Las operaciones matemticas,
que nos parecen tan confiables,
objetivas y seguras, estn ms cerca de
la metafsica que el Arcngel San
Gabriel o el dios Ganesh del
Majbharata.
Yo creo, como Mill, que los nmeros
tienen un origen emprico, y, como
Ayer, que son tautologas. Agrego a
ello: convencionales. Son tautologas
convencionales producidas desde la
sensibilidad emprica. En una palabra:
son conceptos. Y, como todos los
conceptos, son una tesis que a la que
se opone Frege inducciones desde la
experiencia. El origen de los nmeros es
el mismo origen de los conceptos: de la
plural, mltiple y tal vez catica
informacin que proporcionan los
sentidos tanto el cerebro animal como
nuestro cerebro conforma unidades
pertinentes de informacin por
repeticiones y cercanas de rasgos
formando conceptos. Estos conceptos
pueden ser verbales casa, silla,
mesa o averbales como ocurre con
los sordomudos y con los animales, a
niveles, desde luego, diferentes.
Pensar es unificar. Cada concepto es
un conjunto unificado de apariciones o
fenmenos que guardan rasgos
aparicionales comunes: cuadrado,
plano, descanso, etc., para silla, circular,
tridimensional, etc, para pelota. La
abstraccin de estos rasgos conduce a
la formacin de unidades o conceptos.
Ninguno de estos conceptos (tampoco
cuadrado o plano) son trascendentales,
lo cual ya lo dice todo acerca del
concepto de nmero. Lo mismo que la
Santsima Trinidad el de nmero ha de
tener un origen dentro de este mundo;
esto es, no puede ser a priori,
extraterrenal, trascendente, por mucho
que se refiera a acontecimientos
arcanos, etreos, celestiales o
incomprensibles, so riesgo de incurrir
en una inefabilidad religiosa y
dogmtica.
As, la accin misma de formacin de
un concepto supone la formacin de la
unidad. Separamos silla de mesa, Juan
de Pedro, formando unidades lgicas
que renen una multiplicidad de rasgos.
El proceso que resulta en la fabricacin
de un concepto, y que conduce a la
aparicin de la unidad conceptual es,
abstrados los rasgos particulares, el
que conduce al concepto de unidad en
s misma; no una silla, una pelota, Juan
o Pedro, sino uno, en abstracto. Lo
mismo que existe un origen emprico
para silla o mesa, uno es la induccin
del proceso que lleva a una silla sin el
objeto silla.
Al no referirse a silla o a Juan, esta
unidad es tautolgica, dado que slo se
refiere a s misma. Un uno abstracto no
est en relacin con el mundo, como no
sea por el hecho de que pensamos el
mundo en unidades conceptuales.
Contra la tesis kantiana, el resultado de
las declaraciones numricas tambin es
tautolgico: 7 + 5 = 12 no agrega al
predicado nada que no est ya en el
sujeto. Se trata, por tanto de juicios
analticos y no de juicios sintticos.
Por otra parte, los nmeros y sus
operaciones suponen la existencia de
una poderosa convencin poco
advertida. Admitimos un absurdo
porque no admitirlo nos obligara a
resolver un absurdo aun mayor, y lo
admitimos convencionalmente. El
absurdo que admitimos es que la
unidad cambie, algo que por definicin
es imposible. Esto, que es fcil de ver en
la unidad absoluta, lo es menos en las
unidades aparentemente sensoriales
cotidianas.
La unidad absoluta (el peiron de
Anaximandro, el Ser de Aristteles, el
Dios hebraico, lo Uno de Plotino, la
unidad tcita que se oculta tras el
mundo de las ideas platnico o los
conceptos trascendentales kantianos, el
Tao taosta, el Absoluto de Schelling y
de Hegel, y un largo etctera) slo
puede ser o no ser. Si no es y ese no-es
no implica ontologicidad ninguna el no-
ser es una declaracin meramente
lgica cuya propiedad elemental
consiste en ser la mayor reunin
conceptual posible, de lo que, como ha
sostenido Kant contra Descartes y
contra San Anselmo, no se desprende
necesariamente onticidad alguna y por
lo tanto, dicho de un tajo, de momento
no nos interesa. Si, en cambio, tiene
ser, si ES, l (Dios, el Ser, lo Uno, el Tao-
que-no-cambia, el Absoluto) slo puede
existir de un modo: poseyendo todo el
ser, pues en cuanto deje parte de su ser
a otro ser o en cuanto haya otro ser,
dependiente o independiente de l,
dejar de ser Uno por definicin y
pasar a ser dos, con lo cual la tesis
unitaria se viene bajo. Ms simple: si
Dios es uno no hay dos, y no hay por
tanto flores, ni hombres ni planetas,
que es, como se sabe, la tesis de
Parmnides.
Una resistencia dbil a esta tesis se
encuentra en el siguiente argumento:
yo, siendo uno, tengo dos brazos y
miles de cabellos; por lo tanto soy uno y
varios al mismo tiempo. Desde el punto
de vista teolgico este argumento ha
sido repugnado histricamente por
pantesta, pero esto nos interesa menos
que su refutacin lgica: la unidad de
Juan Prez no es la unidad de Dios o del
Tao, del que se supone una unidad
inquebrantable, slida, homognea, sin
parcialidades ni diferencias ni formas ni
sucedneos; en una palabra, la unidad
de Juan Prez no es una unidad
absoluta. Por eso Juan Prez puede ser
uno y muchos y Dios no.
Con todo, bien visto tampoco la
unidad de Juan Prez admite la
multiplicidad. Sostener que Juan Prez
es a la vez uno y muchos es
contradictorio. Slo puede ser una de la
dos cosas puesto que entre la unidad
discreta y la multiplicidad continua no
hay transito o continuidad. No hay casi
tres. No hay casi uno. Hay 2.88888 o
0.9999999. La naturaleza no concibe
unidades discretas sino individuos
continuos imposibles de separar de la
alteridad, algo que, en cambio, hace
continuamente el cerebro hacindonos
creer que vemos un rbol, una hormiga,
un hombre. Como un hombre tiene
ontologa creemos que el nmero uno
la tiene tambin, y en eso yerra nuestro
mente.
La conviccin de que existen unos, un
uno, otro uno, otro uno, es una
convencin producto de que los
hombres, al poseer cerebros que
construyen de modo similar el mundo
que les rodea, coinciden en tal
convencin pues de otro modo habra
que repetir la palabra rbol cinco mil
veces para poder significar bosque, con
lo cual el mundo sera impensable e
indecible.
La convencin no termina aqu.
Vamos mucho ms lejos. Teniendo la
unidad tenemos toda la aritmtica,
puesto que cualquier nmero es la
repeticin de uno tantas veces como
necesitemos reunir mltiples
apariciones. Dos es uno, uno. Cinco es
uno, uno, uno, uno, uno. As, es
convencional sostener que 1 + 1 hacen
dos. Una afirmacin tal es
contradictoria, ilgica, absurda, pero la
admitimos como natural porque es de
esa manera como pensamos el universo
(no como lo sentimos o como lo
vivimos. Vase que si el pan fuera uno
no podramos romperlo en trozos,
como crea Zenn, del mismo modo que
no podemos romper el nmero uno en
otros trozos que no sean ms unidades.
No como panes lgicos sostuvo
Feuerbach).
La siguiente interrogante es obvia: si
se trata de una convencin por qu el
puente, que ha sido calculado
aritmtica y matemticamente, no se
viene abajo ante el peso de una
realidad que debera ser ms poderosa
e imponente que una mera convencin.
A esto debo decir que numerosas
convenciones son enormemente
exitosas. He convenido en que eso es
una carretera, eso otro una escuela y
aquello una estufa sin que en los
hechos ninguna de las tres pertenezca
al sexo femenino. Si dijera, contra la
convencin, la tierra acaba de
completar otro giro alrededor del sol
nadie sabra que estoy diciendo que
sali otra vez el sol de la maana. El
puente no se cae porque la convencin
aritmtica con la que fue calculado es la
misma convencin con la que el
hombre piensa al mundo y que ese
modo de verlo es exitoso es evidente en
el dominio con que, sin documentos de
propiedad, sin legitimidad, sin un orden
legal que lo autorice, el hombre se ha
apoderado del mundo.