You are on page 1of 16

CONFERENCIA ACERCA DE LA SUSTRACCIN3

Invitado a celebrar ante ustedes, cuyo silencio y palabra son toda la funcin, que se sustrae de su alternancia, me apoyo en Mallarm para abrigar mi soledad. Introduzcamos pues, como manifestacin de mi intencin, este fragmento del cuarto escolio de Igitur:
Yo solo yo solo voy a conocer la nada. En cuanto a ustedes, vuelvan a su amalgama. Yo profiero la palabra, para volver a sumergirla en su inanidad [...] Ciertamenente hay aqu un acto es mi deber proclamarlo: esta locura existe. Ustedes han tenido razn en manifestarla: no crean que voy a sumergirlos de nuevo en la nada.

Respecto de la compactibilidad de su amalgama, vengo aqu por el deber de proclamar que la locura de la sustraccin es un acto. Mejor an: que es el acto por excelencia, el acto de una verdad, aquel por el cual llego a conocer lo nico que puede ser conocido como real, y que es el vaco del ser como tal. Si la palabra, por el acto de la verdad, se hunde de nuevo en su inanidad, no crean que ella los vuelve a sumergir, a ustedes, detentadores de la razn de lo que se manifiesta. Ms bien nos pondremos de acuerdo yo en el deber de hablar, ustedes en el de hacer manifiesta mi palabra sobre el hecho de que la locura del acto de una verdad existe. Nada es admitido en la existencia quiero decir la existencia, que una verdad supone en su principio que no sea en la prueba de su sustraccin. Sustraer no es simple. La sus-traccin, eso que tira por abajo, del fondo, est demasiado a menudo mezclado con ex-traccin, lo que tira a partir de, lo que hace mina y rendimiento del carbn del saber.
Esta conferencia fue pronunciada en 1991, a invitacin del directorio de la cole de la Cause Freudienne, en los locales de esta institucin. Fue publicada en la revista Actes subtitulada Revue de lcole de la Cause Freudienne a fines de 1991. Apareci asimismo en italiano en la revista Agalma, en Roma.
3

[171]

172

FILOSOFA Y MATEMTICA

La sustraccin es plural. La alegacin de falta, de su efecto, de su causalidad, disimula operaciones de las que ninguna es reductible a otra. Tales operaciones son en nmero de cuatro: lo indecidible, lo indiscernible, lo genrico y lo innombrable. Cuatro figuras que forman la cruz del ser cuando ocurre tanto en el trayecto como en el tope de una verdad. Verdad de la que es an demasiado decir que es medio-dicha o semi-dicha, puesto que, lo veremos, es poco-dicha, incluso casi-no-dicha, atravesada como est por la inconmensurable desvinculacin entre su propia infinitud y la finitud del saber que ella agujerea. Comencemos por el puro formalismo. Supongamos una norma de evaluacin de los enunciados en una situacin cualquiera de la lengua. La ms corriente de tales normas es la distincin entre el enunciado verdico y el enunciado errneo. Si la lengua est en recorte riguroso, otra norma podra ser la distincin entre enunciado demostrable y enunciado refutable. Pero nos basta que haya una norma tal. Indecidible es entonces el enunciado que se sustrae de ella. Supongamos un enunciado tal que no pueda inscribirse en ninguna de las clases en las cuales la norma de evaluacin se considera que distribuye a todos los enunciados posibles. Lo indecidible es pues lo que se sustrae de una clasificacin supuestamente exhaustiva de los enunciados, segn los valores que una norma les atribuye. Yo no puedo decidir ningn valor atribuible a ese enunciado, aunque la norma de atribucin no exista sino en el supuesto de su eficacia total. El enunciado indecidible es propiamente sin valor, y es esto lo que determina su precio, aquello por lo cual contraviene las leyes de la economa clsica. El teorema de Gdel establece que en la situacin de lengua denominada aritmtica formalizada del primer orden, donde la norma de evaluacin es lo demostrable, existe al menos un enunciado indecidible en un sentido preciso: ni l ni su negacin son demostrables. La aritmtica formalizada no depende por lo tanto de una economa clsica de los enunciados. Durante mucho tiempo se ha vinculado la indecidibilidad del enunciado de Gdel a que tena la forma de la paradoja del mentiroso, enunciado que declara su propia indemostrabilidad, sustrado a la norma de lo nico que poda significarle ser negativamente afectado. Se sabe hoy que ese vnculo entre indecidible y paradoja

CONFERENCIA ACERCA DE LA SUSTRACCIN

173

