GUERRAS CULTURAIS E

RELATIVISMO CULTURAL*
Mauro W. Barbosa de Almeida

Sokal e Bricmont, em debates recentes conhecidos como as guerras da cultura, criticaram o

que chamaram de fraude intelectual promovida
por cientistas sociais, filsofos e crticos literrios
que se referem a temas cientficos para defender
posies relativistas. Um exemplo paradigmtico
de fraude intelectual seria a afirmao de que o
nmero uma construo social. A partir da
discusso desse exemplo, defendo um ponto de
vista alternativo baseado no que chamo de verso
moderada do relativismo. Essa verso repousa
sobre a noo de que sempre possvel a traduo
entre ontologias distintas, o que garante a intersubjetividade e, conseqentemente, a objetividade.
Essa posio inspirada no relativismo estrutural
de Claude Lvi-Strauss, e tambm na teoria da
cincia de Newton da Costa.1 Finalmente, critico
o intento de Sokal e Bricmont de estabelecer regras
para o uso lcito de metforas que envolvam
referncias Matemtica e cincia.

Pluralismo
O fsico Alan Sokal levou as guerras da
cincia para as manchetes de jornal ao realizar o
que chamou de experimento cultural. O experi-

mento consistiu no seguinte: Sokal submeteu para

publicao em uma revista humanstica norteamericana, Social Text, um artigo em que colou
uma srie de exemplos de absurdo e preguia
mental
(nonsense and sloppy thinking), todos
extrados de autores como Derrida e outros avatares do ps-modernismo pardia do ps-modernismo em uma revista ps-modernista. O artigo
pardico foi aceito e publicado simultaneamente
publicao de outro trabalho do autor, na revista
Lingua Franca, em que descreveu a
experincia, pensando ter demonstrado com ela a preguia mental dos ps-modernistas. O assunto virou
matria de primeira pgina do New York Times.2
O objetivo geral de Sokal, expresso em um
livro mais recente escrito conjuntamente com o
tambm fsico Bricmont, seria o de criticar abusos

Verso revista de palestra proferida no simpsio Vises

de Cincia: Encontros com Sokal e Bricmont, organizado pelo Instituto de Estudos Avanados, a Faculdade de
Filosofia, Letras e Cincias Humanas e o Instituto de
Matemtica da USP em 27-28 de abril de 1998. Agradeo
a Guilherme Magnagni o convite para esse debate com
Sokal e Bricmont. A presente verso beneficiou-se
muito dos comentrios de dois pareceristas annimos
desta Revista, aos quais agradeo.

RBCS Vol. 14 no 41 outubro/99

REVISTA BRASILEIRA DE CINCIAS SOCIAIS - VOL. 14 No 41

do ps-modernismo, dentre os quais importar

noes das cincias exatas para as cincias humanas sem dar a mnima justificativa emprica ou
conceitual para esse procedimento e manipular
frases sem sentido e entregar-se a jogos de linguagem (Sokal e Bricmont, 1997, introduo).
Um dos exemplos do nonsense de que os
literatos so capazes quando se referem a temas
cientficos, no artigo-pardia de Sokal, a afirmao de que o de Euclides, antes imaginado como
constante e universal, [] agora percebido em sua
inelutvel historicidade.3
Esse exemplo, contudo, ilustra a razo por
que inicio esses comentrios em desacordo ttico
com Sokal e por que defendo o direito dos humanistas anarquia metafrica, isto , liberdade de
usar criativamente imagens e aluses. A defesa da
anarquia metafrica significa que a discusso intelectual no deve utilizar argumentos de autoridade, e sim travar-se sobre questes reais ainda que
estas estejam formuladas de maneira no-tcnica e
alusiva. Para isso preciso um esforo de interpretao generoso de parte a parte. O tema reaparecer mais adiante. Aqui, ele tem a seguinte forma,
que todo antroplogo reconhecer: quando ouvimos do interlocutor algo que parece obviamente
um absurdo, um nonsense como quer o fsico
Sokal, devemos adotar a hiptese provisria de
que o interlocutor diz algo, sob a condio de que
nos esforcemos para descobrir as condies sob as
quais a fala do interlocutor faz sentido.
Ora, a pardia de Sokal tem a fora da
autoridade de um fsico matemtico contra um
literato. Que literato ou socilogo ousaria discutir
com um fsico matemtico sobre as constantes da
matemtica depois que Derrida teve suas orelhas
puxadas e no defendeu suas idias?4 Para efeito
de dilogo atravs de fronteiras culturais, vou fazer
precisamente esse exerccio. Isso porque o patrulhamento lingstico, a meu ver, tem o seguinte
efeito: fazer crer aos relutantes, com o argumento
do ridculo, que a proposio segundo a qual
existem objetos absolutos, como o de Euclides,
que no tm historicidade no pode ser contestada. O argumento da autoridade poupa a Sokal o
esforo de convencer o leitor de que constantes da
matemtica como no tm historicidade, que

escapam a qualquer jogo de linguagem, enfim,

