TERCERAS JORNADAS DE APERTURA SOCIEDAD PSICOANALTICA

23 Y 24 DE NOVIEMBRE 2012.

El principio de Hume y la consistencia del teorema de Frege: el fundamento

lgico del nmero y su relacin con el psicoanlisis de Jacques Lacan.
Martn Krymkiewicz
.

Resumen: Cuando Frege est por publicar sus fundamentos lgicos del nmero,
Bertrand Rusell hace jaque -con su paradoja- al fundamento de la argumentacin
fregiana: el axioma de extensin de los conjuntos. Frege intenta escapar de la
paradoja agregando la Ley V, que sin embargo lleva a contradicciones (es
inconsistente). Bertrand Rusell con su paradoja a su vez, har temblar la formulacin
axiomtica de la teora de conjuntos.
Desde los aos 80 distintos matemticos sostienen que Frege parece haber ignorado
o dado por obvio el Teorema de Hume, el cual -sin embargo- parece estar implcito en
sus fundamentos lgicos del nmero. A partir del teorema de Hume, vuelve a tener
consistencia la propuesta de Frege y puede seguir sostenindose sin contradicciones
una relacin entre la lgica y el nmero, y -tal es la apuesta de Lacan- entre lgica y
lenguaje.

porque no solamente hay el nmero: hay nmero. Para decirlo todo,

veo all el punto de percepcin de la serie de los nmeros naturales, tal
como se nos expresan. Y no se expresan mal. Porque despus de todo,
estn muy cerca de la naturaleza1.
Frege se aboc a explicar como todo el palabrero, el bla-bla de la
palabra, desemboca en algo que toma cuerpo, y en lo real. Para que
eso tome cuerpo en lo real, Frege fue llevado a hacer un juego de
escrituras, cuyo estatuto est an est pendiente. Por qu todas las
estupideces que se dicen sin lmite respecto de porqu eso le dara
acceso al real? Sin embargo, el hecho es que, sin que podamos saber
como eso ocurre, el lenguaje sabe contar. O es que la gente sabe
contar gracias al lenguaje?2

Frege.

1
www.staferla.free.fr/ S18 D'UN DISCOURS...doc., pg 248 (traduccin ma)
2
http://www.ecole-lacanienne.net/documents/recherches.doc (Tout Pas-tout Lacan) Respuestas de
Jacques Lacan sobre los nudos y el inconsciente en las Jornadas de la Escuela Freudiana: Los matemas
el psicoanlisis, 31 de octubre al 2 de noviembre de 1976 (publicado en Lettres de l'cole Freudienne, N
21, agosto de 1977), pg 1810 (traduccin ma).

1
El proyecto logicista3 en el cual se inscribe la obra de Frege intenta demostrar
que la aritmtica y en particular los nmeros (a diferencia de Kant que los
propone como un producto de la intuicin) pueden ser concebidos como juicios
analticos, lo que quiere decir que son deducibles lgicamente.
En Die Grundlagen der Arithmetik (1884) Frege refiere que los nmeros no son
atributos de las cosas, ni tampoco son subjetivos (algo as como imgenes que
nos vienen internamente), sino que tienen una relacin muy particular con las
cosas: dar un nmero expresa algo factual4, factual remite a fctico5, o sea
que el nmero est en algn tipo de relacin con los hechos, con lo que las
cosas son. Tambin lo dice as:

Las verdades aritmticas rigen el dominio de lo numerable. ste lo abarca

todo, pues no slo le pertenece lo real, no slo lo intuible, sino tambin todo
lo pensable. No deberan estar, pues, las leyes de los nmeros en ntima
conexin con las del pensamiento?6

Frege sostendr que el nmero est ligado ntimamente al concepto (Begriff).

Para esto apelar a nociones relacionadas con la teora de conjuntos.
Recordemos que un conjunto puede ser concebido de dos maneras: segn su
definicin, por ejemplo el conjunto de las vacas puede ser definido
conceptualmente como una Especie de mamfero artiodctilo de la familia
Bovidae. Y tambin el mismo conjunto puede ser entendido segn su
extensin o sea como la coleccin de todas las vacas existentes.
La estrategia de Frege, para dar cuenta del nmero lgicamente, es articular el
nmero al concepto. Cuando uno define un concepto, da cuenta de un conjunto
(el conjunto de todos los objetos que caen bajo esa definicin), pero tambin y
al mismo tiempo- identifica cosas (cada uno de los objetos que cae en ese
conjunto). Retengamos esta idea: el concepto unifica y al a vez identifica

