GUERRAS CULTURAIS E

RELATIVISMO CULTURAL
*
Mauro W. Barbosa de Almeida
RBCS Vol. 14 n
o
41 outubro/ 99
Sokal e Bricmont, em debates recentes co-
nhecidos 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 intersub-
jetividade 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 norte-
americana, 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 avata-
res do ps-modernismo pardia do ps-moder-
nismo 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 experin-
cia, pensando ter demonstrado com ela a pregui-
a 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, organiza-
do 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.
6 REVISTA BRASILEIRA DE CINCIAS SOCIAIS - VOL. 14 N
o
41
do ps-modernismo, dentre os quais importar
noes das cincias exatas para as cincias huma-
nas sem dar a mnima justificativa emprica ou
conceitual para esse procedimento e manipular
frases sem sentido e entregar-se a jogos de lingua-
gem (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 afirma-
o 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 huma-
nistas anarquia metafrica, isto , liberdade de
usar criativamente imagens e aluses. A defesa da
anarquia metafrica significa que a discusso inte-
lectual no deve utilizar argumentos de autorida-
de, e sim travar-se sobre questes reais ainda que
estas estejam formuladas de maneira no-tcnica e
alusiva. Para isso preciso um esforo de interpre-
tao generoso de parte a parte. O tema reapare-
cer mais adiante. Aqui, ele tem a seguinte forma,
que todo antroplogo reconhecer: quando ouvi-
mos 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 patru-
lhamento 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 contesta-
da. 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 soci-
ais? 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 expe-
rincia 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 calculado-
ra 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 com-
putacionais; 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 co-
mentrio 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 experimental-
mente? 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 dificul-
dade que tem infinitas casas decimais, mas ns
somos finitos. Poderamos calcular eternamente
novas casas decimais de sem encontrar a seqn-
cia mencionada. Mas ela poderia estar bem frente.
GUERRAS CULTURAIS E RELATIVISMO CULTURAL 7
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 te-
ro 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, fun-
dador 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 cons-
truirmos 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 bi-
lhes 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 se-
qncia 0123456789 depois de computarem 17
bilhes de casas decimais de (Borwein e Jona-
than, 1997). Depois de 30 bilhes de casas, segun-
do os mesmos autores, a referida seqncia tam-
bm ocorrre vrias vezes. A proposio de Bro-
wer, que antes no era nem verdadeira nem falsa,
segundo o prprio autor, tornou-se ento verda-
deira 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 verdadei-
ra 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 racio-
nais.
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, repre-
sentada pelo construtivismo sovitico, s existem
aqueles nmeros reais que podem ser construdos
mediante regras finitas. Quem diria: h materialis-
tas e idealistas na Matemtica. Isso nos leva de
novo aos gregos, para quem as idias dos contru-
tivistas no seriam novidade.
8 REVISTA BRASILEIRA DE CINCIAS SOCIAIS - VOL. 14 N
o
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 cons-
truir 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 aproxima-
o. 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 sabe-
mos 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 seme-
lhana 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 tam-
bm conjuntos inacessveis, inefveis e ridicula-
mente 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 matemti-
cos construtivistas recusam a objetividade e mes-
mo 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 social-
mente 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 adap-
tao 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 aproximada-
mente 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 partici-
pantes 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 representa-
o de pode no existir acabada, mas enquanto
coisa em si existiu sempre, adotariam a mesma
GUERRAS CULTURAIS E RELATIVISMO CULTURAL 9
conduta: todos os trs fugiriam da roda. Eles
concordariam pragmaticamente embora discor-
dando ontologicamente (cf. Da Costa, 1992, 1993 e
1997; Almeida, 1998). Ontologias distintas podem
ser compatveis quanto a suas implicaes pragm-
ticas. verdade que nem sempre existe tal concor-
dncia pragmtica.

Em uma defesa herica de sua
ontologia, um construtivista radical poderia atirar-
se 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 pragm-
tica 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 lin-
gisticamente possam encontrar regras de tradu-
o 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 pragmti-
co. Mas semelhante concordncia seria muito me-
nos esperada no caso de outras construes soci-
ais como aquelas relacionadas f religiosa
embora tambm a seja possvel. Esse ponto
forneceria um critrio para distinguir a objetivida-
de 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 conhe-
cesse, tivesse continuado adepto dos mtodos
mais frugais da matemtica finitista; conversamen-
te, os matemticos modernos podem entender
Arquimedes e suas construes rigorosas e finitis-
tas, regressando depois ao paraso metafsico. Por
hiptese, antroplogos so capazes de aprender
lnguas estranhas e cdigos de etiqueta, mas tam-
bm 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. Medi-
ante 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 respecti-
vas. A passagem de uma ontologia para outra no
precisa ser ponto a ponto. H ontologias mais
pobres e ontologias mais ricas, e diferentes ontolo-
gias 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 relativis-
mo 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 dife-
rentes sistemas culturais ao fechamento comunica-
tivo; 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 pragm-
tico, 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, transfor-
mar um objeto visto de diferentes ngulos e de
diferentes perspectivas, unificando essas aparnci-
as 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-
10 REVISTA BRASILEIRA DE CINCIAS SOCIAIS - VOL. 14 N
o
41
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 per-
mitir que eles abandonassem a confuso autodes-
truidora de falar de relativismo ali onde s h
solipsismo.
Metforas
Ah, compactness! A wonderful property.
(Klaus Jnich)
Fsicos como Sokal poderiam adquirir a capa-
cidade 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 existn-
cia mltipla, ou porque os matemticos utilizam
constantemente o que Nicolas Bourbaki chamou
de abusos de linguagem, ou porque o uso mate-
mtico existe ao lado do uso de fsicos, de enge-
nheiros 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 prin-
cpio, substitu-los pelas definies rigorosas. Nes-
se 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 for-
malismo 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 lin-
guagem cuja fecundidade criadora consiste em sua
capacidade para transpor domnios semnticos
determinados por regras, para atuar fora de con-
texto por definio. Esse processo de abuso da
linguagem tem efeitos poticos isto , produto-
res de sentido to mais expressivos quanto mais
distantes so os domnios semnticos assim vincu-
lados: 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 pre-
guia 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 encontra-
dos 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 esclare-
cer 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 observa-
es 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 origi-
nal;
(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, metafo-
ricamente 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 11
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 su-
gestes contidas nas metforas mencionadas. Bro-
wer descreveu nmeros reais e a natureza do
contnuo de nmeros reais em termos de esco-
lhas 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 De-
dekind para demonstrar a existncia de um con-
junto infinito. Passemos, contudo, aos espaos
compactos.
Sokal diz-se incapaz de compreender a su-
gesto 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 inte-
ressantes. 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 se-
qncia 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 teore-
ma brincalho, no esprito de Lewis Carroll) diz
ento que em um espao desejante, uma seqn-
cia 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...
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 en-
contrar seu objeto de desejo? Os espaos compac-
tos so o ambiente ideal para isso. Pois considere-
mos 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 subse-
qncia convergente para um mesmo limite: ocor-
rer o encontro.
16
Algumas tcnicas desejantes (tntricas e ou-
tras) 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 antro-
plogos, e com poucas referncias enorme tradi-
o da Antropologia, disciplina que, no entanto,
tem como objeto privilegiado justamente o estudo
da relatividade cultural. Essa estratgia foi proposi-
tal. 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 adota-
da 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 N
o
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 especializa-
da) e quanto s suas regras (produo construti-
va de estruturas a partir de objetos sensveis;
deduo abstrata de objetos a partir de estruturas
axiomticas conhecidas, no segundo caso). E fo-
mos levados a pensar que essa oposio divide
tambm correntes contemporneas da Matemtica.
Essa diviso ilustraria a existncia de uma histori-
cidade 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 relativis-
mo 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 escri-
tos 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 diferen-
tes sistemas culturais como transformaes que
operam segundo princpios mentais que so univer-
sais. 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 explo-
rado do ponto de vista da filosofia da cincia. Para
fazer essa aproximao, apoiei-me no filsofo bra-
sileiro 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 Almei-
da (1990). Sobre a filosofia da cincia de Newton da
Costa ver o seu O conhecimento cientfico (1997), com
comentrios em Almeida (1998).
2 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).
3 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).
4 Derrida (1997) no insistiu na sua afirmao sobre
nmeros e procurou minimizar a sua importncia.
5 Agradeo a Pedro Ricardo del Santoro a referncia a
esse livro de Bohigas.
6 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 .
7 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 Rich-
man (1987).
8 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.
GUERRAS CULTURAIS E RELATIVISMO CULTURAL 13
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: Fra-
enkel, 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 circuns-
crito ao crculo, e dobrou sucessivamente os lados,
parando ao obter um polgono com 96 lados. O proce-
dimento 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 argu-
mentos 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 conjun-
to 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 sphroi-
des. Paris, Societ ddition Les Belles Lettres.
ARONOWITZ, Stanley. (1997), Alan Sokals trans-
gression. Dissent, Winter: 107-110.
BARWISE, Jon (ed.). (1983), Handbook of mathemati-
cal 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 Physi-
que Quantique/ Chaos and Quantum Physics,
Paris, Elsevier Science Publishers.
BORWEIN, M. e JONATHAN, M. (1997), Brower-
Heyting sequences converge. The Mathemati-
cal 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), Varie-
ties of constructive mathematics. Cambridge,
Cambridge University Press.
BROWER, Luitzen J. (1981[1923]), On the significan-
ce of the principle of excluded middle in
Mathematics, especially in function theory, in
L.J. Brower, FromFrege 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 num-
bers. Cambridge, Cambridge University Press.
DA COSTA, Newton. (1992), Introduo aos
fundamentos da Matemtica. 3
a
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 num-
bers. Nova York, Dover.
DERRIDA, Jacques. (1997), Sokal et Bricmont ne
sont pas srieux. LeMonde, 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 N
o
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 Uni-
versity 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), Antropologie structu-
rale deux. Paris, Plon.
LIMA, Elon Lages. (1982), Curso deanlise. 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 num-
ber system. Oxford, Berg.
POLLARD, Stephen. (1990), Philosophical introducti-
on 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 Uni-
camp.
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 Mathema-
tics. Nova York, W.W. Norton & Cia.
SOKAL, Alan. (1996a), Transgressing the boundari-
es: toward a transformative hermeneutics of
quantum gravity. Social Text, 46-47, Spring-
Summer: 217-252.
__________. (1996b), A physicist experiments with
cultural studies. Lingua Franca, 6 (4), May-
June: 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 postmo-
dernist myths about science, Oxford, Oxford
University Press.
__________. (1997b), A plea for reason, evidence
and logic. NewPolitics, 6 (2), Winter:126-129.
__________. (1997c), Alan Sokal replies (to Stanley
Aronowitz). Dissent, Winter: 110-111.
__________. (1997d), Les mystifications philosophi-
ques 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 mtapho-
res. 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 ma-
thematics, in Jon Barwise (ed.), Handbook of
mathematical logic, Amsterd, North-Holland,
pp. 973-1.052.