EL CONCEPTO DE NUMERO: LA POSICIN DE GOTTLOB FREGE

Resumen: "Qu cosa es el nmero? Una cosa..." El presente ensayo no trata de decidir si el nmero es una cosa. La pregunta relevante es qu clase de cosa es. Cul es la naturaleza del nmero? A ste respecto, primero, analizamos dos posibles respuestas desde la posicin crtica de Frege: l)La Psicologista 2) La formalista. Despus, damos la respuesta del propio Frege: el nmero es un objeto de tipo lgico (logicismo). Para ilustrar sta ltima, mostramos la definicin del nmero 0 y la del nmero 1. Por ltimo, se formula la pregunta de si existe una diferencia importante en la definicin de ambos conceptos. El 1 es generado a partir del 0 por la operacin de sucesor, o ms bien, 1 es la negacin de 0? Abstract: "What is a number? A thing..." The aim of this paper is not to decide whether a number is a thing or is not. The important question is, rather, what kind of thing a number is? What is the nature of a number? Thus, we will discuss two possible answers: [1] the psychological answer, and [2] the answer of Formalism. Consequently we will supply Frege's answer: the number is a logical object (logicism). In order to illustrate this solution, we will supply Frege's definitions of 0 and 1. Finally, we will lay the question whether there remains a substantial difference between both of them: is 1 generated irom 0 through the immediate successor operation, or rather, is 1 the negation of 0?

CARLOS M. MRQUEZ Universidad Nacional

A. Qu cosa es el nmero? B. Una cosa. A. Pero, qu cosa? B. La que se te antoje. A Entonces yo puedo reemplazar en una ecuacin el '1' por lo que se me antoje. B. Del mismo modo que en x+xx=x puedes reemplazar a x por cualquier nmero. A. Puedo reemplazar '1' por 'la luna' en 1+1=2? Kenny, Anthony; Introduccin a Frege

El propsito de este estudio es desarrollar una problemtica especfica en torno a la teora conjuntista. Con este propsito, vamos a tratar a continuacin un problema que se dirige a cuestionar el campo de la teora de nmeros de manera inmediata, pero que de uno u otro modo, haciendo las analogas precisas (las cuales se harn explcitas ms adelante), se dirige tambin al campo de la teora de conjuntos. La cuestin a la que me refiero se podra formular, en principio, sencilla aunque por esto vagamente, del siguiente modo: qu es el nmero? Para explicar el enfoque que aqu doy a la pregunta, represe primero en que evidentemente la pregunta: qu es el nmero? se remite a los objetos fundamentales del campo de teora de nmeros. Dentro de este campo, me remitir a la extensin ya no de los nmeros en general, sino de los nmeros naturales; pues en stos se fundamentan el resto de sistemas numricos. Me servir por tanto de la teora de los nmeros naturales o aritmtica, ya que las dems teoras se fundan en cierto modo en sta. Para observar esto, es conveniente decir que los nmeros reales, los racionales y los enteros, aunque los denominemos del mismo modo: nmeros, son todos ellos

saga

Nmero 3 / I / 2 0 0 1