que no so uma construo cultural. Tal tipo de
argumento encerra a discusso quando ela deveria
comear, e contudo a discusso poderia ter tratado
de temas como os seguintes: qual a relao entre
objetos matemticos, objetos fsicos e objetos sociais? Eles pertencem a uma mesma ordem? De uma
maneira geral, qual a ontologia da Matemtica? E
de uma maneira particular, o que so nmeros?
Todo mundo sabe o que . a medida da
circunferncia tomando-se o seu dimetro como a
unidade de medida. Uma professora cuidadosa
poderia ilustrar o conceito utilizando uma fita
mtrica e um pneu de bicicleta, obtendo da experincia um nmero como 3,1 ou 3,2. O aluno
acreditar ento quando a professora lhe disser
que um valor mais exato 3,14. Todo engenheiro
tambm sabe o que ; ele consulta sua calculadora de bolso e obtm com quatro casas decimais,
talvez oito. Todo fsico que se preze tambm sabe
o que o nmero , mas o fsico, em vez de
consultar a calculadora, utilizar um programa de
computador baseado em diferentes frmulas computacionais; dessa forma, obter um nmero com
um nmero arbitrrio de casas decimais. A essa
altura, ele comear a falar de como um nmero
com infinitas casas decimais, como um objeto
familiar embora nebuloso. O fsico estatstico Oriol
Bohigas (1991) afirma, assim, casualmente, que a
seqncia 0123456789 ocorrer infinitas vezes no
desenvolvimento decimal de , mas outro fsico, o
brasileiro Antnio Carlos Dria, afirmou em comentrio apresentao oral do presente texto
que a afirmao de Bohigas falsa.5
Certamente essas dvidas iro dissipar-se.
Ou bem 0123456789 ocorre infinitas vezes no
desenvolvimento decimal de , ou no ocorre.
Por que no resolver a questo experimentalmente? Podemos aqui formular uma pergunta mais
simples: ser que 0123456789 ocorre pelo menos
alguma vez na escrita decimal de ? Quando essa
pergunta foi formulada pela primeira vez, ningum
tinha encontrado um exemplo afirmativo. A dificuldade que tem infinitas casas decimais, mas ns
somos finitos. Poderamos calcular eternamente
novas casas decimais de sem encontrar a seqncia mencionada. Mas ela poderia estar bem frente.

GUERRAS CULTURAIS E RELATIVISMO CULTURAL

Assim, o experimentador poderia procurar para
sempre, sem jamais obter a resposta. De repente
comeamos a pensar em situaes borgianas.
A essa altura o leitor poder estar sentindo
certa inquietao. Certamente os matemticos tero respostas definitivas para problemas como
esse. Ou bem tem certa propriedade, ou no a
tem reza a lgica. Mas no h acordo entre os
matemticos sobre a lgica.
Para o matemtico Luitzen Jan Brower, fundador do intuicionismo, falso dizer que, de duas
uma: ou bem 01232456789 ocorre mais cedo ou
mais tarde no desenvolvimento de , ou bem no
ocorre nunca segundo ele, enquanto no construirmos essa ocorrncia, no podemos afirmar
que a seqncia ocorre, e por outro lado no
podemos afirmar que ela no ocorre, porque
sempre possvel que ela ocorra mais adiante. Em
outras palavras, passamos do problema de saber se
certos fatos so verdadeiros sobre para o
problema de saber quais so as leis da lgica
(Brower, 1981, p. 337).6
O problema fica mais claro com o seguinte
exemplo. H um gato que no podemos espiar
diretamente porque ele est dentro de uma caixa
fechada. Se 0123456789 ocorrer aps 30 bilhes de
casas decimais de , uma cpsula com cianureto
abre-se automaticamente no primeiro dia do ano
1990 no interior da caixa; caso contrrio ela no se
abre. Pergunta: o gato estar vivo ou morto no
segundo dia do ano 1990? Segue-se da posio de
Brower que, se ningum tiver computado 30 bilhes de casas decimais at o primeiro dia do ano
1990, o gato nem estar morto nem estar vivo a
partir dessa data.
Nesse caso especial, os experimentadores
obtiveram afinal a respota. Em 1997, Yasumada
Kanada e Daisuke Takahashi, da Universidade de
Tquio, produziram a primeira ocorrncia da seqncia 0123456789 depois de computarem 17
bilhes de casas decimais de (Borwein e Jonathan, 1997). Depois de 30 bilhes de casas, segundo os mesmos autores, a referida seqncia tambm ocorrre vrias vezes. A proposio de Brower, que antes no era nem verdadeira nem falsa,
segundo o prprio autor, tornou-se ento verdadeira
no momento exato em que a seqncia

0123456789 foi computada. Apenas a partir de

1997 o gato morreu antes disso nem estava
morto, nem estava vivo. Entretanto, para outros
matemticos essa proposio sempre foi verdadeira antes mesmo que os homens comeassem a
existir e antes que o prprio universo comeasse a
existir. Para estes, o gato de Brower estava morto
desde 1990. Brower um matemtico intuicionista
para quem nmeros so essencialmente atividade
humana no que concorda com os matemticos
construtivistas , mas h matemticos platnicos
como Gdel para quem os nmeros existem como
uma realidade independente da existncia humana
(essa parecia ser tambm a posio de Sokal e
Bricmont). 7
Note-se que a proposio de Brower mais
fcil de verificar do que a de Oriol Bohigas. Para
mostrar que a proposio de Bohigas verdadeira,
seria preciso, pelos critrios de Brower, exibir
infinitos casos de ocorrncia de 0123456789 no
desenvolvimento de . Mas isso impossvel para
ns, mortais.8
A pergunta inicial sobre o que conduz,
assim, a uma pergunta sobre a natureza do infinito.
No apenas , mas todo nmero real se constri
como uma seqncia infinita de nmeros racionais.9 Qual o estatuto ontolgico desses objetos
infinitos?10
S Deus poderia contemplar simultnea ou
temporalmente o conjunto dos nmeros naturais
que requerido pela crena em como uma
seqncia de Cauchy concluda, isto , como um
objeto infinito em ato, e no apenas em potncia.
Admitindo essa crena (expressa detalhadamente
no axioma do infinito da teoria dos conjuntos),
podemos ainda admitir a existncia simultnea de
todos os nmeros reais, e estamos em pleno
paraso de Cantor. Mas para os intuicionistas e
construtivistas o nmero no um objeto final
mas um ato um processo. Segundo uma
vertente radical dessa viso construtivista, representada pelo construtivismo sovitico, s existem
aqueles nmeros reais que podem ser construdos
mediante regras finitas. Quem diria: h materialistas e idealistas na Matemtica. Isso nos leva de
novo aos gregos, para quem as idias dos contrutivistas no seriam novidade.