3
La fundamentacin de la matemtica ha dado origen tambin a muchas discusiones, de las que han
emergido tres posiciones distintas: el logicismo, el formalismo y el intuicionismo. Para el logicismo,
desarrollado por Frege y luego por Peano, Russell y Whitehead, la matemtica se reduce a la lgica. Para
el formalismo, defendido por David Hilbert, la matemtica puede formalizarse por completo; el mtodo
adecuado a tal efecto consiste en probar la no contradiccin de las teoras matemticas y de todos los
sistemas logsticos apropiados a ellas. Para el intuicionismo, defendido, entre otros, por L. E. J. Brouwer y
Arend Heyting, puede hablarse de entes matemticos solamente si podemos construirlos mentalmente.
FERRATER MORA, Jos. DICCIONARIO DE FILOSOFA (Vol. 2). Editorial Sudamericana. 5ta edicin
(1964), Entrada MATEMATICA, pg 149.
4
FREGE, Gottlob. Fundamentos de la Aritmtica (Die Grundlagen der Arithmetik). Investigacin sobre el
concepto de nmero. Editorial Laia. Barcelona. (1973), pgina 73.
5
Segn la Real Academia: fctico, ca. (Del lat. factum, hecho). 1. Adj. Perteneciente o relativo a hechos.
2. Adj. Fundamentado en hechos o limitado a ellos, en oposicin a terico o imaginario.
6
FREGE, Op.Cit. pgina 41.

2
unidades (objetos) que caen bajo ese concepto 7. En este sentido Frege insiste
que una asignacin de nmero contiene una afirmacin sobre un concepto 8.
Para decirlo resumidamente, para Frege primero est el CONCEPTO, bajo el
cual caen OBJETOS, que tienen una muy particular relacin con el NMERO.
El argumento de Frege es que cuando decimos, por ejemplo, que el nmero
de satlites naturales del planeta Tierra es uno, tenemos que tener en cuenta
que satlites naturales del planeta Tierra y la palabra uno son conceptos
equivalentes que apuntan (designan) el mismo objeto. Esto implica una
presuposicin fundamental: la existencia de los nmeros como objetos, como
un tipo muy particular de objeto abstracto: los nmeros son cosas lgicas para
Frege.
Tambin para Frege el es que liga a satlite naturales del planeta Tierra y
uno debe ser entendido como el = de una ecuacin, del mismo modo que la
aritmtica9. En algn sentido para Frege esta frase-ecuacin quiere decir que si
hay luna es porque bajo el concepto satlites naturales del planeta Tierra
cae un objeto que puede contarse equivalente al nmero que designa el
nombre uno en la serie de de los nmeros naturales.
Recordemos que antes citamos que para Frege la existencia del nmero
permite acceder a algo factual, en tanto da cuenta de la existencia de objetos.
La nocin de equivalencia es fundamental en la demostracin fregiana: las
cosas existen en la medida que entran en un orden de equivalencia que se
sostiene en un tipo muy particular de objeto 10 que son los nmeros. Otra
manera de decirlo podra ser: lo que existe es contable. En palabras de
Frege:

() la existencia es anloga al nmero. La afirmacin de la existencia, no

es, en efecto, sino la negacin del nmero cero (algo existe porque se lo
puede contar como siendo distinto de cero)11.

La Teora de los Conjuntos pues, est hecha para rehacer (restaurer) el

estatuto del nmero. Y lo que prueba que lo rehace (restaure), en la
perspectiva de lo que yo enuncio, es precisamente enunciar como ella lo
7
Dimensiones a las que Lacan se refiere como Einheit (unidad unificante), y Einzigkeit (la unidad
distintiva) (en el seminario 9, clase 11, por ejemplo)
8
FREGE, Op.Cit. pg 82
9
FREGE, op. Cit, pg.83
10
Una de las mayores dificultades para aceptar el argumento de Frege es que hay que asumir que los
nmeros son cosas lgicas, entes difciles de concebir para el materialismo imperante. Como si eso
fuera poco, la lgica fregiana adems requiere asumir que adems de los nmeros, los conceptos, las
extensiones y los valores de verdad (verdadero, falso) son tambin entidades existentes.
11
FREGE, op. Cit, pgina 77

3
 hace el fundamento del UNO, y hacer reposar el nmero como clase de
equivalencia.12

