14.

Ser-ah: la ontologa del aparecer

Veremos aqu brevemente un tema interesante y desafiante, los ltimos trabajos de Badiou, que prometen renovar -si no transformar- varios de sus conceptos fundamentales. Esta renovacin podra llevar a un cambio tan considerable como el que distingue (sin separar) su texto "el ser y el acontecimiento" de su otro texto "teora del sujeto". Todo lo que implica esta revisin no ha sido an incorporado ntegramente en el orden sistemtico de su filosofa, en tanto un todo-filosfico. Aunque Badiou haya publicado ya mucho de lo aqu citado, todo este material sigue siendo bastante especulativo o prospectivo, y debe ser tratado como tal. Quizs el desarrollo general ms destacable entre los acometidos sea un cierto deslizamiento desde su enfoque disyuntivo anterior, organizado esencialmente alrededor de la dicotoma de o-o, hacia una posicin ms inclusiva, en trminos de y-y. Donde antes Badiou enfticamente opona la ontologa sustractiva del puro ser en tanto ser contra las concepciones ms continuas o construccionistas (vase, Leibniz-BergsonDeleuze, por decirlo brevemente), los dos enfoques son ahora vistos como distintos pero compatibles, o incluso como ngulos de visin complementarios. Ahora el ser abstracto no-relacional est imbuido de una dimensin ontolgica situada ms relacional: la dimensin de su aparecer o ser-ah. Como escribe Badiou: "el ser es esencialmente serah (Dasein)," y "ser ah es slo concebible en trminos de relacin" ya que todo "ah" es el producto de un conjunto particular de relaciones diferenciales que hacen que una situacin se muestre de una determinada forma.1 Existe entonces no tanto una rgida eleccin entre disyuncin y relacin, entre dliaison y liaison, como un reconocimiento de la paradoja aparente de que "el ser es mltiple, en disyuncin radical [dliaison] y al mismo tiempo todo est en relacin" (TA, 6.11.96). Badiou ha incorporado, hasta cierto punto al menos, la alternativa relacional que su filosofa hasta ahora haba siempre pretendido excluir. En una carta de 1996, Badiou plante los "cuatro problemas" que tratara en el segundo volumen de "el ser y el acontecimiento", an por aparecer.2 (1) Incluir "un fundamento aceptable para el lenguaje de la situacin, y por tanto para el conocimiento, por el cual, considerado como una categora lgica, "cada trmino de la situacin puede ser percibido (identificado) slo mediante la red 'lgica' (en cierto sentido no-existente) de sus relaciones con otros." (2) Consolidar la "teora del sitio acontecimiental, en su papel tanto como 'material' del acontecimiento y como origen lgico del procedimiento de verdad... La cualidad arbitraria (azarosa) de la trayectoria del sujeto est limitada por el poder 'atractivo' del sitio. Ni se parte de cualquier sitio ni hacia cualquier direccin anterior." (3) Reconsiderar la "relacin 'en torsion' entre una verdad y el conocimiento que es desalojado [... por medio de la cual] el conocimiento es propia y exclusivamente el material de una verdad. No en el sentido, como t sugieres, de una 'compactificacin' en un punto, sino en el de un repliegue atento y complejo de las relaciones lgicas constitutivas del conocimiento, un repliegue que establece, paso por paso, el subconjunto genrico." Y (4) reconsiderar "lo innombrable como la nica instancia del Uno, pero no como lo "rel' del procedimiento. Pertenecer lo innombrable por tanto ms bien al aspecto simblico del procedimiento, simbolizacin que posiciona al procedimiento 'fuera del Todo' [hors-Tout]. Pero es un asunto bastante complicado!" En este captulo presentar el desarrollo del primer punto, el nico de los cuatro que ya ha recibido bastante atencin en las publicaciones. Como dijo Badiou en una entrevista 1

reciente, "el trabajo de recomposicin en el que me veo inmerso consiste por el momento en dar tanto cierta legitimidad como una mayor consistencia a la doble cuestin del lenguaje de la situacin y la existencia de los conocimientos. Esto me llev a repensar el concepto ms bsico de mi pensamiento, que es precisamente la nocin de 'situacin'."3 Por tentativos que sean, sus comentarios merecen ser citados en cierta extensin: En realidad, en "el ser y el acontecimiento" el concepto de situacin se redujo al puro mltiple al cual se adhiere, suavemente desde fuera, el lenguaje de la situacin y sus predicados. Desde el estudio de lo que determina la particularidad de una situacin, espero mostrar que necesariamente existe en cada situacin un universo predicativo que llamar su ser-ah [tre-l]. Intentar distinguir el ser de la situacin, que se refiere a su ontologa, de su ser-ah, esto es, el que sea necesario que cada situacin no sea simplemente un ser, sino, coextensivamente, un aparecer [apparatre]. Es una doctrina del aparecer, pero de un aparecer no-fenomenolgico. No es una cuestin de un aparecer para un sujeto, sino un aparecer en tanto tal, como localizacin. Es una localizacin que no se refiere a cualquier espacio o geografa particulares, sino ms bien a una localizacin intrnseca. Es una propiedad ontolgica suplementaria, a sumar a la de multiplicidad pura. En otras palabras, voy a tratar el problema de la distincin entre una situacin posible y una efectiva, entre situacin posible y real, ya que la ontologa no cubre esta cuestin. Por tanto el aparecer, la efectividad de una situacin, no se puede deducir de su configuracin de la multiplicidad. No hay transitividad entre lo uno y lo otro. En este punto tendremos que preguntarnos sobre las leyes del aparecer. Pienso que podemos mantener la idea de que las matemticas todava explican algo de lo que ocurre, de que no estamos absolutamente obligados a retirar este asunto de las matemticas. Digamos de forma sencilla que necesitaremos una forma ligeramente nueva de matematicidad, una que requiera cierta teora mnima de la relacin, una lgica. Llamo "lgica" a una teora de la relacin como relacin, entre elementos, entre partes, etc. Mantendr que el ser en tanto ser, lo que est bajo la relacin entre ser y serah, es una multiplicidad pura. Pero mostrar cmo esta multiplicidad pura est siempre conectada a, distorsionada por, o recreada mediante un universo de relaciones que definir como la lgica peculiar de la situacin, y no meramente su ser dispuesto en su multiplicidad, o su red de pertenencias.4 La inspiracin metodolgica principal de la lgica de la relacin propia de Badiou viene provista por una rama de las matemticas llamada teora de las categoras: "la lgica del aparecer, una vez que se dispone hacia la dialctica de las relaciones, requiere el uso de las categoras matemticas, precisamente del mismo modo en que la ontologa pura no se deja pensar sino con la teora matemtica de conjuntos" (EL, 98). En lo que sigue revisar lo que Badiou plantea como las intuiciones principales de esta teora, tras considerar algunas de las ms generales apreciaciones que podemos asociar a una lgica verdaderamente matematizada, lo que ser la base para cualquier teora general del aparecer y la relacin. Ser y aparecer: volviendo a trabajar el concepto de situacin Sabemos ya que la ontologa de Badiou presupone la eliminacin de cualquier Uno o totalidad primordiales. No hay un conjunto de todos los conjuntos que pudiera estudiarse de pleno derecho. As que, incluso si apostamos por una matemtica unvoca