es contingente. Jeff Paris demostr en 1977 la indecidibilidad de un enunciado que l mismo declar que era, no ya del todo una paradoja sino, lo cito, un teorema razonablemente natural de combinatoria finita. La sustraccin es aqu una operacin intrnseca, y no la consecuencia de una estructura paradjica del enunciado respecto de la norma a la cual se sustrae. Supongamos ahora una situacin de lengua en que exista, como precedentemente, una norma de evaluacin de los enunciados. Y supongamos dos trminos presentados cualesquiera, por ejemplo a1 y a2. Consideremos ahora frmulas de la lengua que conlleven dos lugares para trminos. Supongamos, por ejemplo, x es mayor que y. Por consiguiente, consideremos frmulas del tipo F(x,y). Se dir que una frmula semejante discierne los trminos a1 y a2 si el valor del enunciado F(a1,a2) es diferente del valor del enunciado F(a2,a1). Si, por ejemplo, a1 es efectivamente mayor que a2, la frmula x es mayor que y discierne a1 y a2, puesto que el enunciado a2 es mayor que a1 toma el valor de falso. Ustedes ven que una frmula discierne dos trminos si la llegada de uno al lugar del otro y viceversa, es decir si, por lo tanto, la permutacin de los trminos en la frmula cambia el valor del enunciado. Dos trminos son entonces indiscernibles si, en la situacin de lengua considerada, no existe ninguna frmula que discierna esos dos trminos. Es as como, en una lengua supuestamente reducida a la nica frmula x es mayor que y, dos trminos a1 y a2, que son iguales, son indiscernibles. En efecto, en ese caso, la frmula a1 es mayor que a2 tiene el valor de falso, pero tambin lo tiene la frmula a2 es mayor que a1. Dos trminos presentados son pues indiscernibles respecto de una situacin de lengua si ninguna frmula con dos lugares de la lengua viene a marcar su diferencia por el hecho de que su permutacin cambie el valor del enunciado obtenido al inscribirlos en los lugares prescritos por la frmula. Lo indiscernible es lo que se sustrae al marcaje de la diferencia por evaluacin de los efectos de una permutacin. Indiscernibles son dos trminos que se permutan en vano. Estos dos trminos no son dos sino en la presentacin pura de su ser. Nada en la lengua da valor diferencial a su dualidad. Son dos, ciertamente, pero no hasta el punto de que se pueda re-marcar que lo son. Lo indiscerni-

174

FILOSOFA Y MATEMTICA

ble sustrae as la diferencia como tal a toda remarcacin. Lo indiscernible sustrae al dos de la dualidad. El lgebra encontr muy pronto la cuestin de lo indiscernible, a partir de los trabajos de Lagrange. Tomemos como lenguaje los polinomios con varias variables y con coeficientes racionales. Fijemos as la norma de evaluacin: si cuando se sustituye a las variables con nmeros reales determinados el polinomio se anula, se dir que el valor es V1. Si el polinomio no se anula, se dir que el valor es V2. En tales condiciones, una frmula de discernimiento es evidentemente un polinomio con dos variables, P(x,y). Ahora bien, se demuestra fcilmente, por ejemplo, que los dos nmeros reales +2 y 2 son indiscernibles: para todo polinomio del tipo P(x,y), el valor P(+2,-2) es el mismo que el valor del polinomio P(-2,+2): si el primero cuando x toma el valor +2 mientras y toma el valor -2 se anula, el segundo cuando x toma el valor -2 mientras y toma el valor +2 tambin se anula. El principio de evaluacin diferencial fracasa para toda permutacin de los dos nmeros +2 y -2. No es pues sorprendente que sea desde el sesgo del estudio de los grupos de permutacin desde el que Galois constituyera el espacio terico donde adquira sentido el problema de la resolucin mediante radicales de las ecuaciones. La invencin de Galois es en realidad la de un clculo de lo indiscernible. El alcance conceptual de este punto es considerable, y ser pronto desplegado por el matemtico y pensador contemporneo Ren Guitart en un libro en preparacin, del cual cabe sealar que utiliza varias categoras lacanianas. Retengamos que si lo indecidible es sustraccin a una norma lo indiscernible es sustraccin a una marca. Supongamos ahora una situacin de lengua donde exista siempre una norma de evaluacin. Y supongamos un conjunto fijo de trminos, o de objetos, al que llamaremos el conjunto U. Se denominar U un universo para la situacin de lengua. Consideremos un objeto de U y llammosle a1. Consideremos en la lengua una frmula con un solo lugar: F(x). Si al lugar marcado por x hacemos llegar el objeto a1, obtenemos un enunciado, F(a1), al cual la norma da un cierto valor, el verdadero, el falso, o cualquier otro valor reglado por un principio de evaluacin. Por ejemplo, sea a2 un objeto fijo del universo U. Supongamos que nuestra situacin de lengua admite la frmula x es mayor que a2. Si a1 es efectivamente mayor que a2, se tendr el valor verdadero para el enunciado a1 es mayor

CONFERENCIA ACERCA DE LA SUSTRACCIN

175