REVISTA BRASILEIRA DE CINCIAS SOCIAIS - VOL. 14 No 41

Arquimedes descreveu um processo para

construir que consistia em um algoritmo para
medir polgonos que encerravam por dentro e por
fora um crculo, deixando-o inscrito em um anel
poligonal cada vez mais fino.11 Podemos dizer que
o processo de Arquimedes construtivo e finitista.
Ele pode ser descrito como o sistema de regras
seguinte: (1) h um objeto inicial; (2) dado um
objeto previamente construdo, possvel construir um novo objeto a partir do anterior; (3) os
objetos sucessivos guardam entre si a propriedade
de serem encaixados.
Uma propriedade desses objetos que eles
se afinam sucessivamente mas Arquimedes
evitou sempre afirmar que haveria um nmero
nico ao final do processo sem fim de aproximao. Ora, para os gregos tal limite no existia no
caso de processos utilizados para calcular a raiz
quadrada de dois. por isso que Aquiles jamais
alcanou a Tartaruga o instante do relgio em
que se daria tal encontro, assim como o ponto da
estrada, no um nmero racional; ele no existia
na ontologia dos matemticos gregos.
O papel essencial da teoria dos conjuntos
para a fundamentao da Matemtica foi introduzir
uma ontologia infinitista desmesurada, na qual,
essencialmente, se postula que Aquiles atinge a
Tartaruga e assim se refuta Zeno. Ponto que
vrios livros de Clculo ocultam ao afirmarem que
o Clculo teria mostrado o erro de Zeno com o
auxlio da noo de limite...12 Nem sempre o
estudante que l isso pergunta: como que sabemos que o limite em questo existe? A resposta
poderia levar o professor a construir os nmeros
reais como seqncias de Cauchy. Mas a essa
altura o aluno poderia notar uma estranha semelhana entre a infinitude de seqncias de Cauchy
e a corrida de Aquiles... (cf. Carroll, 1976).
O preo para dispensar esse jogo aceitar
como axioma a existncia do infinito atualizado;
da em diante, a porta estar aberta no apenas
para os nmeros reais, mas tambm para o paraso
da teoria dos conjuntos onde, alm dos nmeros
naturais, dos nmeros reais, das funes e de
muitos outros objetos matemticos, habitam tambm conjuntos inacessveis, inefveis e ridiculamente grandes.13 Assim, no -toa que crentes na

teologia dos conjuntos infinitos acreditam tambm

na realidade ontolgica de objetos matemticos
externos ao humana, ao passo que matemticos construtivistas recusam a objetividade e mesmo a necessidade da teoria dos conjuntos como
requisito para a Matemtica.14
O que tudo isso sugere que nmeros tm
uma existncia ontolgica varivel
segundo
diferenas culturais, religiosas, e talvez polticas.
Nesse sentido, e outros nmeros so criaes
culturais, com analogias na poesia e na teologia.
Sua existncia como objeto finalizado depende
tanto de um ato de f quanto a existncia de Deus.

Limites do relativismo
Na Idade Mdia, submergiam-se bruxos na
gua. Se sobrevivessem, isso provava que eram
bruxos, e devia-se queim-los. Se morressem, isso
provava que no eram bruxos. H um modo
anlogo de calar a boca dos que defendem a idia
de que todos os objetos, incluisive , so socialmente contrudos Se um construcionista social
acha que as leis de Newton so socialmente
construdas, por que que ele no salta da janela
de um prdio de dez andares? Chamemos esse
teste de Ordlio da Cincia. Proponho uma adaptao desse teste ao caso de . O construcionista
social desafiado a colocar-se a trs metros e
catorze centmetros de distncia (medida por ele
com uma trena) do eixo dianteiro de um trator cujo
dimetro mede um metro (tambm medido por
ele), permanecendo deitado enquanto a roda do
trator completa uma revoluo completa. Que far
o construcionista social? Sabendo aproximadamente o valor de , ele fugir da morte certa,
esquecendo por um momento seu relativismo.
Ora, o que isto realmente prova? Que h uma
possibilidade de acordo pragmtico entre participantes de diferentes ontologias. O engenheiro
egpcio, para quem uma construo social
com apenas duas casas decimais 3,14 , o
matemtico
platnico, para quem existe na
esfera das idias com todas as suas infinitas casas
decimais, e ainda Sokal, para quem a representao de pode no existir acabada, mas enquanto
coisa em si existiu sempre, adotariam a mesma

GUERRAS CULTURAIS E RELATIVISMO CULTURAL

