Está en la página 1de 6

La teora del nmero de Frege

Entre las contribuciones de Gottlob Frege a la filosofa de las matemticas, destaca sin duda su tesis de que la aritmtica forma parte de la lgica(i). Su formacin como matemtico le llev a afirmar que las verdades de la aritmtica son verdades lgicas objetivas, no subjetivas, siguiendo en este sentido el camino que va de Llull a Leibniz y rechazando la postura de filsofos como J. S. Mill, para quien las verdades aritmticas son verdades empricas, basadas en la observacin. Frege rechaz esta postura, as como la idea de que los nmeros no son ms que conglomerados de objetos. Un conglomerado puede ser visto como un compuesto de distinto nmero de cosas, dependiendo cmo contemos las partes. Un racimo de uvas puede contener ciento trece uvas, cada una de las cuales tiene a su vez innumerables tomos. Por otra parte, Frege tambin se opuso al formalismo que estudia la aritmtica como un sistema formal no interpretado, considerando que su sistema formal es significativo slo en cuanto a lo que los signos representan y al significado de las proposiciones. Los signos propiamente, carecen de importancia. Pretender estudiar el sistema formal nicamente es para Frege confundir el signo con la cosa significada. Esto llevara al absurdo de pensar que los nmeros no son ms que los numerales, los signos en la hoja. En ese caso deberamos estudiar sus propiedades con un microscopio. Desde su postura logicista, Ferge crey que era posible probar deductivamente todas las verdades de la aritmtica a partir de un cierto nmero de axiomas lgicos. Pero antes de ocuparse de lleno en este argumento, Frege se propone aclarar dos ideas necesarias para su demostracin y que anteriormente, tal vez por el carcter elemental de las mismas, no haban requerido la misma atencin. La primera de estas ideas se refiere a los nmeros cardinales, es decir, a ese tipo de nmeros que en teora de conjuntos se definen como la clase de todos los conjuntos tales que entre dos cualesquiera de ellos existe una correspondencia uno a uno (de tal forma que cualquier mtodo de contar conjuntos utilizando un nmero cardinal dar el mismo resultado). Para Frege, un nmero cardinal es una propiedad de un concepto, en un sentido muy especfico. Concepto es para Frege una funcin que tiene como valor de verdad los objetos abstractos Verdadero o Falso, para cualquier objeto que acte de argumento. As, el concepto tener columna vertebral, C(...), ser una funcin que tiene como valor de verdad V para cualquier argumento que sea un vertebrado. Por ejemplo, si p representa el argumento perro, C(p) ser Verdadero. Se dice que un objeto cae bajo un concepto, o una funcin, si dicha funcin tiene valor Verdadero para ese argumento. La forma ms elemental en que podemos referirnos a los nmeros sera el nmero de objetos que caen bajo un concepto F, o directamente, el nmero de Fs, lo cual no

est exento de circularidad, pero encontraremos una solucin ms elegante en los siguientes prrafos. El nmero de Fs, en teora de conjuntos, no es ms que el nmero de elementos de un conjunto F, esto es, F, o lo que es lo mismo, en notacin simblica: NxFx. La segunda idea que plantea Frege es que los nmeros son objetos, nuevamente en un sentido fregeano muy especfico. Se refiere a una clase de conceptos no ligada a intuiciones, al contrario de lo que supona Kant. Esta ltima cuestin, de la que nos ocuparemos ms extensamente, est ntimamente conectada con la tesis de que la aritmtica forma parte de la lgica. Su camino llevar de la definicin de objetos lgicos a la de objetos matemticos. Para Frege, la nocin de objeto es un concepto lgico. Mantena que las expresiones lingsticas que satisfacen ciertas condiciones sintcticas, al menos dan a entender que se refieren a objetos, en el sentido de que, como mnimo, aparentan tener referencia. Pero la definicin de objeto es un tanto esquiva por su simplicidad y Frege no pretende dar una definicin acadmica. Apenas sugiere que objeto es todo lo que no es funcin, la expresin de lo cual, por tanto, no lleva consigo un lugar vaco. Un caso podra ser, por ejemplo, el sujeto lgico de una proposicin o lo que es lo mismo, el argumento de una funcin. De esta forma, el juicio todos los hombres son mortales posee cuantificacin sobre el sujeto lgico hombres, que es el objeto que complementa la expresin no saturada son mortales, este sujeto lgico no coincide con el sujeto del anlisis sintctico tradicional que sera todos los hombres. Para Fege, los numerales son conceptos de segundo orden, como veremos ms adelante, es decir, conceptos de conceptos, que pueden ser definidos puramente en trminos lgicos, haciendo uso de cuantificadores y de la identidad. De esta forma, diremos que enunciados acerca de nmeros no son otra cosa ms que enunciados acerca de conceptos. Decir que un concepto F est instanciado una vez es decir que existe un objeto x que instancia a F, y que para todo objeto y, o bien y no instancia a F, o bien y es x. Otra idea importante es que la identidad debe tener sentido para cada tipo de objeto. As, si ----- y ...... son expresiones de objetos, entonces la funcin de identidad ----= ...... debe tener sentido tanto si ----- y ...... representan objetos de la misma categora como si no. Debe ser posible sustituir en cualquier juicio, salva veritate, la parte derecha de la identidad por la izquierda, y viceversa. Podra considerarse que los trminos numricos dan a entender que se refieren a objetos, si consideramos inferencias existenciales del tipo: 2 es un nmero primo par, luego existe un nmero primo par. Pero desde el punto de vista de Frege esto slo demuestra que los nmeros se refieren a algo, no necesariamente a un objeto, puesto que la

