Académique Documents
Professionnel Documents
Culture Documents
MODELO
por
A L A IN BADIOU
traduccin de
HUGO ACEVEDO
m
siglo
veintiuno
argentina
edito res
sa
m _________
siglo veintiuno editores, sa
G A B R IE L M A N C E B A 5. M E XIC O 12, O F ._________________
Noticia 7
Apndice 65
LA SUBVERSION INFINITESIMAL
Apndice 145
NOTICIA
Diciembre de 1968.
1. PRELIMINARES SINTACTICOS
I - A(x libre en A)
I- (Ux) A
32
Es la regla llamada de separacin.
El apndice de este libro convencer al lector acerca de
las posibilidades ofrecidas al juego deductivo por estas dos
nicas reglas.
33
I
ax 1 : | - P(x)
ax 2: I- (Ux)P(x) - ~ Q(a)
I- P(x)
I - (Ux)P(x)
I - (U x )P (x )-~ Q (a)
I- ~ Q(a)
es una deduccin conforme a las dos reglas que ya hemos
introducido (generalizacin y separacin). La frmula
~Q(a) es, por tanto, un teorema del sistema; lo especifi
can los dos axiomas.
Podemos distinguir axiomas lgicos y axiomas matem
ticos. Los primeros nada tienen que ver, dentro de la
forma escriptural que los caracteriza, con las constantes
f|jas (individuales o predicativas); en cambio, los segundos
regulan a menudo el uso de stas, a las que podemos
llamar smbolos no lgicos de la teora.
En rigor, frecuentemente se utilizan como axiomas
lgicos series infinitas de frmulas cuya estructura (ley de
formacin o de inscripcin) es la misma. As, todos los
enunciados (en nmero infinito) del tipo de [ A * (B -
A)], en que A y B son expresiones bien formadas cuales
quiera, son a menudo observados como axiomas en un
clculo como el de nuestro ejemplo. Por supuesto, en la
mayora de las expresiones de este tipo figuran constan
tes. Y de esta manera la expresin
I A - (B - A)I = Ver
( - A - - B ) - ( B - A)
IA - (B - C>) - [(A -* B) - (A - C)]
Por lo tanto (una vez ms, regla 4), existe una constante
b tal que:
4ft
Con todo, esta frmula nunca es vlida. Es fcil verlo
al reconstruirla. Pongmonos, por ejemplo, en el caso
en que P(a) = Ver.
(Ex)P(x) - (Ux)P(x)
\
48
slo es vlido si el antecedente de la implicacin, o sea,
(Ex)P(x), es igualmente evaluado como Fai, lo cual supo
ne (regla 4) que no existe ninguna constante a tal que
P(a) = Ver. Quiere decir que ningn elemento u del uni
verso correspondiente a una constante pertenece a [pV].
Diremos que el predicado P es vaco para la estructura.
Como la nmina de nuestros axiomas agota todos los
predicados del sistema, obtenemos el siguiente resultado:
una estructura slo es modelo de la teora signada por los
axiomas como
(Ex)P(x) - (Ux)P(x)
49
la conclusin de que un modelo es trivial.
Hemos, pues, demostrado el siguiente teorema ( tan
endeble! ): una teora cuyos axiomas son las frmulas
(Ex)P(x) (Ux)P(x) es semnticamente equivalente a una
teora que admite para modelo una estructura cuyo uni
verso no contiene ms que un solo elemento. Era, en
trminos generales, el resultado deseado.
Estos ejemplos bastan para mostrar en qu sentido un
modelo es el concepto -matemticamente constmible-
del poder diferenciador de un sistema lgico-matemtico.
La doble circunstancia de las matemticas en este
enunciado constituir el sostn de mi desarrollo final.
9. La categora de modelo
y la experimentacin matemtica
Ideologa
burguesa Idealismo
especulativo Matemticas
Formalista/
Empirista F sica
>f
Positi /ismo
Humanista lg co Biologa
%
<
Episteirlologa
Ideologa
m aten alista
proletaria
ik
poltica proletaria
4-
58
4) Categoria, 2. (materialista dialctica): Todas las ciencias
son experimentales. La matemtica es un proceso de
produccin de los conocimientos doblemente articula*
do. Modelo designa la articulacin conceptual, por
lo mismo que se la relaciona con un dispositivo experi
mental particular: un sistema formaL Sistema formal
designa, pues, la articulacin experimental o inscrip
cin. Hay envoltura de la articulacin-2 por la articula
cin-1: la inteligencia de los montajes formales mate
mticos se despliega en la prctica conceptual de las
propias matemticas.
Leyendo el cuadro, observaremos, por lo dems, que el
efecto aguardado de la intervencin epistemolgica (mate
rialista dialctica) no consiste en ponerle fin a lo que
define la filosofa: la prctica de una relacin imposible
entre la ciencia y la ideologa. Lo que caracteriza a esta
intervencin es, en efecto, su relacin reflexionada con
una ciencia completamente particular, esto es, con el
materialismo histrico, y conjuntamente su relacin con la
ideologa proletaria.
En ltima instancia, la lnea de deslinde filosfico tiene
por referente prctico la lucha de clases dentro de la
ideologa, y esta lucha opuesta la apropiacin-de-clase de
la prctica cientfica.
Tal trasfondo general, que determina a la concepcin
marxista de la filosofa, no puede dejar de ser, en este
caso, violentamente esquematizado. Me limitar por ahora
a unas pocas indicaciones, aun cuando riesgosas, sobre el
justo uso epistemolgico de la categora de modelo.
En primer lugar la teora de los modelos permite,
como hemos mostrado, diferenciar matemticamente a la
lgica de las matemticas. Regula un uso de los dispositi
vos formales que permite sealar las frmulas que especi
fican la matematicidad de una estructura, cuales son las
que fuerzan a ciertas estructuras a no ser modelos para el
sistema. Con todo, esta diferenciacin cae dentro de un
viejo debate epistemolgico (qu es lgico, universal , y
qu es matemtica, regional? ), al que diversifica y racio
naliza.
Por otro lado, el principal uso de los modelos se aplica
a la produccin de pruebas de coherencia relativa y de
59
independencia.
Sea T una teora formalizada definida por sus axiomas,
y sea A una expresin bien formada del lenguaje formal
adoptado. Designemos con (T + AO a la teora obtenida
mediante la adjuncin de A a los axiomas de T. Diremos
que la frmula A es coherente con T si, suponiendo
coherente a T, (T + A) tambin lo es. Cmo establecer
semejantes resultados, cuya apariencia es puramente sin
tctica?
El teorema fundamental de completitud nos garantiza
que una teora es coherente si y solamente si admite un
modelo. La hiptesis atinente a la coherencia de T equi
vale a considerar esta teqra como la inscripcin experi
mental de una estructura. Al trabajar a sta, al desarro
llar la supuesta coherencia de T, trataremos de producir
un modelo de (T + A), es decir, una estructura que sea
modelo de T y en la que, adems, A sea vlida. La
coherencia de (T + A) queda entonces garantizada.
Por este lado demostr Gdel en 1939 la coherencia
del axioma de eleccin y de la hiptesis del continuo con
respecto a la teora de los conjuntos sin axioma de elec
cin ni hiptesis del continuo.
El inters de tal demostracin, su peso epistemolgico,
estribaba, con todo, en el hecho de que el axioma de
eleccin se hallaba discutido y hasta rechazado por un
gran nmero de matemticos y lgicos, quienes en cambio
admitan el resto de la teora. Esta sospecha tena que ver
con cierta visin de las matemticas, una visin que daba
privilegio a las operaciones efectivas y a la funcin
fundadora de los nmeros enteros. Dependa, por lo tan
to, de una categora (filosfica), cual es la categora que
separa lo que es matemtico o racional- y lo que no lo
es.
La experimentacin gdeliana, en la que el dispositivo
formal, o sea, la axiomatizacin de la teora de los con
juntos, desempea un papel decisivo, interviene, pues, en
una coyuntura epistemolgica gracias a los medios de la
ciencia. Prueba que el axioma de eleccin no es, desde el
punto de vista de la coherencia, ms riesgoso que el
resto de la teora de los conjuntos. Despeja la sospecha.
Garantiza el uso. Y con ello transforma, no a la teora,
60
sino al estatuto de sta dentro del proceso histrico de
produccin de los conocimientos', el problema, por un
momento obsesivo, de saber si tal o cual enunciado es
independiente, para su demostracin, del axioma du
doso pierde lo esencial d su inters.
Sin duda est intervencin llega siempre, debido a la
minuciosidad misma de los montajes experimentales que
exige, a destiempo. La prctica ya haba ampliamente
zanjado la cuestin en favor del axioma de eleccin. Pero
ocurre, precisamente, que la intervencin modifica la
eleccin debido a la prueba a que la somete. Que salga
confirmada de sta, y queda establecido que era, antes
que una eleccin , una necesidad interna del proceso
matemtico. En fsica, por ejemplo, el retraso de la prue
ba (experimental) acta retroactivamente sobre la antici
pacin matemtica.
Recordemos ahora un ejemplo clsico. Llamemos GE a
la teora, supuestamente formalizada, de la geometra
euclidiana en el espacio. Se la supone coherente; por lo
tanto, admite un modelo, segn el teorema de completi-
tud. Para simplificar, consideraremos que este modelo es
el espacio euclidiano, tal como tenemos su intuicin
escolar (pero son slo nombres para estructuras complejas
expresables en el lenguaje de la teora de los conjuntos).
Sea ahora la teora obtenida al remplazar dentro de la
geometra euclidiana del plano (subteora de GE) el cle
bre postulado de Euclides: Por un punto exterior a una
recta pasa una paralela a sta y nada ms que una jior el
axioma (que implica la negacin del precedente): Por un
punto exterior a una recta nq pasa ninguna paralela a
sta . A esta nueva teora la llamaremos GRP (geometria
plana de Riemann).
Vamos a interpretar a GRP dentro de una estructura
construible a partir del modelo de GE. En ste, cuyo
universo es un espacio euclidiano, sea una esfera (euclidia
na). Esta ser el universo de nuestra subestructura.
64
APENDICE
1: El propsito'
Ax 1:
A - (B - A)
Ax 2:
[A - (C * D)J - [(A - C) - (A * D)]
Ax 3:
A *(~ A * B)
Ax 4:
(A-~A)-~A
Ax 5:
A * A
Ax 6:
(Ux)A -* A(f/x), en que x es libre en A y en que f es,
ora una constante, ora una variable no ligada en una parte
de A en que x es libre.
Ax 7:
(Ux) (A - B) [A *(Ux)B], si x no es bore en A.
4 : Teorema de la deduccin
68
sita, paia establecer un teorema, una condicin suplemen
taria con respecto a la generalidad estructural en la que se
trabaja. Es el famoso uso escolar de las hiptesis : si
supongo el enunciado A, entonces puedo demostrar e!
enunciado B.
Aparentemente esto se traduce en nuestro lenguaje
lgico mediante la frmula A-B. Slo aparentemente. En
efecto, la suposicin no sitio sitio ninguno en un sistema
formal. En rigor, (A ->B) significa: si he deducido A y
(A -B ), entonces puedo deducir B. Es el sentido mismo
de la regla de separacin. Pero si en SP no puedo deducir
A, entonces la deduccin de (A - B) no dice nada en
cuanto a la deductibilidad de B. De qu modo, pues,
traducir la idea de que la hiptesis A permite sacar alguna
conclusin respecto de B?
Vamos a mostrar que nuestro sistema es apto para
inscribir este problema.
En el fondo, suponer que A es verdadera equivale a
sumarla a los axiomas. Sea (SP + Ai el sistema obtenido
por adjuncin de la hiptesis A a los axiomas de SP.
Para simplificar no consideraremos ms que frmulas A
cerradas. Luego, tenemos el siguiente resultado, un resul
tado que gobierna, en rigor, la eficacia deductiva del
dispositivo:
A* [(G*A) *A]
[A*[(C-*A) -A ]]-[[A - (C - A)] *(A-*A) (Ax.2)
[A-* (C - A)] -KA-.A)
A- (C - A)
A -* A
A B1
A - (Ux)Bi (separacin)
A -* Bn (escritura de Bn)
(SP + ~ A)
7: El lema de Lindenbaum
8: El teorema de completitud
Sn : ~ ( x ) Fn - ~ F n (b/x)
TO = T
TI = T + SI
T2 = T + SI + S2
S i T e s c o h e r e n t e , t o d a t e o r a T n t a m b i n l o es.
(2) | - ~ (~ A - ~ B) - ^ A
(3) |-~(~A-~B)-B
(A) 1- ~(Ux)Fn
(B) I - Fn(b/x)
(C) I - (Uy)Fn(y/x)
(B) I - - (Ux)Fji
I - (Uy)Fn(y/x) - F n Axioma 6
80
I- (Ux)Fn - { - (Ux)Fn - A] Axioma 3
I- ~ (Ux)Fn -A Separation
I- A Separacin
I ciados equivalentes.
B - C) (axioma 3)
B * C) (separacin)
~(Ux)Fn - ~ F n(a/x),
~ (Ux)B - ~ B(b/x)
85
Sintaxis
a) A lfa b e to
- constantes individuales: a, b, c, a, b, c. . .
- variables individuales: x, y, z, x \ y, z. . .
- constantes predicativas: P, Q, R, P, Q, R \ ..
- Conectadores lgicos: negacin: implicacin*
- Cuantificadores: universal: U; existencial E.
b) R e g la s d e fo r m a c i n
c) R e g la s d e d e d u c c i n
I- A -(A * B)
Generalizacin
a Separacin - A
I- (Ux)A
e) A l g u n a s d e f i n i c i o n e s y e s c r itu r a s
87
Semntica
a) Estructura
d) Validez
e) Modelo
Una estructura es modelo para un sistema formai si
todos los axiomas de ste son vlidos para la estructura.
89
Marca y carencia:
a propsito del cero
por
Alain Badiou
r
94
I
produccin de una division en la escritura lineal, o sea, la
dicotomia de un conjunto estructurado de enunciados
introducidos en el mecanismo ltimo a titulo de ma
teria prima (ya trabajada).
Inmediatamente resulta de ello que el requisito nico a
que debe obedecer el funcionamiento del mecanismo es,
en fin de cuentas, que algo sea efectivamente c o r t a d o , que
haya escrituras que sean mecnicamente distribuidas en
dos clases separadas y designadas, por alusin al mecanis
mo utilizado con mayor frecuencia, clase de los enuncia
dos derivables y clase de los enunciados no derivables.
La definicin clsica de la c o n s i s t e n c i a a b s o l u t a de un
sistema que por lo menos una expresin bien formada
no sea derivable en el sistema designa, precisamente, esa
exigencia mnima. Su trasgresin equivale a considerar un
mecanismo lgico que no produce nada, no siendo en tal
caso la produccin otra cosa que la efectiva divisin de
los materiales sobre los que se opera.
Mirndola con mayor detenimiento, se comprueba que
la divisin final implica la sucesiva operacin de tres
mecanismos ordenados, pues los sintagmas, antes de ser
distribuidos, deben ser f o r m a d o s y luego e n tr e s a c a d o s ,
como que ningn sistema de derivacin puede someter a
todos ellos a su principio de divisin (lo que sencillamente
quiere decir que una mquina especializada posee una
entrada en la que slo pueden introducirse materiales
especficos, previamente fabricados).
Por lo tanto, tendremos que distinguir los mecanismos
de c o n c a t e n a c i n , f o r m a c i n y d e r i v a c i n .
Toda disimulacin de la autonoma del segundo meca
nismo con respecto al tercero produce como efecto la
prdida de la esencia misma: la funcin productora del
proceso lgico3. Y nada es ms importante que recorrer
por orden la maquinaria de la lgica.
a ) C o n c a t e n a c i n : La materia absolutamente prima del
proceso lgico la suministra una esfera particular de la
97
/
drivables) y no-Tesis (enunciados inderivables) ;
2: Cierto tipo de nexo funcional entre las mitades.
Esta segunda condicin es capital. Si la exigencia de
dicotoma fuera la nica exigencia, los mecanismos lgicos
clsicos (como por ejemplo una formalizacin de la arit
mtica) no tendran defecto alguno. Muy cierto es que
tales mecanismos separan de manera tajante las expresio
nes bien formadas en derivables y no derivables, en tesis
(T) y no-tesis (NT)6 .
Un enunciado indecidible, como el que construye G
del, no es, evidentemente, un enunciado que no sea de
mostrable ni indemostrable (lo que no tendra el menor
sentido). Por el contrario, el centro de la prueba de Gdel
se alcanza al mostrar que el enunciado no es demostrable.
Por lo tanto, est bien asignado a una de las dos mitades.
Un enunciado indecidible no es el resto de un corte; es
un enunciado tal, que ni l ni su negacin son derivables.
Un enunciado como ste es, desde luego, irrefutable (refu
tacin = demostracin de la negacin). Pero es explcita
mente indemostrable. Hay divisin sin residuo entre lo
derivable y lo no derivable; pero el enunciado de Gdel y
su negacin estn en la misma mitad.
Todo descansa, en este caso, en un operador sintctico
especial -e l operador de negacin- y en la estructura que
6 Determinar si para toda expresin bien formada existe un
procedimiento mecnico (electivo) que permita saber "de antema
no" (sin tener que derivarla) si es o no es derivable, es un asunto
diferente. La existencia de semejante procedimiento define la
deeidibilidad del sistema. Se sabe (Church, Kleene) que los meca
nismos lgicos bastantes fuertes son generalmente indecidibles. No
se confunda la deeidibilidad de un sistema con la existencia o la
no existencia de un enunciado tal que ni l ni su negacin sean
derivables. I I problema de la existencia de un enunciado indecidi
ble no es un problema de deeidibilidad. sino de comptetitud. Un
sistema puede ser deeidible e incompleto. Existen, pues, enuncia
dos (indecidibles) respecto de los cuales se puede decidir por
anticipado, gracias a un procedimiento efectivo, que no son deriva-
bles ni refutables. Sin embargo, la recproca no es verdadera: un
teorema metamatemtico importante vincula los resultados de in-
deeidibilidad (Church) a los resultados de incompletitud (Gdel).
Si un sistema formal (bastante fuerte) es indecidible entonces es. o
inconsistente, o incompleto.
98
ste gobierna.
Consiguientemente, no se puede sostener que el teore
ma de Gdel significa que toda dicotoma deja un resto,
ni que toda dualidad implica un tercero disyunto descen
trado con respecto a la regla que ordena interiormente
cada trmino del par. Esta lectura (frecuente) del teorema
es una importacin metafsica. En realidad, el problema
atae a las condiciones estructurales particulares impuestas
al tercer mecanismo lgico como sobrecarga de su funcin
separadora, lo que resume nuestra anterior condicin 2).
Se exige, en efecto, que haya en el alfabeto un opera
dor (negacin o de otro tipo: el sentido intuitivo de la
negacin es en este caso un obstculo) tal, que si un
enunciado pertenece a una mitad ( r e T o / e NT),
entonces el enunciado obtenido al aplicarle el operador, o
sea ~ 7, est en la otra mitad U, t e NT o t e T).
99
Lo que en este caso est desde un primer momento en
cuestin no es el corte como tal, sino una funcin de
vinculacin entre las mitades separadas. El lmite gdelia-
no no se relaciona con la dicotoma; por el contrario,
atae a la unidad-de-correspondencia de las partes disyun
tas.
El enunciado de Gdel significa: sea la relacin funcio
nal que vincula a todo enunciado con su negacin: t . . . .
~ r. No hay dicotoma efectiva tal que todas estas relacio
nes estn cortadas.
Sin duda es dable aguardar que se pueda expulsar de T
(enunciados derivables) a todas las relaciones f . .. ~ t, sin
lo cual el sistema sera inconsistente. Pero entonces se
muestra que siguen estando siempre en NT precisamente
las que incumben a los enunciados indecidibles.
Por lo tanto, en este punto tenemos que considerar un
desgarrn de estructura y no una dicotoma. La clave de
la limitacin atae, paradjicamente, al hecho de imponer
le al mecanismo separador no ser perfecto y preservar el
concepto de una relacin reversible entre las mitades, de
. manera que la limitacin, lejos de atestiguar que en un
espacio producido por divisin figura el vestigio del desga
rrn del cual resulta, ms bien muestra que no es posible
producir de modo indefinido el signo del otro, que en
ciertos sitios se ha borrado toda huella y que un mecanis
mo fuerte impone una total divisin en el rechazo que
efecta, en cada una de sus partes, de ciertas marcas del
viejo Todo.
Lo indecidible rto es la suturacin de la carencia, sino
la exclusin de lo que falta por el fracaso que producir
en lo derivable todo lo no derivable en su condicin de
negado.
La limitacin significa que existe en un punto, entre
las partes T y NT, una distancia sin concepto, cual es la
que hace figurar en el espacio de las no-tesis un enunciado
cuya negacin no se inscribe en el espacio de las tesis y
que se halla, por lo tanto, no relacionado con ste. El
teorema de Gdel es el sitio de mayor eficacia de la
separacin, no el lugar de su fracaso8 .
8 En cuanto a descifrar el hiato entre la intuicin y el forma
lismo, es un riesgo que no correremos.
100
Por consiguiente, si los teoremas de limitacin resul
tan de las condiciones de imperfeccin asignadas al meca
nismo dicotmico, necesitamos retocar el concepto de
este ltimo para integrar en l tales condiciones. Y dire
mos: la lgica es un mecanismo triplemente articulado
(concatenacin, sintaxis y derivacin) que produce una
divisin terminal en la escritura lineal, un mecanismo tal
que, dado un sintagma conveniente, deba poderse:
i) Distribuirlo en una de las dos mitades (T o NT);
ii) Construir un sintagma mecnicamente obtenido a par
tir del primero por adjuncin de un operador (general-
meitfe llamado negacin) y tal que, si el primero est en
una mitad, el segundo est en la otra.
La condicin i es idealmente 9 satisfecha por los meca
nismos clsicos (teora de los conjuntos o formalizacin
de la aritmtica). La segunda slo lo es por mecanismos
dbiles: un mecanismo fuerte corta tierna ?n.
103
marca.
No obstante, en los sistemas lgicos se construye un
predicado homnimo: existen clculos de la identidad
en los que se marca la no-identidad. Para evitar los desli
ces de lenguaje convendremos en designar igualdad a
ese predicado, notado I(x, y ) (que comnmente se lee: x
es idntico a y).
La homonimia usual disimula, como vamos a mostrar
lo, una relacin de presuposicin que hace aparecer, una
vez ms, la prioridad de lo excluido.
Si se considera, por ejemplo, un clculo del primer
orden (en el que es imposible cuantificar los predicados),
implcitamente se definir la constante predicativa de
igualdad 1 por dos axiomas13 :
I(x, x ) (Reflexividad total)
- I(.r, y ) D \ A ( x ) D A (y)]
Podra creerse que el axioma de reflexividad tematiza
en las escrituras del clculo (a la salida del mecanismo
sintctico) la identidad-consigo, fundadora de una letra
cualquiera. Nada de eso. Lo que hemos convenido en
llamar igualdad-consigo de una variable no es la identidad
donsigo de toda marca. La mejor prueba de ello es que
esa igualdad admite la construccin de su negacin: ~
I(jc, x) es una expresin bien formada del sistema, una
expresin legible.
Sin embargo, sera un error imaginar que ~ I(x, x)
(lase: x no es igual-o idntico-a s) marca en el sistema
-lugar del mecanismo- la impensable no identidad-
consigo del signo y que una expresin como sa (correcta)
organiza la suturacin con el clculo de este impensable.
Al contrario, la existencia significante de ~ I (x, x),
lejos de marcar lo impensado, supone su funcionamiento
sin marca. Es necesario que no se pueda pqnsar que x , en
/
13 En un clculo del segundo orden, en el que los predicados
pueden cuantificarse, la igualdad se definira de manera explcita,
de acuerdo con la instancia icjbniziana de los indiscernibles, en
este caso restringida al orden de los signos: dos variables de
individuo que caen, sin excepcin, bajo los mismos predicados son
sustituiblcs en todas partes, sin que riada marque su diferencia.
Con las notaciones clsicas:
I(x, >>) =df(V a) [a(x) Da(y)\
104
su condicin de marca, es otro que x incluso marca
ubicado 'de otra manera para que ese enunciado sea
lgicamente producido. La simple convocacin-revocacin
de una no identidad consigo de x , el espejeo de su
autodiferencia, bastar para aniquilar Aa existencia escritu-
ral de todo el clculo y, de manera (muy especial, de las
expresiones, como ~ l(x, x ), en la qu' -*_se halla en doble
ocurrencia.
La produccin del concepto lgico de igualdad y de no
igualdad consigo presupone la exclusin de lo no-idntico-
a-s escritural. La falta de lo igual se alza sobre la ausencia
absoluta de lo no idntico.
Sin duda la estructura de un clculo de la identidad
implica, generalmente, la derivacin de la tesis: ~ I(x,x):
es falso que x no sea igual a jc. Pero esta negacin en
rigor, de carencia no marca otra cosa que el rechazo (la
presencia) a la otra mitad (la de las no-tesis) del enuncia
do ~ I(x. x), producido de modo idntico por el mecanis
mo sintctico. Ninguna ausencia se convoca aqu que no
sea la distribucin en una clase antes que en su comple
mentaria, y conforme a las reglas positivas de un mecanis
mo, de lo que el mecanismo recibe de las producciones de
otro.
Esto nos permite relacionar sin infiltraciones ideolgi
cas el concepto de identidad con el concepto de verdad.
Ni la cosa ni su concepto traslucen nada al respecto.
. Pero la verdad es pura designacin cmoda de
un complejo operatorio- significa, si hay que puntualizar
identidad e igualdad:
Identidad: La lgica sostiene con la escritura una rela
cin de la que slo puede recibir las marcas testimoniadas
en la cadena como sustituibles por s mismas en todas
partes. A decir verdad, no importa qu marcas, la funda-
mentacin de cuyo invariable reconocimiento compete a
la tcnica (exterior) de las grafas.
Igualdad: Existe un orden significante (un mecanismo
de derivacin) cuyas compulsiones selectivas son tales, que
los enunciados I(x, x ) y ~ I(jc, jc) se distribuyen en
mitades diferentes. .
Si se desea considerar, dentro de una perspectiva ms
cabalmente logstica, que la produccin .del mecanism-3
105
es el conjunto de las tesis derivables, entonces se dir: el
mecanismo ha sido montado de tal manera que se pro
duzca I(x, x ) y se rechace ~I(x,x).
Estas dos escrituras, no obstante, son producidas con
anterioridad en la misma mitad (la de las expresiones
correctas) por un mecanismo- 2 (una sintaxis), slo a partir
de lo cual puede darse sentido al rechazo de una de ellas
por el mecanismo de derivacin.
Lo no-igual-a-s slo se excluye bajo la condicin de
tener que ubicarse en un orden significante autnomo,
sedimentariamente organizado debajo del que ya no le
hace lugar.
Preservar a cualquier precio, en este punto, la correla
cin de lo igual a s con lo verdadero equivaldra a decir:
la verdad es el sistema de compulsiones que diferencian el
mecanismo-3, que produce el enunciado nico I(x. x), del
mecanismo-2 , en el que se producen de manera simultnea
los enunciados I(x, x) y ~ l(x, x ).
Lo igual-a-s, como salvacin de la verdad, se reduce a
no ser ms que una diferencia entre sintaxis y derivacin,
esto es, entre materia prima y producto; con mayor exac
titud, entre dos mecanismos de seleccin, el segundo de
los cuales es ms fino que el primero.
0 = Ar. ~ I
4. El suplicio de la filosofa
110
La ciencia es el exterior sin ceguera alguna18.
Recprocamente, la estructura significante definida por
la suturacin ser designada en su particularidad (sita a
la carencia), en primer trmino como no-ciencia. La sutu
ra no es, pues, un concepto del significante en general,
sino la propiedad caracterstica del orden significante en
donde viene a atascarse un sujeto. Nominalmente la ideo
loga.
. T-
113
dulces que la miel, se filtraron en mi corazn como una
ola refrescante (Maldoror, canto segundo).
Pues Lautramont, entregndonos la clave de su entu
siasmo, aade soberbiamente: Sin vosotras, tal vez me
habra visto vencido en mi lucha con el hombre .
Efectivamente, nada falta en la matemticas que no
sea desde luego significante: marcas indefinidamente susti
tuidas por si mismas en la complicacin de su embrollado
vagabundeo.
La ciencia es el verdadero architeatro de la escritura:
rastros, rastros borrados, rastros de rastros, movimiento en
el que jams nos exponemos a encontrar ese detestable
rostro del Hombre: el signo de la nada.
114
La subversion infinitsimal
por
Alain Badiou
'
1. Soporte e inocupacin
120
minadas de todo valor determinado5 , con lo que la
indeterminacin de lo posible cuantitativo encuentra su
cierre cualitativo fijo en la invariacin formal de la marca:
en el ejemplo de Hegel, la relacin-^, la barra-.
Lo que Hegel piensa en este texto es el concepto
lgico de variable, pues rechaza, con toda razn, la nocin
de magnitud variable por considerarla vaga e impropia6 .
Efectivamente, la idea de variabilidad de una magnitud
mezcla consideraciones funcionales (variaciones de una
funcin) con consideraciones algebraicas (smbolos litera
rios o indeterminados), y oculta la sustitucin por la
correlacin. Hegel se aplica ms bien al concepto de lo
que, aun cuando relacionado con la cantidad (con el
nmero), no es un quantum. Las letras (die Buchstaben 7 )
son variables segn la diferencia propia que las asigna a los
quanta; tal como en lgica se separan dos listas de smbo
los de individuos, las variables participan de lo Infinito
verdadero, relevo dialctico de lo infinito de iteracin8 .
Cierto es que en apariencia la variable es una encrucija
da de infinitos. Acabamos de ver en qu sentido retiene
anticipadamente los poderes del infinito-punto. Pero por
lo mismo que se la puede remplazar por una constante y
porque se consume soportando las sustituciones virtuales,
parece marcar todos los lugares del campo considerado
que son ocupables por constantes. De all que la variable
podra poner en ndice alfabtico al infinito-soporte. Y
as es como lo entiende Quine en el aforismo ser es ser
el valor de una variable 9 , si el ser de que se trata es la
materialidad de la marca, y el lugar ontolgico es el
espacio de su inscripcin.
No hay, sin embargo, nada de eso. Inscripcin efectiva,
la variable presupone al infinito-soporte como sitio de los
lugares. Ubicada all donde puede sobrevenir una constan
te, pertenece al mismo orden de marcacin que sta y no
5 Idem, ibidem.
6 CL, I, 177..
7 CL, I,.27t.
8 Tomo de i. Detrida la traduccin de A u fhebung por relevo.
9 W. V. Quine, Notes on existence and necessity , J. Phil,
1943.
121
designa su tipo.
Sin duda, la variable marca un lugar construible, aun
que no necesariamente ocupable, del campo. Pero esta
marcacin se anuda a la ley propia del campo, a su
finitud algoritmica. Incluso si inscribo una variable en un
lugar inocupable, no por ello infinitizo el campo, no
trasgredo su regla, estndome permitido tan slo el medio
de inscribir la imposibilidad de lo imposible.
Sea por ejemplo, en el campo de los enteros naturales,
la escritura:
4 X = X
no (4 x = x y x > 4),
3. Marcar lo casi-nada?
10 CL, 1,-346.
11 CL, I, .347.
1 2 CL, 1,-345.
1 3 A. Koyre retoma a este respecto, sin mencionarla, la de
mostracin hegeliana. Vase Bonaventura Cavalieri et la geo
metrie des continus, en Etudes d'histori de la pense scien
tifique (1966). El artculo es de 1954.
125
no una existencia de partes; la multiplicidad en general
slo se plantea en la continuidad como un momento,
rpidamente suprimido 14.
Ni progresin ni regresin. En la epistemologa clsica
hay complicidad de lo atomstico con lo contino.
Y es que, como Hegel lo destaca15, el tomo nunca es
un infinitesimal del continuo. El tomo es el Uno (aritm
tico) cuya proliferacin combinatoria produce, no el con
tinuo, sino la cosa sobre fondo de continuo. El verdadero
principio incomponible del continuo y del movimiento
sigue siendo el vacio, nico espacio de inscripcin de los
Unos, infinito-soporte donde se marca la discrecin ato
mstica. Nada le cuesta a Hegel reconocer en la continui
dad retroactiva del vaco la causa de la combinacin mvil
de los tomos, la continua inquietud de lo negativo que
obliga a lo discreto a determinarse como numeral, o sea,
como cosa tejida con tomos.
De ah que la pareja tomos/vaco -objetivacin fsica
de la pareja discreto/continuo- se constituya excluyendo
toda composicin infinitesimal del continuo mismo: si en
el vaco hay tomos, no hay tomos del vaco.
Simtricamente, la definicin euclidiana de la magnitud
de especie dada prohibe toda detencin del proceso de
incremento-disminucin, cuya posibilidad permanente es
el concepto de magnitud: Se dice que dos magnitudes
(jjey)) estn en relacin (Xyoc) cuando, multiplicadas,
pueden sobrepasarse una a la otra 16. Hegel, intrprete
exacto de las intenciones de la matemtica griega, conclu
ye de ello que un presunto e le m e n to infinito que multipli
cado o dividido nunca pueda igualarse a una magnitud
nita cualquiera no guarda con sta la menor relacin:
Dado que lo infinitamente -grande y lo infinitamente
pequeo no pueden ser, uno, aumentado, y otro disminui
do, ni el uno ni el otro son ya, en rigor, quanta 17.
Esforzarse en pensar los infinitos como tales, o sea, en
m a rc a rlo s a ttulo de nmeros, equivale a establecerse en
14 CL, I, 213.
15 CL, I, 171 y ss.
16 Euclides, Libro V, definicin 4.
17 CL, 1, 267.
126
el Xoyo estricto, en la no-relacin radical. Por lo tanto,
slo se inscribir una marca de infinitesimal, como por
ejemplo d x , en la composicin de una relacin ya dada y
recordando que, al margen de esta relacin, l (el dx) es
nulo (nuilj 18. Nulidad cuya fuerza es absoluta, pues
excluye toda mencin separada del dx. El dx no es nada,
ni siquiera una escritura aceptable, fuera del lugar que le
asigna el .E l dx como marca es adhrente a un blanco
determinado; la barra preexistente de la relacin es lo
nico que posibilita su inscripcin. Para Hegel, esta ante
rioridad de la barra es justamente la calidad de la diferen
cial y, por consiguiente, su infinitud.
Fcilmente se deduce que en el caso de la expresin
infinitamente pequeo , pequeo no significa nada, ya
que fuera de la forma cualitativa de la relacin no es
posible evaluar la magnitud de lo que slo es, dx, una
marca nula. Lo mismo ocurre, observmoslo, en el Anli
sis contemporneo: si la mencin separada de la diferen
cial es la regla, no es precisamente porque sea un quan
tum, sino porque se la toma como operador; por consi
guiente sera absurdo evaluar su magnitud.
Histricamente el proyecto matemtico va, luego, a
despojarse de toda mencin del infinito cuantificado. La-
grange, principal fuente cientfica de Hegel, lo anuncia de
modo expreso en el ttulo mismo de su obra cannica:
Teora de las funciones analticas. Contiene los princi
pios del clculo diferencial exentos de toda consideracin
de infinitamente pequeos, evanescentes, lmites y fluxio
nes y reducidos al anlisis algebraico de las cantidades
finitas .
El gesto de rechazo es constitutivo: la impureza del
clculo diferencial era la marcacin aislada, el vestigio de
lo infinitamente pequeo. La historia de este clculo es,
pues, tambin la de la borradura de ese vestigio.
Resulta notable que tales conclusiones hayan sobrevi
I vido en lo esencial a la refundicin cantoriana, acerca de
la cual ya se sabe que trastorn por completo el concepto
de infinitamente grande. El propio Cantor mostr ser, a
raz del rechazo de los infinitamente pequeos, de una
18 CL, I, .269.
127
intransigencia verdaderamente griega. Y Fraenkel, fiel eco
del maestro, escribe an en 1928: Sometido a prueba
lo infinitamente pequeo ha fracasado rotundamente. Los
diversos infinitamente pequeos tomados en consideracin
hasta ahora y en parte cuidadosamente fundamentados
han mostrado ser totalmente inutilizables para acabar con
los problemas ms simples y fundamentales del clculo
infinitesimal [ . . . ] y no hay razn para aguardar un cam
bio en este terreno. Sin duda es concebible (aunque pueda
juzgrselo, con buenas razones, inverosmil y endilgrselo
a un lejano porvenir) que un segundo Cantor proporcione
algn da un fundamento aritmtico irrefutable a nuevos
nmeros infinitamente pequeos que demuestren ser utili-
zables en matemticas y quiz puedan abrirle un camino
simple al clculo infinitesimal. Pero en tanto nada de ello
suceda [ . . . ] habr que seguir sustentando la idea de que
no es posible en modo alguno hablar de la existencia
matemtica lgica por lo ta n to - de los infinitamente
pequeos en un sentido idntico o anlogo al que se da a
los infinitamente grandes 19.
La extraa violencia de este texto es, pese a las precau
ciones de uso, el sntoma de un afloramiento ideolgico.
La historia del anlisis matemtico se confunde en cierta
parte con la historia, permanentemente contrariada, de la
represin de los infinitesimales. En este punto Hegel slo
es, para retomar una expresin de Louis Althusser, el
explotador filosfico de una coyuntura singularmente du
radera20 .
A comienzos del siglo XVIII, en su ensayo L'Analyste
[trad.] Berkeley haba incoado el proceso sin apelacin de
los fundamentos del nuevo clculo, ahincando en el esla
bn ms dbil de la teora: la extrapolacin de las opera-
128
ciones, definidas para magnitudes finitas, a los pretendidos
infinitamente pequeos . Sabido es que Leibniz soslaya
ba este embarazoso problema con el recurso, tan dudoso
como slido, del postulado metafisico de la Armona:
. . sucede que las reglas de lo finito tienen xito en lo
infinito [ .. .J y que, viceversa, las reglas de lo infinito
tienen xito en lo finito [. . .] y es que todo se gobierna
con razn, y de otro modo no habra ciencia ni regla, lo
que no estara de acuerdo con la naturaleza del principio
soberano21.
No es difcil imaginar que lo sucede ya no satisfaca
a nadie en el siglo XVIII. Tanto ms cuanto que, como
observa Berkeley, el asunto era muy distinto respecto de
los clculos: los infinitesimales tenan, sin la menor duda,
cdigos operatorios .particulares. No haba violencia en
desatender eventualmente los dx, ya en camino, y el
marqus del Hospital formulaba con toda inocencia su
demanda desde el comienzo mismo de su famoso tratado,
que fue el primer manual de clculo diferencial: [Pedi
mos] que una cantidad que slo es aumentada o dismi
nuida con otra cantidad infinitamente menor que ella
pueda ser considerada como siempre la misma 22 .
Ahora bien, puede decirse que tales negligencias
sean reglas de lo finito ? Y qu quiere decir esa marca,
dx que tan pronto cuenta y tan pronto no? Qu ocurre
con- una circunstancial autorizacin de borradura respecto
de una inscripcin, si por otra parte se la tiene por una
constante separable?
Calclese por ejemplo, la diferencia , como se deca
.entonces, del producto xy, conociendo la diferencia dx de
X y dy de y, es decir, los infinitesimales asociados a
cada una de estas magnitudes finitas. Desarrollo (x -F dx)
0' + dy) y encuentro: xy + ydx + xdy + dx dy . Con
relacin a xy tengo, por lo tanto, una diferencia calcu
lada, un incremento igual a y dx + x d.v + dx dy. Para
21 Leibniz. Memorie de 1701 sur le calcul diffrentiel [trud. J.
citada por A. Robinson en Non-standard analysis, Amsterdam.
1966.
22 De l'Hospital. Analyse des infiniment petits pour l'intelli
gence des lignes courbes, liste libro reproduce, en lo esencial, las
ideas de Bernoulli.
129
obtener la clsica frmula d (xy) = x dy + y dx, se me
pide que desatienda el producto dx dy de los dos
infinitesimales. Pero por qu ahora y no desde el co
mienzo mismo del clculo? Si efectivamente, como dice
Hospital, dx dy no es nada junto a x dy, ya que-^f-^-
:Jlf y dx, infinitesimal propio de x, no es nada junto a l,
con mucho mayor razn la suma (x +dx) debe ser iden
tificada, desde el comienzo, con x, de manera que el
clculo ya no tiene sentido. Para Berkeley, la prosecucin
de las operaciones se rompe, pues de camino cambio los
principios mismos de la prosecucin, utilizando la regla de
negligencia slo cuando me viene bien.
Son objeciones al parecer tan consistentes, que a decir
verdad nunca se han visto rebatidas, y como es sabido el
uso de los infinitesimales ha ido progresivamente declinan
do en beneficio de la nocin finitista de limite.
Pero de un modo ms esencial la naturaleza epistemo
lgica del obstculo queda en claro si se observa que la
exclusin de los infinitamente pequeos recae sobre un
infinito-punto relativo a la estructura de cuerpo ordenado
de las magnitudes . Esforzndose en pensar el infinito de
la diferencial, Hegel y todos los matemticos de su tiempo
se desvelan por no puntualizarlo, y sta es la puntualiza-
cin que le repugna a la razn clsica.
En efecto, un elemento (un punto ) infinitesimal dx
vendra a ocupar el lugar inocupable del nmero ms
pequeo que todos los dems, lugar marcado por una
variable como sitio de lo imposible. No hay nmero real
ms pequeo o ms grande que todos los dems. Esto es
lo que plantea la teo ra. de las magnitudes continuas
positivas.
Ahora bien, formularemos la siguiente tesis epistemo
lgica: laa marcacin de un infinito-punto es en la historia
de las matemticas la transformacin en la que se anudan
los obstculos (ideolgicos) ms difciles de reducir.
Hemos visto, por ejemplo, que los nmeros irracionales
y los nmeros complejos eran histricamente presentados
como marcacin de un infinito-punto (races cuadradas
inexistentes ; ecuaciones imposibles ). Sabido es con
qu resistencias choc la introduccin de los primeros en
tiempos de Platn - a l final del Tee teto es una elaborada
130
r
discusin sobre el concepto de elemento mnimo y de
los segundos entre los algebristas italianos del siglo XVI y
la puesta en orden de Cauchy.
Y de hecho, vinculada al forzamiento de los blancos
propios de un campo, la introduccin de un infinito-
punto es un retoque de apariencia irracional, ya que en
una determinada coyuntura terica la racionalidad se defi
ne, precisamente, por el respeto de los blancos, que repre
sentan la nica garanta, variablemente equilibrada, de
diferencia real para el campo. Un matemtico como Ga
lois, cuyo propsito se vincula, justamente, a la teora
algebraica de los infinitos-puntos -teo ra de las extensio
nes de un cuerpo base, ha sealado con toda claridad
que, de establecerse en el silencio constituyente lo no-
dicho de una coyuntura campal, existe la posibilidad de
producir su retoque decisivo: A menudo parece que las
mismas ideas se les presentan a varios a la vez como una
revelacin si se busca la causa de ello es fcil hallarla en
las obras de quienes nos han precedido, en las que tales
ideas quedan prescritas sin que sus autores lo sepan ,23.
Tanto en ciencia cpmo en poltica, quien pone la
revolucin en el orden del da es lo inadvertido.
Pero en el caso de Galois el riesgo corrido fue pagado
con el incomprensible olvido de los acadmicos. Y es que
la refundicin es una violencia terica, una subversin.
La frmula de Lacan segn la cual lo que se excluye
de lo simblico reaparece en lo real se ve aqu interpreta
da de esta manera: en determinadas condiciones, lo ex
cluido propio de una estructura matemtica ya producida
reaparece como marca instauradora del proceso real (his
trico) de produccin de una estructura diferente. Hemos
hablado de la forma alucinante del infinito-punto marca
caduca que gira- porque queramos pasar a donde una
variable, bajo el efecto de una negacin situada, sanciona
lo real, el infinito-punto que un matemtico declara ha
berles hecho gritar con frecuencia, para mejor, a la oscuri
dad, para peor, al demente. Y en primer trmino, caso de
Galois; entre sus colegas, caso de Poisson,
Es concebible que una matemtica que haba proce-23
4 . Lo innumerable numerado
29 CL. 1, 299.
141
una lgica de las marcas, por muy ahtes que puedan
estar de una confusa actualidad cientfica, no dejan de
verse esclavizados por los objetivos de la especulacin.
Solamente stos requieren la supremaca de la cualidad y
el descrdito relativo del pensamiento por algoritmos, del
pensamiento inscrito: del pensamiento estructural.
Que este efecto retroactivo sea a su vez preparado en
toda la historia de la filosofa por una secreta y perma
nente supremaca de lo continuo sobre lo discreto, es cosa
que Hegel declara sin ambages: La variacin de las mag
nitudes variables est determinada cualitativamente y es,
por consiguiente, continua 30. Cualidad y continuidad se
implican, implicacin que ha pesado sobre la historia
misma de los conceptos tericos del Clculo Diferencial y
que en cierto sentido ha gobernado la censura de los
infinitesimales.
Cualidad, continuidad, temporalidad y negacin: cate
goras serviles de los objetivos de una ideologa.
Nmero, discrecin, espacio y afirmacin; o, mejor,
Marca, Puntuacin, Blanco y Causa, categoras de los
procesos cientficos.
As se sealan formalmente las dos tendencias en
lucha, segn Lenin, desde los comienzos de la filosofa.
En lucha en los discursos mismos y formativa de las
elecciones histricas de la ciencia. Lucha entre la materia
lidad del significante y la idealidad del Todo.
Los vestigios infinitesimales fueron en matemtica las
vctimas de esa lucha, no porque contravinieran alguna
intmporalidad formal, sino porque una enredada historia
sostena a la Razn de una poca en su propsito de
excluirlos y de no encadenar a ellos el Infinito.
Que en el acto y el efecto de lo infinito se trate de
disgresiones suplementos escritrales, tal es, en efecto,
lo que se prefera no or, conforme lo demostr Cantor
dos siglos despus de los fundadores del nuevo
clculo31.
30 CL, I. 299.
31 Y como an hoy lo atestigua el increble y grotesco xito
de opinin obtenido por el libro, ampliamente difundido, Cantor a
tort, de G. A. Mtrios: risible sntoma de la obstinacin rcacciona-
142
El regreso imprevisto, en medio de un renovado estu
por, de los infinitesimales32 , si bien se produce demasiado
tarde para el Anlisis -q u e ya no anda, desde luego, en
busca de sus fundamentos o de sus cimientos-, tiene el
inestimable valor de de sintricar de acuerdo con una cien-,
eia lo que, dentro de la orquestada aceptacin de su
rechazo, incumba no tanto a las necesidades del concepto
como a las ilusiones compulsivas, cuya salvacin era im
portante asegurar de manera ideal.
'W
1
1
APENDICE
Acaso causar asombro que afirmemos la conservacin
de los axiomas de un sistema formal para su extensin
trasgresiva, cuando, por ejemplo, R [a] es no-arquimdico
siendo R arquimdico. Pero precisamente se trata de un
i buen ejemplo del carcter formal del procedimiento
En el sistema inicial el arquimedismo se expresa por un
enunciado de este tipo: Para dos nmeros a y b tales
I que a < b siempre existe un entero n tal que b < na.
Formalicemos este enunciado:
145