conduta: todos os trs fugiriam da roda. Eles
concordariam pragmaticamente embora discordando ontologicamente (cf. Da Costa, 1992, 1993 e
1997; Almeida, 1998). Ontologias distintas podem
ser compatveis quanto a suas implicaes pragmticas. verdade que nem sempre existe tal concordncia pragmtica. Em uma defesa herica de sua
ontologia, um construtivista radical poderia atirarse debaixo do trator argumentando que o que para
outros pareceria ser sua morte constituiria, em sua
prpria viso do mundo, uma metamorfose. Essa
argumentao um primeiro passo para moderar o
relativismo cultural com o reconhecimento de uma
objetividade que resulta da concordncia pragmtica parcial entre sujeitos que adotam diferentes
ontologias. O fato de que medidas de peso sejam
muito variveis entre as culturas no uma barreira
para que comerciantes que mal se entendem lingisticamente possam encontrar regras de traduo entre suas medidas sem que precise haver
a adoo de um nico padro de medida, mas
chegando-se a aproximaes satisfatrias para
ambas as partes ou acordos no plano pragmtico. Mas semelhante concordncia seria muito menos esperada no caso de outras construes sociais como aquelas relacionadas f religiosa
embora tambm a seja possvel.
Esse ponto
forneceria um critrio para distinguir a objetividade da massa da objetividade de estilos de vestir e
da objetividade das crenas religiosas.
Arquimedes seria capaz de acompanhar o
raciocnio da matemtica infinitista de Cantor e
Dedekind, embora provavelmente, se os conhecesse, tivesse continuado adepto dos mtodos
mais frugais da matemtica finitista; conversamente, os matemticos modernos podem entender
Arquimedes e suas construes rigorosas e finitistas, regressando depois ao paraso metafsico. Por
hiptese, antroplogos so capazes de aprender
lnguas estranhas e cdigos de etiqueta, mas tambm hbitos e sentimentos. Lvi-Strauss enxergou
a condio de possibilidade da Antropologia nessa
interseo de duas subjetividades que resulta de
um processo atravs do qual um sujeito sempre
capaz de ocupar a posio de um objeto
convertendo-se vicariamente em um outro sujeito
(Lvi-Strauss, 1973, pp. 16, 35 et passim). Existem

ontologias distintas, mas podemos passar de uma

a outra por meio do aprendizado; a capacidade de
fazer tais passagens um universal humano. Mediante essa capacidade podemos, por assim dizer,
modelar uma ontologia no interior da outra e
torn-la inteligvel mesmo sem acreditarmos no
que o outro diz.
A possibilidade dessa passagem, ou, para
usar de uma metfora, a possibilidade de mudana
de coordenadas ao passarmos de uma ontologia a
outra, o que garante a intersubjetividade. Mas a
intersubjetividade , por sua vez, a garantia da
objetividade. Sem ela no podemos sequer fazer
distintos sujeitos discutirem sobre cursos de ao
alternativos apoiados em suas ontologias respectivas. A passagem de uma ontologia para outra no
precisa ser ponto a ponto. H ontologias mais
pobres e ontologias mais ricas, e diferentes ontologias no so equivalentes em suas conseqncias
pragmticas e ticas. Esta uma segunda razo
para moderar o relativismo.
Ora, infelizmente, alguns antroplogos e
construcionistas sociais acreditam que o relativismo significa, ao contrrio, que cada um tem seu
ponto de vista e que tais pontos de vista so
irredutveis uns aos outros. Levada ao extremo,
essa posio afirma a impossibilidade da traduo.
Com isso, condenam-se os participantes de diferentes sistemas culturais ao fechamento comunicativo; chega-se tambm ao paradoxo que um
antroplogo no poder falar do outro, o que sua
misso.
Contra esse ponto de vista apresento dois
argumentos: o da possibilidade de acordo pragmtico, ainda que parcial, sobre as conseqncias da
ao sobre o mundo (argumentao de Newton da
Costa), e o da possibilidade de intersubjetividade
que decorre do pressuposto de unidade da mente
humana (argumentao de Lvi-Strauss).
Todos ns sabemos, intuitivamente, transformar um objeto visto de diferentes ngulos e de
diferentes perspectivas, unificando essas aparncias na idia de um objeto invariante. Deveramos
tambm ser capazes de nos transformarmos em
diferentes sujeitos, e assim olharmos para um
mesmo objeto de diferentes ngulos. Trata-se de
reconhecer a diversidade juntamente com a inva-

REVISTA BRASILEIRA DE CINCIAS SOCIAIS - VOL. 14 No 41

10

rincia. Quanto a isso, a lio do relativismo

matemtico e fsico seria muito til e teria algo a
ensinar aos antroplogos. Essa lio a de que
podemos formular leis objetivas, significando isso
que observadores diferentes podem pr-se de
acordo sobre suas diferentes observaes, desde
que saibam como convert-las umas nas outras
atravs do grupo de transformaes adequado (cf.
Almeida, 1990). A noo de identidade que da
resulta deveria interessar aos antroplogos, e permitir que eles abandonassem a confuso autodestruidora de falar de relativismo ali onde s h
solipsismo.

Metforas
Ah,

compactness!

wonderful property.
(Klaus Jnich)

