Universidad del Valle

Facultad de Humanidades
Departamento de Filosofa
Curso: Los inicios de la Filosofa Analtica
Natalia Guevara Muoz
1428787-3250

FREGE Y LOS NMEROS INFINITOS COMO SINTTICOS A PRIORI

Es evidente que Frege traz una lnea muy importante en la historia de la lgica y la
aritmtica en su tiempo, e incluso hasta el da de hoy son debatidos muchos
asuntos de su filosofa. As mismo, se han encontrado errores dentro de su sistema,
lo cual no desmerita todos los aportes realizados para la lgica actual (que son
muchos). Luego de un detallado anlisis a las crticas realizadas por diversos
autores y al leer directamente las obras de Frege, me genera la duda, Es posible
denominar a los nmeros infinitos a partir de definiciones y anlisis analticos y a
priori? A mi parecer, con la concepcin reduccionista de Frege, cae en una
contradiccin al intentar formular definiciones como infinito o el conjunto de
todos los nmeros a partir de conceptos puramente analticos y a priori, ya que
segn su teora, necesitamos referirnos a algo del mundo para obtener una
referencia de un objeto. Para argumentar esta tesis, realizar el siguiente desarrollo:
Primero, expondr la teora de Frege con respecto a la concepcin de concepto y
objeto; segundo, mostrar la teora de Frege acerca del sentido y referencia de los
objetos y trminos singulares; tercero, mostrar la posibilidad de concebir a los
nmeros como analticos a priori y sintticos a priori; cuarto, argumentar lo que
creo, son las fallas de la teora de Frege; finalmente, establecer el criterio bajo el
cual se determinan a los nmeros infinitos de manera sinttica y a priori. Para
comenzar, voy a aclarar lo que entiende Frege por objeto y la clasificacin de los
nmeros dentro de esta categora.
Frege nos explica que un objeto es un nombre propio no predicativo, el cual es
completo por s mismo y no requiere un complemento. Por ejemplo: Si decimos
Camila es profesora de ingls, en ese enunciado, Camila vendra a ser el objeto,
ya que al tomarlo de manera independiente, sigue siendo algo completo; mientras
que es profesora de ingls, necesita un complemento, un objeto que llene ese
espacio y a esto, Frege viene a denominarlo como concepto, ya que el concepto es
predicativo y requiere ser complementado. Frege afirma: Objeto es todo lo que no
es funcin, la expresin de lo cual, por tanto, no lleva consigo un lugar vaco
(Frege; 1996: 160). Por esta razn, Frege puede decir que los nmeros son objetos,
ms adelante dira que son objetos independientes, ya que un nmero es completo
por s mismo y no requiere un complemento. Aunque, cabe aclarar que las

expresiones numricas no seran objetos, sino conceptos de segundo orden (Hacen

referencia a conceptos de primer orden). Kenny nos da una explicacin ms
resumida de esto:
Al decir que un nmero es un objeto, el autor no est sugiriendo que un nmero sea
algo tangible, como lo son un rbol o una mesa. Lo que hace ms bien son dos cosas
muy distintas. En primer lugar est negando que un nmero es una propiedad que
pertenezca a una cosa, sea individual o colectiva. En segundo, est tambin negado
que el nmero sea algo subjetivo, un elemento mental o una propiedad de un
elemento mental. Los conceptos son para Frege independientes de la mente, y as no
hay contradiccin entre la tesis de que los nmeros son objetivos y la tesis de que los
enunciados numricos son enunciados acerca de conceptos (Kenny; 1997: 20).

A partir de esta explicacin y lo expuesto anteriormente, podemos concluir que los