que a2, enunciado donde a1 ha llegado al lugar marcado por x. Imaginemos ahora que tomamos en U todos los trminos que son mayores que a2. Obtenemos as un subconjunto de U. Es el subconjunto de todos los objetos a que, llegados al lugar de x, dan el valor verdadero al enunciado a es mayor que a2. Diremos que este subconjunto es construido en el universo U por la frmula x es mayor que a2. De modo general, se dir que un subconjunto del universo U es construido por una frmula F(x) si este subconjunto se compone exclusivamente de todos los trminos a de U que, llegados al lugar marcado por x, dan al enunciado F(a) un valor previamente fijado; por consiguiente, todos los trminos que son tales que la frmula F(a) es evaluada idnticamente. Un subconjunto del universo U ser denominado construible si existe en la lengua una frmula F(x) que lo construya. Genrico es entonces un subconjunto de U que no es construible. Ninguna frmula F(x) de la lengua es idnticamente evaluada por los trminos que componen un subconjunto genrico. Vemos as que un subconjunto genrico es sustrado a toda identificacin por un predicado de la lengua. Ningn rasgo predicativo nico rene los trminos que lo componen. Esto significa, obsrvese bien, que para toda frmula F(x) existen trminos del conjunto genrico que al sustituir a x dan un enunciado que tiene un cierto valor, y que existen otros trminos del mismo conjunto que al sustituir a x dan un enunciado que tiene otro valor. El subconjunto genrico es tal que, precisamente, para toda frmula F(x), es sustrado a lo que tal frmula autoriza de recorte y de construccin en el universo U. El subconjunto genrico contiene, por as decir, un poco de todo, de modo que ningn predicado rene nunca todos los trminos. El subconjunto genrico es sustrado a la predicacin por exceso. Su abigarramiento, su superabundancia predicativa, hacen que no lo reunifique nada que pueda sostenerse de la potencia de un enunciado y de la identidad de su evaluacin. La lengua fracasa en construir el contorno o la reunificacin. El subconjunto genrico es un mltiple puro del universo, evasivo e imposible de circunscribir por alguna construccin de lenguaje, sea cual fuere. Indica que la potencia de ser del mltiple excede lo que tales construcciones estn en condiciones de fijar bajo la unidad de una evaluacin. Lo genrico es propiamente lo que, del ser-mltiple, es sustrado al poder de lo Uno tal como la lengua dispone su recurso.

176

FILOSOFA Y MATEMTICA

Es fcil establecer que, para toda lengua que dispone de una relacin de igualdad y de disyuncin, es decir, para casi toda situacin de lengua, un subconjunto genrico es necesariamente infinito. Supongamos en efecto que un subconjunto genrico sea finito. Sus trminos componen entonces una lista finita, por ejemplo a1, a2, y as sucesivamente hasta an. Consideremos entonces la frmula x = a1, o x = a2, etc., hasta x=an. Es una frmula del tipo F(x), puesto que los trminos a1, a2, etc., son trminos fijos, que por lo tanto no indican ningn lugar libre. Queda claro que el conjunto compuesto por a1, a2... an , es construido por esta frmula, puesto que slo tales trminos pueden validar una igualdad del tipo x3 = aj, cuando j va de 1 a n. As, construible, este conjunto finito no podra ser genrico. Lo genrico es pues esa sustraccin de las construcciones predicativas de la lengua que autoriza en el Universo su propia infinitud. Lo genrico es, en el fondo, la sobreabundancia del ser tal que se escapa al control de la lengua, desde el momento en que un exceso de determinaciones induce un efecto de indeterminacin. La prueba de que existen, en situaciones de lengua muy fuertes, como la teora de los conjuntos, Universos donde se presentan multiplicidades genricas fue suministrada por Cohen en 1963. Estamos pues seguros puesto que, como lo dijo en repetidas ocasiones Lacan, la matemtica es ciencia de lo real de que es muy real esta singular sustraccin al marcaje de lo mltiple puro por el efecto de lo Uno de la lengua. He dicho que lo indecidible es sustraccin de una norma de evaluacin y que lo indiscernible es sustraccin de la observacin de una diferencia. Agreguemos que lo genrico es sustraccin infinita de la subsuncin de lo mltiple bajo lo Uno del concepto. Y finalmente supongamos una situacin de lengua y sus principios de evaluacin. Supongamos adems frmulas con un lugar, del tipo F(x). Entre los valores admitidos por los enunciados por ejemplo lo verdadero, lo falso, lo posible, o cualquier otro, fijmonos en uno, de una vez por todas, y llammoslo valor de nominacin. Se dir entonces que una frmula F(x) nombra un trmino a1 del universo si ese trmino es el nico que, llegado al lugar marcado por x, da al enunciado F(a1) el valor de nominacin. Por ejemplo, tomemos como universo dos trminos: a1 y a2. Nuestra lengua admite como frmula x es mayor que a2. Establezcamos que el valor de nominacin es el valor verdadero. Si a1 es

