Gottlob Frege Fundamentos de la Aritmética Investigacién Iégico-matemitica sobre el concepto de ntimero Con un estudio de Claude Imbert y prélogo de Jestis Mosterin editorial laia/bafcélonare resin, con edicién, original alemana fue publicada, en B Die Grandiagen der Aruhmetit, por in editorial Max und ‘Mascus. El estudio de Claude Imbert fue publicado en Paris, por Bd Seuil, en 1969 © by Dr, Theodor Marcus, Grono/Graubiinden (Schweiz) Bee salen GUE, Aa, na Tnpres ea Grins Saturo, Ande Darla 29, Barcelona Pee : Prélogo Si lo que hoy entendemos por Iégica comienza en 1879 con la publicacién de Begriffsschrift, de Frege, lo que hoy enten- demos por filosofia de la matemitica se inicia cinco afios més tarde, en 1884, con la publicacién de la (en opinién de Michael Dummet)! obra maestra de Frege, Die Grundlagen der Arith- metik (Los fundamentos de Ia aritmética), Toda la obra —incluso toda la vida— de Frege esté dedi- cada al esfuerzo por entender a fondo qué son Ios nimeros naturales y de dénde les viene a los teoremas aritméticos su peculiar ¢ inigualable seguridad. En especial, Die Grundlagen der Arithmetik es la obra destinada a dilucidar la naturaleza de los némeros. Bertrand Russell ha escrito: «La cuestion de qué sea un ntimero ha sido planteada con frecuencia, pero sélo ha encontrado una respuesta correcta hasta ahora: la dada por Frege en 1884, en su Die Grundlagen der Arithme- tik.» Y Ernst Zermelo, el fundador de la teoria axiomatica de conjuntos, no ha vacilado en afirmar que esta obra contic- ne lo mejor y lo més claro que nunca se haya escrito sobre el concepto de nimero? Primera aproximacién Frege empieza diciendo lo que los nimeros no son: los ni meros no'son cosas materiales, ni conjuntos, montones o con. figuraciones de cosas materiales; y no son propiedades de co. fpgitichael, Duxemiit: Gottlob Frege. En The Encyclopedia of Philosophy (ed. P. Edwards), vol. 3, p. 22, New York, 1967, 2 qbettrand RUssaut: Introduction to Mathematical Philosophy p. 11, London, 1919, jnetnst Zermelo, en nota a la recensién de Die Grundlagen der Arithmetik por Cantor, publicada en Georg Caxton: Gesanmelte Abhare dlugen (editadas por B. Zermelo), p. 441. Berlin, 1932,6 GOTTLOB FREGE sas materiales. Pero tampoco son algo subjetivo. ¥ no se con- funden con los signos que se refieren a ellos. Qué son, pues, los nimeros? Siguiendo su propio princi- pio de no preguntar por el significado de las palabras aisla- damente, sino en el contexto de los enunciados en que apare- cen, Frege constata que los enunciados numéricos dicen algo no acerca de objetos, sino acerca de conceptos. Y, en una primera aproximacién, propone definir recursiva y conte {ualmente (en el contexto de un enunciado del tipo «el niime- ro n corresponde al concepto P») los nimeros naturales del siguiente modo: a) El nimero 0 corresponde al concepto P si ningin ob- jeto cae bajo P. 'b) El ntimero n+1 corresponde al concepto P si hay un objeto a, tal que a cae bajo P y el nimero corresponde al concepto «cae bajo P, pero es distinto de a». Asi s6lo habriamos definido cada nimero natural n en enunciados del tipo «el ntimero n corresponde al concepto P», ero no en las ecuaciones, que constituyen el tipo mas fre- cuente de teorema matemitico. Y tampoco habriamos defini- do el concepto de niimero, en general. La primera aproxima- cidn es, pues, insuficiente. 'A continuacién nos ofrece Frege su concepcién de lo que son los ntimeros. La dilucidacién definitiva del concepto de ntimero por Fre- ge se realiza en dos etapas: en la primera se define el concep- to de ntimero cardinal, en general; en la segunda, se precisa el de niimero natural o finito. Definicion de niimero cardinal Una relacién de equivalencia entre elementos de una clase determinada es una relacién reflexiva, simétrica y transitiva en esa clase. Una relacién de equivalencia R en una clase determinada ‘A da lugar a una particion de esa clase en clases de equivalen- cia, Si b es un elemento de A, la clase de equivalencia de b es la clase de todos los elementos de A que estén con b en la relaci6n R. ‘Una manera frecuente de definir entidades matematicas © Gottlob Frece: Die Grundlagen der Arithmetik § 35. Breslau, 1884 LOS FUNDAMENTOS DE LA ARITMETICA 7 consiste en definirlas como las clases de equivalencia induci- @as por una determinada relacién de equivalencia en una cla- se previamente dada de elementos. Consideremos la clase de las rectas de un plano. Y supon- gamos dada la relacién de paralelismo entre ellas. La relacién Ge paralelismo es una relacién de equivalencia, Por tanto, Ia relacién de paralelismo da lugar a una particién de la clase de Ins rectas en clases de equivalencia, a las que lamamos direcciones. La direccién de una recta b no es sino la clase de equivalencia de b respecto a Ia relacién de paralelismo, es decir, la clase de todas las rectas paralelas a b. La idea central de Frege consiste en aplicar este mismo proceso para obtener una definicién de ntimero cardinal, Ello exige contar con un dominio previamente dado de elementos y definir en él una adecuada relacién de equivalencia. ‘Como dominio previo de elementos elige Frege la clase de los conceptos. Como relacién de equivalencia entre conceptos define Frege la relacion de biyectabilidad: El concepto P es hiyectabie (o est en la relacion de biyectabilidad) con el concepto Q si y sélo si hay una biyeccién (0 aplicacién biu- nivoca) entre los objetos que caen bajo P y los objetos que caen bajo Q. Con otras palabras, P es biyectable con Q si y solo si hay una relacién que relaciona cada objeto que ae bajo P con un (y sdlo un) objeto que cae bajo Q, y a la inversa, Estd claro que la relacién de biyectabilidad es una relacién de equivalencia. Por tanto, la relacién de biyectabilidad. da lugar a una particién de la clase de los conceptos en clases de equivalencia, a las que llamamos nimeros cardinales. Fl niimero cardinal de un concepto P no es sino la clase de equivalencia de P respecto a la relacién de biyectabilidad, es decir, la clase de todos los conceptos biyectables con P. Es lo que Frege expresa en su peculiar terminologia diciendo que el mimero que corresponde a un concepto P es la extension del concepto «equinumérico al concepto P»* 5 Tbid,, § 68, § 72. Frege no dispone explicitamente de la nocién de clase de equivalencia. Su exposicién sigue el siguiente orden: primero Gefine la Felacion de equinumericidad (0 biyectabilidad); en funcién de flla define después la nocién de miimero del concepto..; y, en fun Ge ella, define finalmente niimero, en general: una cosa es un méimero J solo si, hay algin concepto P, tal que esa cosa es el numero de P. Hsin definicién no es circular, pues la nocién de mimero del concepto, se define con independencia de Ia de niimero.