nmeros son objetos y las expresiones numricas son conceptos de segundo orden
que necesitan un complemento. Este es el primer argumento de los nmeros de
Frege, a continuacin, vamos a explicar otro punto fundamental de la teora, que
vendra a ser el de sentido y referencia.
Para Frege, todas las expresiones deben tener dos aspectos para determinar su
significado: el sentido y la referencia. Las expresiones pueden ser trminos
singulares, proposiciones o funciones predicativas. Frege se concentra en las
primeras dos clases de expresiones: Las expresiones de trminos singulares tienen
como sentido el modo de presentarse y como referencia, el objeto. Para explicar
esto, Frege expone el ejemplo del planeta Venus. Venus puede tener dos sentidos
diferentes: El lucero matutino y el lucero vespertino, perfectamente una
persona puede concebir el planeta de la primera manera y no de la segunda,
pensando que la segunda expresin hace referencia a otro objeto. De esta manera,
podemos ver que una misma referencia (Venus) puede tener dos sentidos diferentes
(maneras de presentarse). Frege explica esto de la siguiente manera: Un nombre
propio (palabra, signo, fila de signos o expresin) expresa su sentido, se refiere a su
referencia o la designa. Con un signo expresamos su sentido y designamos su
referencia (Frege; 1996: 177). Y Garca nos da un complemento de la teora de
Frege: La referencia de un trmino singular es esa entidad objetiva por relacin a la
cual se evala la verdad o falsedad de los enunciados en que el trmino aparece y
que contribuye a configurar sus condiciones de verdad (Garca; 1996: 188).
A diferencia de los trminos singulares, las expresiones de proposiciones tienen
como referencia al valor de verdad y como sentido, el pensamiento. En estos
enunciados, para Frege, el valor de verdad est condicionado por unas
circunstancias de verdad, si esas condiciones son ptimas, el enunciado es
verdadero, de lo contrario, es falso. Aqu, puede expresarse lo que Frege llama
como El Principio de Contexto, el cual consiste en evaluar el significado de las
oraciones teniendo en cuenta la totalidad de las expresiones dentro de ella. Es
decir, no evaluar cada palabra u objeto de manera separada, sino evaluar su

pensamiento y su valor de verdad como una totalidad. Me permitir exponer dos

citas de Garca que explican muy bien esto:
En aplicacin del principio al que Frege denomin Principio de Contexto, que
formula en sus Fundamentos de la Aritmtica as: No se debe inquirir por el
significado de expresiones separadas, sino que debe investigarse sus significado en
el contexto de oraciones (Garca; 1996: 179)
Desde el punto de vista de Frege, tal caracterizacin previa se recoge en la idea de
que el significado de los enunciados consiste (en parte al menos) en sus condiciones
de verdad.
() Que un enunciado sea verdadero o falso depende del mundo, de cmo sea la
realidad. Pero la verdad o falsedad del enunciado no depende de un aspecto
arbitrario del mundo, sino de uno especficamente indicado por el enunciado
(Garca; 1996: 186).

Aqu vemos la necesidad de exponer un contexto, no slo para determinar el valor

veritativo, sino a su vez, la referencia y parte del significado de la expresin. Ya
entendida la referencia, proceder a explicar lo que Frege entiende por
pensamiento. Para l, el pensamiento es objetivo, no es entendido como el hecho
subjetivo de pensar, sino una propiedad comn a lo que tienen acceso muchas
personas. El pensamiento no es propiedad de una persona, pero s puede ser
percibido por muchos, es decir, es pblico y es percibido por cada individuo,
adquiriendo a su vez, un valor cognoscitivo con respecto al objeto. Por ejemplo: La
luna sale todas las noches, tiene como referencia el hecho y las condiciones de
verdad en el mundo real acerca de si el objeto sale o no; adems, tiene como
sentido el pensamiento informativo acerca de que la luna sale todas las noches.
Aqu vemos la relacin tan estrecha que hay entre la referencia y el sentido de los
enunciados de proposiciones. Teniendo ya en cuenta esto, voy a exponer la disputa
existente entre considerar a un nmero como analtico a priori y como sinttico a
priori.
Esta discusin surge entre Frege y Kant, en donde se pregunta por la naturaleza de
los nmeros y de cmo pueden ser considerados. Ambos estn de acuerdo con que
los nmeros deben ser considerados como un conocimiento a priori, es decir que
Si, por el contrario, es posible producir la prueba apoyndose totalmente en leyes
generales, que por su parte ni necesitan ni admiten prueba, entonces la verdad es a
priori (Frege; 199: 117). Sin embargo, hay una gran disputa entre Kant y Frege por
considerar a los nmeros como analticos o como sintticos. Ya que para Kant, los
nmeros tienen verdades que guardan una relacin con leyes especficas que no
son puramente lgicas, sino que recurrimos a otro tipo de mtodos para definir y
comprender los nmeros. Igualmente, Mill defiende que son sintticas, por el hecho
de que refieren a las propiedades de objetos del mundo y nos permite clasificarlo.
Se nos presenta este ejemplo:
La geometra es a priori, porque los teoremas geomtricos son demostrables a partir
de leyes generales (por ejemplo, por los axiomas de Euclides) y no tienen que

recurrir a lneas, figuras o cuerpos slidos en particular. Pero la geometra no es