Fsicos como Sokal poderiam adquirir a capacidade de tambm eles transitarem entre ontologias
diversas sem serem tomados de pnico por objetos
no familiares. Nesse exerccio, a capacidade de
reconhecer objetos no familiares deve incluir a de
conceber interpretaes generosas para metforas
e outras formas de comunicao que parecem
primeira vista absurdas. Em particular, mas no
apenas, metforas matemticas e fsicas.
Objetos matemticos possuem uma existncia mltipla, ou porque os matemticos utilizam
constantemente o que Nicolas Bourbaki chamou
de abusos de linguagem, ou porque o uso matemtico existe ao lado do uso de fsicos, de engenheiros e do senso comum. Para Bourbaki, os
abusos de linguagem em Matemtica so aceitveis
e mesmo indispensveis para permitir que, em vez
de definies rigorosas, o matemtico se utilize de
termos que evocam intuies. Mas eles s so
admissveis quando possvel, ao menos em princpio, substitu-los pelas definies rigorosas. Nesse caso, eles so uma espcie de notao abreviada
e intuitiva que permite agilidade ao pensamento,
sem prejuzo do rigor. O abuso de linguagem , na
matemtica bourbakiana, uma ponte entre o formalismo e a intuio.
A metfora constitui-se em uma forma de
abuso de linguagem. Mas, no domnio humansti-

co, a metfora no depende de regras precisas de

correspondncia. A metfora um abuso de linguagem cuja fecundidade criadora consiste em sua
capacidade para transpor domnios semnticos
determinados por regras, para atuar fora de contexto por definio. Esse processo de abuso da
linguagem tem efeitos poticos isto , produtores de sentido to mais expressivos quanto mais
distantes so os domnios semnticos assim vinculados: imagens geolgicas aplicadas histria;
imagens culinrias aplicadas ao amor; metforas
matemticas aplicadas poesia etc.
Primeiro, Sokal (1996b) denunciou como
nonsense and sloppy thinking (absurdo e preguia mental) o uso das idias matemticas e
fsicas fora de seu contexto original por literatos.
Mas, em escritos posteriores, Sokal percebeu que
os enunciados fsicos e matemticos encontrados por ele em textos literrios poderiam ter ali um
uso metafrico. Passou ento a distinguir um bom
uso de metforas do mau delas, com regras do
seguinte tipo: O papel de uma metfora esclarecer uma idia pouco familiar ligando-a a uma outra
que mais familiar, ou vice-versa (Sokal, 1997e,
p. 8).
Depreendem-se dessas e de outras observaes as seguintes regras de Sokal para o uso de
metforas:
(S1) o objeto-metfora deve ser mais claro do
que o objeto metaforizado;
(S2) o objeto-metfora no deve ser utilizado
em sentido estranho a seu campo semntico original;
(S3) deve-se distinguir sempre a ocorrncia
de um objeto-metfora da ocorrncia de um objeto
no-metafrico. (Deve-se afixar a cada metfora:
Isso uma metfora.)
Se algum diz a crise econmica um
buraco negro, est violando (S1), (S2) e (S3). O
mesmo ocorre quando algum diz namorada:
Voc uma flor. Se digo, porm, voc, metaforicamente falando, semelhante a uma rosa sob o
aspecto da beleza, j no h metfora...
Em outras palavras, as regras de Sokal tornam
invivel a metfora. Quando as usamos obtemos
analogias, modelos. Ora, metforas no-sokalianas
podem ser produtivas (Almeida, 1990).

GUERRAS CULTURAIS E RELATIVISMO CULTURAL

Consideremos a afirmao seguinte de Sokal
(1997e), com a qual ele critica Deleuze, Kristeva e
outros pelo mau uso de metforas: Em que a
hiptese do contnuo, a geometria no-euclideana
ou a topologia dos espaos compactos podem
servir de metforas teis quando se analisam a
poesia, a guerra ou a psicologia humana?
Eis algumas respostas, auxiliadas pelas sugestes contidas nas metforas mencionadas. Brower descreveu nmeros reais e a natureza do
contnuo de nmeros reais em termos de escolhas criativas da mente humana. A palavra poesis
, nesse caso, um campo comum poesia e
criao matemtica. Atos de criao mental, e
portanto de poesis, foram empregados por Dedekind para demonstrar a existncia de um conjunto infinito. Passemos, contudo, aos espaos
compactos.
Sokal diz-se incapaz de compreender a sugesto deleuziana de que a jouissance
tem a
propriedade de espaos compactos.
Isso no
demonstra certa falta de imaginao? Pois dessa
metfora inocente se deduz, aps uma escolha
adequada de termos, a seguinte proposio: num
espao de jouissance, toda seqncia de atos
desejantes tem uma subseqncia que atinge o
gozo. A noo de compacidade, transferida ao
domnio do desejo, sugere idias e imagens interessantes. Nada impede continuarmos a pensar
metaforicamente.
Espaos de atos desejantes no so difceis
de imaginar, bem como uma noo de distncia
entre atos de desejo (pensemos em eventos no
tempo). natural, ento, concluir que uma seqncia de atos desejantes convergente se a
distncia entre dois deles se torna arbitrariamente
pequena medida que os atos se sucedem. Uma
seqncia convergente pode ou no ter um limite.
Se esse limite existe, ele chamado de jouissance.
Ora, o que um possvel mock-theorem (um teorema brincalho, no esprito de Lewis Carroll) diz
ento que em um espao desejante, uma seqncia qualquer de atos (uma sucesso infinita de atos,
ainda que sem qualquer regra) acumula-se em
algum ponto em torno de um ponto-jouissance.
Esse teorema-metfora vale se e somente se o
espao em questo for limitado e fechado...