cuantificacin, al ser un objeto de segundo orden, tambin puede ocurrir sobre funciones o sobre conceptos. A continuacin veremos cmo se relaciona esto con su teora del nmero. Para Frege existe una condicin necesaria y suficiente para que el nmero de Fs sea igual al nmero de Gs, y esta es que el concepto F y el concepto G se encuentren en una relacin de equivalencia numrica, es decir, F es equinumrico a G. El concepto F es equinumrico al concepto G si existe una correspondencia uno a uno entre los objetos de F y los objetos de G. Esto puede expresarse de la siguiente forma: Eqx(Fx, Gx). Por lo tanto, este primer principio resulta ser: (A) NxFx = NxGx Eqx(Fx, Gx) A continuacin, Frege da una definicin explcita, cuya justificacin no es otra que la de que el principio (A) se deriva inmediatamente de ella. El nmero de Fs es definido como la extensin del concepto numricamente equivalente al concepto F, o lo que es lo mismo, la clase de todos los conceptos equinumricos al concepto F. De esta forma, el problema de la existencia de los nmeros queda reducido al problema de la existencia de extensiones. La extensin provee una referencia segura para el concepto de numero, de ah que sea una idea crtica en el sistema de Ferge. Para Frege, la extensin de un concepto no es otra cosa que su gama de valores, por ejemplo, en el caso de una funcin, su gama de valores sern los objetos que genere el mapeo completo de cada valor de argumento posible de dicha funcin. Frege tambin suele referirse a la extensin de conceptos como clases, pero no en el sentido de agregados o colecciones, sino simplemente como objetos correspondientes al mapeo completo de cada valor de argumento generado por conceptos considerados como funciones. Pero el inconveniente que se presenta en este planteamiento en base a la extensin de conceptos es que lleva directamente a la Paradoja de Russell. Frege buscaba una ley lgica general por medio de la cual uno pudiera pasar de un concepto F a su extensin xFx, lo que equivale, segn la notacin de Quine, a su famosa ley V: (V) xFx = xGx (x) (Fx Gx) Esto afirma lo siguiente. El valor de verdad de la gama de valores de una funcin F idntica a la gama de valores de una funcin G, es lo mismo que el valor de verdad de F y G teniendo el mismo valor para cada argumento. La dificultad se presenta en que a partir de aqu es posible considerar el siguiente teorema de pertenencia a una clase: para cualquier objeto x, este objeto est en la extensin del concepto F si y slo si el valor de F con x como argumento es la Verdad. Pero dado que las gamas de valores mismas son consideradas objetos, si el concepto en cuestin es el de ser la extensin de un

concepto no incluido en s mismo, se concluye que la extensin de este concepto est en s misma slo en el caso de que no lo est. Debido esta paradoja, el sistema lgico de Frege, en lo que respecta a la tesis de que los nmeros son objetos y la aritmtica forma parte de la lgica, resultaba ser inconsistente. Frege no vio ninguna alternativa posible para considerar los nmeros como objetos lgicos, ms que si es lcito pasar de un concepto a su extensin. Nunca menciona la posibilidad de aprender los nmeros como objetos de ningn tipo ms que objetos lgicos. En su estudio de la identidad Frege se centra en el estudio de tres formas especficas: 1. el nmero de Fs = el nmero de Gs 2. el nmero de Fs = 7 3. el nmero de Fs = ... donde ... representa un nombre de tipo completamente diferente, como por ejemplo la luna, Scrates o la extensin del concepto nmero primo. Las condiciones de verdad de las identidades del tipo (1) estn determinadas por el principio (A) que especificamos anteriormente. La identidad (1) ser verdadera si y slo si hay una correspondencia uno a uno entre los Fs y los Gs. Frege analiza las identidades de la forma (2) definiendo nmeros individuales como los nmeros que pertenecen a cierto concepto particular, de esta forma se ven asimilados a identidades del tipo (1). Por ejemplo, 0 es el nmero del concepto no idntico a s mismo y resulta ser el nmero de cualquier concepto en el que nada cae. n+1 ser el nmero del concepto miembro de las series de los nmeros naturales que acaban en n, es decir, la gama de valor de todas las gamas de valores iguales en tamao a la gama de valor del concepto ser idntico a uno de los nmeros entre cero y n. De esta forma, uno se define como , la gama de valor de todas las gamas de valores iguales en tamao a la gama de valor del concepto ser idntico a cero, y as sucesivamente. Para las identidades del tipo (3) resulta necesario recurrir a la definicin explcita del concepto equinumrico a que propusimos anteriormente. En base al concepto de extensin, Frege propone que el sentido de (3) es el siguiente: 1. la extensin del concepto equinumrico al concepto F = ... Y puesto que el sentido de esto ltimo ya ha quedado definido, como decamos antes (A) se sigue de la definicin explcita. En este punto podemos preguntarnos si la introduccin de la extensin es esencial a la definicin de nmero, podra considerarse que el anlisis de identidades de la forma (1) es de por s suficiente para establecer la tesis de que los nmeros son objetos. Si somos capaces de afirmar que hay tantos Fs como Gs, de forma tal que no se mencione el