distintos entre s; as que, en cada uno de ellos la palabra nmero debe usarse de acuerdo a ciertas caractersticas que le son propias a cada teora y que hacen que el significado de aquella se extienda a diferentes mbitos en los que es redefinida. As, el concepto de nmero es redefinido cuando se pasa de la teora de los nmeros naturales a la teora de los nmeros enteros; desde esta teora es a la vez redefinido cuando se pasa a la teora de nmeros racionales, y as en todos los casos. Ahora bien, la pregunta por lo que sea un nmero, y en especial (aunque ms bien debiera decirse: y en particular), por lo que sea un nmero natural, en el sentido en que la formulo no es ni involucra la cuestin del carcter ontolgico de los nmeros, como pudiera pensarse al observar la forma interrogativa: qu es...? Esta forma no hace referencia necesariamente a cuestiones ontolgicas, aunque muchas veces se utiliza en estos contextos. La pregunta por el carcter ontolgico no se debe considerar en modo alguno irrelevante, sin embargo, no es la que me formulo aqu. Lo que aqu me pregunto tiene que ver, ms bien, con la funcin de los nmeros en el lenguaje, y con su significado. Dado que supongo que toda persona a la que se dirija la pregunta sobre lo que ha de ser un nmero se hace a alguna idea de lo que intento significar por "nmero", entonces la pregunta inicial se formulara del siguiente modo: cul es la naturaleza de lo que intento significar con un nmero? Busco responder a esta pregunta partiendo de una caracterizacin somera sobre las diferentes concepciones de las entidades numricas, vistas estas concepciones desde la posicin crtica de Frege. Ahora bien, no se trata de responder decidiendo si los nmeros son o no son "algo". De lo que se trata es de: suponiendo que los nmeros son "algo" (ya que si no fueran algo entonces los signos numricos tales como " 1 " , "2", etc., introducidos dentro de un determinado contexto careceran de significado, o mejor, de referencia), indagar sobre la naturaleza del nmero. A este respecto, existen tres concepciones diferentes. Una de ellas dice que el nmero es un objeto de tipo lgico, otra que es un objeto psicolgico y otra que es un objeto meramente formal. Slo por dar una explicacin de estas tres maneras de caracterizacin de la naturaleza del nmero considrese que stas son las ideas ms comunes y aceptadas que se tiene sobre el significado de la palabra. En efecto, uno podra pensar, o bien que los nmeros son representaciones, signos mentales abstrados de propiedades de los objetos fsicos (psicologismo), o que son signos sin contenido expreso (formalismo), o que son signos puramente lgicos (logicismo). En el primero de los casos los signos considerados de este modo son ms bien subjetivos, en el segundo de los casos son ms bien formas y no objetos; mientras que, en el tercero, el carcter objetivo de los nmeros se defiende a toda costa. Con el fin de dilucidar mejor el asunto principal voy a distinguir entre lo que referimos con la palabra nmero y lo que referimos con la palabra numeral. Por lo general, se tienen dos concepciones acerca de los lenguajes. O bien los lenguajes son signos convencionales de cosas, o bien, son signos naturales. Lo mismo sucede para el lenguaje de la aritmtica. En ella el numeral es un signo al que se atribuye un significado meramente convencional, mientras que el nmero es un signo del que se dice que significa la naturaleza misma de lo que l es signo. As, por ejemplo, son dos cosas bien diferentes " 1 " como nmero y " 1 " como numeral, pues con el primero 68

Carlos M. Mrquez

El Concepto de nmero ...

designo la naturaleza de la cosa misma que es "una", mientras que el segundo slo es un modo de representar el nmero "uno", el cual, bien podra haber representado con cualquier signo que se me antojara, por ejemplo: &. Por tanto, 0,1,2,3,4,5,6,7,8,9 pueden ser considerados como numerales que designan nmeros de cuya combinacin resultan otros numerales: 100,34,23, etc. No preguntamos: qu es un numeral? qu es, por ejemplo, el signo "1"? lo que no tiene sentido preguntar si sabemos que un numeral es un signo convencional, pues un numeral sera entonces: "lo que se me antoje" sino que preguntamos: qu es un nmero? lo cual tiene sentido, pues realmente no sabemos cul sea la naturaleza misma de la que un nmero sea signo. Hemos de decir que las consideraciones anteriores son objeciones a la concepcin formalista de nmero, aunque con ellas no queda rebatido el formalismo, s nos dicen que los nmeros no pueden ser signos sin contenido tal como lo son los numerales. Ellos deben ser signos naturales de algo y no meras frmulas convencionales. (Vase los formalistas y en especial: Hilbert, en la bibliografa hay material). Cabe entonces preguntar si los nmeros son signos naturales de representaciones mentales o de objetos fsicos. Vamos a responder a las anteriores preguntas apelando a la posicin de Frege, ya que, como una razn a primera vista considerable, tenemos que muchos matemticos y filsofos tales como: Camap, Russell, Wittgenstein, se basaron en su obra hasta que los posteriores resultados de Gdel fueron publicados. En segundo lugar, porque aunque Frege trata de fundamentar la aritmtica en la lgica, vemos que est muy cerca de la teora de conjuntos. En efecto, cuando trabaja con la nocin de concepto, que se ver a continuacin, sta se asocia a la nocin de conjunto (la extensin de un concepto es el conjunto de todos los objetos que caen dentro del concepto; as, un conjunto es definido por extensin cuando se "listan" sus elementos mientras que es definido por intensin mediante una propiedad o caracterstica comn a todos los elementos). Cuando trabaja con "equinumeroso", est trabajando con una definicin basada en la relacin uno a uno de los objetos que se aplican a un concepto con los objetos que se aplican a otro (funcin biyectiva). Y para ir ms lejos, define a los nmeros como clases de clases; definicin en la que Russell advierte, como se advierte en la teora de conjuntos, cierta paradoja segn la cual una clase sera, a la vez, elemento de s misma. De hecho, en los Grundgesetze der Arithmetik Frege reemplazar "concepto" por "conjunto" en su desarrollo de la aritmtica con base en la lgica pura. Pero todos estos elementos los veremos aplicados ms adelante. Por ahora slo quera aclarar por qu escog explicar la posicin de Frege. Teniendo en cuenta que mi propsito es trabajar un problema sobre la teora de conjuntos, en la obra de Frege encuentro que se pueden hacer analogas precisas entre dicha teora y la teora de nmeros. Grundlagen der Arithmetik es la obra cumbre de Frege. En ella se ocupa, en primer lugar, de criticar los puntos de vista anteriores y contemporneos sobre qu son los nmeros y cul es la naturaleza de la verdad matemtica, para luego introducir su propia definicin de las nociones bsicas de la Aritmtica en trminos puramente lgicos.

