Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ndice
11
1.
2.
3.
4.
5.
6.
7.
25
37
51
57
67
85
97
103
111
115
11.
12.
13.
14.
121
131
141
153
El ser del n m e r o
La ontologa de sustraccin de Kant
Grupo, categora, sujeto
El ser y el aparecer
171
lo est desde hace tiempo. Quiz tras el sermn de san Pablo se comienza ya a dar muerte a lo que era la nica vida verdadera de Dios,
la resurreccin del Cristo, nica y decisiva victoria sobre la muerte
de que tenemos constancia, una muerte concebida como s m b o lo del sujeto y no como objetividad biolgica. En todo caso, el Renacimiento superpone al Dios vivo la dudosa multiplicidad de los
dioses mitolgicos, de los que mucho ms tarde dir Renn que slo
estaban tan presentes y desnudos en el gran arte clsico por encontrarse todos envueltos en la mortaja de prpura en la que duermen
los dioses difuntos. Y si no fue el Renacimiento quien hizo esa superposicin, fue Galileo, o Descartes, para quien el universo, especie
de grafo material de la matematicidad, fija a Dios en la puntualidad
transmatemtica del infinito actual, lo que equivale a no vivir sino
en una muerte literal. O quiz fueran los filsofos de la Ilustracin,
para quienes la poltica es un asunto que atae estrictamente a los
hombres, una inmanencia prctica de la que ha de expulsarse todo
recurso a la gerencia providencial del Todopoderoso. O tal vez fuese Cantor, que expulsa a Dios de su localizacin infinita, para instalar en su lugar el nmero y el clculo. Acaso Dios tuvo una larga
agona, pero no hay duda de que nos venimos ocupando, desde hace
varios siglos, de las sucesivas formas de su embalsamamiento.
NC han vuelto obsoletos, discutibles, ineficaces. Pero no podemos dei ir que estn muertos. Por este mismo motivo, toda aprehensin de la
cuestin de Dios desde el epgrafe de las simbolizaciones primordiales desemboca en la conclusin de que no est muerto, o incluso en la
de que es inmortal.
Desde este punto de vista, el psicoanlisis mantiene con la cuest ion de Dios una relacin en ltimo trmino ambigua. Por el hecho
mismo de convertir a Dios, siguiendo el razonamiento de Feuerbach, en el nombre sublime de una de las funciones en las que queda prendido el deseo, el psicoanlisis no hace sino proseguir la mortificacin cientfica de la trascendencia. Sin embargo, y por el hecho
mismo de localizar la estabilidad de esta funcin, as como por el
hecho de que ninguna constitucin subjetiva puede ahorrrsela radicalmente, garantiza a Dios, desde el interior de su muerte supuesta, una perennidad conceptual sin precedentes. Se aducir como
prueba emprica que numerosos psicoanalistas eminentes y de gran
talento, como Franc,oise Dolto o Michel de Certeau, no han visto
ninguna contradiccin formal entre su compromiso freudiano y la
creencia religiosa, sino al contrario. Pero lo han hecho exactamente
igual que Lacan -ciertamente no sospechoso de la menor complacencia clerical-, quien sostena tambin que era propiamente imposible acabar con la religin.
Por este motivo, la cuestin de lo que yace bajo su nombre resulta cada vez ms oscuro. Y no lograremos procurarnos alguna luz
con asimilar su funcin a la del Padre. Feuerbach ya afirmaba que el
Dios cristiano, junto con todo su atavo, no eran sino dos proyecciones de la organizacin familiar y de su simbolismo constitutivo.
Pero slo poda decirlo porque Dios ya estaba muerto, o se encontraba moribundo. Podramos decir que esta tesis sobre Dios participaba
del proceso de su muerte y del olvido de aquello que estaba vivo
bajo su nombre. Reconducir el funcionamiento de Dios, asimilndolo de nuevo al del nombre-del-Padre no es ms que una de las formas de hacer desaparecer bajo su puro nombre propio y el ideal de
la ciencia la singularidad del Dios vivo.
12
13
que puede morir no es y no puede ser el Dios conceptual de Descartes, el representante del infinito, y tampoco puede ser la sutura
de las verdades matemticas a su ser ni la garanta de los juicios en la
forma del gran Otro. Tiene que ser el Dios de Isaac, de Abraham y
de Jacob, o ese Cristo que habla directamente a Pascal en su huerto de los Olivos interior. El Dios vivo siempre es el Dios de alguien.
El Dios con el que alguien, Isaac, Jacob, Pablo o Pascal, comparte
la potencia de vivir, en el puro presente de su despliegue subjetivo.
Unicamente ese Dios vivo alimenta la conviccin propiamente religiosa. Es preciso que el sujeto se relacione con l como con una potencia que se experimenta en el presente. Es preciso que sea encontrado. Y que sea encontrado a partir de uno mismo. As sucede con el
Dios de Kierkegaard, otro tardo defensor del Dios moribundo, en
el momento en que, depurando el afecto de la desesperacin, anuncia que en su relacin consigo mismo, al querer ser l mismo, el yo
se hunde, recorriendo su propia transparencia, en la potencia que lo
ha creado. Que Dios haya muerto quiere decir que ha dejado de ser
ese ser vivo que podra uno encontrar cuando la existencia se hunde
y recorre su propia transparencia. Y que tal o cual persona declare a
la prensa haberlo encontrado bajo un rbol, o en una ermita de provincias, no altera el asunto para nada. Y ello porque sabemos que
ningn pensamiento puede hacer ya valer sus derechos una vez se ha
efectuado un encuentro semejante, que no tiene ya mayor vigencia
que la que concedemos al pensamiento de todo aquel que ve espectros, y que no es otra sino la consideracin positiva de una manifestacin sintomtica.
En este sentido, hay que declarar que la religin ha muerto, y
que incluso en los casos en que se muestra con toda la extensin
aparente de sus poderes, no lo hace sino como sntoma particular de
una conmemoracin en donde la muerte es omnipresente. Lo que
subsiste no es ya la religin, sino su dramaturgia. Pues no es sino en
el teatro donde, como en Hamlet, los espectros expresan una apariencia de eficacia. En ese teatro, que en su caso puede ser sangriento,
se representa para nosotros aquello que imaginamos que podra ser
la religin si el Dios vivo, del que nadie tiene la menor idea, no estuviese muerto.
Las objeciones comunes contra el motivo de la muerte real del
Dios vivo, y por tanto de la religin, se alimentan en dos fuentes que
14
M U , por un lado, la doctrina del sentido y, por otro, lo que llamamos integrismos, que son los encargados de expresar la conviccin
del retorno de lo religioso.
No creo que estas objeciones sean pertinentes.
Es indudable que una de las funciones de la religin consiste en
dar sentido a la vida, y ms en particular a la sombra que contiene,
la muerte, que est unida a lo real. Pero es inexacto decir que todo lo
que da sentido es religioso, es decir, que todo lo que da sentido exige al Dios vivo, y por tanto al Dios histricamente capaz de morir.
Sobre este punto es decisivo distinguir lo que designa la palabra
.Dios en la frmula Dios ha muerto -punto por el que esa palabra conecta con la religin- de lo que esa misma palabra designa en
la metafsica especulativa. Uno de los numerosos mritos de la reciente tesis de Quentin Meillassoux (Vnexistence
divine), es el de
haber establecido, con un objetivo ontolgico y tico de potente
originalidad, que el Dios de la metafsica ha sido siempre la pieza
central de la mquina de guerra que el racionalismo opone al Dios
vivo de la religin.
Pues a la metafsica, tal como objetaba Pascal a Descartes, no se
ajusta en realidad sino un Dios muerto, un Dios ya muerto, o un Dios
muerto desde siempre, un Dios que no pueda alimentar la fe de ninguna religin, pese a que trate de declararse, con el fin de domesticar
un tanto a los espritus prendados de la razn, compatible con ella,
pero en el fondo no lo es. Y es que el peligro religioso estriba en hacer de Dios un ser viviente con el que intentamos vivir, y al vivir con
l producir un sentido de la vida total, incluyendo la muerte. Por su
parte, el riesgo metafsico se queda en comprender, con la palabra
Dios, la consistencia probatoria de un concepto y en garantizar,
de acuerdo con ese concepto, que las verdades tienen sentido. La
palabra Dios es anfibolgica, puesto que abarca, en su calidad de ser
vivo, el sentido total de la vida y, en su condicin de ser ya muerto,
el sentido posible de las verdades. Con respecto a Dios, es cierto
que la religin resulta vivificante y que la metafsica es mortificante.
El gran trabajo de mortificacin metafsica de Dios comienza brillantemente con los griegos. Sin duda, se subordina al sentido, a la
concesin de sentido, o a la totalizacin del sentido, pero lo hace
economizando, al contrario que el antifilsofo Kierkegaard, todo
afecto y toda inmersin existencial en esa concesin.
15
En este sentido, el Dios de Aristteles es ejemplar. Si se le concibe desde la vertiente de la fsica, es el sentido ltimo del movimiento, en su condicin de primer motor inmvil. Pero quin podra
decir que la vida es un eterno reposo? Es la definicin misma de la
muerte, y tanto ms si tenemos en cuenta que el Dios de Aristteles mueve todas las cosas, no mediante una accin interesada, o a travs de un comercio subjetivo, sino por medio de la atraccin finalista
de su supereminencia. Por consiguiente, este Dios sigue siendo, respecto de las cosas a las que mueve, completamente indiferente.
Quin podr declarar viva a esta eternidad indiferente e inmvil?
Si observamos ahora a ese mismo Dios -a menos que se trate de
otro, quin sabe- desde a vertiente de la metafsica, veremos que,
siendo acto puro no tiene ningn otro oficio posible que el de pensarse a s mismo, dado que no tiene ninguna razn aceptable para
pensar ninguna otra cosa excepto su propia pureza. Aqu, una vez
ms, hay otorgamiento de sentido, dado que slo suponiendo la
existencia de un entendimiento agente separado de toda materia y
soberanamente consagrado a su sola perfeccin es posible clausurar la teora de la sustancia como compuesto enigmticamente singular de materia y de forma, o de acto y potencia. Y ello porque
el principio de singularizacin, que es acto, o forma, debe revelarse en ltimo trmino como singularidad absoluta, como acto que se
agota en su propio acto, o como forma ntegramente separada. La
palabra Dios da nombre a estas operaciones de clausura.
Por otro lado, esta clausura se ocupa de organizar el sentido bajo
la especie de una demostracin, la demostracin de la existencia de
Dios, que es propiamente el perfecto contrario de la constatacin
de su vida. Digamos que el Dios de la metafsica adquiere sentido al
existir en funcin de una prueba, mientras que el Dios de la religin
adquiere sentido al vivir en funcin de un encuentro.
De aqu se sigue que la muerte del Dios de la religin deja intacta la cuestin del destino del Dios de la metafsica, que no tiene ninguna relacin ni con la vida ni con la muerte, cosa que, desde el punto
de vista de la vida, y por tanto de la religin, significa que se encuentra perfectamente muerto. Tambin se sigue, puesto que hablamos de sentido, que el carcter irreductible de su efecto puede contentarse perfectamente con operaciones de las que est radicalmente
excluida toda asuncin subjetiva de un Dios vivo. Esta es por otra
16
parte la razn de que Heidegger no pueda identificar el enunciado de Nietzsche Dios y muerte -como tampoco las imprecaciones y los anatemas contra el cristianismo- con a deconstruccin,
.u'tn por venir, del esquema metafsico de la onto-teologa. Se trata
<*n efecto de dos cuestiones distintas, ya que es muy difcil que la
desaparicin de lo religioso como tal arrastre mecnicamente
consigo la desaparicin del motivo metafsico, infinitamente ms
resistente, puesto que este, con su Dios, un Dios que no da nombre ms que a un mero principio, resulta precisamente inaccesible
a la muerte.
N o se puede sostener por tanto que la sola maquinacin del sentido represente una objecin al argumento de irreversibilidad de la
muerte de Dios. Como atestigua la metafsica desde sus orgenes,
hay un sentido no vivo, un sentido literal, un sentido argumental, y,
en definitiva, un sentido matemtico: un sentido que rompe profundamente con la asignacin religiosa del sentido establecido para el
Dios vivo.
Y en cuanto a los integrismos contemporneos, afirmar que no
conduce a nada concebirlos como un retorno de lo religioso. Son
formaciones contemporneas, fenmenos poltico-estatales de nuestro tiempo. Digmoslo claramente: son invenciones, invenciones
cuyo carcter totalmente improductivo en el plano propiamente religioso hace ya mucho tiempo que ha sido constatado, pero que son
virulentas en el espacio que se asignan a s mismas, que es el de la
conquista del poder. En realidad hay que concebir lo que convencionalmente denominamos integrismos como una de las formas
subjetivas, yo dira uno de los tipos subjetivos, en los que se enuncia precisamente que Dios ha muerto. Este tipo corresponde a lo
que yo Hamo el sujeto oscuro, porque el enunciado de verdad cuya
puesta en prctica representa slo es activo por el hecho de verse tachado, enterrado, inconsciente. Y, por consiguiente, hay que pensar
tambin que no existe ms remedio que mortificar aquello que lo
constituye, aquello de lo que ningn psicoanalista podra extraarse.
De ah la afirmacin desesperada y sangrante de una religin ficticia
y mortfera cuyo principio real, enterrado en lo subjetivo, consiste,
de punta a cabo, en afirmar que Dios ha muerto. La teatralizacin de
esta evidencia oculta se manifiesta simultneamente en la reproduccin incesante de esa muerte en forma de la muerte de los presuntos
17
culpables humanos de la muerte de Dios. Esta representacin teatral se manifiesta tambin en la exasperacin de los rituales de los
cuerpos y de las marcas aplicadas a ellos, que han sido siempre escenas burlescas en el registro del semblante pblico, ofrecidas a la
precariedad del Dios vivo.
Y an aadir, para completar el cuadro, que entre la prescripcin de que el cuerpo femenino est disimulado tras unos velos, y la
de que el cuerpo se ofrezca a la vista en los circuitos comerciales, o,
como dira Guyotat, del cuerpo capitalista de prostitucin, circula
la misma pregunta, a saber: puesto que ha muerto el Dios a cuyo ojo
viviente se hallaban expuestos todos los cuerpos, y bajo cuya ley quedaban distribuidas las porciones de lo visible, quin nos dir ahora
qu es lo que debe permanecer oculto? Tratndose del cuerpo femenino, que considerado como un todo es el propio Falo, podemos
responder prescribiendo el mximo o el mnimo de disimulo, sin satisfacer jams la demanda que se hace. Y ello porque hoy en da, en
el deletreo clima de un simulacro de guerra de religin del que toda
verdadera religin se halla ausente, hay que reconocer que la muerte de Dios puede leerse de modo simtrico en los vestidos transparentes y cortos de Occidente, como epifana de las zonas ergenas,
y en los espesos velos negros en los que no queda ms brillo que el
de los ojos. Tema oscuro en todos los casos, pero cuya realidad, que
se puede aislar sin ms, consiste sin lugar a dudas en que el Dios
vivo est muerto.
De aqu no se sigue, como ya he dicho, que est muerto el Dios
de la metafsica. Respecto a esta cuestin hay que comenzar por lo
que yo llamara la apora de Heidegger. C m o es posible que el
pensador que determina la metafsica como onto-teologa, como
ocultacin de la cuestin del ser por la del ente supremo, venga a decirnos, en su declaracin testamentaria, que slo un dios podra salvarnos? Evidentemente, esto no es posible ms que en el caso de
que, una vez ms, la palabra dios opere en el equvoco. El nico
Dios que puede salvarnos no es el Dios-Principio que concentra el
olvido del ser en la metafsica occidental. Convendremos igualmente que tampoco puede tratarse del Dios vivo de las religiones, cuya
muerte, al alimn con Nietzsche, aunque de una forma algo retorcida, ratifica Heidegger. Por consiguiente, adems del Dios histricamente muerto de las religiones, y del Dios que queda por decons18
truir de la metafsica, dios que, por cierto, puede adoptar, en el humanismo poscartcsiano, el nombre del hombre, es necesario que se
proponga al pensamiento un tercer dios, o un principio divino de
otro orden.
En efecto, este dios, o estos dioses, o este principio divino, existen. Son una creacin del romanticismo, y en particular de Hlderlin. Por este motivo lo llamar el Dios de los poetas. N o es ni el sujeto vivo de la religin, pese a que se trate efectivamente de vivir junto
a l, y tampoco es el Principio de la metafsica, aunque se trate de
encontrar junto a l el fugaz sentido de la Totalidad. Es aquello a
partir de lo cual existe para el poeta el encantamiento del mundo,
y cuya prdida le expone a la desocupacin. De este Dios, no podemos decir n i que est muerto ni que est vivo, y tampoco podemos
decir que se le pueda deconstruir como un concepto exhausto, saturado o sedimentado. La expresin potica capital que le atae es
sta: este Dios se ha retirado, dejando al mundo presa del desencanto. La cuestin del poema se convierte as en la del retiro de los
dioses, y no coincide ni con la cuestin filosfica ni con la cuestin
religiosa.
La tarea del poeta, o como dice Hlderlin, su coraje, consiste al
mismo tiempo en trasladar al lenguaje el pensamiento acerca del Dios
que se ha retirado y concebir el problema de su regreso como una
incisin abierta en aquello de lo que el pensamiento es capaz.
En esencia, la relacin con el Dios potico no es del registro del
duelo, como lo puede ser la oscura relacin con el Dios muerto.
Tampoco es del registro de la crtica, o de la defeccin conceptual de
la totalidad, como lo puede ser la relacin filosfica con el DiosPrincipio. Es una relacin nostlgica en sentido estricto, es decir, la
que considera desde la melancola las posibilidades de un reencantamiento del mundo por el improbable regreso de los dioses.
Ahora ya podemos pensar la apora de Heidegger. Si es preciso
padecer el final de la onto-teologa y, sin embargo, al mismo tiempo esperar que un acontecimiento divino nos traiga la salvacin,
es porque la deconstruccin de la metafsica y la aquiescencia otorgada a la muerte del Dios cristiano mantiene abiertas las posibilidades
del Dios del poema. Esta es tambin la razn de que todo pensamiento haya quedado pendiente, como del gesto que l mismo puede prometer, de a dimensin de un retorno. Y ello porque Heideg19
Con alegra hay que aceptar que el destino de toda situacin sea
la infinita multiplicidad de los conjuntos, que ninguna profundidad
pueda establecerse jams en tal multiplicidad, que la homogeneidad de
lo mltiple venza ontolgicamente al juego de las intensidades. Y que,
por consiguiente, abandonado el anclaje en toda finitud, habitemos
en el infinito como en nuestra morada absolutamente anodina. Y
aceptemos que, de este modo, cuando en el azar de un acontecimiento una verdad cualquiera nos arrastre en pos de la inacabable infinitud de su trayecto, la bsqueda del sentido se reduzca para nosotros
nicamente a la tarea de cifrar esa infinitud, o a lo que otro heternimo de Pessoa, Alvaro de Campos, llamaba las matemticas del ser.
20
Toda la exposicin que va a seguir, por muy abstracta que pueda parecer a veces en la elucidacin de la muerte de Dios, se concibe
como una meditacin sobre lo que hay que pensar acerca de esta palabra: aqu.
23
1
La cuestin del ser en la actualidad
Debemos sin duda alguna a Heidegger la reorganizacin de la f i losofa en torno a la cuestin del ser. Le debemos tambin el que
haya puesto nombre a la poca del olvido de esa cuestin, un olvido cuya historia, iniciada ya con Platn, es la historia de la propia
filosofa.
Pero cul es, en definitiva, para Heidegger el rasgo distintivo de
la metafsica, de la metafsica concebida como historia del ser en retirada? Sabemos que el gesto platnico sita a la tlfi&eta bajo el
yugo de la Idea el recorte de la idea como presencia singular de lo
pensable establece que el ente predomina sobre el movimiento inicial, o inaugural, de eclosin del ser. La ausencia de velo, la desocultacin, se ve de este modo asignada a la fijacin de una presencia;
pero sin duda lo ms importante es que esa fijacin expone al ser del
ente al recurso de un cmputo, al contar-como-uno. Aquello por lo
cual lo que es es lo que es, es tambin aquello por lo que es uno.
La norma de lo pensable es la unificacin del ente singular bajo la
potencia de lo uno, y es esa norma, esa potencia normativa de lo
uno, la que tacha la venida a s, o el regreso a s mismo, del ser como
yvoig. E l tema de la quididad, en tanto determinacin del ser del
ente por la unidad de su quid, es aquello que sella la entrada del ser en
la potencia normativa propiamente metafsica. Cosa que destina al
ser a la preeminencia sobre el ente.
25
mismo tiempo la potencia normativa de lo uno y tambin el recurso contra esa potencia, es decir, la sustraccin respecto de dicha
potencia, entonces es preciso decir: al mismo tiempo que se avecina desde siempre un oscurecimiento del mundo, se acerca igualmente su iluminacin. De modo que la huida de los dioses es tambin el benfico asueto que les es concedido por los hombres; que a
destruccin de la Tierra es tambin su acondicionamiento como to
conveniente al pensamiento activo; que la reunin gregaria de los
hombres es tambin la irrupcin igualitaria de las masas en el escenario histrico; y que la preeminencia de lo mediocre es tambin el brillo y la densidad de lo que Mallarm denominaba accin
restringida.
M i problema es entonces el siguiente: cmo puede el pensamiento designar en s mismo el esfuerzo que siempre ha realizado para
sustraer al ser del apresamiento de lo uno? C m o asumir que sin
duda hubo un Parmnides, pero que igualmente hubo un Demcrito, en quien se opera, por diseminacin y recurso al vaco, el apartamiento de lo uno ? C m o poner en juego contra el destino heideggeriano aquello que a todas luces se excluye de tal sino, como la
magnfica figura de Lucrecio, en quien la potencia del poema, lejos
de mantener el recurso a lo Abierto en el desamparo, intenta ms
bien sustraer el pensamiento a cualquier retorno de los dioses y establecerlo en la firmeza de lo mltiple? Lucrecio se enfrenta directamente con el pensamiento a esta sustraccin de lo uno que es la i n finitud inconsistente, aquella que nada logra reunir:
Tal es pues la naturaleza del lugar, del espacio gigantesco:
Si se deslizasen indefinidamente, arrastrados por el tiempo,
Los rayos jams veran reducirse la distancia,
Todo el enorme depsito de las cosas est abierto
En todas direcciones.
Inventar una fidelidad contempornea a aquello que jams se ha
plegado a la coercin histrica de la onto-teologa, a la potencia no
razonadora de lo uno, tal fue y sigue siendo mi mvil.
La decisin inicial consiste entonces en sostener que aquello que,
perteneciente al ser, resulta pensable, se halla contenido en la forma de lo mltiple radical, de lo mltiple que no se halla sometido a la
27
A continuacin, Platn va a mostrar que esa inconsistencia disuelve lo uno hasta la raz de toda potencia supuesta, ya sea la propia potencia de su retiro, o la de su inexistencia: toda exposicin aparente de
lo uno lo resuelve inmediatamente en multiplicidad infinita. Cito:
Al que piensa en la proximidad y con agudeza le aparece cada uno de
los unos como multiplicidad sin lmites, mientras que lo uno, no siendo, le falta.
Qu podra significar esto sino lo siguiente: liberado del apresamiento metafsico de lo uno, lo mltiple no puede exponerse a lo
pensable como mltiple compuesto de unos? Es preciso dejar sentado que lo mltiple jams se compone de otra cosa que de mltiples. Todo mltiple es un mltiple de mltiples.
Y por lo mismo que un mltiple (un ente) no es un mltiple de
mltiples, es preciso mantener la sustraccin hasta el final. N o habremos de conceder que un determinado mltiple sea lo uno, y ni
siquiera admitiremos que se encuentre compuesto por unos. Y entonces ser, inevitablemente, mltiple de nada.
La sustraccin es tambin esto: en lugar de conceder que en ausencia de lo mltiple existe lo uno, afirmar que en ausencia de lo
mltiple no hay nada. Aqu, evidentemente, volvemos a encontrar
a Lucrecio, En efecto, Lucrecio haba excluido la posibilidad de que
entre las mltiples composiciones de tomos y vaco pudiese asignarse lo uno a algn tercer principio:
Adems del vaco y los cuerpos, no existe
En el nmero de las cosas ninguna naturaleza
Que se ofrezca jams a nuestros sentidos o que el entendimiento
Logre descubrir medante el razonamiento.
Esto es por otra parte lo que organiza su crtica de las cosmologas
provistas de un principio unitario, como la del Fuego de Herclito.
Lucrecio percibe perfectamente que sustraerse al temor de los dioses exige que ms ac de lo mltiple no haya nada. Y que ms all de
lo mltiple no haya sino ms mltiples.
-Por ltimo, una tercera consecuencia del compromiso de la sustraccin consiste en excluir que pueda haber alguna definicin de lo
mltiple. En este punto, la disciplina heideggeriana nos ayuda: el
2.9
modo propiamente socrtico del aislamiento de la Idea es la aprehensin de una definicin. La va de la definicin se opone al imperativo del poema justamente por el hecho de que establece en la propia lengua la potencia normativa de lo uno: esto ser pensado en su
ser por la razn de que se halla aislado, o recortado, por el recurso
dialctico de la definicin. La definicin es la forma lingstica de
establecer la preeminencia del ente.
Si pretendemos acceder a la exposicin-mltiple del ser a travs
del sesgo de una definicin, o por la va dialctica de las delimitaciones sucesivas, nos hallaremos, de hecho, originariamente instalados en la potencia metafsica de lo uno.
Se ve, pues, cmo el pensamiento de lo mltiple sin uno, o mltiple inconsistente, obstaculiza el camino de la definicin.
La ontologa se halla en la difcil situacin de tener que exponer
el carcter pensable de lo mltiple puro sin poder decir en ningn
caso cules son las condiciones que permiten reconocer a lo mltiple
como tal. N siquiera es posible hacer explcita esta obligacin negativa. N o es posible decir, por ejemplo: el pensamiento est consagrado a lo mltiple, y a nada ms que a la multiplicidad intrnseca de
lo mltiple. Y ello porque este pensamiento entrara ya en lo que
Heidegger llama el proceso de limitacin del ser, al haber recurrido
a una norma delimitadora. Y de este modo lo uno regresara.
N o es pues posible definir lo mltiple n i hacer explcita esa ausencia de definicin. En realidad, el pensamiento de lo mltiple puro
debe ser de ndole tal que el nombre multiplicidad no se mencione en parte alguna, ni para decir, de acuerdo cot lo uno, lo que
designa, ni para decir, siempre de acuerdo con lo uno, aquello cuya
impotencia misma le impide designar.
Pero, qu es un pensamiento que no define jams lo que piensa, que no lo expone, pues, jams como objeto? Qu es un pensamiento que incluso en la escritura que lo liga a lo pensable se prohibe recurrir a cualquier nombre posible para eso que es pensable? Se
trata, evidentemente, de un pensamiento axiomtico. U n pensamiento axiomtico atrapa la disposicin de los trminos no definidos.
Nunca encuentra n i una definicin para esos trminos ni una explicitacin practicable para aquello que no sean esos trminos. Los
enunciados primordiales de semejante pensamiento exponen lo pensable sin convertirlo en tema. Indudablemente, el o los trminos bus30
pensado por tanto como in-finito. O an: la infinidad es otro nombre para la multiplicidad en tanto que tal. Y como tampoco hay
ningn principio que encadene lo infinito a lo uno, hay que sostener que existe una infinidad de infinitos, una diseminacin infinita
de multiplicidades infinitas.
4. Por la misma razn que un mltiple es pensable como algo
que no es un mltiple de mltiples, no se conceder que haya que
rcintroducir aqu lo uno. Diremos ms bien que es un mltiple de
nada. Y la nada no estar, no ms que los mltiples, dotada de un
principio de consistencia.
5. La presentacin omolgica efectiva es necesariamente axiomtica.
Llegados a este punto, iluminados por la refundacin cantoriana de
las matemticas, podemos decir: la oncologa no es nada ms que la
propia matemtica. Y esto, desde su mismo origen griego, a pesar de
que en ese origen, y durante todo el tiempo posterior, luchando en
su propio seno contra la tentacin metafsica, la matemtica no haya
logrado -con grandes dificultades y al precio de penosos trabajos y
reorganizaciones- otra cosa que la garanta del libre juego de sus
propias condiciones.
Puede decirse que con Cantor pasamos de la ontologa restringida,
que todava liga lo mltiple al tema metafsico de la representacin
de los objetos, los nmeros y las figuras, a la ontologa general, que
establece como base y destino para la matemtica la aprehensin
pensante y Ubre de la multiplicidad como tal. Multiplicidad que
deja para siempre de limitar lo pensable a la restringida dimensin del
objeto.
Mostremos ahora de qu modo la matemtica poscantoriana se
vuelve en cierto modo igual a sus propias condiciones.
1. El conjunto, en el sentido de Cantor, no tiene ninguna otra
esencia ms que Ja de ser una multiplicidad; carece de determinacin
externa, puesto que nada en l limita en funcin de otra cosa que pueda ser aprehendido; carece de determinacin interna, puesto que
aquello de lo que l viene a ser reunin mltiple es indiferente.
2. En la elaboracin establecida porZermelo y Fraenkel, no hay
ningn otro trmino primitivo no definido, ningn otro valor posible para las variables, como no sea el definido por los conjuntos. De
33
La matemtica es un pensamiento
Este enunciado carece de toda evidencia. H a sido afirmado m u chas veces, primero por Platn, que lo presenta a c o m p a a d o de
todo tipo de reservas, y tambin ha sido negado muchas veces, en
particular por Wittgenstein. Se trata, indudablemente, de un enunciado que se sustrae a toda demostracin. Quiza sea el punto en
que queda sin salida la propia matematizacin, y por tanto, lo real
de la matemtica. Pero lo real, ms que hacerse conocible, se declara.
36
La oscuridad del enunciado resulta de lo que parece imponerse por una concepcin intencional del pensamiento: en esta concepcin, todo pensamiento es pensamiento de un objeto, y este objeto
determina la esencia y el estilo del pensamiento. Dejamos as establecido que la matemtica es un pensamiento en la misma medida
en que existen objetos matemticos, y la investigacin filosfica trata de la naturaleza y el origen de esos objetos. Ahora bien, es claro
que semejante suposicin es problemtica: en qu sentido pueden
declararse existentes los elementos ideales de la matemtica? Y
puede decirse que existan bajo la forma genrica de objeto? Esta d i ficultad se examina a lo largo de todo el Libro M de la Metafsica de
Aristteles, a propsito de lo que llama las pim^tjfiaTtK, las cosas
matemticas, o correlatos supuestos de la ciencia matemtica. La solucin de Aristteles es en mi opinin definitiva, ya que aborda la
37
cuestin de la matemtica como pensamiento desde el lado del objeto o de la objetividad. Esta solucin se inscribe entre dos lmites.
1. Por un lado, queda excluido conceder un ser o una existencia a los
objetos matemticos en el sentido de que este ser se encuentre separado, que constituya un mbito previo y a u t n o m o de los datos
objetivos. La tesis que aqu se critica se atribuye a Platn; en realidad, los verdaderos descendientes de Aristteles, es decir, los empiristas anglosajones modernos, llaman platonismo a la suposicin
de una existencia separada y suprasensible de los elementos ideales de la matemtica, y hacen valer, contra esta suposicin, que los
objetos matemticos son objetos construidos.
Aristteles dir entonces: las pia$r}fia.tit<
no son en modo alguno seres separados. Si
ese fuera el caso, debera haber una intuicin inteligible originara,
pero no hay nada que lo atestige. Por consiguiente, no pueden servirnos para identificar la matemtica como pensamiento singular.
Digamos que, para Aristteles, ninguna separacin ontolgica puede garantizar la separacin epistemolgica; en particular cuando
se trata de la separacin entre la fsica, que trata de lo sensible, y la
matemtica, ya que: ...es evidente que tambin es imposible que
existan aquellas cosas [matemticas] separadas de las cosas sensibles ( M , 2,10).*
2. De manera simtrica, es igualmente imposible que los objetos
matemticos sean inmanentes a lo sensible. Aristteles aborda este
punto en el L i b r o B. E l argumento principal afirma que la inmanencia de elementos ideales indivisibles en los cuerpos sensibles
acarreara la indivisibilidad de esos cuerpos; o que la inmanencia de
elementos ideales inmviles acarreara la inmovilidad de los cuerpos
sensibles; lo cual repugna a la experiencia. El fondo incontestable de
esta tesis consiste en que toda realidad matemtica inmanente produce una de estas dos consecuencias: o bien infecta al objeto matemtico con predicados sensibles que le son manifiestamente ajenos, como la temporalidad o la corruptibilidad, o bien infecta a los
cuerpos sensibles con predicados inteligibles que les son igualmente ajenos, como la eternidad o la transparencia conceptual.
* Segn la traduccin de Valentn Garca Yebra, Metafsica de Aristteles,
Gredos, Madrid, 1987. ( N . del t.)
38
en los objetos
reaparece
en el lado
del
sujeto.
Atrapado en el acto de activacin ficticia que es su propio pensamiento, el matemtico conoce mal su estructura. Esta es tambin la
razn de que la dimensin esttica se encuentre disimulada bajo una
pretensin cognitiva. L o bello es la verdadera causa de la actividad
matemtica, pero esta causa es, en el discurso matemtico, una causa ausente. Slo puede advertrsela por sus efectos: Por el hecho de
que las ciencias matemticas no nombren lo bello no hay razn para
creer que no se ocupen de ello, ya que se encargan de mostrar sus
efectos y sus relaciones. Es incumbencia del filsofo designar la
causa real del acto matemtico, y, por consiguiente, tambin lo es
pensar el pensamiento matemtico segn su autntico destino.
En mi opinin, esta sigue siendo la concepcin dominante en la
actualidad, como manifiestan cuatro sntomas principales:
a. La crtica de lo que se supone bajo el nombre de platonismo constituye prcticamente un consenso en todas las concepciones contemporneas de la matemtica. Del mismo modo, en esa crtica se observa la presencia de aquellas razones que hacen que los
matemticos sean considerados como platnicos espontneos, o
ingenuos.
b. El carcter construido y lingstico de las entidades o las estructuras matemticas se admite de forma casi universal.
c. Pese a que la esttica no se invoque siempre como tal, muchos
de los temas corrientes le son homogneos. De ah que la categora de verdad se ausente; de ah la tendencia al relativismo (segn
el cual habra varias matemticas distintas, y en ltimo trmino slo
sera una cuestin de gustos); y de ah, por ltimo, el enfoque lgico
de las arquitecturas matemticas, que trata a las estructuras matemticas como grandes formas cuyo protocolo de construccin sera decisivo, y cuyo referente, o ser propio, es decir, la determinacin mediante el pensamiento de aquello que es pensado, sigue siendo
imposible de asignar. Todo esto se atiene al enfoque de Aristteles, que reconoce explcitamente que las matemticas poseen una
preeminencia formal, preeminencia a la que denomina anterioridad
lgica, aunque lo haga nicamente para poder negarle mejor la anterioridad sustancial, u ontolgica. Pues, como dice Aristteles: La
anterioridad sustancial es la divisin de los seres que, una vez separados, predominan debido a la facultad de la existencia separada.
La separacin puramente ficticia del objeto matemtico es por tan41
Frege, que tropieza con la paradoja de Russell. La evidencia reducida aqu a lo imposible es la que asigna a una propiedad cualquiera el
conjunto de los trminos que poseen esa propiedad. Nada ms claro que esa doctrina de la extensin de un concepto; y sin embargo,
como una prueba real, surge el caso que da a esa evidencia una inconsistencia intrnseca.
- E l segundo caso es aquel en el que una teora establecida se encuentra, en un determinado punto, atravesada por la diagonal de una
excepcin, o de un exceso, con lo cual se nos insta a no considerar
esa teora, que creamos absolutamente general, sino como algo regional, es decir, completamente particular o restringido. As sucede
con la demostracin que revela que la diagonal de u n cuadrado es
inconmensurable con su lado, si entendemos que lo mensurable ha
de dar un nmero racional. La evidencia de la asignacin de un par de
nmeros enteros a toda relacin inteligible garantizaba, segn los
pitagricos, la reciprocidad del ser y el nmero. Esa reciprocidad ha
quedado derruida, lo que queda demostrado por una relacin geomtrica que siempre excede cualquier par de nmeros enteros que
se le pretendan asignar como medida. Es preciso, por tanto, volver
a pensar el pensamiento en el que ocurra el despliegue del esencial
carcter numrico del ser, y por consiguiente, es necesario volver a
pensar el pensamiento matemtico como tal.
-Por ltimo, el tercer caso es aquel en el que un enunciado desapercibido queda aislado como condicin de otros resultados que se
tienen por ciertos, cuando en realidad, considerado en s mismo,
ese enunciado parece insoportable a la vista de las normas compartidas segn las construcciones del pensamiento matemtico. Es lo
que ocurre con el axioma de eleccin. Los grandes analistas franceses
de finales del siglo X i x lo utilizaban implcitamente en sus propias demostraciones; pero su explicitacin formal les pareci exceder por
completo todo lo que aceptaban en el terreno de la manipulacin
del infinito; y, sobre todo, vieron en l una transgresin ilegtima de
la visin constructiva que tenan de las operaciones del pensamiento matemtico. En efecto, el axioma de eleccin equivale a admitir un
conjunto infinito absolutamente indeterminado cuya existencia se
afirma a pesar de que no sea posible definirlo lingsticamente y a
pesar de que, en el terreno de los procedimientos, resulte imposible
de construir.
44
Podemos por consiguiente sostener que el pensamiento matemtico vuelve sobre s mismo forzado por un choque real, o por el
surgimiento necesario, en su campo, de un punto imposible. Este
choque es de orden de lo paradjico, lo que es causa de la inconsistencia; es del orden de la diagonal, que trae consigo el exceso; o es
del orden del sealamiento de un enunciado latente, que conlleva lo
indefinido y lo que no puede construirse.
Cul es entonces la naturaleza de esta torsin que hace girar a la
matemtica sobre s misma, bajo la presin de su choque interior?
Lo que emerge a la superficie concierne a aquello que, siendo del
orden del pensamiento matemtico, depende del acto o de la decisin; y, en esta misma direccin, es preciso tomar posiciones, ya que
nos encontramos, por as decirlo, al pie del acto, ubicados sobre la
norma de la decisin que ste realiza.
Ahora bien, en todos los casos, en esta obligacin de decidir se
trata del ser; o del modo en que la matemtica adopta, para sus propios fines, el enunciado de Parmnides: Y en cuanto a lo mismo,
hay que decir que es a un tiempo pensar y ser.
Retomemos nuestros ejemplos. Para los griegos, sometido a la
exhortacin de lo inconmensurable real, el pensamiento se atiene a
la decisin de otro anudamiento entre el ser y el nmero, de otro
anudamiento entre lo geomtrico y lo aritmtico, una decisin que
se asocia con el nombre de Eudoxio.
Enfrentados a la paradoja de Russell, hemos de decidirnos por
una restriccin de los poderes de la lengua sobre la determinacin
de l o mltiple puro, decisin que se asocia con el nombre de Zermelo.
Y en cuanto al axioma de eleccin, l dedica su pensamiento a
una abrupta decisin sobre el infinito actual indeterminado, decisin
que, por otra parte, divide desde hace tiempo a los matemticos.
Se trata, en todos los casos, de decidir en qu sentido, y segn la
disposicin inmanente de qu lmites, es coextensivo el pensamiento matemtico al ser cuya consistencia se est sosteniendo.
Diremos por tanto que en el momento en que la matemtica topa
con la paradoja y con la inconsistencia, con la diagonal y el exceso,
o incluso con una condicin indefinida, da en pensar algo que, en su
pensamiento, pertenece al orden de una decisin ontolgica. Se trata propiamente de un acto que introduce de forma duradera lo real
45
del ser, es decir, que introduce el elemento cuyas conexiones y configuraciones habrn de establecerse mediante una tarea que ese acto
se encargar de asumir. Sin embargo, confrontada de este modo a su
dimensin decisoria, la matemtica no puede ser sino vctima del
euestionamiento de su norma, y de modo ms particular: del cuestionamiento de la norma de aquello que el pensamiento se encuentra en disposicin de sostener como afirmacin de existencia. Ser
preciso traer al mundo nmeros cuyo principio ya no sea el de la
composicin de unidades? Ser preciso admitir que existen conjuntos infinitos actuales imposibles de numerar? En qu condiciones puede garantizarse que un concepto bien formado admita una
extensin identificable? C m o se anudan la asercin de existencia
y el protocolo de construccin? Podemos admitir que exista una
configuracin inteligible de la que no sea posible exhibir ni un solo
caso? Vamos a zanjar estas cuestiones siguiendo una norma inmanente que no constituye el pensamiento, pero lo orienta.
Llamaremos orientacin en el pensamiento a aquello que regua,
en dicho pensamiento, las aserciones de existencia. Bien sea aquello
que, formalmente, autorice la inscripcin de un cuantificador existencial al comienzo de una frmula que fije las propiedades que se
le suponen a una regin del ser, bien sea aquello que, ontolgicamente, fije el universo de la presentacin pura de lo pensable.
Una orientacin en el pensamiento no slo se aplica a las aserciones fundadoras, o a los axiomas, sino tambin a los protocolos de
la demostracin, tan pronto como su alcance deviene existencial.
Admitiramos, por ejemplo, que slo pudiera predicarse la existencia
de aquello que la hiptesis de inexistencia condujese a un atolladero lgico? Ese es el recurso puesto en prctica por el razonamiento
de reduccin al absurdo. Admitirlo o no depende, de forma ejemplar, de la orientacin en el pensamiento, que ser clsica en caso de
que lo admitamos, e intuicionista en el caso de que lo consideremos
inadmisible. La decisin recae entonces sobre aquello que el pensamiento determina en s mismo como va de acceso a lo que declara
como existente. La andadura que se dirige hacia la existencia orienta el camino discursivo.
En m opinin, es errneo decir que dos orientaciones diferentes
prescriban dos matemticas diferentes, es decir, dos pensamientos
diferentes. El lugar en el que se ha de hacer frente a las orientacio46
nes es el interior de un pensamiento nico. N i n g n matemtico clsico ha puesto jams en duda que sea reconocible carcter matemlico de la matemtica intucionista. En todos los casos se trata de
la identidad profunda del pensamiento y del ser. Pero la existencia,
que es a un tiempo lo que el pensamiento declara y aquello cuya
consistencia est garantizada por el ser, se comprende desde orientaciones diferentes. Pues podemos llamar existencia a aquello respecto de lo cual son indiscernibles la decisin y el encuentro, el acto
y el descubrimiento. Las orientaciones en el pensamiento se ocupan de modo muy singular de las condiciones de esa imposibilidad
de discernir.
Se dir entonces que hay momentos en que la matemtica, al topar con un enunciado que certifica en un punto el advenimiento
de lo imposible, regresa a las decisiones que la orientan. A l hacerlo
aprehende su propio pensamiento, aunque ya no lo hace segn su
unidad demostrativa, sino en funcin de la diversidad inmanente de
las orientaciones en el pensamiento. La matemtica piensa su unidad como algo interiormente expuesto a la multiplicidad de las orientaciones en el pensamiento. Una crisis de la matemtica es un momento en el que sta se ve obligada a pensar su pensamiento como
multiplicidad inmanente de su propia unidad.
Es en este punto, segn creo, y slo en este punto, donde la matemtica, es decir, la ontologa, funciona como condicin de la filosofa. Digamos lo siguiente: la matemtica se relaciona con su propio pensamiento en funcin de su orientacin. Y es incumbencia de
la filosofa dar continuidad a ese gesto mediante una teora general
de las orientaciones en el pensamiento. La circunstancia de que ningn pensamiento pueda pensar su unidad sino como exposicin a la
multiplicidad de aquello que lo orienta es precisamente el extremo
que la matemtica no puede explicar, pero es tambin aquello que
ella misma manifiesta de manera ejemplar. La relacin completa del
pensamiento matemtico con su propio pensamiento supone que la
filosofa, sometida a la condicin de las matemticas, aborda la siguiente cuestin: qu es una orientacin en el pensamiento? Y an
ms: qu es lo que impone que la identidad del ser y del pensamiento deba efectuarse segn una multiplicidad inmanente de orientaciones? P o r q u hay que decidir siempre sobre lo que existe? Pues
todo el problema estriba en que la existencia no es en modo alguno
47
Pero, acaso no era tambin Deleuze, a pesar de sus inflexiones estoicas, un fiel seguidor de Lucrecio? Quisiera reconsidera lo que,
pese a todo, le hizo escoger, contra la matematicidad ontolgica, la
palabra vida como nombre principal del ser.
54
55
La principal exhortacin de la ontologa de Deleuze reza como sigue: que el ser no se vea plegado a ninguna categora, a ninguna disposicin fija de su particin inmanente. El ser es unvoco por lo
mismo que los entes jams han sido repartidos ni clasificados mediante analogas equvocas.
Preguntmonos por ejemplo qu es el ser sexuado, o sexual. Es imposible construir la intuicin del concepto si partimos de la identificacin del hombre, o de lo masculino; pero tampoco avanzaramos nada
si partisemos, ya fuese como excepcin o como resquebrajamiento,
del ser femenino, de la interioridad supuesta de una feminidad. L o que
resulta necesario es llegar al punto de inflexin en el que se entremezclan, en una topologa bifurcante, el devenir-mujer del hombre y la territorialidad masculina de la mujer. El hombre no es pensable sino
como actualizacin de su virtualidad femenina. An mejor: no es pensable sino en la medida en que no resulta asignable a su masculinidad;
porque su virtualidad femenina es en s misma una lnea de fuga de la
territorialidad masculina. Por consiguiente, pensamos el ser sexual
cuando nos encontramos ante la imposibilidad de discernir entre un
movimiento de feminizacin y una suspensin de la masculinizacin,
circunstancias que intercambian sus energas en lo indiscernible.
Se dir igualmente: el ser sexual, pensado segn su ser, segn la
activacin modal de su ser, no es sexuado, y ni siquiera es sexual, si
57
ser como potencia es potente vida inorgnica que rodea el mundo? El nombre del ser es, en filosofa, una decisin crucial. El ser
es lo que recapitula el pensamiento. Incluso el nombre ser, si resulta elegido como nombre del ser, encierra una decisin que de
ningn modo es tautolgica, como vemos en Heidegger. Y por supuesto, todo nombre del ser declina despus todas las denominaciones que l induce. As ocurre en Heidegger con el movimiento espiral que envuelve y desplaza a Sein, Dasein y, en ltimo trmino,
a Ereignis. O en m propio caso, con la serie disyuntiva que pasa de
mltiple a vaco, de vaco a infinito y, en ltimo trmino, de infinito a acontecimiento.
Q u es lo que, en Deleuze, sujeta el pensamiento del ser a su
nombre nietzscheano de vida? Lo siguiente: que el ser debe evaluarse como potencia, pero como potencia impersonal, o neutra.
Es potencia porque es rigurosamente coextensivo a la actualizacin de lo virtual y a la virtualizacin de lo actual; o an: a la conversin de lo propio en impropio y a la conversin en propio de lo
impropio. O an mejor: a la disyuncin desligante de los entes mltiples, y a la Relacin, que define al Todo. Y tambin se debe al hecho de que mediante este y, mediante esta conjuncin, es preciso
pensar la distancia que se mueve como un movimiento del propio
ser, el cual no es ni virtualizacin ni actualizacin, sino el indiscernible punto medio de los dos, el movimiento de los dos movimientos, la
eternidad mvil en la que se anudan dos tiempos que divergen.
Y es tambin la razn por la cual el ser es neutro, ya que su potencia consiste en metamorfosear en eterno retorno de lo mismo aquello
que se presenta como divisin categorial, en sustraerse afirmativamente a las disyunciones que sin cesar efecta. El ser es la modalizacin por el medio de aquello que aparenta estar repartido. Y tampoco se deja pensar en ninguna distribucin.
Es el sentido deleuziano profundo del enunciado de Nietzsche:
ms all del bien y del mal. El bien y el mal son aqu la proyeccin
moral, o genealgica, de cualquier divisin categorial. Podramos
decir, y Deleuze dice: ms all de lo uno y lo mltiple, ms all de la
identidad y la diferencia, ms all del tiempo y la eternidad, y sobre
todo: ms all de lo verdadero y lo falso. Pero, evidentemente, ms
all no significa ni una sntesis ni un tercer trmino transcendente.
Ms all quiere decir: en el medio; all donde, en el intercambiis
dor en forma de red rizomtica de la virtualizacin y de la actualizacin, el ser es lo que activa la esencial falsedad de lo verdadero y
virtualiza la verdad de lo falso; el ser es aquello que hace que venga
la secreta bondad, la infernal bondad del mal, y lo que despliega el
terrible maleficio del bien.
Y an ser pobre e inexacto decir que la neutralidad del ser consiste en no identificarse ni con el mal ni con el bien; n i con lo falso
ni con lo verdadero. Esta secuencia de ni... ni echa a perder el
y... y de la metamorfosis. Y es que el ser es el devenir-falso de lo
verdadero, el devenir-verdad de lo falso, y por consiguiente, es neutro respecto a ser verdadero o falso.
Sin embargo, el y... y an es a su vez demasiado pobre, an es
excesivamente categorial.
Deleuze, lo sabemos, odiaba la lgica; el giro lingstico y lgico
que la filosofa experiment a principios del siglo XX le pareca una
gran desgracia. El poderoso mundo angloamericano de Melvilte y
del Whitehead mortificado por un analtico rumiar era para Deleuze un espectculo que le produca consternacin.
La lgica no ha sido nunca, desde Aristteles, ms que el cifrado de las categoras, el triunfo de la propiedad sobre la impropiedad.
Habra que extraer de la univocidad deleuziana otra lgica; una lgica en la que, desde la perspectiva de las distribuciones categoriales,
no podamos contentarnos con las conexiones usuales. El y... y, el
o bien... o bien, el ni... ni: todo esto extena, dilapida, la potente neutralidad del ser. Sera preciso pensar una superimposicin
moviente del y, del o bien y del ni, porque entonces podra decirse:
el ser es neutro, debido a que toda conjuncin es una disyuncin, y
debido a que toda negacin es una afirmacin.
Este conector de neutralidad, este y-o-ni, fue denominado por
Deleuze sntesis disyuntiva. Y es preciso decir: el ser, como potencia neutra, merece el nombre de vida porque es, como relacin, el
y-o-ni, la sntesis disyuntiva. O an, y de igual forma, el anlisis
conjuntivo, el y-o-ni. La vida es efectivamente especificadora e
individualizante, separa y desliga; pero con idntica intensidad, i n corpora, virtualiza y conjunta. La vida es el nombre del ser neutro
segn su lgica divergente, segn el y-o-ni. Es la neutralidad creadora que se encuentra en medio de la sntesis disyuntiva y del anlisis conjuntivo.
60
no deja por ello de venir a parar en una aristocracia del pensamiento, de propugnar la supereminencia de los fuertes, cosa que puede
parecemos paradjica. Ahora bien, qu o quin es fuerte? Fuerte
es el que afirma ntegramente la igualdad del ser, dbil quien se mantiene de modo desigual en esa desigualdad, el que mutila y abstrae la
jubilosa neutralidad de la vida. Sin embargo, al concebirla de esta
manera, la fuerza no puede darse en modo alguno por supuesta, la
fuerza es concentracin y esfuerzo, un despojarse de todas las categoras con las que construimos el opaco amparo de nuestra actualidad, de nuestra individualidad, de nuestro yo. Sobriedad, sobriedad!, se dice en Mille Plateaux. Sobriedad porque la opulencia
espontnea, la irrisoria confianza en lo que se es, nos categoriza en
una regin pobre y asignada del ser. S, ascesis, estoicismo, ya que
para pensar es preciso darse los medios para superar los propios lmites, para ir hasta el final de lo que podemos. Ascesis, porque la
vida nos constituye y nos juzga segn una jerarqua que considera
las cosas y los seres desde el punto de vista de la potencia. Ser digno de la vida inorgnica es tambin no demorarse demasiado en la
satisfaccin de los rganos. El nmada es aquel que sabe no beber
cuando tiene sed, que sabe permanecer al sol cuando le asalta el deseo de dormir, que sabe acostarse solo sobre el suelo desrtico cuando
suea con verse abrazado y con yacer sobre alfombras. E l pensamiento nmada concuerda con la neutralidad de la vida y con la metamorfosis a travs del ejercicio paciente mediante el que se abandona lo que se es.
El aforismo de Nietzsche, llega a ser quien eres, debe comprenderse del siguiente modo: slo eres lo que llegas a ser. Sin embargo, para llegar al lugar en el que la fuerza impersonal de lo exterior logre activar este devenir, es preciso tratarse a uno mismo como
sntesis disyuntiva, como anlisis conjuntivo, es preciso separarse
y disolverse. Quienes as lo hacen son los fuertes. Y de este modo
queda claro que la gran salud se gana en la enfermedad, que es la que
hace de la salud una afirmacin y una metamorfosis, no un estado y
una satisfaccin; o tambin queda claro que el hroe de la palabra
flexible, aquel por cuyo medio hable la vida indiscernible, ha de ser
el hroe de Beckett, agotado, hecho trizas y con la cabeza chorreando
llantos e hincada sobre la escotadura de una jarra. Y nos negaramos
a decir que el pensamiento, el pensamiento-vida, es una ascesis?
62
que se rompe el mundo, es esa pobre singularidad que con el nombre de Nietzsche, errabundo, solitario y desconocido, por las calles
de Turn, declara la inminente llegada del superhombre.
Sin embargo, Deleuze, como Nietzsche, debe marcar simultneamente la copertenencia de los entes actuales, cerrados y desunidos, a la gran totalidad virtual; y tambin ha de anular esa marcacin
de tal modo que la neutralidad del ser no se encuentre distribuida en
categoras. Es preciso que lo cerrado lleve el signo de lo abierto, que
haga de signo, en s mismo, de lo abierto. De lo contrario, cmo
esclarecemos que pensamos? C m o comprender que nos veamos
obligados a veces a desencerrar nuestra actualidad? E l signo de lo
abierto, o de la totalidad, consiste en que ninguna clausura es completa. Tal como dice Deleuze, el conjunto siempre se mantiene abierto en alguna parte, como si existiera un hilo que lo uniese al resto
del universo. Este hilo, por muy tenue que sea, es un hilo de
Ariadna. Concentra el optimismo ontolgico de Deleuze. Por muy
desunidos y cerrados que puedan encontrarse los entes actuales,
un delgado estigma que hay en ellos gua el pensamiento hacia la
vida total que los dispone. Y sin esto, puesto que jams hay nada
que pueda comenzar absolutamente, no tendramos la menor oportunidad de pensar lo cerrado segn lo abierto, o a partir de su virtualidad.
Sin embargo, es igualmente necesario que no exista signo alguno,
que no haya nada que por s mismo acte como signo. Ya que, de lo
contrario, el ser dejara de ser unvoco. Existira el sentido del ser
segn el ser, o en tanto que ser, y el sentido del ser segn el signo del
ser. Esta es la razn de que Deleuze, al hablar de los objetos, deba
afirmar simultneamente que poseen una parte real y una parte virtual; pero que estas dos partes son indiscernibles. Por consiguiente,
la parte virtual del objeto, que es precisamente su apertura, aquello
que en l acta como signo que tiende a la totalidad, no es realmente un signo, ya que es posible discernir su funcin de signo de aquello respecto de lo cual acta como tal signo. En realidad, el punto de
apertura de los conjuntos cerrados n i siquiera llega a ser un tenue
hilo. Es un componente que est a un tiempo completamente atrapado en el cierre del conjunto, y que no obstante permanece enteramente abierto, sin que el pensamiento pueda separar estas dos influencias y, por tanto, sin que jams consiga aislar al signo.
64
66
5
La ontologa cerrada de Spinoza
constitutivos del hay es un acontecimiento inasignable: el clinamen, la desviacin, la circunstancia por la cual la indiferencia de la
trayectoria de los tomos sobreviene sobre un fondo de vaco en
cuanto a las relaciones y compone un mundo.
- E n la teora matemtica de los conjuntos, de la que ya hemos dicho que realizaba la matemtica como pensamiento del ser mltiple, el
hay queda supuesto bajo el nombre nico de vaco, del conjunto
vaco. La nica relacin es la relacin de pertenencia. La consolidacin de la relacin en el hay viene garantizada por las formas de
eficacia de la relacin, formas que quedan codificas en los axiomas, en los axiomas operativos de la teora. Esta consolidacin saca
del simple vaco un universo, la jerarqua acumulativa transfinta de los conjuntos.
Por otra parte, puede que no haya ms que dos modelos de esa
consolidacin, y por tanto, slo dos modelos tambin de la operacin del pensamiento por la cual los nombres del ser se pliegan a la
relacin que los hace adquirir consistencia: el modelo de los acontecimientos, que es el modelo de Lucrecio, y el modelo axiomtico.
Spinoza, que excluye todo acontecimiento al prohibir el exceso,
el azar y el sujeto, opta de modo absoluto por la figura axiomtica.
Desde este punto de vista, el more geomtrico es crucial. N o es una
forma del pensamiento, es el trazo de escritura de una decisin pensante original.
U n examen acadmico de la Etica puede poner de relieve su pronunciada simplicidad. El hay queda indexado en un solo nombre,
la Sustancia absolutamente infinita, o Dios. La nica relacin admitida es la causalidad. La consolidacin de la relacin en el nombre
pertenece al orden de la realizacin inmanente del propio hay, ya
que, como se sabe, segn la proposicin X X X I V de la parte primera,
La potencia de Dios es su esencia misma, cosa que no slo quiere
decir, segn la proposicin xvt de la misma parte, que Dios es [la]
causa inmanente [...] de todas las cosas/' sino que esa es su identidad, pensada en la consolidacin de la relacin causal.
Tendramos por tanto una proposicin ntegramente afirmativa, inmanente e intrnseca sobre el ser. En particular, la diferencia,
constitutiva, por ejemplo, de la ontologa de Lucrecio (existen el
:i
68
Vase la Etica* traduccin de Vidal Pea, Alianza, Madrid, 1987 ( N . del t.).
vaco y los tomos), tendra aqu un carcter absolutamente subordinado, es decir, nominal. Sera una cuestin de expresin que no alterara la determinacin del hay bajo el signo de lo uno. Entre un
centenar de otros pasajes, citemos el perteneciente al escolio de la
proposicin v i l de la parte segunda: ...un modo de la extensin y
la idea de dicho modo son una sola y misma cosa, pero expresada de
dos maneras (duobus modis expressa).
Esta simplicidad es evidentemente una pura apariencia. De hecho, vamos a mostrar:
-en primer lugar, que existe una interpenetracin mltiple y compleja de lo que permite nombrar al hay, y que la evidencia de la
diferencia es, en esa interpenetracin, un requisito constante;
-en segundo lugar, que no existe una sola relacin fundamental,
la causalidad, sino al menos tres, a las que llamar, adems de la causalidad, el acoplamiento y la inclusin;
-en tercer lugar, que se perfila en hueco, bajo uno de los hay,
un tipo de singularidad excepcional de todo punto de vista, una singularidad cuyas caractersticas formales son las de un sujeto, y cuyo
nombre spinoziano es intellectus. Siguiendo en este punto las slidas sugerencias de Bernard Pautrat, traducir este intellectus por
entendimiento. Se alcanza el corazn de la ontologa spinoziana
cuando se comprende que este entendimiento exige algunas proposiciones sobre el ser que son heterogneas respecto de las proposiciones explcitas.
En la tica, la denominacin del hay es, como acabamos de recordar, Dios. Pero la construccin de este nombre - l o que Spinoza
llama su definicin- es extremadamente compleja.
Dios es *ens absolute injinitum, un ente absolutamente infinito. Subrayemos desde ahora mismo que se ha echado mano del
trmino indeterminado ens, ente, como forma de nombrar un hay
virtual cuya comprensin previa remite a un estrato ontolgico si
no ms profundo, s al menos ms extensivo, Infinito es evidentemente la gran cuestin, ya que es aqu el determinante de lo indeterminado, y casi el hay del hay. El Infinito se explcita como
sigue: substancia consistente en una infinidad de atributos, cada
uno de los cuales expresa una esencia eterna e infinita. L o importante es que el carcter absoluto de la infinitud divina no es cualitativo, ni est l mismo indeterminado. Remite a una infinidad efecti69
vamente plural, y por consiguiente, cuantitativa. El signo de la cantidad, o de que el infinitum implica la infinitas contable, es que esa
infinitas se deja pensar segn el cada cual de los atributos, el
unumquoque.
Esa infinitas es por consiguiente algo indudablemente compuesto por unidades imposibles de descomponer, que
son los atributos. Por supuesto, el concepto de lo infinito cae entonces bajo la ley de la diferencia. Slo es posible aprehender la infinidad de los atributos, en la medida en que dicha infinidad es una
composicin de los cada cual, desde la perspectiva de la pertinencia de una diferencia primordial, la que hace que, en un cierto sentido, un atributo sea absolutamente diferente de otro. O an: la infinidad de Dios, que es lo que le singulariza como substancia y lo que
implica que l sea el nombre del hay, no se expone al pensamiento
sino bajo el signo de lo mltiple. El punto de apoyo inteligible de
este mltiple es la diferencia expresiva de los atributos.
Pero, qu es un atributo? Por atributo, entiendo aquello que
el entendimiento percibe de una substancia como constitutivo de la
esencia de la misma, definicin IV de la primera parte. E l atributo es la identificacin esencial de una substancia por el entendimiento,
intellectus. Por consiguiente, la singularizacin existencial de Dios
queda finalmente suspendida de la elucidacin, o de la evidencia primera de aquello que es preciso comprender por intellectus.
En una carta escrita en febrero de 1663 a Simn de Vries, Spinoza tiene buen cuidado de afirmar que la palabra atributo no constituye en s misma una denominacin del hay que sea esencialmente distinta de la denominacin por la substancia. Tras recordar
la definicin de substancia, aade: Es la misma cosa que entiendo
por atributo, con la diferencia de que este trmino se emplea desde el punto de vista (respectu) del entendimiento, que atribuye a la
substancia talo cual naturaleza determinada. De este modo, el atributo, y, ms all, la multiplicidad de los atributos, que identifica la
infinitud divina, es una funcin del entendimiento. En el dispositivo
general del hay, con el nombre de Dios, hay una localizacin singular, el entendimiento, de cuyo punto de vista o de cuyas operaciones depende que el pensamiento pueda labrarse un acceso racional a
la infinidad divina, y por consiguiente al propio hay.
Es preciso por tanto convenir en que el entendimiento se encuentra en una posicin de pliegue, por utilizar el concepto centra!
70
En su figura primera, el entendimiento es evidentemente infinito. L o es necesariamente, ya que soporta la identificacin de la infinidad de los atributos de la substancia. Es el ejemplo mismo, e i n cluso el nico ejemplo, de un modo infinito inmediato del atributo
pensamiento. Los modos infinitos inmediatos quedan descritos, sin
que su existencia quede ejemplificada, en la proposicin XXI de la
primera parte: Todo lo que se sigue de la naturaleza, tomada en trminos absolutos, de algn atributo de Dios, ha debido existir siempre y ser infinito. En julio de 1675, un tal Schuller pide a Spinoza
algunos ejemplos de cosas producidas inmediatamente por Dios.
Spinoza responde enseguida que, en el orden del pensamiento, el
ejemplo es el entendimiento absolutamente infinito.
El propio concepto de modo infinito ocupa en la economa de la
ontologa spinoziana una posicin paradjica. De hecho, es imposible decidir la existencia de cualquiera de esos modos, ya que no son
ni deducibles a priori ni vienen propuestos por la experiencia finita.
Digamos que un modo infinito es un concepto bien formado, pero
existencial mente indecidible. Ahora bien, la existencia de un indecidible slo puede quedar zanjada por una suposicin axiomtica.
Eso es justamente lo que observamos, a propsito del entendimiento
infinito, cuando Spinoza escribe -por ejemplo-, en la carta a Oldenburg de noviembre de 1665, lo siguiente: Yo afirmo (statuo) que
viene dado por la naturaleza una potencia infinita de pensar. El entendimiento infinito tiene as, por consiguiente, si no una existencia
experimentada o probada, s al menos un estatuto, el estatuto que le
confiere un statuo.
Instituido de este modo, el entendimiento infinito es el soporte
de operaciones muy enmaraadas.
En primer lugar, es aquello que da la medida de la potencia de
Dios. Ya que lo que puede, y por consiguiente, debe, producir Dios
como potencia inmanente es exactamente todo lo que el entendimiento infinito puede concebir. Proposicin XVI de la primera parte: De la necesidad de la naturaleza divina deben seguirse infinitas
cosas de infinitos modos (esto es, todo lo que puede caer bajo un
entendimiento infinito). El entendimiento infinito es la norma
modal de la extensin de la posibilidad modal. Todas las cosas que
puede concebir, omnia quae sub intellectum infinitum cadere possunt-, estn obligadas a existir.
72
Est claro que ningn otro modo infinito que nosotros podamos
imaginar posee semejante capacidad de medida. En particular, no la
tiene el otro ejemplo de modo infinito inmediato que brinda Spinoza, es decir, el movimiento y el reposo, elemento aparentemente simtrico del entendimiento infinito en su versin extensa. Y es que
del concepto puro del movimiento y del reposo no se sigue evidentemente ninguna prescripcin general sobre la potencia de Dios.
El fundamento de esta disimetra es claro. Depende del hecho de
que el entendimiento infinito supone, adems de su determinacin
intrnseca como modo infinito del atributo pensamiento, una determinacin completamente distinta, que, sta s, es extrnseca. Y ello
porque el entendimiento, cuyos componentes son las ideas, est
igualmente bien determinado por aquello que concibe, o por aquello de que es idea la idea. De este modo, los atributos de Dios, sin
restriccin, y las afecciones de estos atributos, componen aquello que
el entendimiento infinito capta, o comprende, o abarca {comprehendit). Dios es ciertamente aquello en lo que se sita el entendimiento, en tanto que modo infinito. Y esto se debe a la relacin ontolgica de causalidad. El entendimiento es un efecto inmanente de
Dios. Pero el entendimiento es tambin tal como Dios y sus atributos son lo que l mismo comprende, o el correlato de las ideas que
lo constituyen. Y es que toda idea es idea de, es correlativa a una
ideacin, o an mejor: existe un objeto de la idea. Y en este sentido,
los atributos de Dios y los modos de estos atributos son objetos del
entendimiento infinito.
La nocin de objeto para una dea es tanto ms fuerte cuanto que
Spinoza afirma explcitamente que el objeto, por su parte, singulariza o identifica la idea, en particular en lo que concierne a lo que
Spinoza llama su realidad. De este modo, en el escolio de la proposicin XIII de la segunda parte, dice: [No] podemos negar que las
ideas difieren entre s como los objetos mismos, y que una es ms
excelente y contiene ms realidad que otra segn que su objeto sea
ms excelente y contenga ms realidad que el de esa otra.
Est claro que esto supone, adems de la causalidad, una segunda relacin fundamental, relacin que a su vez no tiene sentido ms
que por el entendimiento, y que lo singulariza de modo absoluto.
Pues ya sabemos que para Spinoza, que no es en modo alguno un
empirista, la relacin entre la idea y su ideacin, o entre la idea y el ob73
jeto de la idea, nunca depende de la accin causal. Este es en particular el sentido de la proposicin II de la tercera parte: N i el cuerpo puede determinar al alma a pensar, ni el alma puede determinar
al cuerpo al movimiento ni al reposo.... N o hay ninguna relacin
causal concebible entre la idea y su objeto, pues la relacin de causalidad opera estrictamente en el interior de una identificacin atributiva, mientras que, y este es todo el problema, el objeto de una
idea del entendimiento puede ser perfectamente un modo de algn
otro atributo que no sea el pensamiento.
que finalmente remite a la causalidad, y una [denominacin extrnseca de la idea verdadera], a saber: la conformidad de la idea con lo
ideado por ella. La adecuacin remite esta vez, no a la causalidad,
sino al acoplamiento. Y est claro que ningn otro modo infinito
excepto el entendimiento exige a los trminos que lo componen que
soporten una relacin de acoplamiento como la que incumbe a la
idea. Y an menos tendrn que acomodarse los otros supuestos modos infinitos a la norma del acoplamiento, la adecuacin, cuyo resultado se denomina verdad.
La relacin de acoplamiento, al igual que la relacin de causalidad, induce la existencia de cadenas infinitas. Por consiguiente, todo
modo tiene una causa que, a su vez, tiene una causa, y as indefinidamente. Del mismo modo, toda idea que se encuentre acoplada
con su objeto es a su vez, y obligatoriamente, el objeto de una idea
que se acopla con ella. Es el muy conocido tema de la idea de la
dea, tema que se examina especficamente en el escolio de la proposicin XXI de la segunda parte, a propsito del caso particular del
alma como idea del cuerpo, y de la idea del alma como idea de la
idea. El texto entrelaza de forma sutil la identidad ontolgica y la relacin de acoplamiento: El alma y el cuerpo, son un solo y mismo
individuo, al que se concibe, ya bajo el atributo del Pensamiento, ya
bajo el atributo de la Extensin; por lo cual, la idea del alma y el
alma misma son una sola y misma cosa, concebida bajo un solo y
mismo atributo, a saber, el del Pensamiento. [...] En realidad, la idea
del alma -esto es, la idea de la idea- no es otra cosa que la forma de
la idea, en cuanto sta es considerada como un modo del pensar sin
relacin con su objeto. La afirmacin de que son una sola y misma cosa parece hacer que se desvanezca toda diferencia subyacente a la relacin de acoplamiento. No obstante, nada hay de esto. Y
ello porque lo nico que identifica al individuo es el par acoplado
del alma y la idea del alma, tal como es aprehendido por el entendimiento. De aqu se sigue en particular que la idea del cuerpo, en la
medida en que se acopla por abarcamiento de la disyuncin atributiva, sigue siendo necesariamente distinta de la idea de esta idea, que
se acopla de modo inmanente al atributo pensamiento. Y an podemos afirmar: se produce, cada vez, bajo la relacin, un efecto de identidad. En el primer caso es el mismo individuo con un entendimiento
diferente, como cuerpo y como alma, y en el segundo es la misma
El hecho de que estemos aqu ante una relacin fuerte viene atestiguado por la circunstancia de que Spinoza no duda en llamarla una
unin. Demostracin de la proposicin x x t de la segunda parte:
Hemos mostrado que el alma est unida al cuerpo a partir del hecho de que el cuerpo es el objeto del alma; y as, por esta misma razn, la idea del alma debe estar unida a su objeto, esto es, al alma
misma, de la misma manera que el alma est unida al cuerpo. Aqu
se ve que, de modo general, existe una unin, incluso por superposicin de la disyuncin de los atributos, entre la idea y su objeto. Es
a esta u n i n , a esta singularidad radical de las operaciones del entendimiento a lo que llamo acoplamiento.
Hay que aadir evidentemente que el acoplamiento tiene una
norma. Una idea est mejor o peor acoplada con su objeto. U n
acoplamiento perfecto se llama una verdad. Es justamente lo que se
dice ya desde el mismo axioma v i de la parte primera: Una idea
verdadera debe ser conforme a lo ideado por ella. La adecuacin es
lo que regula el acoplamiento y lo que puede hacer de l una verdad.
Y esa norma de adecuacin, al igual que la relacin de acoplamiento, es extrnseca y no, como la causalidad, estrictamente inmanente
a la determinacin atributiva. En la explicacin de la definicin TV
de la segunda parte, Spinoza tiene buen cuidado de sealar una norma intrnseca de lo verdadero, norma que es la de la adecuacin, y
74
75
plamiento. El motivo esencial consiste en identificar el alma humana por su acoplamiento al cuerpo. Se evita desde ese instante la
incorporacin directa de la tercera relacin, inclusiva, permaneciendo, por as decirlo, en el plano local. E l alma humana es una idea,
y por consiguiente un componente finito de aquello que el entendimiento infinito denomina la modalidad superior. Es la idea del
cuerpo.
La gran ventaja de este tratamiento puramente local es que da razn de todo lo que hay de oscuro en el pensamiento finito. En efecto, recordemos que la relacin de acoplamiento posee una norma, la
adecuacin. Y que si la idea no conviene al objeto con el cual se halla acoplada, se vuelve oscura, o no verdadera. Todo cuanto es oscuro en el pensamiento ser generado y medido por la norma de la
adecuacin. La clave se encuentra en la proposicin x x i v de la segunda parte: El alma humana no implica el conocimiento adecuado de las partes que componen el cuerpo humano. Cosa que an
se afirma con mayor brutalidad en la demostracin de la proposicin XIX de esa misma parte: ...el alma humana no conoce el cuerpo humano.
Tomemos nota de la complejidad de esta afirmacin: ontolgieamcnte, el alma es una idea, la idea del cuerpo. Pero no por ese motivo conoce su objeto. Y es que la relacin de acoplamiento entre idea
y objeto de la idea es susceptible de mostrar grados, est ms o menos sometida a la norma de adecuacin. Y ello por el mismo hecho
de que se trata de una idea compleja, vinculada a la composicin
mltiple del cuerpo.
Por ltimo, la ontologa del entendimiento finito, al precio de
una utilizacin de la tercera relacin inclusiva, da razn de todos los
temas contenidos en la quinta parte: como hemos partido del entendimiento infinito, experimentamos que somos eternos. La teora
de las operaciones de este entendimiento, al precio de una utilizacin de la segunda relacin, el acoplamiento, ilustra los temas tratados
en las partes tercera y cuarta: no tenemos inmediatamente ninguna
idea adecuada de qu pueda ser nuestro propio entendimiento.
Ciertamente, el enlace entre los dos entendimientos no es sencillo. La dificultad llega a ser efectivamente la siguiente: s el entendimiento finito se define como un acoplamiento ideal al cuerpo sin
conocimiento de su objeto, de dnde sacamos que puedan existir
78
rationis)
tos. Si convenimos en decir que el entendimiento infinito es la modalidad intrnseca del efecto de sujeto, se dir que el entendimiento
humano es un efecto de sujeto localizado. O un diferencial subjetivo. O sencillamente: un sujeto.
5. Tambin se puede definir el entendimiento humano por acoplamiento. De ello se deduce en seguida que los nicos puntos de verdad son axiomticos y generales. L o singular est sustrado a todo
diferencial subjetivo local. Lo que tambin puede decirse como sigue: en realidad, la nica capacidad de un sujeto, y por consiguiente, la nica capacidad del alma humana, es una matemtica del ser, o
el ser matemticamente pensado. Toda verdad es genrica.
O mejor an: lo que es concebible del ser es matemtico.
Por consiguiente, puedo concluir: el more geomtrico es el propio pensamiento verdadero, en tanto que pensamiento del ser, o del
hay. El ser slo se puede pensar more geomtrico. Y a la inversa,
todo pensamiento matemtico es pensamiento del ser en una localizacin finita. Por eso, en efecto, los ojos del alma son las propias
demostraciones. A l margen de las matemticas, somos ciegos.
Este resultado es, en mi opinin, cierto. Dios debe entenderse
como la propia matemtica. El nombre del hay es: materna.
Sin embargo, y as sucede en el propio texto de Spinoza, las vas
para el establecimiento de este resultado obligan-y esto es justamente lo que yo denomino las operaciones de cierre- a abrir un espacio
de pensamiento que no se halla reglamentado por la atribucin de
un nombre al hay. Los trminos constitutivos de este espacio son:
indeterminacin, diferencia, sujeto, carcter indecidible, carcter
atpico, acoplamiento, pliegue, inclusin, generalidad de lo verdadero. Y algunos ms.
vacin del materna. O an mejor: en el amor del hay, amor intelectual que nunca es otra cosa sino la abreviacin intuitiva de una
demostracin, un vistazo realizado con los ojos del alma.
Otros pensamientos se abren no obstante en el propio pliegue de
este pensamiento exclusivo. Estos pensamientos asumirn la matemtica del ser-mltiple, y por consiguiente, sern explcitamente spinozianos. Sin embargo, su impulso verdadero se extraer ms bien
del spinozismo implcito y paradjico, de la torsin vinculada a una
sucesin de acontecimientos en la que adviene, bajo el nombre de
entendimiento, la paradoja de un sujeto.
Estos pensamientos practicarn la elevacin del materna, pero,
preocupados por lo que le excede, o por lo que en l se impacienta,
ya no consentirn en concederle nombres divinos.
Esta es la razn de que dichos pensamientos tengan accedo al i n finito sin afrontar por ello el estorbo de la finitud. En este punto,
volvern a encontrar una inspiracin ms platnica que spinoziana.
El platonismo: gran cuestin. L o he guardado en la recmara, indicando que Platn descubra y subestimaba a un tiempo el alcance
de las matemticas como ciencia del ser en tanto que ser. Tambin
he dicho que slo ms adelante tomara, contra la visin empirista
(aristotlica) de las matemticas, la va que conduce directamente a
las posiciones de Platn. Y ese momento ha llegado.
6
Platonismo y ontologa matemtica
to que, en definitiva, slo se convoca a la matemtica para identificar, por contraste, a la dialctica. Ahora bien, en lo concebible, todo
es Idea. Es pues vano buscar del lado de la objetividad cualquier
posible diferencia entre los regmenes del pensamiento. Slo la singularidad del movimiento (partir de un cierto nmero de hiptesis,
o remontarse al principio) autoriza a denmitar la tvota matemtica
y a separarla de la inteleccin dialctica (o filosfica). La separacin
de los objetos es secundaria, y siempre oscura. Es un sub-tratatniento en el ser de los indicios captados mediante el pensamiento.
Por ltimo, slo una cosa es segura: la matemtica es un pensamiento (lo que, en el lenguaje de Platn, quiere decir que rompe con
lo inmediato sensible), la dialctica tambin es un pensamiento, y
estos dos pensamientos son, considerados en el protocolo de su
ejercicio, pensamientos diferentes.
Y a partir de esto puede intentar definirse la inscripcin platnica de la condicin matemtica del filosofar:
Es platnico el reconocimiento de la matemtica como pensamiento intransitivo respecto de la experiencia sensible y lingstica,
como pensamiento que depende de una decisin que da paso a lo indecidible y que asume que todo lo que es consistente existe.
Para medir el alcance polmico de esta definicin del platonismo, examinemos la que Fraenkel y Bar-Hillel proponen en su obra
Foundations of Set Theory:
Un platnico es alguien convencido de que, en general, y asociado a toda
condicin mondica [se trata de la atribucin de un predicado a una variable, es decir, de algo del tipo P(x)| bien definida, existe un conjunto
o una clase que comprende todas las entidades que cumplen esta condicin, y slo ellas; alguien convencido de que ese conjunto o esa clase
es, a su vez, una entidad cuyo estatuto ontolgico es similar al de sus
elementos.
N o creo que un platnico pueda estar convencido de nada parecido.
El propio Platn se esfuerza constantemente por mostrar que el
correlato de los conceptos o de las proposiciones bien definidas
puede estar vaco o ser inconsistente. O que la entidad que les corresponde puede exigir un estatuto ontolgico exorbitante a todo
lo que se halle incluido en la frmula de salida. De este modo, el co87
trelaco del Bien, por muy claramente definible que pueda ser esta
nocin, por muy evidentes que puedan ser sus ejemplos prcticos,
requiere en el ser una derogacin del estatuto de la Idea (el Bien est
ms all de la Idea). El destino explcito del Parmnides, por lo que
hace a los enunciados perfectamente claros lo uno es y lo uno no
es, consiste en establecer que, bajo cualquier suposicin posible que
concierna al correlato de lo uno y de los otros que no son lo uno,
se llega a una inconsistencia. Asunto que, a fin de cuentas, y pese
a ser puramente filosfico, es el primer ejemplo de una argumentacin de carcter absolutamente indecidible.
A l contrario de lo que declaran Fraenkel y Bar-Hillel, yo mantengo que lo indecidible es una categora crucial del platonismo, y
que, justamente, nunca es predecible que a una frmula bien definida le corresponda una entidad concebible. Lo indecidible atestigua
que un platnico no confa en absoluto en la claridad de la lengua
para decidir una existencia. En este sentido, el axioma de Zermelo es
plenamente platnico, al no admitir, para una frmula dada, la existencia de las entidades que la validan ni la existencia de su reunin, excepto en un conjunto existente y previamente dado. Y es
que al pensamiento le hace falta una garanta de ser constante e i n manente.
L o indecidible es lo que rige, en cuanto a su fondo, el estilo aportico de los dilogos, pues su p r o p s i t o es conducir a los interlocutores hasta el punto de lo indecidible con el fin de mostrar que
el pensamiento debe justamente decidir en aquellas cuestiones relacionadas con un acontecimiento del ser, que el pensamiento no es
antes que nada una descripcin, o una construccin, sino una ruptura (con la opinin, con a experiencia), y por consiguiente, una
decisin.
A este respecto, Gdel, incluido siempre por la filosofa de las
matemticas entre los platnicos, me parece mostrar, en efecto,
una lucidez suprema.
Consideremos este pasaje del clebre texto En q u consiste el
problema del continuo de Cantor?:
En cualquier caso, la c u e s t i n de la existencia objetiva de los objetos
de la i n t u i c i n m a t e m t i c a ( c u e s t i n que, dicho sea de paso, es una
rplica exacta de la c u e s t i n de la existencia objetiva del mundo exte88
rior) no es decisiv.i para el problema que aqu se discute. El simple hecho psicolgico de la existencia de una intuicin lo suficientemente clara como para producir los axiomas de la teora de conjuncos as como
una serie abiem de extensiones de estos axiomas basta para dar sentido a
la cuestin de la verdad o de la falsedad de proposiciones tales como la
de la hiptesis del continuo de Cantor. Lo que, no obstante, y quiz
ms que ninguna otra cosa, impone la aceptacin de este criterio de verdad en la teora de conjuntos es que Jas repetidas llamadas a la intuicin
matemtica no slo son indispensables para obtener respuestas que no
sean ambiguas para las cuestiones que plantea la teora de los conjuntos
transfinitos, sino tambin para la solucin de los problemas de la aritmtica finitista (del tipo de la conjetura de Goldbach), que no suscitan
la menor duda respecto del hecho de que los conceptos que ponen en
juego estn dotados de sentido y carezcan de ambigedad. Esto es lo
que se sigue del hecho de que para todo sistema axiomtico exista una
infinidad de proposiciones indecidibles de este tipo.
Cules son los rasgos ms importantes de este texto platnico?
- L a palabra intuicin no tiene aqu ms sentido que el de una
decisin de pensamiento inventivo respecto al carcter inteligible de
los axiomas. Se trata, segn la propia expresin de Gdel, de una capacidad para producir los axiomas de la teora de conjuntos, y la
existencia de esta capacidad es un p u r o hecho. Sealemos que
la funcin intuitiva no va a aprehender entidades exteriores, sino
a decidir claramente sobre una proposicin primera, o irreductible. La invencin comprehensiva de los axiomas es lo que atestigua
que la proposicin matemtica es un pensamiento, y por consiguiente, lo que la expone a la verdad.
- L a cuestin de la existencia objetiva de los supuestos objetos
se declara explcitamente secundaria (no es decisiva para el problema
que tratamos). Adems, no caracteriza en modo alguno a las matemticas, puesto que esta existencia se encuentra en el mismo caso
que el mundo extenor. Y es que, en efecto, resulta muy platnico no
ver en la existencia matemtica nada ms, o nada menos, que lo que
se ve en la existencia a secas: en todos los casos, lo concebible (lodo,
cabello, tringulo o nmeros complejos) puede ser interrogado respecto a su existencia, que es algo distinto de su ser. Pues en lo referente a su ser, slo da testimonio de ello el hecho de que lo envuelva
un pensamiento.
89
90
Wittgenstein no hace ms que retomar, con su acostumbrada radicaidad, una tesis fundamental de todo empirismo, y tambin de
toda sofstica. Nunca nos cansaremos de refutarla.
El hecho de que la matemtica sea un pensamiento significa en
particular que, a su respecto, la distincin entre un sujeto que conoce y un objeto conocido no tiene la menor pertinencia. Existe un
movimiento regulado del pensamiento que es coextensivo al ser que
incluye -coextensin que Platn llama Idea-, un movimiento en
el que descubrimiento e invencin son propiamente indiscernibles.
Y del mismo modo son indiscernibles la idea y su ideacin.
2. Todo pensamiento - y por consiguiente, la matemtica- implica decisiones (intuiciones) relacionadas con lo indecidible (con lo
no deducible).
De esta caracterstica resulta una extensin mxima del principio
de eleccin en cuanto a lo concebible: dado que la decisin es lo primero y lo que continuamente se requiere, resulta vano tratar de reducirla a una serie de protocolos constructivos, o regulados desde el
exterior. Las constricciones de la construccin (mal llamadas a menudo constricciones intuicionistas, pues el verdadero sostn de la
intuicin es el platnico) deben estar, por el contrario, subordinadas a
las libertades de la decisin pensante. Por eso, el platnico no pondr
ninguna objecin, a poco que los efectos de pensamiento sean mximos, al libre uso del principio del tercio excluso y, a modo de consecuencia, a la utilizacin del razonamiento por reduccin al absurdo.
3. Las cuestiones matemticas de existencia no remiten ms que
a la consistencia inteligible de lo que se concibe.
Aqu, la existencia debe considerarse como una determinacin
intrnseca del pensamiento efectivo precisamente por el hecho de que
incluye al ser. Cuando resulta que no lo incluye, esto viene siempre
atestiguado por una inconsistencia, que a su vez debe distinguirse
cuidadosamente de la imposibilidad de decidir. Ser, pensamiento y
consistencia son, en matemtica, una sola y misma cosa.
De estas caractersticas se siguen importantes consecuencias, cuestin que permite reconocer al platnico moderno, que es un platnico del ser mltiple.
-Antes que nada, tal como seala Gdel, la indiferencia respecto de las pretendidas paradojas del infinito actual. Precisamente
por el hecho de que, de modo manifiesto, la esfera de inteligibili91
dad que instituye el infinito no plantea ningn problema especfico, ni en la intuicin axiomtica ni en los protocolos de la demostracin, las razones para inquietarse por este motivo son siempre
extrnsecas, psicolgicas o empricas, y niegan a las matemticas
su autosuficiencia en cuanto al rgimen de lo concebible que determinan.
- A continuacin, el deseo del grado mximo en las admisiones
de existencia: cuanta ms existencia baya, mejor. El platnico opera
con la audacia del pensamiento. Le repugnan las restricciones y las
censuras que vienen del exterior (y en particular, las que emanan de
los filosofemas timoratos). Mientras el pensamiento deba al ser al
que envuelve el hecho de no abismarse en la inconsistencia, podemos
y debemos avanzar con decisin en las suposiciones de existencia.
De este modo, el pensamiento sigue una lnea que aumenta progresivamente su intensidad.
-Por ltimo, el reconocimiento de un criterio cuando una aparente eleccin se impone al devenir de las matemticas. Este criterio
es justamente el de la extensin mxima de lo pensable como consistente. De este modo, el platnico admitir el axioma de eleccin
mucho antes que su negacin, pues el universo con axioma de eleccin es incomparablemente ms amplio y denso en vnculos significativos que el universo que no admite dicho axioma. Por el contrario, el platnico se mostrar reservado en lo referente a la admisin
de la hiptesis del continuo, y an ms respecto de la hiptesis de la
construibilidad. Y ello porque los universos regidos por esas h i ptesis le parecen estrechos y forzados. E l universo construible
es particularmente mezquino: Rowbottom demostr que si se admite una particular especie de gran cardinal (un cardinal de Ramsey),
los reales construibles pueden contarse. A l platnico, un continuo
que pueda contarse le parece una intuicin demasiado forzada. El
teorema de R o w b o t t o m le conforta en su conviccin: hacer que
primen las consistencias que se deciden sobre las construcciones
que se controlan.
Entonces se constata que, por lo que hace a las matemticas, una
decisin conjuntista, es decir, una recuperacin ontolgica de las
concepciones de Cantor, respecto a las cuales ya he mostrado que
clarifican el pensamiento del ser como multiplicidad pura, impone
una orientacin platnica en el sentido que acabo de mencionar. Esto
92
es, por lo dems, lo que confirman las elecciones filosficas de G del, el ms grande (junto a Cohn) de los continuadores de Cantor.
La teora de los conjuntos es el ejemplo tipo de una teora en la
que la decisin (axiomtica) prevalece sobre la construccin (definicional). Los empiristas y defensores del giro lingstico en nuestro
siglo no han dejado, por lo dems, de poner objeciones a la teora,
aduciendo que ni siquiera consegua definir, o elucidar, su concepto
orgnico, el de conjunto. Cosa a la que un platnico como Gdel
responder siempre que lo que cuenta son las intuiciones axiomticas, intuiciones que constituyen un espacio de verdad, y no la definicin lgica de las relaciones primitivas.
Contrariamente a las orientaciones aristotlica (la potencia como
singularizacin primera de la substancialidad) o leibniziana (lo posible lgico como pretensin al ser), la teora de conjuntos no conoce ms que el mltiple actual. El hecho de que la actualidad sea la
forma efectiva del ser, y de que lo posible o la potencialidad sean ficciones, es un motivo profundamente platnico. A este respecto, nada
hay ms significativo que el tratamiento conjuntista del concepto de
funcin. L o que parece ser un operador dinmico, sostenido a menudo por esquemas espaciales, vase fsicos (si y = f(x), se dir que
y vara en funcin de las variaciones de x, etctera), resulta estrictamente tratado, en el marco conjuntista, como un mltiple actual:
la funcin tiene como ser-mltiple a su grafo, es decir, a un conjunto cuyos elementos son los pares ordenados de tipo (x, y), y toda
alusin dinmica, o en variacin, queda eliminada.
Del mismo modo, el concepto de lmite, tan marcado por la
experiencia del devenir, del tender-hacia, del movimiento asinttico, es reconducido a la caracterizacin inmanente de un cierto tipo
de multiplicidad. De este modo, para ser identificado, un ordinal lmite no tiene necesidad de que se lo represente como aquello hacia
lo cual tiende la sucesin de ordinales respecto a los cuales l mismo es el lmite, y ello por la buena r a z n de que l es esa misma
sucesin (es decir, porque los elementos de esa sucesin son lo que
le define como conjunto). E l ordinal transfinito No, que viene despus de los enteros naturales, no es otra cosa que el conjunto de todos los enteros naturales.
Por todas partes, en clara deuda con el genio platnico, la virtualidad se concibe como actualidad: no existe ms que un tipo de ser,
93
mente por el hecho de que una idea participa de lo Otro puede ser
declarada diferente de otra. Existe por tanto una evaluacin localizable de la diferencia: el modo propio en virtud del cual una idea,
pese a ser igual a s misma, participa de lo O t r o como cualquier
otra idea. Este punto se asume, en la teora de conjuntos, mediante
el axioma de la extensonalidad: si un conjunto es diferente de otro, es
que existe al menos un elemento que pertenece a uno y no al otro. Esta
expresin de al menos un elemento localiza la diferencia, e impide las diferencias puramente globales. Siempre existe un punto de
la diferencia (al igual que, para Platn, una idea no es en s distinta
de otra, sino nicamente en la medida en que participa de lo Otro).
Esta es una caracterstica capital, en particular porque limita los derechos (tanto aristotlicos como deleuzianos) de lo cualitativo, de la
diferencia global y natural. En el estilo platnico del conjuntismo, la alteridad se resuelve mediante puntualidades, y la diferencia
es asignable de manera uniforme y siempre elemental.
El nombre primitivo del ser, en la teora de conjuntos, es el vaco,
el conjunto vaco. Toda la jerarqua radica ah. En cierto sentido,
slo l es. Y la lgica de la diferencia implica que el vaco es nico. En efecto, no puede diferir de ningn otro, puesto que no contiene ningn elemento (ningn punto local) que pueda verificar esa
diferencia. Esta combinacin de denominacin primitiva mediante
lo simple absoluto (o lo in-diferente, que es el estatuto de lo uno en
el Parmnides) y de unicidad fundadora es indudablemente platnica: y ello porque la existencia de lo que recubre este nombre primitivo (es decir, la existencia del conjunto vaco) debe decidirse axiomticamente, del mismo modo que -este es el sentido de las aporas del
Parmnides- resulta vano querer deducir la existencia (o la inexistencia) de lo uno: hay que decidir, y asumir las consecuencias.
Por ltimo, como sabemos desde el teorema de Cohn, la hiptesis del continuo es intrnsecamente indecidible. Muchos piensan
que esto significa una verdadera ruina para el proyecto conjuntista,
o que representa una pluralizacin de lo que se presentaba como
una construccin unificada. H e dicho ya bastante acerca de esto
para que se comprenda que mi punto de vista es contrario: el carcter indecidible de la hiptesis de lo continuo acaba efectivamente
con la teora de conjuntos como orientacin platnica. Seala el punto de fuga, la apora, el vagabundeo inmanente, en el que el pensa95
miento se verifica como confrontacin in-fundada ante lo indecidible, o - p o r emplear el lxico de G d e l - como recurso continuo a la
intuicin, es decir a la decisin.
La localizacin anticualitativa de la diferencia, la unicidad de la
existencia bajo una denominacin primitiva, la prueba intrnseca de
lo indecidible: estas son las caractersticas que permiten que la teora de conjuntos pueda ser comprendida por la filosofa a travs del
desvo de una teora de la verdad, ms all de una simple lgica de
las formas.
Se objetar sin embargo que, en estos protocolos demostrativos,
toda matemtica se sostiene sin duda alguna mediante una lgica.
En definitiva, cmo se articulan la matemtica como pensamiento
del ser en tanto que ser, o teora de lo mltiple puro, y la matemtica como ciencia formal, como conjunto de protocolos demostrativos de carcter constrictivo?
Para penetrar en esta temible pregunta, que se refiere al estatuto
ontolgico de la lgica, a la estructura de la onto-lgica, es til volver a examinar la concepcin aristotlica, que sin duda es lo otro
primitivo del platonismo.
El ncleo de toda relacin aristotlica con las matemticas consiste en considerar que stas no son un pensamiento. Hemos visto
que el propio Aristteles, que sin duda no es aristotlico, concluye
sin embargo que, en definitiva, las matemticas no derivan en absoluto de la ontologa, sino de Ja satisfaccin esttica.
En este sentido, nuestro siglo es mucho ms aristotlico de lo que
se imagina. Esta circunstancia es, de hecho, un efecto ineludible
de su esencial antiplatonismo, antiplatonismo cuyo profeta es Nietzsche, pero que comparten por igual el enfoque lingstico anglosajn, que vitupera en todo momento al platonismo ingenuo, y el
enfoque hermenutico de Heidegger, que considera que Platn tacha con la Idea la eclosin original del ser como qn'wLQ. Incluso el
diccionario de las ciencias de la difunta URSS se empeaba en subrayar los mritos materialistas de Aristteles y calificaba a Platn de
idelogo de los propietarios de esclavos. Esto nos dar idea de la
amplitud del consenso.
Qu significa la asercin segn la cual las matemticas no son
un pensamiento? De ningn modo, evidentemente, quiere decir que
las matemticas no constituyan un saber coherente y racional, sino
que este saber, desaferrado de todo principio de ser, no puede aspirar a la verdad. Importa poco, para e caso, que el principio de
ser invocado sea de tipo metafsico (como la sustancia de Arist-
96
97
a representaciones, espaciales o de otro tipo, los elementos que debern permitirnos la verificacin sern las construcciones. Si se hallan vinculadas al lenguaje, al cifrado, al clculo, los elementos que
debern permitirnos la verificacin sern los algoritmos. Para un aristotlico o un leibniziano la matemtica debe ser algortmica (en su vertiente algebraica) y constructiva (en su vertiente geomtrica). Slo
esto sita su destino lgico bajo el control de la razn real.
Todo esto implica prudencias lgicas y protocolos de vigilancia
en contra del principio de audacia mxima que Platn sostiene.
-Una duda sistemtica que concierne al uso del infinito actual,
ya se trate de lo infinitamente grande o de lo infinitamente pequeo. Y ello porque el infinito se encuentra en su mayor parte sustrado
a las verificaciones constructivas y algortmicas, es decir, el infinito es
algo decidido. Si admitimos que el infinito matemtico existe -sea
cual sea el estatuto de esta existencia- hay un riesgo grande de volver a anudar la matemtica con el ser, de olvidar que no es ms que
una lgica de lo posible. Incluso un creador de la envergadura de
Leibniz en el campo del clculo diferencial e integral considera que es
preciso reservar el infinito real para la metafsica, para el absoluto d i vino, que es el nico que le confiere un estatuto mondico. N o puede defenderse que el infinito sea numrico, ni tan siquiera geomtrico: El hecho de ser algo limitado pertenece a la esencia del nmero, de
la lnea, y de un todo cualquiera. Y, en todo caso, el verdadero infinito slo est en lo absoluto, que es anterior a toda composicin,
y que no est en modo alguno formado por la suma de partes.
- L a restriccin y la vigilancia de las aserciones existenciales
en matemtica. La esencia lgica de la matemtica es transparente
mientras permanezcamos en las consecuciones formales y en las definiciones de posibilidad. Se oscurece tan pronto anunciamos una
existencia. Pediremos pues que toda asercin de este gnero venga acompaada de la construccin explcita que la valida, de la mostracin lgica del caso de existencia.
- L a tendencia al perspectivismo pluralista. Si la matemtica es
una ciencia formal, adecuada a la descripcin coherente de los
posibles, no es preciso exigir (como sucede en el caso de que est
anudada al ser, y sea capaz de elucidar verdad) que sea finalmente nica. Podemos considerar la coexistencia de varias matemticas diferentes, del mismo modo que en el intelecto del Dios de
100
Leibniz coexisten varios mundos posibles, ciertamente contradictorios, pero internamente coherentes.
Las grandes tendencias de la comprensin aristotlica (o leibniziana) de las matemticas sern en ltimo trmino las siguientes: el
logicismo, el finitismo algortmico o constructivista, y el pluralismo
de los posibles racionales.
Y as es como se plantea el desafo, desde la poca de los antiguos
griegos, de una polmica que es constitutiva de la comprensin filosfica de la condicin matemtica. Platn o Aristteles (pero tambin
Descartes o Leibniz) dan nombre a este desacuerdo.
Para el pensamiento filosfico se trata de un desacuerdo central
y complejo, ya que, por una parte, la matemtica, filosficamente
comprendida, se encuentra sin duda alguna anudada a la cuestin
del ser, puesto que el pensamiento no slo no se enfrenta ya a la
opacidad de la experiencia, sino que, visiblemente, se libera de las
constricciones de la finitud. Por otra parte, sin embargo, no hay duda
de que la matemtica es paradigmtica en lo que concierne a los
encadenamientos racionales, a las consecuciones y a las pruebas.
Y tambin es indudable que, en un sentido amplio, su valor lgico
resulta eminente. Por consiguiente, no hay duda de que la matemtica se reparte, respecto a la construccin del lugar filosfico, en el
doble registro de la decisin relativa al pensamiento acerca del ser y
de la consistencia formal de los argumentos. Para el filsofo, la matemtica es simultneamente ontolgica y lgica. Podramos decir
que es onto-lgica: el guin separa aqu a Platn de Aristteles. Si lo
formulo en mis propias palabras, podramos decir que la matemtica esclarece a la filosofa acerca de la dimensin de intervencin de
toda verdad (los axiomas, los principios, las audacias), pero tambin
acerca de su dimensin de fidelidad (los operadores formales, la continuidad del pensamiento, las definiciones, las prudencias). Abordar
de nuevo este doble condicionamiento en mi materia (es decir, proponer un concepto moderno de verdad y apostar de nuevo por la f i losofa) es una tarea que requiere una confrontacin minuciosa con
la propia vitalidad matemtica.
Para aclarar la situacin, es preciso, en efecto, llegar a los grandes
dispositivos matemticos contemporneos, a los dispositivos que
pretenden dar a la matemtica un espacio unificado, o una lengua
primordial.
101
8
Lgica, filosofa, giro lingstico
102
103
la condicin del acontecimiento, del azar, de la decisin y de una f i delidad a-tpica, en vez de sometido a la condicin que implican las
reglas antropolgicas y lgicas del lenguaje o de la cultura, entonces
hay que preguntarse cul es exactamente la determinacin ontolgica de la lgica matematizada.
En el dispositivo de pensamiento que propongo, esta cuestin es
compleja. Es, dira yo, una figura de torsin. Puesto que planteo
que la ontologa, es decir, aquello que del ser en tanto que ser puede
inscribirse, o escribirse, como logos, es exactamente la propia matemtica, se deduce que la pregunta que indaga la determinacin ontolgica de la lgica matematizada se convierte en esta otra: cul es
la determinacin matemtica de la lgica matematizada?
En qu reside el elemento filosfico de esta pregunta? Parece
remitir a una simple distancia interior respecto de la matemtica. La
distancia en la que se piensa, a partir de la propia matemtica, el estatuto de la lgica como disciplina matemtica. El pensamiento de
esta distancia interior, deriva de la filosofa?
Henos aqu instalados en una triangulacin compleja cuyos tres
vrtices son la matemtica, la lgica y la filosofa.
El axioma de discriminacin que es preciso introducir entonces
es, en mi opinin, el siguiente: hoy en da, el factor ms importante que determina una filosofa es la posicin que adopta en relacin con los otros dos vrtices del tringulo: la matemtica y la
lgica.
Sucede, en particular, que el giro lingstico de la filosofa contempornea se halla en ltimo trmino, y en gran medida, regido
por una tesis ms o menos explcita de identificacin de la lgica
con las matemticas. Y respecto a esta tesis, el logicismo de Russell
no es ms que una forma extrema y no necesaria. Una tesis, por otra
parte, evidentemente facilitada por la ntegra matematizacin de la
lgica. Y una tesis, como ya hemos dicho, de procedencia aristotlica, o leibniziana.
El giro lingstico tiene, como sabemos, dos facetas aparentemente opuestas, en cuyo mbito los nombres propios que predominan son los de Wittgenstein y Heidegger. Del primero recordaremos que enuncia una estricta coextensividad entre el mundo y el
lenguaje, siendo los lmites del uno exactamente los lmites del otro.
Del segundo recordaremos que el pensamiento en los tiempos de
104
angustia es, antes que nada, andadura hacia la palabra; o que, como
suele decirse a propsito de Rilke, hay arqueamiento porque la regin esencial hurta su presencia; pero queda el canto que nombra la
Tierra. En todo caso, el lugar donde se dirime el destino del pensamiento es la exacta frontera de lo decible. Y para que tal sea el lugar,
es preciso que la matemtica, reducida a lgica calculadora y ciega,
no sea un pensamiento.
Wittgenstein mantendr simultneamente que:
1. La matemtica es un mtodo lgico (Tractatus, 6. 2), y ms
adelante afirma, como ya hemos citado:
2. La proposicin matemtica no expresa pensamiento alguno
(Tractatm, 6. 21).
Y Heidegger, con idntico gesto, volver a reducir la matemtica
al clculo de la pericia tcnica: Ocurre as que el ser del ente deviene
concebible en el pensamiento puro de la matemtica. El ser as calculable, y puesto en el clculo, hace del ente algo susceptible de ser
dominado en el seno de la tcnica moderna, dotada de estructura
matemtica.
De este modo, Wittgenstein y Heidegger comparten la identificacin de la matemtica con la lgica, en el seno de una disposicin
calculadora en la que el pensamiento ya no es pensante. Y tanto el
uno como el otro orientan esta identificacin en la direccin del recurso al poema, como aquello que, en la lengua, persiste en concordar con la denominacin de lo que se retira. Para Heidegger, no
nos queda ms que el canto que nombra la Tierra. Sin embargo,
Wittgenstein tambin escribir: Pienso que he resumido mi actitud
con respecto a la filosofa cuando he dicho: la filosofa debera escribirse como una composicin potica.
El giro lingstico es as la correlacin esencial, filosficamente
instituida, entre, por una parte, la identidad calculadora de la matemtica y de la lgica, que es la sustraccin del pensamiento en beneficio de una ciega y tcnica potencia de la regla, y, por otra, el recurso archiesttico a la potencia pacfica y difana del poema.
Por consiguiente, el protocolo de una ruptura con esta disposicin filosfica exige al menos dos gestos:
El primero es el reexamen crtico del poema como apoyo de una
concepcin archiesttica del destino de la filosofa. Esto es lo que he
tratado de hacer por mis propios medios en numerosos estudios sobre
IOS
Nos preguntaremos entonces: qu acontecimiento de pensamiento, concerniente a la lgica, autoriza a la filosofa a desprenderse del
dominio gramatical y lingstico? C m o nos aseguramos de la
aparicin de una nueva distancia interior entre el pensamiento matemtico como tal y la lgica matematizada?
Este acontecimiento es perfectamente identificable, pese a que an
sea filosficamente silencioso. Sin embargo, como deca Nietzsche
en la discusin entre Zaratustra y el Perro de fuego: Los acontecimientos ms grandes no nos sorprenden en nuestras horas ms
ruidosas, sino en la hora de mayor silencio. Este acontecimiento
silencioso es un cambio fundamental de estilo en la presentacin
matemtica de la lgica. Se trata de la presentacin de la lgica en
el marco de la teora de las categoras en cuyo centro se encuentra el
concepto de topos, o de universo. Este acontecimiento comienza
en los aos cuarenta con la creacin, por Eilenberg y MacLane, del
lenguaje categorial, nacido para atender las necesidades de la geometra algebraica. Se prosigue en la dcada de 1950 con la invencin,
por Groethendiek, del concepto de universo. Acaba, en los aos sesenta y setenta, con la reformulacin, por Freyd y Lawvere, de la
totalidad de la lgica en el lenguaje de las categoras. El concepto
de topos elemental se convierte en una herramienta transparente.
Jean-Toussaint Desanti es el primero que me hizo notar que una
ontologa basada exclusivamente en la teora de conjuntos -en lo
que l llamaba una ontologa intrnseca- ignoraba la aportacin,
en su opinin capital, de una concepcin matemtica apoyada en el
nico dato de los morfismos, o correlaciones reguladas entre estructuras.
Puedo decir que, al colocar a la filosofa bajo las condiciones
estipuladas por la teora de los topoi, he podido, despus de mucho
tiempo de vagabundeo o de abstencin, resolver, al menos parcialmente, mi problema.
Reformulemos este problema, de manera plenamente articulada.
L o hago en seis tesis.
Primera tesis: Hay que romper con el giro lingstico que se ha
apoderado de la filosofa.
Segunda tesis'. Es necesario porque esta orientacin de pensamiento redunda hoy en la pura y simple dislocacin del deseo filosfico como tal. Ya sea porque, como sucede en el mbito anglosa107
familia singular de modelos. Sin embargo, esta delimitacin es filosficamente inoperante. Y ello porque la matemtica slo aparece
como un caso de lo lgico, o un caso en el que lo lgico representa,
en cierto modo, la subestructura sintctica universal de lo matemtico. Dado que las nociones de sintaxis y de semntica apropiadas
an siguen siendo determinantes para la delimitacin, esta no puede materializar el deseo filosfico del seoro sobre lo lingstico.
Tambin sera posible decir, como variante: ser matemtica, y
no solamente lgica, toda teora formalizada que admita axiomas
existenciales que no sean reductibles a axiomas universales; por consiguiente, ser matemtica toda teora que decida una existencia y
no establezca su consistencia ms que en torno a esta decisin. De
este modo, la propia teora de conjuntos sera matemtica, debido
a que decide axiomticamente la existencia de un conjunto vaco, y
tambin la existencia de, al menos, un conjunto infinito. Sin embargo, incluso aqu, la delimitacin se realiza asumiendo la existencia
de un ser sintctico comn entre la lgica y las matemticas, puesto
que la desviacin concierne nicamente, si as puede decirse, a la accin diferenciadora de los cuantificadores.
En verdad, desde que la lgica queda matematizada bajo la forma de una sintaxis, o de una teora formal, su conexin lingstica
resulta primordial, como por lo dems anuncia inmediatamente, en
tanto que sntoma, el campo de sus designaciones en la lengua natural: lenguajes formales, reglas de formacin, enunciados, proposiciones, sintaxis, semntica, puntuacin, interpretacin, etctera.
Por consiguiente, incluso la tesis segn la cual la matemtica es la
ontologa pierde una parte de sus poderes constituyentes. Y ello
porque la lgica, al estar dispuesta como lenguaje formal de esta ontologa, vuelve a introducir la prescripcin lingstica sin que la decisin ontolgica pueda revisar fcilmente esa prescripcin.
Cul es entonces el valor del acontecimiento que rematematza
la lgica, esta vez en el marco de la teora de las categoras? Ese valor depende de un completo vuelco de la perspectiva. Cuando la presentacin sintctica de la lgica como lenguaje formal dispone los
universos, o los modelos, como interpretaciones semnticas, lo que
hay en la presentacin categorial es una serie de universos cuya lgica es una dimensin interna. Dicho de otra manera: en la presentacin lingstica, el referente apropiado de una teora formal es una
109
9
Primeras advertencias
sobre el concepto de topos
Si es verdad que la teora de los topoi establece de manera interna
que la lgica es una dimensin local de los universos posibles de la
matemtica, entonces deben existir en esta teora teoremas a los que
llamar omolgico-lgicos. O incluso onto-lgicos, con un guin.
Es decir, se trata de teoremas que tienen la siguiente forma genrica:
si un universo concebible posee tal o cual caracterstica ontolgica,
entonces se seala en l tal o cual constriccin lgica. Se trata de teoremas que satisfacen a un tiempo tanto el vuelco de perspectiva como
la ausencia de toda mencin explcita del lenguaje y de sus usos sintcticos reglados.
Existen efectivamente tales teoremas, y me gustara hacer compartir a otros el poder sentir su fuerza como acontecimiento para la
filosofa. Citar dos, en un lenguaje completamente natural. Se vinculan, respectivamente, a los conceptos ontolgicos de diferencia y
de vaco (o de no ser).
A ) Tratndose de la diferencia, el problema filosfico esencial, que
ya hemos encontrado en relacin con las caractersticas de la ontologa de lo mltiple y de la oposicin a la ontologa intensiva de
Deleuze, es el de su registro de inteligibilidad. Puede decirse que
una diferencia cualquiera se encuentre siempre localmente probada?
Quiero decir: toda diferencia es concebible en un punto de la ac-
110
sino al imperativo intuicionista, constructivo, o no clsico. Por ejemplo, si un topos no est bien sealado, es decir, si existen, como sucede en las perspectivas de Leibniz, Bergson o Deleuze, diferencias
intensivas, cualitativas, o globales, y si, por otro lado, admitimos una
cierta reciprocidad del ser y de lo uno, como tambin hace Leibniz,
entonces es imposible que nuestra lgica sea clsica. Es una afirmacin recproca respecto de mi segundo ejemplo. Y en efecto, con
todo rigor, y teniendo en cuenta los grados insensibles del ser, la lgica de Leibniz no es verdaderamente clsica, ya que nosotros no
estamos absolutamente obligados a decidir entre el estadop y el estado no p, entre los cuales existe una infinidad de estados intermedios.
10
114
115
119
11
Como indican las definiciones euclidianas, la idea griega del nmero hace depender su ser de las aporas metafsicas de lo uno. El nmero, en la definicin segunda del libro sptimo de Euclides, es la
multiplicidad compuesta de unidades. Y la unidad, definicin primera del mismo libro, es aquello a partir de lo cual se enuncia lo
uno para cada uno de los entes. Por ltimo, el ser del nmero es el
mltiple reducido a la pura legislacin combinatoria de lo uno.
La saturacin, y posteriormente el desmoronamiento, de esta
idea del ser del n m e r o como procesin de lo uno marca la entrada en los tiempos modernos de la idea del ser. Este desmoronamiento combina tres factores: la aparicin rabe del cero, el clculo
del infinito, y la crisis de la idealidad metafsica de lo uno. El primtr
factor, el cero, introduce la neutralidad y el vaco en el centro de l l
idea de nmero. El segundo, el infinito, supera la combinatoria qut
se encamina a la topologa, o aade a la simple sucesin la posicin
numrica de un lmite. El tercero, la obsolescencia de lo uno, ob!i|
a pensar el nmero directamente como multiplicidad pura, C01M
mltiple sin-uno.
-
nados de anlisis complejo. L o vemos igualmente bien en la heterogeneidad de los procedimientos de introduccin de los diferentes
tipos clsicos de nmero: axiomtico para los enteros naturales, estructural para los ordinales, algebraico tanto para los nmeros negativos como para los racionales, topolgico para los nmeros reales, principalmente geomtrico para los nmeros complejos. Y por
ltimo, lo vemos en la no-categoricidad de los sistemas formales
que tratan de capturar al nmero, sistemas que, al admitir modelos
no clsicos, abren la fecunda va del anlisis no estndar, y por consiguiente, restauran todos los derechos de los nmeros infinitos, o
infinitesimales.
En el caso de la filosofa, que pretende mostrar en el nmero una
idea activa del ser, la dificultad estriba en que no hay, en apariencia,
y contrariamente a lo que suceda en la poca griega, una definicin
unificada del nmero. Qu concepto puede subordinar simultneamente la discrecin de los enteros, la densidad de los racionales,
la completud de los reales, el hormigueo de los infinitesimales, sin
contar el cifrado transfinito de los ordinales de Cantor? En qu
sentido podramos decir que todo esto dependa, para el filsofo, de
un concepto cuya potencia de pensamiento tenga que soportar y
magnificar al mismo tiempo que su singularidad inventiva? Intentemos aclarar este desorden, partiendo de las funciones ordinarias de
la palabra.
Qu entendemos nosotros por nmero, segn lo que de l se
deduce en funcin de los usos de la lengua y de las representaciones que a ella se vinculan?
En primer lugar, entendemos que un nmero es una instancia de
medida. De forma elemental, el nmero sirve para discriminar el
ms y el menos, lo mayor y lo menor. Contrasta los datos. Por consiguiente, exigiremos de cualquiera de las especies del nmero que
nos proponga una estructura de orden.
En segundo lugar, un nmero es una figura de clculo, Gracias al
nmero, contamos. Contar quiere decir sumar, restar, multiplicar,
dividir. Exigiremos pues de cualquiera de las especies del nmero
que sus operaciones sean numricamente practicables, o que estn
bien definidas. Cosa que, tcnicamente, quiere decir que cualquiera
de las especies del n m e r o debe poder identificarse de forma algebraica. La recapitulacin completa de esta identificacin es la
122
ordinal, esa es la definicin de von Neumann, es un conjunto transitivo en el que todos los elementos son transitivos. Ahora bien, la
transitividad es una propiedad ontolgica: significa nicamente que
todos los elementos del conjunto son tambin partes del conjunto.
Que si tenemos a e (3, tambin tenemos a C (3. Esta correlacin mxima entre la pertenencia (o elemento) y la inclusin (o parte) da a
los conjuntos transitivos un tipo particular de estabilidad ontolgica, una estabilidad que designa en m opinin al ser natural. Es esta
estabilidad natural de los ordinales, esta homogeneidad inmanente,
la que los designa como material primordial del N m e r o .
L o que llama la atencin en la definicin del N m e r o -el par ordenado de un ordinal y de una parte de este ordinal-, es la instancia del
par. Para definir el N m e r o , hay que instalarse en el dos. E l N m e ro no es una marca simple, hay una duplicidad esencial del N m e r o .
Por qu esa duplicidad?
Yo dira, para retomar el vocabulario de Giles Chtelet, que el
N m e r o es un gesto en el ser, y que la doble marca deja huella de
ese gesto. Tenemos, por un lado, una marca homognea y estable, el
ordinal. Y, por otro, un signo en cierto modo arrancado al primero,
una parte indeterminada, que, en la mayora de las ocasiones, no
conserva ninguna estabilidad inmanente, que puede ser discontinua,
es decir, encontrarse desmembrada, sin concepto alguno. Y es que
no hay nada ms errtico que la idea general de parte de un conjunto.
El gesto numrico es pues la extraccin en cierto modo forzada, desajustada, inventiva, de una parte incalculable de aquello que
tiene por s mismo todos los atributos del orden y de la solidez
interior.
Por esta razn, como filsofo, he renombrado los dos componentes de un N m e r o . A l ordinal, lo he llamado la materia del N mero, para evocar aquel dato de estabilidad y de poderosa, aunque
casi indiferente, arquitectura interior. Y a la parte del ordinal, la he
llamado la forma del N m e r o , no para evocar su armona o su esencia, sino ms bien para designar, como en ciertos efectos del arte
contemporneo, aquello que se extrae inventivamente de un fondo
an legible de materia. O aquello que, al extraer de la materia una
discontinuidad imprevisible, casi fulminante, deja aparecer como en
las lagunas de esa extraccin, a inalterable compacidad material.
125
N m e r o . Cosa que tambin puede decirse como sigue: la prescripcin ontolgica contenida en el concepto de N m e r o excede infinitamente a la efectiva determinacin histrica de las consistencias
numricas nombradas y conocidas. Hay ms ser en la palabra N mero de lo que la matemtica ha podido, hasta el momento, circunscribir, coger en las redes de sus consistencias construidas.
De hecho, en cada uno de sus segmentos, ya sea de modo aparente, o para nuestro intelecto, nfimo, el macrocuerpo de los N meros se halla poblado por una infinidad infinita de N m e r o s . Y
por esto brinda sin duda la mejor imagen posible del universo segn
la descripcin que proporciona Leibniz en el pargrafo 67 de la Monadologa: Cada porcin de la materia puede concebirse como un
jardn lleno de plantas, y como un estanque lleno de peces. Pero cada
ramificacin de la planta, cada miembro del animal, cada gota de sus
humores es a su vez un jardn de idntica ndole, o un estanque igual.
Y ello porque cada nfimo intervalo del macrocuerpo de los N m e ros puede ser concebido como el lugar de una infinidad de especies del N m e r o , siendo cada especie a su vez, y cada nfimo intervalo de esa especie, un lugar de esa misma ndole, o de una infinidad
semejante.
Qu conclusin sacar?
El N m e r o no es ni una caracterstica del concepto (teora de
Frege), ni una ficcin operatoria (teora de Peano), ni un dato empirico-lingstico (teora vulgar), ni una categora constituyente o
transcendental (teora de Kronecker, o incluso de Kant), ni una sintaxis o un juego del lenguaje (teora de Wittgenstein), ni tan siquiera una abstraccin de nuestra idea del orden. El N m e r o es una forma del ser mltiple. Para decirlo con mayor precisin, los nmeros
que manipulamos son una nfima extraccin de la infinita prodigalidad del ser en cuanto a especies del N m e r o .
126
La historia de las matemticas, tanto por lo que hace al concepto de N m e r o como para cualquier otro concepto, es exactamente
la historia, en principio interminable, de la relacin entre la inconsistencia del ser-mltiple y el hecho de que nuestro pensamiento f i nito pueda dar consistencia a esta inconsistencia.
La tarea que concierne al N m e r o , y a los nmeros, no puede ser
sino la de proseguir y ramificar el despliegue de su concepto. El N mero deriva exclusivamente de la matemtica, dado que se trata de
pensar sus especies, de situarlas en el macrocuerpo que es su lugar
de ser. La filosofa enuncia esta pertenencia exclusiva del N m e r o a
la matemtica y seala dnde se da como recurso de ser, en los lmites de una situacin, la situacin ontolgica, o matemtica.
Hay que abandonar las vas que han seguido, en cuanto a la idea de
N m e r o , tanto Frege como Pean, tanto Russell como Wittgenstein.
Hay que radicalizar, desbordar, pensar hasta el punto de su disolucin, la empresa de Dedekind o de Cantor.
N o existe ninguna deduccin del N m e r o , pero tampoco ninguna induccin. El lenguaje y la experiencia sensible son en este punto
guas inoperantes. Slo se trata de ser fiel a aquello que, desde el exceso inconsistente del ser al que nuestro pensamiento se anuda a veces,
llega como rastro histrico consistente, en el movimiento simultneamente inacabable y eterno de las refundiciones matemticas.
ns
129
12
A primera vista, si no hay una ontologa de Kant, si incluso l mismo declara que su propsito es inconsistente, es porque l es, por
excelencia, el filsofo de la relacin, del vnculo entre los fenmenos, y que esta primaca constituyente de la relacin impide todo
acceso al ser de la cosa como tal. Las famosas categoras de la
experiencia, acaso no son un verdadero repertorio conceptual de
todos los tipos de vnculos concebibles (inherencia, causalidad, comunidad, limitacin, totalidad, etctera)? Acaso no se trata de
dejar sentado que el fundamento ltimo del carcter trabado de las
representaciones no puede encontrarse en el ser de lo representado y ha de sobreaadirse a ste por efecto, constituyente y sinttico, del sujeto transcendental? Por consiguiente, se podra imaginar
que la solucin kantiana del problema de la representacin estructurada consiste en distribuir lo mltiple puro inconsistente (es
decir, en nuestra concepcin ontolgica, el ser en tanto que ser) del
lado de la fenomenalidad del fenmeno, y lo que cuenta-como-uno
(es decir, en nuestra concepcin, el ser-dado, o el ser en situacin)
del lado de la relacin, desplegada a su vez a partir de la actividad estructurante del sujeto. La consistencia llegara a la experiencia de lo
mltiple fenomnico por medio de esta potencia de lo que cuentacomo-uno representada por los vnculos universales que le prescribe el sujeto.
131
no es preciso sostener mediante una consistencia originaria la actividad vinculante de las categoras. Y es que este uno no podr
pensarse por consiguiente ms que para el vnculo, la consistencia
tendr como lmite de su concepto de ser lo que la relacin de lo d i verso fenomnico exige, y la estructura fundamental de la presentacin se ordenar en relacin con la estructura ilusoria de la representacin. Esta huella, que subsume el carcter originario de la
presentacin de lo mltiple-como-uno en su necesidad respecto de
la idea de los vnculos representables, reside en el hecho de que louno-mltiple tiene en Kant la figura limitativa del objeto. Si en ltimo
trmino Kant no puede pensar lo-uno-mltiple ms que en la estrechez representable del objeto, es porque supedita, en el movimiento discursivo, la consistencia presentativa a la solucin del problema
crtico concebido como problema epistemolgico. La ontologa kantiana, que tan justamente describi Heidegger, padece la sombra
proyectada de su iniciacin en la lgica pura del conocimiento.
Y es que en realidad el objeto no es en modo alguno una categora pertinente para designar lo existente, tal como se revela, en la situacin de ser lo-uno-contad o de lo mltiple puro. El objeto slo
designa a lo uno respecto del vnculo. Es aquello que, de lo existente, se representa segn la ilusin del vnculo. La palabra objeto
sirve como mediacin bastarda entre dos problemticas disjuntas:
la de lo que cuenta-como-uno de lo mltiple inconsistente (es decir, el aparecer del ser), y la del carcter emprico vinculado de los
existentes. La nocin de objeto viene a plantear un equvoco con
respecto de este otro equvoco, tpicamente kantiano, que atribuye al mismo trmino, el de entendimiento, la funcin suprema
de la unidad -la apercepcin originaria- y la funcin categorial del
vnculo.
Cuando Kant escribe que la unidad transcendental de la apercepcin es aquella por la que todo lo diverso que se da en una intuicin queda reunido en un concepto del objeto, abate lo-uno-mltiple sobre el objeto de tal forma que el mismo trmino pueda servir
igualmente para designar lo que los vnculos vinculan en la representacin. Correlativo a la apercepcin originaria como aquello que
ella dispone de lo uno en lo diverso de las presentaciones, el objeto
lo ser igualmente para las categoras, concebidas como los conceptos de un objeto en general, mediante los cuales se considera la
134
nificacin lgica del yo, no tenemos ningn conocimiento del sujeto en s que, a ttulo de substrato, pudiera encontrarse en la base de
este sujeto lgico as como en la base de todos los pensamientos.
En cuanto al objeto transcendental = x Kant declara explcitamente que, debiendo ser algo diferente a todas nuestras representaciones, no es nada para nosotros.
La radicalidad sustractiva de la ontologa kantiana consigue no
obstante colocar, en la base de la representacin, la relacin entre un
sujeto lgico vaco y un objeto que no es nada.
Tampoco puedo coincidir con la idea de Heidegger referente a
las diferencias entre la primera y la segunda edicin de la Crtica
de la razn pura. Para Heidegger, Kant ha retrocedido ante la doctrina de a imaginacin transcendental. En la exgesis de Heidegger, el mpetu espontneo de la primera redaccin estableca que
la imaginacin era esa tercera facultad (adems de la sensibilidad
y el entendimiento) que fundaba el rgimen de lo uno y garantizaba
as la posibilidad del conocimiento ontolgico. Heidegger reprocha
a Kant que renuncie a proseguir su avance en la exploracin de esa
raz desconocida de la esencia del hombre y que, por el contrario,
haya reducido nuevamente la imaginacin a una simple operacin
del entendimiento. Kant, dice, percibi lo desconocido y se vio
obligado a retroceder. N o se trata slo de que la imaginacin transcendental le haya dado miedo, sino de que se haya mostrado, entre
tanto, cada vez ms sensible al prestigio de la razn pura como tal.
y
dadora a la relacin entre dos vacos. Y ello, en ltima instancia, porque de lo que se trata es de fundar el existe de los objetos, la objetividad del objeto, nica capaz de sostener el despliegue del vnculo categorial de lo diverso de las representaciones. Para Kant, el
objeto sigue siendo el nico nombre de lo uno en la representacin.
La unidad sinttica de la conciencia se requiere, no slo para conocer un objeto, sino porque toda intuicin debe obedecerle, para
convertirse en un objeto para m, puesto que, de otro modo, y sin
esta sntesis, lo diverso no se unira en una conciencia. La planificacin de la teora segn el conocimiento de las relaciones universales (su objetivo epistemolgico) obliga a la potencia de lo que cuenta-como-uno a tener como resultado unos objetos representables y
escinde el vaco segn la idea general de la relacin sujeto/objeto,
que sigue siendo el marco inconmovible de la propia ontologa.
La Crtica kantiana duda en el umbral del gesto ltimo, que sera
el de establecer que la relacin no es, y que ese no-ser de la relacin
es de otra especie que el no-ser de lo uno, de modo que es imposible
disponer una simetra identitaria entre el vaco de lo que cuentacomo-uno (el sujeto transcendental) y el vaco como nombre del ser
(el objeto = x). Este gesto, naturalmente, establecera tambin que el
objeto no es la categora por la cual se abre el pensamiento de un ser
de las representaciones. Ese gesto asumira, sin por ello caer en el escepticismo de Hume, la disolucin del objeto y la disolucin del
vnculo en la pura presentacin mltiple.
Kant es sin embargo un filsofo de un rigor y de un escrpulo
extremos.
Desde luego comprendi que, en su deseo de fundar la universalidad de las relaciones, abra de hecho un abismo impensable entre
lo apartado del objeto transcendental y la unidad absoluta de la
apercepcin originaria, entre el lugar de ser del vnculo y la funcin
de lo uno. Las dudas y los arrepentimientos de que dan testimonio
las grandes diferencias entre las dos ediciones de la Crtica de la razn pura, referidas en particular al sujeto transcendental, no tienen
como centro de gravedad, en mi opinin, el concepto de imaginacin.
Son el precio de una relacin difcil entre la estrechez de las premisas
(el examen de la forma de los juicios) y la extensin de las consecuencias (el vaco como punto de ser). Est claro, y Heidegger le
consagra esta vez una exgesis decisiva, que la nocin de objeto so138
porta esta dificultad. Kant se enreda aqu con una nocin que, pertinente para una doctrina crtica del vnculo, debera quedar disuelta por las operaciones de la ontologa.
Kant tambin va a retomar el problema, a la vista del abismo que
se abre en el ser por la doble denominacin del vaco -segn el sujeto y segn el objeto-, por otro camino, preguntndose d n d e y
cmo pueden estos dos vacos contarse a su vez como uno. Har
falta otro dispositivo completamente distinto, es decir, har falta, de
hecho, una situacin diferente a la situacin epistemolgica. El envite esencial de la Crtica de la razn prctica consiste en determinar la copertenencia del vaco del sujeto y del vaco del objeto a una
esfera nica del ser, que Kant llamar lo suprasensible. Desde este
punto de vista, lejos de ser la regresin metafsica que en ocasiones se detecta, la segunda Crtica es una recuperacin dialctica necesaria de los atolladeros ontolgicos de la primera. Aspira a contar
como uno, en otra situacin (la de la accin voluntaria), lo que, en
la situacin cognitiva, permaneca como lo enigmtico respecto de
dos ausencias.
Queda decir que las poderosas intuiciones ontolgicas de Kant
siguen prisioneras, en el orden del conocimiento, de un punto de
partida limitado a la forma del juicio (que es, hay que decirlo, el grado ms bajo de la actividad pensante), y, en el orden de la localizacin, de una idea del sujeto que hace de esta circunstancia un protocolo de constitucin, cuando slo puede ser, en el mejor de los
casos, un resultado.
El hecho de que, no obstante, la cuestin del sujeto sea la de la
identidad, y por consiguiente, la de lo uno, es admisible, con la salvedad de que hay que concebirlo, no como centro vaco de un campo transcendental, sino como unidad operatoria de una multiplicidad de realizaciones de la identidad. O como las mltiples maneras de
ser idntico a s mismo.
U n sujeto es el grupo de las mltiples posibilidades de lo uno.
Vamos a ilustrar esta tesis que atae, no al ser del sujeto, sino a su
lgica, mediante un ejercicio que permita revisar algunas nociones
tan primordiales como elementales de la teora de las categoras (de
los topoi).
139
13
2. Existe un elemento neutro. Es decir, un elemento del conjunto de base, digamos e, que es de tal modo que para todo elemento a
del conjunto, tenemos:
a + e = e + a = a.
La existencia de un elemento neutro e, cuyas caractersticas determinan que a + e = a, sea cual sea el elemento a del grupo, singulariza en el campo operativo una pura y simple accin nula. Es decir,
singulariza aquello que, pese a poder anotarse, deja ser aquello que
ya existe. E l sumar e a un elemento cualquiera vuelve a dar ese elemento, como si nada hubiera ocurrido. Todo el mundo reconocer
aqu al elemento cero, que sumado a cualquier nmero da ese mismo nmero. El cero es el elemento neutro del grupo de los nmeros
enteros relativos.
3. Existe, para todo elemento a, un elemento a' perteneciente al
grupo cuyas caractersticas son tales que, sumado a a, da el elemento neutro. Se llama a* al opuesto de a, y esta vez la frmula queda
como sigue:
Las tres grandes propiedades operatorias que definen la estructura de grupo (el carcter asociativo, el elemento neutro, la existencia del opuesto), al exhibir respectivamente la sumisin de los actos
operatorios al orden literal, lo uno del acto nulo y la simetra gene-
En la teora de las categoras, los datos de salida son particularmente escasos. N o disponemos ms que de objetos indiferenciados
(de hecho, de simples letras, desprovistas de toda interioridad), y de
flechas (o morfismos) que van de un objeto a otro. En el fondo,
a + a' = e.
142
143
Se observar que dos de las disposiciones operatorias que definen un grupo (asociatividad y elemento neutro) son requisitos iniciales para estabilizar la presentacin de un universo categorial. Estas disposiciones atestiguan de este modo su carcter primitivo en
cuanto a la especificacin de un dato operatorio cualquiera, de un
simple posible abstracto para el pensamiento. Y ello porque la propiedad asociativa no es ms que la destemporalizacin de los gestos,
o el establecimiento del reino de la letra, mientras que la accin nula
es potencia mnima de lo uno: un objeto (una letra) genera, como
su propia inercia, como su pura e ineficaz identidad respecto de s
misma, el hecho de ser un punto en el que se detienen las acciones.
En el pensamiento categorial, esta figura de la identidad, aunque
necesaria, no es esencial. Y ello porque no es ms que la identidad
de inercia, mientras que la especificacin activa de la identidad es
evidentemente el objetivo de toda investigacin lgica: bajo qu
condiciones relacinales, bajo qu acciones (o morfismos) efectivos,
puede declararse que dos objetos son en realidad el mismo? El
mismo, se entiende, para el pensamiento categorial, en el que toda
identidad es en ltimo trmino extrnseca. Digmoslo as: el mismo para un pensamiento que habita un universo categorial posible, para el habitante de una categora, que no conoce ms que unas
relaciones orientadas entre objetos indeterminados.
El concepto clave es entonces el de isomorfismo. Dos objetos sern categorialmente indiscernibles, pese a ser ontolgicamente
(es decir: literalmente) distintos, si existe, entre el uno y el otro, un
morfismo (una flecha) que sea un isomorfismo.
Qu es un isomorfismo? Es una flecha reversible, en el siguiente sentido: pongamos que esta flecha, digamos z, opera de a hacia b.
Existe entonces una flecha, digamos que opera de b hacia a (en
sentido opuesto al de i), y que, integrada con i , da una accin nula
(una flecha idntica). Tenemos por tanto:
i o j = Id(a), y: j o i = Id(b).
La existencia del par
entre ay b autoriza a decir que a y b son objetos isomorfos, que son (categorial o lgicamente) idnticos.
N o es completamente evidente que esta posibilidad de inversin
anuladora identifique a los objetos literalmente distintos a y b.
146
a + (b + c) = (a + b) + c
se escribir ahora:
f o (g o h) = (f o g) o h.
El elemento neutro es la flecha idntica del nico objeto G, es decir,
Id(G). En efecto, para toda flecha de la categora G, tenemos/o Id(G)
Por ltimo, como todas las flechas son isomorfismos, cada una
posee una flecha inversa, digamos / ' , tal que / o /' = Id(G). Cosa
que, dado que Jd(G) desempea el papel del elemento neutro, garantiza la tercera propiedad estructural de una operacin de grupo.
Podemos pues reconocer, en toda categora G que tenga un solo
objeto y cuyas flechas sean todas isomorfismos, un grupo cuyos
elementos son las flechas, cuya operacin es la integracin de las
flechas, cuyo elemento neutro es la flecha idntica a G, y en el que
el opuesto de un elemento es la flecha inversa, que determina a la
primera como isomorfismo.
Sin embargo, este reconocimiento, que es en s mismo una especie de isomorfia salvaje entre el concepto algebraico de grupo y un
cierto tipo de universo categorial posible, no es lo que resulta ms
interesante.
Lo interesante es esto: la definicin categorial de un grupo G hace
que aparezca como el conjunto de las maneras diferentes cuyo objeto-letra G es idntico a s mismo.
Hemos visto en efecto que, en el pensamiento categorial, la identidad es fundamentalmente la isomorfia. Dado que todas las flechas
de un grupo G son isomorfismos, cada una de estas flechas inscribe
una identidad de G respecto de l mismo. Dos flechas diferentes representan as la diferencia de dos identidades respecto de s mismas.
Esto equivale a afirmar que el verdadero sentido de un grupo
consiste en fijar la pluralidad de lo idntico. Esta vez mantenemos el
principio, para el pensamiento, de la ubicuidad de este concepto.
Entre las diferentes maneras de ser idntico a s mismo, se encuentra desde luego la identidad inerte, la accin nula Id(G). Sin embargo, lo que indica el grupo es que esa identidad no es ms que el grado
cero de la identidad, su figura inmvil, su reposo. Las otras flechas
147
a) L o uno inaugural nunca es ms que el punto vaco de una letra, G, desprovista de toda interioridad.
b) Esta letra est afectada por una identidad de inercia, inactiva,
puro punto en el que se detiene toda accin inmanente, Id(G), relacin consigo misma que hace que la literalidad sea vaca.
c) Hay pluralidad en los modos de identidad consigo mismo, ya
que cada modo est fijado por una accin de s mismo hacia s mismo, un isomorfismo que informa activamente sobre la identidad, una flecha/de G hacia G que efecta la identidad de manera
singular. De este modo, lo Mismo queda siempre cogido en el trabajo de lo O t r o : esta forma de ser idntico es diferente de una o de
varias otras.
d) Cada modo de la identidad est emparejado con otro modo
singular, que es su opuesto, su simtrico, su imagen. La integracin
del par vuelve a dar la identidad de inercia: emparejada a su imagen,
una identidad se vuelve inmediatamente ineficaz.
Llega entonces el momento de decir que el grupo hace de materna
para una forma de pensar el sujeto. Es formalmente adecuado respecto a lo que Freud, y posteriormente Lacan, intentaron inscribir como
su huidiza identidad.
A l principio, en efecto, no hay ms que una letra, si se mantiene
que un nombre propio posee, en la economa subjetiva, la posicin
de un significante-letra. El nombre propio como tal est vaco, no
dice nada. El sujeto se presenta ms bien como el trenzado de figuras activas de su identidad. Son las articulaciones significantes en las
que se presenta el deseo, informaciones diferenciadas de la letra inicial, en las que el mismo-sujeto ek-siste en la pluralidad-otra de sus
identificaciones. La cura analtica es como el despliegue de los mechones de la trenza, la posibilidad de considerar, no la identidad de
inercia -que no es ms que el ndice nulo del nombre propio-, sino
la alteridad del mismo, la flechera plural y enmaraada de los isomorfismos inmanentes. En ltimo trmino, es aquello que, siguiendo el sealamiento de Empdocles, Freud piensa como antinomia de
las pulsiones de vida y de muerte, aquello que trenza cada mecha en
el rgimen de lo doble y de la imagen. N o existe un solo encadenamiento de deseo que no se vea asediado de manera especular por
una imagen mortfera. Este emparejamiento de lo real y de lo imaginario hace que en lo simblico se site lo que Lacan denomina su
149
151
14
El ser y el aparecer
Volvamos sobre esta observacin, que es de una banalidad que aflige: la lgica es hoy en da una disciplina matemtica, que ha alcanzado en menos de un siglo una complejidad densa que no desmerece en nada a la de cualquier otra regin viva de esta ciencia. Existen
teoremas lgicos, en especial en la teora de los modelos, cuya muy
ardua demostracin sintetiza los mtodos que proceden de mbitos
aparentemente alejados de la disciplina, de la topologa o del lgebra
trascendental, y cuya potencia y novedad asombran.
Pero lo ms asombroso es, para el filsofo, el escaso asombro que
suscita este estado de cosas. Para Hegel an resultaba completamente natural llamar Lgica a aquello que, evidentemente, es un amplio
tratado de filosofa. La primera categora de este tratado es el ser, el
ser en tanto que ser. Y contiene adems un largo desarrollo destinado a establecer que, en lo que concierne al concepto de infinito, la
matemtica no es ms que el estadio inmediato de su presentacin,
y debe ser relevada por el movimiento de la dialctica especulativa.
Hegel an considera que slo esta dialctica merece plenamente el
nombre de lgica.
El hecho de que la matematizacin haya salido finalmente victoriosa, por lo que se refiere a la identidad de la lgica, sigue siendo un
desafo lanzado a la filosofa, la cual, histricamente, ha establecido
el concepto de la lgica y desplegado sus formas.
m
intuicin temporal en la gnesis de los objetos aritmticos, y la forma de la intuicin espacial en la de los objetos geomtricos, no puede en modo alguno considerarse como una disciplina formal. Por
esta razn, si ios juicios lgicos siguen siendo analticos, los juicios
matemticos, incluidos los ms simples, son sintticos. Tambin se
observar que el atributo de inmutabilidad de la lgica desde su
fundacin aristotlica, inmutabilidad que Kant vincula a su carcter
formal, recubre un doble error, un error de historia y de previsin.
Error histrico porque Kant no tiene en cuenta en absoluto la complejidad de la historia de a lgica, que desde los antiguos griegos
impide que se le suponga la unidad y la fijeza que Kant le concede.
En particular, Kant borra enteramente la diferencia fundamental de
orientacin entre la lgica predicativa de Aristteles y la lgica proposicional de los estoicos, diferencia de la que Claude Imbert an ha
logrado sacar, en poca muy reciente, importantes consecuencias.
Error de previsin, puesto que est claro que, una vez asegurada su
matematizacin, la lgica no ha cesado de dar, justamente, y es uno
de los esfuerzos ms sobresalientes del pensamiento de nuestro siglo, gigantescos pasos adelante.
Es absolutamente singular, por cierto, que la tesis de Kant, destinada a destacar a un tiempo los mritos de la lgica y su limitacin
a las simples formas generales de un pensamiento cualquiera, sea
exactamente la misma que la de Heidegger, destinada sin embargo a
otra cosa completamente distinta, es decir, al control de un olvido
del ser que produce, como uno de sus efectos principales, la autonoma formal de la lgica. Sabemos que, para Heidegger, la lgica,
producto de una disensin entre la (pvoig y el Xyog, es la supremaca potencialmente nihilista de un Xyoq cuyo ser se ha retirado. Sin
embargo, para llegar a esta determinacin histrica de la lgica, qu
nos dice Heidegger respecto de sus caractersticas evidentes? Sencillamente, nos dice que la lgica es la teora de las formas de lo que
es pensado, de lo que infiere, exactamente igual que Kant, que desde sus comienzos ensea la misma cosa. El formalismo y la inmutabilidad parecen estar vinculados y convenir simultneamente a una
visin de la lgica que la confina, ya, como en el caso de Kant, en lo
que se mantiene de este lado del reparto entre lo emprico y lo trascendental, ya, como en el caso de Heidegger, en el objetivo tcnico
de un apresamiento nihilista del ente en su totalidad.
155
En definitiva, resulta difcil considerar seguro que la matematizacin de la lgica sea la consecuencia de su carcter formal, pues, o
bien esta tesis topa con el hecho de que la matematizacin ha dado
a la lgica un impulso impetuoso que contradice la inmutabilidad
que su carcter formal parece imponer; o bien esta tesis supone que
a matemtica es ella misma puramente formal, lo que entonces exige que preguntemos qu es lo que la distingue de la lgica. Ahora
bien, en nuestro siglo, el proyecto Iogicista, que efectivamente quiere reducir la matemtica a la lgica, se ha estrellado, a partir de la
obra fundamental de Frege, contra una serie de paradojas y de atolladeros. De modo que, pese a encontrarse enteramente matematizada, la propia lgica parece prescribir que de ningn modo se pueda recluir en ella el cuerpo total de la matemtica.
Nos vemos pues reconducidos a nuestra pregunta en tanto pregunta. Q u significa, para el pensamiento, que la lgica sea hoy
identificable como lgica matemtica? Debemos asombrarnos de
este sintagma establecido. Debemos preguntar: qu es pues la lgica, y qu es la matemtica, para que sea posible, e incluso necesario,
hablar de lgica matemtica? M i conviccin, que el lector ha visto
operar desde el comienzo de este tratado, es que resulta imposible
construir una respuesta para esta pregunta sin pasar por un tercer
trmino, presente desde el principio, pero cuya ausencia ha de venir
organizada por el sintagma lgica matemtica. Este tercer trmino es la ontologa, la ciencia del ser en tanto que ser.
En todo caso, no hay duda de que este tercer trmino es el que
autoriza a Aristteles, fundador de lo que para Kant y Heidegger se
entiende con la palabra lgica, a interrogar la necesidad formal de
los primeros principios de todo discurso que pretenda tener consistencia. El hecho de que pensar el ser, el ser en tanto que ser, exija que
se determine lo que son los axiomas del pensamiento en general,
constituye la tesis central de Aristteles en el libro T de la Metafsica. La cito segn la bella traduccin comentada de Barbara Cassin y
Michel Narcy, tal como l la enuncia: Al que hace una teora de la
esencia primera le incumbir tambin el examen de los axiomas.
Por esta razn, el anuncio inicial, segn el cual existe una ciencia del
ente en tanto que ente, se encuentra como recorrido, antes que realizado, por una larga legitimacin del principio de no contradiccin
(Es imposible que lo mismo pertenezca y no pertenezca simult156
Todas, en particular, restauran la pertinencia, tratndose de las matemticas, de la categora de verdad, la cual es necesariamente mediadora entre el acto del pensamiento y el acto del ser. Esta restauracin
del tema de la verdad matemtica se opone a la conviccin relativista y esttica de Aristteles, para quien la desontologizacin de las
matemticas acaba sustituyendo lo verdadero por lo bello.
Se podra decir: cualquiera que piense que la matemtica pertenece al orden de la ficcin rigurosa, a una ficcin de tipo, por ejemplo, lingstico, la convierte en una esttica del pensamiento puro,
que es un pensamiento aristotlico. Cualquiera que piense que la
matemtica concierne al ser es un platnico. Por esto, la oposicin
Platn/Aristteles ha sido uno de los grandes motivos de este libro.
Se observar que el lugar de la lgica no podra ser el mismo en
cada una de las dos opciones. Q u es lo que, para un aristotlico,
determina la fuerza de la lgica, incluso respecto a a matemtica? El
hecho de que, siendo puramente formal y absolutamente universal,
no suponiendo ninguna determinacin ontolgica, hallndose vinculada a la consistencia del discurso en general, la lgica sea la norma
obligada del paso del equvoco del ser a la unidad hacia la cual ste
apunta. N o obstante, estas caractersticas, para un platnico, son
debilidades, pues, para l, la matemtica piensa idealidades cuyo estatuto de ser es innegable, mientras que la lgica pura permanece
vaca. Para ensalzar la lgica, hara falta que se matematizara lo suficiente como para compartir con la matemtica la dignidad ontolgica que el platnico reconoce a las p,a&rpiaXLK. Mientras que, por
el contrario, para el aristotlico, la dimensin puramente formal de
la lgica es justamente lo que le evita quedar atrapada en el espejismo esttico de las pad-rjpiauK, de esos casi-objetos inexistentes. La
circunstancia de estar compuesta por principios y de poseer una naturaleza lingstica y no objetiva es lo que fundamenta en la lgica
el inters discursivo que siente hacia la propia ontologa.
Digamos que el nudo platnico es una promocin ontolgica de
la matemtica que destituye a la lgica, mientras que el nudo aristotlico es una prescripcin ontolgica de la lgica que destituye a la
matemtica.
Se podr decir entonces que la posicin que me dispongo a sostener es, para hablar como lo haca Robespierre al estigmatizar a las
facciones, simultneamente ultraplatnica y citraplatnica.
159
Es ultraplatnica en cuanto que, si llevamos al extremo el reconocimiento de la dignidad ontolgica de las matemticas, afirmaremos una vez ms que la ontologa no es otra cosa que la propia
matemtica. Lo que puede decirse racionalmente del ser en tanto
que ser, del ser desprovisto de cualquier otra cualidad o predicado que
no sea el del nico hecho de hallarse expuesto al pensamiento como
ente, se dice, o ms bien se escribe, como matemtica pura. Y la historia efectiva de la ontologa coincide exactamente con la historia de
la matemtica.
Sin embargo, nuestra posicin ser citraplatnica, en cuanto que
no tendremos que asumir la destitucin de la lgica. En efecto, vamos a ver que al suponer la identidad radical de la ontologa y de la
matemtica podemos identificar la lgica de otro modo, es decir, de
forma distinta a la de una disciplina formal que somete a reglas el
uso del discurso consistente. Podemos arrancar la lgica a su estatuto gramatical, separarla de lo que hoy se llama el giro lingstico
de la filosofa contempornea.
Este giro, hay que decirlo, es esencialmente antiplatnico. Para
el Scrates del Cratilo, la mxima consiste en que nosotros, los f i lsofos, partimos de las cosas, y no de las palabras. Cosa que, por lo
dems, podra decirse como sigue: que partimos de las matemticas, y no de la lgica formal. Que nadie entre aqu sin ser gemetra.
Abandonar el giro lingstico, que a fin de cuentas no asegura ms
que la tirana de la filosofa anglosajona del lenguaje ordinario, equivale exactamente a suponer que de lo que se trata, en el pensamiento matemtico, o en la matemtica como pensamiento, es de lo real,
y no de las palabras.
Durante mucho tiempo he credo que el hecho de relevar de este
modo al platonismo implicaba la destitucin de la lgica formal como
va real de acceso a los lenguajes racionales. Razn por la cual, cosa
muy francesa, me inscriba en la sospecha de que a los ojos de Poincar o de Brunschvicg resultaba sorprendente lo que ellos denominaban la logstica. Slo a costa de un largo y rido trabajo con las
formulaciones ms recientes de la lgica, y con la aprehensin de sus
correlaciones matemticas, trabajo apenas concluido, y del que no
he dado hasta el momento ms que un perfil, o un programa, he logrado comprender esto: si se la ilumina con el hecho de que la matemtica es la ciencia del ser en tanto que ser, y si se la emplea, no
160
y que, por consiguiente, las propiedades del ente en tanto que ente
se demuestran, significa que hay que entenderlo en el sentido fuerte: es una propiedad esencial del ente en tanto que ente el hecho de
que no pueda existir un todo de los entes, dado que se los piensa nicamente a partir de su carcter de entes.
Una consecuencia crucial de esta propiedad es la de que toda i n vestigacin ontolgica sea irremediablemente local. En efecto, no
puede existir ninguna demostracin o intuicin que se refiera al ser
en tanto que totalidad de los entes, ni siquiera existe alguna que se
refiera al ser en tanto que lugar general en el que se disponen los entes. Y esta imposibilidad no es solamente una inaccesibilidad de hecho, o un lmite que trascienda las capacidades de la razn. A l contrario, es la propia razn la que determina la imposibilidad del todo
como una propiedad intrnseca de la entidad-mltiple del ente.
Digmoslo de una manera sencilla: una determinacin en el pensamiento de lo que se puede decir racionalmente del ente en tanto que
ente, y por consiguiente, de lo mltiple puro, siempre asume como
lugar de esa determinacin, no el todo del ser, sino un ente particular, incluso en el caso de que se manifestara a escala de un infinito de
infinitos.
El ser slo se expone al pensamiento como emplazamiento local
de su despliegue no totalizable.
Pero esta localizacin del emplazamiento del pensamiento ontolgico, que, en mi obra L'tre et Vvnement, llamo una situacin, afecta al ser, dado que en tanto que mltiple puro no contiene,
en su ser, nada con lo que dar razn de los lmites del emplazamiento en
el que se expone. E l ente, en tanto que ente, es mltiple, mltiple
puro, mltiple sin-uno, o mltiple de mltiples. Comparte esa
determinacin con todos los dems entes. Pero todos los dems
entes, es algo que no existe, algo que no tiene ser. De aqu se deduce que, por mucho que se d esta determinacin, slo se da en un
emplazamiento, o en una situacin, la cual a su vez, pensada en su
ser en tanto que ser, es un ente-mltiple. Esta situacin no es la de
la generalidad ontolgica del ente, la cual sera el todo inexistente
de los entes que comparten la determinacin de su ser como multiplicidad pura. El ente slo puede hacer valer su entidad en un emplazamiento cuyo carcter local no pueda inferirse de esa entidad
como tal.
162
169
Libros publicados
Obras
filosficas
Ensayos polticos
Thorie de la contradiction, Pars, Maspero, 1975; trad. castellana:
Teora dla contradiccin, Gijn, Jcar, 1982.
De Vidologie (en colaboracin con F. Balms), Pars, Maspero,
1976.
Le noyau rationnel de ta dialectique hglienne (en colaboracin
con L . Mossot y J. Bellassen), Pars, Maspero, 1977.
D'un desastre obscur, Pars, ditions de l'Aube, 1991.
Ensayos crticos
Rhapsodie pour le thtre, Pars, Imprimerie Nationale, 1990; trad.
castellana: Rapsodia por el teatro, Mlaga, Agora, 1993.
Beckett. L'increvable dsir, Pars, Hachette, 1995.
Literatura y teatro
Almagestes. Prosa, Pars, Seuil, 1964.
Portulans. Novela, Pars, Seuil, 1967.
L'Ecbarpe rouge, Novela-pera, Pars, Maspero, 1979.
Ahmed le subtil. Farsa, Aix-en-Provence, Actes Sud, 1994.
Ahmedphilosopbe suivi de Ahmed se fche. Teatro, Aix-en-Provence, Actes Sud, 1995.
Les citrouilles. Comedia, Ax-en-Provence, Actes Sud, 1996.
Calme Bloc ici-bas. Novela, Pars, POL., 1997.
172
173