CONFERENCIA ACERCA DE LA SUSTRACCIN

177

efectivamente mayor que a2, entonces la frmula x es mayor que a2 nombra al trmino a1. En efecto, a1 es mayor que a2 es verdadero, valor de nominacin, y a2 es mayor que a2 es falso, no es el valor de nominacin. Y el Universo no comprende ms que a1 y a2. Por lo que a1 es el nico trmino del Universo que, llegado al lugar de x, da un enunciado que tiene el valor de nominacin. Que una frmula nombre un trmino quiere en realidad decir que es el esquema de nombre propio de ese trmino. Lo propio, como siempre, se sostiene de lo nico. El trmino nombrado es en efecto nico al dar a la frmula que lo nombra el valor fijo de nominacin. Innombrable es entonces un trmino del Universo si es el nico del Universo en no ser nombrado por ninguna frmula. Tngase en cuenta aqu la duplicacin de lo nico. Nombrado, el trmino no lo es sino al ser el nico que da a una frmula el valor de nominacin. Innombrable, no lo es sino al ser el nico que se sustrae a esa unicidad. Lo innombrable es lo que se sustrae al nombre propio, y lo nico que se sustrae a l. Lo innombrable es pues lo propio de lo propio. Tan singular que no tolera siquiera tener un nombre propio. Tan singular en su singularidad que es el nico que no tiene nombre propio. Estamos aqu en los linderos de la paradoja. Porque, nico en no tener nombre propio, parece que lo innombrable cae sobre el nombre, que le es propio, de lo annimo. Lo que no tiene nombre, no est ah el nombre de lo innombrable? Parece que s, puesto que es el nico en operar tal sustraccin. Del hecho de que la unicidad se duplica parece seguirse que una invalida a la otra. Imposible sustraerse al nombre propio si tal sustraccin, nica, hace de soporte para lo propio de un nombre. No habra pues propio de lo propio, o sea singularidad de lo que se sustrae a toda duplicacin de s en el nombre de su singularidad. S. Pero slo si la frmula no tener nombre propio es una frmula posible de la situacin de lengua en la cual se encuentra. O incluso, slo si la frmula: no existe frmula F(x) a la cual el trmino innombrable es el nico en dar valor de nominacin, puede, en s misma, ser una frmula de la lengua. Puesto que slo tal frmula sobre las frmulas puede servir para nombrar lo innombrable, cerrando as la paradoja. Pero no es en general el caso que una frmula pueda referirse a la totalidad de las frmulas posibles de la lengua. El no-todo viene

178

FILOSOFA Y MATEMTICA

a representar aqu el obstculo al despliegue de la paradoja supuesta. Porque si se dice: no existe ninguna frmula F(x) tal que esto o aquello..., suponemos a partir del todo de la lengua, negativamente, la inscripcin en el todo de una frmula. Hace falta aqu un potente repliegue metalingstico sobre s de la situacin de lengua, es decir, que una situacin semejante no tolere una paradoja ms radical que la que nos ocupa. De la misma manera, que es consistente suponer lo innombrable es algo que estableci tambin el matemtico Furkhen en 1968. l presenta una situacin de lengua bastante simple una especie de fragmento de la teora del sucesor aritmtico, ms un pequeo trozo de la teora de los conjuntos, que admite un modelo donde un trmino y uno solo queda sin nominacin. Un modelo, en consecuencia, donde existe completamente lo innombrable, duplicacin sustractiva de la unicidad, o propio de lo propio. Por lo tanto, lo indecidible como sustraccin a las normas de evaluacin, o sustraccin de la Ley. Lo indiscernible como sustraccin del marcaje de la diferencia, o sustraccin al sexo. Lo genrico como sustraccin infinita y excesiva del concepto, mltiple puro, o sustraccin de lo Uno. Lo innombrable como sustraccin del nombre propio, o como singularidad sustrada de la singularizacin. stas son las figuras analticas del ser tal como es convocado por una falta de control de la lengua. Falta vincularle, topolgicamente, la dialctica. El soporte de tal vnculo es proyectado en el esquema gamma, que a ttulo de entreacto les distribuir a continuacin (vase pgina siguiente). Que quede claro que entramos ahora en filosofa, puesto que lo que precede es compartido con la matemtica, y por consiguiente con la ontologa. De la ontologa, dicho sea de paso, Lacan no vacilaba en decir que era ms bien una vergenza. Una vergenza del sentido, o de los sentidos, una vergenza culinaria, agregara yo, una vergenza familiarmente filosfica; no ya el encanto de la casa sino la vergenza en la casa. Sin embargo, ontologa no es para m sino otro nombre de la matemtica o, ms precisamente, matemtica es el nombre de la ontologa como situacin de lengua. De ese modo escapo a la casa de la vergenza. Sustraccin esta vez de toda ontologa a la filosofa, que no es ms que la situacin de lengua donde las verdades, plural de sus procedimientos, son decibles como Verdad, singular de su enfoque.