como el discurso matemtico nico, deberamos darnos cuenta de que cualquier "investigacin ontolgica particular es irremediablemente local" (CT, 190). No podemos estudiar el ser en general, en su totalidad; podemos estudiar slo localizaciones particulares o situaciones del ser. Esto es por lo que todo ser es esencialmente ser ah, y tambin por lo que la ontologa es en s misma una situacin. O de nuevo:lo que puede ser pensado consistentemente sobre el ser es lo que aparece al pensamiento en una situacin particular. Se sigue dando el caso, como Badiou insiste, de que "un ser qua ser [l'tant en tant qu'tant] est en s mismo absolutamente no relacionado. Esta es una caracterstica fundamental del mltiple puro pensado en el marco de una teora de conjuntos. Slo hay multiplicidades, nada ms. Ninguna de ellas est por s misma ligada a ninguna otra. En una teora de conjuntos, incluso las funciones deben ser pensadas como puras multiplicidades, que es por lo que las identificamos mediante su grafo... lo cual excluye que exista -estrictamente hablando- un ser de la relacin. El ser, pensado como tal, de una manera puramente general, est sustrado a toda relacin" (CT, 192). Lo que Badiou llama "el mundo de las apariencias" o fenmenos, en contraste, "es siempre algo dado slidamente, relacionado [li], consistente. Es un mundo de la relacin y la cohesin, en el que tenemos nuestros puntos de referencia y nuestros hbitos, un mundo en el que el ser est en suma cautivo del ser ah."5 (A travs de la obra actual de Badiou, "el aparecer" parece obedecer reglas cuasi-kantianas de inteligibilidad, compatibilidad y coherencia.) La meta es ahora poder entender "cmo es posible que cualquier situacin del ser sea tanto pura multiplicidad en el borde de la inconsistencia como intrnseca y slida relacin de su aparecer" (CT, 200). Mientras que el puro ser del ser es inconsistente -y as salvajemente anrquico, desordenado, libre...- el aparecer del ser es por s mismo un cierto ordenamiento del ser (LM, cap. 1, p. 2). Podemos decir que el deslizamiento de la atencin de Badiou del ser del ser al aparecer del ser ya implica un deslizamiento en las prioridades que supone acercarlo ms que antes a Deleuze: desde ahora, la ltima referencia a la inconsistencia ontolgica o "caos" siempre estar mediada por la exploracin de los estratos nticos precisos o la "complejidad", en aproximadamente el mismo sentido que divulga la teora de la complejidad. Qu quiere decir exactamente Badiou con "aparecer"? Propone llamar al "aparecer de un ser [apparatre] lo que de un ser [tant] est conectado con la restriccin de una exposicin local o situada de su ser mltiple [tre-multiple]," esto es, su "ser-ah [trel]." El aparecer no aparece aqu ni como en el sentido de la fenomenologa de Heidegger ni como una funcin del tiempo, el espacio o el sujeto constituyente. Aparece como una "determinacin intrnseca del ser" (CT, 191-192), una consecuencia directa de la imposibilidad de toda totalizacin (o conjunto toti-inclusivo) del ser. En la ausencia de cualquier tipo de Todo, "el aparecer es lo que liga o religa un ser a su sitio. La esencia del aparecer es la relacin". 6 Aunque es una determinacin intrnseca del ser que est ah (que aparece), no obstante no es exactamente el puro ser en tanto ser lo que aparece: lo que aparece del puro ser es una cualidad particular del ser, digamos la existencia. Gracias a la ecuacin de la ontologa y la teora de conjuntos, el puro ser en tanto ser es esencialmente una cuestin de cantidad y de determinacin unvoca: algo es o no es (sin grados intermedios). La existencia, por el contrario, es precisamente una "cualidad" del ser, una cuestin de intensidad y grado. Algo es lo que pertenece a la situacin, pero existe (en esa situacin) siempre ms o menos, dependiendo de cmo de clara o brillantemente aparezca en dicha

situacin (EL, 3-5). Podemos decir, por ejemplo, y muy crudamente, que mientras una gran cantidad de cosas pertenenece a la situacin americana, [se refiere a la norteamericana de los EEUU. Nota del traductor] tal situacin est organizada de tal modo que ciertas cosas ms "caractersticas" (discurso libre, pioneros, propiedad privada, bisbol, freeways, fast food, mobile homes, self-made men, etc.) aparecen o existen ms intensamente que otras sospechosamente "no-americanas" (inmigrantes no asimilados, socialistas, oponentes de la NRA (National Rifle Association), etc.). El cmo algo aparece no se puede deducir de su perfil ontolgico. Badiou, como Sartre y Lacan antes que l, siempre est determinado a separar cualquier anlisis de cmo nos comportamos de las presunciones sobre lo que somos: nuestra naturaleza, identidad, races, etc. (LM, cap. 1, p. 19; LM, cap. 2, p. 21). Para tomar el caso ms obvio: aunque los nmeros usados en las pginas de este libro para identificarlas sean ontolgicamente los mismos que aquellos que se usan para distinguir los precios en un supermercado o para los resultados de un partido de ftbol, aparecen de forma diferente en cada situacin (cf. LM, cap. 1, pp. 15-16). El cmo aparecemos en una situacin dada cualquiera est determinado mediante procesos de ordenamiento y organizacin internos a dicha situacin. Lo que Badiou llama le trascendental (una frase que aqu traducir como "el rgimen trascendental") de una situacin es la parte relativa al estado [state-like] de la situacin que mide los grados de auto-identidad que distinguen las existencias particulares. Es el rgimen trascendental de una situacin lo que determina el grado en el cual las cosas pertenecen a esa situacin, la intensidad de su aparecer en l (en nuestra situacin americana, el grado en el que las cosas son bendecidas con la veneracin patritica y la aprobacin cultural). Al contrario de la concepcin kantiana idealista de lo trascendental (atribuida a lo estructural, a una operacin a priori del sujeto), el rgimen trascendental de Badiou es por completo una funcin del mundo objetivo que gobierna y en el que est por s mismo includo; es una parte de la esfera ocupada, en oposicin simtrica a la esfera de la verdad, por un "objeto sin sujeto" (LM, cap. 2, p. 3). Una gran parte de las enseanzas recientes de Badiou ha sido empleada para lo que l llama las "matemticas del trascendental". Este no es el lugar apropiado para arriesgar un resumen apropiado de estas nuevas enseanzas, ya que estn parcialmente incompletas y son muy tcnicas (y, al menos en la visin de quien escribe, se trata de algo mucho ms rocoso que la teora de conjuntos como para acometer una explicacin analgica simplificada7). No obstante, podemos mencionar ya sin problemas dos o tres desarrollos principales sobre esta materia. El ncleo conceptual de todo la comprensin de Badiou relativa a la dimensin trascendental de una situacin viene dado por un anlisis de la relacin matemtica de orden (opuesta a la de equivalencia). Orden es lo que relaciona cantidades pequeas con otras ms grandes. A diferencia de la relacin de equivalencia, es obviamente no simtrica (p < q p > q), y Badiou entiende esto como la expresin lgica ms primitiva de la diferencia comparativa, la "autntica primera inscripcin de una exhortacin [exigence] del Otro" (EL, 9-10). Lo que hace un rgimen trascendental es esencialmente ordenar los elementos diversos de su situacin en trminos de su intensidad existencial. Esos grados de intensidad (la brillantez de su aparecer) estn a su vez determinados por un conjunto de "funciones de identidad", escritas Id(A) para cada elemento A. Esas funciones miden primero el grado de auto-identidad de cualquier elemento A, en un rango que se encuentra entre el mximo de intensidad (mediante el cual la existencia de A aparece absolutamente cierta) y un grado de mnima intensidad (tal que A aparece como no existente). Mediante la comparacin de esos grados de

