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 Majbharata.

dios

Ganesh

del

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 noser 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 Taoque-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.

, contra: la de que la unidad no cambia.

y la de que en dos mas dos cada uidad es diferente de la otra cuando lo que hacemos es repetir uno mas uno es igual a uno mas uno. Nuca dejamos de decir uno. Todos los nmeros se reducen al uno

es en abstrc

La teora de "las galletas y los guijarros" es la primera filosofa de la aritmtica que Frege critica. Segn esta concepcin, defendida por Mill, los nmeros son generalizaciones de agrupaciones de objetos, esto es, la aritmtica "descansa en la induccin a partir de hechos relativos a agrupaciones concretas de cosas" (Kneale, 1980, p. 140). Frege refuta a Mill con los siguientes argumentos:

1) Si el uso correcto del nmero 1 se sustenta en que tengo un objeto en el bolsillo, tendra que tener en el bolsillo tambin 1.345.897 objetos para usar correctamente este nmero, lo cual es absurdo. 2) La misma nocin de induccin sobre la que la teora empirista construye la definicin de nmero, requiere alguna nocin de la aritmtica como por ejemplo la teora de la probabilidad. Luego las leyes generales de la aritmtica no pueden ser verdades inductivas. 3) En la concepcin de "las galletas y los guijarros" hay una confusin al suponer que la suma hace referencia a la adicin fsica de objetos. El contraejemplo que

proporciona Frege es el de la suma de lquidos que por reaccin qumica no arrojan el resultado que uno esperara, por ejemplo agregar dos litros de un liquido a tres de otro dando por resultado cuatro litros. Si la suma fuera la adicin fsica tendramos que decir que en este caso 2+3=4, lo cual es absurdo. Ninguna de las teoras abordadas responde satisfactoriamente a la cuestin de qu es un nmero; no tenemos respuesta a de qu cantidad estoy afirmando algo si digo 3 lunas? Frege debe dar ahora su solucin al problema. Pero antes de establecer qu es un nmero, veamos, segn lo dicho, qu no es: los nmeros no son objetos espaciales pero tampoco son imgenes

mentales. Qu son entonces? Respuesta: Objetos lgicos. En palabras de Frege, "despus de determinar que un nmero no era una coleccin de cosas, ni una propiedad de tal coleccin, ni tampoco el producto subjetivo de un proceso mental, decidimos que un enunciado numrico afirma algo objetivo acerca de un concepto". Los nmeros son objetos lgicos que caen bajo determinados conceptos. No se enumera un conjunto de objetos, los nmeros no resultan de agregados de cosas. Un ejemplo es: "un montn de piedras puede ser uno (en tanto que constituye un solo montn) o veinte (en tanto que contiene veinte piedras) o cinco (en tanto que consta de cinco

capas)". Si numeramos el montn de piedras como agregado de objetos no habra all un nmero establecido, lo que debemos numerar es el concepto "montn de piedras". Para saber con exactitud qu es un concepto para Frege, aconsejo leer su ensayo Funcin y concepto. Muy someramente, diremos que, en este ensayo, Frege analiza el concepto de "Funcin" matemtica, llegando a que la funcin es la estructura lgica comn a un conjunto de enunciados; despus, extiende dicho concepto al concepto de funcin lingstica, por medio de la introduccin de smbolos. El concepto es lo que cumple el papel de funcin lingstica. "Concepto es una funcin cuyo valor es siempre un valor

veritativo". Ahora bien, en el anlisis de la funcin, Frege encuentra un componente importante: el argumento. Con esto distingue argumento de funcin, como partes que configuran un todo completo. Del argumento dice que es de carcter saturado, es decir, completo en s mismo; mientras que de la funcin dice que es insaturada, es decir, incompleta en s misma. La distincin funcin-argumento, como dijimos, se aplica en el contexto matemtico. Anlogamente, plantea la distincin concepto-objeto, la cual se aplica dentro de un contexto ms amplio: el campo del lenguaje en general. Ahora, volviendo a lo nuestro, Frege dice que, los nmeros no son conceptos, ya que no son incompletos

en s mismos. Por el contrario, son objetos, en la medida en que son completos. Cuando se dice "un montn de piedras". Observamos que "montn de piedras" es una expresin insaturada. Mientras que "un" es una expresin completa en s misma. En trminos lgicos podemos traducir esto como F(a), donde la funcin, F, es "montn de piedras" y el argumento, a, es "un". Bien podramos reemplazar el argumento, a, por un argumento, b, que fuese, por ejemplo, "dos". As, tendramos: "dos montones de piedras".
71