CONFERENCIA ACERCA DE LA SUSTRACCIN

179
Uno

Uno+

Indecidible Acontecimiento

No m

in ac

Fo

m za

ie

o nt

Innombrable Bien/Mal

Genrico Verdad Infinito Fidelidad

Indiscernible Sujeto Finito

Vuelvo al esquema gamma. El esquema gamma representa el trayecto de una verdad, sea cual fuere su tipo. Quiz sepan ustedes que yo sostengo la existencia de cuatro tipos de verdades: cientficas, artsticas, polticas y amorosas. Nuestro esquema es filosfico por el hecho de que composibilita los tipos de verdades mediante un concepto formal de la Verdad. Obsrvese la distribucin de las cuatro figuras de la sustraccin segn el registro de la multiplicidad pura. Lo que designa asimismo al ser latente en tales actos. Lo indecidible y lo innombrable estn apareados porque suponen lo Uno: un enunciado en el caso de lo indecidible; la unicidad de lo que se hurta al nombre propio en el caso de lo innombrable. La posicin de lo Uno en el efecto sustractivo no es sin embargo la misma. El enunciado indecidible, sustrado del efecto de la norma de evaluacin, est fuera del campo de lo que puede inscribirse, no obstante que lo posible de la inscripcin es precisamente caer bajo la norma. As, en el campo de lo demostrable, el enunciado de Gdel es carente, puesto que ni l ni su negacin pueden ocurrir. Tal enunciado, digamos, suplementa la situacin de lengua reglada por la norma, lo que marco con un signo + que afecta a lo Uno.

180

FILOSOFA Y MATEMTICA

Lo innombrable est, por el contrario, enclavado en lo ms ntimo de la presentacin. Testimonia la carne de la singularidad y es tambin como el fondo en forma de punto de todo el orden en que los trminos son presentados. Este debajo radical de la nominacin, este repliegue de lo propio sobre s, designa lo que del ser pone en debilidad el principio de lo Uno tal como la lengua, en la nominacin de lo propio, lo establece. Es esta puesta en debilidad de lo Uno de la lengua por el punto-fondo del ser lo que marco junto a lo Uno con el signo menos. Lo indiscernible y lo genrico estn apareados porque suponen lo mltiple. Indiscernible se dice de al menos dos trminos, puesto que se trata de una diferencia sin concepto. Y lo genrico, como hemos visto, exige el escalonamiento infinito de los trminos del Universo, puesto que es el esquema de un subconjunto sustrado a toda unidad predicativa. Pero, ah tambin, el gnero de lo mltiple no es el mismo en los dos casos. Lo mltiple implicado en lo indiscernible tiene por criterio los lugares marcados en una frmula de discernimiento. Como toda frmula efectiva de una situacin de lengua es finita, lo mltiple de lo indiscernible es necesariamente finito. Por el contrario, lo genrico exige lo infinito. El esquema gamma sobreimpone pues las figuras lgicas de la sustraccin a una distribucin ontolgica. Son dispuestos en forma de cuadriltero lo Uno ms, lo Uno menos, lo finito y lo infinito. Es en este cuadriltero completo de donaciones de ser donde circula una verdad, al mismo tiempo que su trayecto est como abrochado, como prendido, por la lgica entera de la sustraccin. Recorramos ahora ese trayecto. Para que se inicie el proceso de una verdad, hace falta que algo ocurra. Hace falta, dira Mallarm, que no estemos en el caso de que nada haya tenido lugar ms que el lugar. Puesto que el lugar como tal, o la estructura, no nos da sino la repeticin, y el saber que ah es sabido o insabido, un saber que est siempre en la finitud de su ser. El suceso, la ocurrencia, el suplemento puro, el incalculable y desconcertante aadido, yo lo nombro acontecimiento. Es, para citar una vez ms al poeta, lo que surge de la grupa y del brinco. Una verdad deviene en su novedad y toda verdad es una novedad porque un suplemento azaroso interrumpe la repeticin. Una verdad comienza, indistinta, por surgir. Pero tal surgimiento sostiene enseguida lo indecidible. Porque la

CONFERENCIA ACERCA DE LA SUSTRACCIN

181

