Carta de Leibniz Ao Matematico Dangicourt
Carta de Leibniz Ao Matematico Dangicourt
Carta de Leibniz Ao Matematico Dangicourt
TRADUO
Traduo e Notas:
Juliana Cecci Silva 2
William de Siqueira Piau 3
I. Fico muito contente que um esprito to matemtico quanto o teu tambm se dedique a
investigaes filosficas. Isso contribuir com o meu projeto de tornar a filosofia
demonstrativa. Parece-me que nossas opinies no esto to distantes uma da outra. Tambm
sou da opinio que, falando de modo adequado, no existe qualquer substncia extensa. por
isso que chamo a matria de non substantiam sed substantiatam 4. Disse em algumas
1
Texto extrado de G. W. LEIBNIZ, Opera omnia. Ed. Ludovicus Dutens. Tournes: Genebra, 1768, Tomo III,
pp. 499-502. Parte dessa carta tambm se encontra em G. W. LEIBNIZ, Discours de Mtaphysique,
Monadologie et autres textes. Frana: Gallimard, 2004 (pp. 378-380). O francs Pierre Dangicourt (1664-1727)
se tornou membro da Academia de Berlim ao fugir da perseguio aos protestantes na Frana e graas ao seu
importante estudo sobre matemtica transcendente; essa carta um dos ltimos textos filosficos de Leibniz e
foi redigida dois meses antes de sua morte, que se deu em 14 de novembro de 1716. Trata-se de um
enfrentamento com relao ao que se pensava da matria, ou seja, de sua oposio filosofia cartesiana da
substncia extensa (res extensa) e especialmente ao realismo matemtico que associaria os infinitsimos a
entidades fsicas ltimas, os tomos de Demcrito, portanto, tambm uma oposio explcita filosofia
newtoniana da matemtica e da fsica. Depois de fornecer parte do fio de Ariadne para aqueles que se perdem no
labirinto do continuum ( I), Leibniz tenta mostrar (a partir do II) a pertinncia de suas concepes quanto ao
conceito de nmero e ao clculo dos infinitsimos, mostrando que elas fornecem a soluo do enigma ( IV) que
teria se tornado motivo de disputa entre, dentre outros, os matemticos italianos Guido Grandi e Alessandro
Marchetti, uma disputa que envolver a series que ficou conhecida pelo nome do primeiro e que demandou um
grande volume de respostas que se estenderam at pelo menos o final do sculo XIX, quando praticamente
termina a reestruturao das bases do Clculo Diferencial e Integral, o que inclui a problematizao do conceito
de nmero e da noo de limite, depois do que muitas das filosofias do infinito deixam de interferir no
desenvolvimento das matemticas. Para esta segunda parte da argumentao, conferir nosso artigo: Leibniz e as
duas faces do labirinto do contnuo, Argumentos: revista de filosofia, n. 13, pp. 16-24.
2
Tradutora, bacharel em Letras (Portugus e Francs) pela Universidade de So Paulo (USP). Mestranda em
Estudos de Traduo pela Universidade de Braslia (UnB).
3
Doutor em Filosofia pela Universidade de So Paulo (USP). Professor da Universidade Federal de Sergipe
(UFS).
4
Para Leibniz a matria no substancia, mas substanciada, isto , a matria atualmente dividida ao infinito est
na dependncia de uma infinidade de substncias; os motivos desta dependncia e os princpios que regulam a
relao entre a matria e as substncias so problematizados em sua obra Monadologia, a qual est servindo de
pano de fundo para essa primeira parte de sua argumentao. Um bom resumo de sua argumentao tambm
174 | P g i n a
175 | P g i n a
todo intelectual ou ideal divisvel em partes; como em fraes, por exemplo, no atualmente
em si (de outro modo, ela seria redutvel a partes mnimas que jamais se encontram em
nmeros), mas na medida em que tiver fraes determinadas 7. Eu afirmo, ento, que a matria
que algo de atual no resulta seno das mnadas, isso , das substncias simples
indivisveis, mas que de nenhum modo a extenso ou a grandeza geomtrica composta das
partes possveis que somente a se pode designar (assigner), nem se resolve em pontos, e que
os pontos tambm so apenas extremidades e de nenhum modo partes ou aquilo que compe a
linha.
II. Quanto ao clculo dos Infinitesimais, no estou totalmente satisfeito com as expresses do
senhor Hermann em sua resposta ao senhor Nieuwentyt, nem com as dos nossos outros
amigos. E o Sr. Naud tem razo em se opor a isto. Quando, na Frana, eles polemizavam
com o abade Gallois, o padre Gouye 8 e outros, manifestei-lhe que de modo algum acreditava
na existncia de grandezas verdadeiramente infinitas, nem verdadeiramente infinitesimais,
que [, para mim, elas] eram apenas fices, mas fices teis para abreviar e para falar
universalmente, como as razes imaginrias na lgebra 9, tais como -1; que preciso
7
Na Teodiceia, Leibniz afirmava: Parece que o Sr. Descartes tambm confessa em uma passagem dos seus
Princpios [da Filosofia] que impossvel responder s dificuldades sobre a diviso da matria ao infinito, o
que, no entanto, ele reconhece como verdadeiro. [Rodriguez de] Arriaga e outros escolsticos fizeram quase a
mesma confisso; mas se eles tivessem o trabalho de dar s objees a forma que elas devem ter, eles veriam que
h falhas na conseqncia, e algumas vezes falsas suposies que confundem. Eis um exemplo disso: um hbil
homem um dia me fez esta objeo: seja seccionada a linha reta B A em duas partes iguais pelo ponto C, e a
parte C A pelo ponto D, e a parte D A pelo ponto E, e assim ao infinito; todas as metades B C, C D, D E etc.,
fazem juntas o todo B A; ento, preciso que haja uma ltima metade, pois a linha reta B A termina em A. Mas,
a existncia desta metade ltima absurda; pois uma vez que ela uma linha, ainda poderemos seccion-la em
duas. Logo, a diviso ao infinito no poderia ser admitida. Mas, eu o fiz observar que no se tem direito de
inferir que seja preciso a existncia de uma metade ltima, embora exista um ltimo ponto A, pois este ltimo
ponto convm a todas as metades de seu lado. E meu prprio amigo reconheceu, quando ele se empenhou em
provar esta inferncia por meio de um argumento em forma, que ao contrrio, pelo prprio fato de a diviso ir ao
infinito, no h metade ltima alguma. E embora a linha reta A B seja finita, no resulta que a diviso que
fizemos tenha um ltimo termo. Ficamos embaraados, da mesma maneira, nas sries dos nmeros que vo ao
infinito. Concebe-se um ltimo termo, um nmero infinito ou infinitamente pequeno; mas tudo isso no passa de
fico. Todo nmero finito e passvel de especificao (assignable), toda linha tambm o , e os infinitos ou
infinitamente pequenos significam apenas grandezas que se pode tomar [por] to grandes ou to pequenas quanto
se queira, para mostrar que um erro menor do que o que foi especificado (a assigne), isso , que no h erro
algum; ou bem se entende pelo infinitamente pequeno o estado de desaparecimento ou aparecimento de uma
grandeza, pensados a partir da imitao das grandezas j formadas (traduo nossa). LEIBNIZ, G. W. Essais de
Thedice. Paris: Flammarion, 1969, [Discurso sobre a f com a razo, 70] pp. 91-2.
8
Leibniz se refere a Philippe Naud (1654-1729), para quem ele j tinha escrito uma carta em 29 de dezembro
de 1707, a Jakob Hermann (1678-1733), Bernard Nieuwentijt (1654-1727), Thomas S. J. Gouye (1650-1725) e
Jean Gallois (1632-1707).
9
Em outros textos, Leibniz afirmava: O clculo infinitesimal til quando se trata de aplicar a matemtica
fsica, ainda que eu no pretenda empreg-lo para dar conta da natureza das coisas. Pois considero as
quantidades infinitesimais como fices teis (LEIBNIZ, Escritos filosficos [Olaso, A ltima resposta], 1982,
p. 633); e esse todos infinitos [como o espao absoluto], bem como os seus opostos infinitamente pequenos
[como os tomos], so de atualidade apenas nos clculos geomtricos, da mesma forma que as razes imaginrias
da lgebra (LEIBNIZ, Novos ensaios [livro II, cap. XVII, 3], 1984, p. 110). Para essa parte de sua
argumentao, incluindo a questo da universalidade do clculo e da transcendncia de determinadas curvas,
176 | P g i n a
conceber, por exemplo, (1) o dimetro de um pequeno elemento de um gro de areia, (2) o
dimetro do prprio gro de areia, (3) o do globo da Terra, (4) a distncia de uma [estrela]
fixa com relao a ns, (5) a grandeza de todo o sistema das [estrelas] fixas, como (1) uma
diferencial do segundo grau, (2) uma diferencial do primeiro grau, (3) uma linha ordinal que
se pode assinalar, (4) uma linha infinita, (5) uma linha infinitamente infinita. E quanto mais se
fazia grande a proporo ou o intervalo entre estes graus, tanto mais se aproximava da
exatido, e mais se podia diminuir o erro e mesmo elimin-lo de uma s vez por meio da
fico de um intervalo infinito, que sempre podia ser realizado ao modo de Arquimedes; mas,
como o marqus Sr. de lHpital 10 acreditava que por [defender] isso eu traia a causa, eles me
pediram que no dissesse nada sobre isso alm daquilo que eu dissera em uma passagem das
Atas de Leipzig, e foi fcil para mim atender ao seu pedido.
III. Para enfim chegar ao 0/, ou seja, zero dividido pelo infinito, e coisas semelhantes, eu
digo que isso tambm no pode ocorrer [de fato] a no ser dentro de uma interpretao
adequada, tomando o zero como um nmero extremamente pequeno, e o infinito como um
nmero muito grande. Acontece que, quanto mais se diminui o numerador, e mais se aumenta
o denominador da frao em [determinada] proporo, mais se aproxima do zero. [Como o
caso em:]
(1:10)/10 = 1/100 e (1:100)/100 = (1/1000) e (1:1000)/1000 = 1/1000000
o que conduz a 0/ = 0, ou (1/)/ = 0, ou 1/(), de modo que o quadrado do infinito
multiplicado pelo zero resultaria na unidade. Mas pode-se dizer que aquilo conduz a isto, mas
no que resulta nisto 11; entretanto, rigorosamente nihilum, que a extremidade decrescente
dos nmeros, deveria ento ser dividido por omnia, que a extremidade crescente dos
conferir o nosso artigo: Leibniz e Descartes: Labirintos e anlise, Cadernos Espinosanos, n. 11, pp. 123-169;
valeria a pena tambm dar uma lida no nosso artigo: Matemtica e metafsica em Leibniz: o clculo diferencial
e integral e o processo psquico-metafsico da percepo, Theoria: revista eletrnica de filosofia, vol. 2, n. 5,
2010, pp 1-16.
10
Leibniz menciona o grego Arquimedes (287-212 a.C.), certamente fazendo lembrar o mtodo de exausto; em
seguida se refere a Guillaume Franois Antoine LHpital(1661-1704), mais conhecido como marqus de
LHpital; no conseguimos saber se o pedido a que ele se refere est registrado em alguma carta e a qual texto
das Atas de Leipzig ele se refere exatamente, j que publicou nelas muitas vezes.
11
Evidentemente, se a) (1/)/ = 0, ento b) 1/() = 0, da que c) 1 = 0 (), ou seja, que o quadrado do
infinito multiplicado por zero igual unidade; exatamente aqui surge o vcio de raciocnio (paralogismo) que
Leibniz est tentando explicitar, pois a) conduz a c) passando por b), mas, rigorosamente falando, no se trata de
um resultado de fato, pois no existe um nmero de fato infinitamente grande (omnia) nem um nmero de fato
infinitamente pequeno (nihilum); trata-se, portanto, de um vcio de raciocnio associado ao prprio conceito de
nmero em sua relao com o de unidades. Da que a traduo da expresso latina extremitates exclusae non
inclusae possa ser extremos excludos, no permitidos; que significa que de fato no podem existir nmeros de
uma extremidade ltima, seja para maior seja para menor; aqui no s o nmero (smbolo) infinito que gera o
vcio de raciocnio, mas tambm a prpria noo do zero entendido como um nmero que representa o nada, no
sentido de limite do menor.
177 | P g i n a
nmeros. Mas, considerada como numerus maximus, omnia uma coisa contraditria, assim
[como nihilum considerado] como numerus minimus. As duas extremidades nihil & omnia
esto fora dos nmeros, [ou seja, so] extremitates exclusae non inclusae.
IV. fcil cair nos paralogismos 12 quando estas coisas no so reformuladas a partir das
ideias que acabo de fornecer. Um hbil matemtico de Pisa, de nome Guido Grandi, tinha
sustentado que uma infinidade de nadas ou zeros colocados juntos constituam uma grandeza
assinalvel e, assim, com uma elegante alegoria, ilustrava a produo de criaturas a partir do
nada por meio do l'infinito. O Sr. Alessandro Marchetti 13, outro hbil matemtico de Pisa, se
ops a isso, dizendo que uma infinidade de nadas jamais faria outra coisa a no ser nada. E,
assumindo o nada rigorosamente, ele tinha razo. No entanto, o padre Grandi provava a
proposio pela diviso: o senhor sabe que ao dividir 1/(1+ a) ou 1:(1+a) = 1 a + a a +
a4 a5 e assim ao infinito. Logo, se [assumimos que] a 1, somos conduzidos a 1/(1+1) = 1:2
= 1 - 1 + 1 - 1 + 1 - 1 e assim ao infinito, o que constituir 1/2= 0 + 0 + 0 + 0 + 0 etc. Eu fui
consultado a esse respeito e eis como acredito ter decifrado o enigma. No necessrio dizer
que uma infinidade de nadas considerados rigorosamente constituem alguma coisa, de tal
maneira que esta srie no se refere a nada, ainda que ela parea se referir. Para compreender
isso de modo adequado, preciso resolv-la em sries finitas prximas do infinito. Seja ento
a srie 1 - 1 + 1 - 1 etc. finita, se em tal caso voc considera um nmero impar de 7 unidades,
por exemplo 1 - 1 + 1 - 1 + 1 - 1 + 1, o todo faz 1. Acontece que, quando isso termina no
infinito, onde no existe nem par nem impar, preciso considerar o meio aritmtico entre 1 e
0 que 1/2; pois nas estimativas ambguas, quando no h mais razo para um que para outro,
preciso considerar o meio. Entre 1 e m, por exemplo, preciso considerar (1+m)/2, isto ,
[se assumimos que m igual a 0, ento temos] (0+1)/2, isto 1/2.
V. Eu me empenhei para explicar [tudo isso] e espero ter conseguido o suficientemente,
tendo em vista que se trata de uma pessoa que possui a sua perspiccia; mas, quanto s
dificuldades que [ainda] podem [restar] em uma matria to difcil quanto essa de que se trata,
12
178 | P g i n a
179 | P g i n a