11

Se tudo isso estiver muito abstrato, por que

no introduzirmos dois parceiros? Eles podem ser
Aquiles e a Tartaruga. Aquiles deseja a Tartaruga e
busca alcan-la. Sob que condies Aquiles encontrar seu objeto de desejo? Os espaos compactos so o ambiente ideal para isso. Pois consideremos o que poderia dar errado para Aquiles: ele e a
Tartaruga poderiam aproximar-se para sempre sem
que, contudo, Aquiles jamais atingisse a Tartaruga,
seja porque ela estaria sempre mais alm,15 seja
porque no lugar para onde conduz sua corrida
convergente h um buraco. No primeiro caso, o
espao no seria limitado; no segundo, o espao
no seria completo. Mas se Aquiles e a Tartaruga se
perseguirem em um espao que ao mesmo
tempo limitado e fechado, ento para qualquer
seqncia de atos de perseguio (em que Aquiles
e a Tartaruga se aproximam a cada passo) ser
possvel extrair dos seus infinitos atos uma subseqncia convergente para um mesmo limite: ocorrer o encontro.16
Algumas tcnicas desejantes (tntricas e outras) renunciam a alguma dessas propriedades, e
assim levam a espaos que no so compactos no
sentido deleuziano: ou por permitirem uma corrida
dispersiva e cada vez mais afastada da origem, ou
por permitirem sucesses que convergem sem que
haja nada ali para onde aponta o convergir.
preciso imaginao para ouvir e compreender
estrelas, como disse o poeta brasileiro Olavo Bilac.

Ps-escrito: relativismo e
Antropologia 17
Tratamos do assunto das guerras da cincia
com exemplos estranhos experincia dos antroplogos, e com poucas referncias enorme tradio da Antropologia, disciplina que, no entanto,
tem como objeto privilegiado justamente o estudo
da relatividade cultural. Essa estratgia foi proposital. Em primeiro lugar, quis me ater aos exemplos
utilizados por Sokal e Bricmont, disputando-os em
vez de me refugiar nos domnios familiares
Antropologia. Em segundo lugar, a estratgia adotada resulta de uma posio de princpio segundo a
qual, se a Antropologia pretende ser uma cincia
comparativa das sociedades e das culturas, ela deve

12

REVISTA BRASILEIRA DE CINCIAS SOCIAIS - VOL. 14 No 41

incluir no seu campo de interesse no apenas

cosmologias e sistemas de parentesco, mas tambm
sistemas cientficos e burocracias. Haveria assim
uma Antropologia de nmeros,18 qual interessa
tanto a viso platnica sobre os nmeros expressa
por Frege e Russell, como as teorias construtivistas e
materialistas da escola russa, como os sistemas
numricos selvagens em que os nmeros no se
dissociam de suportes sensveis e concretos.
Colocamo-nos em um ponto de vista que
vem essencialmente de Lvi-Strauss, e segundo o
qual o pensamento selvagem e o pensamento
domesticado (separados, conforme Goody, pela
revoluo da escrita) no diferem essencialmente,
mas sim quanto ao suporte tcnico (ausncia ou
presena de uma linguagem escrita e especializada) e quanto s suas regras (produo construtiva de estruturas a partir de objetos sensveis;
deduo abstrata de objetos a partir de estruturas
axiomticas conhecidas, no segundo caso). E fomos levados a pensar que essa oposio divide
tambm correntes contemporneas da Matemtica.
Essa diviso ilustraria a existncia de uma historicidade inelutvel de objetos aparentemente to
estabelecidos como nmeros.
No foi possvel detalhar as contribuies
variadas a esses debates. Caberia, porm, ressaltar
que a posio de Lvi-Strauss a de um relativismo
estrutural que no se confunde com o relativismo cultural da Antropologia norte-americana. Pois,
enquanto o relativismo cultural ps-boasiano chega
ao extremo (na conhecida posio de Whorf e
Sapir) de negar a mtua inteligibilidade das culturas
(posio que ser fundamentada a partir dos escritos de Wittgenstein na sua fase dos jogos de
linguagem), o relativismo estrutural de Lvi-Strauss
enfatiza a unidade e mtua inteligibilidade das
culturas humanas desde que vejamos os diferentes sistemas culturais como transformaes que
operam segundo princpios mentais que so universais. O relativismo cultural , assim, profundamente
divergente do relativismo estrutural. O primeiro
tipo de relativismo, associado s teorias de jogos de
linguagem (wittengensteinianos) ou filosofia de
Quine, levou as discusses antropolgicas para as
fronteiras com a filosofia da linguagem e da lgica.
O segundo tipo de relativismo, que est exposto de

forma simples em Raa e histria, foi menos explorado do ponto de vista da filosofia da cincia. Para
fazer essa aproximao, apoiei-me no filsofo brasileiro Newton da Costa, cujas teorias, inspiradas,
entre outros, na filosofia de Charles Sanders Peirce,
por um lado (e assim adotando um ponto de vista
semitico generalizado), e tambm na matemtica
de Nicolas Bourbaki (com seu ponto de vista
radicalmente estrutural), no ficam deslocadas em
um artigo dedicado ao relativismo estrutural.

NOTAS
1

Sobre o relativismo estrutural de Lvi-Strauss ver Almeida (1990). Sobre a filosofia da cincia de Newton da
Costa ver o seu O conhecimento cientfico (1997), com
comentrios em Almeida (1998).