analtica, porque sus axiomas envuelven conceptos espaciales; y esos conceptos no
son aplicables en todas las disciplinas, puesto que no todo lo que podemos concebir
es espacial (Kenny; 1997: 80)

Sin embargo, Frege insiste en que puede resolver esta problemtica, reduciendo
toda la aritmtica a la lgica y que los nmeros no tengan una dependencia con el
mundo real o lo psicolgico. Para Frege, es posible definir a los nmeros en una
relacin de incremento, definiendo al 0 como el conjunto de objetos que no caen en
l y a 1 como una relacin de identidad en donde es idntico a s mismo. A partir de
esa definicin, Frege considera que los nmeros a partir del 2 pueden ser definidos
bajo la frmula de relacin: n = (m+1). As, Frege afirma que se aleja de caer en un
solipsismo y define a los nmeros de una manera puramente analtica y a priori.
Teniendo en cuenta las teoras que se han expuesto hasta el momento, proceder a
desarrollar las crticas que deseo plantear a la teora de Frege.
La primera crtica que encuentro para realizarle a Frege es la siguiente: Recordemos
que los nmeros son objetos y las expresiones numricas son conceptos de
segundo orden. Si los nmeros son objetos, deben tener un sentido y una
referencia. El sentido debe ser la manera de exponer el nmero. La referencia, por
otro lado, no es algo que haga parte directamente del mundo, es el conjunto de los
nmeros. Pero, el nmero al ser objeto, tiene que complementar una funcin, una
expresin. Para eso, se utiliza dentro de una expresin numrica, haciendo uso as
de una expresin de concepto de segundo orden. Si se busca el sentido y la
referencia de esa expresin, vemos que refiere al concepto de primer orden de los
conjuntos, necesitando el principio de contexto para ser verificado como verdadero
o falso, es decir, requiere de su concepcin espacial, al igual que la geometra.
Frege mismo lo explica en sus textos: Lo que es simple no puede ser
descompuesto, y lo que es lgicamente simple no puede ser propiamente definido.
Ahora bien, lo lgicamente simple, al igual que la mayora de los elementos
qumicos, no est dado de antemano, sino que slo se alcanza despus de la labor
cientfica. (Frege; 1996: 208). A partir de esta afirmacin, Frege est determinando
que un objeto (nombre propio, algo simple) requiere una labor cientfica, es decir,
requiere de la aplicacin de otras ciencias, eliminando as el concepto analtico que
se tiene arriba y da paso a definirlo como un juicio sinttico de los nmeros y del
conjunto de nmeros.
La segunda crtica es: Asumiendo incluso que la referencia como el conjunto de los
nmeros no guarde una relacin con la realidad y que la definicin de nmeros
naturales de Frege es puramente lgica, nos encontramos con otro problema. Frege
adems de definir los nmeros naturales finitos, se encarga igualmente, de
extender su teora a los nmeros infinitos e intentar explicarlos a nivel lgico.
Dummett nos muestra la primera problemtica de esto:
El nmero de x tales que x donde el espacio vaco de esta expresin debe
llenarse con un predicado, no con un nombre. Si los nmeros son objetos, entonces

puede considerarse que el predicado en cuestin se aplica legtimamente a los

nmeros. De hecho, es por este medio que Frege fue capaz de dar una prueba, en
apariencia slo a partir de suposiciones lgicas, de la existencia de un nmero
infinito de distintos nmeros; y por tanto, es justo en este punto que su reduccin de
la teora de los nmeros a la lgica se viene abajo, pues, desde luego, la lgica pura
no puede garantizar la existencia de un dominio de objetos sobre el cual puede
definirse el operador que tiene las propiedades que necesita el operador el nmero
de. No hay manera alguna de salvar al sistema de Frege de la incoherencia,
porque despus de todo, fue en su interior donde surgi la contradiccin; lo que es
importante es ubicar la incoherencia de manera precisa. No surge de su nocin de
objeto como tal, sino ms bien de su concepcin de la totalidad de los objetos
(Dummett; 1990: 170)