concepto de nmero, podemos utilizar este anlisis como un criterio para la identidad numrica, tal como hace Frege, esto es, el nmero de Fs es el mismo nmero que el nmero de Gs y establecer con ello una referencia objetual para el concepto de nmero. Como justificacin de la introduccin del concepto de gama de valores (Werthverlafe), Frege intenta mostrar que cada nombre bien formado de su sistema posee una referencia. Para ello, sigue su famoso principio de contextualidad, nunca debemos preguntarnos por el sentido de una palabra aisladamente, sino en el contexto de la preposicin en que figura. Un nombre objeto tendr referencia si cada nombre que resulta de su colocacin como argumento en una funcin referencial de primer orden tiene referencia. Frege entenda que una funcin de primer orden era una funcin cuyos argumentos eran objetos, como por ejemplo, la funcin que ejemplificamos antes tener columna vertebral. Las funciones de segundo orden sern aquellas que aceptan funciones de primer orden como argumentos. La afirmacin anterior equivale a decir que un nombre propio tiene referencia si cada enunciado en el que aparece tiene un valor de verdad. La mayor dificultad se presenta al preguntar por la referencia de los nombres abstractos. El problema de mostrar que el cuantificador x(...x...)(ii) tiene referencia se reduce a mostrar que la igualdad x(...x...)=______ tiene un valor de verdad bien determinado, cualquiera sea el objeto que el nombre ______ represente. Esto presenta algunos problemas que son incompatibles con el realismo de Frege respecto a los objetos abstractos. Desde su punto de vista realista(iii), Frege no puede completar la especificacin del sentido de los trminos numricos y las clases abstractas. Para ello se ve en la obligacin de realizar ciertos supuestos respecto a sus referencias. De esta forma, la informacin que obtenemos acerca del sentido de estos trminos segn el principio (A) y el axioma (V) no es del todo irrelevante, puesto que permite eliminar las referencias a nmeros y clases al menos en algunos contextos, y decidir los valores de verdad de algunas proposiciones que los refieren. Estos dos principios podran denominarse definiciones contextuales parciales. Puesto que dan alguna justificacin para asumir entidades de un cierto tipo, si bien no ofrecen una garanta frente a las contradicciones, tal cual hemos visto en el caso de que una instancia de (V) da lugar a la paradoja de Russell. Finalmente, debemos preguntarnos hasta qu punto es necesario recurrir a una definicin de el nmero de Fs en trminos de clases. Sera posible obviar que la posibilidad de una definicin de este tipo es lo que garantiza que los nmeros existan. Sera ms simple utilizar la explicacin y justificacin para la introduccin de clases, de acuerdo a la cual los nmeros pueden ser reducidos por definicin, directamente para los nmeros. De esta forma, la identificacin de nmeros con clases podra an ser de utilidad para el propsito filosfico de mostrar que, en definitiva, los nmeros nos son entidades ms

problemticas que las clases. Adrin Icazuriaga Bibliografa y Referencias Gottlob Frege. The Foundations of Arithmetic. Oxford, Blackwell 1953. Charles Parsons. Mathemaics in Philosophy (Selected Essays). Cornell University Press. NY, 2005. Luis Vega Ren. Lecturas de Lgica I. Cuadernos de la UNED. Eduardo de Bustos Guadao. Filosofa del Lenguaje. UNED. W.V. Quine. Quintessence. Basic readings from the philosophy of. Harvard University Press, Cambridge, Massachusetts, 2004. Kevin C. Klement (University of Massachusetts). Gottlob Frege en The Internet Enciclopedia of Philosophy: http://www.iep.utm.edu/p/par-liar.htm Y, como resea general, un sitio especialmente recomendable, MathWorld:http://mathworld.wolfram.com/topics/Logic.html

Notas (i) Gottlob Frege. The Foundations of Arithmetic. (ii) Segn hemos visto anteriormente, se trata de una funcin de segundo orden, puesto que toma como argumentos funciones de primer orden. Dar como valor Verdadero, si la funcin argumento tiene como valor Verdadero para todos los valores de x, y dar Falso en caso contrario. Por ejemplo xC(x) es falso, ya que C( ) no es Verdadero para todos los valores de x. (iii) Para Frege, las funciones lgicas as como los valores de verdad son entidades lgicas reales que existen separadamente del mundo material y mental. Esto justifica, segn su modelo referencial, a los axiomas lgicos verdaderos, puesto que expresan pensamientos verdaderos acerca de estas entidades.