identidad con las funciones de identidad, se puede consiguientemente medir el grado de identidad entre dos elementos, a travs de los grados de semejanza: que van desde "exactamente el mismo" hasta "enteramente diferente" (EL, 59). La idea bsica es la de que "a mayor existencia fenomenolgica de A en la situacin, ms vigorosamente afirmar su identidad en la situacin" (EL, 60). El rgimen trascendental de una situacin puede entonces ser definido como un conjunto que est al menos parcialmente ordenado (i.e., muchos de sus elementos pueden ser relacionados en trminos de > y <); que contiene un mximo y un mnimo grados de intensidad reconocibles; que, dado un elemento A, se puede medir el "opuesto" [l'envers] de tal elemento; que, dados dos elementos A y B, puede describir el mltiple que esos elementos tienen en comn (el "elemento inferior ms grande" que comparten) as como el mltiple "global" que sea el justamente preciso como para poder englobar a ambos; etc.8 La teora permite tambin la descomposicin de cada elemento de aparecer, u "objeto", en partes no descomponibles, o "tomos", cada una de las cuales aparecer a su vez de una manera ms o menos intensa (i.e., pertenece ms o menos significativamente a su objeto). En este nivel atmico, o literalmente elemental, los grados de existencia o aparecer estn directamente determinados por el ser puramente ontolgico: el aparecer relativo de un tomo "expresa" efectivamente el ser del elemento particular (perteneciendo a la situacin) al cual corresponda. Esto es lo que Badiou llama "primer principio del materialismo."9 En el nivel atmico, entonces, sigue dndose el caso de que contra cualquier apuesta Deleuziano-Bergsoniana en lo virtual, "todo objeto, y as todo aparecer, est determinado por su composin ontolgica [actual]" (EL, 65). Es este nivel atmico el que por otra parte nos da la base para una "conexin entre la lgica del aparecer y las matemticas del ser" (EL, 79). Esta conexin adems permite, hablando muy aproximadamente, un anlisis de la "compatibilidad" de los diversos objetos que aparecen en la situacin, as como su "localizacin" y "descomposicin" atmica -todo lo cual permite una descripcin de lo que "ocurre a un mltiple en tanto que est objetivado en una situacin," y no simple en tanto que es (El, 70). En "Logiques des mondes" Badiou da el ejemplo de una manifestacin poltica en la que varios agrupamientos de elementos (empresas, partidos polticos, anarquistas, licenciados, transentes, etc.) aparecen ms o menos distintos (con poder, uniformemente, insistentemente) y ms o menos compatibles de acuerdo a los criterios que gobiernan la lgica de esta manifestacin. Cada grupo, en tanto que permanece como un grupo distinto, desplegar ciertas caractersticas irreducibles o caracteres "atmicos" que servirn para diferenciar su ser-ah (opuesto a su ser en tanto ser genrico, indiferentediferente) del de otros grupos (LM, cap. 2, pp. 6-9, 18). Pero de nuevo, algo debe ocurrir para unir a los participantes en una unanimidad excepcional, la manifestacin cesar de ser una mera compilacin de grupos aliados y se har parte de la movilizacin de un sujeto verdaderamente poltico -como sucedi, por ejemplo, a los varios grupos de actores involucrados en la revolucin francesa. Lo que esta configuracin abstracta y compleja permite es una definicin considerablemente ms apropiada de una situacin o "mundo", que ahora incluye las siguientes caractersticas onto-lgicas (EL, 96): 1. Toda situacin S est compuesta de una coleccin de mltiples (conjuntos o elementos, denotados A, B, C ...), que da el "ser estable" de la situacin. Nada nuevo aqu. 2. Cualquier situacin S incluye un mltiple particular T, el "rgimen trascendental" de

S, cuya estructura es por lo general uniforme (caracterizada por al menos un orden parcial, que va de un grado mnimo a uno mximo de intensidad, as como por el elemento-ms-grande comn a cualquier conjunto de dos elementos, etc.) pero cuya sofisticacin o rango de grados es infinitamente variable. T es lo que da cuenta del principio de estructuracin de la situacin (como distinto de su estado, o principio de representacin), un punto que qued ms o menos sin explicar en "el ser y el acontecimiento". 3. Cualquier mltiple particular A de la situacin puede "indexarse" respecto a T de acuerdo a su funcin particular de identidad o "funcin de aparecer" (Id), y el resultado de este indexamiento es lo que determina a un "objeto" A para la situacin: escrito (A, Id). 4. Cualquier tal objeto A, est a su vez integrado por unos componentes atmicos que pueden denotarse como Id(a,x), donde a es un elemento minimal de A y x es un grado de auto-identidad medible en T. Cada elemento a de un objeto A es distinguible de acuerdo a su grado de existencia en A y es tambin localizable por un elemento de T. 5. Entre dos objetos A y B existen relaciones (i.e., variaciones en la relacin de orden, o > y <), con la condicin de que esas relaciones "preserven las caractersticas esenciales de su rgimen de aparecer: localizaciones e intensidades de existencia." O de nuevo: una relacin entre dos objetos preserva la lgica atmica de esos objetos. 6. En tanto que aparecen en la situacin, los mltiples que pertenecen a ella estarn estructurados por su objetivacin "aparente" (su incorporacin en los objetos), dando arreglos de similaridad, diferencia, compatibilidad, englobamientos, orden, etc., que son preservados por las relaciones operativas en la situacin. Brevemente, una situacin puede definirse como "un universo de objetos y relaciones que hace aparecer a una coleccin de mltiples puros" (El, 96). Lo que ahora Badiou llama un "mundo" es precisamente una situacin en este sentido nuevo ramificado, esto es, considerado en trminos de su ser-ah. Un mundo es un conjunto coherente de innumerables apareceres gobernados por un rgimen trascendental infinitamente ramificado (este rgimen es lo que la teora de las categoras denotar como "objeto central" de un topos; ver ms abajo). Un mundo discreto existe en tanto mantiene juntos una cierta "configuracin de seres-mltiples que aparecen 'ah', y un cierto rango de relaciones trascendentalmente reguladas entre esos seres" (LM, cap. 3, p. 2). En el tercer captulo de Logiques des mondes Badiou desarrolla en detalle el ejemplo de Qubec como el "mundo" cuyo desarrollo histrico va desde los viajes iniciales de Cartier en los aos 1530 a travs de los referenda recientes acerca de la soberana nacional, y en los que "aparece", ms o menos intensamente, una infinita multiplicidad de cosas que incluye a viajeros, los Inuit, Neil McKenty, el poder hidroelctrico, la universidad de Laval, el sirope de manzana, el hockey sobre hielo, Saint-Saveur, etc. La diseminacin sin lmite de los elementos de sus elementos reconfirma en trminos onto-lgicos la presuncin de "el ser y el acontecimiento" de que "cada mundo es ontolgicamente infinito, y el oden de este infinito es propiamente inaccesible."10 Una lgica completamente matematizada Badiou contina diciendo que el hecho es que el ser debe aparecer en algn lado, "lo cual asegura que haya lgica...; el aparecer no es nada ms que la lgica de una situacin." La palabra "lgica", suena -desde luego- algo fuera de lugar en la filosofa de Badiou. Ciertamente, "que las matemticas sean una forma de pensamiento significa que primero de todo no son una lgica."11 Durante mucho tiempo, Badiou admite que crey que un reverso platnico del aristotelianismo requera la "destitucin de la lgica

formal" como medio privilegiado de acceso al pensamiento racional. Sin embargo l confa ahora en que la lgica puede tomarse no ya como una construccin sintctica vaca sino como un efecto de la prescripcin matemtica por s misma (CT, 188). Una lgica ser siempre particular respecto a un universo matemtico decidido, y "lgica" incorporar los principios de coherencia que operan en tal universo. La lgica describir el dominio del aparecer, dejando a las matemticas puras el dominio del ser en tanto ser. Pero as como el aparecer o la relacin es ahora percibida como una restriccin intrnseca al ser, la lgica o la "ciencia del aparecer debe en s misma ser un componente de la ciencia del ser, de las matemticas. Es necesario que la lgica sea lgica matemtica. Pero as como las matemticas aprehenden el ser en su ser, ms all de su apariencia, y por tanto en su dliaison fundamental, es tambin necesario que las matemticas no sean confundidas con la lgica" (CT, 194). (Tambin sigue ocurriendo, como se podra sospechar, que cuando algo sucede, cuando en la espera de un acontecimiento "el ser parece desplazar su configuracin bajo nuestros ojos, es siempre a expensas del aparecer, a travs del colapso local de su consistencia, y por tanto en la cancelacin [rsiliation] provisional de cualquier lgica. Ya que lo que viene entonces a la superficie, desplazando o revocando la lgica del lugar, es el ser en s, en su temible y creativa inconsistencia, o en su vaco, que es lo sin lugar de todo lugar."12) Tenemos entonces un doble imperativo. Debemos concebir a la lgica como lgica matemtica, pero sin confundir a la matemtica con la lgica, imperativo que no nos sorprende. Si Badiou est preparado para importar una teora lgica de la relacin a su ontologa, slo puede tratarse de una lgica que reconozca su subordinacin ltima a la matemtica (como opuesta a una lealtad al lenguaje o a alguna facultad del juicio vagamente definida). El problema -y por tanto la importancia del segundo imperativoes que el tipo de lgica matemtica que heredamos de los esfuerzos pioneros de Boole y Frege es una lgica que fue matematizada de forma errnea, de acuerdo a un malentendido de la propia matemtica. Tal lgica permanece, de acuerdo a lo que Badiou tematiza como la tradicin aristotlica ontolgica, una suerte de (ms formalizado) lenguaje de clarificacin que se aplica a un material confuso. Todo el esfuerzo de esta lgica matemtica, comenzando con la "ideografa de Frege, ha sido constituir lenguajes lgicos como objetividades formales [objectits]."13 El aspecto matemtico de tal lgica es as "derivado y externo" (CT, 196), y Badiou contempla toda la empresa como un simple aspecto del giro lingstico promovido en otros dominios por Heidegger, Wittgenstein y la filosofa analtica por lo general.14 "Entre Aristteles y Hegel", Badiou escribe, "la lgica fue la categora filosfica en la cual la ontologa mantuvo su poder respecto al lenguaje. La matematizacin [fregeana] de la lgica, por otra parte, autoriza el secuestro de la filosofa por el lenguaje. Y el precio pagado por este secuestro ha sido la destitucin de la ontologa en general; o bien de acuerdo a Wittgenstein las sentencias de la ontologa no tienen sentido -o, de acuerdo a Heidegger, las sentencias de la metafsica han alcanzado el momento del encerramiento nihilista" (CT, 123-24). La primera cosa que Badiou necesita hacer entonces es reconceptualizar la matematizacin de la lgica conservando sus propias prescripciones ontolgicas. Sabemos que desde una perspectiva verdaderamente platnica, la esencia de las matemticas no es meramente su claridad formal sino su capacidad de pensar y transcribir el ser en tanto ser.15

El que la lgica pueda ser entendida propiamente como matemtica requiere una concepcin de la lgica que la permita emerger del movimiento mismo de las matemticas, ms que de la aplicacin de un campo lingstico a las matemticas. As, la cuestin real es "qu acontecimiento en el pensamiento de acuerdo a la lgica permite a la filosofa evadirse del anclaje de lgica y gramtica?" La respuesta de Badiou es que es el desarrollo, comenzado en los aos 1940 por Eilenberg y Mac Lane, y continuado subsiguientemente por Grothendieck, Freyd y Lawvere, de lo que se conoce como teora de las categoras (y topos).16 Badiou escribe triunfantemente, "he sido capaz de resolver al menos parcialmente mi problema" -el problema de la relacin entre la lgica y las matemticas- "poniendo la filosofa bajo la condicin de la teora de los topos" (CT, 125). La teora de los topos establece la conclusin deseada de que "la lgica es una dimensin local de todos los universos matemticos posibles" (CT, 129): Tan pronto como la lgica se matematiza en la forma de una sintaxis o de una teora formal, su conexin con el lenguaje es primordial... La teora de las categoras propone un cambio completo de perspectiva. Mientras que la presentacin sintctica de la lgica como lenguaje formal dispone sus universos o modelos como interpretaciones semnticas, en la presentacin categorial lo que existe son Universos, de los que la lgica es una dimensin interna... La lgica ahora aparece como una constriccin inmanente englobada por las matemticas. Y sobre todo, la lgica est localizada. Es una dimensin presentada y situada de los universos cuya posibilidad se encarga de describir la matemtica. El problema de la delimitacin de las matemticas y la lgica da un giro de este modo. Esta delimitacin no puede ser decidida ms mediante criterios lingsticos que agotan su poder. Se referir a distinciones ellas mismas ontolgicas que son ms fundamentales y que conciernen a dos pares conceptuales: el de lo real y lo posible, y el de lo global y lo local. Enmarca lo que podemos llamar una geometrizacin ontolgica de la relacin entre la lgica y las matemticas (CT, 128) Lo que complica cualquier discusin sobre esta localizacin es el doble uso obvio de la palabra "lgica". Por una parte, como lgica en general, esto es, global, descriptiva de lo que se da en todo universo, y, por otra parte, como una lgica local, esto es, determinada por la orientacin de un determinado universo particular (clsico, modal, intuicionista...). La inclusin terica de las matemticas en la lgica es as preservada, en cierto sentido, pero la fuerza prctica de esta "prioridad" en cualquier localizacin dada es denegada: "si la teora de conjuntos es una decisin ontolgica, la teora de los topos es una descripcin lgica de las ontologas posibles," y as es anterior a y "ms grande" que cualquier ontologa particular.17 Pero al mismo tiempo tambin es una dimensin posible y as vaciada de toda fuerza prescriptiva real. La decisin de un universo entre otros -y aqu es donde Badiou an difiere de Leibniz- no puede ser deducida de -o calculada con- las herramientas que describen la estructura vaca de todos los posibles universos (CT, 197-8). Aunque esas herramientas permiten una descripcin de la decisin y sus consecuencias tras el hecho, cualquie decisin tal es en s misma totalmente primera o auto-fundacional. Aunque la lgica pueda englobar a las matemticas, si no fundarlas, tan pronto como comenzamos a hablar de lo real ms que de lo meramente posible hablamos desde la prioridad prctica de las matemticas sobre la lgica. (La necesaria opacidad esencial acerca de la decisin tomada queda, por tanto, intacta.) Elementos de teora de las categoras

El ms rudimentario repaso a cmo la teora de las categoras trabaja triplicara el tamao de este captulo.18 Con el espacio disponible debemos an ser capaces sin embargo de dar cierta idea de los principios bsicos envueltos y apreciar un par de sus implicaciones ms importantes. Como la teora de conjuntos, la de categoras presenta una "exposicin de la ontologa (de las matemticas) como un todo", pero desde un ngulo completamente distinto.19 La teora de las categoras y la de conjuntos ofrecen enfoques opuestos a "todas las cuestiones decisivas del pensamiento del ser (actos de pensamiento, formas de inmanencia, identidad y diferencia, marco lgico, racionalidad admisible, relacin de experiencia y existencia, infinitud, unidad o pluralidad de universos, etc.)" (T, 5). Ellas son, en pocas palabras, dos formas diferentes de condicionamiento de la filosofa. Si el primer volumen de "el ser y el acontecimiento" fue escrito bajo la nica condicin de la teora de conjuntos, el segundo ser escrito bajo la doble condicin de las dos teoras, integradas de forma adecuada como para asegurar la prioridad ontolgica a la teora de conjuntos. Mientras que la teora de conjuntos articula directamente el ser en tanto ser, la teora de categoras es "la ciencia del aparecer, la ciencia de lo que significa que toda verdad del ser sea irremediablemente una verdad local" (CT, 199). Una ontologa teorticoconjuntista declara estar antes de la relacin, mientras que en lgica categorial "la relacin precede al ser" (CT, 168). Mientras que la teora de conjuntos configura el ser en trminos de una pura multiplicidad inconsistente sin-uno, "la ontologa que prescribe la teora de categoras determina el ser como acto, relacin [rapport], movimiento" (T, 1). Mientras que la teora de conjuntos reconoce slo formas actuales de ser, la de categoras, orientada slo por las caractersticas lgicas de cualquier universo posible, ilustra "la primaca de lo virtual sobre lo actual, de la construccin sobre la decisin."20 La teora de conjuntos es rigurosamente unvoca, fundada sobre la unicidad estricta del vaco del conjunto vaco; en teora de categoras incluso el vaco es "equvoco", significando que en ciertas categoras puede haber muchos objetos sin elementos pero distintos de cero. La lgica espontnea de una ontologa teortico-conjuntista es clsica (ya que acepta el uso sin restricciones de la ley de la doble negacin), mientras que la lgica natural de las categoras es intuicionista (ya que rechaza las pruebas indirectas con la doble negacin, y debe mostrar o construir un objeto para ser capaz de decir que existe). La teora de conjuntos asiente con rigurosa fe sobre la realidad de lo que no puede ver; la de categoras por as decirlo, sigue la mxima de ver es creer. La identidad de un conjunto es extensional (o combinatoria); la identidad de una categora es intensional (o conceptual): mientras que un conjunto no es otra cosa que lo que a l le pertenece, un "objeto" en teora de categoras es un "simple punto" (i.e., una simple letra) sin un interior determinado." En trminos de Desanti, una ontologa teorticoconjuntista es "intrnseca" y una ontologa categorial "extrnseca", lo que significa que en ella la "determinacin de un objeto viene dada slo mediante las relaciones o movimiento del que este objeto es fuente o blanco."21 Si el propio Badiou puede decir que ya ha escrito una filosofa adecuada a las prescripciones de la teora de conjuntos, asociar el punto de vista filosfico de la teora de categoras a Bergson y Deleuze.22 Las herramientas ms bsicas de la teora de categoras no son complicadas; de hecho su simplicidad es lo que convierte a la teora en algo muy duro. La teora ofrece "un lenguaje altamente formalizado conformado para establecer propiedades abstractas de las estructuras."23 Son categoras particulares por ejemplo los mismos conjuntos, los

espacios topolgicos o los grupos. La teora est diseada para permitir la descripcin ms general posible de las relaciones lgicas, u operaciones, entre tales entidades o estructuras (por ejemplo, la igualacin o la negacin, su producto o suma, la exponenciacin de una por otra, etc.), y a mayor cantidad de operaciones que una categora pueda reconocer nos encontramos con un universo conceptual formalizado ms rico. Metodolgicamente, la manera en que esas estructuras estn representadas es esencialmente geomtrica24: de forma aislada las partes manejables de una categora se expresan en diagramas (a diagramas ms complejos la geometra se hace ms algebraica). Esos diagramas estn hechos de objetos, por una parte, y por otra parte de flechas o "morfismos". Las flechas son "correlaciones orientadas entre objetos; una flecha 'va' de un objeto a (su fuente o dominio) a un b (su blanco o codominio)." Por ejemplo, tales objetos pueden designar estructuras matemticas y las flechas relaciones (digamos, funciones) entre esas estructuras.25 El principio nico ms importante en teora de categoras es que todo el poder de individuacin o de accin pertenece slo a esas flechas dinmicas. En teora de categoras, un objeto no tiene "interior", y est "exclusivamente identificado por las flechas de las que sea blanco o fuente" (CT, 171). Su naturaleza est "enteramente derivada" de las operaciones que se realizan en l o de las relaciones que soporta.26 Esto implica que lo que define cualquier objeto "a" como objeto particular es en s una flecha, conocida como flecha identidad, y denotada Id(a): "La flecha identidad es el objeto a, considerado como un 'tiempo parado' en la accin. la idea subyaciente, razonablemente bergsoniana (o deleuziana), es que una identidad no es nunca otra cosa que un paro en el movimiento, un movimiento nulo" (T, 8). Ya que ninguna identidad es intrnseca, dos objetos nominalmente distintos son el "mismo" si son la fuente y el blanco del mismo tipo de movimientos. Las axiomticas que gobiernan las configuraciones categoriales son igualmente dispersas. Son, como resume Badiou, "la asociatividad y la identidad; se requiere que la composicin de flechas sea asociativa (tal que podamos 'enlazar' sin ambigedad las correlaciones entre objetos), y que cada objeto est enlazado a s mismo por una flecha 'identidad', que identifica ese objeto en s... El tamao de un universo as generado depende de las correlaciones que son posibles en l. Esas operaciones estn definidas uniformemente como 'lmites' de ciertas configuraciones (de ciertos diagramas finitos que involucran cierto nmeo de objetos y flechas)."27 Esos lmites incluyen, entre otras cosas, al objeto inicial (denotado 0) y al terminal (1), a las sumas y los productos de dos objetos, a su exponenciacin (objeto a elevado al objeto b), al "pull-back" de dos flechas hacia el mismo blanco... El objeto terminal de una categora envuelve lo que describ antes en este captulo como el rgimen transcendental T de cualquier situacin S, y corresponde por as decirlo a la operacin estructurante de la situacin: es lo que cuenta como uno cada objeto en la situacin, en el sentido de que "todo objeto tiene una y slo una relacin con el objeto terminal, una relacin que asegura que el objeto es realmente un objeto" (EL, 100). Esto es por lo que el objeto terminal puede ser considerado como el objeto Uno, y denotado "1". El Uno puede contar efectivamente todos los componentes elementales (atmicos) que pertenecen "absolutamente" al objeto, los que son ms destacables o distintivos en este objeto (EL, 101). El objeto inicial de un topos, o el Cero, corresponde al mnimo grado de intensidad existencial reconocido por T. Todo lo que exista como Cero en una situacin es lo que no puede ser contado como uno, esto es, lo que no puede entrar en una relacin con el Uno. "Cero" es lo que est vaco de elementos uni-ficables. En la categora que define la propia teora de

10

conjuntos, el Cero y el conjunto vaco son claramente el mismo (lo que quiere decir que slo hay un objeto, en la situacin teortico-conjuntista, que cuente como Cero). Esta coincidencia sin embargo no tiene por qu ocurrir en otras categoras, donde puede suceder que cosas bastante diferentes aparezcan como vacas o minimalmente existentes. En una categora, finalmente, las funciones de sintaxis y semntica no se pueden distinguir claramente. Los operadores lgicos, como la verificacin, negacin, disyuncin, conjuncin, implicacin, y as, son todos flechas u operaciones del mismo tipo que los valores semnticos (como verdad o falso) (CT, 198). Los valores (flechas) de verdadero y de falso son as "afirmaciones activas" en un sentido casi nietzscheano. (T, 64) Los diagramas en una categora estn "estructurados" o son "consistentes" (al contrario sera decir que son meramente indefinidos o arbitrarios) si las flechas que definen media parte de un diagrama tienen el mismo efecto que (y as son idnticas a) las flechas que definen su otra parte. Por ejemplo -y por ilustrarlo literalmente- dado un diagrama triangular con vrtices a, b y c, el diagrama es consistente, "conmuta" si las flechas que van de a hacia b y luego hacia c son la misma que va de a hacia c directamente. Lo que se dibujara as:

Un ejemplo arbitrario: un diagrama de este tipo puede ser usado para expresar relaciones simtricas de apoyo y condena -hacia los sin-papeles y hacia la polica- que un ciudadano progresista francs tpico podra sentir durante el encierro de inmigrantes en la iglesia de San

Bernardo: 11

El que este otro diagrama conmute (o que lo haga el inverso reaccionario, o cualquier diagrama que ligue los ciudadanos progresistas y reaccionarios, etc.) significa que cualquiera que sea la cantidad que crezca el apoyo del ciudadano a los sin-papeles, simultneamente crecer su condena hacia la polica (cf. LM, cap. 3, pp. 10-12). Los tipos especficos de categoras en los que Badiou se interesa son conocidos como topos.28 Un topos es una categora donde todos los diagramas son consistentes, y cada uno tiene un "lmite" en el sentido antes descrito (un tipo de concepto universalmente vlido: ms tcnicamente, todas esas categoras estn caracterizadas por lo que se llama "cerradura cartesiana" [T, 70]). Un "mundo" (como lo definimos anteriormente en este captulo) -esto es, una coleccin de mltiples cuyo aparecer o ser-ah est gobernado por un rgimen trascendental- es un topos. Todo topos tiene un objeto central, C, que acta como "clasificador de subobjetos"; y un rgimen trascendental del mundo, esto es, lo que Badiou describa en "el ser y el acontecimiento" como la "enciclopedia" de la situacin, corresponde a este objeto central C.29 Un topos contiene adems "flechas de verdad" desde el objeto terminal (1) al central (C), e incluye el pull-back de esas flechas de verdad (lo que quiere decir que tales flechas son monomorfismos o que "conservan la diferencia": si f y g son diferentes entonces f + m y g + m tambin lo son). Un topos es un universo centrado. Sus flechas convergen a C, y la relacin de verdad es establecida como "una conexin singular entre dos objetos del universo."30 Segn progresa un procedimiento de verdad "excava un agujero en el rgimen trascendental o enciclopedia como una trayectoria entre los aspectos axiomticos teortico-conjuntistas (decisionales) y los categoriales (definicionales o relacionales). Recompone o repliega [repli] (como Sujeto) las relaciones hacia la presentacin pura de los elementos."31 Mientras que los axiomas bsicos de la teora de conjuntos generan y ordenan por s mismos una gran parte del universo conjuntista, la naturaleza de cualquier categora particular no puede ser deducida de la teora de las categoras. Cada investigacin puede proceder slo "empricamente", como una inspeccin de lo que contiene. En este sentido hay poco que ganar de cualquier inventario detallado de los diferentes tipos de categoras.32 Lo esencial para los propsitos de Badiou es lo que la descripcin categorial dice sobre las categoras teortico-conjuntistas (i.e., topos en los que la teora de conjuntos o algo similar determina lo que existe). El gran valor de la teora de categoras es que hace explcito en cualquier universo matemtico particular las operaciones lgicas que de otra manera permanecan implcitas. Por ejemplo, sabemos que la teora de conjuntos requiere una forma de lgica clsica, esto es, la valided de la prueba indirecta. Pero la teoria de conjuntos no puede por s misma articular esta lgica como un principio justificable; no puede demostrar la conexin necesaria entre sus asunciones ontolgicas y esta consecuencia lgica. Para la teora de conjuntos es antes que nada una decisin o eleccin, y "una decisin ontolgica al mismo tiempo borra las posibilidades en las cuales es decidiada". Una vez decidimos los axiomas, este sistema ya no es accesible: "nada ms ser posible, si aqu debe mantenerse una verdad," en toda la consiguiente necesidad .33 En otras palabras, la teora de categoras es til no porque clarifique una decisin ontolgica qua decisin (i.e., no porque d acceso al "tomar" la decisin, sino porque permite, retrospectivamente, una comprensin de lo que ah se decidi o rechaz). Permite representarnos la decisin ontolgica fundadora "como una eleccin singular, que incluye la eleccin de una lgica."34 Ya que la teora de categoras no se dirige hacia una orientacin particular, puede describir las conexiones lgicas que cualquier

12

desarrollo ontolgico comparte y no puede discernir, ya que est "cegado" por el producto de las decisiones. Nos da por tanto una distancia confortable o crtica respecto a la decisin. Como podramos esperar, un mero conocimiento de tal teora no decide nada en absoluto, y "el sofismo empieza cuando empezamos a creer que la investigacin de las posibilidades lgicas es en s misma una decisin ontolgica, o -lo que quiere decir lo mismo- cuando concluimos que cualquier decisin es arbitraria (o que no hay ontologa de la verdad) " (T, 45). La ontologa de Badiou El inters de Badiou en la teora de categora no puede ser apreciado en ningn sentido como algo que superar a su inters en teora de conjuntos. "Para m", insiste, "la teora de conjuntos es todava hoy la nica ontologa consistente que conozco" (T, 76). Lo que decide es una ontologa axiomtica, lo que 'cuenta' es lo real". Si la teora de las categoras describe universos posibles, "las matemticas reales no son una inspeccin matematizada de los universos matemticos posibles. La matemtica real decide un universo" (CT, 134). Lo que Badiou ahora llama onto-lgico es el dominio descrito por la teora de categoras, dominio de las consecuencias lgicas de una decisin ontolgica (CT, 129). En otras palabras, dada una decisin particular concerniente a lo que existe por ejemplo, la decisin de reconocer ya sean las diferencias puntuales como las cualitativas-, la onto-loga puede desplegar las consecuencias lgicas de tal decisin. El inters concreto de Badiou es desde luego en las implicaciones lgicas de la ontologa teortico-conjuntista. Sabemos que la teora de conjuntos contiene a la vez un concepto de la inmanencia radical (por el cual cualquier mltiple se define por lo que le pertenece), un concepto de la diferencia puntual (por lo que todas las diferencias son locales, o "en un punto") , y un concepto exclusivo de vaco (como nico fundamento). Ninguno de esos conceptos o propuestas limita a la concepcin categorial general de todos los universos posibles (o incluso una fraccin considerable). El universo teortico-conjuntista, es entonces una configuracin dramticamente "singular" en la teora de las categoras. La gran ventaja de verlo enmarcado dentro de las categoras (i.e., situado, como una situacin entre otras) es que sus caractersticas lgicas precisas emergen explcitamente. (T, 77-78). En el trabajo de Badiou hay tres caractersticas onto-lgicas o correlaciones (esto es, tres teoremas de la teora de categoras) que tienen un lugar importante. Estos teoremas enlazan propiedades lgicas del aparecer o la existencia con caractersticas estrictamente ontolgicas. En cada caso, lo que la teora demuestra -de forma contraria a los principios de la lgica matematizada de forma convencional- es que "el trayecto va desde la manifestacin del ser hacia los principios del lenguaje, y no al revs" (CT, 131). 1. Si lo que existe en un topos son slo las diferencias puntuales (i.e., si el topos es lo que se conoce como un topos bien-diferenciado o "bien-puntuado"), la teora de categoras nos dice que tal topos slo reconoce un objeto como cero o vaco.35 Un topos as es uno en que las diferencias entre dos relaciones diferentes, j y k que enlazan los mismos objetos x e y, estarn basadas en que en al menos en uno de los objetos hay un elemento completamente distinto, de forma que diremos que ese elemento "punta" la diferencia (T, 78; EL, 107). Dentro de la cantidad de caractersticas posibles, que podramos tener, sta es una bastante excepcional, y como consecuencia excepcional de ello se tiene

13

tambin la consiguiente unicidad del vaco.36 Badiou escribe: "la cuestin clave en lo concerniente al vaco es la de su unicidad. Si una prescripcin ontolgica establece la unicidad del vaco, ella asume -en la tradicin parmenidiana- una cierta reversibilidad de los seres, como sustraccin de la cuenta y del Uno. Si se admite la multiplicidad del vaco o su ausencia esto pluraliza la fundacin en s misma, y, en la tradicin heracliteana, lo instituye como una alteracin o algo al alcance de la mano" (CT, 131). Deleuze, por ejemplo, que trabajaba en esta tradicin heracliteana, rechazaba el reconocimiento de la prioridad ontolgica del vaco. Lo mismo se puede decir de Leibniz o Bergson. La posicin de Badiou entonces podra describirse como un "principio parmendeo aplicado a la negacin de Parmnides. La negacin de Parmnides lleva a la siguiente afirmacin: la nada de toda presentacin es (existe el vaco). El principio parmendeo implica la asercin: todo lo que es, en tanto que es, es Uno. La combinacin de las dos cosas lleva a decir que en lo concerniente a que el vaco es, es Uno. 2. Si un topos est bien puntuado, su lgica necesariamente es bivalente (lo que se dice clsica). Un topos que reconoce slo diferencias puntuales es uno cuyo "objeto central C tiene slo dos elementos: cierto y falso."37 Es la cualidad particular ontolgica (diferencias puntuales) la que obliga a la caracterstica lgica (bivalencia), y no de la otra manera. Combinando este resultado con el primer teorema podemos concluir que la unicidad del vaco prescribe la aplicacin de la ley de la doble negacin: no falso = verdad; no-no-verdad = verdad (y no "parcialmente cierto" o "no-definitivamente-falso") . Esto es algo que la teora de conjuntos supone en la prctica pero que no explica por qu es as. La teora de categoras demuestra que la co-implicacin de esas dos caractersticas ontolgicas es realmente una "ley universal (una ley de los posibles universos)" (T, 97, 128). Y al revs, entonces, "si un topos no es bien puntuado, y as, existen, por tanto, con Leibniz, Bergson o Deleuze, diferencias intensivas, cualitativas o globales... entonces tu lgica no puede ser clsica," sino ms bien intuicionista o modal (CT, 132). De Leibniz por ejemplo sabemos que entre p y no-p existe una infinidad de estados intermedios, igualmente que con Deleuze sabemos que la negacin no tiene poder de implicacin y que lo que importa es una sintaxis del Y Y Y, del y [et] sobre el es [est].38 En otras palabras, "el Dos es clsico" por su reconocimiento exclusivo de p o no-p, mientras que como hemos conocido desde Hegel, "superar el clasicismo requiere del Tres."39 Si no-no-p es algo ms (o menos) que p, necesitamos una tercera posicin que es la del tiempo de la negacin creativa o trascendencia. La lgica no-clsica, en otras palabras, presupone una mediacin genuina de p y no-p como una relacin respecto al tiempo (la disyuncin del porvenir respecto del origen) , mientras que la lgica clsica presupone la identidad inmediata de p y no-no-p (la identidad del porvenir y el origen).40 3. Si un topos admite el axioma de eleccin, su lgica es bivalente o clsica.41 El axioma de eleccin implica, en otras palabras, la legitimidad de la prueba indirecta y de la ley del tercio excluso. Este es quizs el ms fuerte de los tres teoremas. Recuerda que el axioma de eleccin afirma la posibilidad de que dado un nmero infinito de conjuntos podamos crear un subconjunto infinito compuesto de unos elementos que elegimos al azar en cada conjunto, uno a uno; esta eleccin es efectuada de forma automtica, sin un criterio de seleccin. El subconjunto resultante est hecho de una coleccin verdaderamente azarosa de

14

elementos ms o menos "tpicos", colectados conjuntamente de forma completamente arbitraria. En las matemticas, consideradas como un procedimiento activo de verdad, sabemos que el axioma de eleccin es un claro signo de la "intervencin" subjetiva (EE, 254). Adems, el axioma de eleccin "tiene la implicacin ontolgica que sigue: existe una representacin inifinita, annima y sin ley para cada situacin infinita," de acuerdo a las presuposiciones ontolgicas de conceptos como el de Descartes: libertad divina, o el de Rousseau de voluntad general.42 Lo que es destacable es que un topos que acepte la legitimidad de este procedimiento anrquico -de acuerdo a la corriente normal de las matemticas pero en fuerte contraste con los principios intuicionistasdebe tambin aceptar el rigor implacable de la lgica intuicionista. Lo genrico, en otras palabras, es realmente compatible lgicamente con la austeridad de la verdad como opuesta a lo falso. Estos tres teoremas a la vez confirman las "dos posibles lneas de pensamiento", las dos tradiciones ontolgicas asociadas con Platn y Aristteles, delineadas al principio de mi tercer captulo: 1. Unidad (ontolgica, del vaco), localizacin (de la diferencia), clasicismo (de la lgica). 2. Pluralidad (de los vacos), globalidad (de las diferencias), intuicionismo (de la lgica). 43 Para la primera orientacin, todas las diferencias son elementales en el sentido ms literal, y conciernen a las entidades efectivamente independientes. Para la segunda orientacin, la diferencia figura como "la diferencia de dos flechas, dos acciones orientadas, y no como la diferencia de dos objetividades, o dos mltiples. Como en el universo fsico de Aristteles, la primera "diferenciacin" es la de los movimientos."44 La diferencia es entonces un resultado de la accin, y resulta como "general, global o cualitativa." Las mnadas de Leibniz, por ejemplo, aunque incluyen todo el universo y no tienen extensin (no pueden definirse extensionalmente), "ven" el universo de una manera diferente y lo expresan de acuerdo a una modalidad distinta -siendo entonces que la relacin ontolgica primaria para Leibniz es precisamente la de la inclusin antes que la de pertenencia. La primaca de la decisin Lo que Badiou tiene cuidado de enfatizar en sus discusiones de las nuevas condiciones que establece la teora de categoras para su filosofa es que subordina en ltimo trmino todo a la primera condicin prescrita por los axiomas de la teora de conjuntos en particular, y en general en los principios de la decisin axiomtica. La teora de conjuntos y la de categoras se oponen en casi todo, y "el desacuerdo entre la axiomtica teortico-conjuntista y las descripciones categoriales establece la ontologa matemtica en el constreimiento de las opciones de pensamiento cuya eleccin no permite una prescripcin matemtica normativa" (PM, 37). Esto no significa sin embargo que la filosofa de Badiou navegue ahora entre la duda de ambas opciones. Como regla general, "lo real slo se encuentra bajo el imperativo axiomtico," y se trata de una mera cuestin de posibilidad el que "pueda ser descrito bajo el rgimen de las definiciones y clasificaciones" (CT, 135). El apego de Badiou hacia una orientacin teorticoconjuntista o axiomtica no es menos fuerte hoy que cuando escribi el primer volumen

15

de "el ser y el acontecimiento". El signo de su fidelidad es precisamente el hecho de que dicha orientacin descansa sobre una decisin o eleccin absoluta (una eleccin sin criterios -una "eleccin que no puede prescribir la pura matemtica") (PM, 37). No hay manera de calcular la eleccin "correcta" entre una orientacin teortico-conjuntista opuesta a una intuicionista o aristotlica, por ejemplo. La eleccin no es entre la teora de conjuntos y la de categoras. La teora de categoras simplemente proporciona a Badiou herramientas para describir las elecciones hechas por la de conjuntos. Si la teora de categoras se ha convertido en una de las condiciones de la filosofa reciente de Badiou, su apego a una ontologa axiomtica permanece propiamente incondicional. El cmo esta ontologa condiciona su filosofa es algo que sigue absoluto. Nada influye en la eleccin ontolgica. Lo que una tal eleccin o decisin elige es un cierto modo de concebir o "fijar" el infinito ("une fixation de l'infini"). "Esta fijacin no puede ser preliminar, trascendental o lingstica, ya que depende de un acontecimiento, un Acto," que es la misma declaracin axiomtica. "Aunque como es de esperar est bajo la condicin de una adicin puramente acontecimiental, y es por esta razn que produce una lgica implacable. Esta lgica surge de lo que el pensamiento expone de s mismo admitiendo el Acto, siendo fiel al acontecimiento. Esta fidelidad, a su vez, organiza una verdad que no es necesariamente para nadie ms sino es para su Sujeto. La necesidad es siempre un resultado" (CT, 138). Badiou por tanto ha plantado cara al desafo "trascendental" que la lgica levantaba ante su filosofa. l ha aceptado la condicin impuesta por una lgica matematizada, pero en un modo en que se subordina esta condicin a la ms fundamental de la matemtica en s misma (i.e., de la matemtica como procedimiento de verdad). Ms que simplemente ignorar la pretendida prioridad de la lgica sobre las matemticas (como hizo en su "el ser y el acontecimiento"), Badiou ahora tiene un modo elaborado y convincente de tratar con estas pretensiones. El pensamiento no es lgica, "pero no es menos cierto que siempre hay una lgica del pensamiento. Pensar las matemticas como pensamiento significa, desde dentro de este pensamiento, olvidar la lgica, haciendo preponderante una fidelidad a las decisiones."45 Por decirlo de alguna forma, Badiou sabe ahora "lo que" exactamente queda olvidado por su -digamos- "fidelidad a la decisin". Habiendo confrontado la cuestin de la prioridad lgica, est en una posicin como para proponer un "pacto moderno... entre una orientacin platnica asumida como dominante, y otra aristotlica (leibniziana) que proporciona un mecanismo de control [de contrle]," un mecanismo que permite, desde el "efecto secundario de lo real", una exploracin retrospectiva de las posibilidades olvidadas de entre las cuales este real fue decidido y sustrado.46 Aunque el mecanismo de control parece presuponer un grado de trascendencia terica, no obstante "la existencia de una lgica depende slo de un proceso de verdad, a su vez dependiente del azar de una condicin acontecimiental, y de una decisin concerniendo a este azar." De esta forma, la preponderancia de la decisin sobre la lgica y de la verdad sobre el lenguaje es preservada y reforzada. Todo procedimiento de verdad demuestra que "existe una lgica de la verdad, pero no una verdad de la lgica" (CT, 137). Badiou resume su agenda actual en un programa de cuatro puntos que citar casi al completo: 1. La lgica no es una formalizacin, una sintaxis o un aparato lingstico. Es una descripcin matematizada de los universos matemticos posibles, bajo el

16

concepto genrico de topos. Un universo matemtico, un topos, localiza su propia lgica. 2. Un universo matemtico posible establece relaciones entre ciertas caractersticas ontolgicas y ciertas caractersticas de su lgica inmanente. El estudio de esas correlaciones es el contenido fundamental de la lgica. La lgica piensa entonces su propia subordinacin a la ontologa. Es debido a que piensa su subordinacin por lo que puede ser matematizada, ya que las matemticas son la ontologa. 3. Las matemticas operan a travs de decisiones axiomticas que organizan un posible universo en lo real [disposent en rel un univers possible]. Las restricciones lgicas se siguen como resultado. Las restricciones son pensadas lgicamente mediante la lgica de los universos posibles. Son practicadas, pero no pensadas, por las matemticas reales. 4. Consiguientemente, la grieta irreducible entre la lgica y las matemticas parte del punto ciego de una decisin del pensamiento, que es que cada decisin de este tipo instala una lgica que practica como necesaria [aunque...] sea una consecuencia de la decisin. La lgica matematizada es una clarificacin de esta ceguera, ya que piensa la correlacin onto-lgica. Pero al hacerlo, debe regresar desde lo real, que slo se puede encontrar bajo el imperativo axiomtico, a lo posible, que slo puede describirse bajo el rgimen de las definiciones y las clasificaciones. (CT, 134-135) Todo esto dice Badiou que define un "programa de pensamiento," uno que se acoge a la determinacin de "pensar lo posible desde el punto de lo real. O apostar las definiciones desde los axiomas, y no al revs." Como nunca antes en su pensamiento Badiou permanece apegado al principio fundamental de que "la filosofa es esencialmente axiomtica, y no definicional o descriptiva" (CT, 137). Con su onto-loga, su onto-lgica, Badiou cree que ha descubierto lo que "asegura que, por muy inconsistente que sea su ser, todos los mundos o situaciones estn implacablemente relacionados [lis]" (CT, 177). Es una extensin brillante de lo que ya era un sistema filosfico extraordinario en su alcance y ramificacin. La integracin final en la mecnica concreta de lo que Badiou describe como los procedimientos genricos promete ser un trabajo destacable de ajuste y sntesis. Es desde luego demasiado temprano como para someter esta extensin a una evaluacin rigurosa. Sin embargo podemos hacer dos puntualizaciones en este estado inicial del desarrollo que conciernen al nuevo concepto de relacin en Badiou. Las dos son obvias, y cambiarn en el futuro. La primera es que la relacin permanece claramente como una categora derivada. Como hemos visto, Badiou est muy interesado en ello. A la relacin se le deniega cualquier estatus ontolgico propio, y su ecuacin estricta con la lgica asegura que siempre estar en un segundo plano respecto a la verdadera fuerza que mueve el sistema de Badiou. Un axioma no se relaciona con nada, mientras que una relacin entre elementos siempre "aparece" slo en tanto que deja sin tocar los grados de auto-identidad intensional de los elementos que aparecen, u objetos, que relaciona. Resultado de ello es que ninguna relacin puede aumentar o disminuir "el grado de identidad entre dos trminos." En otras palabras, "una relacin no crea ni existencia ni diferencia" (EL, 94; LM, cap. 3, p. 7). La relacin siempre viene despus de sus trminos. Las relaciones de solidaridad o antagonismo, por ejemplo, no juegan ningn

17

papel constitutivo en la constitucin de los individuos que ellas movilizan, conectan o dividen.47 El segundo punto es que el tipo de relacin articulada por la lgica pura es en s una relacin hecha "absoluta", por as decirlo. Lo que una relacin relaciona es aqu exclusivamente un asunto de las otras relaciones. Los elementos categoriales no son otra cosa que "relaciones" de auto-identidad, expresadas mediante una funcin del aparecer o medida de su intensidad existencial (Id). Si la relacin no crea diferencia, podemos decir, es porque crea la propia identidad.48 Es como si Badiou hubiera ido de un extremo al otro, de una ontologa determinada solamente por los elementos que se sustraen a todas las relaciones a una onto-loga determinada solamente por las relaciones abstradas de los elementos. Sabemos que en teora de categoras, como dice un libro de texto, "los objetos no son colecciones de 'elementos'" sino simples composiciones de flechas o morfismos, y que "todas las propiedades de los objetos deben ser especificadas por las propiedades de los morfismos", y que los "morfismos no se aplican a los 'elementos' sino que slo se componen con otros morfismos."49 La identidad y la diferencia estn aqu exclusivamente concebidas como los efectos de las acciones realizadas sobre los entes vacos que transportan esos efectos (y que de esa manera se han identificado o diferenciado). Un elemento est intrnsecamente diferenciado, nunca es diferenciante. Esto es por lo que las relaciones entre los elementos permanecen como derivadas, incluso si las relaciones "por s mismas" son efectivamente absolutas. Un elemento est primariamente determinado por su propio grado de identidad consigo mismo, y slo entonces difiere de los otros mediante la comparacin con sus propios grados de autoidentidad.50 Como resultado, las relaciones entre elementos pueden ser analizadas realmente con la nueva maquinaria "trascendental" slo como variaciones en la relacin comparativa de orden (como relaciones de mayor o menor que), lo que, como sabemos, proporciona a Badiou la "primera inscripcin de una exigencia del Otro" (EL, 9-10). Algunos lectores pueden sin embargo no estar de acuerdo con esta restriccin desde el principio. No es esta primaca de nuevo el resultado de su abstraccin? En trminos de lo que aparece, el azul es quizs diferente del naranja, o Juan diferente de Jana, o lo mo diferente de lo tuyo, sin que esas diferencias sean, en primera instancia, una cuestin de cantidad o de grado en absoluto. En cualquier caso, las relaciones en esta configuracin no son, estrictamente hablando, relativas a sus trminos, que ellas comparan o simplemente identifican. Deleuze ya anticip la conclusin necesariamente antidialctica: tales "relaciones son externas a sus trminos."51 Esta es una conclusin que toda filosofa de los especfico debe rechazar. La aceptacin de Badiou de un condicionamiento categorial de la filosofa bien le puede haber llevado ms cerca de su opuesto ontolgico: Deleuze. Pero no le habra llevado a considerar la alternativa de esas dos posiciones singulares, digamos, que elementos y relaciones puedan tener algo as como una importancia simtrica, como estara co-implicado en que realmente sea un slo proceso el que mantenga la integridad elemental de lo que est relacionado, precisamente en tanto que lo est. [No me resisto a hacer una anotacin personal aqu: le digo a Hallward: para qu se ha hablado tanto del acto y de la preponderancia de la axiomtica para que vengas ahora con una aparente discusin superficialmente simplificada en trminos de elementos vs relaciones? Sigue Hallward...] Si los "tipos abstractos" que asla la teora de las categoras tienen tan claro uso en el dominio elitista de la pura lgica, Badiou es demasiado precipitado al concluir

18

que en ellos debiera estar la clave de la relacionalidad en tanto tal. Se precipita al asociar lo relacional tan firmemente al campo de la mera posibilidad. La teora de categoras describe slo lo que puede ser abstrado de la relacin. Las relaciones actuales sin embargo existen entre lo que relacionan, ms que despus o por encima de ello. [ya que se acaba aqu el captulo sigamos hablando con Hallward: precisamente Badiou abre la va digamos "evolucionista" de lo genrico que inicialmente se deja pensar desde esta especie de filosofa pura -de Badiou: el vaco, la fundacin...- si no matizas ms lo nico que podra parecer que haces es un giro oscurantista que pretende abrirse a "la realidad" sin conseguir decir mucho; creo que una mezcla de los conceptos Badiou en teoras ms relacionadas con el mundo fsico estara bien para ver su relevancia, su verdad: el primer "mundo fsico" que podemos intentar pensar o encontrar es digamos que el de lo "social-antropolgico". Ah esta filosofa de Badiou es un instrumento relevante, por lo que entiendo. Lo es para explicar, encuentra un buen sitio de auto-test pues necesitamos adems este tipo de alternativas tan poco usales -la de Badiou- al actual rgimen capitalista que administra lo que entendemos por "lo til"/"las ciencias"/"la sociedad"/etc.]

19