El fundamento lógico del número

Anuncio
TERCERAS JORNADAS DE APERTURA SOCIEDAD PSICOANALÍTICA
23 Y 24 DE NOVIEMBRE 2012.
El principio de Hume y la consistencia del teorema de Frege: el fundamento
lógico del número y su relación con el psicoanálisis de Jacques Lacan.
Martín Krymkiewicz
.
Resumen: Cuando Frege está por publicar sus fundamentos lógicos del número,
Bertrand Rusell hace jaque -con su paradoja- al fundamento de la argumentación
fregiana: el axioma de extensión 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 formulación
axiomática de la teoría de conjuntos.
Desde los años 80 distintos matemáticos sostienen que Frege parece haber ignorado
o dado por obvio el Teorema de Hume, el cual -sin embargo- parece estar implícito en
sus fundamentos lógicos del número. A partir del teorema de Hume, vuelve a tener
consistencia la propuesta de Frege y puede seguir sosteniéndose sin contradicciones
una relación entre la lógica y el número, y -tal es la apuesta de Lacan- entre lógica y
lenguaje.
“…porque no solamente hay el número: hay número. Para decirlo todo,
veo allí el punto de percepción de la serie de los números naturales, tal
como se nos expresan. Y no se expresan mal. Porque después de todo,
están muy cerca de la naturaleza…”1.
“Frege se abocó a explicar como todo el palabrerío, 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á aún está pendiente. ¿Por qué todas las
estupideces que se dicen sin límite respecto de porqué eso le daría
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.
El proyecto logicista3 en el cual se inscribe la obra de Frege intenta demostrar
que la aritmética y en particular los números (a diferencia de Kant que los
1
www.staferla.free.fr/ S18 D'UN DISCOURS...doc., pág 248 (traducción mía)
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 psicoanálisis, 31 de octubre al 2 de noviembre de 1976 (publicado en Lettres de l'École Freudienne, Nº
21, agosto de 1977), pg 1810 (traducción mía).
3 “La fundamentación de la matemática ha dado origen también a muchas discusiones, de las que han
emergido tres posiciones distintas: el logicismo, el formalismo y el intuicionismo. Para el logicismo,
2
1
propone como un producto de la intuición) pueden ser concebidos como juicios
analíticos, lo que quiere decir que son deducibles lógicamente.
En Die Grundlagen der Arithmetik (1884) Frege refiere que los números no son
atributos de las cosas, ni tampoco son subjetivos (algo así como imágenes que
nos vienen internamente), sino que tienen una relación muy particular con las
cosas: “dar un número expresa algo factual”4, factual remite a fáctico5, o sea
que el número está en algún tipo de relación con los hechos, con lo que las
cosas “son”. También lo dice así:
Las verdades aritméticas rigen el dominio de lo numerable. Éste lo abarca
todo, pues no sólo le pertenece lo real, no sólo lo intuible, sino también todo
lo pensable. ¿No deberían estar, pues, las leyes de los números en íntima
conexión con las del pensamiento?6
Frege sostendrá que el número está ligado íntimamente al concepto (Begriff).
Para esto apelará a nociones relacionadas con la teoría de conjuntos.
Recordemos que un conjunto puede ser concebido de dos maneras: según su
definición,
por ejemplo el conjunto de las vacas puede ser definido
conceptualmente como una “Especie de mamífero artiodáctilo de la familia
Bovidae…”. Y también el mismo conjunto puede ser entendido según su
extensión o sea como la colección de todas las vacas existentes.
La estrategia de Frege, para dar cuenta del número lógicamente, es articular el
número al concepto. Cuando uno define un concepto, da cuenta de un conjunto
(el conjunto de todos los objetos que caen bajo esa definición), pero también –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
desarrollado por Frege y luego por Peano, Russell y Whitehead, la matemática se reduce a la lógica. Para
el formalismo, defendido por David Hilbert, la matemática puede formalizarse por completo; el método
adecuado a tal efecto consiste en probar la no contradicción de las teorías matemáticas y de todos los
sistemas logísticos apropiados a ellas. Para el intuicionismo, defendido, entre otros, por L. E. J. Brouwer y
Arend Heyting, puede hablarse de entes matemáticos solamente si podemos construirlos mentalmente.”
FERRATER MORA, José. DICCIONARIO DE FILOSOFÍA (Vol. 2). Editorial Sudamericana. 5ta edición
(1964), Entrada MATEMATICA, pág 149.
4 FREGE, Gottlob. Fundamentos de la Aritmética (Die Grundlagen der Arithmetik). Investigación sobre el
concepto de número. Editorial Laia. Barcelona. (1973), página 73.
5 Según la Real Academia: fáctico, ca. (Del lat. factum, hecho). 1. Adj. Perteneciente o relativo a hechos.
2. Adj. Fundamentado en hechos o limitado a ellos, en oposición a teórico o imaginario.
6 FREGE, Op.Cit. página 41.
2
unidades (objetos) que caen bajo ese concepto7. En este sentido Frege insiste
que “una asignación de número contiene una afirmación sobre un concepto”8.
Para decirlo resumidamente, para Frege primero está el CONCEPTO, bajo el
cual caen OBJETOS, que tienen una muy particular relación con el NÚMERO.
El argumento de Frege es que cuando decimos, por ejemplo, que “el número
de satélites naturales del planeta Tierra ‘es’ uno”, tenemos que tener en cuenta
que “satélites naturales del planeta Tierra” y la palabra “uno” son conceptos
equivalentes que apuntan (designan) el mismo objeto. Esto implica una
presuposición fundamental: la existencia de los números como objetos, como
un tipo muy particular de objeto abstracto: los números son cosas lógicas para
Frege.
También para Frege el ‘es’ que liga a “satélite naturales del planeta Tierra” y
“uno” debe ser entendido como el “=” de una ecuación, del mismo modo que la
aritmética9. En algún sentido para Frege esta frase-ecuación quiere decir que si
“hay” luna es porque bajo el concepto “satélites naturales del planeta Tierra”
cae un objeto que puede contarse equivalente al número que designa el
nombre “uno” en la serie de de los números naturales.
Recordemos que antes citamos que para Frege la existencia del número
permite acceder a algo “factual”, en tanto da cuenta de la existencia de objetos.
La noción de “equivalencia” es fundamental en la demostración fregiana: las
cosas existen en la medida que entran en un orden de equivalencia que se
sostiene en un tipo muy particular de objeto10 que son los números. Otra
manera de decirlo podría ser: “lo que existe es contable”. En palabras de
Frege:
(…) la existencia es análoga al número. La afirmación de la existencia, no
es, en efecto, sino la negación del número cero (algo existe porque se lo
puede contar como siendo distinto de cero)11.
La Teoría de los Conjuntos pues, está hecha para rehacer (restaurer) el
estatuto del número. 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, pág.83
10 Una de las mayores dificultades para aceptar el argumento de Frege es que hay que asumir que los
números “son” cosas “lógicas”, entes difíciles de concebir para el materialismo imperante. Como si eso
fuera poco, la lógica fregiana además requiere asumir que además de los números, los conceptos, las
extensiones y los valores de verdad (verdadero, falso) son también entidades existentes.
11 FREGE, op. Cit, página 77
3
hace el fundamento del UNO, y hacer reposar el número como clase de
equivalencia.12
Lo que Frege quiere demostrar es que la existencia de números está ligada (de
alguna manera lógicamente deducible) a los conceptos y, consecuentemente
los objetos.
Frege se inspira en la frase de Leibniz “Eadem sunt, quorum unum potest
substitui alteri salva veritate”13, para suponer que el número y la existencia de
objetos puede ser concebida a partir de cierta equivalencia entre conjuntos que
se caracteriza por la posibilidad de sustitución generalizada: “… es en la
sustituibilidad generalizada, de hecho, en donde están incluidas todas las leyes
de la igualdad”14.
Frege (siguiendo a Leibniz) supondrá que lo existente (salva veritate) 15 solo es
posible en función de una relación de equivalencia entre conjuntos
(matemáticamente hablando “equinumerocidad”), esta relación se caracteriza
porque todos los objetos de ambos conjuntos están en relación uno a uno
(relación biyectiva). Este tipo de relación de equinumerocidad, articulada a los
conceptos (entendidos como conjuntos) implican (lógicamente hablando) al
conjunto de los números naturales.
Frege concluye que el conjunto de los números naturales está en cierta
relación de equivalencia con la extensión de los conjuntos. La idea fundamental
es que todos los conceptos que comparten una misma extensión, son a su vez
equinuméricos al conjunto de los números naturales y es esa relación biyectiva
la que se sostiene la existencia de los objetos y a su vez permite deducir el
número. De modo inverso la equivalencia equinumérica con el número del
objeto cero del conjunto de los números naturales indica la imposibilidad de
existencia, lo que no tiene identidad, lo que no es idéntico a sí mismo.
Russell.
12
www.staferla.free.fr/ S19...OU PIRE.doc, pág 272 (traducción mía). Nota de Traducción: restaurer
(restaurar) tiene como una de sus primeras acepciones refair (rehacer) o rétablir (reestablecer), sentidos
que me parecen más adecuados al párrafo (Diccionario Collins Francés-Español www.reverso.net).
13 “Son idénticas, 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 sostén de la existencia.
4
Como se mencionó previamente a un conjunto se lo puede concebir en base a
su definición conceptual (“Especie de mamífero artiodáctilo de la familia
Bovidae…”) o en función de su extensión, en el ejemplo, el conjunto efectivo de
todas las vacas.
Frege encuentra en la extensión de los conjuntos, la función de equivalencia,
que le permitirá articular el número 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
Artihmetik (1893)16,
Grundgesetze der
donde le demuestra que hay una contradicción en la
llamada Ley Básica V de su teoría.
Esta ley es fundamental para la argumentación fregiana porque plantea una
relación 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 paradójica. Una forma posible
(hay muchas) de la paradoja es “el catálogo de los catálogos que no se
incluyen a sí mismos”. Si ese catálogo existe, no podría incluirse a sí mismo
(por definición), pero a su vez tendría que estar incluido en sí mismo, porque
se trata de un catálogo de todos los catálogos. 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 relación problemática entre conceptos y extensiones, en la
llamada la Ley Básica V de Frege se llega a una conclusión 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 conceptos20.
Para nuestro interés, la paradoja de Russell revela que hay problemas entre la
definición conceptual de un conjunto y la extensión de sus objetos, lo que había
16Grundgesetze
debe entenderse como leyes, dado que es la presentación formal de la tesis logicista, a
diferencia de su trabajo anterior (Grundlagen, 1884) donde presenta los fundamentos, más filosóficos de
su argumentación.
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. “Frege’s Logic, Theorem, and Foundations for Artithmetic” en
http://plato.stanford.edu/entries/frege-logic/ artículo muy claro y explicativo sobre el Teorema de Frege (en
inglés), pg. 18
5
sido justamente la vía elegida por Frege para sostener su argumentación de
“equivalencias”.
Valga mencionar que este “problemita” también puso en jaque la teoría formal
de conjuntos y que recién en 1922 será resuelto por Zarmelo y Fraenkel
cuando formalizan definitivamente la teoría de conjuntos.
Con la paradoja de Russell el intento de dar un fundamento lógico del número
(y la aritmética) parecía haber caído en desgracia, se había encontrado una
contradicción insalvable en la demostración fregiana.
Sin embargo21 muchas décadas más tarde C. Parsons (1965) y C. Wright
(1983) demuestran, independientemente, que hay una manera de derivar
lógicamente los axiomas del número (conocidos como los axiomas de
Dedekind y Peano) evitando la problemática Ley Básica V, apelando a lo que
se conoce como el principio de Hume.
En 1993, Heck observa que Frege utilizó para la derivación de la Ley Básica 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 demostración.
Se llama desde entonces Teorema de Frege la demostración lógica del número
(y la aritmética), que sin apelar a la Ley Básica 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 lógica fregiana: el concepto, los objetos y el número
vinculados en una relación de equivalencias entre conjuntos, evitando la
relación problemática entre conceptos y extensiones (tal como se articulan en
la Ley Básica V).
Recordemos que este tipo de relación de equivalencia tiene la propiedad de
que los elementos de uno de los conjuntos pueden contar por los del otro
(recuérdese la frase de Leibniz citada en página 2). A su vez la
equinumerocidad implica la noción de elemento único (!), y lo que los
matemáticos definen como “equivalencia material”.
La noción lógica de elemento único y la relación equinumérica 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. Pág. 19.
6
el lugar de los números naturales. Dicho de otro modo, el conjunto de los
números naturales determinan clases de equivalencia material de los
conceptos. El número de un concepto (la cantidad de objetos que caen en su
definición) brinda intuitivamente una dimensión de materialidad: “¿Cuántos?”.
El principio de Hume establece que a partir de una relación particular entre
conjuntos llamada equinumerocidad se puede postular un orden de identidad
para todos los conceptos, que se sostiene en el número.
Las principales propiedades que constituyen la relación equinumérica
(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 número) objetos22.
Lacan.
Frege sentó las bases para una demostración lógica del número y la aritmética,
que permite de un principio de identidad entre conceptos, que articula el
número a lo factual de los objetos.
Es posible conjeturar que este ha sido uno de los puntos de interés para Lacan:
la relación del número con los conceptos puede ser entendida en relación con
el SER de los objetos. Con Frege puede uno desprenderse de todo
materialismo biológico-sustancialista. Lacan, siguiendo a Frege, alude en el
epígrafe citado que la “naturaleza” del mundo de lenguaje se funda en la lógica.
El número 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 justificación
epistemológica de la existencia de cierta clase de objetos lógicos abstractos
(números, conceptos) que permiten a los psicoanalistas concebir la realidad de
discurso (como lo existente verdadero), en una dimensión no intuitiva y
abstracta y estrictamente afín a la ciencia moderna.
Para Frege ese ente lógico objetivo llamado número “sostiene” en una
particular relación de equivalencia con los conceptos, la verdad (y la existencia)
“a statement of number is an assertion about a concept” (una asignación de número es una afirmación
sobre un concepto). ZALTA, EDWARD, op. Cit pág 44.
22
7
del mundo de objetos de lenguaje que habita el parlêtre23. Frege, en algún
sentido, nos brinda las ecuaciones fundamentales del moterialismo 24 del
parlêtre.
23
Neologismo de Jacques Lacan que conjunta habla y ser, y que A.Eidelsztein propone traducir como
hablanser. “El origen del sujeto en psicoanálisis. Del Big Bang del lenguaje y el discurso en la causación
del sujeto”. El rey está desnudo. Revista para el psicoanálisis por venir. Nº 5. Ed. Letra Viva (2012)
24 “Es, si me permiten emplearlo por vez primera, en ese moterialisme dónde reside el asidero del
inconsciente” En Conferencia en Ginebra sobre el síntoma (04/01/1975). INTERVENCIONES Y TEXTOS
II. Ed. Manantial. Buenos Aires (1988)
8
Descargar