Escolar Documentos
Profissional Documentos
Cultura Documentos
Introduo
Imposturas intelectuais
H poucos anos, um artigo em uma publicao cientfica provocou alvoroo no meio
acadmico. Isso no seria de surpreender por si s, uma vez que at seria esperado que
publicaes cientficas provocassem discusses acaloradas. Porm, nesse caso, tratou-se de
um artigo, sobre a hermenutica da gravitao quntica, publicado em uma respeitvel
revista, deliberadamente escrito para ser um engodo (SOKAL, 1996). O autor, ferrenho
defensor de uma concepo ortodoxa do discurso cientfico, revelou sua farsa premeditada
imediatamente aps a aceitao do artigo e de sua publicao, provocando, juntamente com a
edio de um livro (SOKAL & BRICMONT, 2001), intenso debate sobre os padres
intelectuais do meio acadmico dito ps-moderno. Sob o fogo do autor encontravam-se
intelectuais, na maioria franceses, como Kristeva, Baudrillard, Deleuze, Guattari, alm de
Jacques Lacan. A inteno de Sokal era a de denunciar, seja o abuso, por parte desses autores,
de conceitos matemticos e cientficos, seja o relativismo epistmico segundo o qual a cincia
moderna no seria mais que uma construo social, uma narrao ou um mito.
Lacan de nenhum modo se enquadraria na segunda acusao. No obstante, o uso que
o psicanalista faz no apelo que tece s mais variadas reas do saber humano, a includas as
matemticas, e nominalmente, lgica e topologia, realmente costuma deixar aturdidos os
seus leitores.
Segundo Sokal, Lacan, que o primeiro na ordem do livro a receber o peso da crtica,
abusaria do uso de conceitos matemticos e cientficos: (1) apresentando teorias sobre as
quais teria parcos conhecimentos, dissimulando sua falta pelo uso de terminologia cientfica
ou pseudo-cientfica sem se importar muito com o verdadeiro sentido dos termos, (2)
importando conceitos das cincias naturais para as cincias humanas ou sociais sem prover a
1
menor justificativa conceitual, (3) mostrando uma erudio superficial, por lanar a esmo
termos tcnicos fora de contexto, na tentativa de intimidar o leitor leigo e (4) manipulando
frases que so, de fato, sem sentido.
Sokal e Bricmont criticam, apresentando trechos de publicaes lacanianas,
especificamente A topologia psicanaltica e o uso da lgica, indicando em seus
comentrios que:
Lacan no fornece nenhum argumento para sustentar sua peremptria assero
segundo a qual o toro exatamente a estrutura do neurtico. Alm do mais,
quando indagado se se trata simplesmente de uma analogia, ele nega (SOKAL &
BRICMONT, 2001, p. 33).
algumas das conexes entre psicanlise e matemtica, supostas implcitas em Lacan, que aqui
se trata de discutir.
Os argumentos na defesa de Lacan costumam passar pela tenso, estabelecida desde o
prprio psicanalista francs, entre a psicanlise e a cincia moderna e, explicitamente, pelo
esforo lacaniano, via a influncia de Kojve e de Koyr, de encontrar na matematizao ou,
mais pontualmente, na literalizao, o caminho de insero da psicanlise. Alm desses, o
recurso
matemticas
tambm
encontraria
lugar
na
preocupao
referente
Ver, a respeito, COSTA, Newton Carneiro Afonso da,. Introduo aos fundamentos da matemtica. So Paulo:
Hucitec, 2008.
Segundo o logicismo, toda idia matemtica poderia ser definida atravs de conceitos
lgicos, como o prprio conceito de conjunto ou aquele de relao, mas, alm disso, todo
enunciado matemtico s poderia ser considerado verdadeiro mediante sua demonstrao por
procedimentos e princpios puramente lgicos, estabelecendo a lgica como pilar de toda a
matemtica.
Por outro lado, a corrente formalista, cujo principal representante foi David Hilbert
(1862-1943), nega que os conceitos matemticos possam ser reduzidos queles da lgica,
vendo a matemtica como a cincia da estrutura dos objetos. O matemtico estudaria as
propriedades de seus objetos to somente atravs de um sistema apropriado de smbolos
relevando os aspectos destitudos de importncia dos sinais que emprega. Desde que disponha
de um sistema adequado, o matemtico no precisaria mais se preocupar com seu significado
mundano, pois ele poderia verificar, nos prprios smbolos, as propriedades sob estudo.
Rompe-se uma relao de correspondncia entre o significado e mundo, acentuando-se to
somente o aspecto de consistncia que a teoria em apreo deve apresentar, no que, h que se
destacar, essa corrente adota uma posio epistemolgica radicalmente distante do empirismo.
A corrente formalista, portanto, acentua as caractersticas formais da linguagem empregada,
supostamente independente dos significados que se possa atribuir aos smbolos matemticos.
Da a acusao comum sofrida pelos formalistas de transformar a matemtica em um mero
jogo de smbolos sem sentido, da qual os formalistas se defendem afirmando que o
matemtico apenas no leva em considerao as significaes envolvidas, permitindo-lhe
elaborar estruturas puramente abstratas cuja convenincia seria a de poder estudar qualquer
seja verdadeira ou a de que seja falsa (p p). Porm, justamente esse princpio do tertium
non datur rejeitado pelo intuicionismo. No aceitvel a prova de uma proposio p pela
eventual rejeio de sua negao, com o que o intuicionismo tambm se ope a outro
princpio lgico fundamental, o princpio da dupla negao (p p). Essas consideraes
levaram ao desenvolvimento de uma nova lgica, por Arend Heyting (1898-1980), discpulo
de Brouwer, a lgica intuicionista, cujo papel ainda veremos no desenvolvimento deste
trabalho.
De fato, a matemtica intuicionista, que no deve ser confundida com a lgica de
mesmo nome, ainda mais rigorosa que suas concorrentes, tornando extremamente difcil seu
desenvolvimento, sendo essa uma das razes de sua pouca aceitao. No obstante, a dura
crtica de Brouwer, especialmente a Hilbert e aos formalistas, tambm considerada uma
fonte primria do desenvolvimento do formalismo que, levando-as a srio promoveu avanos
significativos em seu campo.
Na outra direo, a crtica intuicionista ao logicismo leva ao afastamento entre a
matemtica e a linguagem, ao ponto mesmo de Brouwer sustentar que a atividade matemtica
independe da linguagem em que se expressam suas proposies. A intuio, mesmo
considerada em um carter essencialmente racional, capaz de apreender os nmeros naturais,
levada a um extremo to grande por Brouwer que a matemtica intuicionista corre o risco de
ser subjetiva, na acepo pior dessa palavra.
Em nosso caso, no me parece que seja necessrio que se adote uma posio quanto s
diferentes escolas, mas que se reconhea que entre a lgica dos logicistas e a axiomtica dos
formalistas, com a teoria dos conjuntos figurando em ambas as escolas, situa-se a raiz da
matemtica, seu fundamento, em que nos baseamos neste trabalho. Parece que devemos, no
entanto, nos afastar do intuicionismo, e mais nominalmente de sua posio em relao
9
linguagem, mas sua sombra e crtica, como tambm a lgica que dele se derivou devero nos
manter animados em nosso percurso.
De qualquer modo, ocorre que a relao entre a lgica e a teoria dos conjuntos
axiomatizada macia, dificultando sobremaneira esta exposio, voltada primordialmente a
afeitos psicanlise, e no forosamente doutos nas matemticas. Uma opo seria a de
introduzir alguns conceitos bsicos de ambas as disciplinas, de modo a estabelecer um solo
comum, de onde partiramos. Essa possibilidade apresenta o inconveniente de manter, por um
tempo ao menos, um nvel de abstrao tal que rapidamente promoveria o desinteresse de meu
leitor, assim o imagino. Alm do mais, alguns dos conceitos a que pretendo me referir no so
de maneira alguma bsicos, fazendo com que os prembulos necessrios sejam demasiado
extensos. Tal perspectiva, ainda, tomaria parte importante deste trabalho, transformando-o em
um mini-curso de matemtica, ao que no estou propriamente habilitado. No obstante, faz-se
necessrio discorrer minimamente sobre os conceitos envolvidos, que so, de fato, o estofo
deste trabalho, uma vez que minha inteno permanece sendo a de inquirir e talvez mostrar a
existncia dos fundamentos para o emprego da matemtica em psicanlise.
Sob outro enfoque, metodolgico agora, devo manter a perspectiva de que no a
psicanlise que deve oferecer uma interpretao matemtica, encontrando nela seus
referentes, mas, bem ao contrrio, a matemtica quem deve se apresentar como interpretante
e, para tanto, os conceitos envolvidos devem se apresentar de modo claro ao leitor.
Certo, infelizmente, de no poder atender a solicitaes opostas, vou tentar, esperando
minimizar os prejuzos, me ater to somente aos conceitos aqui pertinentes, deixando lacunas
naturalmente importantes no que toca a matemtica. Contando com a indulgncia do leitor,
espero, mesmo assim, promover seu interesse e, to importante, expor minha tese.
De maneira extremamente sucinta, eis as grandes vias pelas quais convido-o a me
acompanhar:
10
No prximo captulo, minha inteno apresentar uma discusso epistmicometodolgica que aborde alguns dos problemas que considero essenciais para o
desenvolvimento de minhas afirmaes quanto ao significante e a matemtica, ou a uma parte
dela. No creio que minha posio seja a nica e como aqui me exponho crtica de quem
assim o quiser, tambm exponho a minha com relao a algumas posies consideradas
lacanianas. Enfrentarei a seguir algumas objees epistemolgicas na tentativa de propor
sadas dentro mesmo do campo da matemtica, referindo o caminho a ser trilhado teoria dos
conjuntos, de onde emerge a topologia, e lgica, alm da teoria dos modelos, sem ignorar
que tambm a epistemologia capaz de oferecer seus argumentos em favor de minha
iniciativa.
No captulo III tentarei mostrar que a teoria do significante que Lacan constri,
baseada no estruturalismo saussuriano, e a teoria dos conjuntos, desenvolvida no final do
sculo XIX, apresentam similaridades to importantes que poderamos dizer que ambos os
conceitos tratam do mesmo assunto. Aos axiomas da teoria dos conjuntos podem-se fazer
equivaler problemas homlogos na psicanlise, na medida em que o significante a referido.
Porm, tambm l onde a axiomtica claudica que procuraremos nos deter, apontando a
emergncia da subjetividade onde talvez no fosse esperada. Assim, tambm nos deteremos
sobre aspectos que rompem com a estrutura, apontando, com o conceito de evento e em suas
conseqncias a localizao daquilo que propriamente subjetivo.
No captulo IV procurarei abordar as relaes entre o significante e o segundo domnio
matemtico considerado essencial, a lgica, mostrando como certas relaes de significao,
tidas como relaes entre significantes, so capazes de se apresentar em termos lgicos e
mesmo passveis de formalizao. Figuras de linguagem e operaes logicamente definidas
no seriam estranhas umas s outras nessa proposta de aproximao. Porm, a questo da
11
13
14
II.1.
15
Nominalmente, movidos pela exortao lacaniana de que no se trata de compreender, nem os analisantes, nem
a prpria teoria, vez que compreender, por se situar no campo do sentido, remeteria ao registro do imaginrio e,
portanto, do engano. Recuperando uma dicotomia cara epistemologia, na suposta oposio entre as cincias do
homem e aquelas da natureza, segundo a qual nas primeiras a compreenso seria privilegiada, ao passo que nas
segundas, o que se busca seria menos a compreenso do que a explicao, arrisco-me a dizer que se a meno
topologia em um apelo rigoroso faz sentido, ento estamos no campo da explicao: trata-se de saber por qu?
16
relaes que as palavras suporte intuitivo no definem (ibid., p. 38). Ainda assim, a porta
da intuio permanece aberta para Granon-Lafont, que, a propsito, invoca Lacan:
A intuio, sob a pena de Lacan, remete s qualidades prprias da topologia na
medida em que ela trata da apreenso global do espao. A psicanlise, como
esclarecimento da estrutura do falesser, pe em cena o prprio espao no qual a
topologia encadeia seus fenmenos (GRANON-LAFONT, 1990, p. 38).
17
Bem entendido, Nasio no ignora que os objetos topolgicos com que o psicanalista
trabalharia, segundo a indicao de Lacan, de fato no existem seno imersos em nosso
espao tri-dimensional, razo pela qual o autor reitera que os psicanalistas no trabalham com
a topologia geral, nem mesmo com a topologia algbrica, mas com uma topologia
particularssima, mostrativa e fantasmtica: No trabalhamos com equaes, nmeros e
letras, seno com tesouras e borracha (ibidem). Os objetos topolgicos de Lacan seriam uma
espcie de dramatizao dos paradoxos, ou dos contrastes conceituais entre demanda e desejo,
no toro, entre o sujeito dividido e seu dizer, na banda de Mbius, ou entre o sujeito e sua
relao com o objeto do fantasma, no plano projetivo.
A despeito de meu apreo pelas formulaes de Nasio, em outros textos, aqui no
posso seno discordar. Se for necessrio redefinir o nome da disciplina, ento no se trata de
topologia, podemos conjuntamente reconhecer. Porm, se a topologia est de alguma forma
envolvida, a nica forma que tenho de entender o autor pelo efeito de interpretao que a
topologia oferece psicanlise, e no no sentido inverso como quer Granon-Lafont. Nasio,
parece-me, apresenta-a nessa curiosa dramatizao que culmina com um psicanalista, uma
banda de Mbius partida em uma das mos, tesoura na outra, a dizer este o sujeito! Se o
efeito imaginrio no pode ser removido, pelo prprio uso da linguagem, e mesmo daquela
matemtica, concedamos, porque tambm nessa ltima procedemos a interpretaes, sem o
que de nada serviria o manejo dos nmeros, letras, tesoura ou borracha. Se o desenvolvimento
de um novo imaginrio como representao topolgica de um real psquico est no
horizonte, no creio ser necessrio que isso se d em detrimento de um fundamento material,
ou que a topologia, em Lacan, a esse imaginrio se reduza. No obstante, a idia de que a
topologia que interpreta a psicanlise merece ser retida.
Jacques-Alain Miller (1996), por sua vez, apresenta-se como um defensor da corrente
mais rigorosa, e seu argumento inicial parte da afirmao que a topologia no pode ser
18
extrada do ensino de Lacan (p. 73), no porque ela seria demasiado rida, desinteressante ou
supostamente desvinculada da experincia psicanaltica, mas simplesmente porque sua
referncia aparece no ensino de Lacan desde seus primrdios, que Miller localiza em 1953,
com o Discurso de Roma. O resgate de Miller vincula a existncia de uma topologia, seja de
uma topologia do significante, seja de uma topologia do sujeito, s relaes entre o
significante e a morte, funo que seria instalada no cerne da experincia da palavra (ibid.,
p. 74). Que se afirme a partir da que nada se pode atingir do sujeito antes da palavra a no
ser, precisamente, sua morte, sua mortificao significante (ibidem), atravs do que
expresses espaciais que j se tornaram lugar comum entre lacanianos parecem tomar
consistncia, como a de excluso interna, ou de um centro exterior, ainda no permite, no
entanto, localizar plenamente a topologia como mais que uma metfora, a despeito da
afirmao do autor, dentro do mesmo argumento, de que: o que verdadeiramente especfico
de Lacan o fato de no se contentar com o que aqui faz metfora, e assim implicar a
estrutura que funda essa disposio espacial (ibidem). E Miller perde, nessa passagem o
recurso palavra e ao significante, que ele no deixa de indicar.
Que a topologia, para Lacan, no seja uma metfora, que ela represente a estrutura
(ibid., p. 78), ou que ela seja de certo modo o real mesmo em jogo na experincia, que seja a
coisa mesma, fundamenta-se, segundo Miller, no fato de que a topologia de Lacan ele
prprio insistiu nisso integralmente redutvel a uma combinatria (ibidem).
Isso faz parte do mesmo captulo concernente a tpica do significante. O grafo
elementar, o esquema Z, o esquema das letras alfa e beta, o grafo em dois nveis so
combinatrios e fazem parte da mesma srie, sem esquecer a combinatria dos
quatro discursos. Todos esses exerccios podem ser subsumidos pelo termo
combinatria, o que permite observar que a topologia no isolvel no ensino de
Lacan (MILLER, 1996, p. 79).
Eidelsztein (1992), por exemplo, traa uma distino entre aquilo que ele considera
modelos, em certa acepo, e os esquemas e grafos de Lacan. Para esse autor, os modelos,
como o modelo tico, do buqu invertido, que surge poca do Seminrio I, sobre Os escritos
tcnicos de Freud (LACAN, 1953-1954 [1979]), e que Lacan utiliza diversas vezes ao longo
de seu ensino, no seriam propriamente topolgicos, mas essencialmente analgicos
(EIDELSZTEIN, 1992, p. 28), ao passo que os esquemas, como o esquema L, do Seminrio
II, O eu na teoria de Freud e na tcnica da psicanlise (LACAN, 1954-1955 [1985]), os
esquemas Z, R e I, todos do escrito De uma questo preliminar a todo tratamento possvel da
psicose (LACAN, 1957a [1998]), esses seriam topolgicos, j que so geometrizaes
topolgicas, qualitativas e no numricas, de noes psicanalticas expressas como pontos e
suas relaes como segmentos ou vetores (EIDELSZTEIN, 1992, p. 29). Porm, comenta
Eidelsztein, h ainda que diferenciar os dois primeiros esquemas, o L e o Z, dos dois outros, o
R e o I, j que esses ltimos implicam em superfcies, ao passo que os dois primeiros no.
Assim, entre os esquemas, haveria aqueles propriamente topolgicos e aqueles nem to
topolgicos assim, sendo a delimitao de superfcies seu crivo. Enfim, os grafos lacanianos
seriam indubitavelmente topolgicos, entre outras razes por sua implicao na concepo
de lugar ou espao.
Concordando com Eidelsztein de que dificilmente todos os modelos, esquemas, grafos
e matemas poderiam ser enquadrados sob a mesma rubrica topolgica, no creio, entretanto,
que a classificao proposta incida definitivamente sobre a questo. Mostrar que o grafo do
desejo de Lacan no planar, ou que ele apresente a estrutura para no dizer meramente a
forma de um oito interior, ainda que interessante, no sustenta, por si s, a meu ver, a
necessidade da topologia ou sua pertinncia psicanlise. Em uma frase, falta o porqu.
Reportando-nos aos matemas dos discursos, como um exemplo que Eidelsztein no
inclui em sua classificao, costuma-se comentar que eles so montados a partir de uma
20
estrutura derivada de um grupo de Klein, um subgrupo dele, com efeito, e que a teoria dos
grupos teria algo a ver com uma lgebra e esta, por sua vez, com uma topologia, mas o
parentesco, como se v, no imediato. No posso discordar de que possivelmente haja uma
relao topolgica em jogo nos matemas dos quatro discursos, como exemplo, mas ela no
imediata pela mera referncia ao uso da teoria dos grupos em matemtica, e dele no se extrai
imediatamente que os discursos sejam topolgicos ou que a topologia seja essencial
psicanlise.
O argumento de Miller, no obstante, a meu ver, se fortalece com a afirmao de que
a topologia se sustenta no significante (MILLER, 1996, p. 79). Com a ressalva, includa por
Miller, de que no devemos supor que todo o campo da psicanlise se restrinja ao que
significante, e que h solidria, mas distinta, e ainda por se articular em termos topolgicos, a
teoria das pulses, a afirmao de que a sustentao da topologia, em psicanlise, acontece
por meio do significante vai mais diretamente ao ponto central. Seno por outros motivos,
porque a teoria do significante que sustenta, em larga medida, para Lacan, a teoria do sujeito
e, com ela, a prxis psicanaltica.
No entanto, a seqncia de Miller no faz jus a essa linha e o que se formula em
seguida que o que h de comum entre a combinatria, a topologia e at a teoria dos
conjuntos que tudo isso se sustenta em duas dimenses, s tem a necessidade de duas
dimenses para funcionar (ibidem). Essa afirmao perece-me desprovida de cabimento e
no se sabe de onde Miller teria extrado, se que essa era a sua inteno, a idia de que a
teoria dos conjuntos, ou de que a topologia se sustentaria em apenas duas dimenses, quando,
bem ao contrrio, com a possibilidade de espaos multidimensionais que a topologia
trabalha. E basta abrir uma livro de topologia para constat-lo, por exemplo, na insistente a
apario do smbolo n, que, no expoente, diretamente remete ordem das coisas envolvidas.
21
Porm, se como quer Lacan com suas superfcies, efetivamente se trata de espaos bidimensionais, isso resta a fundamentar.
Dizer, com suposto fundamento topolgico, que no h interioridade ou profundidade
quando se trata do inconsciente, por ser esse bidimensional, criticar a metfora do
inconsciente como interior, ou profundo. Porm, argumentar, com o apelo ao toro, como
lembra Miller, que a exterioridade perifrica e a exterioridade central constituem uma nica e
mesma regio, supostamente fundamentando assim a excluso interna, corrompe a idia
topolgica do toro como superfcie, como espao bi-dimensional3, ao qual no h nada que se
possa dizer que seja exterior. A figura do toro, a, no seria seno uma ilustrao. Um espao
definido por aquilo que contm; no h o fora-do-espao. Se um toro tem a forma que tem,
por exemplo, a de um pneu, e se o vemos assim, porque ns o submergimos em um espao
como aquele com o qual estamos acostumados, o de trs dimenses, e nele um toro se parece
com um pneu. Como espao prprio, o toro no tem exterior, sua superfcie sendo a nica
coisa definida em seu espao. Se for necessrio recorrer ao espao tri-dimensional para
qualquer referncia que se queira forma trica, j no se trata mais do espao do toro, mas
de outro, no mais bidimensional. Assim, falar do toro, como topologia, aludindo-se a seu
exterior deixa de ter sentido em sentido topolgico estrito. Nada impede que se desprenda um
sentido interpretativo, entretanto, como faz Nasio, e mesmo que isso transmita algo. Ocorre,
vale dizer, que a Lacan (1953 [1998]) no foi descuidado, aludindo especificamente forma
tridimensional do toro (p. 322) e no, portanto, ao toro como superfcie. Mesmo assim,
podemos conceder que se no uso figurativo, esse espao de excluso interna faz meno a um
lugar ocupado pelo objeto a, sua verso estritamente topolgica, bi-dimensional, em que esse
espao interno-externo do pneu simplesmente no existe, pode ainda preservar a meno ao
A alternativa propriamente topolgica do toro como um espao bi-dimensional aparece no toro como um
espao de dimenso quatro, formado, como costuma ser sua construo, pelo produto de dois espaos de duas
dimenses
22
objeto a, no mais como um lugar, mas como a prpria causa da deformao que faz da
superfcie um toro. Dito de outra maneira, se o uso imagtico mostra o toro como essa rosca
cujo furo eis suas caractersticas - seria ocupada pelo objeto a, o uso estritamente topolgico
do toro dir que o objeto a seria a causa da deformao da superfcie. H lugar para as duas
formulaes que, no entanto, no devem ser confundidas do ponto de vista formal.
Malgrado o passo rpido, no se pode discordar de Miller quanto topologia como
espao de combinatrias, um espao simblico onde se articulam significantes, onde eles se
desenvolvem em suas cadeias e que, efetivamente, nada tem a ver com nenhum espao da
intuio (MILLER, 1996, p. 82), em que a relao entre a topologia e o significante aparece
com proeminncia, mais alm de sua composio combinatria.
Outra maneira de afirmar que a topologia se sustenta no significante, tambm indireta,
ocorre na tese de que:
O significante sempre composto segundo leis de uma ordem fechada, isto , as
unidades significantes invadem umas s outras h tambm relaes de
envolvimento e preciso para tudo isso um substrato topolgico que a cadeia
significante de anis cujo colar se fecha em outro colar, etc. (MILLER, 1996, p.
86).
24
Grifo meu
25
Com efeito, uma dupla precipitao dizer que o espao conformado por significantes
escaparia topologia, e no somente pelo argumento de Darmon, de que no est
imediatamente implicado que os conjuntos significantes formariam uma topologia discreta,
como ainda na crtica de que topologia interesse to somente o domnio do contnuo. Se,
deveras, espaos contnuos gozam de muitas propriedades, no por ser eventualmente
discreto que um espao no seja topolgico ou que desinteresse topologia.
O autor prossegue:
(...) efetivamente, os significantes so puras diferenas, e a diferena entre dois
significantes um significante, se bem que seria preciso conceber um espao onde
os pontos no so idnticos a eles mesmos, e, por outro lado, dar conta do fato de
que, entre dois desses pontos, h sempre outros pontos. a caracterstica totalmente
estranha e paradoxal do significante apresentar manifestamente unidades, mas essas
unidades so impossveis de se apresentar como tais (DARMON, 1994, p. 163).
26
Concebemos que uma tal abordagem fsica da topologia seja espantosa, e mesmo
dificilmente aceitvel por um leitor de Lacan habituado a um percurso at ento
mais metonmico, e valendo-se da riqueza da linguagem potica (DARMON,
1994, p. 145).
Porm, por mais espantosa que possa parecer, essa abordagem fsica, realista, de
Lacan, ela no faz seno suportar a afirmao da topologia como estrutura ela mesma, e,
portanto, fundamentada, tambm materialmente. Dado que o nico suporte material de um
tratamento psicanaltico se encontra na palavra, seja o significante, a concluso se impe de
que este que respalda a hiptese topolgica em Lacan. No obstante, ainda que apontada em
diversos momentos, faz falta uma mais contundente justificao do significante como suporte
para a topologia.
Eidelsztein (2006), em La topologa en la clnica psicoanaltica, como mais um
exemplo do desenvolvimento das relaes entre os dois campos, mostra uma viso
interessante que, e somente a ttulo de apresentao, poderamos denominar de pragmtica,
independentemente de o prprio autor design-la como tica. Declarando que seu exerccio da
psicanlise tem uma forte vertente teraputica, sem que nos atenhamos ao sentido exato do
termo, e apenas resgatando sua conexo com o exerccio clnico, Eidelsztein afirma que a
pertinncia da topologia psicanlise somente se justifica na perspectiva clnica. Seu desafio
o de verificar se a topologia contribui, no para uma teoria mais sofisticada ou mais bem
apresentvel nos crculos intelectuais da psicanlise, seno para os resultados clnicos que se
poderia obter a partir de sua incluso em nossas conceitualizaes; se as curas seriam, a partir
de ento, mais exitosas e se produziriam efeitos mais radicais (ibid., p. 12). Ou ento:
Verificar se mediante a anlise da relao entre a psicanlise e a topologia
logramos obter respostas satisfatrias exigncia racional para os problemas que
nos so colocados na prtica da psicanlise (EIDELSZTEIN, 2006, p. 11).
O que, parece-me, uma justificao legtima para seu interesse, que igualmente o
meu.
27
28
Grifo meu
29
no mais estrutura ela mesma, como quer Lacan. Na outra via, fica obscura a razo pela qual
ela apresentaria a boa capacidade de evidenciar a estrutura subjetiva.
No digo, com isso, que haja um desconhecimento do que poderia se apresentar como
suporte para essa relao, suposta essencial, entre a topologia e a psicanlise. Korman
tambm reconhece que:
(...) a lingstica saussureana um dos pontos de partida de Lacan -, ao se
fundamentar no jogo das diferenas e dos lugares mais especificamente, das
diferenas em funo dos lugares -, est imersa, de maneira plena, em princpios
topolgicos (KORMAN, 2004, p. 282).
O que esses autores parecem deixar passar, no entanto, que a topologia, antes de ser
uma cincia dos espaos, o que qualquer livro de matemtica que aborde o tema no faz seno
destacar, tem seu fundamento na teoria dos conjuntos. Apresentar, ou no, uma topologia
uma propriedade de uma coleo de conjuntos. Assim, se forosamente a partir do
significante, como diz Darmon, que a topologia se justifica, ou, seguindo Miller, se a
topologia se sustenta no significante, ou ainda, como quer Korman, que a relao se d pela
entrada da lingstica saussuriana, o fundamento do emprego da topologia deve residir no
enquadre do significante na teoria dos conjuntos. Esse, parece-me, o passo elidido por todos
os autores mencionados. Seria possvel que esse aspecto seja to auto-evidente que nem
30
sequer se justifique sua meno? Fao a aposta de que a obviedade da origem dessa relao
entre psicanlise e topologia ainda merece alguma ateno.
Sob outra perspectiva, percebe-se tambm uma disparidade quanto concepo da
relao entre psicanlise e topologia. O que este trabalho tenta sustentar que se o
significante, por apresentar a prpria estrutura de conjunto, que d o fundamento para essa
relao, ento a topologia modelo, no sentido matemtico do termo. Dito de outra maneira, a
topologia interpreta a psicanlise, o que vai em sentido estritamente oposto queles que
tentam interpretar a topologia mesmo se for necessrio dizer que se trata de uma topologia
lacaniana a partir da psicanlise. Essa diferena, como sugeri, da mesma ordem que aquela
suposta entre a psicanlise como clnica e aquela dita aplicada. No difcil reconhecer que
ao utilizar uma teoria qualquer, mesmo a psicanaltica, como chave de compreenso, acaba-se
reconhecendo por todas as partes, reencontrando em todos os lugares, aquilo que j se tinha
em vista desde o incio. Como diz um adgio popular, para quem tem um martelo na mo,
tudo prego.
Interpretar a psicanlise pela topologia no encontrar no toro as voltas contnuas da
demanda, mas, ao contrrio, encontrar na demanda a repetio das voltas que desenhariam um
espao trico. No tampouco encontrar na banda de Mbius todos os aparentes paradoxos
que renem e separam saber e verdade, dentro e fora, sujeito e objeto, mas seguir o sentido
inverso e verificar, mas no necessariamente, e est a o potencial do emprego da topologia,
se a banda uniltera mbiana efetivamente realiza o que a teoria preconiza, isto , se ela
realmente sua estrutura.
31
II.2.
Genealogias
Na busca dos fundamentos que garantiriam o uso da topologia pela psicanlise, por
parte de Lacan, outros autores procuram oferecer argumentos. Burgoyne (2002), por exemplo,
refaz o traado de influncias dos mestres e contemporneos de Lacan e de Freud6 para
mostrar que, nesses, no somente a metfora do espao j estava presente nas formulaes
sobre o psiquismo, como ainda ter sido atravs do questionamento dos prprios fundamentos
da matemtica que os tericos em questo chegaram s proposies que aproximaram os dois
campos aparentemente to dspares. Burgoyne aponta como tanto Lacan, na Frana, como
Imre Hermann, na Hungria, dois psicanalistas contemporneos que se esforaram em
aprofundar as relaes entre a psicanlise e a matemtica, sofreram, em sua formao, as
influncias dos psiquiatras Minkowski e Biswanger e como esses, ambos, tm no espao uma
referncia fundamental7. A despeito de terem, ambos, excludo a matemtica, ou as
consideraes propriamente matemticas, de suas proposies, mantendo o espao como
metfora, a abordagem fenomenolgica que os levou a trazer a terminologia topolgica,
presente em termos no somente como interior e exterior, por demais corriqueiros, mas
aqueles de continuidade, conectividade e ordem, mais especficos, poderia indicar, caso se
aceite a proposta fenomenolgica, a estrutura mesma de que se trata.
Segundo o autor, tanto Hermann, quanto Lacan teriam resgatado essa referncia
espacial e procurado restaurar sua matematicidade. Hermann, por seu lado, formulou a tese de
um estrito paralelismo entre as estruturas nos domnios do amor e da matemtica,
No deixa de ser interessante a lembrana proporcionada por PRIBRAM (1998, p. 14) de que Helmholtz, tido
em alta estima por Freud, haveria escrito a Poincar perguntando-lhe Como percebemos os objetos e que tipo
de tratamento matemtico poderamos supor?, ao que o matemtico teria respondido Use a teoria de grupos.
Ento, Lie, outro matemtico, teria escrito a Poincar com o seguinte comentrio: O que voc disse ao
Helmholtz sobre teoria de grupos? Ele usou a teoria de grupos errada... isso no vai funcionar. Ele usou grupos
descontnuos e deve-se ter grupos contnuos para formar a percepo de objetos. Inventei a teoria de grupos
contnuos justamente para solucionar esse problema. O que se ressalta , naturalmente, a presena das
matemticas na discusso com a neurologia em poca de intensa discusso interdisciplinar.
7
importante mencionar, no entanto, que no s a psicanlise lacaniana que faz apelo s matemticas,
nominalmente topologia no estudo e teorizao dos fenmenos mentais. Sirag (1996), por exemplo, sugere um
complexo modelo que se relacionaria conscincia utilizando matemtica, topologia e teoria quntica.
32
Outra genealogia traada por Burgoyne, e que dessa vez refere-se a Freud, parte de um
filsofo escocs, Dugald Stewart, comentado, por sua vez, por John Stuart Mill. Freud, em
seu Estudo sobre as afasias (1891), prope uma estrutura concernente linguagem,
posteriormente aproveitada em seu Projeto para uma psicologia cientfica (1895), na qual
uma palavra seria uma apresentao complexa, ou que palavra corresponderia um
complicado processo associativo no qual se renem elementos de origem visual, acstica e
sinestsica. Uma palavra adquiriria seu significado ligando-se a uma apresentao do objeto.
A prpria apresentao do objeto , mais uma vez, um complexo de associaes
formado por uma grande variedade de apresentaes visuais, acsticas, tteis,
cenestsicas e outras. A filosofia nos diz que uma apresentao do objeto consiste
simplesmente nisso que a aparncia de haver uma coisa de cujos vrios
atributos essas impresses dos sentidos do testemunho, deve-se meramente ao
fato de que, ao enumerarmos as impresses sensoriais que recebemos de um objeto,
pressupomos a possibilidade de haver grande nmero de outras impresses na
mesma cadeia de associaes (J.S. Mill). Assim, a apresentao do objeto vista
como uma apresentao que no fechada e quase como uma que no pode ser
fechada, enquanto que a apresentao da palavra vista como algo fechado, muito
embora capaz de extenso (FREUD, 1915b, pp. 221-222)
II.3.
Vontade de cincia
36
a partir dessa posio que Lacan (1965) postula que o sujeito sobre o qual
operamos em psicanlise s pode ser o sujeito da cincia. Porm, como comenta Milner
(1996), afirmar que um sujeito moderno difere de outro, anterior, independentemente do
indivduo empiricamente observvel, e que o advento da moderna cincia seria o responsvel
por esse corte, sustentar, ao mesmo tempo, que o sujeito efeito de um discurso o sujeito
moderno efeito do discurso institudo pela modernidade, isto , pela forma de pensar trazida
por Descartes , mas tambm que h um corte epistemolgico entre o antes e o depois de
Descartes; que entre os lados do corte no h sinonmia, seno meramente homonmia.
Porm, como acentua Milner (1996, p. 69), a presena de cortes implica a existncia de um
conjunto de realidades que permanecem imunes aos cortes. Se a lngua aquela apontada
como imune aos cortes que fazem histria, na condio, ainda seguindo Milner, da lngua
como forma que esta permaneceria refratria aos cortes.
Ora, se a cincia foi passvel de cortes significativos, segundo o autor, o mesmo no se
pode dizer quanto s matemticas. A fsica, tomando o modelo da cincia ideal como
exemplo, ao longo de sua histria sofreu profundas transformaes em sua forma, mas no h,
segundo a maioria das autoridades, ruptura absoluta entre a matemtica grega e a matemtica
cartesiana ou cantoriana; h diferenas, por certo, mas nada que se compare quela que se
verifica na fsica antes e depois de Galileu. Dessa forma, seria a matemtica como referente
exterior s transformaes verificadas na cincia o que permitira medir o alcance e funcionar
como baliza de cada corte. V-se, ento, que a matemtica tem estritamente o status de uma
lngua (MILNER, 1996, p. 71), o que, reala o autor, no somente se tornou prevalecente
entre os modernos, mas j estava presente em Galileu, que queria a matemtica como alfabeto
do universo.
Essa diferena em sua temporalidade faz com que cincia e matemtica, portanto, no
se confundam, e a utilizao da segunda pela primeira no as reduz uma a outra. A separao
37
que organiza cincia e matemtica aquela que igualmente separa um discurso de uma
linguagem. Teria sido por essa via que Lacan haveria se interessado pela linguagem para,
segundo Milner (1996, p. 73) abandon-la logo no instante em que nela se detm, buscando,
a partir da o ponto de referncia absoluto, o qual no seria nem a linguagem em si, nem as
lnguas nas quais se polimeriza, mas aquilo de que a linguagem, reduzida a seu real, o
substituto. Isto , o sujeito (ibidem).
De maneira estritamente anloga, teria sido por esta via que Lacan, em uma franca
declarao de adeso cincia assim concebida, haveria feito sua opo pelo estruturalismo,
como aquele capaz de abraar o doutrinal da cincia.
Projeto antigo, podemos situ-lo j no incio de seu ensino, poca de Funo e
campo da fala e da linguagem em psicanlise (LACAN, 1953 [1998]). Ali, o entusiasmo de
Lacan pelo estruturalismo ntido e ao identificar o psicanalista a um praticante da funo
simblica, diz o autor, nos situa no cerne do movimento que instaura uma nova ordem das
cincias (ibid, p. 285). Para introduzir as contribuies do estruturalismo, o qual responderia
aos anseios de cientificidade por parte das cincias humanas, o autor dessas linhas ainda
comenta:
Mas, hoje em dia, vindo as cincias conjecturais resgatar a noo de cincia de
sempre, elas nos obrigam a rever a classificao das cincias que herdamos do
sculo XIX (LACAN, 1953 [1998], p. 285).
38
Aquilo com que Lacan dessa maneira apresenta a discordncia uma diviso
hierrquica das cincias, as naturais, por apresentarem uma relao mais direta com as
matemticas, recebendo um privilgio em relao s cincias conjecturais, ditas humanas.
Pois a exatido se distingue da verdade e a conjectura no impede o rigor. E se a
cincia experimental herda das matemticas sua exatido, nem por isso sua relao
com a natureza menos problemtica. (...). Pois a cincia experimental no se define
tanto pela quantidade a que efetivamente se aplica, mas pela medida que introduz no
real (LACAN, 1953 [1998], pp. 287-288).
41
II.4.
A oposio formalizao
42
uma linguagem. Como definio operatria, podemos assumir que a uma linguagem
corresponde a definio de alguns smbolos primitivos, conectores e operadores juntamente
com regras de formao que estabelecem a maneira de se construir sentenas. A um discurso,
por sua vez, corresponde o domnio de emprego dessa linguagem.
Encontrando j em Galileu a evocao da proximidade entre a natureza e a
matemtica, sendo explicitamente a segunda apontada como a lngua na qual a primeira se
expressa, a crtica de Granger incide sobre a suposio de uma identificao entre o fenmeno
percebido e o objeto concebido. O equvoco, segundo o filsofo, reside em se partir do
princpio de uma homogeneidade radical entre as formas da percepo e aquelas do
conhecimento, do que seguiria que o objeto do conhecimento deva se submeter s mesmas
condies que aquelas da percepo, fazendo com que uma geometria euclidiana, aquela de
nosso espao perceptivo cotidiano e prottipo da matemtica, opere como chave de leitura,
seja de nossa percepo, seja do objeto concebido. No estranho, assim, que se afirme que a
teoria da natureza no contenha cincia propriamente dita seno na medida em que ela
contenha matemtica. A percepo seria, nesses moldes, uma matemtica imanente, ao que
Granger se ope:
Se verdade que o objeto no cientfico seno na medida em que faz aparecer
matemtica, no que o pensamento matemtico seja a simples sistematizao das
formas da percepo sensvel; bem ao contrrio, a atitude transcendental de anlise
nos conduz a reconhecer que a matemtica nos afasta sempre mais do percebido
(GRANGER, 1960, p. 11).
Com a matemtica, no entanto, o caso um tanto mais agudo. Ainda que diversas
incidncias da matemtica, como discurso, possam se referir a objetos mundanos, a
matemtica como linguagem pareceria exibir o excesso de ser auto-referente, de se apresentar
unicamente como cdigo, de privilegiar em ltimo grau a dimenso meramente sinttica de
uma linguagem esvaziada de qualquer dimenso semntica. A matemtica, com efeito, se nos
aparece no mais elevado grau como uma pura linguagem, na qual o elemento sinttico devora
o elemento semntico, os signos matemticos no remetendo a nenhum objeto mundano, mas
s leis de sua prpria estrutura8.
Com efeito, se esse precisamente o argumento que a faz dctil o suficiente para seu
emprego pela cincia moderna, permitindo-lhe tambm por essa particularidade atravessar
fronteiras semanticamente disjuntas, seria tambm esse o argumento que a afastaria
categoricamente de qualquer cincia do homem. Tal a crtica que essa tese poderia receber ao
tentar tratar algo do humano atravs de um recurso cujo fundamento sinttico , ao menos em
aparncia, desmesuradamente descolado de um apoio semntico.
II.5.
Como parntesis, nessa perspectiva que as matemticas sofrem o dilema da descoberta ou da inveno;
pergunta-se se a matemtica descobre estruturas que, de fato, tm correspondncia no mundo, e ento elas
falariam de algo, ou se meramente inventam objetos puramente abstratos que, quem sabe, aguardariam seu
referente. A teoria das superfcies de Riemann, por exemplo, j existia quando Einstein a encontrou para ajud-lo
a formular a teoria da relatividade.
46
com o estritamente singular do vivido e, supostamente, por essa via, terminantemente avessa a
qualquer tentativa de formalizao. Os tpicos que se apresentam a seguir so indicaes do
que se desenvolver nos captulos seguintes deste trabalho.
II.5.1. O argumento da qualidade
Em primeira instncia, fao supor que h um equvoco e que ele reside na acepo
meramente quantitativa das matemticas, aquela do clculo, e, nesse sentido, o uso freqente
da matemtica como ferramenta de formalizao, fundamentando clculos na esfera humana
possivelmente contribui com o preconceito, supondo mantida a oposio entre a quantidade,
fenmeno natural, e a qualidade, fenmeno humano.
Com efeito, com essa perspectiva que muitas cincias do homem fazem uso da
matemtica, procurando estabelecer padres ou estruturas, descritveis matematicamente e,
desde que submetidas a uma quantificao paramtrica, passveis de resultados numricos, os
quais promoveriam como que um reflexo da dimenso qualitativa. Escalas de valores, notas,
paralelos de grandezas fsicas proporcionariam a esse ferramental uma possibilidade de se
aproximarem as cincias do homem das cincias naturais ou de se equipararem a elas no
tratamento conferido a seus dados. A estatstica e o clculo probabilstico desempenham aqui
papel importante, na medida mesmo que do um contorno ao aspecto contingencial do
fenmeno humano.
Cr-se normalmente que a atividade de estruturao, que exige por certo a
colocao em obra de mtodos do pensamento rigoroso, uma quantificao pura e
simples, e que em um sentido estreito, no h cincia seno do mensurvel
(GRANGER, 1960, p. 142).
47
ser-a, Granger nos leva concluso de que a qualidade ento apreendida como limitao,
e mais precisamente, como diferena (ibid., p. 109).
Essa tambm a vertente que nos aproxima de Badiou (2006), que faz do ser-a, ou do
aparecer, uma Grande Logique, matematicamente lgica, e que nos ocupar em captulo
apropriado.
Ora, o que a grande crise de fundamentos que atravessou a matemtica, desde o final
do sculo XIX e at o sculo XX acabou por mostrar, segundo Granger, a percepo dessa
dialtica no quantitativa da qualidade, inaugurada no estabelecimento da noo de conjunto,
pelo matemtico Georg Cantor (1845-1918). Se retomarmos a definio cantoriana (o que
faremos mais de uma vez ao longo deste trabalho) de que por conjunto entende-se um
agrupamento em um todo de objetos bem distintos de nossa intuio ou de nosso
pensamento, percebe-se que o fundamento mesmo da definio, parece residir na noo de
diferena. Trata-se de objetos quaisquer, mesmo abstratos, dos quais o nico que se quer
saber se so ou no diferentes sob alguma perspectiva, podendo, ademais, ser perfeitamente
intercambiveis como elementos de um conjunto. Dois so os atos originrios dessa reduo:
o primeiro consiste em reunir, de todas as formas possveis, esses objetos em subconjuntos,
distintos eles mesmos entre si, e que se os possa distinguir, mas tambm discernir as partes
comuns; o segundo consiste em colocar em correspondncia elementos de dois conjuntos,
associados, minimamente, aos pares, at o esgotamento dos elementos de algum dos
conjuntos, atravs do que aparecem imediatamente as noes de relao e de operao. Uma
operao assim igualmente um conjunto, como uma relao entre elementos prprios e
aqueles de outro conjunto.
O qualitativo se encontra assim re-instaurado sob a forma conceitual de
propriedade estrutural, da qual o sentido depende, no da determinao isolada de
um objeto individual, mas do sistema de manipulaes virtuais efetuadas sobre um
conjunto de objetos (GRANGER, 1960, p. 110).
48
51
que se tornam definveis nela se a teoria for enriquecida com a introduo de tipos
superiores (TARSKI, 2007 [1936, 1956]9, p. 156).
Dessa forma, entre Gdel e Tarski, qualquer teoria dedutiva, ou sistema lgico requer
um sistema semntico que, por uma terminologia muito apropriada, interpreta a teoria
subjacente, dando-lhe seu valor semntico. Ainda que os desenvolvimentos de Tarski se
fundamentem em linguagens formais, e que para linguagens naturais a situao se complique
sobremaneira, no nos ateremos ao ponto circunstancialmente, a ele retornando
oportunamente. Do mesmo modo tampouco nos ateremos agora ao fato de que Tarski se apia
em uma teoria da verdade por correspondncia, que no somos forosamente obrigados a
aceitar. No momento, interessa-nos simplesmente a irrupo inesperada da dimenso
semntica no domnio de algo que se nos parecia eminentemente desprovido dessa qualidade.
Ora, se a uma construo sinttica corresponde sempre sua contraparte semntica, no
fato que o apelo lgico efetuado por Lacan, ou por Freud, remeteria uma formalizao nesse
domnio a um campo exterior ao do humano, prenhe de sentido. A semntica faz tanto parte
da lgica, ou de uma lgica particular, quanto sua sintaxe, por menos ateno que se d
primeira no estudo da segunda.
Sobre a lgica e suas relaes com o significante, pretendo aprofundar o tema no
quarto captulo deste trabalho.
II.5.3. O conceito de modelo
Tanto Tarski quanto Gdel so considerados os precursores de um novo ramo da
matemtica, sobre o qual gostaria, aqui, de mencionar algumas palavras, expondo um
conceito, talvez novo ao leitor, que se mostra fundamental para meu argumento: aquele de
modelo.
52
10
Se bem compreendi a argumentao de Badiou a partir desse momento no texto, o conceito de modelo, por
articular dimenses essencialmente matemticas, como a de uma aritmtica e de uma teoria dos conjuntos, seria
um conceito no exportvel da matemtica, fazendo de seu uso por esta tese uma impropriedade. Sendo esse o
caso, e se no me engano na compreenso, ainda se sustenta seu emprego pelo argumento reiterado do
significante como conjunto. O significante um conjunto; matemtica; no estamos fora do campo.
55
coerente assumir que a ela pode corresponder um modelo, ou a uma coleo de conjuntos
estruturada de alguma maneira: talvez, uma topologia.
Se, como procuro mostrar, o significante, tal como o prope Lacan, tem a estrutura tal
qual aquela de que trata a teoria dos conjuntos, uma coleo de significantes, apropriadamente
organizada, poderia ser modelo, no sentido exposto, de uma lgica, aquela descrita, por
exemplo, por Freud para os sonhos e demais formaes do inconsciente. Analogamente,
poderia ser modelo, em outra configurao, de tambm outra lgica, aquela da fantasia, como
apresentada por Lacan, ou da prpria fala.
O significante no mera abstrao, mas a prpria materialidade da psicanlise e ele,
colhido na fala dos analisantes, que mostra a validade isso o que se espera, ao menos de
uma lgica, como a do dipo, ou que permite a construo de outra, como a do fantasma. Sob
outra perspectiva, o dipo j uma coleo de significantes organizada: Nome-do-pai, Ideal
do eu, eu ideal, significante do desejo materno, por exemplo, colocados em uma relao tal
que j so a interpretao do que a lgica e a teoria do complexo. Analogamente, a fantasia
j uma interpretao de uma lgica, a da no-relao sexual, segundo Lacan. A topologia o
contedo semntico da lgica significante; seu modelo.
deste modo, juntamente com o argumento anterior, que se espera afastar igualmente
a objeo do esvaziamento semntico que o apelo formalizao supostamente promoveria,
ao mesmo tempo em que se procura justificar o recurso empregado por Lacan. E sobre a
relao de modelos e psicanlise pretendo trazer alguma contribuio mais adiante, no ltimo
captulo.
Haveria, ainda, de discutir alguns aspectos no menos importantes que aquilo que se
desenvolveu at agora poderia trazer como conseqncia, ou como relaes com a teoria
lacaniana, como, por exemplo, o que Lacan diz da metalinguagem. Deixarei o tema, no
entanto para outra oportunidade. Devemos prosseguir em nossos argumentos s objees.
56
II.5.4. O singular
Enfrentamos agora a objeo maior sobre a possibilidade de formalizao na
psicanlise, ou de seu papel.
Com os argumentos apresentados at agora, espera-se ter afastado as objees
primeiras, relativas qualidade e ao sentido do fato humano, mostrando que o tratamento
formalizado no os exclui como se haveria de pensar. Porm, a nova objeo mais
contundente. Se o processo de formalizao enderea as questes propostas, ele ainda assim
as situa em um plano generalista, ou com pretenses universais, no explicando como esse
recurso enderearia aquilo que na psicanlise emerge com destaque: no somente a
singularidade subjetiva em questo, mas como alcan-la.
H o argumento de que os significantes, o material com que se trata em uma anlise,
ao se seguir a orientao de Lacan, so singulares, mesmo se organizados conforme uma
estrutura mais geral; eles so o produto da vida de algum. H o argumento de que a lgica,
mesmo se fundamentada em operaes gerais de metfora e metonmia, apresenta desvios que
escapam ao domnio do geral, o que se constataria clinicamente, ou, por outra vertente, que o
fantasma, que vimos poder se o modelo de uma lgica, singular, j que construdo com os
significantes de uma vida, e no de outra. Mais pontualmente, pela anlise dessas
particularidades, eventualmente conseguiramos uma possibilidade de formalizao de uma
situao, o que tampouco considero pouca coisa, mas ainda se nos escaparia a dimenso
prpria do vivido humano, reduzido pelos procedimentos formalistas, ou de como modificlo.
Sob outra tica, abre-se a bifurcao entre a sincronia e a diacronia. Pela estrutura,
temos uma apresentao sincrnica da situao: os significantes que conformaram tal
subjetividade desta maneira especfica. Como fruto do processo analtico, em que narrativas
se desenvolvem, e atravs das quais conseguimos mesmo situar a gnese dos significantes
57
prevalentes, podemos at conjecturar como aquilo deu nisso. Seria mesmo possvel montar
a histria do sintoma, na via da diacronia. E, com efeito, na origem da psicanlise tratava-se
essencialmente de localizar as situaes traumticas que teriam dado origem reteno
verificada no sintoma. Porm, segundo aquela formulao, haveria ainda a necessidade de que
os afetos fossem vivenciados outra vez, alm de descritos com o maior detalhe possvel
(FREUD, 1893), ou, posteriormente, com esse requisito sendo alterado em sua formulao,
haveria que se lidar com o fenmeno da transferncia.
Pela formalizao, ainda em outros termos, incluiramos, de direito at, a psicanlise
entre as cincias naturais, como queria Freud. Mas a explicao da situao ainda no
satisfaria a necessidade que um tratamento impe: uma transformao. Poderamos ter um
conhecimento da situao, mas ainda restariam, incgnitos, os modos de eficcia da
psicanlise no que ela se refere a um singular.
Prosseguindo com nossa referncia a Granger (1960), no qual se trata da mesma
questo, e aceitando-se subsidiariamente o pertencimento da psicanlise a esse domnio,
lembramos, com o autor que:
O estatuto de um conhecimento do individual por certo a dificuldade maior de
uma epistemologia das cincias do homem. Mas no negando sistematicamente
sua possibilidade, nem recusando toda consistncia objetiva ao indivduo, que se
pode resolver o problema. primeira vista, encontramo-nos encerrados em um
dilema: ou h conhecimento do individual, mas ele no cientfico, - ou bem h
cincia do fato humano, mas que no alcana o indivduo (GRANGER, 1960, p.
185).
Granger ento evoca o conceito de clnica, particular a determinadas prxis que se propem
alcanar o estritamente singular, tendo a psicanlise como paradigma. Na mesma vertente
que Granger discute a arte, como caminho do individual, assim como, em certa concepo,
tambm a histria.
Nos termos de Granger, a cincia no somente um discurso, mas um discurso que
tem conseqncias: a cincia uma prxis, entendendo-se pelo termo que ele se ope mera
especulao e que uma atividade que concorre para o desenvolvimento da vida social
concreta (ibid, p. 18), isto , ela alcana o indivduo. Analogamente, espera-se que a
psicanlise tampouco seja apenas um discurso, ou uma teoria, mas que, como na definio de
Freud, que tenha efeitos, no bastando que seja somente uma boa explicao.
Por outra via, toda prtica se exerce no contato com o individual (ibid., p. 199), mas a
permanncia da prtica to somente em seu nvel, mesmo que se mostre plenamente eficaz, a
mantm distanciada de um conhecimento conceitual, ficando restrita a um saber talvez mtico.
na dialtica constante entre um fazer no estruturado e uma estrutura de saber que
Granger mantm sua discusso quanto possibilidade de um conhecimento individual. Se, ao
final, temos a impresso de que h um abandono da possibilidade de um conhecimento
cientfico do indivduo em conjunto com seu acesso porque so de passos de uma dialtica
que se trataria, ao cabo da qual, ou em cujo processo, os dois termos primeiros cederiam lugar
a um terceiro, que os sintetizaria.
Na linha do vivido humano como essencial perspectiva individual, Granger toma o
modelo da Histria. O autor, porm, nos esclarece que, no se trata da histria como
disciplina que estuda e edifica o passado, no que ela penderia, seja para o romance, seja para a
ideologia, mas que, diferentemente, a histria deveria ser:
[uma] atitude de colocao em seu lugar do objeto no tempo presente. Neste
sentido, ela sntese prtica do conhecimento, que estrutural, e da experincia do
evento; ela uma arte de constituio do presente vivido como momento de nossa
ao em um universo concreto, e como tal, objetivao do indivduo, mas no
59
Assim, se Granger define a histria como uma clnica sem prtica, quem sabe
possamos dizer, quanto a esse aspecto especfico de seu tratamento da histria singular, da
clnica psicanlise, que seria uma prtica histrica. Que se objete afirmando que a prtica da
histria seria a poltica, dimenso que Granger no aceita sem ressalvas, no nos incomoda,
fazendo aparecer um aspecto que no alheio clnica psicanaltica que, no entanto, no
abordarei. Porm, a nos atermos ainda questo de histria como paradigma daquilo que
pareceria, aos olhos de Granger, um procedimento que alcanaria o individual, isto , do que
efetuaria essa sntese dialtica entre a diacronia da narrativa e a sincronia da estrutura,
lembro-me de texto de Althusser (1967, [1964]), Freud e Lacan:
Qual o objecto da psicanlise? aquilo de que a tcnica analtica deve se
ocupar na prtica analtica da cura (...) os <<efeitos>>, prolongados no adulto que
sobrevivem, dessa extraordinria aventura que, desde o nascimento at a liquidao
do complexo de dipo, transforma um pequeno animal, concebido por um homem e
uma mulher, numa criana humana.
Os <<efeitos>> do tornar-se humano do pequeno ser biolgico sado do parto
humano: a est, no seu lugar devido, o objecto da psicanlise, que tem por nome
simplesmente o inconsciente (ALTHUSSER, 1967, pp. 241-242).
No com surpresa, portanto, que vemos Granger apontar para a psicanlise como
uma perspectiva possvel da possibilidade de se alcanar o individual, mas cujo problema
epistemolgico capital o de explicar como sua situao pode se desenvolver em um registro
de conhecimento autntico sem se degenerar em uma tcnica bruta de objetivao mecnica,
nem em uma prtica encantatria (GRANGER, 1960, p. 188).
Vemos Granger se debruar sobre o sentido desta clnica, dimenso que ele privilegia,
ao mesmo tempo louvando e criticando psicanalistas, Lacan entre eles, a respeito de suas
concepes, essenciais, segundo o autor, da funo da linguagem e da prpria situao clnica
na psicanlise. No nos deteremos em suas crticas ou comentrios particulares, mas
levaremos em conta sua opinio geral.
O aporte metodolgico da psicanlise ao conhecimento do indivduo no poderia
ser apresentado como uma subverso total do ideal cientfico. Se ele contribui para
desencadear eficazmente uma reviso da cincia, na medida sem dvida em que a
objetivao da situao clnica chama um abrandamento dos modelos postos em
ao nas outras disciplinas, e uma colocao em perspectiva, no interior de uma
prtica, da noo de estrutura (GRANGER, 1960, pp. 195-196).
62
Nossa idia, portanto, seguindo at certo ponto as orientaes de Granger, nos leva a
Badiou, na defesa de que mesmo aspectos aparentemente os mais alheios ao conceito de
estrutura, como o evento e a histria, dimenses supostas essenciais ao fenmeno singular
humano, poderiam receber tratamento formal, e essa a razo de nossa escolha pelo filsofo
francs.
Porm, no conclumos com isso que a formalizao daria conta de toda a dimenso
propriamente singular de uma anlise. O que a estratgia de Badiou aponta ainda so seus
limites que, a bom ttulo localizaramos na esfera da tica. Essa, afirmaremos desde j,
impossvel de formalizar. Isso, espero, o leitor poder acompanhar diludo ao longo dos
captulos que se seguem.
II.6.
Badiou nos interessa neste trabalho, portanto, no por seu esforo em filosofar
utilizando a matemtica, e nominalmente a teoria dos conjuntos, a lgica e a topologia, mas
porque atravs desses ramos da matemtica que o autor tece uma teoria sobre a
transformao junto a uma teoria do sujeito, tendo Lacan como um de seus interlocutores
privilegiados. Nada disso fortuito, o filsofo tendo freqentado o psicanalista em seu ensino.
Na coincidncia de diversas preocupaes, meu interesse particular ao longo deste trabalho
apenas o de mostrar que pode haver um proveito quanto ao mtodo empregado pelo filsofo
em suas reflexes, isto , um recurso matemtica. Sem que seja necessrio discordar ou
concordar com a discusso filosfica que se entabula, apenas sobre o mtodo que nos
ateremos.
Para que o leitor seja apresentado ao contexto de sua obra, localizando as
preocupaes em comum, avano algumas palavras.
63
localizar o que constitui o domnio do que se organiza em torno de duas noes, tambm caras
psicanlise, aqui articuladas de uma maneira nova, que so as de sujeito e de verdade.
No encontraremos uma exata convergncia entre as noes de sujeito em Lacan e em
Badiou, mas isso no nos deve afugentar da linha que seguimos, e o prprio filsofo quem,
a despeito da discordncia, exorta a aproximao. H uma borda comum entre a filosofia e a
psicanlise, diz Badiou, e o exame das relaes entre ambas passa pela matemtica.
No se devem confrontar diretamente nossas grandes categorias comuns, como o
ser, o real, o sujeito, a verdade. Deve-se perguntar: como a psicanlise e a filosofia
abordam os grandes dispositivos da matemtica e da lgica? (Badiou, 1994, p. 63).
65
Ltre et lvnement, portanto, se desenrola em dois movimentos. No primeiro, tratase de apresentar a matemtica como discurso sobre o ser, ontologia. No segundo, apresentar
como aquilo que escapa ontologia estabelece as condies e possibilidades do novo, atravs
de uma verdade. No se pode dizer, no entanto, que esse segundo passo escape matemtica,
j que foram descobertas de matemticos, que Badiou considera revolucionrias, que a
tambm inspiraram o filsofo em seus pensamentos.
Crticas naturalmente surgiram, e provenientes de nomes das dimenses de Desanti,
Deleuze, Nancy e Lyotard (BADIOU, 2006, p. 381). Leitores avisados, esses interlocutores
do filsofo rapidamente fizeram-no perceber que suas definies se limitavam, de um lado,
por uma estrutura mundana, a do evento, e, de outro, por uma estrutura transcendental, um
misterioso procedimento de nomeao ao qual um evento deveria se sujeitar.
O que Logique des mondes, que tem o subttulo de Ltre et lvnement 2, se esfora
por fazer reunir esses dois plos, o do mundano e o do transcendental.
No obstante, a verdade permanece no centro de toda a articulao, ao ponto de ser a
afirmao que define sua posio filosfica seu motor ao longo da obra:
No h seno corpos e linguagens, salvo que h verdades (Il ny a que des corps
et des langages, sinon quil y a des vrits) (BADIOU, 2006, p. 12).
II.7.
ltimas consideraes
ou o que seus exemplos do uso da matemtica pelas cincias do homem acabam por
implicar. O que se defende aqui, ao invs, que a adoo da matemtica, de uma maneira
distinta daquela praticada pelas cincias naturais, no implica em um empirismo
epistemolgico cujas conseqncias seriam desastrosas para a psicanlise, corrompendo sua
especificidade na lida com o singular.
Porm, como parte do problema, de fato existe por parte de Freud, uma vontade de
participar do ideal da cincia.
A psicanlise constitui uma parte da cincia mental da psicologia. (...) Tambm a
psicologia uma cincia natural. O que mais pode ser? (FREUD, 1938).
Pois sim, o que mais haveria de ser a psicanlise seno uma cincia natural?
Porm, no caso de Freud, acompanha o pacote das cincias naturais o modelo daquilo
que seria seu ideal. A idia quantitativa, como hiptese externa a todo o arcabouo terico
psicanaltico, aparente desde as elaboraes preliminares do Projeto (FREUD, 1895), e at as
explicaes mais tardias da dualidade pulsional, a partir, por exemplo, de Alm do princpio
de prazer (FREUD, 1920), tm como referente a fsica moderna, seja na dinmica, como jogo
de foras, seja na termodinmica, como fluxos de energia, e no porque no vemos Freud
empregar expresses e frmulas para exprimir suas premissas e conceitos que no temos
expressa sua inteno de participar daquele ideal.
nessa vertente, por exemplo, que recai a crtica de Politzer (1928 [1998]), que aps
elogiar a iniciativa freudiana no que toca sua clnica, critica-a severamente em sua perspectiva
terica, a metapsicologia. Gabbi Jr, autor do prefcio da edio brasileira do filsofo hngaro,
sintetiza as teses de Politzer das quais uma psicologia concreta propriamente cientfica
deveria partir, pela negao das seguintes premissas da psicologia clssica: (P1): A forma
ltima do psicolgico seria atomstica, (P2): O psicolgico apreendido de forma imediata
pela percepo, (P3): Pressupe-se uma vida interior, (P4): O psiquismo resulta de processos
68
de seus exemplos clnicos mais clssicos, como o caso Dora (FREUD, 1905), Hans (1909a), o
Homem dos ratos, (1909b), Schreber (1911) ou o do Homem dos lobos (1918), mas no
excluindo tambm o Leonardo (1910), e o que se verificar, objeto mesmo da mais acirrada
crtica dos opositores da psicanlise freudiana, o desenvolvimento de relatos que apresentam
a mais rigorosa tentativa de coerncia interna a despeito mesmo da incessante busca
referencial.
Sob uma perspectiva epistemolgica diferente da Granger, estou a sugerir que desde
Freud existe uma perspectiva coerentista, de acordo com os termos de Dancy (1990), a qual se
ajusta com a tese do significante como conjunto e suas conseqncias.
Segundo esse autor, a vertente mais influente em epistemologia e que d expresso ao
dogma central do empirismo, segundo o qual todas as nossas crenas e todo o nosso
conhecimento devem ser justificados com base em nossa experincia, o fundacionalismo
clssico. Ainda que distintas verses dele possam se apresentar, segundo derivaes a partir
de consideraes sobre, por exemplo, a falibilidade ou a infalibilidade de nossas crenas
apoiadas sobre os dados perceptivos obtidos atravs da experincia, ou sobre o papel
desempenhado pela inferncia na justificao dessas crenas, o pressuposto fundacionalista
que devemos ser empiristas.
Sob o prisma de uma teoria da verdade, , justificadamente, uma teoria da
correspondncia aquela que dessa corrente deriva. A teoria da verdade subjacente aos
desenvolvimentos de Tarski, apontado anteriormente, por exemplo, a teoria da
correspondncia. Assim, a afirmao a neve branca se, e somente se, a neve branca,
utilizada na anlise do lgico adota explicitamente o critrio da correspondncia entre a
proposio e uma realidade que lhe corresponde de maneira emprica. Ou seja, h critrios,
condies e restries metodolgicas, atinentes ao uso da linguagem, que permitem passar do
uso para a meno de uma proposio.
70
A vertente do quimismo mental freudiano, segundo Gabbi Jr., adotaria esta posio
fundacionalista, buscando em um referente externo a justificativa necessria. Na verdade,
indo mais longe, poderamos dizer que a atitude baseada no quimismo mental cria este
problema. Ou seja, por trs das consideraes epistemolgicas da tradio neo-positivista h
um modelo de mente.
Porm, em oposio ao fundacionalismo, Dancy apresenta a opo do coerentismo,
que para ns se aproxima mais do formato dos relatos clnicos freudianos. O coerentismo
pode ser visto ali de duas maneiras. Primeiro h a situao de compartilhamento, envolvido na
transmisso e relato de uma experincia clnica. Mas, alm disso, h uma regra geral desta
transmisso que a auto-referncia do relato em relao a si mesmo. Ou seja, as mudanas e
alteraes factuais de detalhes do caso no alteram o poder de prova, por exemplo, em
Leonardo, a respeito da controvrsia sobre a presena de um grande abutre ou de um pequeno
milhafre. Assim como a deformao de detalhes que podem identificar um paciente no
influem na descrio de um funcionamento psquico
Segundo a teoria da coerncia no que toca justificao, uma crena pode ser
considerada justificada na medida em que o conjunto de crenas do qual esta crena
membro coerente, e cada crena deve ser avaliada por recurso ao papel que desempenha
nesse conjunto (DANCY, 1990, p. 148). A questo, portanto, recai sobre o que se quer dizer
com coerente. Os coerentistas em geral parecem concordar que a consistncia deveria ser
uma condio para a coerncia e que um conjunto coerente deveria, ao mesmo tempo, ser
completo ou abrangente em algum sentido (DANCY, 1990, p.141). No entanto, esses critrios
no parecem captar o essencial daquilo que se pretende definir como coerncia, j que,
implcita, est a sugesto de que um conjunto deveria se tornar mais coerente na medida em
que cresce e apresenta mais relaes entre seus membros. Para captar esse aspecto, os
coerentistas clssicos se valeram da noo de implicao lgica (p implica q se, e somente se,
71
que ela exibe os termos mesmo daquilo que se procura aqui defender, isto , o significante
como conjunto. A coerncia, por outro lado, talvez ainda no proporcione um argumento
topolgico aparente, mas haveremos de tratar desse aspecto mais adiante neste trabalho.
H que se perceber que a vertente mais radical do formalismo em matemtica, ao
considerar apenas o jogo interno dos smbolos submetidos a operaes definidas e, portanto,
assumidamente distante do empirismo, pode ser considerada adepta da teoria da coerncia,
desde que mantido o critrio da consistncia.
O coerentismo interrompe o retrocesso com que o fundacionalismo se embaraa, na
busca ltima da referncia que justificaria de maneira infalvel uma crena, uma vez que, nele,
os termos s tm sentido em sua relao mtua, o que desloca a posio a respeito do
empirismo exigido pelo segundo a um empirismo permitido pelo primeiro. . a diferena
entre dizer que s se admitem proposies empiricamente refutveis e afirmar que
algumas proposies podem ser corroboradas ou refutadas pela experincia. No primeiro
caso o conhecimento precede o reconhecimento, no segundo caso o reconhecimento que
precede o conhecimento. No primeiro caso, a cincia define-se por um tipo de conhecimento
com caractersticas lgicas internas e correspondncias empricas externas, como instncia de
conhecimento universal de todos os objetos. No segundo caso, a cincia se define como uma
atividade que precisa ser reconhecida pelos seres humanos, no obstante sua aspirao de
universalidade, como instncia de mtuo reconhecimento entre todos os sujeitos.
E ainda, a teoria da coerncia esvazia a idia da luta do indivduo pela construo de
sua prpria epistemologia, dando sentido noo de conhecimento como fenmeno social,
que pode ser partilhado e que pode aumentar por meio dessa partilha (DANCY, 1990, p. 152),
exibindo com privilgio o segundo modelo freudiano, da subjetividade compartilhada.
Por outro lado, o coerentismo adota tambm uma teoria da verdade distinta daquela do
fundacionalismo e que deve nos parecer tambm mais prxima a uma concepo freudiana,
73
seno mesmo psicanaltica, de uma verdade coerente, mais que referencialmente justificada.
Com efeito, o critrio da teoria da verdade particular teoria da coerncia o mesmo relativo
justificao, isto , um membro de um conjunto poderia ser considerado verdadeiro se
contribui para a coerncia do conjunto do qual faz parte. Note-se que no h uma
identificao entre coerncia e verdade e que nenhum sentido dado idia de um conjunto
verdadeiro. Porm, o prprio argumento da pluralidade das verdades, uma vez que nada
impediria a existncia de mais de um conjunto coerente, nos cai bem e sugere sua adoo no
contexto deste trabalho. Se a prpria idia do significante como conjunto deveria implicar em
uma epistemologia capaz de sustentar meus argumentos, tem-se a impresso de que o
coerentismo reflete preocupaes em comum com este trabalho, que dever ser atravessado
por este tema, mesmo que de maneira subjacente. importante indicar que a adoo de uma
atitude epistemolgica mais prxima da teoria da coerncia permite estabelecer a teoria do
significante como fundamento da psicanlise, sem ao mesmo tempo, afirmar que toda a
psicanlise est contida na teoria do significante. No necessrio que todas as noes,
prticas, ticas, clnicas e tericas sejam reconduzidas a um mesmo ncleo de assertivas para
que postulemos um grau de cientificidade da psicanlise. Basta que exista coerncia nas
localidades e que exista comensurabilidade entre elementos, ademais que se procure localizar
ou indicar quais seriam os paradoxos necessrios para indicar a incompletude ou
inconsistncia do sistema.
Enfim, a partir dos tpicos apresentados neste captulo creio termos j um panorama
amplo dos problemas e de alguns caminhos que o trabalho a seguir percorrer.
Prossigamos, ento.
74
jogo das meras quantidades, de que a matemtica supostamente trataria, foi transposto pelo
estruturalismo a um jogo de diferenas. Porm, no h sentido em se falar de diferenas seno
em um sistema j organizado entre oposies e correlaes. O lampejo de Saussure poderia
ser localizado nesse exato ponto em que, segundo o genebrino, a linguagem deve ser abordada
como um sistema articulado, em que a diferena existe como elemento de origem (ou
impossibilidade de origem), necessariamente irredutvel a um princpio de unidade
(COELHO, 1967, p. XV). onde entra a teoria dos conjuntos.
H, solidrio, um segundo passo. Este se refere aos limites da teoria, l mesmo de
onde a formalizao proviria, isto , daquilo que ela procura, ou precisa, por seus prprios
motivos, excluir. Ora, dizer que a matemtica uma cincia da qual o sujeito banido na
hesitao de se dizer que seja forcludo tambm dizer de uma operao que o exclui.
Assim, se a formalizao matemtica, pela topologia, digamos, ou pela teoria dos conjuntos, o
que lhe equivalente em certo nvel, tem sentido para a psicanlise, que se ocupa do sujeito,
os limites da formalizao nos interessam na medida em que h a suposio de que a
encontraremos o que o prprio movimento de formalizao tratou de excluir. disso que se
trata neste captulo.
Intuitivamente parecemos saber o que um conjunto. Ele rene elementos sob alguma
idia. Podemos, por exemplo, pensar no conjunto dos carros esportivos, ou no das frutas
tropicais. Porm, de fato, podemos fazer conjunto de qualquer coisa. Ao elencarmos alguns
elementos, digamos, uma ma, uma pedra, um sabi e um par de tesouras, temos a uma srie
de objetos. Nada me impede, por outro lado, de fazer com que uma ma, uma pedra, um
sabi, e um par de tesouras constituam um conjunto. possvel que tenhamos alguma
dificuldade em explicar porque esses elementos fazem conjunto, mas uma vez que eu j o fiz,
o conjunto est dado. Nos termos de Badiou (1988), um conjunto seria o efeito dessa reunio,
ou o prprio contar-por-um que rene a multiplicidade subjacente. Um conjunto tem, assim,
um efeito unificante sobre seus elementos. Nos termos de Saussure, por outro lado, e nesse
exemplo, a essa multiplicidade material que denominaramos significante e o fato dela se
apresentar reunida como um conjunto suposto consistente corresponderia ao significado.
Muito curiosamente, a definio primeira do que um conjunto, dada por Georg
Cantor (1845-1918), o pai da teoria dos conjuntos, uma definio to simples quanto
matematicamente decepcionante, tambm invoca, como fizemos acima, a figura da intuio:
Por conjunto entende-se um agrupamento em um todo de objetos bem distintos de nossa
intuio ou de nosso pensamento.
Friedrich Ludwig Gottlob Frege (1848-1925), um dos grandes vultos que marcaram a
lgica do sculo XX, e considerado um dos precursores da corrente logicista em matemtica,
incomodado com a precariedade da definio fundamental da teoria dos conjuntos, foi um dos
que empreendeu uma tentativa de abordagem mais rigorosa. Frege defendia, de maneira
otimista, a possibilidade de uma linguagem totalmente formalizvel, uma ideografia, capaz de
exprimir sem ambigidades qualquer conceito. Para Frege, essa seria a forma pela qual a vaga
definio de Cantor poderia ser aperfeioada, apresentando ento o rigor matemtico
necessrio. Em Grundgesetze der Arithmetik (Leis bsicas da aritmtica), publicada em 1893,
78
Frege apresentou uma nova definio de conjunto, baseada em conceitos que j havia
formulado alguns anos antes, em Die Grundlagen der Arithmetik (Os fundamentos da
aritmtica), aparecida em 1884. A idia que Frege emprega vem da noo de funo, em
matemtica, a qual se associa intimamente quela de conceito, em lgica (FREGE, 1978a).
Vejamos de que se trata nessa composio de idias. Seja a funo 2x+1, cujo
argumento x. A essa funo correspondem valores, desde que aquilo colocado no espao do
argumento seja um nmero. Os valores assumidos por essa funo, uma vez feita a
substituio do argumento x por um nmero, determinam seu percurso de valores. Se x for
substitudo por um nmero inteiro, alis, essa funo sempre retorna um valor mpar, como
seu percurso de valores.
Porm, a afirmao 2x+1 impar tambm uma funo, uma que retorna valores de
verdade, V(erdadeiro) ou F(also), cada vez que o argumento completado por um nmero.
Para x=1/2, por exemplo, o valor da funo 2x+1 impar F(also), uma vez que 2, o
resultado do clculo, no um nmero mpar. O conjunto dos valores que leva a funo
2x+1 impar a seu valor de verdade (V) a extenso do conceito mpar. Na formulao
de Frege, o conceito mpar no um objeto, mas uma funo, aquela que retorna o valor
V(erdadeiro) para determinados argumentos, e dada aqui pela frmula alguma coisa
mpar. J a extenso do conceito, que so todas as formas que alguma coisa impar pode
assumir pela substituio do argumento e que leve a funo ao valor V, um objeto, segundo
Frege.
Um conceito , portanto, uma funo cujo valor sempre um valor de verdade,
tradicionalmente Verdadeiro ou Falso. A extenso de um conceito, por sua vez, o
percurso de valores dessa funo.
79
desta forma que Frege tenta, definindo matematicamente a distino entre conceito e
objeto, oferecer mais rigor noo vaga de objeto de nossa intuio ou pensamento, de
Cantor.
Para Frege, assim, um conjunto uma reunio de objetos, todos aqueles que
satisfazem uma funo cujo valor sempre um valor de verdade, com o que Frege traa a
relao entre conjunto e conceito. Uma vez estabelecida a crena na possibilidade de designar
univocamente um conceito, porque expresso em linguagem lgico-matemtica, supostamente
sem ambigidade, um passo trivial postular-se a existncia de um conjunto baseado em
algum conceito. Mais imageticamente, pensemos em um critrio, como por exemplo, um
veculo que possua quatro rodas. Essa uma funo, qual corresponde o valor
V(erdadeiro), sempre que um argumento nela inserido para o clculo, possua quatro rodas; um
automvel, por exemplo, mas no uma bicicleta. O que Frege postula uma existncia, aquela
de um conjunto (, digamos), sempre que for possvel distinguir uma frmula lgica clara ()
de uma varivel (). Os valores () que levarem a frmula () a seu valor de verdade V sero
os elementos do conjunto cuja existncia foi postulada pela existncia da frmula Escreve-se:
() () [() ( )]
Onde se l que existe o conjunto beta formado de todo elemento gama que satisfizer a
funo lambda. Sempre que lambda retornar o valor V como seu resultado para um elemento
gama, afirma-se que gama elemento de beta. Lambda um conceito, segundo Frege, e os
elementos gama conformam o conjunto em questo.
Ressalta-se que foi no domnio da filosofia da linguagem que Frege teceu essas
elaboraes, marcando j o parentesco entre esse campo e o da lgica, parentesco tradicional,
mas tambm com o da matemtica.
80
sido o prprio Russel quem o teria redescoberto, em 1901 (RUSSELL, 1974, p. 18). Russell,
expoente da corrente logicista, tinha Frege na mais alta considerao e foi em uma carta do
primeiro ao segundo, que saudava o esforo de Frege, que Russel, sob uma aparncia ingnua,
exps a possibilidade de um paradoxo a partir da definio proposta.
Russel props a seguinte questo: imagine-se a propriedade no ser elemento de si
mesmo (A A), formalmente clara, atendendo, portanto, ao requisito bsico da definio de
Frege de uma funo no ambgua, lgica e claramente formulada. Sendo assim, essa frmula
definiria um conjunto, formado pelos elementos que se subsumiriam ao conceito no ser
elemento de si mesmo. Russell ento pergunta: este conjunto, que acabou de ser formado,
tem, ou no, o predicado em questo, no ser elemento de si mesmo?
O paradoxo, que tem mais de uma forma de apresentao, pode ser formulado nos
termos, por exemplo, do paradoxo do catlogo (COSTA, 1994, p. 199). Seja uma biblioteca B
na qual queremos organizar, atravs de um catlogo C, todos os catlogos de B que no
mencionem a si mesmos. fcil perceber que como o catlogo C pertence biblioteca B, se
ele no se mencionar a si mesmo, ele deveria faz-lo e, simultaneamente, se ele se mencionar
a si mesmo no deveria ser considerado tal catlogo, levando concluso lgica, se nos
ativermos lgica clssica, de que tal catlogo no poderia existir na biblioteca.
Classicamente, quando as propriedades de um objeto so tais que levem a uma flagrante
contradio, a prpria existncia do objeto que deve ser negada.
Uma vez que o predicado no ser elemento de si mesmo parece ser perfeitamente
definvel, deveria ser perfeitamente plausvel a existncia desse conjunto, X, digamos, e do
conjunto dele disjunto, Y, o dos elementos que pertencem a si mesmo, ainda que esse parea
mais obscuro e, com efeito, um tanto contra-intuitivo, ainda que logicamente inquestionvel.
O conjunto X, que tem como elementos conjuntos que no so elementos de si mesmo, e o
conjunto Y, que tem como elementos conjuntos que pertencem a si mesmo, devem ser,
83
pode ser meramente por uma relao simples que o signo se constitui a partir de um
significado e um significante. E a questo que se formula em matemtica como o que
constitui um conjunto se desloca para o que constitui um significante, ao qual corresponderia
um significado, sob a gide do signo saussuriano, tal como antecipamos.
A conseqncia da existncia desse paradoxo para a teoria matemtica foi a
determinao de conjunto como um termo primitivo. Conjunto uma noo primria,
indefinvel. Isto, no entanto, no impediu que a matemtica dela fizesse poderosa teoria com
excepcionais ramificaes. E, com efeito, a teoria dos conjuntos tida hoje como a raiz
mesmo da rvore das matemticas. O paradoxo, no entanto, cobrou um preo, aquele de
algumas restries nas formulaes da teoria, de modo a evitar os paradoxos que a fariam
colapsar. A primeira dessas a manuteno de conjunto como termo primitivo, isto ,
nenhuma formulao, seja axiomtica ou derivada da teoria deve indicar o que um conjunto.
Da impossibilidade de se poder designar a natureza dos elementos que compem um
conjunto, depreende-se que os elementos de um conjunto devero ser, eles tambm, sempre,
conjuntos.
Deveremos, portanto, estabelecer, de uma vez, que o significante, ele tambm, uma
noo primitiva, uma vez que o fizemos equivaler a um conjunto?
Tal o que se nos parece a partir da definio, somente circular em sua aparncia, de
Lacan a respeito do significante:
O significante, ao contrrio do signo, no o que representa alguma coisa para
algum, o que representa, precisamente, o sujeito para outro significante
(LACAN, 1961-1962 [2003], pp. 64-65).
Podemos aqui tambm ler que o conjunto no se define por um conceito expresso j
em uma linguagem, mas por uma relao que se estabelece com outro conjunto?
Ora, a definio de Saussure quanto ao signo nada tem de ingnua e no fato que a
mera relao entre uma imagem acstica e um conceito constituiria a unidade significativa do
85
signo, ao contrrio do que uma leitura mais simplista pareceria indicar. Nas palavras mesmas
do lingista:
Defini-lo assim [simplesmente como a unio de certo som com um certo conceito]
seria isol-lo do sistema do qual faz parte; seria acreditar que possvel comear
pelos termos e construir o sistema fazendo a soma deles, quando, pelo contrrio,
cumpre partir da totalidade solidria para obter, por anlise, os elementos que
encerra (SAUSSURE, 1916, p. 132).
disjunta, de todos os conjuntos no reflexivos. Que exista algum conjunto reflexivo no Todo,
trivial: a prpria condio para que o Todo seja Todo. Essa partio proposta, portanto,
divide o Todo em dois subconjuntos, aquele cujos elementos so conjuntos no reflexivos, ou
que no pertencem a si mesmos, e aquele cujos elementos so conjuntos reflexivos, que
pertencem a si mesmos. Uma vez que os conjuntos devam ser considerados ou reflexivos ou
no reflexivos, no h resto possvel e a unio desses dois subconjuntos equivale novamente
ao Todo. Chamemos o conjunto dos conjuntos no reflexivos, seguindo a sugesto de Badiou
(2006), de A Quimera. O que dizer desse conjunto? A Quimera reflexiva ou no reflexiva?
Suponhamos, inicialmente, que A Quimera seja um conjunto reflexivo, ou seja, que
seja um conjunto que possui a si mesmo como elemento. Sendo esse o caso, A Quimera
figuraria entre seus prprios elementos. Porm, por definio, A Quimera composta somente
de elementos no reflexivos e se ela figura entre seus prprios elementos, porque ela no
reflexiva, o que contraria a suposio inicial.
A Quimera , portanto, no reflexiva. Porm, sendo esse o caso, ela, por definio,
uma vez que o conjunto de todos os conjuntos no reflexivos do Todo, deveria contar-se a si
mesmo como elemento, isto , A Quimera reflexiva.
Que A Quimera seja reflexiva se e somente se no for, e que no seja reflexiva se e
somente se for mostra-nos sua inconsistncia. Porm, em sua construo, A Quimera
absolutamente trivial: a sub-coleo, dentro do Todo, de todos os conjuntos no reflexivos.
Tem-se como concluso que o Todo o que no consistente.
Se atribuirmos ao significante essa homologia com um conjunto, tem-se a a
demonstrao da inconsistncia do conjunto de todos os significantes, conforme postula
Lacan, na figura do Outro como tesouro do significante. Ou, de outra forma, eis a leitura,
em termos da teoria dos conjuntos, da afirmao de Lacan quanto inconsistncia do Outro.
87
Se houvesse tal conjunto totalizante, seria possvel nele distinguir qualquer conjunto
segundo alguma propriedade que o singularizasse; o que Frege queria. Haveria um lugar
universal de todos os significantes, lugar a partir do qual se poderia diferenciar ou identificar
predicativamente qualquer um. O que equivale a dizer que haveria um conjunto contendo
todos os possveis significantes relacionveis com qualquer e, portanto, todas as significaes.
O paralelismo parece-me flagrante tambm com a idia defendida na epistemologia,
como vimos no captulo anterior, pela teoria da coerncia, em que um elemento justifica sua
presena no conjunto to somente pela contribuio que lhe pode oferecer. E, adicionalmente,
oferece um argumento matemtico contra a idia de que um critrio necessrio para a
coerncia seja a existncia de uma totalidade absoluta, sendo suficiente a presena de uma
totalidade, digamos, relativa, a de a um conjunto.
A inconsistncia do Outro seguidamente apontada por Lacan, por exemplo, em
Subverso do sujeito e dialtica do desejo no inconsciente freudiano, em que, apontando no
grafo que est a desenvolver o lugar da significao, o autor escreve:
O que o grafo nos prope agora situa-se no ponto em que toda cadeia significante
se honra ao fechar sua significao. Se preciso esperar tal efeito da enunciao
inconsciente, aqui em S(A/), e h que l-lo: significante de uma falta no Outro,
inerente sua funo mesma de ser o tesouro do significante. (...)
A falta de que se trata , com efeito, aquilo que j formulamos: que no h Outro do
Outro (LACAN, 1960 [1998], pp. 832-833).
Falta algo ao Outro, um significante, aquele que designaria sua prpria falta. No
entanto, a suposio dessa consistncia necessria, ao menos imaginariamente, segundo
Lacan, de modo a fazer consistir os sentidos e todas as significaes. Porm, e
matematicamente, se aceitarmos que o significante um conjunto na acepo mais rigorosa
da teoria, isto , composto de conjuntos, o Outro do Outro, seu conjunto totalizante,
inconsistente.
88
Mais adiante, ainda, Lacan mais preciso quanto a essa referncia. No seminrio XVI,
De um Outro ao outro, Lacan, discorrendo sobre o significante, textual quanto
impossibilidade de se extrair um significante de alguma referncia totalizante, sob o risco da
inconsistncia de ambos:
11
Talvez fosse melhor dizer, aqui, que qualquer pensamento a partir do significante, na medida em que com o
significante que pensamos, s possvel localmente, no havendo o Todo, o Outro do Outro, em que tal
significante se inscreveria, ou do qual seria univocamente separado.
12
No escrito Subverso do sujeito e dialtica do desejo (LACAN, 1960 [1998], p. 820), no entanto, essa posio
do Outro como lugar do cdigo revista, sem, no entanto, retirar a essncia daquilo que se trata no Outro como
local, mais lugar que espao, em uma referncia ao efeito de localizao realizado por uma topologia, assim
como ao aspecto sempre relacional entre os significantes desse conjunto articulado.
89
No h nenhum modo de incluir num conjunto o que vocs possam extrair dele,
designando-o como o conjunto dos elementos que no contm a si mesmos. (...).
Em outras palavras, todo discurso que se coloca como essencialmente fundamentado
na relao com outro significante impossvel de totalizar, seja de que maneira for,
como discurso (LACAN, 1968-1969 [2008], p. 59).
Formulao que apresenta um paralelismo quela que diz que o saber no totalizvel,
mas tambm que nenhum discurso pode dizer a verdade (ibid, p. 42).
Retornando nossa referncia matemtica, isso se expressa no fato de que a
axiomtica da teoria dos conjuntos visa regulamentar as operaes segundo as quais um
conjunto deriva de algum outro. Um Outro um Outro, na linguagem de Lacan, suposto j
existente, de onde provm a arbitrariedade, e a partir do qual significantes so retirados para
articulao. Essa suposio, de que um significante separado de um conjunto dado
logicamente necessria consistncia da prpria articulao.
Sem muito esforo, teramos aqui, como em outros lugares do ensino lacaniano, a
apresentao clara da relao fundamental entre o significante e o conjunto.
Mas, e contribuindo com essa relao que consideramos o fundamento da
possibilidade de se empregar a topologia em psicanlise, podemos nos permitir ainda alguns
comentrios. Ao lado da considerao de que, por todo o lado, s se trata de conjuntos,
abolindo-se qualquer noo primria de elemento constitutivo, figura a leitura de que essa
teoria no prescreve coisa alguma a respeito do Um. Como bem reitera Badiou (1988), essa
90
suposta unidade no seno efeito de uma operao, aquela que o prprio conjunto efetua
sobre seus membros. Aquilo sob a gide do que tal reunio se realiza no a unidade, mas a
diferena.
Lembremo-nos que uma afirmao primordial com relao ao significante, desde
Saussure que o sistema conformado um sistema de diferenas:
Aplicado unidade, o princpio de diferenciao pode ser assim formulado: os
caracteres da unidade se confundem com a prpria unidade. Na lngua, como em
todo sistema semiolgico, o que distingue um signo tudo o que o constitui. A
diferena o que faz a caracterstica, como faz o valor e a unidade (SAUSSURE,
1997, pp. 140-141).
E, j segundo Lacan:
O que distingue o significante somente ser o que os outros no so; o que, no
significante, implica essa funo de unidade justamente ser somente diferena.
enquanto pura diferena que a unidade, em sua funo significante, se estrutura, se
constitui (LACAN, 1961-1962 [2003], pp. 48-49).
13
Alm do sistema ZF, h outras axiomticas para a teoria dos conjuntos. Uma delas a de Von Neumann e
Bernays, denominado sistema VNB, posteriormente complementado por Gdel. Neste, o termo primitivo a
classe, e sua inteno impedir o aparecimento do paradoxo de Russel de uma maneira mais estrutural. Assim,
algumas classes se diferenciariam de outras; existiriam aquelas que seriam elementos de outras classes, e
existiriam outras, que no poderiam pertencer a uma classe. s primeiras corresponderia o conceito de conjunto.
O segundo tipo seriam as classes propriamente ditas. Minha escolha pelo sistema ZF se d porque nele, a
tentativa de evitar paradoxos e inconsistncias feito de uma maneira mais simples, sem o recurso a outros
termos primitivos, na manuteno de que tudo so conjuntos, e as suturas que evitam a inconsistncia so
explcitas, ajudando-nos em nossa perspectiva.
91
propriedade ser um conjunto; por outro a nica relao pertinente nesta axiomtica, relativa
aos conjuntos a relao de pertencimento, denotada pelo smbolo 14.
Ora, aquele que elencado costumeiramente como o primeiro axioma dentro do
sistema de Zermelo-Fraenkel, denominado axioma de extensionalidade versa sobre o tema da
diferena, sobre a distino entre o mesmo e o outro. Trata-se da conexo existente entre a
relao lgica de igualdade (=) e a relao conjuntista de pertencimento (). Da primeira
segue imediatamente que se dois conjuntos so iguais, eles devem apresentar os mesmos
membros, e como a nica relao que temos entre conjuntos a relao de pertencimento, se
de dois conjuntos podemos dizer que a eles pertencem os mesmos membros, eles sero
forosamente iguais. Com efeito, dada a relao de pertencimento idntica de conjunto a
conjunto, nem poderemos mesmo distinguir um do outro, e que, de um e de outro, poderemos
dizer que so o mesmo. O axioma da extensionalidade reduz a diferena do mesmo e do outro
ao estrito rigor da conta (Badiou, 1988, p. 57). Nenhuma qualidade servir para distinguir
conjuntos, razo pela qual Lacan tambm enftico ao afirmar que a diferena significante
distinta de tudo o que se refere diferena qualitativa (LACAN, 1962-1962 [2003], p. 61).
Uma vez que nosso assunto formalizao, na teoria escreve-se:
() [( ) ( )] ( = )
O que se l: para qualquer conjunto gama, se, e somente se, gama pertence ao conjunto
alfa e gama pertence ao conjunto beta, ento alfa e beta so idnticos. Ou, o que d no
mesmo, que os conjuntos alfa e beta so idnticos, e que de fato so o mesmo, se, e somente
se, qualquer conjunto gama que pertence a alfa tambm pertence a beta.
14
Os demais smbolos empregados nas formulaes dos axiomas e esquemas de axiomas so mais propriamente
smbolos lgicos, como aquele de igualdade (=), de implicao (), os quantificadores universal () e
existencial (), o smbolo de conjuno lgica (&), alm de outros smbolos que compem a sintaxe, como os
parnteses.
92
A razo pela qual esse axioma apresentado em primeiro lugar deve se mostrar
imediata, e principalmente para nossos fins. Uma vez que se parte da definio lacaniana de
que um significante, que termo primitivo, o que representa (um sujeito) para outro
significante, devemos poder distinguir um de outro, sendo este o axioma que prescreve essa
possibilidade. Este o esquema mais simples que interpreta, no sentido que demos a esse
termo no captulo anterior, a relao de diferena entre significantes, baseado em uma
diferena material, e que por instituir sua base d o modelo de entendimento para a assero
de que um significante no capaz de significar a si mesmo, devendo sempre, na relao de
significao, por oposio, relacionar-se a outro. Lembremo-nos de que tratamos
exclusivamente aqui o significante em sua dimenso material e em termos de materialidade
que os axiomas em questo tm sua pertinncia.
Cinco axiomas, ou esquemas de axiomas, seguem o primeiro, tendo em comum a
caracterstica de indicar como, a partir de conjuntos dados, possvel construir outros. De
uma maneira esquemtica, trata-se de definir as formas como um significante pode
representar (um sujeito) para outro significante.
Dos dois primeiros, diremos que se trata de distinguir como pode ocorrer uma extrao
significante, ou como algum significante depende materialmente de outro, ou de Outro, nos
termos da Lacan. Dos dois seguintes, a questo se refere prioritariamente a uma combinatria
que tambm permite a apario de novos significantes.
Tomemos, em primeiro lugar, e com fins meramente expositivos nesta ordenao, o
axioma dito de separao, ou de compreenso (CROSSLEY, 1990). A idia deste axioma,
que , na verdade, um esquema de axiomas, que no deve haver problema algum em se
partir de algum conjunto dado e dele extrair, segundo algum predicado bem formulado
logicamente, um outro conjunto cujos elementos se subsumam ao conceito. Este um
esquema de axiomas porque a frmula que nela figura pode ser qualquer, desde que bem
93
axiomtico. Sua formulao estabelece que dado um conjunto e uma funo, a qual faz
corresponder a cada elemento desse primeiro conjunto, alguma outra coisa, a reunio dessas
coisas tambm um conjunto. Como todos os elementos do primeiro conjunto dado so
conjuntos, e qualquer o objeto a que se refira uma funo deve, obrigatoriamente, ser tambm
um conjunto, essas coisas a que a funo faz corresponder cada elemento do primeiro
conjunto sero, igualmente conjuntos, elementos do conjunto assim derivado. O axioma de
substituio mais forte que o axioma de separao, podendo ser este um caso particular
daquele, e a necessidade de sua formulao deu-se porque entre os axiomas originais, de
Zermelo, no era possvel a construo de um conjunto segundo uma regra de formao, mas
to somente a partir de uma extrao. O presente axioma realiza esta possibilidade, uma vez
que oferece simultaneamente um conjunto e uma regra, a funo de substituio.
O sentido significante desse segundo axioma igualmente poderoso para ns e oferece
a interpretao para um caso importante na teoria psicanaltica, nominalmente a da
correspondncia de diferentes cenas, ou mesmo da relao repetitiva que se estabelece, e que
se reconhece clinicamente, com uma Outra cena. A despeito de ser ainda necessrio
estabelecer os requerimentos bsicos para a incidncia da repetio, pode-se reconhecer sua
origem material. Um conjunto, ou uma situao (Badiou, 1988), apresenta elementos que,
pela ao de alguma funo, os substitui um a um, configurando outro conjunto ou situao.
Ou, alternativamente, duas situaes so colocadas em correspondncia por ao de uma
funo que estabelece uma relao entre os elementos mtuos. A repetio de cenas, aparente
na clnica, ou a referncia constante a uma Outra cena encontraria seu esquema no axioma de
substituio, ou, mais apropriadamente, no esquema de axiomas dito de substituio, bastando
que a funo que efetue a substituio estabelea a equivalncia entre os termos considerados.
Ainda nesta srie de axiomas, que chamei de construtivos, h trs que devo mencionar.
96
O primeiro conhecido como o axioma do par e reza que se temos duas coisas que j
so conjuntos, ento podemos formar um terceiro, que tem como elementos exatamente os
dois conjuntos dados, isto , em termos matemticos, se e so conjuntos dados, ento
trivial formar um novo conjunto , cujos elementos so e , = {, }. O interesse deste
axioma no evidente, mas permite pensar a possibilidade de se colocar em relao quaisquer
dois significantes sob a gide de um terceiro. Outra conseqncia construtiva deste axioma
que se tomarmos dois significantes que so, de fato, o mesmo (pelo axioma da
extensionalidade), sua colocao em par fornecer outro significante. Sejam, por exemplo, e
, dois significantes; h, pelo axioma do par, o conjunto formado por esses dois elementos, =
{, }, mas se todos os elementos de um forem igualmente elementos do outro, teremos que
= , ou que so o mesmo, o que resulta em = {, }; mas como um conjunto se define por
aquilo que lhe pertence, sendo esse seu nico atributo positivo, a nica informao que se tem
de que lhe pertence, sendo redundante a segunda apario do termo em sua
caracterizao; portanto = {} e temos a um conjunto j distinto do original, .
O axioma seguinte conhecido como o axioma dos subconjuntos, e sobre ele nos
deteremos um pouco mais.
A formulao deste axioma bastante simples, mas suas conseqncias e as possveis
interpretaes que ele promove em variados nveis so de muita importncia. Basicamente, o
que o axioma dos subconjuntos afirma que, dado um conjunto, existe outro conjunto cujos
elementos so todos subconjuntos do primeiro, e que so todos eles. Por suposto, deve-se
definir primeiramente o termo subconjunto de um conjunto. Diz-se que um conjunto
subconjunto de outro quando todos os elementos do primeiro so tambm apresentados pelo
segundo, no sendo a inversa necessria. Diremos, por exemplo, que um subconjunto de
, se todos os elementos que apresentar tambm forem apresentados por . H que se notar
que a estrutura lgica dessa formulao, diferentemente da do axioma de extensionalidade,
97
que trata da igualdade, no implica que os termos sejam os mesmos nas duas direes.
Intuitivamente, percebemos que a estrutura de subconjunto trata das partes de um conjunto, ou
daquilo que um conjunto inclui, e dizer que um subconjunto de equivalente a dizer que
est includo em , ou ainda que uma parte de , notando-se . Logicamente,
escreve-se essa relao da seguinte maneira: ()[( ) ( )]
O que o axioma dos subconjuntos afirma a existncia do conjunto que rene todos os
subconjuntos de um conjunto dado, isto , que existe o conjunto das partes de um conjunto
dado. O conjunto dos subconjuntos de , por exemplo, costuma se denominar Power set, ou
P(). Notemos que o axioma dos subconjuntos tambm mais forte que o axioma do par,
incluindo-o na tarefa de construo de conjuntos, j que faz pertencer, entre seus elementos,
conjuntos com todas as combinaes possveis de elementos do conjunto original, isto ,
organizados um a um, definindo conjuntos unitrios, ou dois a dois, os conjuntos de pares, e
assim por diante, conforme o nmero de membros em questo.
Dado um significante, que um conjunto que rene elementos, os quais tambm so
conjuntos, ou significantes, e que poderiam ser extrados, por uma funo, como rezam os
axiomas de separao e substituio anteriores, o que o axioma dos subconjuntos diz que
esses conjuntos que podem ser extrados existem, todos, e que tambm existe o conjunto que
os rene a todos. De uma maneira mais prosaica, diramos que o significante faz enxame,
parodiando Lacan. A presena de um significante, como conjunto, prescreve uma
multiplicidade de outros significantes, desde que sua conformao significante se apresente
como conjunto.
O valor do conjunto dos subconjuntos para ns, no entanto, no se resume a isso, e
avanaremos na discusso sobre sua importncia mais adiante.
98
99
correspondido. Porm, ainda assim sendo um conjunto, deveremos poder lhe atribuir um
conceito, por ter sido assim que concebemos o conjunto significante. O conceito que assim se
apresenta aquele do Nada, o qual expressa a absoluta inconsistncia. H, no entanto, que
ressaltar que a inconsistncia o estrito avesso do significante como conjunto, pois se a
operao do conjunto o contar-por-um, tendo como efeito um significado, a inconsistncia
a inexistncia dessa unidade. No havendo nem ao menos um, h o vazio. Logo, a
inconsistncia deve ser banida sob o risco de fazer desabar a consistncia que o conjunto
promove. O princpio de contar-por-um, que promove a consistncia soberano em todo
conjunto que se apresenta e a apresentao da inconsistncia desfaria a operao de conjunto.
Assim, no , nunca, a inconsistncia em si o que se apresenta, seno j uma representao
sua, justamente porque a inconsistncia nunca poderia ser apresentada em si mesma como
conjunto.
Uma vez que no a inconsistncia o que apresentada por um significante-conjunto,
j que ele sempre apresenta consistncia, a forma com que a inconsistncia representada
pela via de seu nome. Nada o nome dado a essa inconsistncia, o nome do vazio. Vazio
indica o falta do um, o no-um, num sentido mais originrio que o nenhum (Badiou, 1988, p.
69).
Temos ento o primeiro dos axiomas dessa nova srie, o axioma do conjunto vazio.
Sua formulao simples: existe o conjunto ao qual nenhum elemento pertence. Uma vez que
a nica relao vlida, entre conjuntos, fundamenta-se na relao de pertencimento, sendo as
outras dela derivadas, no parece um problema se falar de um conjunto em que tal relao seja
negada; eis uma vantagem da axiomtica ao no ter que lidar com a significao. Porm, e
marcadamente, a estrutura deste axioma difere da maioria dos anteriores; em primeiro lugar
porque um axioma que postula a existncia de um conjunto sem partir de outro conjunto
101
102
caracterizaria a unicidade, indicando que ele diferente de qualquer outro. Dizer que o
conjunto vazio nico dizer que sua marca um nome prprio (BADIOU, 1988, p. 82)
nesta perspectiva que poderia ser possvel compreender o aparente desvio tomado
por Lacan em diversos seminrios que, tratando do significante e do trao unrio, envereda
em discusses sobre o nome prprio, com Russell, por exemplo, no seminrio sobre A
identificao (LACAN, 1961-1962 [2003]) ou em Os problemas cruciais da psicanlise
(LACAN, 1964-1965 [2006]). Nem como funo de conotao, nem como de denotao, nem
como exemplar nico, nem word for particular, Lacan traz para o primeiro plano, com
relao ao nome prprio, a funo da letra. Nem tanto pela nomeao voclica seno pela
escrita, aparece aquilo que, em primeiro lugar distingue o nome prprio e o caracteriza.
Digo que no pode haver definio do nome prprio seno na medida em que ns
nos apercebemos da relao da emisso nomeadora com algo que, em sua natureza
radical, da ordem da letra (LACAN, 1961-1962 [2003], lio de 20/12/1961).
Da letra, enfatiza Lacan, que tm sua origem em simples traos, como aqueles com os
quais ele mesmo se delicia ao os encontrar no Museu Saint Germain sobre alguma costela de
animal caado na pr-histria.
No se trata de uma diferena qualitativa. No porque os traos so diferentes que
funcionariam como diferentes, diz Lacan, enfatizando que essa diferena poderia, inclusive,
sublinhar uma mesmidade significante.
Essa mesmidade constituda assim, justamente porque o significante como tal
serve para conotar a diferena em estado puro, e a prova que, em sua primeira
apario, o um, manifestamente designa a multiplicidade atual (LACAN, 19611962 [2003], lio de 6/12/1961).
Uma vez que desse conjunto, mas de uma maneira forada, uma consistncia
asseverada, j podemos igualmente supor que o conjunto vazio corresponderia sem grandes
problemas ao significante do Outro, concordando com Lacan.
Portanto, como observei outro dia, o um-a-mais, o conjunto vazio, S(A), isto , o
significante do Outro, A inaugural (LACAN, 1968-1969 [2008], p. 367).
No obstante, Lacan, em outra discusso com Russell, faz aparecer outro aspecto do
nome prprio.
(...) lhes direi que no como exemplar da espcie contrada enquanto nica,
atravs de um certo nmero de particularidades, to exemplares quanto possam ser,
que a particularidade denominada por um nome prprio; nesse sentido em que
ele insubstituvel, isto , que ele pode faltar, que ele sugere o nvel da falta, o nvel
do buraco (...) ele feito para ir preencher os buracos, para lhe dar sua obturao,
para lhe dar seu fechamento, para lhe dar uma falsa aparncia de sutura (LACAN,
1964-1965 [2006], lio de 6/1/1965).
afirmar a excluso interna, uma vez que a alteridade radical do significante, aquilo que dele
se exclui por estar absolutamente disjunto, lhe reside internamente.
Adicionalmente, o que este axioma ainda implica, tendo sido introduzido por Zermelo
por essa mesma razo, a impossibilidade do auto-pertencimento. Um conjunto que
pertencesse a si mesmo imediatamente violaria este axioma, j que nunca haveria a disjuno
preconizada.
Do significante com a caracterstica dada pelo axioma de fundao, de ser Outro que o
significante em questo, Badiou diz que est na borda do vazio.
106
Note-se que este conjunto atende ao axioma de fundao, j que a interseco entre
ambos vazia ( {} = ), isto , h uma alteridade radical entre um e outro. Que o
conjunto vazio se faa propcio para interpretar o Outro dado por essa propriedade dele ser
Outro com relao a qualquer outro significante.
Podemos tambm indagar quanto ao conjunto original quais as suas partes, ou de quais
subconjuntos se compe, pelo axioma dos subconjuntos. Estamos nos indagando, portanto, de
quais partes se compe o Outro. O fato do conjunto vazio no possuir qualquer elemento no
impede que possua subconjuntos. Pelo axioma dos subconjuntos, algo subconjunto de outro
se todo o que pertence ao primeiro tambm pertence ao segundo. No caso do conjunto vazio,
sua nica parte ele mesmo, canonicamente. Assim o conjunto dos subconjuntos do conjunto
vazio pode ser escrito, P() = {}. So as partes do Outro o que acabamos de escrever.
Digamos, para empregar a terminologia que Lacan utiliza, que chamemos {} de 1,
ou seja, um, efeito de reunio do Outro, como subconjunto, isto , o que Lacan chama de um
Outro; ou do um inscrito no campo do Outro.
No seminrio em questo, insistindo na distino entre o conjunto unitrio e seu
elemento nico, Lacan comenta:
107
O fato de que esse ponto tambm capital para ns algo em que poremos
imediatamente o dedo ao passarmos a enumerar os subconjuntos do nosso Outro.
O Outro, aqui, fica reduzido a sua funo mais simples, a de ser um conjunto que
abarca o um, esse significante necessrio como aquele perante o qual se
representar, de um para o Outro, o um do sujeito (LACAN, 1968-1969 [2008], p.
348).
108
formulao atual , a saber: h o conjunto que tem o conjunto vazio como seu elemento e que
tal que se um elemento, ento U{,{}}, o que equivalente a ( {}), tambm .
Desse modo, o conjunto com os seguintes elementos construdo:
,
, ou 0
{}, isto , {}
, ou 1
, ou 2
, ou 3
em Um, dois, trs, quatro, e tambm zero, em que o filsofo mostra que o 1 ({}) a cifra do
simblico, o trao unrio, o que inscreve que o real existe, ao passo que o termo seguinte, as
partes de 1 ({1,}), ou ainda 2, a cifra do imaginrio, que enlaa real () e simblico (1)
um ao outro. Desta forma, a gnese significante se liga a dois passos, a simbolizao de um
real, por um trao, e a imaginarizao de um simblico.
Essa, parece-me, a razo pela qual Lacan faz tanto caso do par ordenado, ao longo
desse seu seminrio. Ao passo que os conjuntos {, 1} e {1, }, so equivalentes, pelo
axioma de extensionalidade, a definio do par ordenado designa uma construo no
intercambivel. Para conjuntos e , o conjunto construdo como {{},{,}} o par
ordenado de e , denotado por (, ), ou alternativamente < , > (HAMILTON, 1989). O
que um par ordenado realiza o conceito de relao, ou de funo.
Quando Lacan faz corresponder o um, atravs do qual o sujeito se representaria, com o
um-a-mais do Outro, escrevendo 1,{1}, para em seguida questionar a composio em partes
desse 1 interno ao conjunto unitrio, obtm 1,{1,}, que o mesmo que 1,{,1}, ou ainda,
{{}, {, {}}, o que um par ordenado, na definio estrita.
Com isso se evoca o fato de que, a partir do momento em que concebemos que no
campo do Outro se inscreve algo to simples quanto o trao unrio, surge no mesmo
movimento, em virtude do conjunto, a funo do par ordenado (LACAN, 1968-1969
[2008], p. 348).
Lacan estabelece, assim, que uma vez que se faz a correspondncia acima,
imediatamente cria-se uma funo, que a funo de sucesso descrita e que gera a srie
significante infinita, matriz para substituies possveis.
Antes de prosseguirmos, enunciando o ltimo dos axiomas da teoria, gostaria de
retornar a um tema deixado em aberto anteriormente, e que concerne o axioma dos
110
111
do garom, o vento balana a rvore que v l fora, cabelos, penteados, brincos, batons,
risos... sem falar da msica e das letras, das aulas de violo, dos tempos da escola...
Dificilmente seria possvel que tudo isso, e com certeza muito mais, pudesse ser
apresentado em bloco, de uma s vez, como o faz um conjunto com seus elementos15. No se
v todos os elementos indistintamente, e no somente por uma questo de valor que se possa
atribuir a cada elemento constitutivo, tema que tratarei no prximo captulo, mas porque esses
elementos se vm agrupados, nada impedindo, entretanto, que esses grupos se recubram em
maior ou menor grau. Eis o tema dos subconjuntos.
Visto sob outra perspectiva, que Badiou (1988) nos apresenta, sabemos j que a raiz da
consistncia de um conjunto provm de um nome, cuja relao com a falta Lacan assinala. O
que esse nome cerne, dando-lhe consistncia (simblica e imaginria) o vazio, que nunca
poderia se apresentar por ser a prpria runa de qualquer consistncia. A inconsistncia
mltipla, como Caos, o resultado do efeito da dissoluo da consistncia de um conjunto.
Mesmo assim, todo conjunto construdo e tem seu fundamento no vazio, pelo axioma de
regularidade. O pilar de sustentao da consistncia , assim, dbil. A operao de contar-porum que promove a unidade sempre corre o risco de expor sua prpria transparncia, isto , o
fato de que ela mesma no capaz de se contar. Faz-se necessria, portanto, uma
metaestrutura que reduplique a conta, contando-a por sua vez. Essa a funo (ontolgica, no
caso de Badiou) do conjunto dos subconjuntos: transportando seu efeito dos elementos de um
conjunto para suas partes, procurar garantir que a contagem que se efetua na primeira seja
confirmada pela segunda. assim que, por exemplo, o conjunto inicial contado pelo
conjunto de subconjuntos, na implicao de que todo conjunto subconjunto prprio de si
mesmo. E, de maneira suplementar, existe a conseqncia de que se um elemento
consistente, ento a parte correspondente tambm ser.
15
Naturalmente trago para a berlinda a questo da percepo, mas somente para indicar o quanto um tema como
esse tambm poderia ser abordado pelo vis da teoria dos conjuntos em sua relao com a subjetividade.
112
Uma situao, na medida em que se participa dela e em que ela se compe como
significante se organiza ento em partes. claro, ainda, que se a quantidade de elementos da
situao, por si s, excede nossa capacidade de apreenso, a reunio de todos os subconjuntos
formados por todas as combinaes de todos os seus elementos tornaria essa possibilidade
ainda mais irrisria. Dentre todos os blocos possveis que se poderiam formar h, portanto,
uma seleo. A essa organizao suplementar, Badiou (1988) d o nome de estado da
situao. Ainda nos termos de Badiou, se uma situao apresenta seus elementos, o estado da
situao os representa.
O estado da situao como que escolhe os subconjuntos entre todos aqueles que o
conjunto dos subconjuntos formaria, limitando a proliferao da apresentao mltipla. E
nesses termos, compreendemos mais facilmente a diferena entre as relaes de pertinncia e
incluso. situao pertencem mltiplos elementos, mas, fruto da seleo promovida pelo
estado da situao, nem todos os subconjuntos efetivamente fazem parte dela, no modo como
eu, por exemplo, participo dela.
H uma razo particular para a necessidade do estado da situao. Reza um teorema,
de Cantor, que entre um conjunto e o conjunto de seus subconjuntos h uma desproporo.
Parece claro, se o conjunto de subconjuntos formado da reunio de todas as possibilidades
combinatrias entre os elementos de um conjunto, que aquele seja sempre maior do que esse.
O problema, porm, maior. Diz o teorema que ao conjunto de subconjuntos sempre pertence
algo que no se apresenta no conjunto, isto , que h uma parte do conjunto que no figura
nele, que h um excesso absoluto da incluso em relao ao pertencimento, e o problema real
ocorre em todo o seu peso no caso de conjuntos infinitos. Pois, se o nmero de combinaes
possveis de n elementos dado pela expresso 2n, se o expoente tiver a dimenso do infinito,
mesmo daquele contvel dos nmeros naturais, por exemplo, a exponenciao 20 - em que o
expoente Aleph 0 designa o primeiro dos cardinais infinitos, o tamanho infinito dos nmeros
113
naturais, de acordo com Cantor -, tem um valor que a matemtica ainda hoje discute sob o
nome de Hiptese do Contnuo. , de qualquer modo, um valor desproporcionalmente grande,
mesmo em relao ao prprio infinito.
No difcil conjecturar que qualquer situao poderia ser suposta infinita em sua
configurao mltipla, ou em sua apresentao como conjunto, na medida em que se compe
de significantes e que todo significante sempre pode ser remetido a outro, ou que entre dois
significantes sempre posso incluir um terceiro, em um esquema que o aproximaria de um
nmero, no mnimo, racional. A combinao de todos os significantes em toda a sua extenso
e possibilidade, nesse caso, mesmo suposta existente, pelo axioma dos subconjuntos,
apresentaria essa desproporo absoluta, que se acopla ao fato de que a incluso excede o
pertencimento. Por outro lado, essa prpria contagem suplementar que procura garantir a
consistncia da situao como conjunto, realizando-a.
Seja, antes de prosseguirmos, uma situao em que um significante considerado,
apresente a caracterstica de estar, conforme os termos de Badiou, na borda do vazio, ou
ainda, seja uma situao assim caracterizada. Uma, portanto, que no apresente, em relao a
seus componentes, nenhuma conjuno, isto , uma disjuno completa entre situao e seus
elementos: {} = . Na hiptese, portanto, de que o princpio de consistncia, ou de
contar-por-um que rege a formao de conjuntos seja violado, pela sbita apario da
inconsistncia, ao que se deve reunir a hiptese de uma incapacidade de recuperao da
estrutura, sem que saibamos de que se trataria isso, o efeito de reunio ver-se-ia seriamente
comprometido, com e pelo conseqente esfacelamento da multiplicidade constituda. O
encontro sbito de um significante nessas condies, a que nenhum outro significante, seno
o conjunto vazio, o conceito do Nada, corresponderia, poderia, perigosamente, promover a
dissoluo do conjunto.
114
L-se, assim, que o processo delirante no deve ser interrompido, mas at favorecido,
ou apoiado, na esperana de que um estado do mundo, parafraseando o estado da situao
de Badiou, possa corresponder reunio de partes de um mundo novamente consistente, que
nada garante dever ser o mesmo que aquele que se desmantelou.
Vamos aparentemente nos contentar a passar por secretrios do alienado.
Empregam habitualmente essa expresso para censurar a impotncia de seus
alienistas. Pois bem, no s nos passaremos por seus secretrios, mas tomaremos ao
p da letra o que ele nos conta o que at aqui foi considerado como coisa a ser
evitada (LACAN, 1955-1956 [1985], p. 235)
Por suposto, eis aqui um caso em que vemos o modelo confirmar, ou realizar algo que
a teoria, em certo sentido, mas muito mais a prtica, ao menos aquela de Lacan, mas seguindo
Freud, j preconiza. No entanto, poderamos, em face da disseminada tendncia medicalizante
de silenciar a psicose, talvez com algum esforo, imaginar sermos adeptos dessas correntes
neurocientficas. Se assim fosse, a interpretao oferecida pelo modelo conjuntista exposto, da
dissoluo seguida da tentativa de ordenao pela recomposio das partes, seria, no uma
constatao do que j se sabia, seno uma novidade, e que mostraria uma potencialidade dessa
modelagem. Lamento, caso essa seja uma expectativa, de no expor descobertas derivadas da
tese defendida, uma vez que o que questiono, e na verdade quero sustentar to somente o
fundamento da hiptese topolgica, deixando a possibilidade de eventuais descobertas, o que
os modelos matemticos tm o poder de propiciar por si mesmos, para uma eventualidade.
Comentei, h pouco, que o descolamento radical entre as relaes de pertencimento e
incluso torna impossvel, seja qual for o mundo ou situao, que haja um recobrimento da
incluso pelo pertencimento. H um excesso de coisas includas, sobre aquilo que pode
pertencer. Empregando a terminologia de Badiou, a representao sempre excede a
116
Alis, pergunta Frege, como que se pode provar que um conceito no envolve
qualquer contradio, j que o mero fato de no se a encontrar no pode ter por concluso de
que nenhuma esteja presente. Frege obviamente um lgico e a crtica tem a forma: se um
sistema no tem contradies, ento ele coerente (A B), o que no permite, de nenhuma
maneira, que a partir de que encontremos um sistema coerente se afirme a conversa: modus
ponens.
118
Aquilo que necessrio para Frege que se parta de definies que sejam
fundamentadas em princpios puramente lgicos, dos quais os conceitos de conceito e objeto
so seus pilares. Em sentido estrito, diz Frege, a ausncia de contradio num conceito s
pode ser mostrada por meio da apresentao de uma prova de que algo cai sob esse conceito.
Inferir a conversa, no entanto, seria um erro (FREGE, 1884 [1992], p. 104).
por essa via que Frege critica a concepo e os desenvolvimentos formalistas das
demais teorias numricas. A dos nmeros complexos, por exemplo, pois criar o conceito raiz
quadrada de -1 no implica que algo caia sob esse conceito, sob uma perspectiva puramente
lgica, e afirmar que seria o nmero i, no faz de i a raiz quadrada de -1 uma definio
logicamente aceitvel. O que necessrio, segundo o lgico, que os nmeros possam ser
definidos como objetos que sejam, por sua vez, extenses de conceitos, diferindo assim do
processo formalista, apesar de comungar com ele da prpria formalizao da linguagem.
O empreendimento de Frege, portanto, quer fundamentar a aritmtica em bases
puramente lgicas, sendo necessrio definir tambm em bases puramente lgicas os termos
primitivos da axiomtica de Peano: nmero, zero e sucessor.
sobre essa premissa que se desenrola a maior parte de Os fundamentos da
aritmtica. Em sua parte desconstrutiva, Frege argumenta com diversos precursores dessa
tentativa para mostrar que o nmero no pode ser uma propriedade das coisas, como so a cor
e o peso, e que se o nmero no algo fsico, tampouco um fato subjetivo. Sem dvida, para
Frege, o nmero no uma representao, pois se o nmero fosse uma representao, ento
a Aritmtica seria Psicologia (FREGE, 1884 [1992], p. 61), e seria extraordinrio, ento que
a mais exacta de todas as cincias se devesse apoiar na Psicologia, uma cincia que
permanece ainda demasiado insegura e tacteante (ibidem).
119
120
quatro, em que o termo no tem o mesmo sentido, por exemplo, de sua apario em o
cu azul. No caso em interesse, tem o sentido de igual a, ou o mesmo que. A
igualdade toma vulto como relao essencial.
Poderia se esperar que a definio de nmero viesse sob a forma de um esse objeto
o que cai sob o conceito tal, ou um nmero o que cai sob tal conceito. Como vimos com
Frege, no entanto, a definio de um nmero depende, em primeira instncia, da determinao
do sentido de uma igualdade numrica, ou Para se obter o conceito de nmero cardinal
necessrio determinar o sentido de uma igualdade numrica (FREGE, 1884 [1992], p. 83).
Isto , para se poder dizer o que um nmero faz-se necessrio explicitar o que quer dizer que
dois nmeros so iguais, o que implica o pressuposto de ser a relao de igualdade
fundamental, e o princpio de igualdade (x=x), irrevogvel. Retomando a definio de que um
determinado objeto a extenso de um conceito, trata-se ento de definir o conceito que
subsume a igualdade numrica. Frege, por uma questo de brevidade, chama esse conceito
de eqinumrico, e uma vez que no se podem contar os objetos que caem sob um conceito, j
que ainda no h nmeros para contar, o conceito definido como a possibilidade do
estabelecimento de uma relao biunvoca entre os objetos que caem sob o conceito da
eqinumericidade, da forma F eqinumrico a G. Assim, F ser eqinumrico a G se entre
os dois se estabelecer uma relao biunvoca, ou se a cada elemento do objeto F (a extenso
do conceito F) corresponder um, e apenas um elemento do objeto G (a extenso do conceito
G) e reciprocamente. (Nenhuma surpresa em reencontrar o axioma da extensionalidade em
primeiro lugar aqui).
Por suposto, a relao que estabelece a biunivocidade entre as extenses de F e G
apresenta-se como central na determinao da eqinumericidade.
Definida a forma de se dizer que dois nmeros so iguais, a definio de nmero
cardinal vem:
122
Substituindo os termos do conceito que cai sob F, mas no igual a x, tem-se a formulao
que cai sob igual a zero, mas no igual a 0, em que no temos nenhum objeto, vindo
para ele o nmero 0, conforme mostrado. Assim, se 1 o nmero que convm para o conceito
igual a 0, ento pelo critrio fregeano verificamos que 1 segue na srie natural
imediatamente aps 0. Temos assim cada nmero da srie dos nmeros naturais, exceo do
prprio 0, que no sucessor de nenhum nmero, definido por referncia ao anterior:
0 o nmero que vem ao conceito desigual a si mesmo
1 o nmero que vem ao conceito igual a 0
2 o nmero que vem ao conceito igual a 0 ou 1
3 o nmero que vem ao conceito igual a 0, 1 ou 2
4 o nmero que vem ao conceito igual a 0, 1, 2 ou 3
Bastando substituir, para cada caso, na formulao de Frege, F pelo conceito do
nmero em questo e escolhendo x como o nmero anterior, para se ter uma fcil
demonstrao da sucesso.
Em termos conjuntistas, isso poderia se escrever:
0 o nmero que vem para (diferente de si prprio)
1 o nmero que vem para {0}, ou {} (igual a 0)
2 o nmero que vem para {0,1}, ou {, {}} (igual a 0 ou 1)
3 o nmero que vem para {0,1,2}, {, {}, {, {}}} (igual a 0,1 ou 2)
, e assim por diante.
Jacques-Alain Miller, em um comentrio de Os fundamentos da aritmtica, de Frege,
durante o seminrio de Lacan Problemas cruciais para a psicanlise (LACAN, 1964-1965
[2006], pp. 161-172), posteriormente transcrito no artigo A sutura, aponta que no
desenvolvimento de Frege, no processo lgico da constituio dessa srie, isto , na gnese
126
qualquer conceito pode ser definida para qualquer objeto, e o de que as extenses so elas
tambm objetos. o mesmo problema da definio de Frege de um conjunto como o que
satisfaz a um conceito tido como funo com valores de verdade, derrubada por Russel. Se
qualquer conceito puder ser definido para qualquer objeto, e na suposio de que todo
conceito tem uma extenso, e se essas extenses so elas prprias objetos, ento estaria
garantido que a extenso do conceito ser extenso de um conceito sob o qual nada cai,
utilizada para a definio do zero, um objeto. Porm, esse apelo equivalente quele
implicado pela assero de existncia de um conjunto cujos elementos respondem a
determinada funo logicamente determinada, e que leva ao paradoxo de Russell. Assim a
afirmao peremptria da existncia da extenso de um conceito para qualquer conceito, e
que esse conceito um objeto o que geraria um problema.
Na interpretao de Miller, baseada em uma curiosa leitura da definio do nmero
por Frege como a extenso do conceito idntico ao conceito tal e tal, a classe de
equivalncia em questo no mais aquela dos conjuntos cujas extenses se relacionam por
alguma relao biunvoca, implicando na eqinumericidade dos conceitos. Miller sugere uma
classe muito mais restritiva, em que os conceitos se relacionam pela estrita relao de
igualdade; algo que partiria, por exemplo, de o nmero que vem para o conceito F igual ao
nmero que vem para o conceito G se, e somente se, F e G so idnticos. Com efeito, a
demonstrao de que F e G so idnticos se sua extenso a mesma tambm um problema,
resolvido pelo apelo a um axioma por Frege, mas essa condio que Miller implica no
necessria em Frege, ainda que o problema da extenso como conceito primitivo a tambm
aparea.
No na definio do nmero que aparece o problema apontado por Miller, mas na
definio do zero, em que um conceito vazio deve ser explicitamente escolhido para atender
aos requisitos de uma extenso nula, o conceito puramente lgico da no igualdade e a si
129
mesmo. Porm, justamente porque a extenso de tal conceito nula que vemos Frege lanar
mo de um artifcio lgico para escapar a uma sucesso nula. Retomando, mais uma vez, a
definio de Frege do nmero, e no caso do zero como a extenso do conceito eqinumrico
ao conceito ser desigual a si mesmo, a eqinumericidade faz apelo extenso de um
conceito nulo, um conjunto vazio o qual, como Badiou bem marcou, impede o recurso
extensionalidade. dessa forma que a afirmao do zero como nmero, em minha leitura,
escapa aos prprios critrios que Frege estabelece para os demais nmeros, fundando-se
estritamente em uma nomeao.
Cabe, com certeza, tambm um comentrio sobre a prpria escolha, puramente lgica,
diz Frege, do conceito que serve para a definio do zero. Aqui, o apontamento de Miller
preciso. H que se diferenciar a unidade constituda por um conjunto, como seu efeito, ou
ainda como extenso de um conceito, do um como identidade, no sentido da identidade
pessoal do nmero, seu nome prprio. Suponhamos tomarmos um objeto qualquer do mundo
ao qual, logicamente seria possvel relacionar um conceito que o distinguiria univocamente. A
operao desse conceito tem como efeito a unidade do objeto, o contar-por-um que um
conjunto efetua sobre sua multiplicidade constituinte. Porm, essa ainda distinta da
identidade desse conjunto que posso nomear minha revelia. Enfatizo que a operao de
nomeao, mais que promover a unidade, compromete o objeto com sua prpria unicidade.
Com efeito, a tese logicista de Frege requer a escolha de algum conceito lgico
independente de qualquer referncia emprica, mas a escolha de ser igual a si mesmo como
conceito de referncia se justifica por ser a prpria condio para que, logicamente, existam
objetos no mundo. porque x = x que a mnima consistncia pode ser assegurada a qualquer
objeto. assim que entendo a assero de Leibniz em que Frege se baseia para sua escolha e
que Miller comenta: idnticas so as coisas que se podem substituir umas s outras, sem
130
Segundo Miller, o engendramento do zero mantido pela proposio que diz que a
verdade . Se nenhum objeto cai sob o conceito da no identidade a si mesmo porque
necessrio salvar a verdade. Assim, a passagem, necessria, pelo zero na constituio da srie
numrica tem, na reafirmao do princpio de identidade, no somente a funo de
apresentao da garantia da existncia do objeto, como tambm de garantir a presena da
dimenso da verdade. O objeto contraditrio assim rejeitado somente para ser incorporado
como marca de uma ausncia.
Porm, e retorno a esse ponto, o procedimento de Frege quanto ao zero difere dos
demais nmeros que naturalmente se seguem. Por suposto, porque ele o primeiro da srie,
no sendo o sucessor de nenhum outro nmero, mas tambm, o que aponto, porque sua
gerao se d a partir do puro vazio pelo recurso peremptrio nomeao.
Parte-se de um conceito sem objeto (no idntico a si mesmo; conceito sem extenso);
d-se um nome a esse no-objeto (zero, 0), com o que se cria o conceito do 0 como nmero
(conceito e seu objeto) e uma extenso; novo objeto o qual se nomeia (1) como conceito de
um novo nmero; nova extenso...
0 nome do nmero que vem ao conceito desigual a si mesmo
1 o nome do nmero que vem ao conceito igual a 0
2 o nome do nmero que vem ao conceito igual a 0 ou 1
3 o nome do nmero que vem ao conceito igual a 0, 1 ou 2
16
131
132
133
Que a natureza seja conexa poderia nos dar a permisso de enunciar outro princpio de
funcionamento do significante e de suas organizaes, ou de suas realizaes no humano,
nominalmente, e na medida em que algo a deva ser ordenado e mostrar-se coerente, no
sentido mesmo em que esse conceito se aplica na teoria da coerncia, isto , como uma rede
de relaes de implicao mtua. A coerncia, nesse sentido, j pode se nos afigurar como
uma propriedade topolgica, se relacionada conexidade de uma coleo.
A propriedade de uma coleo qualquer ser conexa uma propriedade topolgica.
Intuitivamente, pode-se entender que um espao conexo se no se puder separ-lo em dois
pedaos tais que sua reunio reconstituiria o espao inicial, ou, mais intuitivamente, que se o
pode facilmente cindir.
Matematicamente (MUNKRES, 2000, p.148), a definio de um espao conexo reza
que:
Seja X um espao topolgico. Uma separao de X um par U, V de subconjuntos
abertos, disjuntos, no vazios de X cuja unio X. O espao X dito conexo se no existir
uma separao de X.
Criemos um exemplo com o qual, espero, a perspectiva se esclarea.
Seja um conjunto A, composto de trs elementos, a, b e c (que so tambm conjuntos,
bem entendido): A= {a,b,c}. Seja T, uma topologia em A, que se define como uma coleo
dos subconjuntos de A que atendem a determinadas propriedades, a saber, (MUNKRES,
2000, p. 76):
1.
2.
3.
vista de seu estado. H algo que no se representa, que no aparece como parte, mas que,
justamente por isso, garante, para o caso em questo, que o estado da situao seja uma
coleo conexa.
Percebe-se ento que fora da transitividade absoluta em que tudo o que se apresenta
igualmente representado, ou que tudo o que pertence a uma situao includa por seu estado
(quer dizer, pertence a seu estado), podem ocorrer casos distintos. Na aceitao da hiptese de
que o estado de uma situao pode escolher os subconjuntos aos quais efetivamente ser
atribuda a condio de parte, os termos da situao podem se encontrar em posies distintas.
No caso de um termo que , ao mesmo tempo, apresentado por uma situao e representado
por seu estado, Badiou o denomina normal. A um termo que apresentado, mas que o estado
da situao no transforma em parte, Badiou d o nome de singularidade. Finalmente, a algo
que o estado da situao representa, mas que a situao no apresenta, Badiou denomina
excrescncia.
Se os termos ditos normais dispensam maiores comentrios, e no havendo muito que
se dizer no momento sobre as excrescncias, seno que so elas que representam o excesso da
incluso, sobre as singularidades nos deteremos momentaneamente. Os termos singulares, por
sua definio, pertencem situao, so significantes que se apresentam, mas que na
organizao da situao no aparecem como suas partes. A razo para essa excluso que
esses termos singulares, em sua composio, apresentam elementos que no se apresentam na
situao e, em virtude disso, no podem ser considerados parte dela. Ainda, a interseco
entre um termo singular e a situao da qual participa pode mesmo ser vazia.17 Mais uma
forma de diz-lo, no h relao entre o termo singular e a situao em que se apresenta, ou
ainda, entre a situao e o termo verifica-se absoluta alteridade, disjuno; materialmente, um
no tem nada a ver com o outro.
17
136
Porm, como vimos no exemplo trazido h pouco, foi exatamente um termo com essa
caracterstica de apresentar-se em uma situao e no ser contado por um independentemente
pelo estado, ou no ser considerado parte da situao o que garantiu que o estado da situao
fosse conexo. Obviamente, o estado da situao no pode contar um elemento que no
apresenta a transitividade de um elemento natural, excluindo-o ento das partes constituintes e
mantendo a conexidade do espao. Sob o risco de, apresentada a parte considerada, fazer
advir a disjuno que revelaria o vazio fundador.
Se uma categoria psicanaltica parece ser modelada por essa forma de funcionamento,
no creio que se me obste que eu aponte o recalque. A despeito mesmo da escolha dos termos,
por Badiou, de apresentao e daquilo que no se representa, propcios para uma
argumentao sobre o recalque, a prpria descrio do funcionamento conjuntista, como
evitando o aparecimento do vazio constituinte, mas fundador, pela disjuno, pela norelao, parece interpretar a contento o conceito de recalque da teoria psicanaltica.
Desenvolvendo muito brevemente um tema que surgiria naturalmente como parte do
programa de pesquisa que este trabalho suscita, devemos lembrar que Freud (1915a) afirma,
do recalque, que sua essncia consiste apenas na ao de repelir algo para fora do
consciente e de mant-lo afastado deste. Se a motivao para tal ao puder ser localizada na
tentativa de preservao de uma integridade, como efetivamente o caso, uma vez que a
moo de recalque tenta afastar o desprazer, podemos sem dificuldade encontrar o paralelo
necessrio a nosso argumento.
Assim, se a apario de um termo determinado, como singularidade, na definio
anterior, aparentemente pe em risco a integridade, ou a consistncia, da situao organizada,
isto , do estado da situao, pelo risco que o vazio, como inconsistncia, poderia provocar
por sua emergncia, sua manuteno como singular, como no parte, o que garante a
permanncia da conexidade do conjunto. Inversamente, a presena de algum termo singular
137
o que garante a conexidade do espao. Com o que, espero, fortalecemos a idia de que a
conexidade uma propriedade (topolgica) que expressa uma tendncia do aparelho
psquico, nos termos de Freud, seno do aparelho significante humano, em um enfoque mais
prximo a Lacan. Assim, a apario de um significante cuja disjuno com o restante do
conjunto se mostrasse evidente com o que se entende algo que no tem nada a ver, ou no
tem relao alguma, sendo assim o mais estranho possvel -, poderia provocar, no nvel tanto
da situao, a apresentao bruta, quanto de seu estado, a situao organizada, uma ruptura de
conexidade; a situao, ou mais precisamente, seu estado como situao organizada poderia
se partir em duas pores, disjuntas entre si, e que nada mantm unidas, razo para a
operatividade compulsria do isolamento singular do conjunto em questo. Curiosamente, o
recalcado aqui pode ser vislumbrado no apenas como o dissociado o que no est em
circulao, o que no se apresenta entre as partes, mas tambm como o que ainda garante que
as demais mantenham sua consistncia, ou ao menos que permaneam conexas, o que faz do
recalque pea fundamental na garantia mesmo da conexidade do conjunto significante.
Outra maneira de ver a questo seria a de sugerir, conjecturar, que a tendncia de que
se trata seria que, efetivamente, a organizao da situao conforme espaos topolgicos
conexos.
A definio que se apresentou anteriormente de um espao topolgico, vale
mencionar, no nica. Ainda que estritamente equivalentes, outras definies procuram
enfatizar aspectos distintos. Por exemplo, aquela que Lavendhomme (2001, p. 78) apresenta
baseia-se na noo de vizinhana.
Seja um conjunto X. Diz-se que X conforma um espao topolgico se, para cada
elemento x de X (x X), tem-se partes de X, que se chamaro vizinhanas de x em X, tais
que as seguintes condies sejam satisfeitas:
138
a)
c)
Se V uma vizinhana de x, ento existe uma vizinhana W tal que V seja uma
vizinhana de qualquer ponto de W (que procura expressar que se x tem uma vizinhana, os
vizinhos de x so vizinhos entre si)
142
que h? Quais os componentes desse conjunto que se apresentou dentro de uma situao, e do
qual no se pode, a rigor, dizer que tenha feito parte dela? Decerto sob o significante ataque
pode haver outros termos possveis, mas o essencial que eles se apresentam disjuntos em
relao ao restante da situao.
De outro ponto de vista, aquilo que Badiou isola como evento, como possvel
realizao de uma situao eventural, forte candidato categoria de trauma,
psicanaliticamente falando.
A segunda pergunta que se levantou a respeito do evento de sua participao na
situao da qual seria evento, isto , de qual o estatuto quanto ao pertencimento do evento,
enquanto significante, e a situao da qual ele evento, isto , onde seu stio eventural figura
como pertencente, mas no includo.
E a resposta a essa pergunta no trivial, devendo, em primeira instncia ser
respondida com um: indecidvel, ao menos do ponto de vista da situao. Isso porque, se os
elementos do stio so apresentados pelo stio, eles no figuram na situao de maneira
independente do stio ao qual pertencem a caracterstica do stio ser um stio, como um
elemento absolutamente singular. Resta, para a deciso de pertencer o evento ao conjunto da
situao, portanto, seu outro elemento, que o significante ex do prprio evento. V-se que a
indecidibilidade deve-se ao carter circular da questo, naturalmente como reflexo da
presena do auto-pertencimento caracterstico do evento como conjunto. Para se poder
afirmar, assim, que um evento , de fato, evento, necessrio alguma garantia de que o
evento, por seu nome, j figure entre seus prprios termos, o que lhe d a caracterstica de ser
seu pertencimento indecidvel do ponto da situao em que se encontra.
No obstante, independentemente das causas, apenas duas hipteses quanto ao
pertencimento do evento situao so possveis: ou ele pertence, ou no pertence.
144
da situao pode fazer reconhecer um evento. Igualmente, com relao ao nome do evento, ex,
o nico que se pode saber dele que ele colhido entre os membros do prprio conjunto do
evento, sem a possibilidade de se saber qual deles, pela mesma ausncia de lei que
regulamentaria o evento, a partir do que ele no mais seria um evento. A nomeao do evento
, assim, tambm contingente.
Badiou chama de interveno a todo procedimento pelo qual um mltiplo
reconhecido como evento (BADIOU, 1988, p. 224). Grosso modo, esse reconhecimento tem
duas partes: a primeira consiste na constatao, ou na escrita, de um significante eventural,
isto , formado pelos elementos de seu stio, de um lado, e de si mesmo, de outro. A segunda
parte h de se referir deciso de pertencimento situao da qual o evento foi declarado
evento. A interveno consiste, ao que parece, em apontar que houve o indecidvel, e em
decidir seu pertencimento situao (BADIOU, 1988, p. 224).
Percebe-se, e Badiou destaca como o segundo passo tem como caracterstica a de
anular o primeiro; uma vez que se decida, o indecidvel se resolve. Porm, o paradoxo da
interveno mais complexo, porque o reconhecimento da forma do evento como evento, isto
, como conjunto auto-pertencente, pressupe que ele j tenha sido nomeado, de tal forma que
esse significante possa participar do conjunto que ele mesmo . Dessa forma o ato de
nomeao o que decide e constitui o evento como passvel de uma deciso quanto ao
pertencimento situao.
A essncia da interveno consiste, na hiptese interpretativa que concerne o h do
evento, em nomear esse h, e em desdobrar as conseqncias dessa nomeao no espao da
situao qual o stio pertence (BADIOU, 1988, p. 225).
No entanto, dado o carter de indecidibilidade intrnseco ao evento, em que condies
uma interveno possvel? Trata-se naturalmente da pergunta de como o novo capaz de
advir situao. De fato, pois se o significante , pelos axiomas da teoria, sempre uma
146
147
O que faz da interveno de Freud, mesmo sem sabermos qual tenha sido,
materialmente falando, no somente a habilitao de um novo evento, supondo-se que a
interveno freudiana h de se haver dado em condies especficas, mas o complemento
daquilo que haveria faltado s primeiras ocorrncias. A interveno de Freud, no sentido forte
que Badiou lhe confere, deve ter contribudo com mais que a mera deciso da eventuralidade
148
149
150
Com efeito, o que afirmado pelo axioma a existncia dessa funo que escolhe,
para cada membro de um conjunto, um representante seu.
()(f)[( ) f() ]
Para qualquer conjunto , existe a funo f tal que para cada elemento de , essa
funo f faz corresponder um elemento de .
Pode parecer trivial e, de fato, para conjuntos finitos, . O problema tem duas
vertentes. A primeira decorre da eventualidade, muito concreta, desse conjunto qualquer do
qual se pretende retirar um elemento representante de cada membro ser infinito, pois o que se
estabelece no axioma para esse caso a possibilidade de se fazer um nmero infinito de
escolhas. A segunda vertente problemtica do axioma concerne a sua forma; a forma geral dos
axiomas da teoria dos conjuntos a da construo, ou de como, a partir de um conjunto dado,
outro conjunto pode ser construdo. Exceo feita ao axioma do conjunto vazio, que postula
uma existncia tal qual, sutura de um incio de construo, mas que no provoca
controvrsias, seja porque sua lgica clara, ainda que astuciosa na sua vertente numrica,
seja porque ele d o passo construtivo fundamental. Exceo tambm feita ao axioma do
infinito, que tambm postula uma existncia, mas que prescreve uma forma de construo a
partir de um conjunto dado. O axioma da escolha, por sua vez, um axioma puramente
existencial: existe a funo, sem que se diga minimamente como ela deve ou mesmo pode ser
construda.
O sistema ZF (Zermelo-Fraenkel) com a incluso desse axioma costumeiramente
denominado ZFC.
Como acentua Badiou, o fato de no se poder, em nenhum caso infinito, estabelecer a
funo, ou a lei, que promove a formao desse conjunto de delegao, de representantes dos
conjuntos componentes de um conjunto, faz com que essa funo seja essencialmente ilegal,
no suportada por nenhuma regra. Portanto, no se sabe, a partir do axioma, qual , para cada
151
152
funo de escolha. Conceito inominvel, sob o qual se renem todas as associaes, seu motor
tem um nome para a psicanlise: desejo. Que se procure a conexo entre temas, ou entre os
significantes que aparecem, justifica-se ao se tentar, na expectativa de reconstruo da funo,
encontrar seu conceito, isto , localizar a razo que ordena a fala. Sem conceito, no entanto,
seu nome indizvel, mas aponta para o que, na escuta que contraparte dessa fala, seria seu
motor, em uma perspectiva que no se pode acusar de no freudiana, o desejo.
diferena do procedimento de fidelidade que se seguiria em uma interveno, na
acepo de Badiou, e que o analista propiciaria pela verificao da conexo com o evento, a
mera realizao da funo simplesmente percorreria os elementos do conjunto; mas sua
ordem no qualquer, e trata-se da tentativa de discernir um indiscernvel.
No h porque no se conjecturar tambm, que realizao da funo da escolha
possa corresponder igualmente, mas cada um de uma forma distinta, o sintoma, realizao do
desejo, promovendo duas categorias psicanalticas nesta interpretao pela matemtica.
Como se viu, nos termos da Badiou, mas em nossa leitura, uma interveno responde a
um processo de fidelidade que procura rastrear, em toda a situao, os significantes que se
conectam com um evento, conformando um novo significante. O problema que esse
conjunto, dada a condio de infinitas escolhas de que depende, sempre irrealizado em sua
totalidade. Distinguiu-se, tambm, a mera execuo da funo da escolha, preconizada pelo
axioma de mesmo nome, do procedimento de fidelidade, conforme Badiou. Ao passo que o
primeiro d-se, a menos de uma primeira deciso, de forma que se poderia dizer automtica, o
segundo segue a determinada condio de verificar a conexo possvel de um significante a
um evento considerado. Assemelhamos o primeiro fala livre de uma anlise, conduzida pelo
desejo, inominvel, por ser sem conceito, e o segundo, ao procedimento interventivo de um
psicanalista, que sob certas condies, tece as relaes significantes pertinentes.
A grande descoberta, ou construo, como se prefira, realizada pelo matemtico Paul
Cohen, no incio dos anos sessenta, precisamente em 1963, o assunto em questo.
Ora, um procedimento como o da funo da escolha, em que uma infinidade de
escolhas feita, passou, a partir de Cohen, a ser denominado de um procedimento genrico e
o matemtico, atravs de um teorema, mostrou que tal procedimento realizvel na
construo de um conjunto indiscernvel na situao, isto , cuja razo de reunio, ou
conceito, no pode ser formulado na lngua da situao. Tal conjunto denominado de
conjunto genrico.
A idia , grosso modo, a seguinte. Seja, em toda a situao, uma lngua prpria dela,
uma articulao de seus significantes. No precisamos nos amedrontar com essa invocao da
lngua bastando para ela manter a referncia de um conjunto, mesmo infinito, de frmulas
bem formadas; lgica, portanto. Chamemos, com Badiou (1988, p. 362) de saber
capacidade de discernir, na situao, os conjuntos, ou significantes que tm tal ou tal
propriedade, que uma frase ou conjunto de frases da lngua pode exprimir. As operaes
155
18
Sob uma perspectiva diferente lembramo-nos de Silva Jnior (2007), em sua recuperao dos passos j tardios
de Piaget e sua idia de implicao significante, que reformularia sua teoria sobre a gnese do necessrio no
desenvolvimento cognitivo. Ao invs de depreender a implicao, de onde surgiria a necessidade, a partir da
classificao, como na teoria dos conjuntos clssica, aquela passa a receber um estatuto no mnimo equivalente
ao desta. Adicionalmente, a idia de implicao significante tambm promove a possibilidade da inverso do
sentido lgico da implicao, partindo-se no das premissas para se chegar concluso, mas da concluso,
chegando-se s premissas, o que tambm a aproxima da teoria da coerncia, na medida em que relaes de
mtua implicao passam a sustentar a coerncia do saber.
156
separado daqueles que no esto. Seus passos, portanto, tambm envolvem um discernimento,
aquele de verificar a propriedade de um significante de estar ou no conectado a um evento, e
uma classificao, por sua reunio, razo pela qual, em cada passo finito do procedimento
infinito que o procedimento de fidelidade tem-se a formao de um subconjunto finito que
se assemelha a um saber. O que obstaria, no entanto, que um procedimento genrico como
esse promovesse a formao de um saber que casse sob algum determinante enciclopdico,
isto, , que efetivamente se enquadrasse na classificao que um saber promove?
Encontramos a, uma diferena entre a simples escolha por uma semelhana entre termos,
no exemplo do caso de Emma (tenho medo de entrar em lojas sozinha) -, que tal como
indiquei poderia ser uma tendncia natural da estrutura, e um procedimento fiel. Ao passo
que no primeiro caso, a construo pode, e provavelmente vai, cair sob algum saber, a
segunda construo regrada. Seu princpio fazer com que, premeditadamente, no caia sob
nenhum determinante, sob nenhum saber. o que Badiou denomina uma verdade, no que ela
se distingue de um saber, na esteira da proposta de Lacan quanto manuteno dessa
diferena.
Fazer falar, restabelecer a efetividade do procedimento genrico equivaleria
desconstruo de um saber consolidado, retido, sobre uma verdade ainda no construda, ou
abertura desse saber possibilidade de uma verdade, infinita. Esse seria um dos efeitos, na
medida em que pode ser controlado pelo analista, atravs da exortao de um fale mais, da
fala livre, a qual possibilitaria a continuao da construo da verdade, escapando ao saber.
Em outros termos, a construo genrica que um sintoma apresentaria deter-se-ia em
algum saber equvoco, que a interveno analtica questionaria.
Se a construo de uma verdade, pelo procedimento de fidelidade, o qual evita a
deteno em algum saber pr-estabelecido, efetivamente constri um conjunto dito genrico,
isto , indiscernvel na situao porque no relacionado a nenhum saber, o que se tem a
157
possibilidade de uma parte - mesmo indiscernvel -, isto , algo que se pode considerar como
includo na situao, sem lhe pertencer, uma excrescncia, nos termos de Badiou.
O que Cohen mostrou, que possvel, atravs de uma tcnica denominada forcing,
fazer com que esse conjunto genrico, que est includo, mas que no pertence ao conjunto
original, possa efetivamente passar a pertencer situao, transformando-a.
A hiptese antecipante quanto ao ser genrico de uma verdade, eu a chamo de
foramento. O foramento a potente fico de uma verdade acabada.
A partir de tal fico, posso forar saberes novos, mesmo ser ter verificado esses
saberes (BADIOU, 1994, p. 48)
nomes, de modo a se poder nomear, na situao, os elementos hipotticos dessa extenso que
se pretende agregar. Nomes que, paradoxalmente, nomeiam aquilo mesmo que impossvel
discernir, isto , nomes que no so capazes de separar nada na situao. Teramos um
exemplo disso no nada que nomeia o vazio, ou conjunto vazio que aponta a existncia de
um indiscernvel, ou ainda do zero, nome do nmero que referencia o conjunto dos desiguais
de si mesmos. Um nome, assim, poderia ter um valor referencial no conjunto indiscernvel.
Tomemos esses casos como exemplos, ainda que simplificados, do procedimento de Cohen.
Seja uma situao mundana. Nessa situao, o conjunto dos desiguais a si mesmos no
existe, porque no mundo tal como o conhecemos, afirma-se o princpio de identidade. Dizer
que tal conjunto no existe dizer que no pertence a esse mundo. No entanto, na lngua,
somos capazes de nome-lo, pois nossa lngua rica em possibilidade de nomeao de coisas
inexistentes. Os nomes, portanto, pertencem situao19 e so reconhecveis.
O que querem dizer esses nomes, no entanto? Se designassem somente termos da
situao seriam redundantes. Tais palavras, nomes utilizados tendo como suposio a
presena desse conjunto genrico chamado verdade, designam termos que tero sido
apresentados numa nova situao, aquela da adjuno situao de uma verdade
(indiscernvel) dessa situao (BADIOU, 1988, p. 436).
Sem que precisemos nos ater a uma discusso especfica sobre o assunto, percebe-se
que essa suposio da existncia de uma verdade tambm fundamento do procedimento, e
seu nome, em Lacan poderia ser Sujeito-suposto-saber ou estar a ele relacionado.
Resumindo, a essncia do procedimento, parece-me, est na constatao de que um
saber ter sido verdico para uma situao se a verdade for tal e tal, e que tal saber
construdo, com o auxlio de nomes cujo referente no se encontra na situao, mas no
conjunto indiscernvel da verdade. O encontro, pelo procedimento de fidelidade, de termos na
19
O procedimento de forcing de Cohen faz uma restrio ao modo de construo dos nomes, mas isso no deve
nos deter no momento.
159
situao que mantenham uma relao particular com tais nomes seria a garantia, parcial, de
que tais termos pertenceriam tambm ao conjunto indiscernvel, a partir do que esses termos,
como termos do conjunto indiscernvel passariam a pertencer situao, configurando uma
nova situao.
Os nomes que gera ou antes, compe um sujeito esto suspensos, quanto sua
significao, ao porvir de uma verdade. Sua aplicao local de sustentar a crena,
uma vez que os termos investigados positivamente designam, ou descrevem, uma
aproximao de uma nova situao, onde ter sido apresentada a verdade da situao
efetiva (BADIOU, 1988, pp. 436-437)
161
No captulo anterior, procurei mostrar que o significante, tal como o emprega Lacan, a
partir de Saussure, apresenta uma estrutura que poderia ser adequadamente modelada pela
teoria dos conjuntos. Utilizei o recurso axiomtica mais comum dessa teoria, seguindo o
mtodo que Badiou (1988) empregou em outro contexto. Aventure-me em algumas
conjecturas, sugerindo que alguns conceitos psicanalticos, mas tambm que algumas prticas,
poderiam ser revisitadas a partir dessa perspectiva terica. Apontei que essa teoria, em sua
construo, enfrentou alguns problemas, paradoxos que a comprometiam, e que algumas
opes tericas foram feitas por seus fundadores a fim de evit-los. Suturas, de acordo com
Miller, que, necessrias consistncia terica, excluiriam aspectos que poderiam ser
considerados essenciais para a psicanlise, como o conceito de trauma, variao daquele de
evento, de Badiou, de historicidade, e da prpria temporalidade subjetiva constatada por
Freud na nachtrglichkeit da formao sintomtica. Igualmente, e no de menor importncia,
o prprio conceito de sujeito excludo no passo primeiro da construo; se no desenvolvi
com profundidade esse tema, apontando to somente o prisma de Badiou a respeito, espero ter
indicado, no entanto, a possibilidade que se abre e o modo de abord-la. Chegamos at um
teorema recente da matemtica, de autoria de Paul Cohen, que postula a existncia de
conjuntos ditos genricos, conjuntos indiscernveis, que no fazendo parte da constituio do
saber, tal como esse se forma habitualmente, pelo discernimento e classificao, no deixa de
remeter, em sua construo sempre incompleta, ao inconsciente freudiano, ou ainda, no
percurso que ela toma, da formao do sintoma, ou fala na livre associao. Desse modo,
defende-se que a estrutura conjuntista seria adequada modelagem da organizao
significante.
162
163
164
165
quilo que a partir do significante aparece como significao. com esta chave que devemos
ler, em Badiou:
O que quer dizer efetivamente, para um ente singular, ser a, j que seu ser, pura
multiplicidade matemtica, no prescreve nada quanto a esse a no qual ele
distribudo? Isso quer necessariamente dizer:
a)
Ser diferente de si. O ser-a no o mesmo que o ser-enquantoser. Ele no o mesmo porque o pensamento do segundo no engloba aquele do
primeiro.
b)
Ser diferente dos outros entes que so do mesmo mundo. Pois o sera bem esse ente que ontologicamente no outro, e sua inscrio junto com
outros nesse mundo no poderia abolir essa diferenciao (BADIOU, 2006, p.
127).
Se o aparecer uma lgica, como defende o filsofo, que ele no nada mais que a
codificao, mundo por mundo, dessas diferenas (idem).
Sob nossa perspectiva, lemos que o significante no o mesmo que o que ele
significa, e que isso que ele significa difere de outras significaes. Mas, ainda, que porque a
significao que se engendra tem seu apoio no significante, que no outro, porque
inequivocamente determinado, essa significao no poderia prescindir desse significante. O
que respalda a tese lacaniana da precedncia do significante sobre o significado no processo
de significao. E que este processo significativo, se for uma lgica, conforme tambm ns o
queremos, a codificao dessas diferenas de si a si mesmo e dos outros significantes, na
medida em que j participam de um processo significativo, em que j se inscrevem em um
mundo particular.
Ocorre que, a partir da concepo do significante como conjunto, todas as diferenas
so obrigatoriamente quantitativas. Um conjunto no mais ou menos igual a outro. So
iguais: o mesmo; ou diferentes: outro. o que estabelece o axioma da extensionalidade.
O alcance do axioma vai mais alm. Uma vez que um mltiplo definido por seus
elementos, por aquilo que a ele pertence, a ocorrncia a dois conjuntos de que seus elementos
sejam os mesmos torna-os, de fato, o mesmo. Assim, entre o mesmo e o diferente, basta
166
Em que, com a liberdade que me pode ser concedida, entende-se que o ser de um
significante (ao menos), em sua materialidade, j assegurado, mas h ainda a necessidade de
uma operao (ao menos), que possibilite a passagem, para o pensamento, isto , no processo
de significao, ou na relao entre significantes, a qual estabelece essa relao de identidade
buscada.
Portanto, um ente no exposto ao pensvel seno na medida em que,
invisivelmente, na maneira de uma operao que o localiza, ele nomeia, em um
mundo, um novo ponto. Pelo que ele aparece nesse mundo (BADIOU, 2006, p.
123)
realizam entre significantes, fazendo com que, simultaneamente, as duas dimenses estejam
presentes; de um lado, a materialidade diferencial, de outro, um valor. So dois conjuntos de
regras que devemos supor operarem conjuntamente e que so solidrios. De um poderamos
dizer que so regras lgicas, ao passo que, por excluso, diremos, do outro, que correspondem
parte no lgica da estrutura.
169
Seja o exemplo que Badiou (2006) oferece, e que aproveitamos por sua riqueza, ainda
que tomemos alguma liberdade. Uma cena campestre. Uma casa antiga com um muro de
pedra sobre o qual se estende uma vinha prpura banhados pelo intenso amarelo do sol poente
de vero. Como significantes da cena, a casa e o muro so inequivocamente diferentes. So
essencialmente distintos em sua composio. No entanto, nesta cena, neste mundo, seu valor
relativo prximo; ambos os elementos da cena claramente se harmonizam chegando quase a
se confundir, tamanha a proximidade de seus valores relativos.
Essa funo de comparao, Id(x,y), considerada em seus dois argumentos, x e y, no
estabelece que os argumentos x e y sejam, na substituio que efetua a avaliao,
forosamente diferentes, permitindo inclusive que
Acaba sendo, assim, presumido que haja, ainda, uma relao de ordem concernente a
tais valores.
Esclareamos esse ponto. Partamos, no entanto, e para maior clareza, do primeiro tipo
de relao, aquela de equivalncia. Intuitivamente, a noo parece-nos clara: dois elementos
so equivalentes quando eles, por conta de seus valores, podem ser substitudos um pelo
outro; valem o mesmo.
A definio matemtica (MUNKRES, 2000) de uma relao de equivalncia
corresponde existncia, entre dois elementos de um conjunto, das propriedades de
reflexividade, simetria e transitividade.
A reflexividade (x ~ x, x equivalente a x) implica, naturalmente, que p equivalente
a p, sendo p o valor da relao de comparao entre os significantes e . Se uma relao
entre dois significantes, a vinha e o muro, tiver o valor p e a relao entre a vinha e a casa
antiga tambm tiver o valor p, as duas relaes satisfazem o critrio de equivalncia pela
reflexividade.
A simetria (se x ~ y, ento y ~ x) diz que entre dois valores p e q, se p equivalente a
q, ento q tambm equivalente a p, sendo p e q os valores dados pela funo calculada
acima, entre os significantes , e . Id(,) = p e Id(,) = q. Do mesmo modo que acima, a
vinha em sua relao com a casa, se apresentar o valor relativo p, e a vinha com o muro, se
apresentar o valor relativo q, dizer que os valores relativos p e q so equivalentes respeitar a
simetria da comparao. Tanto faz dizer que a primeira relao equivalente segunda ou
que a segunda que equivalente primeira.
A transitividade (se x ~ y e y ~ z, ento x ~ z) estende a relao, ordenando para alm
do par. Se houver algum outro elemento na cena, um porto rstico, por exemplo, pode-se
verificar, na harmonia da composio, que o valor da casa em relao ao muro sendo p, e o
valor do muro em relao ao porto sendo q, se r denotar a relao da casa ao porto, e se
171
172
Note-se, assim, que as relaes entre significantes, no que toca seus valores relativos,
so definidas em termos puramente lgicos, razo pela qual, seguindo Badiou, poderamos
dizer que aos significantes, em sua relao mundana, em seu emprego, na sua cpula,
corresponderia igualmente uma lgica, no sentido estrito, ou que h uma lgica do
significante, e que essa lgica circunscreveria um mundo.
Mas quais so os valores da funo do aparecer? O que que mede o grau de
identidade entre duas aparies de multiplicidades? A ainda no temos resposta
geral, ou totalizante. A escala de avaliao do aparecer, e, portanto, a lgica de um
mundo, depende da singularidade do mundo em questo. O que se pode dizer que
em todo o mundo existe tal escala. ela que chamamos o transcendental
(BADIOU, 2006, p. 168).
Quais so os valores relativos entre significantes, se esse for o nosso caminho? O valor
do aparecer corresponderia a que? Estamos no campo do sentido. Diramos que o aparecer de
um significante, ou melhor, de sua relao com outros no uso mundano, seu sentido. O
aparecer dos elementos de uma situao, diz Badiou, regrada por uma srie de operaes
comandadas por um transcendental. esse transcendental que estabelece a regra de seu
aparecer, ou a regra pela qual o a do ser-a faz advir o mltiplo, o significante, como
essencialmente ligado a um sentido. Resumidamente, o aparecer do ser do ente o ser-a
(BADIOU, 2006, p. 112).
Ento, que uso faramos da noo de transcendental de Badiou?
Como tudo o que , o transcendental um mltiplo, o qual, evidentemente,
pertence situao da qual ele o transcendental. Mas esse mltiplo dotado de
uma estrutura que autoriza que a partir dela se disponham os valores (os graus) de
identidade entre os mltiplos que pertencem situao, que se fixe o valor da funo
do aparecer Id(,), quaisquer que sejam e (BADIOU, 2006, p. 112).
Supe-se, assim, uma instncia, que pertence realidade, em nossos termos, e que ao
mesmo tempo a organiza, atravs de uma funo que estabelece os valores diferenciais entre
os significantes, dois a dois, em seu processo de gerao de sentido.
De uma maneira, talvez mais alegrica, mas que no deve ser assim considerada, esse
transcendental de Badiou, que ordena e localiza os termos significantes, o responsvel
173
igualmente pela deformao que o espao significante, o qual, j vimos, tem pleno direito a
esse ttulo, sofre por sua efetiva realizao em um mundo. Avancemos, ainda, que funo do
transcendental, em Badiou, parece singularmente corresponder aquela do objeto a de Lacan.
Dois comentrios se fazem necessrios. Em primeiro lugar, como questo de mtodo,
continuamos no campo aberto por Saussure, uma vez que o trabalho que esse transcendental,
em sua funo caracterstica, executa no mais que o estabelecimento dos valores
relacionais dos signos saussurianos, na medida em que seus significantes componentes j
apresentam uma relao significativa, isto , j so conjuntos, e que um conjunto tambm
apresenta, de uma vez, seus elementos materiais e o conceito de sua reunio. Ainda que a
perspectiva de Lacan difira daquela de Saussure, ou assim costuma dar-se sua leitura, o
mesmo enfoque tambm se aplica, na medida em que o significante, como conjunto, j se
apresenta, igualmente, como reunio significante, diferindo da perspectiva anterior somente
quanto ao conceito apresentado que, de acordo com Lacan, se refere sempre a outro
significante. Porm, na relao de valor que essa perspectiva lacaniana toma mais seu lugar
conforme a apresentamos agora. Afinal, tambm em Lacan, na relao de significante a
significante que as operaes lingsticas, operaes de valor por excelncia, engendram
significao.
Em segundo lugar, esta sendo uma questo de procedimento, a incluso de algo
chamado funo, o que de fato j apareceu nas consideraes iniciais sobre um conceito, no
nos exclui do campo restrito da teoria dos conjuntos. Demonstra-se com facilidade que uma
funo no outra coisa seno um conjunto (BADIOU, 1988, p. 483).
Uma vez que esteja estabelecida essa correlao entre o significante e um conjunto, e
mais, que a relao entre significantes se baseie em valores diferenciais, passemos s
operaes lgicas que definem suas propriedades mais fundamentais.
174
que
pensemos
possibilidade
de
que
um
elemento
no
aparea,
necessria uma escala, o que implica tanto em uma ordenao, como j vimos, quanto em
limites da prpria escala.
Prova-se, talvez com a ajuda de um matemtico, que se esse conjunto, o conjunto dos
valores relativos do qual se extrai os resultados da funo de comparao, for ordenado, que
existe igualmente um valor mximo. Esse valor, M, indicaria, no caso de Badiou, a mxima
semelhana, e para o caso do significante, a maior proximidade de valor relativo.
Aproveitando o exemplo da cena outonal, entre a vinha que explode em sua colorao
violeta e a prpria luz que o sol faz espalhar sobre toda a paisagem, ou as cores que da
resultam, poderia haver um valor de identidade mximo, como se a prpria vinha iluminasse a
paisagem. A seguir Lacan, pelo fato desses elementos serem significantes que tal avaliao
possvel.
Um candidato imediato para nossa aproximao poderia ser encontrado no significante
flico. Intuitivamente ao menos, no pareceria disparatado se afirmar que todos os elementos
que vm a ser significantes so medidos, ou tm seu valor em relao a ele. Digamos de uma
forma no rigorosa que nessa medida adquirem sua significao (flica). Quanto maior o grau
de identidade que um significante, em sua avaliao relativa, tenha em relao ao significante
flico, maior sua importncia, maior seu grau de apario.
Pois o falo um significante, um significante cuja funo, na economia intrasubjetiva da anlise, levanta, quem sabe, o vu daquela que ele mantinha envolta em
mistrios. Pois ele o significante destinado a designar, em seu conjunto, os efeitos
de significado, na medida em que o significante os condiciona por sua presena de
significante (LACAN, 1958 [1998], p. 697).
176
179
Chamamos envelope de uma parte do mundo o ente que tem por valor
diferencial de apario o valor sinttico apropriado a essa parte (BADIOU, 2006,
p. 141).
180
A consistncia dessa apario que tem seus valores relativos em B pode ser
estabelecida por alguma propriedade de seus valores de apario diferenciais. Existe uma
frmula estamos no campo da linguagem - capaz de isolar, a partir de T, um subconjunto B
cujos elementos satisfazem tal e tal propriedade. da frmula que se trata. Nota-se, segundo
Badiou, o envelope:
u = {q/P(q)}, supondo P a propriedade que define B, isto , um predicado, uma
significao e b os elementos para os quais P(b) Verdadeiro.
No deve ser difcil ao leitor notar meu embarao neste ponto em que tento
exemplificar na linguagem, ou pela operao significante tal como Lacan a concebe, a
apario da metfora.
Talvez uma forma simples, ainda que no rigorosa, seja a de apontar como o valor u
do envelope exterior ou, no limite, faz a borda dos valores relativos dos significantes em
questo. No se trata da significao de nenhum deles, mas de outra, e que subsume todos os
valores (relativos) em questo, ele os condensa. No obstante, ainda deve ser um valor do
mundo.
Talvez a tenhamos de nos distanciar de Badiou e de sua afirmao de que sempre
existe o envelope no mundo, o valor mais justo, o limite do territrio sob o envelope. Porm,
nada nos impediria de dizer que existe um valor que perfaa a funo do envelope. O
problema que nos surge aqui se refere ao valor de uma metfora que significante nenhum
poderia igualar; caso em que, se um significante ocupasse esse lugar, um resto ainda
apareceria quanto ao valor.
Nossa tentao no momento tem a seguinte direo. Imaginemos que os significantes,
por apresentarem sempre um valor relativo, uma proporo, pudessem ser expressos por
181
nmeros da classe dos racionais20, isto , como expressos por uma relao p/q, em que p e q
seriam, em ltima instncia, primos entre si e q deve ser diferente de zero. Todos os passos
anteriores parecem ser respeitados por essa considerao. Poderia ocorrer que o nmero mais
justo a limitar uma regio formada estritamente por nmeros racionais no fosse um nmero
racional. o caso de diversas sries numricas; por exemplo, aquelas com as quais se calcula
o nmero , ou a raiz de 2, ou a srie de Fibonacci, cara a Lacan, que composta de nmeros
racionais limitada por um nmero irracional. Esse tema nos interessa porque no nos
estranho, aos psicanalistas, que sob o horizonte do que se pode dizer, sob uma interpretao,
se esconda esse limite de que significante nenhum poderia dar a medida mais justa. Ou ento
que possam existir significantes que escapem relao p/q, significantes irracionais que, no
obstante funcionariam como racionais promovendo os limites de que se trata.
Num caso como em outro, a metfora criativa na medida em que amplia o horizonte
dos sentidos possveis. Ao mesmo tempo, essa ampliao garante a estabilidade de uma
parcela do mundo. Num caso, porm, ela no transforma o mundo, no sentido de que todos os
outros valores permanecem estveis. No outro, a questo permanece em aberto: a incluso de
um irracional pareceria subverter o princpio significante, incluindo algo de estritamente novo
no mundo em questo, que o prprio mundo, por ser racional, no seria capaz de nomear.
uma discusso pertinente do ponto de vista clnico a importncia da operao do
envelope, ou da metfora, como queremos. Sob certa perspectiva, o desenvolvimento da
capacidade de metaforizao, seja simbolizao, j se considerou finalidade do tratamento e
mesmo que esse possa no ser mais o caso, ainda se a tem como parte importante dele. Com
efeito, a metaforizao tem a capacidade de ampliar horizontes, de reunir, em um mundo, ou
em uma realidade particular, elementos que poderiam estar disjuntos. Um tema importante
que se apresenta por essa via tambm a do efeito, em um mundo, ou em uma realidade, de
20
182
elementos disjuntos. Ou, por outra perspectiva, tambm se trata das causas e mecanismos
pelos quais algum elemento possa adquirir essa caracterstica da disjuno. Em termos
psicanalticos, estamos a sugerir a operao capaz de atuar e a desfazer um recalque ou de
relaxar uma represso, assim como a considerar suas motivaes. Fazendo-o desta maneira,
pela via da teoria dos conjuntos e da lgica, na medida em que as operaes significantes
seriam descritveis por essas disciplinas, estamos estritamente dentro dos limites da teoria
lacaniana.
Um caso particular aquele em que o conjunto de valores, B, reduzido a dois
elementos, p e q, digamos. Seus majorantes, t, so todos aqueles valores simultaneamente
maiores que p e q. O envelope, como menor dos majorantes, ainda ser superior, ou igual, a
ambos. Dito de outra maneira, o envelope corresponde unio dos valores p e q, e se o nota: p
q.
necessrio que o leitor faa a abstrao de que isso a que um transcendental de um
mundo se refere, ou o que ele mede, e que remetemos a algo referente ao sentido, permite
coisas como um sentido conter outro ou ser contido por ele, ser maior ou menor que outro, em
suma aparecer em um conjunto ao menos parcialmente ordenado, como j se indicou. O que
no me parece ser sem cabimento.
Foi dito que o envelope tem o poder de aumentar o horizonte, isto , de ampliar a
perspectiva de partes de um mundo, de modo a manter sua estabilidade no aparecer, incluindo
partes, ou elementos qui disjuntos at determinados momentos. A efetuao desse aumento
se d, com efeito, pela ajuda de outra operao, aquela da conjuno de um elemento com um
envelope.
A conjuno, em relao ao envelope, como operao lgica, goza da propriedade
distributiva, enunciada da seguinte maneira: o valor da conjuno de algo que aparece e de
183
um envelope equivalente ao valor do envelope de todas as conjunes entre isso que aparece
e o valor de todos os elementos do envelope.
Dito de outra maneira, metonmia e metfora, deslocamento e condensao interagem,
como operaes lgicas, no fenmeno do aparecer em um mundo, estabelecendo vizinhanas
ou proximidades, mantidas as diferenas, mas promovendo uma coeso do aparecer em um
mundo.
Clinicamente, pode-se dizer que essa interao aquela que interessa, na medida em
que um mundo integra suas partes, por vezes disjuntas, abrindo perspectivas, dando a essa
propriedade distributiva da condensao em relao ao deslocamento, do envelope em relao
conjuno, uma importncia capital. Escreve-se:
p B = {(p x) / x B}
O comum entre um elemento e um envelope (entre seus valores diferenciais, na
verdade) o envelope do que comum entre esse elemento e todos aqueles que o envelope
rene. Pode-se fazer uma metonmia com uma metfora, equivalente a uma metfora de todas
as metonmias a supostas.
Ao trazermos as frmulas da metfora e da metonmia, de acordo com Lacan, no
devemos ignorar que nelas no se abandona o significado, mesmo se ele efeito da operao
significante. A menos da considerao anterior sobre os nmeros racionais, no que, num
passe de mgica, dois puros significantes, seja pela operao de metfora, seja de metonmia,
gerem um sentido ex-nihilo, vindo do nada. Os significantes envolvidos, como vimos, s so
significantes porque seu material j se rene sob algum denominador, um trao, tal como um
conjunto s se faz conjunto pela operao de contar-por-um. Sem isso, a multiplicidade
inconsistente e no conjunto de nada. Porm, se levarmos em conta a possibilidade de uma
operao metafrica que deixe um resto, porque no estabelece a medida justa do envelope,
184
de que o que ocorre na formao do sonho, em relao aos pensamentos subjacentes, ocorre
em conjunto. Menos do que em seqncia, os pensamentos do sonho se apresentariam como
se apresentam elementos de um conjunto, ou de mais de um deles, em bloco, e a capacidade
de condensao, atendendo a determinadas exigncias, que atuaria sobre, ou com, esse
bloco, conjunto ou conjuntos, para efetuar sua operao. Que condies, no entanto,
determinariam a seleo dos elementos condensadores? pergunta-se Freud.
Princeps na formulao do processo de condensao, mas tambm do de
deslocamento, O sonho da monografia botnica, do prprio Freud, ilustra a operao
envolvida.
Eu havia escrito uma monografia sobre um gnero (no especificado) de plantas.
O livro estava diante de mim e, naquele momento, eu virava uma lmina colorida
dobrada. Encadernado no exemplar havia um espcimen seco da planta (FREUD,
1900, p. 308).
Como analisa seu autor, o elemento de maior destaque no sonho era a monografia de
botnica. Com uma referncia concreta, um significante do mundo, em uma monografia sobre
o gnero Ciclmen, que Freud havia de fato visto no dia anterior em uma livraria, a cadeia
associativa de Freud remetia diretamente ao trabalho escrito, anos antes, sobre a cocana. Por
essa via, as associaes, levavam tambm ao Dr. Knigstein, oftalmologista, conhecido de
Freud, ligado ao episdio da pesquisa sobre a cocana, e da a uma conversa interrompida,
tambm da vspera, sobre a questo do pagamento por servios mdicos a colegas, que Freud
sups ser o verdadeiro instigador do sonho. Para Freud, monografia de botnica atuava
como uma entidade intermediria comum entre as duas experincias da vspera, uma
espcie de metonmia, diramos aqui. No entanto, tanto botnica quanto monografia,
isoladamente, tambm remetiam a diversos caminhos que se entrecruzavam.
Botnica se relacionava com um certo professor Grtner (literalmente, jardineiro),
que retornava linha do Dr. Knigstein, mas tambm evocava a aparncia florecente de sua
186
mulher, alm de trazer lembrana Flora, uma paciente de Freud, uma Sra. L. a quem Freud
contara uma histria sobre flores esquecidas, a qual remetia, por sua vez, s flores favoritas de
sua mulher, e que tambm se ligavam conversa com Knigstein. Botnica ainda lembrava
Freud de um episdio na escola e outro na Universidade, alm de outra conversa com o amigo
Knigstein e novamente de flores favoritas, as suas, alcachofras, por trs do que apareciam
pensamentos sobre a Itlia e uma cena de sua infncia que teria sido, de acordo com Freud, o
incio de suas relaes ntimas com os livros. Botnica era, assim, um ponto nodal para o
qual convergiam diversas cadeias de idias que, Freud garante, entravam apropriadamente no
contexto da conversa com Knigstein.
Monografia, por sua vez, tambm remetia, individualmente, a alguns assuntos
pertinentes: a parcialidade de seus estudos e o custo dispendioso dos passatempos favoritos de
Freud.
A concluso de Freud de que monografia e botnica entraram no sonho:
(...) porque possuam inmeros contatos com a maioria dos pensamentos do sonho,
ou seja, porque constituam pontos nodais para os quais convergia um grande
nmero de pensamentos do sonho, porque tinham vrios sentidos ligados
interpretao do sonho (FREUD, 1900, p. 309).
de reunir os diversos sentidos, os valores, veiculados pelos pensamentos, isto , por outros
elementos dotados de valor. Tanto o significante botnica, quanto o significante
monografia, portanto, seriam conjuntos contingencialmente construdos capazes de conter,
quanto a seus valores, aqueles dos conjuntos relacionados aos pensamentos ativos no sonho,
ou ao fragmento do mundo em questo.
Quanto determinao material desses conjuntos, o que se verifica que eles
apresentam, tanto como elementos, quanto como elementos de seus elementos, diversas
repeties. Ou que eles apresentam simultaneamente seus elementos e os elementos de seus
elementos, mesmo com, e especialmente por causa de, uma reapario reiterada de alguns
deles. Dito de outra maneira, monografia e botnica, mas tambm a lmina colorida e o
espcimen seco, e finalmente, todo o sonho, apresentam-se como conjuntos fortemente
transitivos, apresentando seus elementos, os quais tambm apresentam os seus, em uma rede
relacional intrincada, na qual, como diz Freud:
No s os elementos de um sonho so repetidamente determinados pelos
pensamentos do sonho como tambm cada pensamento do sonho representado
nesse ltimo por vrios elementos. As vias associativas levam de um elemento do
sonho para vrios pensamentos do sonho e de um pensamento do sonho para vrios
elementos do sonho (FREUD, 1900, p. 310)
Ora, o fato de que nos sonhos, mas tambm nas demais formaes do inconsciente,
alguns elementos tenham a possibilidade de serem manipulados diretamente como coisas, e
supondo-se ento a isso, coisas, um atributo especial, leva-nos a crer que, diferentemente da
manipulao corriqueira dos valores relativos, de que os objetos do mundo, significantes,
seriam alvo, que aos significantes do ponto de vista do inconsciente se esse modo de
expresso me permitido no so atribudos valores to relativos, ou to dependentes de um
mundo contingente, seno que os valores a presentes, tais como os valores dos nmeros
naturais em qualquer sistema, so absolutos. o que faz da referncia flica um referente
duro, por assim dizer chistes parte e que reaproxima nossa considerao anterior sobre a
relao do significante com o nmero, quando se fala de seu valor. Essa perspectiva somente
corrobora a tese de que a formao onrica, como as demais formaes do inconsciente,
190
buscaria constituir uma topologia de alguma forma conexa, banindo a condio para a
ocorrncia de eventos. Impossibilidade constitutiva, no entanto, j que fundamentado nele, o
significante, ao contrrio do nmero, incapaz de se desvencilhar de sua origem eventural,
inconsistente, a qual se manifesta, ou se insinua repetidamente.
Fiz a assimilao entre as operaes lgicas de conjuno e envelope, segundo
Badiou, quelas da metonmia e da metfora, de acordo com Lacan, ou do deslocamento e da
condensao, a partir de Freud, como operaes essenciais ao significante em seu
funcionamento. Essa ligao, no entanto, pressups apenas consideraes lgicas, na medida
em que tais operaes puderam ser assim descritas, independentemente de qualquer contedo
dos significantes em questo, isto , de seu material. No entanto, seu material no pode ser
completamente indiferente s consideraes de valor a que se submetem as regras de
valorao relativa dos significantes. Vimos, nessa linha, que a metfora, realizada, por
exemplo, pelo significante botnica, se baseava na dupla determinao, de um valor
relativo, que botnica preencheria ao condensar valores relativos inferiores, mas
igualmente de uma composio significante que buscava a conexidade. O que se destaca
tambm nesse processo que o significante, que aparece como realizando a metfora, ganha,
por essas vias, a caracterstica de ser irrelevante, que se entende exatamente por ser o
avesso da singularidade eventural. Do valor dos elementos em questo quanto sua
intensidade de apario, portanto, no se pode dizer que esteja em uma relao direta com sua
importncia, mas, bem ao contrrio, em uma relao inversa. O importante, no sentido de
que seria o mais relevante para a formao do sonho, tem seu valor de apario reduzido ou
nulo e seria o que promoveria a disjuno a ser evitada.
No curso da formao de um sonho, esses elementos essenciais, carregados como
esto de um intenso interesse, podem ser tratados como se tivessem um valor
reduzido e seu lugar pode ser tomado, no sonho, por outros elementos sobre cujo
pequeno valor nos pensamentos do sonho na h nenhuma dvida. primeira vista,
como se nenhuma ateno fosse dispensada intensidade psquica das vrias
representaes ao se proceder escolha entre elas para o sonho, e como se a nica
191
Porm, como assevera Freud, pode ocorrer simultaneamente que a formao do sonho
ignore os elementos assim enfatizados substituindo-os por outros, tambm cuja importncia
psquica pequena, mas cujo valor de apario potencialmente alto, justificando sua
presena no sonho. Assim, a condio metafrica se associa a outra, metonmica, na descrio
de Freud, promovendo mais uma alterao material, na escolha de elementos cuja
determinao no est em seu valor alto, mas por ter seu valor reforado a partir de muitas
direes, isto , aquele de apresentar o que h de comum entre os diversos sentidos, ou
valores, envolvidos. No obstante, a determinao do valor de apario no sonho dessa forma
de operao ainda tem de atender ao requisito de se afastar da disjuno, que o valor do
pensamento, por seus significantes, apresentaria.
Esse deslocamento da importncia em relao ao aparecimento no deixa de se
relacionar, portanto, tambm sobredeterminao, e se entre dois pensamentos do sonho, o
que aparece em sua manifestao um terceiro elemento, que apresenta algo em comum entre
eles, a escolha desse elemento tambm atende ao requerimento de irrelevncia, ou seja, de
transitividade e conexidade, os quais, aumentando o valor de apario no sonho, indicam sua
menor importncia psquica, apresentando, mais uma vez, a relao que se estabelece entre a
determinao material e a atribuio de valor.
Portanto, parece plausvel supor que, no trabalho do sonho, est em ao uma fora
psquica que, por um lado, despoja os elementos com alto valor psquico de sua
intensidade, e, por outro, por meio da sobredeterminao, cria, a partir de elementos
de baixo valor psquico, novos valores, que depois penetram no contedo do sonho.
Assim sendo, ocorrem uma transferncia e deslocamento de intensidade psquicas
no processo de formao do sonho, e como resultado destes que se verifica a
diferena entre o texto do contedo do sono e o dos pensamentos do sonho. O
processo que estamos aqui presumindo nada menos do que a parcela essencial do
trabalho do sonho, merecendo ser descrito como o deslocamento do sonho. O
deslocamento do sonho e a condensao do sonho so os dois fatores dominantes a
cuja atividade podemos, em essncia, atribuir a forma assumida pelos sonhos
(FREUD, 1900, p. 333)
192
Se, com isso, justifica-se a metodologia atravs da qual procuramos enfrentar o tema
da fundamentao matemtica, avancemos ainda um pouco em nosso argumento.
As operaes fundamentais assim definidas devem permitir que outras operaes
lgicas possam ser construdas. E, de fato, o que ocorre, como demonstra Badiou.
193
Uma operao derivada das elementares que deve ser apresentada a negao. A
relao com o aparecer, no entanto, faz com que isso no se reduza ao no aparecer que, como
se viu, corresponderia simplesmente, entre elementos de um mundo, ao fato de entre eles
haver um valor relativo nulo. Sendo completamente diferentes, no aparecem em conjunto.
Porm, no somente disso que se trata na operao lgica aqui envolvida. Trata-se de
elementos de um mundo que aparecem, mas que nada tm em comum.
Porm, tal como o fenmeno do aparecer, tal como Badiou o considera, no questo
de se analisar aquilo que no aparece, seno de se explicar como a negao de um aparecer
pode ocorrer de uma maneira positiva em uma relao entre significantes.
Chama-se inverso do grau de apario de um ente-a em um mundo ao envelope
da regio do mundo constituda por todos os entes-a cuja conjuno com o primeiro
toma o valor zero (o mnimo) (BADIOU, 2006, p. 147).
Perceba-se que a negao lgica assim definida no uma operao primria, mas
construda, e to somente a partir das operaes de conjuno e envelope, e de sua
distributividade. A negao de um aparecer um valor to positivo quanto sua afirmao.
Seja um valor p de um transcendental. Um valor dele disjunto, digamos q, tal que a
conjuno de ambos nula: p q = . Se reunirmos todos os elementos/valores q com essa
propriedade, isto , o conjunto {q / p q = }, tem-se a um envelope (lembrando da
definio de envelope, u = {q/P(q)}). O envelope, portanto, tudo o que aparece, e que tem
o valor mnimo de conjuno com um determinado elemento. Nota-se:
p = {q / p q = }
Como aponta Badiou, a negao combina a alteridade, um sentido da disjuno, com a
maximalidade, um sentido do envelope, oferecendo a mxima alteridade da apario. A
194
Assim, e pela prpria definio de Badiou da negativa como envelope, operao que
amplia horizontes incluindo termos que, talvez, de outro modo permaneceriam isolados,
reduzindo a consistncia de uma realidade, no nos deve surpreender a afirmao de ser a
negativa uma metfora. Alis, na idia de que um sintoma neurtico realiza simultaneamente
um desejo e sua negao, motivo para sua formulao paradoxal ao ser o substituto das duas
realizaes, ele duplamente metafrico.
195
196
em que uma dupla negao igual a uma afirmao. O caso clssico um caso particular da
lgica desenvolvida pelo filsofo.
a partir da operao de inverso, ainda, que se deduz a existncia do valor mximo
de apario, M, como o inverso do valor mnimo. Nesses dois casos unicamente, o do valor
mximo e do valor mnimo, aplica-se o classicismo da dupla inverso, ou seja, o inverso do
inverso do mnimo continua a ser o mnimo. E analogamente em relao ao mximo. Isso
porque sendo o mnimo nico, o que se pode provar, o inverso de seu inverso devendo,
conforme a propriedade acima (p p), ser inferior ou igual ao mnimo, resta-lhe ser igual
ao mnimo. E analogamente em relao ao mximo.
Outra operao importante, do ponto de vista lgico, que ainda resta construir aquela
da dependncia, ou a da implicao, na lgica formal.
A idia por detrs da noo de dependncia que possa existir uma relao causal no
aparecer de dois entes. Vejamos a definio de Badiou:
A dependncia de algo B que aparece em relao a outro, A, aquilo que
aparece com maior intensidade que se possa juntar ao segundo [A], mantendo-se
ainda menor a intensidade que o primeiro. A dependncia , assim, o envelope dos
entes-a dos quais a conjuno com o A tem o valor menor do que B (BADIOU,
2006, p. 145)
199
lgica que Badiou expe daquela que poderia nos interessar21. No entanto, nosso interesse, e
isso parece-me importante destacar, prende-se menos ao fato dessa lgica retratar mais ou
menos fielmente o que a teoria psicanaltica tambm descreve, quanto prpria possibilidade
de faz-lo. Dito de outra maneira, pode ser mesmo possvel que a lgica aqui descrita no se
aplique em alguns casos, ou que somente se aplique em casos especficos. Isso, porm,
menos importante desde que se possa discernir esses casos. O essencial que se possa, de
alguma forma, especificar, nos casos de interesse, a lgica (significante) envolvida. Mais que
uma lgica do inconsciente em sentido amplo, tratar-se iam de lgicas particulares, como
por exemplo, uma lgica para a fantasia e outra lgica para o discurso. No obstante, a
aproximao que aqui se verifica entre essa lgica e o funcionamento dos sonhos, nos
exemplos que temos colhido, torna-a particularmente atraente e as razes para isso merecem
considerao.
Prosseguindo, a lgica clssica corresponde a um subconjunto dessa Grande
Logique, segundo a interpretao das operaes elementares e daquelas que, a partir dessas,
podem ser construdas. Assim, o filsofo mostra que os conectores ordinrios da lgica, e no
somente da clssica, como e (), ou (), a implicao (), a negao (), assim como o
quantificador existencial () e o quantificador universal (), no so seno possveis
manipulaes particulares de um caso mais geral, definido pelas operaes de mnimo,
conjuno e envelope, o que habilita uma legitimao sinttica. Juntamente com isso, toda a
possvel modalizao lgica, o verdadeiro, o falso, mas tambm o necessrio, o provvel, o
verdadeiro-em-certos-casos-mas-nem-sempre, o possivelmente verdadeiro, o inelutavelmenteincerto, o notoriamente-falso-salvo-se-houver-exceo (BADIOU, 2006, p. 186) so
igualmente representveis pelos operadores e graus transcendentais, o que permite uma
21
Agrega-se que a Grande Logique de Badiou parece se aproximar de uma lgica de tipo intuicionista e
polivalente, o que faz dela uma lgica heterodoxa, conforme COSTA (1994).
200
legitimao semntica. O que torna claro que o transcendental da lgica clssica dos
predicados possui apenas dois valores, F (o mnimo) e V (o mximo).
Mostra-se sem muita dificuldade que o conector e () representado pela operao
de conjuno, que o conector ou () dedutvel da operao de envelope envolvendo
apenas dois graus, que a implicao () corresponde operao de dependncia, a negao
() representada pela operao do inverso, e que tanto o quantificador universal () quanto
o existencial () so dedutveis de operaes a partir do operador de envelope.
dessa maneira que a efetuao do aparecer, ou a apario de um significante
encontra em uma lgica sua determinao.
Se ao significante, em seu funcionamento inconsciente, correspondem determinadas
operaes, algumas fundamentais, e outras derivadas dessas, no deixa de ser interessante
notar que o significante, no sentido em que o entendemos aqui, produto desse conjunto de
operaes, mostrando uma transparncia em relao s operaes em si. J vimos, quanto
negao, por exemplo, como, no inconsciente, ela se produz como a realizao de uma
metfora, uma substituio, uma condensao, ou um envelope que faz aparecer o inverso
daquilo que se nega, e na qual a prpria partcula de negao no aparece. Isso, naturalmente,
no se restringe negao como operao, sendo verificvel igualmente para as demais
operaes lgicas. Voltando estrutura dos sonhos, via rgia para o inconsciente, Freud
mesmo nota que as diferentes pores dessa complicada estrutura mantm, claro, as mais
diversificadas relaes lgicas entre si (FREUD, 1900, p. 338), mas que os sonhos no tm
a seu dispor meios de representar essas relaes lgicas entre os pensamentos do sonho
(ibidem). No se trata de dizer que os sonhos no efetuem tais relaes lgicas, muito ao
contrrio, exatamente isso o que eles fazem. Eles efetuam uma lgica, mas uma que no se
apresenta em seus conectivos e suas leis de maneira explcita. O sonho no diz se... ento...,
201
ou... ou..., ... e ..., mas faz aparecer tais relaes materialmente e nas relaes de valores
que se estabelecem entre os significantes.
Freud (1900) apresenta diversas consideraes e exemplos de como tais relaes
aparecem nos sonhos e, por extenso, nas formaes do inconsciente. Quanto s relaes
causais (), por exemplo, se... ento..., diz Freud que o mtodo mais comum seria a de
introduzir a orao subordinada como sonho introdutrio e acrescentar a orao principal
como sonho principal. A seqncia temporal pode se dar de maneira invertida, mas a parte
mais extensa do sonho sempre corresponde orao principal (FREUD, 1900, p. 340).
Retomemos que p q, no caso clssico, simplesmente nos atendo ao mais simples, quer
dizer que p q = p, ou que p est contido em q (como homens, p, est contido em mortais, q),
e que a afirmao de Freud indica que a parte de menor valor relativo, p, aparece mais extensa
no sonho. Se o valor psquico de um elemento mais importante, como j notamos, seu valor
de apario menor, e em seu lugar aparece outro elemento, de valor de apario maior, ou
que insiste, ou que tem maior nmero de conexes, sendo, por essa mesma razo,
aparentemente desprovido de importncia. Assim se tem que a parte mais extensa, a que
apresenta maior nmero de conexes, aparece com mais intensidade, realizando a conexidade
que esse valor menor colocava em risco.
A relao lgica ou, por sua vez, aparece nos sonhos pela apresentao no sonho
concomitantemente de todas as alternativas envolvidas, ou de algo que, na seqncia
associativa as rena, como o faz o envelope. Como lembra Freud, o sonho de injeo de
Irma oferece um exemplo clssico, j que seus pensamentos latentes diziam nitidamente:
No sou responsvel pela persistncia das dores de Irma; a responsabilidade est ou
na resistncia dela a aceitar minha soluo, ou nas condies sexuais desfavorveis
em que ela vive e que eu no posso alterar, ou no fato de que suas dores de modo
algum so histricas, mas de natureza orgnica (FREUD, 1900, p. 342)
202
Ao que Freud ainda acrescenta a irrelevncia, para o sonho, de que as condies sejam
mesmo mutuamente excludentes, e que o sonho efetuou todas as possibilidades em seu
enunciado unificado.
O conector lgico e, por sua vez, corresponde conjuno, ou seleo de um
elemento que conjuga os valores em comum dos significantes assim representados. A linha
associativa, segundo Freud, mostrar que duas ou mais correntes de pensamento se renem
como alternativas, as quais podem aparecer na associao como a separao do elemento que
efetuou tal conjuno, mas que todas as alternativas dos pensamentos invocados, pela via de
seus significantes, so vlidas.
A relao tal como, de acordo com Freud, a mais privilegiada dentre as relaes
lgicas que se figuram nos sonhos, e isso se deve a que a relao de semelhana auxiliada
pela tendncia do trabalho do sonho condensao (FREUD, 1900, p. 345).
A semelhana, a consonncia, a posse de atributos comuns tudo isso
representado nos sonhos pela unificao, que pode estar presente no material dos
pensamentos do sonho ou pode ser novamente construda. A primeira dessas
possibilidades pode ser descrita como identificao, e a segunda, como
composio. A identificao empregada quando se trata de pessoas; a
composio quando as coisas so o material da unificao (FREUD, 1900, p. 346)
Tal assero de suma importncia, uma vez que relaciona diretamente o trabalho da
condensao, ou da metfora, identificao. Uma vez que, segundo Freud, todo sonho versa
sobre o prprio sonhador (FREUD, 1900, p. 348), a apario de pessoas pode indicar uma
identificao do eu a algum trao dessa pessoa que efetua essa metfora, essa substituio
significante. Porm, ainda mais importante a constatao no somente de que a uma
identificao corresponde uma metfora, mas que a operao de uma metfora pode, ela
mesma, gerar uma identificao. O que logicamente claro, uma vez que a metfora, ao
reunir valores sob um determinante de valor maior, promove igualmente um novo conjunto,
que uma classe de equivalncia, isto a reunio de elementos os quais, sob o ponto de vista
203
22
204
205
pequena irm, Anna, por sua vez, caberia um valo relativo baixo:
Um pouco mais tarde, Hans observava sua irm de sete dias, a quem davam banho.
Mas o pipi dela ainda bem pequenininho, observou; e acrescentou, a guisa de
consolo: Quando ela crescer, ele vai ficar bem maior (idem, p. 21)
206
IV.3.2.
matemticos, diz-se que o conjunto dos minorantes de . Esse conjunto nunca vazio,
uma vez que o mnimo, , que seguramente inferior a qualquer dos elementos, a figura.
A demonstrao passa por mostrar que o envelope de tambm menor que o
envelope de , isto , que o envelope do conjunto dos no flicos tambm um minorante do
envelope do conjunto dos flicos, o maior deles, de fato: digamos, .
A comparao estabelecida por Hans entre os elementos que vai colhendo, teria feito
que Hans assim tomou conscincia de uma caracterstica essencial de diferenciao entre
objetos animados e inanimados (FREUD, 1909a, p. 19).
Ora, o que ele fez foi estabelecer o envelope que reunia os flicos e o distinguiu
daquele dos no flicos, isto , fez uma metfora e avaliou uma conjuno, metonmia. a
que devemos situar, portanto esse tomou conscincia a que Freud se refere? Na operao de
uma metfora? Na obteno de um limite, de um fecho de um conjunto? O que se
desenvolveu at o momento faz crer que esse pode ser um de seus sentidos.
Lembrando que a comparao em questo, em alemo, e para Hans, se referia ao
wiwimacher (literalmente, fazedor de pipi) e no ao rgo corriqueiramente suporte do
atributo flico, concordemos com Freud. Porm, se a preocupao comparativa do menino,
uma vez discriminados os objetos inanimados, ainda se referisse ao pipi como vulgarmente
conhecido, poderamos ter o seguinte:
A comparao estabelecida por Hans, em nosso exemplo, apresentaria a seguinte
escala: mesa, cadeira, no o tendo em absoluto, com o valor relativo , o mnimo possvel,
mas como esses so inanimados, no contam nessa avaliao. Anna tem um pequenino, p,
maior que o mnimo. Sua me tem um valor enorme, como o de um cavalo, e se no for o
mximo, M, seria bem prximo dele. O valor de tido como o grau inferior ou igual a
todos os valores atribudos na comparao flica entre elementos do mundo animado de Hans.
Nesse caso, Anna seria a representante desse menor valor at o momento. Assim, todos os
208
enunciados do tipo fulano tem um pipi como um cavalo (ou como a mame), seria pelo
menos to verdadeira quanto o grau de identidade estabelecido por , isto , p. A afirmao
do tipo todo o mundo tem um pipi, x (x), verdadeira, considerando-se a medida do
atributo em questo, que relativa, somente na medida de p.
Porm, lembremo-nos do breve dilogo de Hans com seu pai, citado anteriormente:
Hans (trs anos e nove meses): Papai, voc tambm tem um pipi?
Pai: Sim, claro.
Hans: Mas nunca vi, quando voc tirava a roupa. (FREUD, 1909a, p. 19)
Recuperemos, para efeito de exemplo, o pequeno modelo de que se tratou quando discutimos
a conexidade de algumas topologias. Seja X, o conjunto {a,b,c}, dotado de uma topologia tal
que conforme, como seus abertos, ou suas vizinhanas, ou os subconjuntos do estado da
situao, a coleo {, {a,b,c},{a},{b},{a,b}}. Como vimos, esse espao conexo por no
ser possvel uma partio, a partir de seus abertos, que o separe em dois cuja reunio volte a
ser o espao inteiro e o motivo para isso a presena desse ponto singular, c, que se apresenta
no conjunto de origem, a situao, mas no encontra representao na situao organizada, ou
seu estado.
Verifiquemos algumas formulaes lgicas envolvidas. Seja U o aberto {a} e V o
aberto {b}. Notemos que a negao U, em termos dos abertos da topologia em questo, isto
, o que no {a} nessa topologia, , de fato, V, ou seja, {b}:(U = V). Porm, a unio de U e
V, U V, que {a,b} no corresponde ao espao inteiro, {a,b,c}. Mas, se U V = {a,b}, sua
negao, (U V) = (porque no h outro aberto na topologia que corresponda negao
de {a,b}), mas a dupla negao (U V) igual a X, isto , {a,b,c}, e no mais {a,b}, de
onde se partiu. Com o que temos, nessa configurao de conjuntos, que p p.
Naturalmente se percebe, outra vez, que o responsvel por esse comportamento lgico o
elemento c, conjunto singular, recalcado, prosseguindo em nossa hiptese.
No captulo seguinte, aprofundaremos a discusso sobre essa relao entre lgica e
conjuntos. Por enquanto, reforo apenas que a lgica do aparecer que Badiou prope parece
particularmente interessante para nosso caso, mas mesmo se esse no fosse o caso, isso no
implicaria, na perspectiva que se adota aqui, que no h fundamento possvel para o emprego
da matemtica em psicanlise, mas to somente, que a lgica envolvida talvez no se
210
segundo Badiou, s pode vir a acontecer se a prpria lgica do aparecer for alvo de uma
subverso. Essa ocorrncia, como poderia ser esperado, tem relao com o conceito de
evento, do tomo anterior. Assim, o conjunto que corresponde ao evento, o qual, como
devemos nos lembrar, um conjunto paradoxal, dotado de auto-pertencimento, impossvel
pelas regras de formao da esttica conjuntista, seria capaz de aparecer referido to somente
a ele prprio, isto , fora da rede relacional que determina os valores presentes no mundo.
Alm disso, segundo Badiou, necessrio que o seu grau de aparecimento seja mximo para
que as conseqncias eventurais possam efetivamente se desdobrar. Isto , caracterizao
que Badiou chama de ontolgica, da composio mltipla em seu ser de evento como um
conjunto auto-pertencente, deve se somar uma caracterizao lgica, relativa prpria
intensidade existencial23 conferida ao conjunto em questo. Naturalmente, assim que esse
evento, como conjunto paradoxal, aparece, em sua mxima intensidade, todo o esforo
envidado para a recuperao da estabilidade mundana, a comear pela reafirmao das leis, os
axiomas, da teoria. Assim, o valor intenso de apario imediatamente transformado em
valor nulo, e aquilo que subitamente apareceu, de maneira igualmente sbita desaparece,
restando a necessria considerao dos efeitos dessa brusca ruptura das regras.
Lembrando da lgica bsica que rege o mundo, h a possibilidade de que o objeto
relacionado com o fenmeno apresente entre seus membros significantes algum que possua,
em relao quele que promoveu o distrbio ordem, uma dependncia mxima. Se o valor
de aparecimento do stio eventural no for mximo, ele ainda pode promover modificaes,
claro, mas to somente nos elementos de determinada intensidade. Ao contrrio, se a
intensidade de apario tiver sido mxima, todo o conjunto pode ser realmente afetado, e em
particular no caso em que mesmo os elementos do objeto que no aparecem, por serem
23
Badiou define o grau de existncia de um ente que aparece como o grau de identidade prprio, isto , o
resultado da avaliao Id(x,x), que, no caso de um evento capaz de promover transformaes, deve receber o
valor mximo, M.
213
avaliados na rede relacional pelo valor mnimo (nulo), subitamente fazem, pelo efeito causado
pelo aparecimento do evento, tambm uma apario. E, Badiou o demonstra, esse termo que
no aparecia, passa a figurar, como conseqncia fundamental de um evento, com um valor
mximo aps o desaparecimento do brilho fugaz do prprio evento. Em contrapartida, por
consideraes da lgica em questo, algum outro elemento, antes avaliado em algum grau de
intensidade, algum valor, pelo transcendental do mundo, desaparece, transtornando toda a
estabilidade at ento vigente.
De qualquer modo, o que se verifica o restabelecimento, ou ao menos sua tentativa,
de uma nova coerncia do conjunto organizado, na medida em que todos os termos mantm
alguma relao entre si.
H, no entanto, determinadas condies que um mundo deve atender para que um
evento possa produzir suas conseqncias. H mundos, por seus transcendentais, passveis
dessa transformao, outros no; os primeiros so mundos tensos, ao passo que os segundos
so ditos tonos.
Outra vez, invocando a relao de implicao lgica como a dependncia do
aparecimento de um elemento em relao ao aparecimento de outro, a sbita apario daquilo
que era mesmo inexistente, deve ser avaliada termo a termo, para cada elemento cuja
existncia depender maximamente do inexistente aparecido. Ao conjunto desses elementos,
dependentes da nova apario, Badiou denomina um corpo, o qual, entre suas partes pode
possuir, ou no, elementos que afirmem a relevncia do evento; seus rgos.
Toda essa descrio, desenvolvida em termos matemticos por Badiou, deve, espero,
ter soado familiar aos ouvidos de um psicanalista, particularmente se todos os elementos em
questo, corpo e rgo no excludos, forem assimilados a estruturas significantes, dotados de
sua materialidade constitutiva, isto , de outros significantes, e dos valores engendrados por
suas relaes, significaes. O que Badiou descreve, portanto, e em termos matemticos, so
214
215
V.
Superfcies significantes
Nos captulos precedentes, espero ter mostrado que se existe algum fundamento para o
emprego da matemtica pela psicanlise, esse deve ser encontrado l onde a prpria
matemtica encontra os seus, isto , naquilo que hoje se consideram as razes da grande rvore
matemtica: a teoria dos conjuntos e a lgica. Esse fundamento reside na relao existente
entre o significante e os dois campos basilares da matemtica, na medida em que o primeiro
apresenta um isomorfismo com o conceito de conjunto, por um lado, e realiza uma lgica, que
podemos supor no clssica, por outro. No se ignora e, bem ao contrrio, ressalta-se, que so
os mesmos lugares de impasse da matemtica aqueles que remetem diretamente a diversas
problemticas propriamente psicanalticas.
Quero crer que com insistncia fiz meno a uma relao intrnseca existente entre
essas duas vertentes, o aspecto de conjunto do significante e sua caracterstica lgica, passvel
de formalizao em determinado nvel. No me parece soar demasiado estranha a conjectura
da existncia de uma dupla determinao do significante, baseada tanto em seu aspecto
topolgico, na medida em que sua caracterstica de conjunto sobressai, quanto em seu aspecto
lgico, em que so as relaes e operaes entre significantes que recebem destaque.
Neste captulo, pretendo explorar essa dupla determinao um pouco mais
proximamente, ainda que prosseguindo com a necessria superficialidade que tem nos
acompanhado at o momento; se no tenho o estofo matemtico para um aprofundamento
muito maior, tampouco creio que um mergulho nas matemticas interessasse o leitor, ao
menos neste momento em que defendo to somente a fundamentao de se recorrer s
matemticas. Com efeito, cada um dos conceitos psicanalticos, interpretado pela matemtica,
daria uma tese por si s se explorssemos mais densamente os desenvolvimentos tericos j
realizados de ambos os lados. Qui esta tese possa motivar tais empreendimentos.
216
Nossos passos, a partir de agora, devero ser os seguintes: em primeiro lugar, gostaria
de mostrar que j em Freud encontramos a presena da topologia e da teoria dos conjuntos em
referncias, por vezes mais, por vezes menos explcitas. Quanto lgica, creio j ter
defendido essa posio diretamente no ltimo captulo, em que apresentei uma lgica,
baseada na idia de Badiou, capaz de descrever as operaes fundamentais, assim como
aquelas delas derivadas, do significante em sua realizao material. Ainda que as incurses
topolgicas de Freud sejam mais propriamente metafricas, seu esprito norteador
plenamente capaz de nos orientar na direo do que se poderia justificadamente denominar de
estrutura do psiquismo humano. Nessa, veremos o significante se projetar com destaque, em
consonncia com o privilgio que Lacan lhe concedeu em sua teorizao. A seguir,
retornaremos ao psicanalista francs, com o intuito de mostrar como se justificaria,
hipoteticamente, a construo de alguns espaos que Lacan apresenta como paradigmticos de
certas relaes fundamentais de interesse psicanaltico. No pretendo exauri-los todos, esses
espaos lacanianos, seno conjecturar a fundamentao de seu emprego, talvez extraindo
algumas conseqncias. O conceito basilar deste captulo aquele de modelo, apresentado no
captulo II e aqui expandido com comentrios e implicaes para a psicanlise, como, por
exemplo, sua vinculao com o conceito de verdade.
Partamos com Freud.
V.1.
Procuro agora mostrar como j em Freud est presente a idia de que se trata, na
metapsicologia, de espaos, de topologias. Mais alm, busco apresentar que a soluo
freudiana das associaes lingsticas como essenciais ao processo de pensamento,
destacando a relao intrnseca entre o pensamento e a fala, no somente participa da estrutura
topolgica do aparelho proposto por Freud, como sua coroao.
217
como o outro o nico suporte possvel para a pulso de morte, uma vez que a opo seria a
da morte do prprio sujeito, impensvel, a espacialidade pensada a partir da pulso de morte
exige preliminarmente a alteridade. Ou, alternativamente, que o outro que cria o exterior da
pulso de morte, sem que, no entanto, possa-se falar de um anterior a essa criao, de um
exterior sobre o qual a projeo se daria. A prpria projeo promoveria a criao da
exterioridade. Aqui seria preciso pensar que esta projeo ela prpria que desdobraria o
espao a partir da figura do outro.
Alteridade e espacialidade apresentariam sua hierarquia invertida na metapsicologia
freudiana a partir da segunda tpica pulsional, pois, se at ento, a alteridade, como objeto do
desejo, s apareceria inserido em um espao tido como pr-existente, a pulso de morte
inaugura a idia da alteridade como condio necessria da projeo da pulso de morte,
ditando ento que dever ser a espacialidade a se fundar sobre a alteridade.
Porm, se o espao originalmente a projeo da pulso de morte, isto , se todo
espao essencialmente exterior, toda interioridade s pode ser pensada como derivada de
transformaes deste exterior originrio, pois no podemos chamar de interioridade o
tempo anterior ao desdobramento do espao. Ou, como conclui o autor: a espacialidade
enquanto tal simplesmente no uma estrutura dada desde o incio na formao do
psiquismo.
Devo concordar fundamentalmente com essa ltima tese que, com efeito, vai mais
longe que o que aqui defendo24. Porm, creio ainda poder contribuir com ela substanciando
suas afirmaes com a defesa de que a espacialidade uma promoo do prprio significante.
24
A idia mais geral em que uma evoluo do pensamento que apresento poderia culminar encontra um paralelo
na teoria da relatividade de Einstein. Por mais cosmolgica que se apresente essa conjectura, no se trata de nada
disso. O conceito seguido o de que no a matria que se insere em um espao previamente dado, mas que,
bem ao contrrio, a prpria matria que organiza o espao. Ou, sob minha perspectiva, o significante que
organiza o espao, segundo suas relaes, as quais, por sua vez, so ditadas por consideraes suplementares,
tais como o aspecto de valor relativo que assumem. Sujeito e objeto, em sua relao, ou em suas posies
relativas, dariam as cartas nessa atribuio de valores que configurariam os espaos significantes particulares.
219
25
Em outros termos, o sistema composto pelos neurnios representaria a memria, desde que se mantenha em
mente que, em termos freudianos, essa memria sempre uma memria de ao, os caminhos preferenciais
rumo a uma descarga motora do excesso quantitativo.
221
elas, a prpria necessidade de se manter sua caracterstica espacial euclidiana. Abre-se a porta
para outra topologia.
Claramente, o contraste entre quantidade e qualidade, irredutveis em princpio, o
responsvel pelos impasses que o Projeto tem de enfrentar.
A possibilidade de estimulao quantitativa do aparelho tanto por vias exgenas, o
mundo externo, quanto por vias endgenas, o prprio corpo, deveria implicar na capacidade
do aparelho de distingui-las adequadamente. A questo da realidade em psicanlise, da
diferena entre uma percepo e uma idia, aqui explcita. Ocorre que seriam, conforme a
descrio freudiana, esses mesmos neurnios da conscincia aqueles que, aproveitando o
perodo da estimulao externa, seriam capazes de identificar a realidade como tal. Alm do
mais, os neurnios da conscincia, segundo o modelo freudiano do Projeto emitiriam um
sinal, um signo de realidade, na constatao da presena do objeto real, cuja percepo,
atravs dos neurnios correspondentes, encontraria caminhos facilitados no sistema de
memria. No entanto, como alm das sries qualitativas sensoriais, encaradas como
diferenas de perodo, h que se reconhecer ainda a srie prazer-desprazer, que Freud reduz,
respectivamente, a uma diminuio-aumento da tenso quantitativa no sistema mnmico,
prazer e desprazer seriam sensaes qualitativas cuja provenincia quantitativa poderia
emanar exclusivamente do sistema ideativo. Emitindo um signo qualitativo (que seria
redutvel a uma quantidade), e cujo paradigma o fenmeno da alucinao, pode ocorrer que
uma eliminao dos neurnios da conscincia se possa dar exclusivamente a partir de
complexos ideativos, sem a participao primria dos neurnios da percepo, ou seja, do
objeto real. A questo da realidade, portanto, mostra-se tambm como aquela da
diferenciao, ou no, entre o interno e o externo, isto , como uma questo topolgica.
A soluo freudiana engenhosa, porm insuficiente, tambm segundo Gabbi Jr.
222
eliminao interna, um indivduo experiente atenta para o estado da criana (FREUD, 1895,
p. 196)26. Assim, o caminho interno de eliminao, passando pelo grito estabelecido como
funo de comunicao, diz Freud, e que no nos censurariam se a denominssemos, a partir
da existncia de um outro, de expresso da necessidade em questo.
Se essa pessoa experiente for capaz, pela ao especfica requerida, de aplacar a
excitao endgena no caso prototpico, oferecendo o alimento de forma que a criana
desamparada possa, sem demora, diz Freud, receb-lo o conjunto dessa vivncia ser o que
se poderia denominar de experincia de satisfao que, de acordo com o autor, traz as
conseqncias mais decisivas para o desenvolvimento funcional do indivduo.
Realiza-se uma eliminao duradoura que pe fim a uma situao que, pelo acmulo
quantitativo nos neurnios do ncleo, provocara a sensao de desprazer na interpretao dos
neurnios da conscincia27. Uma vez que, por hiptese, necessria a presena real de um
outro, de se supor que o sistema perceptivo receba um influxo de excitao externa
proveniente dessa fonte, direcionando-o a neurnios do manto. O prprio movimento de
eliminao (gritos e agitao motora), estando presente, tambm faz parte dessa vivncia,
sendo aquilo a que Freud se refere como imagem motora. A finalizao do estado de
excitao, que resulta em um signo de realidade, ou de qualidade, a partir dos neurnios da
conscincia, refletindo a sensao de prazer pela descarga da acumulao, consiste em uma
mensagem aproveitada pelo sistema mnmico para o registro dessa coleo de conjuntos de
neurnios e pela criao de uma facilitao entre eles, neurnios do ncleo e neurnios do
manto. Porm, de se ressaltar que assim geram-se, simultaneamente, complexos que, sem
muito risco, poderamos chamar de um complexo do objeto, e um complexo do eu.
26
Apesar de a referncia ser Freud, 1895, tomei a citao, por sua clareza, da verso de Gabbi Jr (2003)
O que quer dizer que o nvel quantitativo atingira um nvel superior quele que distinguiria as sries
qualitativas sensoriais, sendo esse acmulo representativo da sensao qualitativa de desprazer.
27
224
28
225
ambos, da mesma situao apresentada, o que ainda justifica a dificuldade apontada quanto
diferenciao entre o interno e o externo, entre o eu e o objeto29.
Porm, na percepo, pela presena de um novo objeto que devemos nos deter.
Segundo Freud, o que a se d pelo efeito dessa mesma presena (por um mecanismo a que
se d o nome de ateno) uma hipercatexizao da prpria percepo de modo que esse
influxo quantitativo tenha os meios para percorrer o sistema mnmico em busca da facilitao
j encontrada na experincia de satisfao. Identidade de percepo o nome dado por Freud
a esse processo de pensamento. E juzo, o nome do caminhar comparativo da quantidade em
busca da identidade.
Que tudo seja fome, ou que o ponto de partida seja originalmente definido
negativamente, como um zero, na interpretao de uma me, encontra bons motivos para ser
compreendido, j que, sendo dessa ordem a primeira, ou o prottipo da experincia de
satisfao, o reencontro do alimento seria indubitavelmente apaziguador como reproduo da
experincia inicial para qualquer excitao endgena.
Porm, para dar conta das variantes do pensamento humano, e particularmente daquele
que Freud denomina de pensamento observador, de importncia capital uma vez que seria o
que leva cognio, o pai da psicanlise oferece uma soluo mpar.
Retomemos brevemente a questo. Um objeto se apresenta essa presena deve ser
considerada essencial. Os neurnios da percepo so ativados e passam sua excitao aos
neurnios da memria pelos caminhos previamente facilitados caminhos sabidos, digamos.
Um juzo, pela comparao termo a termo uma tentativa de correspondncia biunvoca
dos elementos mltiplos dos complexos tentado. Se uma identidade, se o mesmo
encontrado quanto ao objeto que desde sua inscrio na experincia de satisfao poderia
ser denominado de objeto desiderativo ento uma nova satisfao j seria possvel se esse
29
Que o objeto de satisfao, nesse sentido, faa parte do eu no nos deve surpreender, o que suficientemente
apontado, por exemplo, no artigo sobre A negativa (FREUD, S. 1925b).
226
228
30
Novamente, sendo a referncia o Projeto, extraiu-se este citao de sua verso de Gabbi Jr. (2003)
229
V.2.
31
230
psquico tem, entre outras, a incumbncia de distinguir duas regies com o propsito de
sobrevivncia. necessrio que uma estimulao, se nos ativermos aos termos do Projeto, ou
que a presena de um objeto, possa ser determinada como real ou irreal, a fim de conduzir a
aes especficas pertinentes.
Mesmo que se leve em considerao as crticas de que, no Projeto, Freud no teria
resolvido a contento o dilema de como seu aparelho solucionaria esse problema, esse
requisito o que reforado. Dos trs textos mencionados, mas especificamente do Projeto,
anteriormente comentado, pode-se inferir que, decorrente das experincias, formam-se
estruturas representativas de algo chamado eu, e de algo chamado outro. J tivemos a
oportunidade de apresentar uma perspectiva sobre o assunto, sugerindo inclusive que a
constituio dessas duas reas no consegue ser to disjunta como idealmente talvez fosse
necessrio, ou como se gostaria de imaginar. Porm, ainda assim so esses dois registros, ou
essas polaridades, aqueles que primordialmente devem operar nas comparaes necessrias s
tarefas judicativas que levam s aes que deveriam aplacar os estados desejantes,
internamente determinados.
Tomemos de Freud, ainda no Projeto, a indicao de que so as associaes da fala
que, conectadas aos complexos ideativos, ou aos conjuntos armazenados das experincias de
satisfao e de dor aquelas que, em seu percurso, so capazes de fornecer indicaes de
qualidade necessrias identificao da realidade. Reformulado em termos topolgicos, o
percurso da fala na busca de caminhos para a descarga da excitao, ou na realizao do
desejo, deforma o espao estabelecido pelos conjuntos, uma vez que altera relaes de
vizinhana, aproximando ou afastando-os de modo a reativar no somente a imagem de
satisfao, mas tambm a propiciar uma descarga efetiva da energia acumulada.
Porm, unindo-se essa hiptese anterior, tem-se que a fala, nesta perspectiva,
sempre uma articulao com base ora no prprio, ora no alheio. Sempre se trata, enquanto
231
hipoteticamente, o mximo desse valor. Daquilo que apresentei anteriormente, esses valores
devem poder ser ordenados, constituindo uma escala em uma relao de ordem, ao menos
parcial. Dito em termos mais matemticos, estamos falando de algo que poderia ter a forma de
um segmento de reta, ou que seja a ele isomorfo, sobre o qual se disporiam essas relaes
significativas valoradas segundo sua atribuio flica. Chamemos esse segmento, limitado por
um mnimo e por um mximo, representados respectivamente por 0 e 1, isto o segmento
ordenado [0,1], de D1, servindo o expoente de D para indicar sua dimenso espacial, isto ,
que, neste caso, o espao tem uma nica dimenso.
Temos, portanto, dois espaos, cada um desses segmentos, aquele relativo o prprio
e aquele relativo ao alheio, sendo ambos os segmentos limitados nas duas bordas. Cada um
deles traz articulaes significantes, um tem uma relao com aquilo que chamei de prprio e
o outro, com aquilo que batizei de alheio.
Se nos reportarmos novamente a Freud, no Projeto, veremos que no processo de busca
do caminho que leva satisfao, tanto os neurnios do ncleo aqueles mais perto do
prprio quanto aqueles do manto mais prximos do alheio, so ativados, isto , que
no processo de busca da realizao do desejo ambos os espaos so invocados, promovendo
uma articulao entre eles. Potencialmente, portanto, existe um espao que j essa
articulao. Poderamos sugerir, por exemplo, que a cada valor relativo ordenado em um dos
espaos D1, se relacione cada um e assim todos os valores do outro espao. Simplificando,
que a cada significante do espao prprio se relacionem todos os significantes do espao
alheio.
Matematicamente, o que se est a descrever o produto cartesiano entre dois
conjuntos32. Intuitivamente, o leitor compreender esse produto de dois segmentos como uma
32
Conceitualmente, o produto cartesiano no mais que um conjunto, nominalmente, um conjunto de pares
ordenados. Sejam, por exemplo, os conjuntos e , compostos dos significantes virtualmente relacionados,
respectivamente com o espao prprio e com o alheio. O que se quer construir um conjunto dos pares (a,b),
233
superrfcie. Para cada pontoo resultante do produto,, que situar um possvvel significaante, dever
correesponder iguualmente um valor rellativo, a exeemplo dos segmentos
s
de origem. Faamos a
suposio que esse valor seja o resuultado da conjuno
c
l
lgica,
noss termos esstabelecidoss
anterriormente, ou
o a operao lgica e, definin
ndo-se ento todas ass conjunees possveiss
entree os significcantes de um
u lado e de
d outro. O produto deesses dois eespaos, nottado D1xD1
confo
forma outro espao: D2, isto , umaa superfciee quadrada, de duas dim
menses, ou
u isomrficaa
a ela.
A cada ponto
p
dessee produto coorresponde a conjuno entre doiis significan
ntes, isto ,,
um outro
o
signifiicante. Assiim, supondoo-se os doiss espaos inniciais, confi
figura-se na articulaoo
da faala, que os relaciona,
r
ouutro espao, que umaa superfcie,, e cujos ponntos so os valores dass
conjuunes do todos
t
os ponntos de um espao com
m todos os pontos
p
do ooutro. Com efeito, se a
essess pontos-vaalores puderrmos atribuiir a prpriaa noo de significantees, teremos um espaoo
de siignificantess que no so nem s relativos ao prprio, nem
n
s ao alheio, maas exibem a
com a e b , na forma {{aa},{a,b}}. interessante
i
no
otar como se d a construo de tal conjjunto, a partirr
dos axxiomas de ZF, j vistos anteeriormente. Veja-se
V
que {{a},{a,b}} um
m subconjunto de P({a,b}) e que {a,b}
um suubconjunto dee . Ento, o par (a,b) um subconjjunto de P( ), e (a,b) pertence a P(P( )). Essaa
formaa de criao dee um conjuntoo, P(P(x)), j a vimos quando inferimos de Lacan o m
modo de constrruo da sriee
signifficante a partirr da relao de um a um ouutro ( 1 {1}), que
q o paraleelo que se estaabelece aqui na
n relao quee
se d do prprio ao alheio. Anteriormentte, tambm ap
presentei umaa leitura possvvel dessa con
nstruo comoo
uma passagem
p
peloo imaginrio e outra, para o simblico.
234
4
V.3.
236
238
Observem
mos, primeiramente, as
a regies diitas abertas (m, I) e (i((a), M), isto
o , que noo
incluuem seus poontos extrem
mos. Sobre essas, efetu
ua-se a conjuuno norm
malmente. Se com cadaa
pontoo p do conjjunto dito prprio
p
fizerrmos a conj
njuno com
m um ponto o do conju
unto alheio,,
terem
mos um connjunto de poontos distinntos u = p o. Chamem
mos essa dee regio (1), visvel noo
desennho como a parte interiior do quadrado.
Vejamoss em seguida as regies do espao que eqquivalem aoo produto dos pontoss
prprrios, p, com
m o mximoo do valor do
d segmento
o alheio, M.
M No desennho, esses see localizam
m
pelo produto enttre o segmeento (m, I), em baixo, pelo
p ponto M,
M mximoo do segmen
nto vertical,,
esqquerda. Escrreve-se:
(m, I) x {M} isto ,
o produto de todos os pontos entre m e I do segmeento (m, I),,
excluuindo-se os extremos (
( disso quee se trata no
o uso dos paarnteses aoo invs dos colchetes),,
com o ponto M do outro espao.
Sabe-se que o produuto de um seegmento dee reta por um
m ponto tem
m como resu
ultado outroo
segm
mento de retta. Ora, sabemos tambm da lgicca que a connjuno de um elemen
nto com um
m
valorr mximo teem como valor
v
aquelee do prprio
o elemento: p M = pp. Temos, portanto,
p
oss
239
9
valorres de um
ma das aresstas, e quee so os valores
v
do prprio eeixo oposto
o, em umaa
repreesentao caartesiana:
(m, I) x {M} = (m, I)
I
ou
pM=p
240
0
241
1
242
r
de um
ma experinccia no sign
nificativa, adota-se
a
o valor no nu
ulo e tem-see
Com o risco
que, ao invs dee (m, I) x {i((a)} = , o mnimo,
m
fazz-se um envvelope, umaa metfora para
p evitar a
disjuuno, e:
(m, I) x {i(a)} = (m,, I)
ouu p i(a) = p !
R
Regio
(5)
u
relaoo de equivaalncia pontto a ponto entre duas regies doo
Outra veez tem-se uma
espao obtido, desta
d
vez enntre a regioo (2) e a (5):: regio (2) ~ regio (5)).
Falta-noss apenas estudar os quatro
q
ponttos extremoos dos dois segmento
os em suass
conjuunes, mas, do anteriior j se dedduz que elees formam, entre si, taambm umaa relao dee
equivvalncia.
njuno doss
Dito de outra manneira, o esppao D2 forrmado peloo produto D1xD1, conj
espaos significcativos prpprio e alheio, por opeerao supllementar dee algumas relaes
r
dee
equivvalncia, motivadas
m
poor metforaas, se modiffica em algoo que tambbm um espao,
e
mass
com caractersticas peculiarres.
Dizer quue dois ponntos so equuivalentes o mesmoo que dizer que esto juntos,
j
quee
valem
m o mesmoo, que estoo colados. Nossa
N
figurra plana, peelas operaes descritaas, torna-see
entoo, pela collagem das arestas oppostas no sentido
s
de sua ordennao, um toro. Maiss
visuaalmente, um
ma vez que a aresta infe
ferior do quaadrado form
mado tem o mesmo vallor, ponto a
243
3
A restrio
r
neuurose, como see pode depreeender, vem da presena j articulada
a
do ssignificante I, ideal do eu, a
se conncordar com sua
s apario somente
s
a parrtir do declnio do complexxo de dipo ee, portanto, j conformandoo
uma estrutura
e
neurtica, em umaa perspectiva lacaniana.
l
244
4
representado pelo crculo interno, a prpria alma. Uma vez que se trata da demanda e de
suas composies, parece-me justo equivaler o toro s posies possveis da fala, querendo
com isso dizer que o desenvolvimento da fala, das articulaes significantes orientadas pela
busca do objeto, ocupa essa superfcie. H, no entanto, que se assinalar que a partir dessa
perspectiva, a fala, no interesse do psicanalista, ou nessa modelagem pelo toro, restrita sua
dimenso de demanda. evidente que seria possvel se argumentar que a fala, em sentido
amplo, no se restringe a essa dimenso, podendo efetuar outras coisas que no somente uma
demanda. Concordando com essa posio, pode-se, entretanto, para efeito de seu uso parcial
pela psicanlise, ainda assim dizer que essa dimenso de fato de interesse por implicar tanto
os passos da constituio subjetiva quanto os caminhos no tratamento. Em outras palavras, a
tentativa de constituio do toro como modelo da fala em sua dimenso de demanda
responderia a uma tentativa de formalizao parcial daquilo que se trata em determinado
aspecto do tratamento psicanaltico. O toro no seria modelo para toda e qualquer fala, mas
seria representativo daquilo que em uma anlise poderia ser significativo.
Em termos topolgicos, trata-se de algo denominado uma topologia quociente. Com
efeito, notvel que todas as formas topolgicas empregadas por Lacan em suas formulaes,
como a banda de Mbius, o toro, o plano projetivo e a garrafa de Klein, so topologias
quocientes. Sem entrar nos detalhes, pode-se adiantar que uma forma de se construir espaos
quocientes como aqueles apontados por Lacan atravs de parties de um espao,
exatamente como o fizemos h pouco. Parties so pores de um espao que tm a
caracterstica de serem disjuntas, e cuja unio constitui o espao completo. E, o que mais nos
interessa nessas construes, que parties de um espao correspondem a classes de
equivalncia ou, dito de uma forma mais palatvel psicanaliticamente, conjuntos organizados
segundo alguma relao de identificao. Por essa razo, os espaos quocientes so s vezes
245
V.4.
A construo do toro por Lacan, como comentei, feita de uma maneira distinta
daquela aqui apontada. L, um toro construdo pela relao estabelecida entre dois crculos.
Com efeito, topologicamente, um toro T2 realmente tambm o produto cartesiano de duas
circunferncias, denotadas matematicamente por S1. Assim, verdade que T2=S1xS1, mas
ainda poderamos tentar refazer essa construo a partir dos elementos materiais com que
contamos, os significantes em suas relaes lgicas de valor, preenchendo a lacuna que creio
deixada por uma leitura de Lacan, na qual os dois crculos geradores se referem, um
demanda, e outro, ao desejo, ou a seu objeto, como uma controvrsia estabelece
(EIDELSZTEIN, 2006). A colocao em jogo dos termos de demanda e desejo, como termos
no primitivos aos quais ambos poderiam ser reduzidos, traz outra perspectiva construo
do toro. Da maneira como o fizemos, propondo um plano que se deforma pelo
estabelecimento de relaes de equivalncia, um toro uma superfcie, isto , um espao de
duas dimenses, razo pela qual preferi referir-me a ele como o lugar potencial da fala. No
entanto, sua construo pela composio de duas circunferncias, uma deslocando-se em
relao ao eixo principal da outra, realiza um espao distinto. Uma circunferncia, S1, j um
espao de duas dimenses. Digamos que seja o conjunto de uma srie uma dimenso - a se
desenvolver no tempo outra dimenso. Assim, o produto S1xS1 no mais uma superfcie
bidimensional, seno um espao de dimenso quatro, ou um conjunto de lugares em uma
relao com o tempo. V-se que os termos no primitivos de demanda e desejo introduzem,
246
ento, a diacronia, at ento ausente nas formulaes sincrnicas seja da estrutura conjuntista,
seja da lgica.
Com efeito, os comentadores do uso da topologia por Lacan costumam se apoiar nesta
construo do toro, isto , a partir dos crculos da demanda e do desejo. A despeito de meus
comentrios iniciais sobre a posio de diversos desses autores a respeito da topologia, suas
apresentaes so profundamente interessantes.
Granon-Lafont (1990), Darmon (1994), Korman (2004) e Eidelsztein (2006), por
exemplo, todos mostram como se constri um toro a partir de dois crculos e uma translao.
comum tambm a apresentao dos toros entrelaados que representaria a relao entre
demanda e desejo na neurose, no acoplamento de um sujeito ao Outro.
So dignas de nota as elaboraes sobre as operaes de reviramento, em que se faz
atravessar, por um furo realizado sobre a superfcie do toro, seu interior para o exterior,
apresentando a inverso que se processa entre os crculos da demanda e aquele do desejo. ,
com efeito, bastante curioso ver animaes grficas desse efeito, em que um toro marcado,
digamos, por listras em torno de seu corpo, em seus meridianos, atravs do reviramento, tal
como se pode fazer com uma luva virando-a ao avesso, se transforma em um toro com listras
em seus paralelos, e vice-versa, com o que se tem o impacto visual da transformao da
demanda, em um caso, no desejo, em outro. Em outros termos, o processo apresenta a relao
confusa que caracteriza o neurtico, o qual confunde o desejo do Outro com sua demanda. O
que tambm visualizado pela imagem dos toros abraados.
Todos, com maior ou menor nfase, apresentam o problema da identificao atravs
da anlise de propriedades do toro, as quais encontrariam paralelo em questes da clnica
psicanaltica. Pela mesma operao de reviramento, os autores, em maior ou menor grau,
discutem as distintas formas de identificao, seja aquela primria, ao pai, aquela secundria,
a um trao, ou a histrica, ao desejo. O livro de Korman, nesse assunto, bastante ilustrativo.
247
248
34
Ver NIKULIN, Viacheslav V. and Shafarevich, Igor R.Geometries and Groups. Berlin: Springer Verlag, 1994,
p. 37.
249
pode ser lido da seguinte maneira. Se a demanda uma dessas linhas que se prolonga sobre o
toro, tal como afirma Lacan e concordam seus comentadores, sua inclinao sobre a superfcie
seria dada pela relao que, a partir de minha construo, se estabeleceria entre um par de
significantes do prprio e um par de significantes do alheio, em suas conjunes, as quais
estabeleceriam os dois pontos que definiriam o segmento da demanda em questo. Dizer que
essa relao racional afirmar que existe uma proporo entre os dois segmentos, isto ,
uma medida mnima capaz de medir os dois, ou ainda, que os segmentos so comensurveis.
Dizer, ao contrrio, que a relao irracional dizer que no existe um nmero capaz de dar a
medida comum desses segmentos, ou que so incomensurveis. Este, de fato, o escndalo
que se apresentou aos pitagricos quando da constatao que a diagonal do quadrado
incomensurvel com seus lados. No existe uma medida comum, isto , no se pode tomar
alguma frao, por menor que seja, de um lado do quadrado e, a partir dela, contar de quantas
partes assim definidas composta sua diagonal. No tenho certeza de meu leitor me
acompanhar na surpresa dessa constatao, to antiga que parece ter perdido seu efeito, da
irracionalidade da diagonal do quadrado, to completamente contra-intuitiva. Pareceria to
somente natural que entre dois segmentos quaisquer sempre houvesse a possibilidade de se
encontrar entre os dois algum fragmento, mesmo nfimo, com o qual se poderia cont-los. A
irracionalidade da diagonal do quadrado o escndalo de sua contraprova.
Dizer que a demanda pode ser fechada afirmar que em sua formulao, na srie que
se estabelece, as contrapartes constitutivas do prprio e do alheio tm alguma
comensurabilidade, ou que h uma relao entre elas e que racional. Ao contrrio, se no
houver comensurabilidade entre um par de significantes do prprio a se articular com outro
par de significantes do alheio, essa linha formada nunca se fechar, e a demanda ser infinita.
A construo do toro a partir da demanda, mas referida a seus componentes significantes
encontraria assim sua fundamentao, na interpretao de que a demanda realmente infinita,
250
nmero racional entre dois nmeros racionais, no importando quo prximos os supusermos.
No basta, portanto, inserir outro nmero racional entre os dois, pois haver espao sempre
para mais outro. Porm, na hiptese de que estejam finalmente reunidos, como seria isso
possvel? Imaginemos junt-los, os dois, de modo que entre eles no passe mais que a lmina
mais fina para promover sua disjuno, o que, tudo leva a crer que o que se tende a evitar.
Imaginando que a essa linha pode corresponder a uma srie, esses dois pontos que se quer
reunir poderiam fazer parte dessa srie e seriam ordenados de tal modo que antes do corte
todos os significantes lhe sejam menores e que aqueles depois sejam maiores que ele.
Chamemos o primeiro conjunto de D, e o segundo, de E, os dois conjuntos disjuntos. O corte
em questo resume-se a trs possibilidades:
1. O significante d o maior significante do conjunto D
2. O significante e o menor significante do conjunto E
3. No h em D um significante mximo, nem em E um significante
mnimo
No existe, naturalmente, a possibilidade de 1 e 2 se verificarem simultaneamente,
pois se d, sendo racional, o maior significante de D, o conjunto E no pode possuir um
significante mnimo e, j que sempre haver a possibilidade de se inserir outro racional entre
os dois. Do mesmo modo, se e, racional, for o mnimo de E, o conjunto D no ter um
significante mximo porque para qualquer d sempre haver a possibilidade de se encontrar
outro significante entre d e e. No terceiro caso, entre D e E ocorre a presena de um nmero
irracional. Esta a definio de corte dada por Dedekind (1831-1916), aluno de Gauss e
amigo de Cantor, tambm profundamente envolvido na tarefa de fundamentao das
matemticas35. Assim, se essa tentativa de reunio dos segmentos D e E pode ser levada a
cabo porque h entre os dois um ponto irracional. assim que Dedekind props a resoluo
35
252
da contradio aparente entre a continuidade dos nmeros reais e sua natureza discreta, a
partir do que se pode aceitar que todos os tipos de nmeros reais podem ser postos em
correspondncia biunvoca com todos os pontos de uma reta. assim tambm que se obtm,
finalmente, uma definio a contento do que um nmero irracional, como corte de uma
seqncia racional. Esta seria uma maneira de entender porque Lacan diz que o significante ,
ele mesmo, o corte36. Haveria, no entanto, de ser um significante irracional, contrariando
nossa hiptese sobre a natureza numrica do significante.
Podemos, no entanto, conjecturar o seguinte. Se existe a ocorrncia de um significante
irracional em uma srie que se prope racional, h uma subverso da lgica dessa srie. H,
portanto, nos termos de Badiou, a ocorrncia, ao menos potencial, de um evento, razo pela
qual podemos entender o corte, no sentido da interrupo de uma sesso como srie
significante, potencialmente infinita, como a apario, ou imposio, de um significante
irracional que promove o fecho da demanda, ou, ao menos, a apario momentnea de seu
valor, irracional, mas que possibilita a reunio de dois significantes disjuntos. Essa, alis, a
mesma interpretao do sentido de uma metfora, a partir mesmo de seu matema, por
exemplo, em A instncia da letra no inconsciente ou a razo desde Freud (LACAN, 1957b
[1998], p. 519), ou em De uma questo preliminar a todo tratamento possvel da psicose
(LACAN, 1957a [1998], p. 563).
A significao que emerge, em seu valor de significao - j que podemos
operativamente suportar a idia de que a relao significante, que promove um valor o que
36
Esse argumento tambm poderia ser utilizado com referncia ao comentrio de Lacan sobre os movimentos
essenciais de uma anlise como aquela do Homem dos ratos, em que a revelao de um gozo desconhecido
haveria promovido um primeiro e significativo passo. Na concepo que exponho, essa revelao corresponderia
ao fechamento de uma demanda, promovendo um efeito de significao. No entanto, os desenvolvimentos
posteriores de Lacan quanto natureza gozosa da significao (flica) trazem outra propriedade topolgica que
no abordarei aqui, a compacidade. Lacan, no seminrio XX (1972-1973 [1985]), abordou o teorema de
compacidade, de autoria de Lebesgue e Borel, de uma forma imprecisa e que recebeu diretamente a crtica de
Sokal, mas que, com a devida compreenso, poderia indicar a perspectiva topolgica a ser lanada sobre a
significao e o gozo flico: o fecho compacto.
253
V.5.
diz-se, interpreta a parte sinttica, isto , lhe d uma realizao mundana. Interpretar uma
linguagem formal , assim, fazer-lhe corresponder um mundo possvel, ainda que inexistente.
A ferramenta essencial para a confeco de sistemas de interpretao de uma linguagem
formalizada a teoria dos conjuntos, ou alguma teoria de conjuntos. Por isso poder-se dizer
que um modelo, aquilo que interpreta uma teoria expressa por essa linguagem formalizada,
um conjunto, dotado de alguma operao, isto , uma estrutura, sendo esse o sentido
matemtico do termo.
Para a confeco de um modelo, h ainda a necessidade de se estabelecer regras de
correspondncia entre o nvel sinttico e o nvel semntico. A cada varivel ou constante do
sistema sinttico corresponder, desse modo, algum elemento do sistema semntico, ou um
elemento do conjunto que realiza o modelo. s relaes e funes definidas na sintaxe,
igualmente, correspondero funes e relaes, as quais no so mais que conjuntos, no
sistema semntico.
Dizer que um determinado conjunto, munido de certas relaes, satisfaz um enunciado
proferido em uma linguagem formal equivale a afirmar que aquilo que se demonstra nessa
linguagem tambm verdadeiro no modelo. Se tal conjunto, portanto, for efetivamente
modelo de uma teoria, verifica-se que tudo o que demonstrvel na teoria tambm
verificado no modelo. Este um teorema da teoria dos modelos, denominado teorema da
correo. Sua contraparte, mais forte, aquela que reza que tudo o que verificvel em um
modelo tambm pode ser demonstrado em sua teoria, isto , na linguagem que a codifica, ,
por sua vez, conhecido como o teorema de completude, de autoria de Gdel, em 1929, e
posteriormente simplificado por Henkin (1921-2006), em 1949, hoje conhecido como
teorema de Gdel-Henkin. Dito de outra maneira, o teorema de Gdel-Henkin afirma que a
partir de um conjunto consistente de frmulas, isto , de construes bem formadas a partir de
256
escapa apreenso mundana. Entre o fato e sua interpretao haveria, potencialmente com
muita freqncia, um resto significativo incapaz de ser apreendido. Haveria entre uma
ocorrncia, um evento, e o sistema que o interpreta, o simblico enquanto sistema
significante, sempre um resto impossvel de ser assimilado interpretativamente. Que a esses
nmeros, somente parcialmente assimilados pelos racionais, demos o nome de reais, no
deixa de ser sugestivo aos ouvidos lacanianos. Porm, no podemos nos restringir a analogias
e uma pesquisa rigorosa deveria conduzir a concluses mais assertivas a respeito.
V.6.
O problema da metalinguagem
Sob outra perspectiva, um modelo uma metalinguagem, isto , uma linguagem que
fala de outra linguagem. Se T uma teoria e M seu modelo, dissemos que M uma realizao
de T. Ao mesmo tempo, pudemos dizer que M uma interpretao de T, isso, que M diz o
que T quer dizer, e, por essa mesma razo, M pode ser considerada uma metalinguagem.
Logicamente falando, o conceito de metalinguagem remete, como vimos anteriormente, a
Tarski e, especificamente, a uma discusso relevante sobre o conceito de verdade. De acordo
com Tarski (2007), o conceito de verdade, assim como o de satisfao, de validade e de
conseqncia lgica, um conceito semntico. O grande lgico polons mostrou que a
definio de verdade pertence ao nvel metalingstico, isto , s pode ser definido em um
nvel de linguagem superior ao nvel da linguagem a propsito da qual se pretende verificar se
suas sentenas so verdadeiras ou no. H, portanto, uma separao clara entre a idia da
correo de uma deduo, isto , de um teorema de uma teoria, e aquela de uma sentena
verdadeira. Para Tarski, a possibilidade de se definir o conceito de verdade reside na
possibilidade de se estabelecer uma metalinguagem, mais forte que a linguagem objeto em
questo, nominalmente pela incluso, na metalinguagem, dos nomes das expresses cuja
259
verdade se busca estabelecer. Dessa maneira, em linguagens nas quais se pode falar de sua
prpria semntica, ou nas quais se possa manipular algum conceito semntico, como o de
verdade, as quais so chamadas linguagens fechadas, uma definio qual a que Tarski d do
conceito de verdade no pode ser alcanada. Com efeito, Tarski mostrou-se ctico quanto
possibilidade de sua definio poder ser realizada em linguagens naturais, caracteristicamente
semanticamente fechadas. Isso, no entanto, remete-nos mais uma vez a uma possvel e
diferente concepo de verdade, que poderia residir, e de maneira mais de acordo com meus
argumentos, em uma perspectiva da teoria da coerncia.
Dizer, por outra parte, como o caso aqui, que o modelo da teoria dos conjuntos, ou,
mais genericamente, que algum modelo da teoria dos conjuntos poderia se apresentar como
modelo para uma teoria do significante, isto como uma sua interpretao, tomada em mbito
mais abrangente, implica em consideraes a respeito do conceito de verdade. Ao trazer,
como o fiz anteriormente, o sistema de Zermelo-Fraenkel, isto o modelo de ZF como a
prpria estrutura do significante, faz-se a suposio subjacente de que a lgica implcita em
questo o clculo de predicados de primeira ordem. Pode-se provar, ainda, com o auxlio do
teorema de Gdel-Henkin, que o clculo de predicados de primeira ordem completo, isto ,
que as afirmaes que se pode provar, pelos recursos dedutivos da lgica em questo, so
exatamente as coisas que so verificveis no modelo em questo, e que a recproca tambm
verdadeira. Se o leitor se lembrar do que se disse a respeito do que um modelo, verificar
que o mtodo de Tarski a diretamente aplicado, isto , que na elaborao, ou na verificao
de uma estrutura que seja modelo de uma teoria, deve existir a possibilidade de verificao,
no modelo, de uma assero na teoria. Aqui, porm, o procedimento feito de modo um
tanto problemtico, como lembra Costa (1994, p. 87). Na axiomtica de uma dada teoria, os
smbolos primitivos e os axiomas devem se referir a um domnio de objetos que, em certo
sentido, ficam implicitamente definidos pelo sistema axiomtico proposto. No caso das
260
teorias comuns, que pressupem a lgica e a teoria dos conjuntos, essa caracterizao
implcita no oferece maiores problemas, j que os possveis diferentes domnios
correspondem aos tambm diferentes modelos dessas teorias. No caso da teoria dos conjuntos,
todavia, surge um crculo vicioso. Os postulados de ZF, ou de outro sistema que se escolha,
devem definir o domnio dos conjuntos como seu domnio de objetos. No entanto, sob
domnio no se entende justamente o termo conjunto? Para que um sistema axiomtico
determine o conceito de conjunto preciso, portanto, que se saiba, de antemo, o que um
conjunto.
Ora, esse o exatamente o problema que verificamos quando discutimos a
conceituao de conjunto e a impossibilidade de sua definio formal, tentada por Frege, e
que levou ao abandono do esforo. Ento, seguindo Costa, uma axiomtica formalizada da
teoria dos conjuntos, se for radicalmente primria, pressupondo apenas algumas idias
simples e constitutivas na metalinguagem, reduz-se necessariamente a um jogo mecnico, a
um puro sistema formal, sem qualquer sentido (COSTA, 1994, p. 87). O que Lacan, alis,
sistematicamente sustenta como dinmica essencial da linguagem, respaldando a idia da
equivalncia entre significante e conjunto em determinado plano.
Uma vez que a escolha do domnio de objetos para uma dada teoria puramente formal
corresponde realizao de uma operao semntica, de um sentido a ser dado a essa teoria
abstratamente concebida, a determinao de conjuntos como domnio significaria uma
semantizao da prpria teoria, ou a incluso, em seu domnio sinttico, de uma essencial
caracterstica semntica do domnio em questo. Assim, o modelo da teoria dos conjuntos,
ZF, no caso, deve ser considerado um modelo semanticamente fechado impedindo que se
possa, nos moldes propostos por Tarski, de nele estabelecer um conceito de verdade.
261
pode querer dizer que a verdade no exista, o que, justamente, Badiou procura mostrar com
sua afirmao de que No h seno corpos e linguagens, salvo que h verdades (BADIOU,
2006, p. 12), mas que h verdades, que so construdas, e sob determinaes que no remetem
seno a princpios que se poderiam denominar de ticos.
Assim, devemos entender a afirmao lacaniana restrita ao mbito da linguagem
considerada como coleo significante e sujeita s relaes definidas como primitivas,
nominalmente metfora e metonmia. O prprio emprego de modelos por Lacan, como o
do toro, h pouco apresentado, mas tambm o do plano projetivo, o da garrafa de Klein e o da
banda de Mbius, to celebrados em diversas passagens de sua obra, deve nos convencer da
relatividade do aforismo, afinal, cada um deles, como modelo, uma aplicao
metalingstica sobre um campo terico restrito, o qual se espera, para a prpria existncia de
cada um dos modelos, que seja minimamente coerente.
A discusso em que se entra a partir do conceito de modelo e, conseqentemente, de
metalinguagem, a respeito da verdade, nos traz ainda algumas outras consideraes dignas de
nota. De uma maneira geral, segundo Costa (1994, p. 170), h trs teorias rivais quanto ao
conceito de verdade: a teoria da correspondncia, a teoria da coerncia e a teoria pragmatista.
De acordo com essa ltima, em linhas muito gerais, uma proposio verdadeira se ela for tal
que sua aceitao seja til, ou que tenha conseqncias satisfatrias para os propsitos em
questo, isto , uma proposio pode ser considerada verdadeira se ela funciona.
No mbito da lgica, no entanto, impera a corrente da teoria da correspondncia, que
, de fato, a teoria clssica da verdade, cuja concepo provm j de Aristteles: Dizer do
que , que , e do que no , que no , verdadeiro; dizer do que no , que , e do que ,
que no , falso. Em suma, determinada assero verdadeira se de fato corresponde a um
estado real de coisas. No difcil identificar a teoria da correspondncia nas formulaes de
Tarski (2007), seu maior defensor contemporneo, por exemplo, em A concepo semntica
263
ainda ser validada, mas o modelo, vindo da teoria dos conjuntos, ou como prpria teoria dos
conjuntos, impediria a possibilidade metalingstica, ou a definio rigorosa, nos termos de
Tarski, em uma perspectiva da correspondncia, de um conceito de verdade.
Haveria, conforme Badiou, o saber, reunio em conjunto, ou coleo de subconjuntos,
a se distinguir propriamente de uma verdade, razo pela qual, em sua discusso, Badiou
(1998), faz a distino rigorosa entre uma verdade e a veridicidade. Entende-se que essa
ltima a sinonmia da decorrncia lgica formal, na medida mesmo em que tambm a
lgica, ou uma lgica, havendo diversas, e a teoria dos conjuntos apresentaria sua relao
constitutiva mtua, como Badiou defende em Logique des mondes (2006). Retomemos alguns
pontos capitais.
Segundo Badiou, o saber a capacidade de discernir na situao os conjuntos que
possuem determinada propriedade que uma frase explcita da lngua, ou um conjunto delas,
pode indicar. Assim, as operaes constitutivas do saber, so, como j se indicou, o
discernimento, que relaciona a linguagem com o que se apresenta, isto , a possibilidade da
correspondncia entre um enunciado e um conjunto, e a classificao, que relaciona a
linguagem com partes da situao, isto , aquilo que a seguir distintos discernimentos pode
encade-los conforme outro determinante da linguagem. Assim, qualquer parte de uma
situao pode ser classificada em algum saber, o qual a realizao de um determinante que a
linguagem pode exprimir, e que Badiou denomina um determinante enciclopdico.
Nos termos do filsofo, um enunciado verdico, se ele apresenta tal ou qual
determinante enciclopdico, isto , se ele realiza a operao de conjunto com os elementos
que o discernimento e a classificao isolaram a partir das possibilidades da lngua. claro
que um conjunto qualquer pode ser subsumido a diferentes determinaes, mas o saber, na
medida em que ele se compe desses determinantes, capaz de controlar a veridicidade de
um enunciado. Da a confuso possvel entre aquilo que se sabe e o que se julga verdadeiro.
265
No entanto, a relao tem sua base na formao dos conjuntos independentemente de sua
eventual origem emprica. O que predomina, segundo o pressuposto da teoria a prpria
possibilidade de se formar um conjunto, isto , a realizao da operao fundamental que
discerne, entre muitos elementos, algo a que pode denominar um conjunto e que a linguagem
seria capaz de nomear ou, no caminho inverso, que a nomeao seria, ela tambm, capaz de
efetuar o discernimento e a classificao que realizariam um saber. Todo o processo reside em
uma coerncia que o prprio conceito de conjunto subsume; um saber coerente se ele
capaz de organizar, segundo determinadas regras conjuntistas, os conjuntos e subconjuntos
que seus enunciados implicam.
Porm, em nosso caso, o domnio de referncia em que o enunciado se realiza em um
saber verdico , ele prprio, um domnio significante, um conjunto de conjuntos, impedindo
um critrio de correspondncia como o assumido por Tarski. A coerncia seria posta em
questo cada vez que a formao dos conjuntos que o saber organiza tivesse sua consistncia
colocada em cheque, exigindo novas regras de organizao dos conjuntos e subconjuntos
envolvidos. Esse o resultado principal do efeito de um evento, no sentido que Badiou lhe d,
principalmente a partir de Logique des mondes, em que o advir de uma nova significao ao
mundo capaz de modificar a organizao dos conjuntos at ento vigente. No se trataria,
ento, to somente do reconhecimento de uma verdade, cujo enunciado impronuncivel na
lngua da situao, mas realmente de uma modificao na estrutura de valores, dos valores
relativos dos significantes que, de fato, organiza o mundo em suas partes.
Tomemos novamente, ento, a partir de Dancy (1990), a teoria da coerncia da
verdade. Nessa, um termo de um conjunto de crenas, ao que no creio que se me oponha a
equivalncia ao que se designa aqui saber, poderia ser considerado verdadeiro se participa de
um conjunto coerente. Se a coerncia parece exigir que um conjunto coerente devesse ser
completo ou abrangente em algum sentido (DANCY, 1990, p. 141), j vimos que o requisito
266
aparecimento de situaes, no sentido mesmo em que Badiou emprega o termo, em que essa
coerncia poderia se verificar abalada. Fazendo uma aproximao operatria entre essa
conceituao de coerncia e uma de racionalidade, retornamos irracionalidade como
passagem criao.
V.7.
dessas regras no sistema simblico em questo. A irracionalidade tem sua emergncia, nesse
sentido, na apario de produes que escapem s regras do sistema.
A irracionalidade apareceria quando a produo da obra se situa ou se
desenvolve contra ou fora desse quadro originrio, que eventualmente se
tornou demasiado restrito ou esterilizador (GRANGER, 2002, pp. 13-14).
271
V.8.
Com as idias que abrimos ao longo deste captulo, proponho que o fechemos com a
tentativa de construo de mais uma das superfcies empregadas por Lacan, aquela do plano
projetivo. Os comentadores de Lacan anteriormente citados, como Granon-Lafont, Darmon,
Korman ou Eidelsztein so suficientemente esclarecedores sobre a natureza dessa figura
topolgica para que eu possa remeter o leitor a qualquer um deles para maiores detalhes sem a
necessidade de recorrer a livros de matemtica propriamente ditos. No entanto, minha
abordagem, novamente, pretende ser um tanto diferente das anteriores.
Retomando os passos de Granger (2002), h pouco comentado, omiti um exemplo
importante concernente ao enfrentamento da irracionalidade como obstculo. Trata-se da
necessidade artstica da perspectiva. Sem nos atermos, nem de maneira mnima, a
consideraes histricas, assumamos simplesmente que em dado momento histrico, algo a
que muito possivelmente poderamos nos referir com o termo de evento, ou a partir desse
momento, comeou a surgir uma preocupao crescente quanto ao realismo das
representaes, na pintura. Nesse caso, diferentemente dos demais, no se tratava de uma
atividade de pensamento que se veria impossibilitada pelo aparecimento de um irracional, ou
do apelo a esse para a resoluo de um problema, mas:
[P]ropriamente a impossibilidade natural de transportar uma viso de objetos de
percepo, espontaneamente apreendidos como tridimensionais, num sentido
intuitivo, para uma representao artificial de duas dimenses, aparentemente
destinada, em primeira hiptese, a substituir a primeira (GRANGER, 2002, p. 84).
Porm, na medida em que uma nova era da pintura se inaugura, com a priorizao do
espao sobre os objetos, a matemtica convocada, pela via da geometria, a fornecer as
regras que permitam a passagem das formas no espao tridimensional ao espao plano, na
tentativa de manuteno de um realismo do que se v. Ainda assim, a representao em
perspectiva no deixa de carregar a dimenso simblica.
O problema colocado pela representao sobre o quadro plano do espao percebido
em trs dimenses que o pintor quer evocar evocar, e no apenas mostrar
comporta, como vimos, uma vertente geomtrica e uma vertente simblica. Se este
segundo aspecto predomina sobre o primeiro, o espao do quadro no mais
construdo principalmente como figurando o espao em que o espectador pode
mover-se, mas como um espao de pensamento, um sistema de signos plsticos que
evoca um mundo de smbolos (GRANGER, 2002, p. 99).
273
274
Outras retas paralelas sobre o plano do solo devero convergir em outros pontos sobre
a linha do horizonte. Desse modo, pode-se entender essa linha como a extenso de todos os
pontos localizados no infinito, em que as paralelas, em qualquer direo, se encontram nessa
geometria. A presena dessa linha do horizonte, figurando o plano infinito, em que retas
paralelas convergem, configurando uma geometria no propriamente euclidiana, costuma ser
apresentada como o diferencial mais marcante dessa geometria. Ou seja, sabemos
cognitivamente que retas paralelas no se cruzam, no obstante sabemos, perceptivamente,
que isso acontece. Assim como sabemos, cognitivamente que estamos olhando o quadro, mas
tambm sabemos, perceptivamente, que o quadro que nos olha.
A possibilidade de se efetivamente localizar um sujeito, e de fix-lo, na tcnica
inventada pelos pintores florentinos, com efeito, no a menor das caractersticas desse
movimento na arte que, deveras, como comenta Silva Junior (1999), apresenta ainda a
coerncia de ser contemporneo. Por isso a expresso momento histrico que empreguei
pode fazer jus situao, isto , ao movimento filosfico inaugurado por Descartes, do qual
tambm se pode dizer que fixa uma posio de observao a partir do cogito e que requer um
suporte no outro para escapar ao seu prprio solipsismo. De fato, o sujeito isolado na posio
cartesiana da primeira meditao poderia ser tido como semelhante quele presente no ponto
de fuga da perspectiva, por no apresentar singularidade alguma, podendo ser qualquer.
Esse observador , simultnea e paradoxalmente, nico e mltiplo. Encarnaremos
esse observador annimo no como aquilo que nos singulariza, mas como algo
276
genrico, algo quee poderia perttencer a todoss que participaam de uma meesma cultura
(SIL
LVA JNIOR
R, 1999, p. 18).
A particiipao do obbservador no
n quadro que
q observa,, desse moddo, parece im
mobiliz-lo..
Porm
m, se a imoobilidade apparente em que lanado o observador de uum quadro, a partir doo
advento da perrspectiva, deve-se
d
sua eventuaal localizao e fixao como su
ujeito, issoo
tambbm se relaaciona iluuso cartesiaana que qu
uer descobriir o ponto fixo de um
ma primeiraa
evidncia.
A parte do procediimento na tcnica
t
da perspectivaa que eu goostaria de salientar
s
see
referre presena de outro ponto singgular igualm
mente necesssrio connstruo e que
q permitee
mantter as relaes e propoores entre tamanhos de
d objetos e suas figurraes relatiivas. Trata-se doo ponto denoominado oo outro olhoo, que Lacaan igualmennte destaca.
Se a presena do ollho do obseervador, no ponto de fuga
fu j maarcante com
mo presenaa
do suujeito no quuadro, ao poonto de Lacaan denomin
n-lo ponto sujeito,
s
essee segundo ponto,
p
a quee
Lacaan d a alcuunha outro ponto sujeeito no tem
m menos im
mportncia,, e sua razo de ser
encontrada na prpria
p
existtncia de um
ma distnciaa entre o obbservador e o quadro. Com
C
efeito,,
c
mais triviall consiste na
n reproduo, sobre a linha do horizonte, dee um pontoo
sua construo
situaado mesm
ma distncia do ponto de
d fuga quee a distncia entre o oobservador e o quadro..
Porm
m, consistee em uma esstratgia do pintor a co
olocao dessse ponto, oou ao menos um deles,,
podeendo inclusiive haver mais
m
de um
m, segundo
o sua inteno perspecctiva e representativa..
Lacaan chega a identificar esse segundo ponto, dos
d quais poderia
p
haveer vrios, ao
a eu ideal,,
relaccionando asssim a constrruo de um
ma realidadee diretamennte ao narcissismo.
277
7
, portanto, porque existe uma distncia entre o sujeito e, no o que ele v, mas o
lugar em que ele v o que v que uma ciso se processa na geometria do sujeito, na medida
em que ele projetado, ou em que existe uma superfcie que funciona como projeo de suas
relaes com os objetos sua volta. Em outras palavras, no fantasma, como lugar de
projeo de uma realidade, que o sujeito apresenta sua diviso mais eminente.
Para nosso interesse, no obstante, a presena na tela do ponto de fuga e do outro olho
deve ser lembrada como uma construo matemtica, ou geomtrica, essencial para a correta
determinao da escala de propores no somente entre os objetos a serem representados,
como tambm daquela das figuraes entre si. Dito de outra maneira, a presena dupla do
sujeito no quadro, como lugares a partir dos quais uma escala que determina os valores
relativos entre os elementos do quadro pode ser construda, essencial para uma construo
desta realidade plana que, de alguma maneira, tenta reproduzir outra realidade, inacessvel
de outra forma aos meios disponveis, ou necessrios, de figurao. A novidade, como refora
Lacan, no est na mera constatao dessa duplicidade necessria construo:
Isso no uma novidade. uma novidade introduzi-la assim, de a reencontrar a
topologia do S barrado, da qual ser necessrio saber agora onde situaremos o a que
determina a diviso desses dois pontos, digo desses dois pontos em tanto que eles
representam o sujeito na figura. Ir mais longe nos permitir instaurar um aparelho,
uma montagem totalmente rigorosa e que nos mostra no nvel do que da
combinatria visual, o que o fantasma (...) [LACAN, 1965-1966, p. 282].
Desse modo, Lacan, com o apelo tcnica da perspectiva, traa um caminho para a
explorao de outros conceitos relacionados ao sujeito. Ainda assim, mesmo que a
278
exem
mplificar aqquilo de quue se trata na demonsstrao arguuesiana, sejjam os doiis pares dee
pontoos, A, B, A,
A B, alinhhados, com A entre A e B e B fora
fo do segm
mento AB, conforme a
figurra.
Porrque se B see afastar muitto, a relao entre BA e BB tender unidade (1)), assim, a manuteno
m
daa
propriiedade far coom que a relao entre AA
A e AB tendaa igualmente unidade, istto , A deverr se situar noo
meio do segmento AB.
A
280
0
partir do qual divergem feixes de retas que ligam pontos do objeto a seus conjugados no plano
do quadro. Seja esse objeto um crculo. Sua apresentao sobre o plano do quadro poder
aparecer como um crculo, caso esse plano esteja colocado perpendicularmente ao eixo do
cone de projeo. Mas, conforme esse plano varie sua inclinao e posio em relao ao
centro de projeo, a figura resultante poder ser uma parbola, uma elipse ou uma hiprbole,
as quais, no obstante, ainda mantero a propriedade de invarincia da relao harmnica.
Como recupera Granger:
O teorema principal da teoria das cnicas enuncia ento que uma cnica qualquer
passando por quatro pontos determina pares em involuo38 sobre toda transversal
de seu plano, e suas interseces com os lados do quadriltero que tem por vrtices
os quatro pontos, enquanto o par das interseces com as diagonais tambm
pertence a essa involuo (GRANGER, 2002, p. 105).
E com esse recurso que se pode, inversamente, a partir de pontos dados de uma
projeo, determinar, seja seu centro, seja os conjugados de pontos dados. E, alm disso, uma
vez que se trata to somente de relaes entre distintos planos, perde-se a necessidade de um
referente. A reside igualmente parte do que se poderia chamar de uma revoluo na
geometria, na qual seu prprio objeto se veria modificado, com a substituio da mtrica das
figuras pelos eventos (GRANGER, 2002, p. 107) de incidncia, como o pertencimento de
um ponto a uma reta, de uma reta a um plano ou da interseco de retas e de planos. Nessa
vertente, o prprio objeto, supostamente verdadeiro, perde seu valor referencial, uma vez que
se tratam apenas de diferentes cortes sobre a cnica.
Se aceitarmos, como conseqncia do que venho desenvolvendo neste trabalho, que o
significante poderia ser uma espcie de nmero, constitudo, tal como esses, por estruturas de
conjuntos, e que partes de uma coleo significante disponvel para um falante poderia se
organizar segundo alguma escala de valores relativos, isso os colocaria sobre segmentos de
retas. Haveria, pois, entre o significante e as estruturas projetivas, pontos, retas e planos, uma
38
Sejam seis pontos A, B, C, A, B, C, alinhados e nessa ordem, e um ponto O da mesma reta, denominado
tronco. A involuo corresponde existncia da relao OA.OA = OB.OB = OC.OC, ou que os pares AA,
BB, CC formam conjugados.
281
relao prxima demais para que a tenhamos como mera analogia. Ou como diz Lacan, ao
comentar o princpio de dualidade da geometria projetiva:
H a, no procedimento de demonstrao, vocs o escutam bem, coisa bem
diferente que o que faz intervir a mensurao, rgua ou compasso e que se tratando
de combinatria, bem de pontos, de linhas, mesmo de planos em termos de puros
significantes, e tambm dos teoremas que podem se escrever somente com letras, de
que se trata. Ora, isso sozinho ir nos permitir dar todo um outro alcance ao que da
correspondncia de um objeto com o que chamamos sua figura (LACAN, 19651966, pp. 276-277).
qual aqui vemos se delinear, na presena do sujeito como centro de projeo, um dos fatores
que poderia organizar seus valores relativos. Seria tambm assim que um matema como o da
fantasia, suposta organizadora de uma realidade subjetiva, encontraria, na relao do sujeito
com a formao de uma perspectiva, j no sentido matemtico, uma justificativa, seno
mesmo uma fundamentao propriamente matemtica. Ou, assim poderia mostrar uma
pesquisa dedicada ao tema da geometria projetiva em suas relaes com o significante tal
como Lacan o postula e como aqui procuro apresentar o respaldo.
Utilizar a geometria projetiva para a apresentao do conceito de fantasia, isto , de
uma relao subjetiva, novamente deve ser encarado como o emprego de um modelo, no
sentido matemtico que apresentei, e que no escapa a Lacan.
[O] progresso, digo, dessa geometria nos mostra a emergncia de outro modelo
para comear, no qual extenso e combinatria se enlaam de modo estreito e que ,
falando propriamente, a geometria projetiva (LACAN, 1965-1966, p. 273)
[] necessrio ir a isso que eu chamei, h pouco, de estrutura visual desse mundo
topolgico, nele sobre o qual se funda toda instaurao do sujeito. Eu disse que essa
estrutura anterior logicamente fisiologia do olho e mesmo tica, que ela essa
estrutura que os progressos da geometria nos permitem formular como dando sob
uma forma exata (sublinho exata) o que da relao do sujeito extenso
(LACAN, 1965-1966, p. 275).
39
H outras maneiras de definir axiomaticamente um plano projetivo. Ver, por exemplo, CASSE, Rey.
Projective Geometry: an introduction. New York: Oxford University Press, 2006, p. 29. Um plano projetivo
um conjunto P de pontos e um conjunto L de subconjuntos de P, chamados linhas, satisfazendo as seguintes
condies:
P1. H uma nica linha unindo dois pontos distintos,
P2. H um nico ponto de interseco entre duas linhas distintas,
283
P3. H
H pelo menos trs pontos no colineares,
P4. H
H pelo menos trs pontos em
m cada linha.
284
4
Onde se pode ler que as linhas formadas pelos significantes que vo do eu (m) ao Ideal
do eu (I), onde o eu se identifica, desde sua origem no estdio do espelho, tm como extremo
a imagem flica (), ponto final de seu segmento, e tambm ponto de identificao do sujeito.
Porm, a imagem flica tambm o ponto extremo das figuras do outro imaginrio, que vo
da imagem especular (i) ao significante do objeto primordial (M). Aqui temos a convergncia
das retas no campo imaginrio, delimitado pelo tringulo dito imaginrio por Lacan, com
vrtices em I, M e .
Por outro lado, a construo do que Lacan denomina, no esquema, de tringulo
simblico, tendo como vrtices M, I e P, homloga e de fato, h uma superposio entre o
tringulo simblico e o imaginrio e que corresponde, nos termos de Lacan, s linhas de
condicionamento do perceptum, ou, em outras palavras, do objeto, na medida em que essas
linhas circunscrevem o campo da realidade, bem longe de apenas dependerem dele
(LACAN, 1957a [1998], p. 559). A construo detalhada, neste caso, no fornecida por
Lacan. Eis a minha:
Se P o significante do Nome-do-Pai, ele o lugar de convergncia das retas que do
o sentido simblico, e cujos prottipos, no esquema, deveramos situar como os segmentos
MI e mi. Canonicamente, o significante do Nome-do-Pai seria aquele que, substituindo o
significante do desejo materno, instaura o ideal-do-eu, dando a orientao simblica do
desejo. assim que proponho que MI tenha como extremo o ponto P, assim como todas as
285
Apresenttar o esquem
ma R destaa maneira, com
c
efeito, no o distiingue topolo
ogicamentee
da maneira
m
com
mo Lacan o faz. Se manntivermos, como quer Lacan, quee talvez haj
aja interessee
em reconhecer
r
que, entoo enigmticco, mas peerfeitamentee legvel ppara quem conhece a
seqncia, comoo o caso quando
q
se pretende
p
apo
oiar-se nelee, o que o esquema R expe
e
um
m
planoo projetivo (LACAN
N, 1957a [19998], np. 560,
5
grifo meu)
m
e atribbuirmos a propriedade
p
e
estabbelecida pella axiomticca do planoo projetivo (dois pontoos formam uuma linha, duas linhass
encontram-se seempre em um
m ponto e h
h um quadrrngulo), teremos a segguinte figura:
286
6
40
Ver, por exemplo, CASSE, Rey. Projective Geometry: an introduction. New York: Oxford University Press,
2006, p. 30.
287
288
V.9.
Antes de concluir, devo aceitar a crtica que pouco nos pargrafos anteriores nos
permite ver claramente aquilo de que se trataria na conduo de uma psicanlise quanto
eventual transformao dessa estrutura. Sugiro, como parte daquilo que o programa de
pesquisa que daqui poderia resultar deveria aprofundar, que, e de acordo com Lacan, as
intervenes no plano da fala, que vimos poder ser modelada por um toro, teriam efeito
tambm sobre o plano da fantasia, uma vez que ambos so constitudos da mesma matria
significante. Sob determinada tica, tratar-se-ia de, atravs das relaes lgicas constitutivas
que o significante apresenta e que aparecem no plano da fala, empregar os significantes
singulares que representam o sujeito no esforo de depreender os modos de suas significaes
e, portanto, de sua fantasia e de suas regras constitutivas, sua axiomtica. Ou como dizem
Bicalho, Abe e Nogueira (2004):
a condio do sujeito na direo do tratamento que permite trabalhar as duas
dimenses: sinttica, pela combinatria significante, e semntica, pela axiomtica da
fantasia. A fantasia na anlise permite a construo da axiomtica do sujeito
(BICALHO, H., NOGUEIRA, L. C., ABE, J., 2004, pp. 339-340).
289
um escrito
e
com
mo Ltourddit, parta do
d toro, como modeloo da fala, ou ao men
nos da falaa
neurtica, para expor
e
sua cooncepo toopolgica so
obre a direo do tratam
mento.
Em apennas duas pgginas, Lacaan faz uma densa
d
descrrio do proocedimento topolgicoo
exerccitado sobree o toro, luugar da falaa neurtica,, para a exttrao de uuma banda de
d Mbius,,
estruutura do sujjeito. No pretendo reeproduzir o trecho, poor curto quue seja, e que
q o leitorr
encontrar nas pginas
p
470 e 471 doos Outros Escritos,
E
na verso braasileira. Porrm, vale a
penaa que se o appresente:
Parte-se de um toroo, efetua-se um corte sobre
s
sua suuperfcie quue tenha o formato dee
um oito
o interiorr, isto , quee d uma voolta em torn
no da alma do
d toro na m
medida em que outra
efetuuada ao longgo de seu coomprimentoo. Com isso, seguramennte, rompe-se sua estru
utura, mas o
que se
s observa que desse procedimennto resulta apenas
a
umaa pea que teem a forma de um anell
enrollado. Esse anel,
a
que um
u matemttico reconhecer comoo um anel dde Jordan, de
d fato, a
maneeira como se
s pode recoonhecer topologicamen
nte um toro e seus hom
meomorfism
mos. Ocorre,,
no enntanto, que esse mesmoo anel de Joordan o qu
ue se obtm
m ao se efetuuar um cortee sobre umaa
bandda de Mbiuus por sua mediana.
m
Poortanto, paraa, a partir doo anel de Joordan obtido
o pelo cortee
sobree o toro, see obter a deesejada bannda de Mb
bius suponndo-se que esse o in
ntuito, o daa
produuo da esstrutura do sujeito bastaria reecomp-la, a banda, ddo anel ressultante doo
prim
meiro corte. Assim,
A
a maaneira de see obter a ban
nda de Mbbius e, portaanto, segund
do Lacan, a
estruutura do sujeeito, proceeder a um corte
c
fechad
do, do tipo do
d oito interrior, sobre a superfciee
do tooro de sua faala e colar uma
u de suass bordas.
Ou, um pouco maiis lentamennte, e com figuras, meesmo contrariando a inteno
i
dee
Lacaan: tomemoss uma banda de Mbiuus, que assum
mo ser do conhecimentto do leitor..
290
0
medida que efetuarmos esse corte mais proximamente ao centro da banda original,
aquela restante se reduzir em sua largura, at que desaparea completamente quando o corte
for feito na exata mediana da banda de Mbius. Restar a o mesmo anel anteriormente
aparecido, com o duplo comprimento da banda original, que nomeei um anel de Jordan.
Assim, se colarmos esse anel de volta na borda em que o cortamos teremos de volta a banda
primeira.
291
Tomemoos agora um
m toro e proccedamos, so
obre a sua superfcie, a um corte que
q parta dee
um ponto
p
qualqquer e d a volta longgitudinal com
mpleta, maas que nessee percurso tambm d
uma volta sobre a alma do
d toro. A superfcie resultante ser
s
nica e com algu
um esforoo
podeeremos reconhecer o mesmo anel de
d Jordan an
nterior.
H ao menos
m
duas operaes
o
e jogo nesse procedim
em
mento. Da pprimeira, extrai-se o tall
anel,, e sua razo de ser poode ser estaabelecida na
n exposioo da prpriia estrutura do toro. A
idiaa a de que atravs de uma curva fechada possa-se ser capaz
c
de recconhecer a estrutura
e
dee
uma determinadda superfciie e sobree isso que versa
v
a idiia das curvas de Jordaan, ou maiss
especcificamentee, o conceitoo de homotoopia por cam
minhos41. H,
H na circuunstncia, mais
m de umaa
maneeira de se desenhar
d
cuurvas fechaddas sobre um
u toro. Podde-se, por eexemplo, paartir de um
m
pontoo qualquer e a ele retoornar simpleesmente dellimitando um
ma rea fecchada, a quaal, por umaa
41
292
2
293
3
se feche, impe-se que no processo da fala a articulao dos significantes estabelea essa
relao dita racional entre demanda e desejo, e, mais propriamente, de seus significantes
enquanto eles veiculam valores.
Por outro lado, Lacan explcito quanto natureza desse fecho da demanda: o fecho
do corte a significao (LACAN, 1972 [2003], p. 485).
Eidelsztein (2006) bastante enftico com relao necessidade do fecho dos crculos
da demanda para que algo possa ser a cernido, que ele afirma ser algo do real. Sua posio,
segundo ele mesmo, vai contra o senso comum lacaniano, para quem as intervenes
deveriam sempre abrir sentidos e no fechar significaes, e no que o autor cita Lacan em
profuso. Assim, a significao no a ser evitada, mas corresponde a um passo a ser
efetivamente realizado na tarefa analtica, sem com isso, naturalmente, exauri-la. Lacan (1972
[2003], p. 481) bastante claro quanto a que a interpretao sentido e vai contra a
significao, estabelecendo assim que o fecho da demanda, ao que se assimila, ento, uma
significao, mesmo se necessria, no corresponde interpretao. Devemos, portanto,
entender a interpretao como a segunda operao realizada, a colagem de uma das bordas do
anel de Jordan? Parece-me ser o que sugere Lacan nas seguintes passagens:
Assim, o corte, o corte instaurado pela topologia (ao faz-lo fechado por direito,
note-se de uma vez por todas, pelo menos em meu uso), o dito da linguagem,
porm no mais esquecendo seu dizer (LACAN 1972 [2003], p. 485.
Em que se l que o corte como linha fechada um dito e este comporta uma
significao. No entanto, ainda necessrio, para que um anel de Jordan se apresente, que
exista outra relao. De acordo com Lacan, necessrio que o nmero de voltas da demanda
seja mpar (LACAN, 1972 [2003], p. 488), sem o que a banda no poder ser construda, o
que se pode verificar com um exerccio, seja no papel, seja com o auxlio de papel, tesoura e
cola, recurso que considero apenas didtico.
294
Composta dos mesmos elementos materiais, a tela da fantasia, que vimos apresentar a
estrutura de um plano projetivo, ver-se-ia igualmente afetada pelas operaes anteriores, mas
de maneira distinta. E o que Lacan parece indicar, mas que ainda nos foge ao alcance em sua
dimenso mais precisa, exatamente o efeito de isolamento do objeto da fantasia na execuo
do corte em duplo lao que, em paralelo aos efeitos sobre o toro, aconteceria sobre o plano da
fantasia.
A surpresa, denunciada por Darmon (1994), quanto prpria materialidade das
estruturas manipuladas nesse texto, no entanto, j no nos deveria alcanar, se o leitor aceitar
a tese que exponho, de que o significante efetivamente apresenta essa materialidade das
estruturas topolgicas em questo. E tanto se trata, em Lacan, de um uso no metafrico da
topologia, que o recurso a desenhos ou a figuras apresenta-se totalmente ausente em
295
Ltourdit, restringindo-se seu autor s meras propriedades topolgicas dos espaos sobre os
quais trabalha, ou, como comenta Darmon:
Esse texto notvel, no sentido de que as figuras topolgicas esto ausentes dele.
As transformaes, as superfcies, so descritas sem nenhum recurso ao desenho.
Lacan se ressente de ser obrigado a lidar com imagens assim mesmo, e de no
recorrer absolutamente s puras frmulas matemticas (DARMON, 1994, p. 141).
O crculo vicioso, como acentua ento Lacan, no pode ser quebrado; no se fala do
discurso, nem do discurso neurtico, sendo neurtico, nem do discurso analtico, sendo
psicanalista, de um ponto externo qualquer. Com o que Lacan procura justificar seu recurso.
Com isso, realizando a topologia, no saio da fantasia, mesmo ao explic-la, mas,
colhendo em flor da matemtica essa topologia (...) confirmo que a partir do
discurso em que se funda a realidade da fantasia que aquilo que h de real nessa
realidade se acha inscrito.
296
Por que no seria esse real o nmero, totalmente direto, afinal, que bem veiculado
pela linguagem?(LACAN, 1972 [2003], p. 478
Apesar de a tese subjacente ser a de que uma topologia se realiza em todo discurso,
enquanto se fala, Lacan afirma ser capaz de realizar a topologia da qual fala em seu prprio
discurso, e explicitando-a, bastando que se o leia apropriadamente. a maneira, alis, como
se prope Fierens (2002), em Lecture de ltourdit, o qual em um denso livro procura mostrar
como a prpria topologia aparece no texto de Lacan. Porm, se a topologia se apresenta no
discurso, e se isso tem algum respaldo no metafrico, deve ser porque entre o material
discursivo e os objetos que formam uma topologia qualquer existe uma superposio, isto ,
que o nmero e o significante so, de alguma forma, parentes. E, com isso, nos prprios
dizeres de Lacan, vejo confirmada minha hiptese de que no significante, matria discursiva,
inscreve-se algo do nmero, e na medida tambm em que de ambos o real, mesmo
inapreensvel, participa.
297
VI. Concluses
Chegada a hora de concluir este trabalho, no pretendo fazer um resumo, sequer breve,
de cada captulo desenvolvido. Gostaria to somente de apontar concluses e algumas
conseqncias que uma pesquisa posterior poderia explorar.
Espero ter mostrado a contento porque o emprego da matemtica por Lacan, e sua
tentativa de formalizao na psicanlise tm sentido, contrariamente ao que acreditam alguns
e que esse sentido reside, talvez de modo contra-intuitivo, no solo comum pisado tanto por
uma quanto por outra.
Espero ter mostrado, no captulo III, como entre o conceito de significante e o conceito
de conjunto existe uma relao que poderamos dizer de isomorfismo. Ambos tm a mesma
forma lgica, enfrentando os dois o mesmo tipo de problema definicional e suas
conseqncias. H, entre esses, um que no se furtou a se apresentar: considerado como termo
primitivo, um conjunto no tem uma definio precisa, e com isso, no se sabe muito bem, ou
univocamente, a que se refere o termo, constituindo a uma lacuna essencial. Dito de outra
maneira, na teoria dos conjuntos clssica, os postulados deveriam, de alguma maneira,
circunscrever o domnio de seus objetos, os quais, por sua vez, o dos conjuntos. Porm, aqui
surge um ciclo vicioso, uma vez que sob o termo domnio insinua-se o prprio conceito de
conjunto. Dir-se-ia que o conjunto a respeito de que trata a teoria dos conjuntos o conjunto
dos conjuntos! Ora, a teoria do significante versa, obviamente, sobre o significante, sendo
esse seu domnio, o conjunto de sua aplicao. De um lado, se o significante for um conjunto,
como se defende, incorremos no mesmo problema. No entanto, outra forma paralela de
enunci-lo reconhecer que para a formulao de uma teoria do significante empregamos
significantes os quais se submetem teoria que pretensamente regem tornando o crculo
inescapvel.
298
43
Em que reencontramos tambm Saussure, na relao entre um significante e um conceito para a determinao
do signo lingstico.
299
Pode-se dizer que essa mesma indefinio, denunciada pelo paradoxo de Russel, est
na raiz da emergncia de diferentes teorias. H, com efeito, outras formas possveis de
axiomatizar a teoria dos conjuntos e que ora so rivais, ora suplementam a proposta de
Zermelo-Fraenkel, aqui utilizada, conhecida como ZF, ou ZFC, no caso em que o axioma da
escolha tambm figura entre os postulados iniciais.
Recapitulando, os axiomas do sistema ZF so44:
ZF1: Axioma da extensionalidade, que afirma que se dois conjuntos apresentam os
mesmos elementos, eles so iguais,
ZF2: Axioma do par, que assegura que dados dois conjuntos e , existe um conjunto,
nico, constitudo por e e somente por eles, denotado por {, },
ZF3: Axioma de unio, com a afirmao de que, dado um conjunto , existe o
conjunto formado pelos conjuntos que pertencem a ,
ZF4: Axioma dos subconjuntos, que assevera a existncia do conjunto de todos os
subconjuntos, ou partes, de um conjunto dado, ,
ZF5: Axioma de separao, na verdade um esquema de axiomas que garante, dado um
conjunto e uma propriedade F(x), que existe o conjunto dos elementos de que satisfazem
F(x),
ZF6: Axioma de substituio, que afirma que, dado um conjunto e uma frmula
F(x,y), a aplicao de F aos elementos de , que faz corresponder elementos de um outro
conjunto, afirmado, ento, como existente,
ZF7: Axioma do conjunto vazio, segundo o qual existe o conjunto ao qual nada
pertence,
44
Os livros de matemtica consultados no costumam se referir a esses axiomas em uma mesma ordem ou com
uma mesma notao. A minha, portanto, to arbitrria quanto aquelas consultadas.
300
denominada NBG, iniciada por Von Neumann em 1920, e modificada por Bernays a partir de
1937 e por Gdel, em 1940. Nela, considerada uma extenso de ZFC, introduz-se o conceito
de classe, como colees de conjuntos capazes de serem definidas de maneira no ambgua
por uma propriedade compartilhada por todos os seus membros. Classes, ao invs de
conjuntos, so os objetos primrios do sistema NBG, sendo conjuntos definidos como classes
que podem ser membros de outras classes. H, no entanto, classes que no podem pertencer a
outras classes, proper classes, o que faz com que nem todas as classes sejam conjuntos. Sem
se entrar em demais detalhes, os axiomas de NBG (HAMILTON, 1989, p. 147-156)
tipicamente compreendem ZF1, ZF2, ZF3 e ZF4 (extensionalidade, par, unio e
subconjuntos), alm de, ZF7 e ZF9 (vazio e infinito) e, em alguns casos, ZF10, o axioma da
escolha, ainda que esse, em outros, substitudo por alguma verso sua. Axiomas
correspondentes a ZF8 (de fundao ou regularidade) e uma verso de ZF1
(extensionalidade), ambos com referncias a classes ao invs de conjuntos tambm se incluem
em NBG.
A diferena capital reside na variante de ZF5 (o axioma de separao, ou
compreenso) que, em NBG, postula que, na existncia de uma frmula bem formada cujos
quantificadores se refiram to somente a conjuntos, existe a classe consistindo de todos os
conjuntos para os quais a funo se verifica.
Ora, o que se percebe a reapario da definio de Frege quanto existncia de algo,
mas que agora se denomina uma classe, composta de elementos que satisfazem determinada
condio formulada em uma linguagem dada. Por suposto, a restrio imposta s frmulas
bem formadas da linguagem impedem agora o auto-pertencimento entre classes, uma vez que
a relao de pertencimento entre determinadas classes banida pela prpria linguagem. O
sistema NBG, portanto, escapa ao paradoxo de Russel e permite a existncia, por exemplo, da
classe de todos os conjuntos com determinada propriedade, mesmo daquela problemtica
302
e, com efeito, pode-se falar mesmo da classe de todos os conjuntos, mas, por fora de sua
linguagem, no h a possibilidade de se falar da classe de todas as classes.
O sistema NBG considerado uma extenso de ZF porque incrementa a linguagem de
ZF, o que faz com que todo teorema de ZF seja igualmente um teorema de NBG. Com esse
ltimo pode-se provar teoremas de ZF desde que a linguagem comum entre os dois sistemas
seja empregada, isto , NBG no capaz de provar novos teoremas a respeito de ZF. Dito de
outra maneira, NBG poderia ser considerada uma espcie de metalinguagem de ZF, o que se
intui pela apario da possibilidade de se falar do Todo em relao aos conjuntos de ZF. O
que, simultaneamente, tem por efeito definir os conjuntos como unidades constituintes.
Entende-se a razo para o rechao lanado por Lacan sobre a lgica de classes:
Unidade e totalidade aparecem aqui na tradio como solidrias, e no por acaso
que volto a elas sempre para delas fazer surgir a categoria fundamental. Unidade e
totalidade, ao mesmo tempo solidrias, ligadas uma a outra nessa relao que se
pode chamar de relao de incluso, a totalidade sendo totalidade em relao s
unidades, mas a unidade sendo o que funda a totalidade como tal, ao lanar a
unidade em direo a esse outro sentido, oposto quele que distingo como sendo a
unidade de um todo. em torno disso que prossegue esse mal-entendido dentro da
lgica dita das classes, o mal-entendido secular da extenso e da compreenso
(LACAN, 1961-1962 [2003], p. 178).
45
303
linguagem. Com isso podemos concluir que o recurso formalizao contorna a dificuldade
colocada pela fundamentao emprica da psicanlise, aproximando-a, mas se remet-la ao
mesmo tempo exclusivamente a uma fundamentao coerentista.
Prosseguindo no argumento anterior, quanto variedade dos sistemas axiomticos
existentes para uma teoria dos conjuntos, que Newton da Costa (1994, p. 91) sugere poderem
mesmo ser infinitos, vimos que tanto NBG quanto MK, se evitam os paradoxos, no deixam
de faz-lo sem a imposio de algumas restries, seja no domnio da linguagem empregada,
como em NBG, seja no domnio semntico, como em MK.
Com a mesma restrio imposta por MK, quanto ao Universo de Von Neumann, podese construir um modelo que ao invs do axioma do infinito, contm sua negao explcita. O
que, alis, mostra que o axioma do infinito tambm um axioma independente da teoria dos
conjuntos.
Mais ainda, h algumas teorias diretamente derivadas de ZF que explicitamente negam
o axioma de fundao, permitindo a ocorrncia do conjunto de Russel, mas que, em
contraparte, tm de operar sobre o axioma de extensionalidade46, promovendo verses
distintas dele, uma vez que nesses sistemas aparecem conjuntos cuja melhor qualificao,
mais que a de idnticos, seria a de indistinguveis.
Mais genericamente, sempre que um axioma prov uma sutura, proibindo a ocorrncia
de alguma inconsistncia, parece existir a possibilidade de se estudar um sistema forjado em
sua negao, ainda que uma contraparte parea exigir-se na consecuo do trabalho.
No se trata de dizer que determinada axiomtica seria melhor que outra, a qual
deveria ser abandonada, para o estudo do significante, uma vez que se aceite minha tese, mas,
bem ao contrrio, promover uma dignidade a diversos desses diferentes sistemas, com o
argumento de que o significante, em sua apario na clnica psicanaltica, poderia se
46
306
conformar, como sistema, ora segundo um, ora segundo outro desses sistemas, abrindo,
potencialmente, um campo para a insero da psicopatologia nesse domnio. Este programa
de pesquisa deve se apoiar na concluso, aqui sugerida, que se refere importncia de
modelos locais, ou seja, restritos a certos regimes de paradoxalidade, e no propriamente
axiomas e teoremas uniformes que permitiriam deduzir a formalizao de todos os conceitos
psicanalticos de uma axiomtica nica e geral.
Tentarei ser mais explicito quanto a esse ponto.
Considerando-se o significante como conjunto, h dois grandes princpios que
estabelecem seu regime. De um lado, sua consistncia frgil, porque fundamentada no vazio,
aponta para uma dissoluo de origem, se o paradoxo me permitido. No seria demasiado
estranho tentar uma aproximao entre esse princpio de dissoluo - que sempre buscaria a
reduo da unidade consistente constituda multiplicidade inconsistente constituinte, da qual
o vazio seu representante -, e aquilo que, em psicanlise, se figurou como a Pulso de
Morte. Por outro lado, faramos o paralelo entre a Pulso de Vida e o princpio oposto, aquele
de reunio em unidades cada vez maiores, ou mais diversificadas daquilo que o conjunto, por
seu efeito, reuniu.
O primeiro princpio aparece de modo mais proeminente nos axiomas do conjunto
vazio e de fundao, que buscam regul-lo. J o segundo princpio se mostra de maneira cabal
no axioma dos subconjuntos47. Ora, como j tive a oportunidade de discutir, a prova do
chamado teorema de Cantor demonstra que h um excesso irredutvel da incluso (aquilo que
os subconjuntos contam) em relao ao pertencimento (aquilo que o conjunto apresenta). Dito
de outra maneira, sempre se inclui mais do que pertence propriamente ao conjunto. Esse
absoluto excesso que a relao significante apresenta , tentativamente, regulado pelo estado
da situao, nos termos de Badiou (1988) e de tal modo - sendo esta a tese que se tentou
47
Nesta perspectiva, o axioma do infinito daria uma soluo de como reuni-los, ambos os princpios.
307
demonstrar -, que relaes de vizinhana sejam estabelecidas e, com elas, topologias, cuja
particularidade procurei apresentar no captulo V, seguindo os passos de Lacan.
Matematicamente, a questo se apresenta, ainda que de forma muito simplificada, da
seguinte maneira: qual a medida desse excesso entre o pertencimento e a incluso? Se um
conjunto apresentar n elementos, seu Power set, o conjunto de todos os seus subconjuntos
apresentar 2n elementos, mas que dizer de um conjunto que apresente, como, por exemplo, o
dos nmeros naturais, infinitos termos? Atribuindo a essa infinidade, o cardinal 0, dito Aleph
zero, o qual tem a particularidade de ser enumervel, o tamanho, ou a cardinalidade do
conjunto de todos os subconjuntos de um conjunto infinito enumervel seria 20. Foi tambm
Cantor que, essencialmente preocupado com essa questo, desenvolveu uma lgebra dos
nmeros infinitos, a qual nem mesmo comentarei aqui, mas que faz depreender que aps 0, o
primeiro cardinal infinito, sucedem-se tambm infinitos cardinais infinitos. A questo,
portanto, reduz-se a: qual o valor de 20? a Hiptese do Contnuo, de Cantor, que a esse
valor corresponde o primeiro cardinal infinito subseqente a 0, 1. Essa , no entanto, uma
hiptese matemtica e trabalhos subseqentes, a exemplo do que se trouxe acima a respeito do
axioma da escolha em sua relao com ZF, a partir dos mesmos resultados de Gdel e Cohen,
provaram a independncia tambm da Hiptese do Contnuo. Dessa maneira, diferentes
posies em relao hiptese acabaram por engendrar tambm diferentes sistemas
matemticos.
De acordo com Badiou (1988), a maneira de se lidar com esse excesso determina trs
diferentes orientaes de pensamento, no somente dentro da matemtica, mas, como,
segundo Badiou, matemtica ontologia, tambm dentro da filosofia. Isto porque, segundo
Badiou:
[O] pensamento no nada seno o desejo de por fim ao excesso exorbitante do
estado (BADIOU, 1988, p. 312).
308
48
Wovon man nicht sprechen kann, darber mu man schweigen (WITTGENSTEIN, 1921 [1994], p. 280)
309
qualificao, mas porque considero meu ponto suficientemente conclusivo. A verdade tomada
como indiscernvel, fruto de um indecidvel, deve ser contada como conceito primitivo da
psicanlise, do ponto de vista de sua formalizao procedente da teoria do significante.
A se aceitar a tese de que o significante e o conjunto apresentam o parentesco que
procuro defender, no me parece um passo longo demais concluir que determinadas escolhas
quanto aos axiomas, o que remete a posies subjetivas, determinam formas de pensamento
claramente distintas. Se me ative a uma crtica mais demorada sobre a primeira das formas,
foi somente porque esse , ainda, o modo dominante de apresentao do saber, com suas
conseqncias em diversos nveis, mas, como procuro mostrar, no o nico. As duas formas
alternativas, como teorias matemticas reconhecidas, so to vlidas quanto a primeira,
apresentando os critrios considerados necessrios.
Reunindo o princpio negativo, mas primordial, de dissoluo da multiplicidade
expresso no conceito de Pulso de Morte, e a perspectiva de Badiou (1988) de uma viso
ontolgica da matemtica, concordo, portanto, com a concluso de Safatle (2006, p. 319) de
que os modos de subjetivao na clnica lacaniana so fundamentalmente estruturas de
reconhecimento de uma negao ontolgica que se manifesta de maneira privilegiada na
confrontao entre sujeito e objeto, e com a idia de que a teoria da pulso de Freud, o
corao da metapsicologia, apresentaria um estatuto ontolgico. Do que se depreende que
decises ontolgicas orientam no somente a configurao de estruturas da prxis, como
argumenta Safatle, mas tambm, e de maneira absolutamente coerente, a configurao das
estruturas subjetivas com que essa prxis se depara.
Dessa forma, um estudo detalhado dos sistemas engendrados coerentemente a partir da
escolha dos diferentes axiomas, como sugerido h pouco, poderia abrir um extenso campo de
pesquisa psicanaltica, desde que se possa atribuir a cada um desses sistemas uma
interpretao sobre algum modo de constituio subjetiva, na medida mesmo em que esta
311
escolha, que denota a posio de um sujeito, tambm implica uma tentativa de sutura, como
se procurou mostrar ao longo deste trabalho. Talvez este pudesse ser contado como o
princpio geral da transformatividade entre as diferentes estruturas com as quais a psicanlise
trabalha: estruturas psicopatolgicas (como psicose, neurose e perverso), estruturas
antropolgicas (como o Complexo de dipo), estruturas discursivas (como os quatro
discursos) e estruturas ontolgicas (como Real, Simblico e Imaginrio). Contudo, esta
apenas uma hiptese para a qual nosso trabalho aponta sem ter desenvolvido plenamente.
Porm, surge-nos ainda a questo mesma da coerncia de qualquer um desses
sistemas, de sua necessidade e de seu sentido. Retornamos, ento, a um ponto apontado no
captulo II deste trabalho em que sugeri alguma forma de coerentismo como uma opo
epistemolgica apropriada para estes desenvolvimentos. Trata-se, no entanto, menos da defesa
da coerncia, no sentido que atribu a esse termo, desta tese, do que da idia epistmica de que
atravs de alguma forma de coerncia que o prprio pensamento, como articulao
significante, tenta se conformar. Se h mais de uma teoria dos conjuntos coerente, pode-se,
conseqentemente, supor mais de uma forma de organizao do sistema significante que
atenda a esse princpio.
Retornando outra vez sobre nossos passos, defendi, no captulo IV que o significante
submete-se a uma lgica e, como conseqncia do que expus no captulo V, que distintas
organizaes significantes podem engendrar diferentes topologias, as quais so modelos para
as lgicas que subjazem. H, evidentemente, um salto entre os dois captulos na medida em
que naquele sobre as relaes entre a lgica e o significante utilizei uma lgica, seguindo
Badiou (2006), de cunho intuicionista, e que, a partir do que se defende aqui, poderia ser
outra, ainda que seu autor a ela se refira como uma Grande Lgica, capaz de subsumir todas
as outras. Este o ponto no qual nos separamos de Badiou e da tentativa de reconstruo da
filosofia transcendental, e nos restringimos fundamentao da psicanlise.
312
313
314
que, vale a pena lembrar, foi proposta aps extensos estudos sobre os limites e possibilidades
de fundamentao lgica da dialtica hegeliana49.
Se Freud concedeu dignidade ao inconsciente como sistema em que um princpio
lgico tido como fundamental, como o da contradio, no se aplica, isso exige que
psicanalistas se debrucem com mais afinco sobre sistemas afins de modo a lhes depreender as
conseqncias. O inconsciente e suas formaes so somente paradoxais na escolha da lgica
clssica como ferramenta de anlise. Uma sugesto anterior de que o significante, em alguma
condio, poderia ser um conjunto auto-pertencente, como exemplo, sugere o caminho que a
lgica paraconsistente abre, segundo Newton da Costa:
No tocante ao paradoxo de Russell, para fixar idias, pode-se proceder de duas
maneiras: 1. Aceitar-se a lgica elementar clssica e restringir-se alguns dos
princpios intuitivos e informais da grande lgica; trata-se da diretriz trilhada
classicamente; 2. Recorrer-se a certas lgicas paraconsistentes e edificar-se sistemas
de teoria dos conjuntos nos quais o conjunto de Russell existe. Tais teorias so
inconsistentes, embora aparentemente no triviais (COSTA, 1994, p. 201).
49
Essa vertente, sem mais detalhes, outra vez poderia nos reunir a Safatle (2006, p. 34), atravs da idia de uma
dialtica negativa, ou de uma sntese no totalizante, formada com base na idia de constelao, na qual a
negao dos procedimentos de universalizao totalizante conservada.
50
Arend Heyting, um dos criadores da lgica intuicionista tem um livro, de 1925, chamado Intuitionistische
axiomatiek der projectieve meetkunde, ou Axiomtica intuicionista da geometria projetiva, com o qual no tive
contato, mas cujo ttulo faz inferir aquilo a que me refiro. Neste caso, que a realizao de um plano projetivo em
seus componentes significantes tem subjacente uma lgica particular, a lgica intuicionista.
315
apenas sugiro, em uma preocupao diferente com o respaldo de tal afirmao. Em sua
concluso, diz o autor:
Em outras palavras, as determinaes lgicas possuem uma vocao
fundamentalmente metapsicolgica, na medida em que podem ser consideradas
enquanto uma forma de descrio de processos psquicos como tais, a mesmo ttulo
que a descrio tpica, dinmica e econmica (SILVA JNIOR, 2007, p. 133).
Se no captulo II, mas de fato ao longo deste trabalho, insisti na teoria da coerncia, foi
tambm para colocar em discusso sua correspondente teoria da verdade. Ao tratar do axioma
da escolha e do processo de forcing, ainda que o tenha feito de maneira bastante superficial,
procurei indicar que a, pela escolha, mas tambm pelo foramento, surge mais claramente
tanto a dimenso da verdade quanto aquela do sujeito. Mais prosaicamente, quem mais que
um sujeito poderia fazer uma escolha? Porm, como tambm procurei indicar por recurso
teoria subjacente e com o auxlio de Badiou e seu conceito de evento, essa verdade
concernida, capaz de organizar e reorganizar subconjuntos, se dissimula sob a aparncia do
saber, com os mesmos critrios de coerncia a que esse saber se submete. Chamemos esta
verdade de insight, de interpretao mutativa, de dialtica, de cura ou de experincia, isso no
importa tanto assim. Do ponto de vista mais abrangente, a verdade um conjunto genrico,
indiscernvel do ponto de vista em que o saber se constitui. Ainda assim, em sua construo,
segundo o prprio procedimento desenvolvido por Cohen na matemtica, a cada passo de
uma srie infinita que a coerncia avaliada e ratificada, no melhor dos casos, nos caminhos
da subjetivao. Alis, no seria estranho abordar a subjetivao como esse mesmo caminho
de escolhas e que, a cada passo, exigiria uma reviso do conjunto. Por suposto, essas escolhas
podem no ser feitas, mas no sem tambm algum impacto sobre o conjunto que ainda deve
tentar manter sua coerncia aps a emergncia daquilo que exigiria uma.
Se o leitor aceitar a minha defesa, dever concordar que um imenso horizonte apenas
comea a se descortinar para a psicanlise, a despeito mesmo da exortao lacaniana de que
psicanalistas deveriam ser toplogos, com possibilidades importantes tanto em sua esfera
terica quanto clnica. Afinal, aps o que venho tentando argumentar, se o recurso filosofia,
lingstica, literatura, s artes, entre tantos domnios parecem se justificar por uma
proximidade ao subjetivo, por que no a matemtica?
317
Espero ter deixado tambm suficientemente claro que as relaes entre a psicanlise e
a matemtica no so da mesma natureza que aquela verificada de maneira comum entre
matemtica e diversas outras cincias. No se trata de frmulas capazes de descrever ou
calcular quantidades a que fenmenos podem ser reduzidos. No se trata de reduzir o
propriamente humano quilo passvel de predio, ou pior, controle. Trata-se de verificar que
entre a matemtica e a psicanlise h um parentesco que se d pela via do significante e que l
onde a matemtica encontra seus maiores problemas tambm a psicanlise encontra os seus.
Porm, se a matemtica tem a vantagem de ter percorrido, por suas vias, um trajeto mais
longo que a jovem psicanlise, esta pode se orgulhar de ter olhado mais detidamente para os
horrores do vazio que se estende sob as duas disciplinas e nele encontrar o humano que a
regularidade matemtica excluiu.
318
VII. Referncias
ALTHUSSER, Louis. Freud e Lacan. In: COELHO, Eduardo Prado (Org.). Estruturalismo:
antologia de textos tericos. Traduo de Maria Eduarda Reis Colares, Antnio Ramos Rosa e
Eduardo Prado Coelho. So Paulo: Martins Fontes, Lisboa: Portuglia Editora, 1967.
BADIOU, Alain. Ltre et lvnement. Paris: ditions du Seuil, 1988.
___________ Para uma nova teoria do sujeito : conferncias brasileiras. Traduo de
Emerson Xavier da Silva, Gilda Sodr. Rio de Janeiro: Relume-Dumar, 1994.
___________ Logique des mondes. Paris: ditions du seuil, 2006.
___________ (1969) Le concept de modle. Paris: Ouvertures Fayard, 2007.
BICALHO, Helena, NOGUEIRA, Luiz Carlos e ABE, Jair. As duas vertentes: significante e
objeto a. Psicologia USP. Vol.15 n.1/2. So Paulo, 2004.
BOYER, Carl B. Histria da matemtica. So Paulo: Editora Blucher, 1974.
BURGOYNE, Bernard. What causes structure to find a place in love? In: GLYNOS, J. &
STAVRAKAKIS, Y. (Orgs.) Lacan & Science. London: Karnac, 2002.
COELHO, Eduardo Prado (Org.) Estruturalismo: antologia de textos tericos. Lisboa:
Portuglia Editora Ltda, 1967.
CORFIELD, David. From mathematics to psychology: Lacas missed encouters. In:
GLYNOS, J. & STAVRAKAKIS, Y. (Orgs.) Lacan & Science. London: Karnac, 2002.
COSTA, Newton Carneiro Afonso da. Ensaio sobre os fundamentos da lgica. So Paulo:
HUICITEC: Ed. da Universidade de So Paulo, 1994.
___________Introduo aos fundamentos da matemtica. So Paulo: Hucitec, 2008.
CROSSLEY, J. N. et al. What is mathematical logic ? New York : Dover Publications Inc.,
1990.
DANCY, Jonathan. Epistemologia contempornea. Traduo de Teresa Louro Prez. Lisboa:
Edies 70, 1990.
DARMON, Marc. Ensaios sobre a topologia lacaniana. Traduo de Eliana A.N. do Vale.
Porto Alegre: Artes Mdicas, 1994.
___________ propos des "Essais sur la Topologie lacanienne", Prface la nouvelle
dition. http://www.freudlacan.com/articles/article.php?url_article=mdarmon081104.
319
320
FREUD, Sigmund (1914b) Recordar, repetir e elaborar (novas recomendaes sobre a tcnica
da psicanlise II).
___________ (1915b) O Inconsciente.
___________ (1915c) Represso.
___________ (1918) Histria de uma neurose infantil.
___________ (1920) Alm do princpio de prazer.
___________ (1923) O ego e o id.
___________ (1925a) Um estudo autobiogrfico.
___________ (1925b) A negativa.
___________ (1933) A questo de uma Weltanschauung: Novas conferncias introdutrias
sobre psicanlise, Conferncia XXXV.
___________ (1938) Esboo de psicanlise.
___________ Obras Psicolgicas de Sigmund Freud. Volume 1: Escritos sobre a psicologia
do Inconsciente. Coordenao geral da traduo: Luiz Alberto Hanns. Rio de Janeiro: Imago
Ed., 2004.
___________ (1915a) O recalque
GABBI Jr., Osmyr Faria. Freud: racionalidade, sentido e referncia. Campinas: UNICAMP,
Centro de Lgica, Epistemologia e Histria da Cincia, 1994.
___________ Notas a projeto de uma psicologia: as origens utilitaristas da psicanlise. Rio de
Janeiro: Imago, 2003.
GLYNOS, Jason. Psychoanalysis operates upon the subject of science: Lacan between science
and ethics. In: GLYNOS, J. & STAVRAKAKIS, Y. (Orgs.) Lacan & Science. London:
Karnac, 2002.
GLYNOS, Jason and STAVRAKAKIS, Yannis. Postures and impostures: on Lacans style
and use of mathematical science. In: GLYNOS, J. & STAVRAKAKIS, Y. (Orgs.) Lacan &
Science. London: Karnac, 2002.
GRANGER, Gilles-Gaston. Pense formelle et sciences de lhomme. Paris: ditions
Montaigne, 1960.
321
322
323
MILLER, Jacques-Alain. Matemas I. Traduo de Srgio Laia. Rio de Janeiro: Jorge Zahar
Ed., 1996.
MILNER, Jean-Claude. A obra clara: Lacan, a cincia, a filosofia. Traduo de Procpio
Abreu. Rio de Janeiro: Jorge Zahar Ed, 1996.
MUNKRES, James Raymond. Topology. Upper Saddle River: Prentice Hall, 2000.
NASIO, Juan David. Los ojos de Laura. Traduccin de Jos Luis Etcheverry. Buenos Aires:
Amorrotu editores, 1987.
POLITZER, Georges. (1928) Crtica dos fundamentos da psicologia: a psicologia e a
psicanlise. Traduo de Marcos Marcionilo e Yvone Maria de Campos Teixeira da Silva.
Piracicaba: Editora UNIMEP, 1998.
PRIBRAM, Karl H. A Century of progress? Annals of the New York Academy of Sciences.
Neuroscience of mind on the centennial of Freuds Project for a scientific psychology. Vol.
843, May 15, 1998.
REIS JR., Almiro dos. Sigmund Freud (1856-1939) e Karl Kller (1857-1944) e a descoberta
da anestesia local. Revista Brasileira de Anestesiologia vol. 59 n2 Campinas Mar/Abr 2009.
ROUDINESCO, Elizabeth. Jacques Lacan: Esboo de uma vida, histria de um sistema de
pensamento. So Paulo: Companhia das letras, 1994.
RUSSELL, Bertrand. Introduo filosofia matemtica. Traduo de Giasone Rebu. Rio de
Janeiro: Zahar Editores, 1974.
SAFATLE, Vladimir. A paixo do negativo: Lacan e a dialtica. So Paulo: Editora UNESP,
2006.
SAUSSURE, Ferdinand de. (1916) Curso de Lingstica Geral. Traduo de Antnio Chelini,
Jos Paulo Paes e Izidoro Blikstein. So Paulo: Cultrix, 1997.
SILVA JUNIOR, N. Um estado de alma uma paisagem. Exploraes da espacialidade em
Fernando Pessoa e Freud. Percurso. Revista de Psicanlise, So Paulo, v. 14, p. 26-34, 1995.
___________ Um abismo fonte do olhar. A pr-perspectiva em Odilon Morais e a abertura da
situao analtica. Percurso. Revista de Psicanlise, So Paulo, v. 23, p. 13-22, 1999.
___________ Linguagens e pensamento: a lgica na razo e na desrazo. So Paulo: Casa do
Psiclogo, 2007.
SIRAG, Saul-Paul. A mathematical strategy for a theory of consciousness. In: HAMEROFF,
S. R., KASZNIAK, A. W., SCOTT, A. C. (Editors). Toward a science of consciousness: the
first Tucson discussion and debates. Cambridge, MA: The MIT Press, 1996.
324
325