Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Amster Apuntes Matematicos para Leer A Lacan 2 Logica y Teoria de Conjuntos PDF
Amster Apuntes Matematicos para Leer A Lacan 2 Logica y Teoria de Conjuntos PDF
APUNTES MKfEMTICOS
PARA LEER A LACAN
2. LGICA Y TEORA DE CONJUNTOS
CfLelJ:-
CVlva
Pa b l o A m st er
APUNTES MATEMTICOS
PARA LEER A LACAN
2. Lgica y teora de conjuntos
A m ster, Pablo
A p u n te s m atem tico s para leer a L a c a n : 2 . L g ic a y teo ra de
co n ju n to s
- I a ed. - B u e n o s A ires : L etra V iv a , 2010.
218 p. ; 22 X 14 c m .
I S B N 978- 950- 649- 271-7
1. P sicoanlisis. I. T tu lo
C D D 150.195
E d ic i n a l c u id a d o d e L e a n d r o S a l g a d o
P rohibida la rep rod u ccin total o parcial de esta obra bajo cu alqu ier
m todo, incluidos la reprografia, la fotocopia y el tratam iento digital,
sin la p revia y expresa autorizacin p o r escrito de los titulares del
copyright.
In d i c e
P r e f a c io ..................... ................................................................................ 9
C a p t u l o 1. N o c i o n e s
b s i c a s d e l g i c a ..................................... 13
in d u c c i n m a t e m t ic a
Y EL SISTEMA DE PEANO.....................................................................59
C a p t u l o 3. L a s r e g l a s d e a l - j a b a r
F ib o n a c c i r o b a d o . 71
d e m o s t r a c i n d ia g o n a l :
87
88
94
Eplogo .......................................................................................... . 9 7
C a p t u l o 5. L a
v id a s in l a b o l s a :
151
o r d in e
La c r e a c i n ....................................................................................170
Ciencia, M atem tica, R e lig i n ................................................173
U n Dios tau to l gico ....................................................................177
Im agen y S e m e ja n z a ........... ..................................................... 179
Consistencia, Inconsistencia................................................... 186
C a p t u l o 8. Pa s c a l , a h a r n
y l a p o t e n c i a d e l d o s ......... 189
Bib l io g r a f a
217
Pr e f a c io
no cesa de no escribirse
cesa de no escribirse
Hay una frase del seminario ...ou pire que se ha hecho cle
bre: no hay enseanza ms que matemtica, el resto es broma.
Al margen de las muy dispares valoraciones que existen sobre
la enseanza lacaniana, este trabajo busca -un poco en bromaapoyar esta postura, ofreciendo algunos elementos que ayuden
a abordarla.
El lector advertir que determ inados temas se repiten en dis
tintos captulos; tal repeticin obedece a la finalidad de que cada
seccin se encuentre autocontenida y pueda ser as leda en for
m a independiente.
l.i, cMi cl Condo, de belleza: en todo caso se trata, tal corno la des
cribe el filsofo y matemtico ingls Bertrand Russell, de
...una belleza fra y austera, corno la d e la escu ltu ra, q u e si
no presen ta atractivos p ara las partes m s d biles de n uestra
n atu raleza y carece de las brillantes galas de la p in tu ra o de la
m sica, es su b lim e m en te p ura y su sceptible de la p erfecci n
severa que slo el arte m s gran de puede exhibir. El verdadero
espritu d e deleite, la exaltaci n, el sen tid o de ser m s que
h o m b re, p ied ra de toq u e de la m s alta excelen cia, co n tod a
segu rid ad p u ed e hallarse en las m atem ticas a la p ar que
en la poesa. Lo m ejor que h ay en las m atem ticas no slo
m erece ap ren d erse co m o tarea, sin o asim ilarse co m o parte
del p en sam ien to co tidian o y ser trado u na y m s veces ante
el espritu con ard o r reiterado.
Pablo Amster
Junio 2009
Ca p t u l o
N o c io n e s b sic a s de l g ic a
i.
D e f in ic i
d e l a d e f in ic i n
Ver captulo 5.
2.
Q u
s i g n i f i c a s i g n i f i c a r ?
Pa b l o A m s t i r
3.
La s
l e y e s d e l p e n s a m ie n t o
Esta seccin lleva el mismo ttulo que la famoso libro del lgi
co ingls G. Boole, considerada por los historiadores como el pri
mer desarrollo de la lgica formal. Pero debemos decir que The
laws o f Thought era un ttulo demasiado ambicioso, y la propia
Lgica no tardara en revelar que las ansiadas leyes no existen.
Claro que eso no significa que pensemos sin ley alguna (al menos
no siempre); sin embargo, los mtodos lgicos se toparon muy
pronto con sus propias limitaciones y sufrieron su golpe defini
tivo con los sucesivos teoremas de Godei, Tarski, Church, segn
veremos ms adelante. De cualquier modo, es justo reconocer en
la obra de Boole el nacimiento de la Lgica. Es interesante men
cionar que pocos aos antes de la aparicin de su obra, el filsofo
alemn Immanuel Kant haba asegurado que la Lgica
...seg n tod a v ero sim ilitu d , p are ce esta r c o n c lu sa y p erfecta.
3.
4.
4.
e d u c c i n
in d u c c i n
a b d u c c i n
De todas maneras, negarse a admitir la ley como verdadera podra ser visto por
algunos com o una necedad, algo as como buscar la quinta pata al oso. Un ca
rcter diferente presentan enunciados tales como
Los cuadrpedos tienen cuatro patas,
cuya verdad es tautolgica. En efecto, la propiedad de tener cuatro patas no es
otra cosa que la definicin del concepto cuadrpedo.
Pn
L g i c a
a r is t o t e l ic a
(A u )' = A Cr\B c
() = '
en la teora de conjuntos7. Mencionemos finalmente a la relacin
de inclusin, muy cercana a la implicacin: tanto, queen la teora
tie conjuntos el principio de identidad toma la forma
VA: A c : A
Resulta claro: dicho principio, en la Lgica, dice que cualquier
proposicin p verifica:
P^P
{p implica p)
Por eso, dado un conjunto A y cualquier objeto x del univer
so, tomando como p el enunciado x e A" se obtiene
x e A => x e A,
que en otras palabras se lee: A est incluido en A.
La teora de Cantor permite el libre empleo de un enunciado
conocido como axioma de abstraccin. En l se basan las defi
niciones por comprensin antes mencionadas, que en principio
permiten construir a partir de cualquier funcin proposicional
el conjunto de todos los objetos del universo que la satisfacen:
{ * / U ) }
La nocin de funcin proposicional", tan comn en la Lgi
ca, es -como veremos- una especie de predicado sin sujeto. Por
ejemplo, la oracin
() = x es mortal
carece de sujeto: cualquier valor que se le asigna a la variable x
pasa a cumplir ese papel y le da a la oracin el carcter de pro
posicin.
El axioma de abstraccin parece ms que aceptable, razn por
la cual Frege no tuvo reparos en emplearlo para definir al conjun
to vaco. Claro, esta definicin no es e-vidente, pues el concepto
es muy lejano a nuestra intuicin: segn entendimos, un conjun
to es una coleccin de cosas, luego... cmo pensaren una colec
cin que no tenga nada? Cualquiera puede decirse coleccionisl.i
7.
= { x / }
Es claro que nadie no indica persona, sino que se refiere a una propiedad que
ningn objeto del universo satisface. Borges hace un empleo interesante de di
cho vocablo en Las ruinas circulares:
Nadie lo vio desembarcar en la unnime noche, nadie vio la canoa tic bamb
sumindose en el fango sagrado, pero a los pocos das nadie ignoraba...
B o r g i s , 19 7 6
Vemos as que es ms sencillo ponerse de acuerdo acerca de lo que liay que acer
ca de lo que no hay. Macedonio Fernndez se manifestaba en coni r.i de produc
tos tales como las galletas sin sal, pues existe una infinidad de cosas que las ga
lletas no tienen. Com o sea, a veces pensar en el complemento restitu ventajoso;
por ejemplo para recibir regalos de no-cumpleaos, talcoinodcuuicslra I lumpty Dumpty a una desconcertada Alicia (L. Carroll, op.cit.). Sobre el problema on
tolgico de lo que hay, algo veremos en el ltimo captulo.
().
n u n c ia d o s
c a t e g r ic o s
10. Com o dijimos, la paradoja lo arruina todo, una situacin comparable con la
maldad que comprueba Dios en el hombre, pocas generaciones despus de ha
berlo creado:
...toda imaginacin de los pensamientos de su corazn era solamente mala to
dos los das (Genesis VI, 5)
La solucin que encuentra Dios es casi tan drstica como la de Russell:
Borrar al hombre que he creado de sobre lafaz de la tierra, desde el hombre has
ta la bestia, hasta el reptil y hasta el ave del cielo, porque Me arrepiento de haber
los hecho. (Genesis VI, 7)
Como sea, No hall gracia en los ojos del Seor: en la teora de conjuntos di
cho rol de "justo en su generacin bien podra ser cumplido por el conjunto va
co, que va a ser la base de la rigurosa teora de Zermelo-Fraenkel. Como el vaco,
tambin No est despojado" cuando se queda dormido en medio de su tienda,
aunque sus hijos mayores no tardan en cubrir esta desnudez con un manto.
contrarias
subalternas
subalternas
7.
Cuad
rante de
P e ir c e
l A lll.O A
L G IC A Y T E O R A D E C O N JU N TOS
8.
m stkk
il o g is m o s
TodoS es P
Ningn S es P
Algn S es P
Algn S no es P
I untemos traducir una a una las premisas, y representarlas a to(Lis en un nico diagrama:
Premisa i: Ningn S es P
S
R
En efecto, sabemos que hay por lo menos un elemento comn
.1 S y R, pero la premisa por s sola no nos permite decir a cul de
las dos regiones de esta interseccin pertenece (acaso haya ele
mentos en ambas). Por eso escribimos provisoriamente un 1 so
bre la lnea divisoria, hasta tanto recopilemos toda la informa
cin disponible:
Premisas i y 2:
Ningn S es P
Algn S es R
o c io n s
iiA s k a n
d i
i/ ii ic a
Premisas i y 2:
Conclusion 1:
Algn S es P
Todo P es R
Algn S es R
R
Premisa 3 y Conclusion 1:
R
Todo R e s T
Algn S es R
Conclusin:A/gn S es T.
En otras palabras:
Algunas estufas son muy apreciadas por mi abuelo.
Estos razonamientos se denominan sorites; en ocasiones la
conclusion parece muy alejada del punto de partida, porque pue
den ser muchos los silogismos que se concatenan. Esto termina
de explicar la idea de vasta tautologa mencionada en la pgi
na 20: todo teorema, por complicado que parezca, no resulta en
el fondo otra cosa que el encadenamiento de cierto nmero de
pasos triviales.
Tambin pueden presentarse silogismos en forma incomple
ta, omitiendo alguna de las premisas, por ejemplo:
Ninguna persona respetable roba el sombrero a sus semejan
tes; en consecuencia, nosotros no robamos el sombrero a nues
tros semejantes.
Para que el razonamiento sea correcto, se debe intercalar la si
guiente premisa, cuya verdad puede merecer alguna objecin:
Nosotros somos personas respetables.
A estos razonamientos incompletos se los conoce como entimemas. La premisa que se omite se da por sobreentendida, pero no re-
N
El diagrama muestra que -mal que nos pese- nuestra respe
tabilidad no se sigue de las premisas. Felizmente tampoco se si
gue la presuncin contraria; en rigor, el propio diagrama deja ver
que las premisas no permiten extraer conclusigli alguna.
9.
S in t a x is
y s e m n t ic a d e lo s l e n g u a je s f o r m a l e s
No
IU N H S Ii A s K 'A S D ii L G IC A
( onsiilei emos para comenzar ciertas proposiciones denomin.iil.isfmj'cas, que se indican por medio de las letrasp, q, r, etc.
Se definen adems diversos operadores, llamados genricamen
te l oiicctivas: entre ellos los ms comunes son
la negacin, denotada por medio del smbolo -,
la conjuncin o et ()
la disyuncin o ve/ (v)
la implicacin (=>)
la disyuncin exclusiva ()
la equivalencia lgica, tambin conocida como si slo
si ( )
listo permite formar distintos tipos de proposiciones com
puestas, por ejemplo
pvq
p=>q
-.p A q
{p = > q ) v ^ r
Como se ve en el ltimo caso, si se pretende combinar me
diante conectivas ms de dos proposiciones, se hace preciso in
troducir parntesis, a fines de evitar la ambigedad en la escri
tura. El proceso que permite definir las proposiciones es induc
tivo; toda proposicin compuesta se define a partir de las propo
siciones atmicas mediante las siguientes reglas:
1) Si p es una proposicin, entonces ip es una proposicin.
2) Si p y q son proposiciones, entonces
p/\q
pvq
p=>q
pyq
p<=>q
son proposiciones11.
11.
(p v q )
(p = > q )
(p v q )
(p< = > q)
Sin embargo, existe un sistema (denominado notacin polaca) que permite evitar el
empleo de los parntesis; de todas formas, se suele preferir la escritura clsica, pues
resulta ms clara. Lacan le da una especial importancia a los parntesis en el Semi
nario sobre La carta robada, en especial en la seccin Parntesis de los parntesis
(ver J.Bekerman, P.Amster, 1999).
io . T
a b l a s
d e v e r d a d
Una vez dadas las reglas que permiten formar las propo
siciones, se define el valor de verdad como una funcin que a
cada proposicin le hace corresponder el valor V (verdadero) o
F (falso) a partir de los valores de sus tomos. La manera habi
tual de presentar a tal funcin es por medio de las tablas de ver
dad] por ejemplo, el valor de verdad para la negacin se estable
ce de modo tal que si p es verdadera, entonces su negacin es
falsa, y viceversa:
n e g a c i n
"P
p/\q
p v ,?
IMPLICACIN
P
V
DISYUNCIN EXCLUSIVA
p
V
____
____
__ ................... ............
V
EQUIVALENCIA LGICA
p
co n ju n ci n
d isy u n c i n
11. L e y e s
l g ic a s
Las anteriores tablas de verdad perm iten dem ostrar las den o
minadas leyes lgicas o
liemos dado a esta palabra al recordar la frase de Russell, una tauIo logia consiste sim plem ente en una proposicin cuyo valor de ver
dad es i, independientem ente del valor de sus com ponentes13. H ay
cilgunos ejem plos m u y sencillos, com o el
principio de identidad:
P^P
que se dem uestra por la tabla
p=>p
-, p)
-p
p A -"p
-'( -' )
p v -n p
-P
pv^p
<
/- S
S:
r
p
V
14. A grandes rasgos.dicho principio establece que en cualquier frmula, una expre
sin puede reemplazarse por otra equivalente. Por ejemplo, a partir de la igual
dad 4 = 2 + 2, podemos reemplazar al valor 4 en la frmula
4 <25
para obtener:
2 + 2 < 25
15. Para demostrar la equivalencia entre dos proposiciones, basta con verificar en
la tabla que las respectivas columnas son idnticas. En muchos textos la equi
valencia se denota mediante el smbolo para distinguirla de la igualdad entre
proposiciones: por ejemplo, las frmulas equivalentes (p q) y (q p) no son
sin embargo iguales. Es fcil demostrar que dos proposiciones p y q son equiva
lentes si y slo si la frmula (p q) es una tautologa.
V
V
p=>q
^ (p = > q )
T>
p => q = -P V q
Otro tanto ocurre con la equivalencia lgica, que no es otra
cosa que la conjuncin de dos implicaciones,
p O q = (p => q) (q => p) = (-.p v q) (-,<:/ v p)=
.p V q) V
q v p)\
y tambin con la disyuncin exclusiva, que se puede pensar en
base a las anteriores de distintas maneras:
P q = -, (p
P 1
F
['
['
p 1q
ip\q) 1(p\q)
Adicin
p=> (p v g)
Enunciado contrarrecproco
(p => g) = (-.g => -.p)
Transitividad de la implicacin
(p => q) (g => r) => (p => r)
Ley asociativa para el et
[(p q) r] = [p (g r)i
Ley asociativa para el ve/
[(pv q) v r] = [p v (gv r)]
Ley asociativa para la equivalencia
[(p o ? ) o r ] = [ p o ( o )]
Leyes conmutativas para et, vel y equivalencia'.
p g = g
pvq=qvp
p o q = q<^p
Leyes distributivas, del et respecto del vel, y viceversa:
(p q) v r = (p v
) (g v r)
(p v g) = (p
r) v (g r)
12. V a
r ia b l e s
l ib r e s y
c u a n t if ic a c i n
VX,------ --------
Se dice tambin que es una frmula abierta, que se cierra al po ner un sujeto -o, si se quiere, sujetar- a la variable libre. En rea
lidad existe otra manera de cerrarla, dada por la cuantificacirt.
La Lgica Matemtica introduce a las variables como trminos
del lenguaje formal, que a su vez pueden combinarse para formar
nuevos trminos; luego, se definen las frmulas de un modo in
ductivo similar al mencionado en la seccin 9'8.
Se hace necesaria, sin embargo, una nueva y misteriosa regla
denominada de cuantificacin:
Si es una frmula, entonces Vx: / son frmulas.
Es decir, las frmulas se pueden cuantificar: por ejemplo la
frmula abierta
() = x colecciona mariposas
da lugar a las frmulas
Vx: ()
/ ()
o i 'IO N K S
DANICAS D ii L G IC A
Vx: ()
Vx: -.()
1 /()
3x /-^ (x )
( / ())
h(x): x es hombre
m(x): x es mortal
s(x): x es Scrates
Premisa 2
luego,
Conclusin Vx: s(x) => m(x)
El clculo se verifica entonces una vez que probamos que las
dos premisas implican la siguiente frmula:
Vx: [s(x) => h(x)] [h(x) => m(x)]
De este modo, la conclusin no es otra cosa que una conse
cuencia de la transitividad de la implicacin.
Para concluir esta seccin, podemos retomar los conceptos
antes sugeridos de frmula cerrada y frmula abierta, para defi
nirlos con mayor precisin21.
Una frmula se dice abierta cuando contiene variables libres,
es decir: no cuantificadas.
Una frmula se dice cerrada cuando no es abierta.
Se desprende de lo visto que existen bsicam ente dos maneras
de cerrar una frmula y transformarla as en proposicin: asig
nar valores a cada una de sus variables, o bien cuantificarla.
13. l g e b r a d e c l a s e s
a =a
2) Tercero excluido
a u a c= U
3) No contradiccin
a n a c= 0
4) Interseccin con clase universal
an U=a
5) Unin con clase nula
a u 0 =a
6 ) u y n son asociativas; es decir, para a, P, y
cualesquiera vale
(a u (3) u y = a u ((3 u y ); (a n |3) n y = a n ( P n y )
7)
u y n son conmutativas; es decir, para a, |3
cualesquiera vale
a u (3 = (3 u ;
a n (3 = 3 n
8) Leyes distributivas:
( a u p ) n y = ( a n y ) u ( p n y);
( a n P) u y = ( a u y) n (P u y)
23. En efecto, el principio establece que dos conjuntos que tienen la misma exten
sin son iguales. En otras palabras:
Dos conjuntos son iguales si y slo si tienen los mismos elementos.
Esto nos lleva a pensar en la famosa frase de Gide: de alguna forma, se trata de
un Dos que se regocija de ser Uno. En el Seminario XIX, Lacan relaciona a la ex
tensionalidad con la mismidad.
Ca p t u l o 2
La in d u c c i n m a t e m t ic a y e l
sist e m a de
Pe a n o
1.
I.
Y as sucesivamente,
dado que el segundo cae, el tercero cae tambin;
dado que el tercero cae, el cuarto cae tambin,
Lista agotar el estante. Observemos que para llegar a esta con
clusin, slo nos hizo falta informacin precisa sobre el primero
de los libros, y conocer la regla inductiva (4).
I,a pregunta que cabe hacerse ahora es: qu ocurre cuando el
i'si ante es inagotable? Tal es el caso, precisamente, de los nmeros
naturales, en donde la regla (3) indica que la veracidad de P para
im nmero n induce la veracidad de P para el siguiente de n.
P(o) - > P ( ) ^ P ( 2 ) - > . . .
5.
B. Russell, 1946).
o
@n+1 3n ^
En otras palabras, se establece un primer elemento a0 y una
regla recursiva que nos dice cmo obtener el trmino an+, una
vez que conocemos el trmino an. Esto permite construir paso a
paso la sucesin:
a0= 2
a, = 0 - 2 = 4
a2 = 3a, - 2 = 10
a} = <2- 2 = 28
Existen diversos ejemplos interesantes de sucesiones defi
nidas por recurrencia; entre ellas, cabe destacar a la ms famo
sa entre las famosas, en la que sucesivos matemticos han en
contrado notables muestras de armona: la sucesin de Fibona
cci. En ella cada trmino recurre no a uno sino a los dos trmi
nos precedentes:
o o,
a, 1,
a n+2 a n+l + a n
De esta manera se obtiene:
a2 = a, + a = i + o = 1
a3 = a2 + a, = 1 + 1 = 2
a4 = a} + a2 = 2 + 1 = 3
a5= a4 + a3 = 3 + 2 = 5
a6 = a, + a4 = 5 + 3 = 8
Es un interesante ejercicio comprobar algunas de las mgi
cas propiedades de estos nmeros, por ejemplo:
1) Los trminos a y a Hson primos entre s o coprimos.
Por ejemplo, para n = 5 vemos que a5 = 5 y a6 = 8 no tienen di
visores comunes mayores que 1.
2) Frmula para la suma de los primeros n trminos:
a0 + a, + ... + an.,= a,1+, -1
Por ejemplo, tomando n = 11 se verifica:
a0 + a, + ... + = o + 1 + 1 + 2 + 3 + 5 + 8 + 13 + 21 + 34 + 55 =
4 3 = a - 1
= 1,618033988
EL S IST E M A D E P EA N O
2.
P r o p i e d a d l)
P r o p ie d a d
2)
Todo nmero es distinto de su siguiente.
Ca p t u l o 3
L a s r e g l a s d e a l -j a b a r y
Fib o n a c c i r o b a d o
a *b = ab
A su vez, cuando decimos que T es generado V nos refe
rimos a que toda oracin s es una sucesin finita de palabras o
elementos de V:
s = w,...wn
endondew,,..., wnpertenecen a V. Finalmente, la libertad de T con
siste, intuitivamente, en el hecho de que no se define relacin algu
na entre los elementos de V, y en consecuencia no se puede cancelar
o sustituir cadenas. En resumen, T es el conjunto de todas las suce
siones finitas de elementos de V: por ejemplo, para el vocabulario
V = { A , B , C}
resulta
T = { A, B, C, AA, AB, AC, BA, BB, , AAA, ,... }'
Un lenguaje es un subconjunto de T al que, siguiendo la de
nominacin sugerida por Riguet en el Seminario 2, denotaremos
WF: oraciones well formed o bien formadas.
Una gramtica generativa de WF es un conjunto finito de re
glas, denominadas reglas gramaticales, que permiten determinar
los elementos de WF en base a una descripcin estructural\ Este
es el caso de la teora de los sistemas formales y otros aspectos de
la lgica matemtica como las mquinas de Turing y lasfunciones
recursivas. A modo de ejemplo, vale la pena mencionar las reglas
que permiten describir las sintaxis de los diversos sistemas que
aparecen en el Seminario sobre La carta robada: para
V = { +, } (caras y cecas)
se tiene que
T = { +, , ++, h, , , +++,... }
En este caso, el azar de la moneda establece que puede darse
cualquier secuencia de caras y cecas, lo que implica que
WF = T
1.
2.
En forma anloga, pero no al nivel de la palabra sino al de la letra, se puede con siderar un conjunto finito A llamado alfabeto, y el conjunto W de palabras d e
finido com o el semigrupo libre generado por A, que comprende todas las suce
siones finitas de letras.
Verporejem plo Bar-Hillel, Languageand Information: Selected Essays on Their
Theory and Application. Addison-Wesley, Reading, Mass, 1964.
++
+ +
-> 3
+-1
- ++
-- +
+ _
-
1
-
12223211233223
im p a r impar impar
par
a,
p,
y, 5
a.
fi,!
IT
2T
ig r e s i n
:a
l g e b r a y a n l is is
ib o n a c c i
r o b a d o
+
2
(3
y, 5
IT
3T
Longitud 2:
ota, aP, Py, P5, yy, y, a, 8p
Longitud 3:
a a a , , |3, , , PyS, , psp, yyy, yyS, 8,
5, aa, 8aP, 8Py, 5p8
Longitud 4:
a a a a , , , , , aPy 5, ... etc.
Cabe aclarar una vez ms que no se trata de palabras bien for
madas en el sistema original: para obtener una es preciso interca
lar dos de las secuencias que aparecen en esta lista. Obviamente
las longitudes de ambas deben ser compatibles; por ejemplo, es
posible intercalar una palabra de cuatro con una de tres:
intercalada con y8a da .
Ahora, ya que hemos hablado de lettres voles, podemos con
siderar aquellas secuencias de nuestra ltima lista que omiten al
guna letra, por ejemplo la a. No es una idea nueva: al fin y al cabo,
existen novelas enteras (como las del grupo Oulipo) construidas
segn la regla de no emplear alguna de las vocales. Si llamamos
c(n) a la cantidad de secuencias de longitud n que no contienen
ninguna a, es inmediato comprobar que
c(i) = 3 (pues a no aparece en P, y, 8)
c() = 5 (pues a no aparece en Sp, Py, p8, yy, y8)
() = 8 (pues a no aparece en 8Py, 8p8, Pyy, Py8, pp,
Til, YY> ySP)
Continuemos un poco ms con el escrutinio de los valores
que siguen:
c(4) = 13
c(5) = 21
c(6) = 34
Esto ya parece suficiente como para efectuar una observacin:
3, 5, 8,13, 21, 34... no conocemos ya a estos nmeros? Los vimos
hace muy poco; se trata de los nmeros de Fibonacci. Si bien las
dos sucesiones no comienzan a la par, se puede demostrar que
c(n) es exactamente igual a F,t+3, el +3-simo trmino de la pro
digiosa secuencia. Otro tanto ocurre con y, pero no con PyS.
I____________________________________________ I_______________________________ I
Ahora, de la expresin
cp
----- 7~ = ,+
1 + i.
1 + V
Si continuamos este proceso ad infinitum, no es difcil con
cluir que
.
1
= 1 + --------1+^V
<P= 1
a = I+
a3 = 1 +
i+- L
1+ 1
vo pienso
yo soy
vo pienso
yo soy
vo pienso
yo soy
vo pienso
l+'
/+ 1
a =i +
* + /+i
1-/
/+ 1 ~ 2
Esto permite obtener el segundo valor de la sucesin:
i+1
Luego
1
a = i H----- = 1,
/. = / + = i !
J
a o = / + 1 = /,
a<
'
Es preciso tener cuidado con la forma en que se efectan los "recortes sucesivos
de la fraccin, pues no siempre el resultado es aceptable. Por ejemplo, si en vez
de "cortar por lo sano" se nos ocurre cortar por lo imaginario, obtenemos:
a, = i
I i1 + 1
a} = i + - = ; = o
/
Entonces, cuando intentamos calcular el trmino siguiente nos topamos con
una dificultad, que impide la definicin correcta de la sucesin:
a = i + ---- - = / + - = ??
I
0
i +7
/
Ca p t u l o 4
LA D E M O S T R A C I N D IA G O N A L :
U N A C R U Z A D A C A N T O R IA N A
E. Cadcamo, A n cla o
en Paris
i. U n
a n te c e d e n te s o c r tic o
T
2.2 = 4
1
-
2.
Las citas de esta seccin corresponden a j Lacan, Sem inario 2, clase II: Saber,
Verdad, Opinin.
V2.V2 =2
Cabe sealar que diagonal proviene del griego digein, que significa conducir a
travs. Segn Lacan
el esclavo, con toda su reminiscencia y su intuicin inteligente, ve la buena for
ma, si cabe expresarse asi, a partir del momento en que sta le es sealada.
2 . L A S PA R A D O JA S DE LA ID E N T IF IC A C I N
16
...
25
36
...
Claro que hay otro uno, esta vez sin maysculas, que permite
generar la sucesin de nmeros naturales y ha sido definido como
el conjunto cuyo nico elemento es el conjunto vaco:
i = { 0 }6.
De esta forma el nmero se constituye con ayuda de la funcin
de sucesor: el 2 como sucesor de 1, el 3 como sucesor de 2 y as ad
infinitum. La operacin es simple: basta con agregar al conjunto
que define al nmero n el propio n, esta vez como elemento.
2 = o u {o } = {0}
2 = i u { l ) = {O, }
3 = 2 {2} = {o, 1, 2}
7.
En efecto, podemos pensar por ejemplo que la pelcula original Rambo no fue
Rambo I hasta que no surgi una segunda parte que la continuara. Hay que de
cir que, para nuestra fortuna, esta secuencia se detiene antes que la de los alefs.
4. E
b ic h o
d e
lo
n o
-n
u m e r a b l e
00
00 + QO
00
0 0 .0 0
00
00
oo
Por otra parte, resulta claro que un infinito as pensado debe ser
naturalmente mayor que cualquier nmero natural; este infinito,
podra decirse, es lo ms grande que hay. Sin embargo, tal idea se
revel falsa en las imperturbables manos de Cantor, que borraron
de un plumazo la aureola mstica que rodeaba al infinito y lo trans
formaron en una entidad con la que se puede operar en forma pre
cisa, algebraica. Para decirlo correctamente, no se trata de una sino
de infinitas entidades, como mencionamos en la seccin anterior:
una secuencia ordenada de alefs. De esta manera NOIel infinito nu
merable, se convirti de alguna forma en lo ms chico que hay; en
el fondo, el Y a de lUn lacaniano no consiste sino en tomar
a1
a2
a-i
b\
h,
64
C|
Cn
C}
c4
d.
d2
d .,
d4
9.
verifica:
a es distinto del primer nmero de la lista (pues difieren en
la primera cifra decimal)
a es distinto del segundo nmero de la lista (pues difieren en
la segunda cifra decimal)
a es distinto del tercer nmero de la lista (pues difieren en la
tercera cifra decimal)
a
a
a
a
0, 1 a2 a-i
0, b\ b2 bi
0, C\ Ci
0, dt d2 t/3
*
*
*
a4
*4
c4
</
a = i i + * s'i
'
etctera.
si a ] 8 o 9,
I.IMLOGO
Ko
0 + 0
Ko
K q.K o
Ko
lbid, clase del 1/6/72. La cita recuerda aquella definicin de Ionesco segn la cual
si uno acaricia a un crculo obtiene un crculo vicioso. Tambin merece desta
carse que Lacan se refiera a una invencin y no a un descubrimiento: quizs ello
no concuerde con el espritu de Cantor, decididamente platnico (cf. con la alu
sin a la naturaleza de las cosas que aparece en la cita de la pgina 88).
->
->
Ca p t u l o 5
La
v id a sin la b o l s a
A U T O R R E F E R E N C IA Y
T E O R E M A S DE G D E L
n o
. B
r e v e
r e f e r e n c ia
so b r e
p im n id e s
i l ilo Cervantes, uno cualquiera. Conserva -a modo de homen.i]o- el original de Epimnides, si bien se la conoce tambin en
intos ambientes como paradoja del m en tiro so una forma ca
balleresca de no quedar mal con nadie.
I )<>s. B
r e v e
r e f e r e n c ia
so b r e
l a
r e f e r e n c ia
( hJlNE Y G D EL
I ,a paradoja de Epimnides
Ver el captulo 1.
Merece una consideracin especial la frmula Hablo, miento, propuesta por al
gunos autores (por ejemplo, Foucault) con la evidente intencin de parafrasear
al Pienso, soy cartesiano. Tambin cabe recordar la frase famosa de Lacan, que
hace hablar nada menos que a la verdad: Vo, la verdad, hablo.
I I c m iio s
6.
La efectividad de esta accin muestra que un nombre resume una infinitud: esto
es una obviedad, aunque como veremos en el captulo 7, la existencia de un Nom
bre impronunciable deja claro que el asunto es menos trivial de lo que parece .Cabe
aclarar que estas especulaciones no son excluyentes del lenguaje natural o los len
guajes formales, que son los que nos conciernen en el presente texto.
Vale la pena citar, por ejemplo, sus Notas acerca de la teora de la referencia, en
Quine, 1984.
r e s
o d e l
. P
r o p o s ic io n e s
in d e c id ib l e s y
t e o r e m a
d e
Queda claro que decir se volvera es slo una manera de hablar. La inconsisten
cia existe desde antes; en todo caso, su hallazgo a partir de una paradoja puede
compararse a aquello que en la enseanza lacaniana se denomina aprs coup.
u a t r o
. C
u l
e s
e l
t t u l o
d e
e st a
s e c c i n
Sealemos de paso que la regla tambin les permite decir mentiras, pues el he
cho de que una persona afirme pertenecer a cierto club no implica que realmen
te pertenezca a l: podra tratarse de un picaro.
10. En relacin a aquello de irse a pique, el filsofo de la ciencia A. Koyr afirma
justamente que la paradoja tiene un esquema de la causa sui, o mejor aun, del
suicidio. Eso nos lleva a preguntarnos si uno de los clubes de la isla no ser el fa
moso Club de los Suicidas de Stevenson, en el cual el afortunado que recibe el
A s de Espadas (de Pique, en la baraja francesa) es "suicidado por aquel a quien
el azar depara el A s de Bastos. Como es conocido, Stevenson tambin escribi
sobre otras islas, en especial sobre la del Tesoro; vale entonces aplicar el juego
de palabras introducido por Rabelais sobre la vida tesorfica (trs-horrifique,
o m uy horrorfica). Otro ejemplo famoso de clubesy paradojas es el de Groucho
Marx, quien afirmaba que jams sera miembro de un club que me aceptase a
m como socio. Tal afirmacin motiv que el escritor Alain De Botton dedicara
un captulo de su libro Essays in Love al anlisis de aquello que denomin "po
sicin marxista", resumida en una insoluble contradiccin:
Cm o pude haber deseado que Chloe me amara e indignarme con ella cuando
lo hizo?
in c o
. L
o s
l e n g u a je s
f o r m a l e s
2 1 5
1 2
3
5
x.o = o
x.sy - x + x.y
e is
. U
p a se
m g ic o
-> i
-> 2
> 3
-> 4
> 5
->6
->7
- 8
'
z -* 27
ie t e
. L
l ie b r e
d e
a r z o
c h o
. A
u t o r r e t r a t o
d e
m is m o
17. Podra pensarse que esta ancdota narrada por Macedonio en sus Papeles de Recienvenido est inspirada en el texto Borges y yo, de 1960, en donde Borges ase
gura que su vida es una fuga (de Borges), para concluir:
No s cul de ios dos escribe esta pgina.
Macedonio muri en 1952, segn consta en su libretita.
18. En realidad, twain (que actualmente significa un par) es la forma antigua de
twin (mellizo). El matiz lacaniano remite a ciertos conceptos planteados por
el psicoanalista francs tales como el del Otro barrado, etctera.
19. Wittgenstein, 1994. Sobre aquello que el lenguaje no puede decir, ver tambin
el captulo 7.
Kl argumento se reproduce cualquiera sea el nmero de protodo lo que hace falta es que en algn momento, una
(k ellas vuelva hacia atrs,
I tosiciones;
p p2 es verdadera.
p2: p, es verdadera.
Pn i: Pn es verdadera.
pn : p, es falsa.
Observemos que cada una de las proposiciones por separado
es inocente, pues no se refiere a su propia veracidad; la parado
ja aparece en cuanto tomamos la conjuncin de todas ellas. Una
situacin distinta se presenta en Las ruinas circulares de Borges,
en donde un hombre crea a otro hombre y todo va ms o menos
bien hasta que descubre, hacia el final, que l tambin es crea
do. La diferencia es clara: en este cuento se sugiere una cadena
-acaso infinita- de creadores, pero no hay paradoja. Es fcil in
ventar una, volviendo la cadena hacia atrs:
x es creado por y, que es creado por z, que es creado por x.
En algn aspecto, esta delicada situacin se asemeja a la que
se plantea mediante el denominado nudo borromeo, compuesto
de tres redondeles de cuerda, que parece paradjico... y sin em
bargo, se sostiene:
a
el redo n del a sobre el redo n del b so b re el redon del so b re e l redon del a
modo ta] que todas las discusiones filosficas se pudieran translormar en meras confrontaciones entre contables. Cualquier dis
cusin sobre un tema espinoso, como por ejemplo la existencia de
I )ios, se resolvera fcilmente, tomando una tiza y diciendo:
Calculemos.21
Sin embargo, son muchos los que intuyeron las insuficiencias
del lenguaje: porejemplo, el prestigioso sabio Thaumasta, quien
ret al gran Pantagruel a librar un duelo intelectual bajo una cu
riosa condicin:
H e aqu la fo rm a e n q u e y o e n tie n d o q ue d e b e m o s d iscu tir: no q u ie
ro d isp u ta r pro et co ntra, c o m o h a c e n los n ecio s so fistas de esta villa
y otras; no q u iero h acerlo ta m p o c o a la m a n era d e los acad m ico s,
esto es, d e cla m a n d o , ni p o r n m e ro s, co m o P itgo ras y co m o p re
ten d a Pico de la M ir n d o la en R o m a. Q u iero d isc u tir slo por se
as, sin hablar, p o rq u e las m aterias so n tan ard u as q ue las p alabras
h u m a n a s no ba staran p ara ex p re sarlas a m i g u sto .12
p l o g o
n u e v a
g o d e l iz a c i n
Ca p t u l o 6
Breve
p r esen ta c i n
de caso s
Esto ocurre incluso con el texto bblico: ciertos estudiosos, sin discutir por su
puesto la autora divina, dudan en cambio algunas de Sus interpretaciones. Pero
la duda no debe ser tomada como una irreverencia, sino como el sentido mismo
del estudio. Segn la tradicin, el mundo fue creado intencionalmente incom
pleto, para que el hombre pueda completarlo y mejorarlo por medio de sus ac
tos, transformndose en socio activo del programa de creacin. Una voluntad
similar se puede observar en la Geometra de Descartes, cuyo prrafo final dice:
Espero que nuestros descendientes me estn agradecidos no slo por
las cosas que expliqu, sino tambin por aquellas que voluntariamen
te omit para proporcionarles el placer de descubrirlas.
S e g u n d o c a so . U n c a s o d e in c o n s is t e n c ia .
3 x / <|>(x)
(Existe x tal que x cumple )
Existe significa que existe al menos uno; nada se nos dice acer
ca de cuntos elementos o individuos hay que cumplan . En esta
observacin elemental se basa ms de una demostracin: por ejem
plo, aquella que vimos en la pgina 17 de la unicidad de Dios.
5.
IlRCIiR
CASO .
Un
C A S O D E M E T O N IM IA
M ira, p o r favor, hacia el cielo, y cuenta las
estrellas, si las p u ed es contar.
A s ser tu descenden cia (G n esis XV, 5).
6.
> o 2 -> i
3 -> 1 4 -* 2 5 -2 ...
-4 -3
-: :
-4
-3
H,
Mj
H4 ^ M 4
Pero podemos pedir al primer hombre que deje a su pareja y
se una a la segunda mujer, al segundo a la tercera, y as sucesi
vamente:
2 ^ 3
H3 ->M4
H4
M5
las soledades se resuelve en virtud de la hiptesis nica de quehay infinitas parejas. Gracias a la infinitud8 se puede coordi
nar un conjunto con otro menor; eso que a Galileo haba pare
cido paradjico es en realidad un atributo de los conjuntos in
finitos: corresponderse uno a uno con subconjuntos propios (es
decir, distintos de s mismos). Atributo por otra parte excluyen
te de dichos conjuntos; de all que sirva para definirlos, como
hizo Dedekind:
Un conjunto es infinito si y slo si se puede poner en corres
pondencia uno a uno con algn subconjunto propio.
As, se verifica que el conjunto de los nmeros naturales es
infinito, pues se puede corresponder con el subconjunto propio
de los cuadrados perfectos. O el de los nmeros pares, o los im
pares, o los primos; cada una de estas correspondencias no hace
ms que reforzar la infinitud, sin que haga falta saber de antema
no qu quiere decir conjunto finito. En rigor, no hace falta saber
contar o tener siquiera la idea de lo que es un nmero. Podra des
pertar alguna sospecha aquello de que la correspondencia deba a
ser uno a uno, pero el uno que aqu aparece guarda relacin con
el artculo indeterminado un y no con el nmero i.
Del infinito de la Cbala, el Ein S o f slo se puede decir lo que
no es; en los prrafos precedentes hemos mostrado que, en cam
bio, el infinito matemtico admite una definicin positiva que
parece contradecir al famoso postulado de que el todo es mayor
que las partes. Pero no hay contradiccin; los conjuntos infini
tos equivalen a algunas de sus partes, en lo que respecta la canti
dad de elementos que contienen. Ello explica por fin el ttulo de
esta seccin: en cierto modo, la definicin positiva del infinito
8.
Hk h v i ; i >k i ;s i ;n ia c ' i n
d e ca so s
u a r t o
c a s o
Un
c a so
d e
m e t f o r a
Esto nos vuelve a llevar a Macedonio Fernndez y sus no-enseguida-chistes (ver captulo previo):
A l lad rn , bajo de la c a m a : P ero h o m b re! Se h a p uesto u sted la
c a m a del revs!
u in t o
c a s o
. U
c a so
a l
m a r g e n
i ) Este
ca
le
ra
U hi
vi
l'iii
m n i a i i i 'in ih
c a so s
2
+
3
100
14. Sera aqu de utilidad contar con la partcula hebrea et, segn veremos en el ca
ptulo 7.
+ 2 + 3 + 4 + ... + 97 + 98 + 99 + 100
100
99
+ ...
97
98
99
100
98 +
97
+ ...
+ ...
97
98
99
100
100
99
98 +
97
+ ...
101
101
10 1
10 1
10 1
10 1
101
...
101
I
l'))
i 147
195
193
193 +
7
195
197 +
199
3+
Pero los pitagricos encontraron una representacin diferenle: indicando a cada unidad con un punto (una piedrita), se tie
ne el primer impar,
luego viene el 3:
<
Ser siempre as? Ello sucede, en efecto, cada vez que agre
gamos un nuevo impar:
Se x t o
caso.
Ra m
a n u ja n
y o t r o s casos
/5 - 1
/5
-2itV5
1+
- 4 /5
1+
/5
5/2
\ + \5
.1
/5 - 1
1 +
l.i
m o d alid ad de
mi
para escapar a una recursin interminable hay que salir del siste
ma mediante un salto; en este caso ocurre algo similar, pues cual
quier lector minucioso encontrar siempre algo ms para decir. Si
no logra dar ese salto, el texto se volver difcilmente soportable.
Todo escrito admite la posibilidad de nuevas lecturas. Quizs
sea exagerado pensar que ello ocurre con "textos tales como la
gua telefnica o la lista del supermercado, aunque esa es la idea
que tienen los cabalistas sobre el texto bblico. La Biblia es un tex
to perfecto, y por consiguiente ninguna de sus lecturas es casual,
como seala Borges en una famosa conferencia de 1973 en que es
tablece la distincin entre texto sagrado y texto clsico:
E s c o n o c id a la v e n e ra c i n su p e rstic io sa q u e ro dea al Q u ijo te. Pues
b ien, si a u n ce rv a n tista se le o c u rrie ra d e cir: el Q u ijo te e m p ie z a con
d o s p a la b ra s m o n o sil b ic a s term in a d a s e n N (E n un) y lu ego te n e
m o s u n a p ala b ra de cin co letras (lu gar) y lu ego te n e m o s d o s p a la
bras de d o s letras (d e la), y p re ten d iera sacar co n clu sio n e s de sto,
se p e n sa ra in m e d iata m e n te q u e est loco. E n cam b io , la Biblia ha
sid o e stu d ia d a de este m o d o. S e d ice p o r eje m p lo q ue e m p ie za con
la letra B, in icial d e B reshit. Y p o r q u e m p ie z a co n B ? B, la letra
h eb rea Bet, es ta m b i n la in icial de braj, q u e sig n ifica b e n d ici n , y
los c a b alista s d icen q ue la B iblia ten a q ue e m p e z a r con u n a b e n d i
cin , y n o co n u n a m ald ici n .
Resulta difcil negar que tal resolucin fue llevada a cabo con maestra. Quizs a
este tipo de cosas se deba la frase de Einstein: Aprend ms de Dostoyevski que
de cualquier fsico,
Ca p t u l o 7
La r e l i g i n , o r d i n e
M ATH EM ATICA D EM O NSTRATA
Novai,is
La
c r e a c i n
cf. Gnesis V, i.
A tono con su idea de una armona preestablecida, Leibniz afirmaba que si bien
Dios tiene la capacidad de concebir todos los mundos posibles, slo puede que
rer crear el mejor de ellos. Esta idea ha sido a menudo malentendida y le va
li diversas crticas; la ms famosa de ellas es la dura stira Cndido, escrita por
Voltaire, en donde el filsofo Pangloss enseaba la metafsico-telogo-cosmolotontologa, y demostraba de modo admirable que no hay efecto sin causa:
Fijaos bien en que las narices se hicieron para llevar anteojos; por eso llevamos
anteojos. A l margen de las burlas, Leibniz fue uno de los grandes pensadores
de la historia; adems de haber fundado junto con Newton el clculo infinitesi
mal, entre sus mltiples hallazgos se cuenta nada menos que el inconsciente.
Esta interpretacin nos pone frente a la creacin como acto: de un solo golpe
Dios pone en marcha el espacio-tiempo. No hay un antes de la creacin pues
Dios crea tambin al principio; por eso no es tan sencillo entender que la Tora
pueda ser previa a la creacin. El concepto de eternidad, contrariamente a lo
que suele suponerse, no remite a algo que dura en el tiempo, sino ms bien a
algo que no transcurre; en otras palabras, la eternidad puede ser pensada como
la identificacin de pasado, presente y futuro. La preposicin "et" tambin re
presenta segn los sabios a la totalidad pues est compuesta de la primera letra
hebrea (alef), y la ltima (tav). Cabe destacar que el papel de las letras es fun
damental en todo el Gnesis; entre otras cosas, la creacin se lleva a cabo a tra
vs de las letras.
I,A
C ie n c ia , M a t e m t ic a , R e l ig i n
5.
6.
8.
io s t a u t o l g ic o
D io s es inconsciente.
Ja c q u e s L a c a n
9.
Tambin vale la pena recordar su descripcin, que comprende tanto a los logicistas como a los formalistas: escritores que slo saben de gramtica pero que
no tienen historias que contar.
10. cf. con el poema de Gertrude Stein: a rose is a rose is a rose is a rose.
Im a g e n
Se m e ja n z a
Si los tringulos hablasen, diran que D ios
tiene fo r m a de tringulo. (B .
de
S p in o z a )
C o n s is t e n c ia , I n c o n s is t e n c ia
20. Sin necesidad de ir muy lejos, la paradoja se presenta en ese momento clave en
el que Dios le dice a Abraham: ie j lej (vete para t), una suerte de Sigue tu de
seo, que pone a Abraham en la insoluble disyuntiva de acatar un mandato que
le prescribe la libertad.
Aunque no es una paradoja, vale la pena comentar tambin el caso de los dos
hijos que tuvo Lot con sus hijas, provocando una compleja situacin familiar: al
ser hermanos de su propia madre, los pobres muchachos terminan siendo tos
de s mismos. Esto se parece a aquel breve cuento de Mark Twain, en el cual el
narrador es abuelo de s mismo; en estos casos tan singulares, la tautologa que
hemos presentado un poco ms atrs toma en este caso formas un tanto apa
bullantes: mi abuelo es mi padre" (o mi abuelo es yo mismo, en el cuento de
Twain). Sealemos finalmente que la propia palabra tautologa parece ligada
al mandato Iej lej, pues proviene del griego otuxo (para s).
que se suele sintetizare! pensamiento de un personaje de Dostoyevski, el ms calculador de los hermanos Karamazov:
Si Dios no existe, entonces todo est permitido.
Esta aseveracin pone a Dios en un lugar muy especial: no es
ya garanta de verdad, como en Descartes, sino de consistencia.
De los teoremas de Godei se desprende que, en su afn de
preservar la consistencia, la Matemtica debe resignar parte de
su capacidad de demostrar enunciados; la Religin se encuen
tra protegida de esta incmoda situacin, puesto que Dios ocu
pa el lugar de lo innombrable, y en consecuencia se encuentra
fuera del sistema. En todo aquel lugar que nos es inaccesible,
all est Dios; tenemos, adems, la suerte de que se trate de un
Dios inmensamente bueno, como alguna vez dijo el matemti
co Georg Cantor.
Por otra parte, dado que ningn sistema puede completarse,
no es casual que ciertas figuras fundamentales hayan quedado
fuera". Por ejemplo, ello ocurri con Moiss, que no pudo entrar
a la tierra prometida. Freud lleg ms lejos, pues para sustentar
sus teoras se vio necesitado de probar a sus lectores que el gran
lder hebreo era egipcio. Aunque le cost bastante esfuerzo afron
tar el atrevimiento:
Privar a un pueblo del hom bre que considera el ms grande de sus
hijos no es empresa que se acometer de buen grado o con ligereza de
corazn, tanto ms cuando uno m ism o form a parte de ese pueblo.
Ca p t u l o 8
PASCAL, A H A R O N Y
LA P O T E N C IA DEL DOS
...si fue as poda ser, y si as fuera, sera; pero como
no es, no es. Eso es Lgica.
L. C a r r o l l , A travs del espejo
3.
1+5=6
2+ 4 = 6
2++ 4=9
5 + 6 + 7 = 18;
8 + 9 + 10 = 27;
1+ 8 = 9
2 +7 = 9
E n e l p r i m e r c a s o , e l r e s u lt a d o e s s ie m p r e 6 , q u e e s el v a l o r n u m r i c o d e la p a
shker ( m e n t i r a ) ; e n c a m b i o e n e l
emet ( v e r d a d ) . E s r a z o n a b l e s u p o n e r
la b r a
s e g u n d o l.i s u m a e s 9 , v a l o r n u m r i c o
de
q u e I ) i o s p r e f i r i i l . i i ' ,il h o m b r e u n l i
b r o c o l m a d o d e v e r d a d e s y n o d e m e n i i r , is ; n i r a s o n u i l 1.1 r i o s u s I n l o r e s p e n
s a r a n q u e l a T o r e s a p e n a s 1111 c o n j u n t o d e / i i lo n iv .
que
emet e s t
V a l e l.i p r n . i h a c e r n o t a r
l a d e c i m o t e r c e r a ) , y la l t i m a ( lav ), l o q u e m u e s l i . 1 q u e s c I1.1I.1 d r u n . i
(mem,
verda
n / e de
Para Pascal, Dios era menos real que el Universo, y una scmi
sacin de vrtigo, miedo y soledad lo llev a una frmula menos
comprometida:
La n a tu ra leza es u n a esfera in fin ita c u y o cen tro est en tod as partes
y su c irc u n fe re n cia en n in gu n a.
Sin embargo, Pascal est muy lejos de ser aquel Dios que 110
vacila; nos cuenta Borges de una edicin que reproduce las la
chaduras y vacilaciones del manuscrito, revelando que Pasc.il
haba empezado a escribir:
U n a esfera esp a n to sa, cu yo cen tro est en to d as p artes y la c irc u n
feren cia en n in gu n a.'1
6.
Vale la pena recordar la frase que Borges pone en boca de uno de los heresiarcas de Uqbar: ...el visible universo era una ilusin o (ms precisamente) un so
fisma. Los espejos y la paternidad son abominables, porque lo multiplican y lo
divulgan. Vemos as que a Uqbar no le gustan las simetras, lo cual, en virtud
de lo ya mencionado, puede ser casi tomado como una prueba de su irrealidad
Una cita muy similar a la borgeana de la pgina 193 proviene de Hildebrandt y
Tromba, 1990:
...la naturaleza parece gustar del orden y de la regularidad, incluso en sus es
tructuras ms diminutas.
identificacin; 1 1
i-'i-1 1
Para que el pegado pueda eleeluaise se t equ el e un mimen'
impar (es decir, simtrico1') tomo el 1 o el \ el 2 no se ilcjn /><</<//
ya que su disimetra le impide const itu irse en espejo. Es posible si
tuar un espejo entre un par de 2, pero no hacer del 2 un espejo.
La esfera de Pascal es ms simtrica que cualquier otra pue.'.
lo es respecto de cualquier centro, cualquier eje, cualquier pa
no. Pero, a diferencia de la esfera espantosa, el Dios de los caba
listas incorpora una novedad, la simetra temporal. Dios, o me
jor dicho el m-So/\in-finito) es eterno; en l se identifican pa
sado, presente y futuro. Sin embargo, esta idem-tidad9 no es
producto de un pegoteo sino que es a priori: para escribir la fr
mula A = A necesitamos hacer algo con ese trmino A; es preci
so, dice Lacan,
...sep ararlo tan p ro n to d e si m ism o p ara e n se g u id a v o lv e r a re u b i
carlo all.10
8.
( - I---------------------
0
1l y
1/x+ 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 ...
...2 2 2 2 2 2 2 2 2 2 2 2 2...
jo
,
1
t2
1
...
to
O p O
t,
t3
...
tn
...
...
...
14. c f Borges 1974, Nueva refutacin del tiempo: "... somos nicamente la serie de
esos actos imaginarios y de esas impresiones errantes. La serie? Negados el es
pritu y la materia, que son continuidades, negado tambin el espacio, no s qu
derecho tenemos a esa continuidad que es el tiempo".
15. Lo imposible, en cambio, puede ser visto como una ausencia. Una sucesin in
agotable de ceros nos advierte acerca de un 1 al que toda aparicin est vedada,
un 1 que no cesa de no escribirse.
es mi diario descubrimiento.
Puestos a jugar el juego de arrojar la moneda a cara o ceca (es
decir, o o 1), el azar nos proporciona la elegante esperanza (cf.
Borges, La Biblioteca de Babel) de lo posible, la aparicin mesinica de un 1 al cabo de tantos ceros:
o
o
o
...
o
1
Una rpida iniciativa tomada en el preciso instante de la apa
ricin tendra el carcter de un acto: un acto que nos autoriza a
16. Recordemos, en el cuento de Borges, la importancia del rombo, que aparece in
cluso en el traje del arlequn que anuncia una de las muertes.
17. Por supuesto que este enunciado no va a ser tan indudablemente falso despus
de Rimbaud (Je est un autre), y menos aun despus de Lacan (ver el Seminario
sobre La carta robada).
+ 1 = 1 ahora, y siempre
2+1= 3
El nmero que aparece en la columna n-sima (n = o, i, 2, ...)
responde a una pregunta muy simple, de aquellas que pocos se
atreveran a calificar de detectivesca:
Cuntos elementos componen un conjunto de n elementos?'9
.18. Es decir, como indica Lacan (Seminario XIX, clase del 19/1/72), que cada nme
ro est formado por
... la adicin de las dos cifras, la que est inmediatamente a su
izquierda y la que est a su izquierda y arriba.
19. Si se pretende que la mnada en realidad funda al nmero, la pregunta care
ce de sentido, puesto que si no contamos con los nmeros de antemano no se
remos siquiera capaces de conocer nuestra ubicacin, en la columna n-sim a.
De todas maneras, la pretensin de la m nada como fundante seria un poco in
1
0
0
0
1
1
0
5
10
2 +1 = 3
3+3=6
Esta nueva secuencia cuenta las duplas; calcula de cuntas ma
neras pueden elegirse dos elementos de un conjunto de n elemen
tos. Es un problema de combinatoria: si n es o o 1 nada se puede
hacer, porque el conjunto es tan pequeo que no alcanza a tener
un par de objetos para elegir. Tal pequeez o insuficiencia expli
ca el poco alentador comienzo (dos ceros consecutivos) que os
tenta el rengln. Para n = 2 existe una nica forma de elegir 2 ele
mentos, un tanto vida: tomarlos todos20. Para n = 3 la solucin
sigue siendo muy simple, pues elegir dos de un conjunto de tres
no es otra cosa que dejar uno afuera, exclusin que cuenta con
genua; eso justifica que el constructivismo considerara a los nmeros naturales
como una intuicin a priori.
20. Podra pensarse que tomarlos todos en un conjunto de dos elementos equiva
le al famoso deme dos, aunque esta popular frmula suele referirse a dos de lo
mismo.
{ b,c}
{ a, d }
{ b, d }
{ c, d }
{ a ,c }
{ b,
{ a, d }
{ b ,d }
{ a, e }
{ b, e }
{ c, d }
{ c, e }
{ d, e }
4 + 3+ 2 + 1
Esto nos lleva a deducir una frmula general para los trminos
de la diada: la cantidad correspondiente para un conjunto de
elementos es la suma de los nmeros naturales menores que n,
Para n = 3, se tiene
Para n = 4, se tiene
Para n = 5, se tiene
Para n = 6, se tiene
1+2=3
1+ 2 +3 = 6
1 + 2 + 3 + 4 = 10
1 + 2 + 3 + 4 + 5 = 15
2
Por ejemplo, si queremos elegir 2 representantes de un con
junto de 30 personas, tenemos
30 ( 3 0 - 1)
-------- =
435
n=
0
n = 1
n = 2
n=
n = 4
n = 5
n = <
1
6
m nada
diad a
10
15
trad a
10
20
ttrada
15
(x pertenece )
(x no pertenece A)
Trada
{ a, b, }
{ a, h, d)
{ a, b, e}
{ a, c, d}
{ a, c, e }
{ a, d, e }
{ b, c, d)
{ b, c, e }
{ b, d, e }
{c,d,e}
Complemento
{d,e}
{c,e}
{c,d}
{b,e}
{b,d}
{ b, c}
{a,e}
{ a, d}
{, }
{ a, b)
Summa
11
121
1331
14641
1 5 10 10 5 1
1 6 15 20 15 6 1
4
8
16
32
64
2n
En efecto,
1 = 2
2
= 2J
8 = 2*
De esta manera el 2, oculto en una primera lectura, termina
apareciendo en el tringulo con total insistencia, y se convier
te en elemento estructural del mismo. Cada rengln transcurre
bajo la direccin del 2; el tmido 2 que slo se limita a una apari
cin explcita reaparece a cada momento en forma implcita, sin
cesar de no escribirse. El 2 se revela en la potencia de cu.il<|inei
conjunto, incluso en los conjuntos infinitos*7.
Lnea a lnea, el 2 efecta una especie de "bal,mee" del li 1.111
guio, controlando cuidadosamente el total de cada fila I \lu un*,
hace pensar en el 2 como un cuid.ulor, o ms bien un i/tianla
dor, no de rebaos pero s de simias. I n re.ilid.id, si se le supone
al tringulo cierta espiritualidad, bien podr.unos asignarle un
rol casi sacerdotal: el 2 como sacerdote de sumas, o mejor dicho,
Sumo Sacerdote. Esto nos perniile trazar una analoga con aquel
que fuera ungido como primer kohen gadol una vez que la Ley
fue entregada en el desierto: se trata de Aharn, que cumple un
papel preponderante en el xodo por ser el encargado de la pa
27. Segn mencionamos en el captulo 4, el cardinal de las partes de un conjunto que
tiene a elementos -siendo a finito o infinito- es 2a. En la teora de conjuntos de
Zermelo-Fraenkel el universo es representado en general mediante un gran Vel,
lo que le da una apariencia semejante al tringulo pascaliano pero invertido:
El
Universo
que satisfechos con el pii mer , ipil nlo ili-l I -v11 u u, i- i I - ini.i
paciente computadora lile capa/ (le olllenel n.nl.i m>i-iinm|mi ,
aharones ocultos en el lexlo, Uni oni lei 1. . pi o|;i i .
regresivas. Como ocurre en el tringulo pascaliano, Io uns mie
resante que hay en Lcvlico, no se lo ve.
M s all de los cuestionam ienLos que pueda suscit a r esta clase
de proceder (en especial hacia quienes pretenden usar tales ha
llazgos para dem ostrar la divinidad del texto), el ejem plo sir
ve para com probar que una lectura
0.1 < 2
o1 < 2
j < 2
Por otra parte, este 2 tan dual tiene la propiedad del equvo
co, de fom entar cierta confusin entre las operaciones clsicas:
s em pleam os el sm bolo * para denotar una operacin binaria,
entonces la frm ula
Ep l o g o
10 = 1+ 2 + 3 + 4
En este esquema, el i era la Unidad, lo Divino, el origen de to
das las cosas. El 2 representaba la Diada, el desdoblamiento, que
es el origen de lo masculino y lo femenino, y del dualismo inter
no de todos los seres. El 3 simbolizaba la Trada, los tres niveles
del mundo (celestial, terrenal e infernal). Finalmente, el 4 expre
saba el mundo material, resumido en los cuatro elementos; lit1
rra, aire, fuego y agua.
Esto establece una relacin entre el 4 y esa cantidad que usa
moscomo base de nuestro sistema de numeracin, sin duda por
ser aquella que tenemos ms amano*'. Diez son tambin los re
cipientes espirituales de la Luz Infinita denominados scjirot, lo
que sumado a las 22 letras da un total de 32 senderos: por eso el
nombre divino Elohim aparece 32 veces en el Gnesis durante la
creacin hasta que es pronunciado por vez primera el impronun
ciable nombre de cuatro letras o tetragrmaton.
De los diez mandamientos slo cuatro son positivos; los seis
restantes son negativos (la proporcin respectiva para los 613
preceptos es de 248/365; un precepto positivo por cada parte del
cuerpo, uno negativo por cada da del ao).
Lacan se refiere al cuatro en repetidas ocasiones, desde La
carta robada en sus comienzos hasta el cuarto nudo y el Synthome de los ltimos seminarios, pasando por los cuatro discursos y
los cuatro conceptos fundamentales. En el Seminario IX analiza
el cuadrante de Peirce, basado en las cuatro proposiciones aris
totlicas, mientras que en el XIX y el XX presenta las frmulas
30. Es conocido el hecho de que con cuatro cuatrosy las cuatro operaciones elemen
tales se puede, como si se tratase de los cuatro elementos, formar una totalidad.
A l menos, la totalidad de los nmeros que se pueden contar con las manos:
44 - 4 4 = o; 4 4 /4 4 = 1;
convexo
no convexo
BIBLIOGRAFIA