69

saga

Nmero 3 / I / 2 0 0 1

En los Grundlagen der Arithmetik se defienden tres principios fundamentales: 1. La necesidad de separar lo subjetivo de lo objetivo, lo psicolgico de lo lgico. Segn Frege, la representacin mental que pueda producir una palabra es irrelevante para el significado de la misma. "El significado lo da ms bien el papel desempeado por las palabras en la determinacin de las condiciones de verdad de las oraciones en las cuales aparece" (Dummett, 1967, p.164). 2. El que el contexto de una proposicin es en donde se debe preguntar por el significado de una palabra y no aisladamente. El preguntarnos por el significado de una palabra sin tener en cuenta el contexto de la oracin en que aparece nos conduce a elegir una imagen mental como su significado. 3. La distincin entre concepto y objeto. Para este respecto hay que revisar dos aportes de Frege a la lgica, que se encuentran ntimamente relacionados, a saber: el clculo proposicional veritativo funcional y el anlisis de proposiciones en la forma argumento-funcin en lugar del esquema sujetopredicado. 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. La segunda concepcin que Frege ataca es la psicologista. Cuando en esta concepcin usamos las palabras nos estamos refiriendo a procesos mentales. Los nmeros, por tanto, o mejor el significado de estos, es el proceso mental que los acompaa. En el pargrafo 58 del captulo "El concepto de nmero" de los Grundlagen, Frege argumenta contra esta posicin de la siguiente manera: "Si uno se representa la palabra impresa oro, no asocia al principio nmero alguno con ella; si ahora uno se preguntase cuantas letras tiene la palabra, el resultado sera el nmero 3; la imagen, no obstante, no estar en absoluto ms definida, sino que permanecer totalmente invariada". Por ltimo, Frege critica la concepcin formalista de la aritmtica. Para esta concepcin la aritmtica es un juego con signos vacos (nmeros). El formalista no se pregunta qu son los nmeros, sino que exige la aritmtica de ellos para poder usarlos. 70

Carlos M. Mrquez

El Concepto de nmero ...

Frege no acept esta posicin porque si los nmeros son signos vacos, no tendran ninguna aplicacin posible. Adems, segn Frege, los formalistas confunden el nmero con el numeral, identifican nmeros con signos sensibles. Pero si el 1 es slo un signo vaco, cmo explicar que al multiplicarse por s mismo da otra vez 1?, es esto una mera ficcin? Por otra parte, si 1 es el trazo en el papel "ninguna investigacin microscpica o qumica, por exhaustiva que fuese, podra descubrir nunca esta propiedad en la inocente figura que llamamos el signo numrico 1" (Frege, 1985a, P-21). 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

saga

Nmero 3 / I / 2 0 0 1