O texto-pardia Sokal (1996a). O texto em que ele

descreve a experincia Sokal (1996b). Ambos os
textos foram republicados em Sokal e Bricmont (1997).

Em um debate oral, Derrida teve registrada a seguinte

fala (em sua verso inglesa utilizada por Sokal): The
Einsteinian constant is not a constant, is not a center [...]
it is not the concept of something [...] but the very concept
of the game. O texto de Sokal continua: [...] the of
Euclid and the G of Newton,
formerly thought to be
constant and universal, are
now perceived in their
ineluctable historicity [...]. Cf. Sokal (1996a).

Derrida (1997) no insistiu na sua afirmao sobre

nmeros e procurou minimizar a sua importncia.

Agradeo a Pedro Ricardo del

esse livro de Bohigas.

Neste artigo, Brower define um nmero real que nem

igual a zero, nem maior do que zero, nem menor do
que zero porque essas possibilidades dependem de
se saber se a seqncia 0123456789 ocorre ou no a
partir de um certo ponto do desenvolvimento decimal
de .

A ontologia platnica a mais difundida e ensinada

(comea quando criancinhas aprendem a enxergar com
os olhos da mente conjuntos vazios, conjuntos de um
elemento; acabada quando, no final da graduao, o
estudante de Matemtica aprende a enxergar conjuntos
infinitos). Para uma exposio de vises construtivistas
da Matemtica, que no utilizam conjuntos e recusam o
infinito atual, veja-se Troelsta (1983) e Bridges e Richman (1987).

H uma piada, contada por matemtico. O fsico prova

estatisticamente que todos os nmeros mpares so
primos: Bem, 1 mpar e primo. Mas 3, 5, 7 e 13 so
mpares e primos. O 9 um erro experimental; logo
todos os nmeros mpares so primos.

Santoro a referncia a

GUERRAS CULTURAIS E RELATIVISMO CULTURAL

9

Mais precisamente, um nmero real uma famlia de

seqncias de Cauchy que so equivalentes entre si; a
outra definio baseia-se na noo de corte no sentido
definido por Dedekind.

10 Algumas referncias sobre os dilemas da teoria dos

conjuntos na enorme literatura especializada so: Fraenkel, Bar-Hillel e Levy (1984), Hallet (1986) e Pollard
(1990).
11 Arquimedes, utilizando o mtodo de exausto, encerra
a circunferncia de um crculo de dimetro d entre os
limites 3 + 10/71 e 3 + 10/70. Para isso, ele construiu um
polgono regular inscrito e um polgono regular circunscrito ao crculo, e dobrou sucessivamente os lados,
parando ao obter um polgono com 96 lados. O procedimento contm um mtodo iterativo para continuar
indefinidamente o clculo, utilizando uma frmula na
qual intervm razes quadradas. Cf. Archimde
(1970,Tomo I, pp. 134-143).
12 Sobre a grosseria das supostas refutaes dos argumentos immeasurably subtle and profound de Zeno,
ver Bertrand Russell (1963, pp. 347ss).
13 Sobre conjuntos infinitos ridiculamente grandes, ver
no volume editado por Barwise (1983) o apndice de K.
Kunen, pgina 399, e o livro de Prisco (1997).
14 Uma sntese das posies construtivistas e intuicionistas
sobre nmeros est contida em Bridges e Richman
(1987).
15 Imaginemos uma seqncia de atos A1, A2 etc. A cada
ato a Tartaruga percorre um metro a partir da origem (a
Tartaruga estar distncia de 1 metro, de 2 metros etc.
da origem). Aquiles diminui pela metade a distncia
entre ele e a Tartaruga (Aquiles estar a uma distncia de
(1 0,5) metro, de (2 0,25) metros etc., sempre em
relao origem). Ento Aquiles somente encontrar a
Tartaruga no infinito mas a reta no contm tal ponto,
a no ser que seja compactificada.
16 Cf. Elon Lages de Lima (1982, cap. V, particularmente o
Teorema 11, p. 144), que justifica a definio de conjunto compacto aqui utilizada.
17 Esta seo no constou da palestra original.
18 Por exemplo, Crump (1990) ou Mimica (1988), e ainda
a obra de Jack Goody, e muito mais.

BIBLIOGRAFIA
ALMEIDA, Mauro W. Barbosa de. (1990), Symmetry
and entropy: mathematical metaphors in the
work of Lvi-Strauss. Current Anthropology,
31, 4: 367-385.
__________. (1998), A lgica pragmtica de Newton
da Costa e a Antropologia. Manuscrito.
ARCHIMDE. (1970), De la sphre et du cylindre, la
mesure du cercle, sur les conoides et les sphroides. Paris, Societ ddition Les Belles Lettres.

13

ARONOWITZ, Stanley. (1997), Alan Sokals transgression. Dissent, Winter: 107-110.