Lo que Frege quiere demostrar es que la existencia de nmeros est ligada (de
alguna manera lgicamente deducible) a los conceptos y, consecuentemente
los objetos.
Frege se inspira en la frase de Leibniz Eadem sunt, quorum unum potest
substitui alteri salva veritate13, para suponer que el nmero y la existencia de
objetos puede ser concebida a partir de cierta equivalencia entre conjuntos que
se caracteriza por la posibilidad de sustitucin generalizada: es en la
sustituibilidad generalizada, de hecho, en donde estn incluidas todas las leyes
de la igualdad14.
Frege (siguiendo a Leibniz) supondr que lo existente (salva veritate) 15 solo es
posible en funcin de una relacin de equivalencia entre conjuntos
(matemticamente hablando equinumerocidad), esta relacin se caracteriza
porque todos los objetos de ambos conjuntos estn en relacin uno a uno
(relacin biyectiva). Este tipo de relacin de equinumerocidad, articulada a los
conceptos (entendidos como conjuntos) implican (lgicamente hablando) al
conjunto de los nmeros naturales.
Frege concluye que el conjunto de los nmeros naturales est en cierta
relacin de equivalencia con la extensin de los conjuntos. La idea fundamental
es que todos los conceptos que comparten una misma extensin, son a su vez
equinumricos al conjunto de los nmeros naturales y es esa relacin biyectiva
la que se sostiene la existencia de los objetos y a su vez permite deducir el
nmero. De modo inverso la equivalencia equinumrica con el nmero del
objeto cero del conjunto de los nmeros naturales indica la imposibilidad de
existencia, lo que no tiene identidad, lo que no es idntico a s mismo.

Russell.

12
www.staferla.free.fr/ S19...OU PIRE.doc, pg 272 (traduccin ma). Nota de Traduccin: restaurer
(restaurar) tiene como una de sus primeras acepciones refair (rehacer) o rtablir (reestablecer), sentidos
que me parecen ms adecuados al prrafo (Diccionario Collins Francs-Espaol www.reverso.net).
13
Son idnticas, las cosas que pueden ser sustituidas entre s, sin perjuicio de la verdad. Leibniz,
Gottfried (1646-1716).
14
FREGE, op.cit, pg 89
15
Debemos considerar a lo verdadero como sostn de la existencia.

4
Como se mencion previamente a un conjunto se lo puede concebir en base a
su definicin conceptual (Especie de mamfero artiodctilo de la familia
Bovidae) o en funcin de su extensin, en el ejemplo, el conjunto efectivo de
todas las vacas.
Frege encuentra en la extensin de los conjuntos, la funcin de equivalencia,
que le permitir articular el nmero a la existencia de los objetos del mundo.
Bertrand Russell (1872-1970) en 1902 le escribe una carta Frege -que se
encontraba trabajando en el segundo volumen de sus Grundgesetze der
Artihmetik (1893)16, donde le demuestra que hay una contradiccin en la
llamada Ley Bsica V de su teora.
Esta ley es fundamental para la argumentacin fregiana porque plantea una
relacin de equivalencia entre los conceptos y sus extensiones. En su carta,
Russell le demuestra a Frege que es posible definir un concepto de manera tal
que la pertenencia de objetos a ese conjunto (recuerden que para Frege
conjunto y concepto son equivalentes) resulta paradjica. Una forma posible
(hay muchas) de la paradoja es el catlogo de los catlogos que no se
incluyen a s mismos. Si ese catlogo existe, no podra incluirse a s mismo
(por definicin), pero a su vez tendra que estar incluido en s mismo, porque
se trata de un catlogo de todos los catlogos. Lo que plantea esta paradoja es
que hay un objeto que si pertenece al conjunto, a la vez no puede pertenecer.
Otra manera de pensarlo es como un conjunto entre cuyos objetos se
encuentra el conjunto (siendo objeto y conjunto a la vez).
Respecto de la relacin problemtica entre conceptos y extensiones, en la
llamada la Ley Bsica V de Frege se llega a una conclusin imposible en la que
el dominio17 de conceptos18 tiene que ser estrictamente mayor que el dominio
de extensiones19 y al mismo tiempo el dominio de extensiones tiene que ser
necesariamente mayor que el dominio de conceptos 20.
Para nuestro inters, la paradoja de Russell revela que hay problemas entre la
definicin conceptual de un conjunto y la extensin de sus objetos, lo que haba
16
Grundgesetze debe entenderse como leyes, dado que es la presentacin formal de la tesis logicista, a
diferencia de su trabajo anterior (Grundlagen, 1884) donde presenta los fundamentos, ms filosficos de
su argumentacin.
17
Todos los objetos que caen bajo un conjunto
18
Entendido como el conjunto de todos los conceptos.
19
Entendido como el conjunto de todas las extensiones.
20
ZALTA, EDWARD N. Freges Logic, Theorem, and Foundations for Artithmetic en
http://plato.stanford.edu/entries/frege-logic/ artculo muy claro y explicativo sobre el Teorema de Frege (en
ingls), pg. 18