norma de evaluacin que regla la situacin, o estructura, no puede aplicarse al enunciado este acontecimiento pertenece a la situacin. Si semejante enunciado fuera decidible, es claro que el acontecimiento estara de antemano plegado a las normas de la repeticin, y que no sera acontecimental. Hay una indecidibilidad intrnseca de todo enunciado que implica a la nominacin del acontecimiento. Y ninguna comprobacin, ninguna mostracin, pueden aqu reparar la carencia de la norma. Porque el acontecimiento apenas ha surgido y ya ha desaparecido. l slo es el relmpago de una suplementacin. Su empiricidad es la de un eclipse. Adems ser necesario siempre decir que ha tenido lugar, que ha sido dado en la situacin, y este enunciado inverificable, sustrado de la norma de evaluacin, es propiamente, respecto del campo de lo que la lengua decide, una suplementacin: es ese Uno ms donde se juega la indecidibilidad. La tarea de una verdad es entonces apostar al suplemento. Se tendr el enunciado el acontecimiento ha tenido lugar, lo que viene a decidir lo indecidible. Pero, obviamente, puesto que lo indecidible es sustrado a la norma de evaluacin, esta decisin es un axioma. Nada la funda, salvo el desvanecimiento supuesto del acontecimiento. Toda verdad franquea as la mera apuesta empeada sobre lo que no tiene de ser sino su desaparecer. El axioma de verdad, que es siempre un axioma con la forma esto ha tenido lugar, lo cual no puedo ni calcular ni mostrar, es el simple reverso afirmativo de la sustraccin de lo indecidible. Despus de lo cual se entabla el infinito procedimiento de verificacin de lo verdadero, es decir, el examen en la situacin de las consecuencias del axioma. Tal examen, a su vez, no es guiado por ninguna ley establecida. Nada regla su trayecto, puesto que el axioma que lo sostiene ha resaltado fuera de todo efecto de las normas de evaluacin. Se trata pues de un trayecto azaroso, o sin concepto. Las opciones sucesivas de la verificacin slo tienen como meta que sea representable en el objeto, o est sostenida por un principio de objetividad. Pero qu es una opcin pura, sino una opcin sin concepto? Es evidentemente una opcin confrontada a dos trminos indiscernibles. Si ninguna frmula discierne dos trminos de la situacin, est garantizado que la opcin de hacer pasar la verificacin por uno ms que por otro no tiene ningn apoyo en la objetividad de su diferencia. Se trata entonces de una opcin absolutamente pura, des-

182

FILOSOFA Y MATEMTICA

lindada de toda otra presuposicin que la de tener que elegir, sin marca en los trminos propuestos, aquello por lo cual va primeramente a pasar la verificacin de las consecuencias del axioma. Esta situacin es bien sealada por la filosofa con el nombre de libertad de indiferencia. Libertad que no es normada por ninguna diferencia que se pueda sealar, libertad que hace frente a lo indiscernible. Si ningn valor discrimina lo que tenemos que elegir, es nuestra libertad como tal la norma, hasta el punto en que de hecho se confunde con el azar. Lo indiscernible es la sustraccin que funda un punto de coincidencia entre el azar y la libertad. Descartes hace de tal coincidencia un atributo de Dios. Se sabe que llega a decir que el axioma de la libertad divina es tal que, si se examina la suma 2 + 2, la opcin de 4 ms bien que la de 5 como su resultado es la opcin entre dos indiscernibles. La norma de la adicin es aqu aquello de lo cual Dios es axiomticamente sustrado. Es su pura opcin lo que va retroactivamente a constituirla, es decir, a verificarla, en el sentido activo, a ponerla en verdad. Si ponemos a Dios de lado se tendr que lo indiscernible organiza el punto puro del Sujeto en el proceso de verificacin. Un sujeto es lo que desaparece entre dos indiscernibles, lo que se eclipsa en la sustraccin de una diferencia sin concepto. Tal sujeto es el golpe de suerte que no puede abolir al azar, pero que lo efecta como verificacin del axioma que lo funda. Lo que fue decidido en el punto del acontecimiento indecidible pasar por ese trmino, donde se representa sin razn ni diferencia marcada, indiscernible de su otro, el acto local de una verdad. Fragmento de azar, el sujeto franquea la distancia nula que entre dos trminos inscribe la sustraccin de lo indiscernible. Por lo cual el sujeto de una verdad es en efecto, propiamente, in-diferente. El gran indiferente. El acto del sujeto es, lo vemos, esencialmente finito, como lo es en su ser la presentacin de indiscernibles. Sin embargo, el trayecto verificante prosigue, circunscribiendo la situacin mediante indiferencias sucesivas, de tal suerte que lo que se acumula as, detrs de los actos, dibuja poco a poco el contorno de un subconjunto de la situacin, o del universo en que el axioma acontecimental verifica sus efectos. Est claro que este subconjunto es infinito, y que permanece inacabable. Sin embargo, se puede enunciar que, suponiendo que sea acabado, ser, ineluctablemente, un subconjunto genrico. Cmo, en efecto, una serie de opciones puras podra engendrar

CONFERENCIA ACERCA DE LA SUSTRACCIN

183