Teniendo en cuenta esto vamos ahora a definir el nmero 0 y el nmero 1, ya que son los casos ms simples y claros. "Si yo digo Venus tiene 0 satlites no hay satlite ninguno en ningn agregado de satlites del que quepa afirmar nada y lo que ha sucedido es que he asignado al concepto satlite de Venus una determinada propiedad a saber, el de no incluir nada bajo s" (Kneale, 1980, p.421). Esto no debe interpretarse como que 0 es una propiedad del concepto satlite de Venus (ntese que ste ejemplo es distinto al de "un montn de piedra"), sino que si esta expresin es interpretada como 0 es el nmero de satlites de Venus, el es de la nueva expresin no es predicativo sino que afirma identidad, por tanto 0 y el nmero de satlites de Venus son idnticos. Segn la distincin hecha por Frege en Sobre sentido y referencia, las expresiones "0" y "el nmero de satlites de Venus" tienen la misma referencia, pero diferente sentido. Las dos expresiones nos muestran de manera diferente un mismo objeto. Cmo definir el objeto al que hacen referencia las expresiones 0 y el nmero de satlites de Venus?, este problema debe verse como el problema de la definicin del sentido del enunciado el nmero que pertenece al concepto F es el mismo que pertenece al concepto G, de tal forma que si podemos establecer cundo dos expresiones tienen el mismo nmero sabremos qu es nmero. Para establecer una respuesta a la cuestin anterior Frege acude a la nocin de la extensin de un concepto (nocin que presupone como conocida de antemano) que es la clase de todos los objetos que caen bajo ese concepto. De esta manera el nmero del concepto F es la extensin del concepto equinumeroso al concepto F. El nmero de F ser el mismo de G si existe una relacin de equipotencia entre sus extensiones. As se define el 'tener el mismo nmero que' con nociones puramente lgicas. El ejemplo de Frege es el siguiente: "Si un camarero desea asegurarse que ha colocado en una mesa exactamente tantos cuchillos como platos, no es preciso que cuente ni unos ni otros si coloca un cuchillo inmediatamente a la derecha de cada plato (...) los platos y los cuchillos estn as correlacionados unos con otros de manera uno-a-uno, en este caso a travs de la misma relacin proposicional". Antes de asentar la definicin de nmero debe decirse que Frege se ha servido de diversas herramientas para llegar a sus definiciones; lo primero que hizo fue determinar el sentido de las expresiones en que aparecen nmeros, ahora determin la relacin de identidad utilizando la definicin de paralelismo en la direccin de una recta. Establezcamos entonces la nocin de nmero: el nmero que pertenece al concepto F es la extensin del concepto ser similarmente numerado con F. Los nmeros "cero" y "uno" son definidos de la siguiente manera: - 0 es el nmero que pertenece al concepto no idntico a s mismo (El nmero de objetos que caen bajo este concepto es cero). Ntese que no idntico a s mismo" proviene de la lgica pura, rea donde se define la identidad y la negacin. En lgica simblica dicha definicin se expresa: x(~ x= x). Expresin sta, contrara al axioma de no trivialidad (Ver un prrafo ms adelante, la formulacin del axioma de no trivialidad y su interpretacin). En contraposicin a la interpretacin de ste axioma, se nos dice: no existe un conjunto, el universo no es algo, el universo es nada.

72

Carlos M. Mrquez

El Concepto de nmero...