La teora de Frege presenta una falla muy grande cuando pretende exponer en
trminos puramente lgicos, la existencia de nmeros infinitos, ya que no puede
concebir la verdad del enunciado de un nmero infinito de objetos que caen bajo el
conjunto de un nmero infinito. No hay referencia que sustente esto y mucho
menos un sentido, ya que requiere la comprensin de un nmero y de un dominio
para determinar lo que cae dentro de l. Si no hay sentido o referencia de ese
objeto, no es posible comprender lo que se pretende con un nmero infinito.
Adems, utilizando el sistema de adicin de Frege (presentado anteriormente), no
habra un objeto determinado para sustituirlo dentro de la funcin. En este punto, la
ambicin de Frege por alcanzar lo infinito, demuestra que su teora de los nmeros
naturales no puede sustentarse slo a nivel lgico. Para comprender la infinitud,
requerimos una referencia del mundo externo bajo la cual podamos realizar la
abstraccin de esta definicin. Determinando as, un juicio sinttico con respecto a
los nmeros infinitos. Dummett dejar muy en claro esto, implementando incluso,
de manera implcita, el Principio de Contexto:
Su demostracin de la analiticidad de las verdades aritmticas se viene abajo en el
momento en el que tiene que probar, a partir de principios puramente lgicos, la
existencia de un nmero infinito de nmeros naturales. Podemos, de acuerdo con
esto, dividir las verdades aritmticas en aquellas para cuya prueba o enunciacin
necesitamos apelar a la infinidad de la serie de los nmeros y aquella para cuya
enunciacin o prueba no necesitamos hacerlo (la lnea divisoria exacta variar de
acuerdo a las maneras particulares en que elijamos elaborar nuestras definiciones
aritmticas). La afirmacin de Frege de haber mostrado que los enunciados
aritmticos son analticos debe sostenerse solamente para los enunciados para los
cuales no necesitamos apelar a la infinidad de la serie de los nmeros (Dummett;
1990: 188)

La concepcin de Frege con respecto a los nmeros implica reducir a la

epistemologa y a la semntica con el mismo mtodo de la metafsica de la que
tanto se quera alejar: El conocimiento de objetos a partir de propiedades propias de
s mismo (Cf. Garca; 1996: 247). Y es a partir de estas crticas que podemos
establecer a las crticas como valederas y que establecen un juicio sinttico.
Teniendo en cuenta lo expuesto anteriormente, podemos determinar que la teora
de Frege tiene varios puntos en los que su pretensin de reducir la aritmtica a la

lgica puede ser inestable. Aun as, es posible afirmar que Frege ha acertado en el
momento de definir a los nmeros naturales finitos a partir de leyes de la lgica. Sin
embargo, hemos visto que en las expresiones numricas y las definiciones de
nmeros infinitos, no puede escapar de la necesidad de referir algo acerca del
mundo real o la aplicacin de otras ciencias. El principio de contexto puede ser
tomado como la necesidad del espacio dentro de la geometra (que es lo que
convierte a sta en sinttica), definiendo de esta forma, a los nmeros infinitos y a
las expresiones numricas como conocimiento a priori con juicios sintticos.
Para finalizar este texto, recordemos que para comprender este ensayo, es
necesario evaluar las teoras acerca de funcin, concepto, objeto, sentido y
referencia en Frege; lo que permite un buen anlisis de todos los conceptos en
Frege y permite entender los problemas de determinar a los nmeros infinitos como
objetos puramente lgicos. Me gustara recordar que durante este trabajo no estoy
restando importancia al aporte tan grande que realiz Frege a la filosofa del
lenguaje y a la lgica, tan slo estoy mostrando un lugar en donde su teora no
puede ser aplicada, es decir, estoy estableciendo los lmites de la teora fregeana.
Cabe resaltar que este escrito ha sido limitado a los escritos de Frege y unos
cuantos comentaristas con el enfoque de los nmeros, estudios externos y ms
amplios acerca de este tema, lo reservar para una posterioridad. Igualmente,
como he mencionado repetidas veces, los aportes de Frege han dado mucho de qu
hablar y estoy segura de que lo seguir haciendo.

REFERENCIAS BIBLIOGRFICAS

DUMMETT, Michael (1990). La verdad y otros enigmas. Editorial Fondo de

Cultura Econmica, Mxico.
FREGE, Gottlob (1996). Escritos Filosficos. Editorial Crtica, Espaa.
____________ (___). Fundamentos de la Aritmtica. Editorial, Espaa.
GARCA, Manuel (1996). Las Palabras, Las Ideas y Las Cosas: Una
Presentacin de la Filosofa del Lenguaje. Editorial Ariel.
KENNY, Anthony (1997). Introduccin a Frege. Editorial Ctedra, Espaa.
KLEMENT, Kevin (2012). Freges Changing Conception of Number. Theorias
Magazine, volume 78, pages 146-167. University of Massachusetts.