un subconjunto unificable bajo una predicacin? Sera necesario que el trayecto de una verdad fuera secretamente gobernado por un concepto, o que los indiscernibles en que el sujeto se disipe en su acto sean en realidad discernidos por algn entendimiento superior. Esto pensaba Leibniz, para quien la imposibilidad de indiscernibles resultaba del carcter calculador de Dios. Pero si ningn Dios calcula la situacin, si los indiscernibles son precisamente tales, el trayecto de una verdad no puede coincidir al infinito con algn concepto, sea cual fuere. Y, en consecuencia, los trminos verificados componen, o ms bien habrn compuesto, si se supone su totalizacin infinita, un subconjunto genrico del Universo. Indiscernible, en su acto, o como Sujeto, una verdad es genrica en su resultado, o en su ser. Ella se sustrae a toda recoleccin de lo mltiple en lo Uno de una designacin. Hay pues dos razones, y no una, para enunciar que una verdad es poco-dicha. La primera es que, infinita en su ser, una verdad no es representable ms que en el futuro anterior, o sea el tiempo verbal conocido como antefuturo o futuro perfecto del indicativo. Ella habr tenido lugar como infinitud genrica. Su tener lugar, que es tambin su recada local en el saber, est dado en el acto finito de un Sujeto. Entre la finitud de su acto y la infinitud de su ser no existe medida. Esta desmesura es tambin la que relaciona la explicitacin verificante del axioma acontecimental con la suposicin infinita de su acabamiento. O lo que relaciona la sustraccin indiscernible, donde se funda el sujeto, con la sustraccin genrica, donde se anticipa esa verdad de la que el sujeto es sujeto. Tal relacin es la de casi nada, lo finito, con casi todo, lo infinito. De ah el poco-decir de toda verdad, puesto que lo que se dice en ella es siempre del orden local de la verificacin. La segunda razn es intrnseca. Puesto que una verdad es un subconjunto genrico del Universo, no se deja recapitular en ningn predicado, no es construida por ninguna frmula. Es muy exactamente esto: no hay frmula de la verdad. De ah su poco-decir, puesto que finalmente la imposibilidad de una construccin formularia nos devuelve al hecho de que de la verdad nosotros no sabemos ms que el saber, o sea lo que se dispone, siempre finito, detrs de las opciones puras. Que una verdad sea poco-dicha enuncia en realidad la relacin, gobernada por un axioma indecidible, entre lo indiscernible y lo genrico.

184

FILOSOFA Y MATEMTICA

Dicho esto, la potencia genrica o sustractiva de una verdad es anticipable como tal. El ser genrico de una verdad no es nunca presentado, pero nosotros podemos saber, formalmente, que una verdad habr siempre tenido lugar como infinito genrico. De ah la ficcionalizacin posible de los efectos de su haber-tenido-lugar. Desde el punto del Sujeto, es siempre practicable la hiptesis de un Universo donde esta verdad en que el sujeto se constituye habra acabado su totalizacin genrica. Cules seran las consecuencias de semejante hiptesis sobre el Universo de donde procede al infinito la verdad? Se puede ver que al axioma, que resuelve sobre lo indecidible a partir del acontecimiento, sucede la hiptesis, que sostiene en ficcin un Universo suplementado por ese subconjunto genrico, cuyos bosquejos locales y finitos el sujeto sostiene, en la prueba de lo indiscernible. Qu es lo que hace de tope de retencin para semejante hiptesis? Qu es lo que limita la potencia genrica de una verdad puesta en la ficcin de su acabamiento, y por consiguiente de su tododecir? Considero que ese punto de detencin no es otro que lo innombrable. La hiptesis anticipante en cuanto al ser genrico de una verdad es evidentemente un forzamiento del poco-decir. Este forzamiento hace ficcin de un todo-decir, del punto de una verdad infinita y genrica. Grande es entonces la tentacin de ejercer ese forzamiento sobre el punto ms ntimo y el ms sustrado de la situacin, sobre lo que atestigua su singularidad, sobre lo que no tiene siquiera nombre propio, sobre lo propio de lo propio, sobre lo annimo cuyo nombre adecuado ni siquiera es el de annimo, Digamos que el forzamiento, que representa en el futuro anterior, antefuturo o futuro perfecto del indicativo, la infinita genericidad de una verdad, tiene por prueba radical de la potencia del todo-decir en verdad lo siguiente: que una verdad dar finalmente su nombre a lo innombrable. De la coaccin ejercida por el infinito, o por el exceso sustractivo de lo genrico, sobre la debilidad de lo Uno en el punto de lo innombrable, puede nacer el deseo de nombrar lo innombrable, de apropiar lo propio de lo propio con una nominacin. Ahora bien, yo descifro en tal deseo que toda verdad pone en el orden del da la figura misma del Mal. Puesto que el forzamiento de una nominacin para lo innombrable es la renegacin de la singularidad como tal, el momento en que en nombre de la infinita gene-