-1 es el nmero correspondiente al concepto idntico a 0. Slo hay un nmero que es idntico a 0 el cual es el 0 mismo. "Ser idntico a s mismo" se expresara: x(x=x)) ste es el axioma de no trivialidad de la axiomtica ZF. El cual se puede interpretar as: "Existe un conjunto, algo es el universo, el universo no es nada". Por ltimo, pinsese si entre estos dos conceptos no existe diferencia de categora, parece que el uno es negacin del otro y no sucesor. Un problema a sealar y que por falta de espacio y de tiempo ha de quedar solamente formulado es el siguiente: EL "uno" se "genera", por as decir, del "cero" por negacin o por la operacin de sucesor? (vase con detenimiento las definiciones en trminos simblicos: 1. x(~x=x) y 2 . x(x=x)) Lo que Frege esperaba de los Grundlagen der Arithmetik era, en sus palabras: "[Poner de] manifiesto que las leyes aritmticas son juicios analticos y por tanto a priori, de conformidad con ello la aritmtica sera tan slo una lgica ampliamente desarrollada" (Frege,1971, p.160). Su proyecto se ve truncado por la paradoja descubierta por Russell, derivada del uso que hace Frege de la nocin de clase. Frege, al conocer la paradoja que se derivaba de su sistema insert en el segundo volumen de los Grundgesetze der Arithmetik un apndice en el que debilitaba algunos de sus axiomas pretendiendo eliminar las contradicciones. Sin embargo Stanislaw Lesniewski prob, luego de muerto Frege, que incluso su modificacin llevaba a contradiccin. Su error se basaba en asumir las conclusiones sobre teora de conjuntos de Cantor sin previa revisin. En conclusin, Frege fracas en su intento de derivar la aritmtica de la lgica; fracas en su intento de mostrar que la naturaleza del nmero consiste en ser objeto lgico. Tal vez pueda quedar un sentimiento de insatisfaccin al concluir de sta manera, diciendo que todo lo que hemos hecho no es ms que dar una definicin que ha fracasado. Sin embargo, muchos de los filsofos analticos (en especial Carnap y Russell) derivan consecuencias de esta definicin, importantes para sus concepciones. Conclusiones que, por cuestiones de espacio, y por no ser nuestro objetivo, no van a ser consideradas. Adems, con todos los elementos que se ven envueltos en sta definicin, Frege adelant descubrimientos en lgica y filosofa definitivos para la reflexin filosfica del siglo XX. Su despsicologizacin de la filosofa, dado que lgica y psicologa convergan en la filosofa, fue punto clave a seguir por filsofos, lgicos y matemticos. Su definicin del concepto de nmero, como se ha visto, hace pensar que la matemtica, o por lo menos la aritmtica, es de carcter lgico, y por ello, segn la concepcin de que la lgica es analtica, que la matemtica es analtica. Cuestin que nos remite desde la lgica moderna y la teora de conjuntos a la filosofa analtica. Podemos darnos por satisiechos si llegando a la conclusin de que el nmero es un objeto de tipo lgico se nos abre la mente a las concepciones de la filosofa analtica. La importancia de la definicin del concepto de nmero en trminos lgicos es asombrosa para stas concepciones. Podra decirse que el concepto fundamental de la matemtica es ste (ya que, en trminos generales, toda la matemtica puede ser reducida a la teora de los nmeros naturales); por esto, su definicin es utilizada para determinar cul es el carcter del conocimiento matemtico.

73

saga
BIBLIOGRAFA

Nmero 3 / I / 2 0 0 1

Ayer, Alfred (1990) Frege, Russell y la lgica moderna, en Los grandes filsofos, Bryan Magge, Madrid, Ctedra. Campos, Alberto (1994) Axiomtica y Geometra desde Euclides hasta Hibert y Bourbaki, Bogot, U.N. Dummett, Michel (1990) La Filosofa de Frege, en la verdad y otros enigmas, Dummett, Mxico. F.C.E. Falk de Lozada, Mara (1992) Introduccin a la Matemtica Contempornea, Bogot, U.N. Frege, Gottlob (1971) El concepto de nmero, en Seleccin de Textos de Gottlob Frege, Ernesto Battistella, Maracaibo. Universidad de zulia. (1985a) Funcin y concepto, en Estudios sobre semntica, Madrid, Orbis. (1985b) Prlogo e introduccin a Las leyes Fundamentales de la Aritmtica, en Estudios sobre semntica, Madrid, Orbis. Kenny, Anthony (1997) Introduccin a Frege, Madrid, Ctedra. Kneale, William & Martha (1980) El desarrollo de la lgica, Madird, Tecnos. Alfredo Deao(1990) Frege y el tercer reino, en Las concepciones de la lgica, Madrid, Taurus. El psicologismo (con especial atencin a la versin que de l da John Stuart Mill), en Las concepciones de la lgica. Madrid, Taurus. Enriques, Federico (1949) La lgica Inductiva de Stuart Mill, IV. 34, en Para la historia de la lgica, Madrid, EspasaCalpe.

74