5
sido justamente la va elegida por Frege para sostener su argumentacin de
equivalencias.
Valga mencionar que este problemita tambin puso en jaque la teora formal
de conjuntos y que recin en 1922 ser resuelto por Zarmelo y Fraenkel
cuando formalizan definitivamente la teora de conjuntos.
Con la paradoja de Russell el intento de dar un fundamento lgico del nmero
(y la aritmtica) pareca haber cado en desgracia, se haba encontrado una
contradiccin insalvable en la demostracin fregiana.
Sin embargo21 muchas dcadas ms tarde C. Parsons (1965) y C. Wright
(1983) demuestran, independientemente, que hay una manera de derivar
lgicamente los axiomas del nmero (conocidos como los axiomas de
Dedekind y Peano) evitando la problemtica Ley Bsica V, apelando a lo que
se conoce como el principio de Hume.
En 1993, Heck observa que Frege utiliz para la derivacin de la Ley Bsica V
el principio de Hume, y se pregunta por las razones por las cuales no asumi
que este principio en s mismo bastaba para sostener su demostracin.
Se llama desde entonces Teorema de Frege la demostracin lgica del nmero
(y la aritmtica), que sin apelar a la Ley Bsica V (por sus inconsistencias entre
extensiones y conceptos) encuentra su fundamento en el principio de Hume.
La importancia del principio de Hume, es que permite utilizar esencialmente la
misma estrategia lgica fregiana: el concepto, los objetos y el nmero
vinculados en una relacin de equivalencias entre conjuntos, evitando la
relacin problemtica entre conceptos y extensiones (tal como se articulan en
la Ley Bsica V).
Recordemos que este tipo de relacin de equivalencia tiene la propiedad de
que los elementos de uno de los conjuntos pueden contar por los del otro
(recurdese la frase de Leibniz citada en pgina 4). A su vez la
equinumerocidad implica la nocin de elemento nico (!), y lo que los
matemticos definen como equivalencia material.
La nocin lgica de elemento nico y la relacin equinumrica entre conjuntos,
determinan la posibilidad de una equivalencia material entre todos los
conceptos. Esto implica que el conjunto de todos los conceptos se lo pueda
concebir organizado en clases de equivalencia (material) que en definitiva son

21
Op. Cit. Pg. 19.

6
el lugar de los nmeros naturales. Dicho de otro modo, el conjunto de los
nmeros naturales determinan clases de equivalencia material de los
conceptos. El nmero de un concepto (la cantidad de objetos que caen en su
definicin) brinda intuitivamente una dimensin de materialidad: Cuntos?.
El principio de Hume establece que a partir de una relacin particular entre
conjuntos llamada equinumerocidad se puede postular un orden de identidad
para todos los conceptos, que se sostiene en el nmero.
Las principales propiedades que constituyen la relacin equinumrica
(existencia de elemento nico y equivalencia material) entre conjuntos puede
ser concebida como fundantes de un orden de identidad, que puede resumirse
del siguiente modo: hay conceptos, que realizan (en el nmero) objetos 22.

Lacan.

Frege sent las bases para una demostracin lgica del nmero y la aritmtica,
que permite de un principio de identidad entre conceptos, que articula el
nmero a lo factual de los objetos.
Es posible conjeturar que este ha sido uno de los puntos de inters para Lacan:
la relacin del nmero con los conceptos puede ser entendida en relacin con
el SER de los objetos. Con Frege puede uno desprenderse de todo
materialismo biolgico-sustancialista. Lacan, siguiendo a Frege, alude en el
epgrafe citado que la naturaleza del mundo de lenguaje se funda en la lgica.
El nmero remite a la naturaleza de los objetos, o dicho de otro modo, los
objetos existen en la medida que (se) cuentan.
Otra de las consecuencias del teorema de Frege es que aporta una justificacin
epistemolgica de la existencia de cierta clase de objetos lgicos abstractos
(nmeros, conceptos) que permiten a los psicoanalistas concebir la realidad de
discurso (como lo existente verdadero), en una dimensin no intuitiva y
abstracta y estrictamente afn a la ciencia moderna.
Para Frege ese ente lgico objetivo llamado nmero sostiene en una
particular relacin de equivalencia con los conceptos, la verdad (y la existencia)
del mundo de objetos de lenguaje que habita el parltre23. Frege, en algn
22
a statement of number is an assertion about a concept (una asignacin de nmero es una afirmacin
sobre un concepto). ZALTA, EDWARD, op. Cit pg 44.
23
Neologismo de Jacques Lacan que conjunta habla y ser, y que A.Eidelsztein propone traducir como
hablanser. El origen del sujeto en psicoanlisis. Del Big Bang del lenguaje y el discurso en la causacin
del sujeto. El rey est desnudo. Revista para el psicoanlisis por venir. N 5. Ed. Letra Viva (2012)

7
sentido, nos brinda las ecuaciones fundamentales del moterialismo 24 del
parltre.

24
Es, si me permiten emplearlo por vez primera, en ese moterialisme dnde reside el asidero del
inconsciente En Conferencia en Ginebra sobre el sntoma (04/01/1975). INTERVENCIONES Y TEXTOS
II. Ed. Manantial. Buenos Aires (1988)