CONFERENCIA ACERCA DE LA SUSTRACCIN

185

ricidad de una verdad la resistencia de lo que hay de absolutamente singular en la singularidad, de la parte de ser de lo propio que es sustrada a la nominacin, en que todo eso aparece como un obstculo a la disposicin de una verdad como imperio [empire] de la situacin. El en-pire (en dos palabras) de una verdad [pire significa peor (T.)] es forzar, en nombre de la sustraccin genrica, la sustraccin de lo innombrable con el desvanecerse a la luz de una nominacin. Llamamos a esto un desastre. El Mal es el desastre de una verdad, cuando se desencadena en ficcin el deseo de forzar la nominacin de lo innombrable. Se considera comnmente que el Mal es la negacin de lo que est presente y afirmado, el crimen y la muerte, que se opone a la vida. Yo dira ms bien que es la negacin de una sustraccin. No es a lo que est en la afirmacin de s lo que el Mal afecta, sino ms bien, siempre, lo que es retirado y annimo en la debilidad de lo Uno. El Mal no es el no respeto del nombre de lo Otro, sino ms bien la voluntad de nombrar a toda costa. Se considera comnmente que el Mal es mentira, ignorancia, tonta criminalidad. Desgraciadamente el Mal tiene ms bien como condicin radical el proceso de una verdad. No hay Mal sino en tanto que hay un axioma de verdad en el punto de lo indecidible, un trayecto de verdad en el punto de lo indiscernible, una anticipacin de ser en cuanto a la verdad en el punto de lo genrico, y el forzamiento en verdad de una nominacin en el punto de lo innombrable. Si el forzamiento de la sustraccin innombrable es un desastre, es porque afecta a la situacin entera, persiguiendo y hostigando su singularidad como tal, cuyo emblema es lo innombrable. En este sentido, el deseo en ficcin de suprimir la cuarta operacin sustractiva libera una capacidad de destruccin latente en toda verdad, en el sentido mismo en que Mallarm pudo escribir que la Destruccin fue su Beatriz. La tica de una verdad se mantiene entonces toda entera en una especie de retencin respecto de sus poderes. Importa que el efecto combinado de lo indecidible, de lo indiscernible y de lo genrico, o incluso del acontecimiento, del sujeto y de la verdad, admita como limitacin principal de su trayecto ese innombrable de lo que Samuel Beckett hizo el ttulo de un libro. Beckett no ignoraba por cierto el estrago latente que el deseo de verdad inf lige a la sustraccin de lo propio. Vea incluso la violencia ineluctable del pensamiento cuando hizo decir a su Innombra-

186

FILOSOFA Y MATEMTICA

ble : Yo... yo no pienso haber superado cierto grado de terror. Pero l saba tambin que la garanta ltima de una posible paz de las verdades reside en la reserva del no-decir, en el lmite de la voz respecto de lo que se muestra, en lo que se sustrae al imperativo absoluto de decir la verdad. Lo mismo cuando, en Molloy, recuerda que restablecer el silencio es el papel de los objetos, que cuando, en Cmo es, se felicita de que la voz est hecha de modo que de nuestra vida total no dice ms que las tres cuartas partes. Sustraer es aquello de lo que procede toda verdad. Pero la sustraccin es lo que norma y limita, bajo las especies de lo innombrable, el trayecto sustractivo. Slo hay una mxima en la tica de una verdad: no sustrae la ltima sustraccin. Es lo que Mallarm, con el que quiero concluir, dice exactamente en Prosa (para des Esseintes). La amenaza es que una verdad, por errante e inacabada que sea, se tome por, segn la expresin del poeta, una era de autoridad. Ella quiere entonces que todo sea triunfalmente nombrado, en el Esto de la revelacin. Pero el corazn de lo que es, el Medioda de nuestra inconsciencia de ser, no tiene y no debe tener nombre. El sitio de lo verdadero, sustractivamente edificado, o incluso, como lo dice el poeta, f lor que un contorno de ausencia ha separado de todo jardn, queda a su vez, en lo ntimo de s, sustrado al nombre propio. El cielo y el mapa atestiguan que ese pas no existi. Pero existe, y eso es lo que perturba a la verdad autoritaria, para la que no existe sino lo que es nombrado en la potencia de lo genrico. Esa turbacin hay que profundizarla mediante la custodia de lo propio y de lo sin-nombre. Leamos, para terminar, esto, donde todo lo que dije est dado en su centelleo: La era de autoridad se turba cuando, sin ningn motivo, se dice de este medioda que nuestra doble inconsciencia profundiza, que, suelo de cien iris, su sitio, ellos saben bien si ha sido, no lleva nombre que cite el oro de la trompeta de esto.