BARWISE, Jon (ed.). (1983), Handbook of mathematical logic. Amsterd, North-Holland.
BOHIGAS, Oriol. (1991), Random matrix theories
and chaotic dynamics, in M.J. Giannomi, A.
Voros e J. Zinn-Justin (orgs.), Chaos et Physique Quantique/Chaos and Quantum Physics,
Paris, Elsevier Science Publishers.
BORWEIN, M. e JONATHAN, M. (1997), BrowerHeyting sequences converge. The Mathematical Intelligencer, 20, 1: 14-21.
BRICMONT, Jean e SOKAL, Alan. (1997a), What is all
the fuss about?. Times Literary Supplement,
17, October.
__________. (1997b), Les critiques de Derrida et de
Dorra ratent leur cible. Le Monde, 12/12/
1997, p. 23.
BRIDGES, Douglas e RICHMAN, Fred. (1987), Varieties of constructive mathematics.
Cambridge,
Cambridge University Press.
BROWER, Luitzen J. (1981[1923]), On the significance of the principle of excluded middle in
Mathematics, especially in function theory, in
L.J. Brower, From Frege to Gdel: a source book
in Mathematical logic 1879-1931, Cambridge,
Mass., Harvard University Press, pp. 334-345.
CARROLL, Lewis. (1976), What the Tortoise said to
Achilles, in L. Carroll, Collected works, Nova
York, Vintage Books, pp. 1.225-1.229.
CRUMP, Thomas. (1990), The anthropology of numbers. Cambridge, Cambridge University Press.
DA

COSTA, Newton. (1992), Introduo aos

fundamentos da Matemtica. 3a ed., So Paulo,
Hucitec.

__________. (1993), Lgica indutiva e probabilidade.

So Paulo, Hucitec/Edusp.
__________. (1997),
O conhecimento cientfico. So
Paulo, FAPESP/Discurso Editorial.
DEDEKIND, R. (1963), Essays on the theory of numbers. Nova York, Dover.
DERRIDA, Jacques. (1997), Sokal et Bricmont ne
sont pas srieux. Le Monde, 20/11/1997, p. 17.
DORRA, Max. (1997), Mtaphore et politique. Le
Monde, 20/11/1997, p. 17.

14

REVISTA BRASILEIRA DE CINCIAS SOCIAIS - VOL. 14 No 41

FRAENKEL, Abraham, BAR-HILLEL, Yehoshua e

LEVY, Azriel. (1984), Foundations of set theory.
Amsterd, North-Holland.
GROSS, Paul e LEVITT, N. (1994), Higher superstition:
the academic left and its quarrels with science.
Baltimore/Londres, The Johns Hopkins University Press.
GROSS, Paul, LEVITT, N. e LEWIS, Martin W. (eds.).
(1996), The flight from science and reason.
Nova York, New York Academy of Sciences.
HALLET, Michael. (1986), Cantorian set theory and
limitation of size. Oxford, Clarendon Press.
JNICH, Klaus. (1984), Topology. Nova York/Berlim,
Springer Verlag.
LATOUR, Bruno. (1997), Y a-t-il une science aprs la
Guerre Froide?. Le Monde, Janvier.
LVI-STRAUSS, Claude. (1973),
rale deux. Paris, Plon.

Antropologie structu-

LIMA, Elon Lages. (1982), Curso de anlise. Vol.1. Rio

de Janeiro, Instituto de Matemtica Pura e
Aplicada/CNPq.
MIMICA, Jadram. (1988), Intimations of infinity: the
mythopoeia
of the Iqwaye counting and number system. Oxford, Berg.
POLLARD, Stephen. (1990), Philosophical introduction to set theory. Notre Dame, University of
Notre Dame Press.
PRISCO, Carlos Augusto di. (1997), Una introducin
a la teora de conjuntos y los fundamentos de
las matemticas. Campinas, Centro de Lgica,
Epistemologia e Histria da Cincia da Unicamp.
ROBBINS, Bruce e ROSS, Andrew. (1996), Social Text
editorial. Lingua Franca, 6 (5), July-August:
54-64.
ROSS, A. (ed.). (1996), Science wars. Durham, Duke
University Press.
RUSSELL, Bertrand. (1963),
Principles of Mathematics. Nova York, W.W. Norton & Cia.
SOKAL, Alan. (1996a), Transgressing the boundaries: toward a transformative hermeneutics of
quantum gravity. Social Text, 46-47, SpringSummer: 217-252.
__________. (1996b), A physicist experiments with
cultural studies. Lingua Franca, 6 (4), MayJune: 62-64.

__________. (1996c), Reply to Social Text editorial.

Lingua Franca, 6 (5), July-August: 54-64.
__________. (1996d), Transgressing the boundaries:
an afterword. Dissent, 43 (4): 93-99.
__________. (1997a), What the Social Text affair
does and does not prove, in Noretta Koertge
(ed.), A house built on sand: exposing postmodernist myths about science, Oxford, Oxford
University Press.
__________. (1997b), A plea for reason, evidence
and logic. New Politics, 6 (2), Winter:126-129.
__________. (1997c), Alan Sokal replies (to Stanley
Aronowitz). Dissent, Winter: 110-111.
__________. (1997d), Les mystifications philosophiques du professeur Latour. Publicado sob o
ttulo Pourquoi jai crit ma parodie, com
omisso de um pargrafo, em Le Monde, 31/1/
1997.
__________. (1997e), Du bon usage des mtaphores. La Recherche, 8
SOKAL, Alan e BRICMONT, Jean. (1997), Impostures
intellectueles. Paris, Odile Jacob. (Publicado
em lngua portuguesa pela editora Record em
1999, sob o ttulo Imposturas intelectuais. O
abuso da cincia pelos filsofos ps-modernos.)
TAUSSIG, Michael. (1980), The devil and commodity
fetishism in South America. The University of
North Carolina Press.
TROELSTA, A.S. (1983), Aspects of constructive mathematics, in Jon Barwise (ed.), Handbook of
mathematical logic, Amsterd, North-Holland,
pp. 973-1.052.