George Berkeley e Os Fundamentos Do Calc

CDD: 192
GEORGE BERKELEY E OS FUNDAMENTOS DO CLCULO

DIFERENCIAL E INTEGRAL
ITALA MARIA LOFFREDO DOTTAVIANO
Centro de Lgica, Epistemologia e Histria da Cincia CLE
Universidade Estadual de Campinas UNICAMP
Campinas, SP, Brasil
itala@cle.unicamp.br
FBIO MAIA BERTATO
Centro de Lgica, Epistemologia e Histria da Cincia CLE
Universidade Estadual de Campinas UNICAMP
Campinas, SP, Brasil
fmbertato@cle.unicamp.br
Resumo: Neste artigo analisamos as crticas apresentadas por George Berkeley, em The
analyst (1734), ao mtodo das fluxes e inconsistncia intrnseca noo de
infinitsimo do clculo diferencial e integral, introduzido por Isaac Newton.
Procuramos mostrar que as crticas de Berkeley no eram de todo infundadas, uma vez
que foram necessrios quase duzentos anos para que viesse a ser introduzida por Karl
Weierstrass a definio rigorosa de limite, que propiciou uma soluo para o problema
dos infinitsimos. So mencionadas ainda duas outras teorias contemporneas, com
abordagens distintas para a soluo da questo do infinitsimo: a anlise no-standard de
Abraham Robinson e o clculo diferencial paraconsistente proposto por Newton da
Costa. Apesar de serem citados alguns autores importantes para o desenvolvimento do
clculo, este artigo no se prope a analisar suas obras e no pretende apresentar uma
histria do clculo diferencial e integral.
Palavras-chave: George Berkeley, mtodo das fluxes, infinitsimo, clculo diferencial
paraconsistente.
Cad. Hist. Fil. Ci., Campinas, Srie 4, v. 1, n.1, p. 33-73, jan.-jun. 2015.
34
Itala DOttaviano & Fbio Bertato
GEORGE BERKELEY AND THE FOUNDATIONS OF DIFFERENTIAL

AND INTEGRAL CALCULUS
Abstract: In this paper we analyze the criticisms made by George Berkeley, in The
analyst (1734), to the method of fluxions and to the intrinsic inconsistency of the notion
of infinitesimal of the differential and integral calculus, introduced by Isaac Newton.
We argue that the criticisms of Berkeley were not altogether unfounded, since it took
nearly two hundred years for the introduction of the rigorous definition of limit by Karl
Weierstrass, which provided a solution to the problem of infinitesimals. Two other
contemporary theories are also mentioned, with different approaches to the question of
infinitesimals: the non-standard analysis of Abraham Robinson and the paraconsistent
calculus proposed by Newton da Costa. Although some important authors for the
development of calculus are mentioned, this article does not aim at analyzing his works
and does not intend to present a history of differential and integral calculus.
Keywords: George Berkeley, method of fluxions, infinitesimals, paraconsistent
calculus.
1. Introduo
Noes relacionadas com o infinitsimo, ou magnitude infinitesimal,
associadas s propriedades do contnuo (matemtico ou fsico, relativo a espao,
tempo e movimento), podem ser identificadas na filosofia e na geometria dos
pitagricos, de Anaxgoras de Clazmenas (c. 449-428 AEC), de Leucipo de
Mileto (sc. V AEC) criador da doutrina atomista , de seu discpulo Demcrito
de Abdera (c. 460-370 AEC) e de Aristteles (384-322 AEC). Relacionam-se
especialmente com as teorias de Eudoxo (c. 408-355 AEC), de Euclides de
Alexandria (325-265 AEC) e, mais explicitamente, com os trabalhos de
Arquimedes de Siracusa (287-212 AEC) (cf. BOYER, 1974; LINTZ, 2007a;
CARVALHO, 2004). O termo infinitesimus, cunhado no latim utilizado nos sculos
XVI e XVII, formado a partir do radical infinit- e do sufixo -esimus. Alm do
uso em ordinais, este sufixo corresponde aproximadamente ao substantivo
portugus avo, utilizado em nmeros fracionrios, como por exemplo, em 1/12
(um doze avos). Portanto, originalmente infinitsimo significava 1/ ou a
unidade dividida pelo infinito, uma quantidade infinitamente pequena. Em
linhas gerais, um infinitsimo considerado uma magnitude no-nula menor do
que qualquer outra magnitude no-nula da mesma classe.
George Berkeley e os fundamentos do clculo
35
Aps a crise dos incomensurveis,1 os matemticos gregos desenvolveram o

mtodo que denominamos atualmente de mtodo de exausto, com o qual, por
exemplo, exauriam a rea entre o crculo e um polgono regular nele inscrito,
aumentando o nmero de lados desse ltimo. A fundamentao rigorosa do
mtodo da exausto devida a Eudoxo. Deste modo, era possvel efetuar, de
forma finita e precisa, clculos de comprimentos, reas e volumes de figuras
geomtricas. Seu mtodo fundamenta-se no seguinte lema:
Se de uma grandeza qualquer se subtrair uma parte no menor do que
sua metade, e do resto se subtrair no menos do que sua metade, e assim
se prosseguir, restar ao final uma grandeza menor do que qualquer
grandeza da mesma espcie.2
Arquimedes utiliza o mtodo de exausto de Eudoxo em suas obras De

conoidibus et sphaeroidibus, Quadratura parabolae e O mtodo3 (cf. HEATH, 1950),
lidando com os infinitsimos sem magnitude, pois no so obtidos pela diviso
de entes geomtricos. Considera-se, tradicionalmente, que Arquimedes tenha se
antecipado s noes fundamentais da teoria de limites, diferenciao e
bem sabido que os pitagricos assumiam que a aplicao sucessiva de um segmento
u sobre outro AB terminaria aps um nmero finito de passos. Em notao atual
significa que AB = (p/q)u. Tal no o que ocorre com o lado de um quadrado e sua
diagonal, e a prova desta incomensurabilidade um exemplo clssico de reductio ad
absurdum (cf. ARISTTELES, Analytica priora I, 23, 25).
1
Tal lema, conhecido como Lema de Arquimedes, uma das verses da primeira
proposio do Livro X dos Elementos de EUCLIDES (2009). A teoria de Eudoxo
conhecida por meio da obra de Euclides, particularmente o Livro XII, como atesta
Arquimedes no prefcio de sua obra De sphaera et cylindro.
2
Esta ltima obra, intitulada , s conhecida graas ao palimpsesto encontrado

em 1906 por Johan L. Heiberg, em Constantinopla. A importncia da obra reside
especialmente no mtodo mecnico para resoluo de problemas e o principal
argumento, considerado por Arquimedes, o de uma rea como soma de infinitos
segmentos de reta. Tal mtodo utilizado, por exemplo, para se calcular a rea de um
segmento de parbola determinado por uma corda. Em sua obra Quadratura parabolae,
Arquimedes apresenta uma prova geomtrica e sobre o resultado obtido, utilizando o
mtodo mecnico, afirma ser , isto , sem prov-lo (cf. HEATH,
1950).
3
36
integrao, desenvolvidas apenas a partir do final do sculo XVII. Todavia, h

desacordo sobre tal afirmao (cf. BOYER, 1974; SMITH, 1958; LINTZ, 2007a).4
Acerca da contribuio dos rabes ao tema, em especial de Ibn alHaytham, vide RASHED (1993-2010).
J no sculo XVII, Johannes Kepler (1571-1630), Galileu Galilei (15641642) e seu discpulo Evangelista Torricelli (1608-1647) aplicaram, com relativo
rigor e sucesso, o mtodo infinitesimal fsica e matemtica. Kepler utiliza
transformaes geomtricas e mtodos infinitesimais no clculo do volume de
inmeros slidos de revoluo, em particular, no clculo do volume de tonis
de vinho (cf. KEPLER, 1615, p. 551-646). Galileu utiliza propriedades dos
infinitsimos, inclusive algumas relacionadas com sua ordem, no estudo de
problemas da mecnica e da dinmica, por exemplo no movimento de projteis e
queda livre de corpos (cf. GALILEU, 1638); em Galileu j encontramos a
utilizao do termo indivisvel (cf. GALILEU, 1890-1909). Seu discpulo
Bonaventura Cavalieri (1598-1647), em 1635, mesclando o mtodo de exausto e
o mtodo infinitesimal de Kepler, desenvolve um novo processo para o clculo
de reas e volumes, podendo ser considerado um dos chamados precursores do
clculo diferencial e integral (cf. CAVALIERI, 1966; BARON, 1969). Torricelli
interpreta os conceitos de derivada e de integral, tendo elucidado aspectos
obscuros da obra de Cavalieri (cf. TORRICELLI, 1644).
Dentre os precursores do clculo diferencial e integral podemos ainda
destacar Ren Descartes (1596-1650), Pierre Simon de Fermat (1601-1655) e
John Wallis (1616-1703) (cf. BOYER, 1974; LINTZ, 2007a, 2007b; CARVALHO,
2004; CARVALHO & DOTTAVIANO, 2005, 2006).
Sir Isaac Newton (1624-1727) foi motivado em seus trabalhos, na
matemtica e na fsica, pela fsica de Aristteles (cf. BARROW, 1670), pelo
mtodo axiomtico de Euclides e pelos trabalhos de WALLIS (1693). Seus
O matemtico e historiador da matemtica Rubens Lintz, acerca do mtodo da
exausto como precursor da teoria dos limites, chega a asseverar :Esta afirmao
absurda mais uma consequncia trgica do fato de no se colocar a matemtica grega
em sua devida perspectiva histrica [...] este erro lamentvel [...] tem sido o responsvel
por uma das maiores deformaes do pensamento histrico de que se tem notcia
(LINTZ, 2007a, p. 210-11). Para Lintz, o uso do mtodo da exausto pelos gregos
decorre exatamente de seu cuidado em eliminar processos limites (cf. LINTZ, 2007a, p.
234).
4
37
trabalhos mais relevantes para o clculo diferencial e integral so Philosophiae

naturalis principia mathematica (1687), Opticks (1704), Universal aritmethic (1707),
Analysis per quantitatum series, fluxiones, ac differentias (1711), Methodus differentialis
(1711) e The method of fluxions and infinite series (1736, originalmente De methodus
fluxionum et serierum infinitarum, produzido em 1671) (cf. NEWTON, 1687, 1711,
1736, 1967-81).
Alguns dos trabalhos de Newton correspondem ao resultado da
compilao de manuscritos mais antigos, que relutara em publicar assim que os
produzira, como Opticks (1704), escrito originalmente em ingls, que inclui,
como apndices, os tratados Cubic curves, quadrature and rectification of curves by the
use of infinite series e Method of fluxions, este ltimo no qual so introduzidas as
entidades denominadas fluxes e fluentes.5 Em Analysis per quantitatum series,
fluxiones, ac differentias (1711), tambm uma compilao de vrios tratados, a mais
importante obra para o clculo diferencial e integral De analysi per aequationes
numero terminorum infinitas, no qual introduzida a noo de momento de um fluente.
Newton introduz, atravs das entidades que define, dois tipos de
problemas: encontrar a fluxo associada a fluentes dados, a partir de relaes
conhecidas entre os mesmos, o que corresponde ao processo de diferenciao do
clculo usual; e determinar a relao entre as fluxes de dois fluentes, dada a
equao que traduz a relao existente entre tais fluentes, processo inverso ao
primeiro e que corresponde ao processo de integrao do clculo usual.
Newton esperava dar, com o uso das fluxes e dos fluentes, mais
consistncia ao seu mtodo infinitesimal, porm, no conseguiu justificar
satisfatoriamente o desaparecimento, em operaes com momentos dos
fluentes, de certas quantidades ou incrementos, tacitamente considerados
desprezveis.
Independentemente de Newton, em 1684, Gottfried Wilhelm Leibniz
(1646-1716) publica a obra Nova methodus pro maximus et minimis, onde introduz e
sistematiza seu clculo diferencial, com a notao bsica que seria adotada em
definitivo, como, por exemplo, dx para expressar diferencial de x (LEIBNIZ, 1684;
cf. LEIBNIZ, 1983). Em De geometria recondita et analysi indivisibilium atque
infinitorum, Leibniz (1686) sistematiza o clculo integral, estabelecendo a notao
O que Newton denomina de fluents ou flowing quantities, corresponde ao que

denominamos atualmente de funes e, por sua vez, fluxions correspondem s derivadas.
5
38
bsica definitiva que viria a ser adotada, como a notao x, depois modificada
para xdx, da integrao usual (ver tambm COUTURAT, 1903).
Leibniz, em 1676, atravs de Henry Oldenburg, havia se comunicado
com Newton, o que, de acordo com BARON (1969), seria de grande significado
matemtico e se incorporaria s controvrsias envolvendo seus nomes, pela
paternidade do clculo, pelos prximos duzentos e cinquenta anos.
O objetivo especfico da primeira parte deste artigo consiste em
analisar as crticas de George Berkeley (1685-1753), em The analyst, publicado
em 1734, ao mtodo das fluxes e inconsistncia intrnseca noo de
infinitsimo do clculo diferencial e integral introduzido por Newton no final
do sculo XVII.6 Discutimos tambm sucintamente crticas semelhantes de
matemticos franceses, entre 1700 e 1706, ao clculo diferencial introduzido de
forma independente por Leibniz. Todavia, no nos propomos a uma discusso
exaustiva sobre o desenvolvimento e sobre os tratamentos dos fundamentos do
clculo nos sculos XVIII e XIX.
Procuramos mostrar que as crticas de Berkeley no eram de todo
infundadas, pois foram necessrios quase duzentos anos at que Karl
Weierstrass (1815-1897), com a aritmetizao da anlise matemtica, viesse a
introduzir a definio rigorosa de limite do clculo diferencial e integral
contemporneo, tendo fornecido uma soluo para o problema dos
infinitsimos. Apesar de serem citados alguns autores importantes para o
desenvolvimento do clculo, tambm no nos propomos a uma anlise de suas
obras.
Duas outras teorias para a anlise matemtica, com abordagens
distintas para a soluo da inconsistncia inerente noo de infinitsimo de
Newton e Leibniz, so ainda mencionadas, de modo bastante geral: a anlise
no-standard de Abraham Robinson (1918-1974), introduzida em 1961, com a
utilizao da teoria de modelos; e o clculo diferencial paraconsistente introduzido
por Newton da Costa em 2000, construdo sobre uma lgica paraconsistente e
uma teoria de conjuntos paraconsistente, e desenvolvido recentemente por
Carvalho & DOttaviano. A anlise no-standard de Robinson estende, sob certo
ponto de vista, a anlise matemtica clssica; e o clculo diferencial
As crticas feitas por Berkeley so dirigidas prtica matemtica de sua poca, seja dos
matemticos conterrneos ou dos matemticos do continente. Todavia, o alvo
principal de Berkeley so aqueles matemticos infiis, discpulos de Newton.
6
39
paraconsistente de da Costa estende, tambm sob certo ponto de vista, a anlise

clssica e a anlise no-standard. Devido complexidade formal de tais teorias,
torna-se invivel, neste artigo, em face de seus objetivos, uma exposio
detalhada de seus contedos.
Observamos ainda que foge do escopo deste artigo a apresentao de
uma histria do clculo diferencial e integral, tendo em vista a abundante
literatura sobre o tema.
A primeira parte do artigo utiliza como referncias relevantes WISDOM
(1953) e CANTOR (1984). Indicamos tambm CAJORI (1919), WISDOM (1939,
1941, 1942), GRATTAN-GUINNESS (1969) e JESSEPH (1993). Para a segunda
seo, utilizamos CARVALHO (2004), CARVALHO & DOTTAVIANO (2005, 2006)
e DOTTAVIANO & CARVALHO (2005).
2. A crtica de Berkeley, em The analyst, ao clculo diferencial de
Newton
As investigaes de Berkeley em filosofia da matemtica comearam
em seus dois notebooks, conhecidos como Philosophical commentaries (assim
chamados pelo editor de BERKELEY, 1944), especialmente no Notebook B, cada
um contendo aproximadamente quatrocentas notas sobre tpicos filosficos, e
em Of infinites (1707-8). Berkeley, ainda muito jovem, faz diversas observaes
crticas sobre a matemtica. Os Philosophical commentaries (BERKELEY, 1944)
foram escritos em 1707-8, antecipando suas doutrinas de An essay towards a new
theory of vision (1709) e A treatise concerning the principles of human knowledge (1710).
Em An essay towards a new theory of vision, BERKELEY (1709) desenvolve
cuidadosos comentrios sobre as relaes entre geometria e a percepo visual
humana. No Treatise, um dos mais importantes trabalhos filosficos de
Berkeley, so discutidas questes relativas a ideias abstratas e linguagem;
natureza da aritmtica e nmeros inteiros finitos; extenso espacial e
divisibilidade infinita. Esses temas reaparecero em sculos posteriores, nos
trabalhos de grandes matemticos, tais como Bernard Bolzano (1781-1848),
Bernhard Riemann (1826-1866) e Felix Klein (1849-1925).
Dentre outras obras que devem ser citadas, relacionadas com suas
crticas ao clculo diferencial e integral introduzido por Newton, mencionamos
40
De motu sive de motus principio & natura, et de causa communicationis motuum (1721) e
Alciphron, or the minute philosopher (1732).
As reflexes filosficas de Berkeley levaram-no a criticar
profundamente a prtica matemtica contempornea. As questes matemticas
discutidas por Berkeley, em anlise, geometria e lgebra, esto interrelacionadas
em sua obra com as investigaes mais gerais concernentes verdade
matemtica, ao rigor de demonstraes, aplicabilidade da matemtica ao
mundo emprico e abrangncia e aos limites do conhecimento matemtico.
Essas mesmas questes viriam a dominar a pesquisa matemtica durante o
sculo XIX.
Desde os Philosophical commentaries, mais de vinte e cinco anos foram
necessrios para o amadurecimento de suas crticas, em especial as relativas ao
clculo diferencial introduzido por Newton em 1687, at a publicao de The
analyst 7 (BERKELEY, 1734): mesmo no sendo a nica obra de Berkeley que
discute as inconsistncias do mtodo de Newton, a mais citada na literatura.
De todas as crticas metodologia do clculo diferencial e integral,
escritas no sculo XVIII, The analyst a mais penetrante e bem fundamentada.
Apesar da polmica ser virtualmente ignorada pela maior parte dos
matemticos em sua prtica, esta obra, com suas crticas filosoficamente
motivadas, vislumbra e antecipa a pesquisa fundacional do sculo XIX.
Sua crtica se baseia no apenas nos conceitos centrais do clculo
infinitesimal, mas tambm na questo mais geral da legitimidade do infinito atual
em matemtica, questo j presente em seu Of infinites (escrito em 1707-08;
BERKELEY, 1901) e discutida posteriormente sob distintos aspectos por
Leopold Kronecker (1823-1891), Georg Cantor (1845-1918), David Hilbert
(1862-1943), Luitzen Brouwer (1881-1966) e Henri Poincar (1854-1912), entre
outros.
Ttulo original: The analyst; or a discourse addressed to an infidel mathematician. Wherein it is

examined whether the object, principles, and inferences of the modern analysis are more distinctly
conceived, or more evidently deduced, than religious mysteries and points of faith. Em portugus: O
analista; ou um discurso dirigido a um matemtico infiel. Onde se examina se o objeto,
os princpios e as inferncias da anlise moderna so mais distintamente concebidos ou
mais obviamente deduzidos do que os mistrios religiosos e as questes de f. Ver a
resenha crtica de CALAZANS (2010) que precede a traduo de BERKELEY (1734).
7
41
The analyst contm as ltimas contribuies substanciais de Berkeley

filosofia, mas segundo Wisdom, apesar de historiadores da matemtica
reconhecerem o valor desse trabalho, os filsofos em geral parecem ter
interpretado que Berkeley simplesmente se envolvera em um processo de
disputa com Isaac Newton (WISDOM, 1953).8
Berkeley ataca fortemente a lgica do mtodo de fluxes, ou clculo
infinitesimal, argumentando que o infinitsimo de Newton era
autocontraditrio: o infinitsimo era um zero-incremento, uma quantidade
finita de nenhum tamanho, tratada por Newton, em um estgio inicial, como
grandeza finita e, em estgio posterior, como zero, de acordo com a
convenincia; seu efeito era mantido, mesmo depois que ele se esvaa.
No mtodo das fluxes de Newton, as quantidades infinitesimais so
tratadas cinematicamente, de tal modo que as variaes infinitesimais da
varivel tempo tornam-se parte do processo que gera magnitudes geomtricas.
As quantidades variveis x so chamadas fluentes e o conceito de derivada
obtido a partir da noo de fluxo (denotada por x ): x a fluxo do fluente
x, x a fluxo do fluente x , etc.; inversamente, o fluente do qual x a
fluxo.9 O momento de um fluente x definido como o acrscimo ocorrido em x
em um perodo indefinidamente pequeno (0) de tempo, denotado por 0 (ou
0 ).10 As fluxes dos fluentes correspondem s velocidades, s taxas nas quais
cada fluente varia num intervalo de tempo.
preciso observar que, em The analyst, o nome de Newton nunca explicitamente
citado.
8
9Agora
aquelas Quantidades que considero como aumentando gradualmente e

indefinidamente, chamarei a partir de agora de Fluentes [Fluents], ou Quantidades Fluentes
[Flowing Quantities], e represent-los-ei pelas Letras finais do Alfabeto , , e ;
distingui-los-ei de outras Quantidades, que nas Equaes so consideradas conhecidas e
determinadas, e que portanto so representadas pelas Letras iniciais a, b, c, &c. E as
Velocidades pelas quais cada Fluente aumentado pelo Movimento gerador (que posso
chamar Fluxes [Fluxions], ou simplesmente Velocidades ou Celeridades [Celerities]),
representarei pelas mesmas Letras pontuadas como , , e (NEWTON, 1736, p.
20). Para encontrar a Curva, coloque para o Fluente de y, para o Fluente de , &c.
(NEWTON, 1736, p. 263).
Ento multiplicando as Fluxes pelas quantidades evanescentes [vanishing quantities]
o, teremos as vrias quantidades 0, 0, 0, 0, &c. que tambm so evanescentes, e
10
42
Vejamos um exemplo do uso desses conceitos por Newton. Com o

objetivo de relacionar a curva dada por z = axm com a rea por ela delimitada,
Newton obtm, atravs de sries infinitas:
+ 0 = + 1 0 +
( 1) 2
(0)2 +
2!
Sendo z ax m , 0 no nulo, e assumindo que as potncias de 0 maiores

ou iguais a 2 podem ser desprezadas, Newton obtm, operando
convenientemente,
= = 1 .
Entretanto, o desaparecimento das potncias de 0 maiores do que 2

no adequadamente justificado.
Como caso particular do exemplo acima, analisamos o caso em que
m=2 e a=1, ou seja, z x 2 :
0 = 20 +
21
2!
0 (0)2 = 20 + 1 (0)2 ,
= 2 + 0 ,
e, portanto,
= = 2 .
Atravs do mtodo similar dos fluentes e fluxes, em que, de forma

anloga ao caso anterior, h acrscimos evanescentes dos fluentes x, Newton
obtm, a partir de
z 0 y a( x 0 x ) m ,
proporcionais s Fluxes respectivamente. Estes portanto podem agora representar os

Momentos contemporneos de , , , &c. (NEWTON, 1736, p. 253). Apesar de
estabelecer a notao 0, Newton utiliza em boa parte dos casos, a notao 0 .
43
o resultado
y amx m1 x .
No caso particular em que z x 2 , Newton obtm:

z 0 y ( x 0 x ) 2
e, portanto,
y 2 xx . 11
Em The analyst, Berkeley chama a ateno sobre a inconsistncia do

mtodo de fluxes, intrnseca noo de infinitsimo, de duas formas distintas,
que correspondem, de acordo com WISDOM (1953), ao sumo da lucidez
uma relativa fluxo de uma funo potncia e, a outra, de um produto de
funes. Em sua crtica, Berkeley trabalha com a fluxo da funo z ax m ,
obtida por Newton.
Conforme desenvolvido acima, Newton obtm:
z 0 y ax m amx m1 0 x
am(m 1) m2
x (0 x) 2 ...
2!
De acordo com Berkeley, at este ponto, o momento 0x suposto como

sendo algo, uma grandeza. Mas o prximo passo de Newton fazer com que
0 se torne zero, a partir da terceira parcela da srie infinita, de modo a produzir a
fluxo:
y amx m1 .
Na notao introduzida por Leibniz, adotada na literatura contempornea, esse
resultado corresponde a: = 1 , de onde, determinando-se a razo
entre e , obtm-se: = 1 . No caso particular em que = 2 ,
temos: = 2.
11
44
Nesse sentido, Berkeley afirma que introduzida, na considerao do

0 como zero, uma suposio contrria primeira. Em outras palavras, todo
incremento de x (0 agora nada!) passa a no existir mais, sem qualquer
justificativa adequada. A concluso de Berkeley , ipso facto, a seguinte: no pode
ser vlido o resultado y amx m1 , porque a ele Newton chega tendo suposto
inicialmente que 0 era alguma coisa.
Berkeley rejeita as fluxes, como fantasmas de quantidades de
partida, e isso corresponde, em verdade, a um respeitvel criticismo lgico. Ele
no reconhece na intuio de Newton uma noo matemtica significativa,
capaz de assentar as bases de uma teoria satisfatria de limites e de derivadas.
Berkeley chama a ateno para o mago do problema da criao e dos
trabalhos de Newton e Leibniz. O erro por ele apontado de muito interesse, e
no simples justific-lo.
Quanto ao mtodo para a obteno da fluxo de um produto de
funes, isto , da funo
h(x) = (fg) (x),
com
h f ( x) g g ( x) f ,
Berkeley mostra que qualquer nmero de resultados distintos poderia ser

obtido, o que no desenvolvemos aqui.
A controvrsia Berkeley versus Newton, em torno da lgica do mtodo de
fluxes, adquiriu tamanha magnitude que alguns importantes matemticos se
sentiram forados a se posicionar de um ou de outro lado. Dentre aqueles que se
manifestaram a favor de Berkeley podemos destacar Colin MacLaurin (16981746) e, a favor de Newton, James Jurin (1684-1750), ento escrevendo sob o
pseudnimo de Philalethes Cantabrigiensis, e Benjamin Robins (1707-1751) (cf.
JURIN, 1734, 1735; ROBINS, 1735).
Berkeley, no mbito dessa controvrsia, perguntava a si mesmo como o
mtodo de fluxes assumindo-o como falso, e em oposio a Newton
podia produzir resultados corretos em geometria. Apresenta, ento, um
45
argumento engenhoso para dar conta disso. Em linhas bem gerais, teramos,
segundo Berkeley, uma compensao de erros ou, mais especificamente: um erro,
introduzido na razo incremental, compensado por um outro erro, na expresso
das propriedades geomtricas em termos de infinitsimos.
Assim, por exemplo, no clculo da subtangente a uma curva em um
dado ponto, aparecem duas quantidades finitas que se cancelam uma outra.
Newton, por sua vez, tratara essas quantidades como infinitsimos, fazendo-as
desaparecer. Mas, na concepo de Berkeley, isso era ilegtimo, uma vez que
duas quantidades que deveriam ser canceladas estavam sendo, ao contrrio,
simplesmente ignoradas por Newton. interessante observar que essa
interpretao de Berkeley foi aceita por matemticos do porte de Joseph Louis
Lagrange (1736-1813) e Lazare Nicolas Carnot (1753-1823) (cf. CARNOT,
1813).
Considerando tudo isso, para Berkeley, com o trabalho de Newton os
fundamentos de geometria estariam destrudos.
Berkeley critica tambm a existncia de infinitesimais de ordens
distintas. Dada uma linha infinitamente pequena, existiria uma linha
infinitamente menor que ela? Por exemplo, consideremos o seguinte
argumento: se um infinitsimo, ento menor que qualquer grandeza; mas
como /2 tambm um infinitsimo, temos < /2 ou /2 < ?
J em 1710, em seu A treatise concerning the principles of human knowledge,
Berkeley havia estendido suas crticas a ideias abstratas em geral, de modo a
incluir certos conceitos de matemtica. Nesse sentido, rejeita a noo de linhas
infinitamente divisveis e crtica a doutrina dos infinitsimos, como absurda,
tendo retomado esses comentrios em The analyst.
Enquanto as passagens matemticas no Treatise dizem respeito
percepo e existncia do infinitamente pequeno, The analyst menos
direcionado a essa questo que ao exame das incoerncias e inconsistncias do
clculo diferencial. Suas observaes sobre o infinitamente pequeno e os
infinitsimos so recorrentes e muito repetidas, como por exemplo, na citao a
seguir:
E ainda no calculus differentialis, cujo Mtodo serve para todas as mesmas
Intenses e Fins que os das Fluxes, nossos Analistas modernos no
esto satisfeitos em considerar apenas as Diferenas de Quantidades
finitas: eles tambm consideram as Diferenas dessas Diferenas, e as
Diferenas das Diferenas das primeiras Diferenas. E assim
46

continuadamente ad infinitum. Isto , eles consideram Quantidades
infinitamente menores que a menor Quantidade discernvel; e outras
infinitamente menores que aquelas infinitamente pequenas; e ainda
outras infinitamente menores que as infinitesimais precedentes, e assim
continuadamente sem fim ou limite. De tal forma que ns devemos
admitir uma sucesso infinita de infinitsimos, cada um infinitamente
menor que o anterior, e infinitamente maior que o seguinte. Como
existem primeira, segunda, terceira, quarta, quinta, etc. Fluxes, assim
existem Diferenas, primeira, segunda, terceira, quarta, quinta, etc. em
uma Progresso infinita em direo a nada, do que voc sempre se
aproxima e nunca chega. E (o que mais estranho) apesar de que voc
levaria Milhes de Milhes para a menor Quantidade dada, ela nunca
ser a maior. Pois este um dos modestos postulata de nossos
Matemticos modernos, e uma pedra-chave ou Fundamento de suas
Especulaes (BERKELEY, 1734, VI).
Em 1862, Sir William Rowan Hamilton (1805-1865) escreve a

Augustus de Morgan (1806-1871), sugerindo que Berkeley tinha razo e que,
alm disso, o procedimento de Newton envolvia artifcios e era sofstico.12
O filsofo Geoffrey Cantor observa que The analyst no deve ser
interpretado apenas como uma mera controvrsia paroquial com Newton, para
tanto sendo necessrio entender como a matemtica era concebida na primeira
metade do sculo XVIII, perodo em que se considerava que a matemtica
deveria constituir o modelo do discurso racional (CANTOR, 1984). Sob esse
enfoque, Berkeley procura mostrar que o matemtico, ao aceitar o mtodo das
fluxes de Newton, longe de atuar como um argumentador competente
empregava argumentos que envolviam inconsistncias locais.
Observe-se, entretanto, que a anlise de Berkeley no fazia referncia
apenas matemtica, ou mesmo filosofia da matemtica, mas tambm
filosofia. Berkeley procura examinar se o objetivo, princpios e inferncias do
clculo de Newton so concebidos mais distintamente, ou dedutveis com mais
[...] e que muito difcil entender a lgica pela qual Newton se prope a provar que
o momentum (como ele o chama) de um retngulo (ou produto) AB igual a aB + bA, se
os momenta dos lados (ou fatores) A e B forem denotados por a e b. Seu modo de
eliminar ab pareceu-me h muito tempo (devo confessar) como envolvendo tanto
artifcio que mereceria ser chamado de sofstico; porm, no gostaria de dizer tanto
publicamente (Hamilton, 1862, apud CAJORI, 1919, p. 91-2).
12
47
evidncia e rigor, do que os mistrios religiosos e aspectos da f. Para Cantor,

The analyst contm as reaes mais elaboradas de Berkeley ao desmo e
racionalidade contemporneos (CANTOR, 1984).
Ao lado de John Locke (1632-1704) e David Hume (1711-1776),
Berkeley um dos componentes da santssima trindade dos filsofos
empiristas britnicos, apesar de, doutrinariamente, opor-se aos dois.
Podemos considerar que o Treatise, Alciphron e The analyst, como outros
de seus trabalhos, apontam para uma oposio crescente atividade ento
caracterizada como free thinking, ou livre pensamento, doutrina que defendia a
supremacia da razo e sua habilidade para lanar luz sobre todos os mbitos da
realidade. Por exemplo, a teoria da mente e da linguagem de Locke, em An essay
concerning human understanding (1824 [1689]), consistia na tentativa de eliminao
de todo mistrio e obscuridade da filosofia, da cincia e da teologia.
Berkeley, que advogava a favor da razo, mas reconhecia suas
limitaes, estava plenamente comprometido com o ponto de vista de que
mistrios constituam uma parte essencial da teologia crist e serviam a um
propsito moral enquanto a razo devia acompanhar e justificar a exegese da
Bblia, alguns aspectos da Bblia no eram susceptveis razo, mas, antes,
requeriam o exerccio da f.
A ansiedade de Berkeley em relao ao crescimento do desmo e seus
efeitos, da falta de f e do atesmo, atingira, por assim dizer, um pico em 1730.
Em 1731, ao retornar da Amrica, Berkeley estava firmemente decidido a
combater o inimigo aqueles que no aceitavam, em geral, as doutrinas
teolgicas, bem como no acatavam o sistema de moralidade social e a
autoridade poltica.
A controvrsia teolgica, social, intelectual e poltica sob a influncia
do free thinking produziu um contexto apropriado para a sua incluso e discusso
no The analyst, interpretada como um ataque ao atesmo de Edmond Halley
(1656-1742) e ao grupo de matemticos sem religio. BERKELEY (1735, III)
observa: [...] bem sabido que diversas pessoas que zombam da F e dos
Mistrios na Religio admitem a doutrina das Fluxes como verdadeira e certa.
Berkeley argumenta que certos termos e smbolos do clculo diferencial
so vazios, promovendo uma escurido capaz de gerar confuso. Cita
termos abstratos como gravidade, razes de nmeros negativos e
48
infinitsimos, com a inteno de mostrar que a matemtica era no menos

assolada por disputas sobre termos, do que o era a Divindade.13
Publicado The analyst, saem em defesa de Newton diversos
matemticos, entre eles, como j mencionado, Jurin, para quem BERKELEY
(1735, XIII) escreve: Eu nunca falei dele [Newton] como voc [...]. A mesma
adorao que voc dedica a ele, eu dedico apenas verdade.
Para Berkeley, o procedimento adotado por Newton ao postular
inicialmente que o incremento de uma quantidade fluente finito e, a seguir,
poucas linhas depois, igual-lo a zero, corresponde mais inconsistente maneira
de argumentar; e, como tal, no seria aceita, pelos matemticos, num argumento
relativo Divindade. Berkeley continua, ento, afirmando que mistrios
portanto existem, tanto nas Escrituras como no clculo diferencial de Newton.
Sugere, ademais, que a obscuridade do clculo , num certo sentido, mais
inaceitvel que os mistrios da religio, enunciando duas propores e uma
pergunta:
Questes acima da razo correspondem a mistrios da religio.
Questes contrrias razo correspondem a inconsistncias lgicas
do clculo diferencial.
Por que, ento, no aceitar questes acima da razo e aceitar
questes contrrias razo?
WISDOM (1953) considera o criticismo de Berkeley, apesar de
puramente destrutivo, um dos mais relevantes, relativamente ao clculo
diferencial. Como referncia para o estudo da filosofia da matemtica de
Berkeley, indicamos JESSEPH (1993), e para a discusso do fundamento
matemtico, GRATTAN-GUINNESS (1969).
Convm recordar que Girolamo Cardano (1501-76), em sua clebre obra Ars Magna,
afirmou sobre o uso de razes de nmeros negativos: [...] mas porque tal resduo
negativo, por isso imaginars 15 [...] deixando de lado as torturas mentais, o produto
de 5 + 15 e 5 15 25 (15), que +15, portanto este produto 40. [...]
Isso verdadeiramente sofstico [...] (CARDANO, 1968 [1545], p. 219-20). Apesar de
parecer absurdo, o uso de razes negativas era profcuo, logo foi assumido sem maiores
problemas.
13
49
3. Sobre o desenvolvimento do clculo

Apesar das crticas, os trabalhos de Newton e Leibniz, em especial os
de Leibniz, so muito divulgados. Os matemticos suos, irmos Jacques
Bernoulli (1654-1705) e Jean Bernoulli (1667-1748), que mantiveram assdua
correspondncia com Leibniz, so seus primeiros divulgadores (cf. BERNOULLI,
1744).
Jean Bernoulli foi professor do Marqus Guillaume F.A. de lHospital
(1661-1704, grafia francesa moderna: lHpital), que publica, em 1696, o
primeiro livro sobre o clculo infinitesimal Analyse des infiniment petits pour
lintelligence des lignes courbes (DE LHOSPITAL, 1696).
O livro do Marqus de lHospital apresenta o melhor tratamento, at
ento, para o carter inconsistente das quantidades infinitesimais, o que se pode
constatar na axiomatizao utilizada, da qual apresentamos a seguir algumas
definies e postulados.
Definies:
(i) Quantidades variveis so aquelas que aumentam ou diminuem
continuamente, quantidades constantes so as que permanecem fixas enquanto
as outras variam.
(ii) A poro infinitamente pequena, segundo a qual uma quantidade
varivel continuamente aumenta ou diminui, chamada diferencial.
Postulados:
(i) Pode-se tomar, indiferentemente, qualquer uma de duas quantidades
que diferem entre si por uma quantidade infinitamente pequena.
(ii) Uma linha curva pode ser considerada como uma coleo de
infinitos segmentos, todos de comprimento infinitesimal, ou seja, pode ser
aproximada por uma linha poligonal com quantidade infinita de lados, todos de
comprimento infinitesimal.
Tratando mais adequadamente o problema das inconsistncias do
infinitsimo, o livro de de lHospital esclarece a relao que existe entre a
equao da reta tangente a uma curva dada por y = f (x), num de seus pontos, e
os incrementos infinitesimais considerados. Entretanto, essa formulao
50
tambm no foi suficiente para garantir a aceitao dos infinitsimos como base
segura para o clculo diferencial e integral.
Entre 1700 e 1706, matemticos e filsofos da Academia Real de
Cincias de Paris travaram acirrado debate sobre o clculo diferencial e integral
de Leibniz (e de Newton). Entre os defensores do clculo estavam Pierre
Varignon (1654-1722) e Joseph Saurin (1659-1737); entre os opositores est
Michel Rolle (1652-1719).
Varignon acreditava na existncia real dos infinitsimos, ao que parece,
crendo ser esta tambm a convico de Leibniz. Entretanto, depois de um
perodo de silncio, Leibniz declara na Academia de Paris sua descrena quanto
extenso material dos infinitsimos, considerando-os fices teis (cf.
correspondncia de Leibniz a Des Bosses, apud JESSEPH, 1993, p. 34). Nestas
tambm deveriam ser includas as totalidades infinitas, apenas capazes de
justificar propriedades de objetos com existncia real (cf. PIN, 1987; JOVEN,
1997; CARVALHO, 2004).
Apesar do desgaste dos adeptos de Leibniz, os debates continuam,
entre 1701 e 1706, envolvendo mais diretamente Saurin e Rolle, e s terminam
aps a ao conciliatria de uma comisso especialmente formada pela
Academia para analisar a questo. Rolle e seu grupo saem satisfeitos, por
considerarem que no havia justificativa rigorosa para a existncia dos
infinitsimos. Todavia, como nada chegou a ser apresentado, formalmente, que
justificasse que o mtodo infinitesimal no funcionasse bem na prtica, Leibniz
e seus seguidores no se consideraram derrotados.
JOVEN (1997) apresenta as discusses entre Rolle e Varignon na
Academia Real de Cincias de Paris, entre 1700 e 1701, e as respostas de
Leibniz a crticas sobre o que se considerava falta de rigor e novidade no trato
com o infinito e com os infinitsimos e suas distintas ordens.
No mago das discusses e disputas envolvendo o nascente clculo
diferencial e integral, importante salientar que, dentre as diferenas
fundamentais entre os trabalhos de Leibniz e Newton, destaca-se o estatuto das
grandezas infinitesimais: por um lado, os infinitsimos ou diferenciais de
Leibniz esto fortemente associados lgica e metafsica; os infinitsimos de
Newton, por outro, relacionam-se mais fortemente com a fsica e com os
fenmenos naturais, sendo que Newton utiliza os incrementos infinitesimais
apelando para propriedades da dinmica, tendo ele mesmo declarado que seu
mtodo era mais natural e geomtrico que o de Leibniz.
51
Leibniz, nas verses iniciais de seu clculo, admitiu indivisveis para

caracterizar as ordens de grandezas no-finitas (cf. LEIBNIZ, 1686). Para
Leibniz, as variveis x percorrem uma sequncia discreta de valores, muito
prximos, e os diferenciais dx so as diferenas entre pares contguos de
variveis, podendo assumir valores arbitrariamente pequenos, que podem ser
eventualmente desconsiderados, sem prejuzo do resultado a ser obtido.
Newton no empregou esses termos. Em seus primeiros trabalhos,
admite quantidades infinitamente pequenas, possivelmente como incrementos
infinitesimais de quantidades finitas que variam no tempo: os momentos das
quantidades fluentes correspondem s quantidades infinitesimais, os acrscimos
infinitamente pequenos pelos quais aquelas quantidades crescem durante cada
intervalo de tempo infinitamente pequeno (NEWTON, 1967-81, v. III, p. 80-1).
Nos Principia, salienta que fundamental que os acrscimos ou decrscimos das
quantidades fluentes sejam compreendidos como limites de quantidades ou de
razes entre quantidades que diminuem infinitamente.
Os debates repercutiram em problemas filosficos mais gerais sobre a
natureza, divindade, mtodos da cincia e limites da razo e da experincia,
rigor das demonstraes e aplicabilidade da matemtica ao mundo emprico.
Porm, o clculo diferencial e integral sobreviveu s crticas e ataques acima
mencionados, tanto na Inglaterra quanto no continente europeu. Restava a
tarefa de consolid-lo como rea da matemtica, com o estabelecimento de
princpios claros e rigorosos que justificassem a existncia e propriedades dos
infinitsimos, sobre os quais o clculo fora edificado por Leibniz e Newton
isso, entretanto, no foi conseguido pelos matemticos no sculo XVIII.
Na Inglaterra, em particular devido querela envolvendo a tentativa
dos adeptos de Newton de atribuir a Leibniz plgio em relao aos trabalhos de
Newton, o desenvolvimento do clculo diferencial foi pouco significativo, se
comparado ao da Europa Continental.
Jean le Rond dAlembert (1717-1783) relaciona as noes de limite e de
diferencial, evitando o apelo s noes de infinto e infinitesimal (cf. PATY,
2005). Augustin-Louis Cauchy (1789-1857), baseando-se na nascente teoria de
limites, procura solucionar a inconsistncia inerente ao conceito de infinitsimo,
porm tambm sem sucesso; Cauchy trata os infinitsimos no mais como
quantidades fixas, mas sim como variveis tendendo a um limite, a zero,
introduzindo importantes resultados relativos continuidade e convergncia de
funes, sries, diferenciao e integrao. A teoria de limites de Cauchy
52
constitui o fundamento para a definio rigorosa de continuidade,

convergncia, derivada e integral, sendo Cauchy considerado o precursor do
clculo diferencial e integral contemporneo (cf. CAUCHY, 1897 [1821], 1899
[1826-29]). Convm, entretanto, observar que sua teoria de limites baseada em
sries numricas, com motivaes bastante distintas das noes intuitivas de
limite de Newton, eminentemente geomtricas.
Grandes matemticos contriburam significativamente para a
construo, fundamentao e consolidao do clculo diferencial e integral,
inclusive com base na teoria de limites, entre eles: Leonhard Euler (1707-1783),
Carl Friedrich Gauss (1777-1855), George Boole (1815-1864), Julius W.R.
Dedekind (1831-1916), bem como os j mencionados dAlembert, Bolzano, De
Morgan, Kronecker, Riemann, Cantor e Hilbert.
Porm, somente quase duzentos anos depois dos trabalhos de Leibniz
e Newton que Weierstrass (considerado o pai da anlise matemtica
contempornea), por intermdio de sua aritmetizao da anlise matemtica, j
desenvolvida no sculo XVIII, soluciona questes remanescentes dos trabalhos
de Cauchy e a questo conceitual envolvendo a inconsistncia da noo de
infinitsimo, com sua definio rigorosa de limite, atravs dos s e s (psilons
e deltas), e as correspondentes definies de continuidade, diferenciabilidade e
outras noes afins. A definio de Weierstrass de limite de uma funo real de
varivel real y = f(x), quando x tende a um nmero real a, o que denotamos por
lim f ( x) b , de fundamental relevncia na histria da anlise matemtica.
x a
Tem-se lim f ( x) b se, e somente se, para toda vizinhana de raio

x a
(infinitsimo) de b existe uma vizinhana de raio (infinitsimo) de a, tal que,

para todo x pertencente vizinhana de raio de a, f(x) pertence vizinhana
de raio de b.14
Em smbolos:
lim f ( x) b ( 0) ( 0) ((x) (0 x a f ( x) b ))
x a
No se deve confundir o conceito de vizinhana com o conceito de infinitesimal.

O primeiro significa o conjunto de nmeros reais x, distintos de b (ou de a),
pertencentes a um intervalo real de raio (ou ) positivo, isto , cuja distncia a b (ou a
a) menor do que (ou ).
14
53
A publicao de sua obra s iniciada nos ltimos anos de sua vida,

em 1894. Entre os poucos artigos publicados enquanto era vivo, WEIERSTRASS
(1854) introduz a teoria das funes abelianas. Suas obras completas so editadas
entre 1894 e 1927 (WEIERSTRASS, 1894-1927), com uma reedio em 1967.
4. Sobre a anlise no-standard de Robinson e o clculo diferencial
paraconsistente de da Costa
As novas tcnicas matemticas introduzidas pelo clculo infinitesimal de
Leibniz e Newton, no final do sculo XVII, e o universo conceitual por elas
gerado propiciaram o desenvolvimento de uma nova rea da matemtica, a
anlise matemtica, que passa a caracterizar a matemtica ocidental, com suas
inovadoras noes de limite de funes, continuidade, infinitude, derivada e
integral.
Mencionamos duas outras teorias para a anlise matemtica, com
enfoques distintos para a soluo da inconsistncia inerente noo de
infinitsimo: a anlise no-standard de Robinson e o clculo diferencial
paraconsistente de da Costa.
Tendo em vista que os resultados e discusses acerca da anlise nostandard so bem conhecidos e que as obras de referncia relacionadas so mais
acessveis, aps breves consideraes na seo 4.1, apresentamos maior
detalhamento ao menos conhecido clculo diferencial paraconsistente, na seo
4.2.
4.1. A anlise no-standard de Abraham Robinson
O retorno recente matemtica das questes conceituais relativas aos
infinitsimos ocorre com Abraham Robinson. A anlise no-standard, introduzida
por Robinson, pode ser considerada, sob certo ponto de vista, como uma
extenso ou como uma alternativa anlise matemtica clssica criada por
Leibniz e Newton (cf. ROBINSON, 1996).
Conforme relata Luxemburg, no prefcio de ROBINSON (1996), a anlise
no-standard foi esboada em 1960, tendo suas ideias iniciais sido apresentadas por
54
Robinson, em novembro do mesmo ano, em seminrio realizado na

Universidade de Princeton e, em janeiro de 1961, no encontro anual da Association
for Symbolic Logic, nos Estados Unidos. Em 1961, o artigo Non-standard analysis
(ROBINSON, 1961) publicado nos Proceedings of the Royal Academy of Sciences of
Amsterdam. O livro Non-standard analysis editado em 1966, sendo que, aps
reviso de Robinson em 1973, publicada sua segunda edio em 1974, verso
reeditada em 1996.
A denominao anlise no-standard deve-se, segundo Robinson,
principalmente ao fato de essa teoria envolver modelos no-standard da aritmtica.
A lgica subjacente anlise no-standard uma lgica de ordem superior
(clssica), com uma semntica (estruturas) no-standard (como referncia para a
teoria de modelos, ver CHANG & KEISLER, 1992).
So introduzidas por Robinson, na construo de sua anlise, extenses
do conjunto R dos nmeros reais e do conjunto N dos nmeros naturais,
denotadas por *R e *N, respectivamente, e denominadas conjuntos dos nmeros
hiper-reais e conjunto dos nmeros hipernaturais (ou hiperinteiros positivos). Pode-se
considerar que a anlise se fundamenta no fato de que corpos ordenados, que so
modelos no-standard da teoria dos nmeros reais, podem ser matematicamente
interpretados como extenses no-arquimedianas do corpo dos reais, que
externamente contm elementos que se comportam como nmeros
infinitesimais.
ROBINSON & ZAKON (1967) e STROYAN & LUXEMBURG (1976)
introduzem a anlise no-standard de Robinson de forma mais compreensvel,
utilizando teoria de conjuntos e teoria de modelos. De acordo com STROYAN &
LUXEMBURG (1976), o tratamento dado por Robinson s quantidades
infinitesimais reflete, de uma maneira precisa, as ideias originais de Leibniz.
Por ser construda sobre uma extenso do conjunto dos nmeros reais,
que contm infinitesimais e elementos infinitos, que a anlise no-standard pode
ser considerada como uma extenso da anlise clssica.
PIN (1987) analisa as crticas histricas ao mtodo das fluxes de
Newton e, especialmente, s ideias de Leibniz, concluindo que a redeno de
Leibniz (e dos infinitsimos) ocorre, de certo modo, com Robinson, em sua
anlise no-standard:
A Anlise no-standard vem outorgar razo intuio de Leibniz, vem
legitimar seu fundamento na aporia e, ao mesmo tempo, redimi-la dela,
vem procurar um modelo em que duas magnitudes que diferem entre si
55
por uma magnitude infinitamente pequena so ao menos no registro,

que interessava a Leibniz equiparveis entre si, sem que isso exclua tal
diferena do prprio conceito de magnitude (PIN, 1987, p. 13).
4.2. O clculo diferencial paraconsistente de Newton da Costa

H tambm, na literatura, reconstrues paraconsistentes do clculo
diferencial e integral, que refletem bem certos aspectos tericos e aplicados do
clculo clssico (cf. MORTENSEN, 1995)15.
A partir dessa outra perspectiva, DA COSTA (2000) prope um clculo
diferencial paraconsistente, como uma teoria inconsistente, porm no-trivial,16
satisfazendo o assim chamado Princpio de lHospital, segundo o qual duas
quantidades distintas, que diferem por no mais do que uma quantidade infinitamente
pequena, podem ser consideradas iguais17.
MORTENSEN (1995, p. 56) assim se manifesta sobre o clculo inconsistente por ele
introduzido: Repetindo um ponto anterior, no se est recomendando o clculo
inconsistente como sendo superior ou mais verdadeiro, apesar de seus elementos
nilpotentes terem algumas das vantagens computacionais da GDS. O objetivo apenas
mostrar que ele existe, que a inconsistncia permite uma quantidade razovel de clculo
sem colapso, e esperanosamente que teorias inconsistentes possam ser de interesse
matemtico.
15
Uma teoria T, cuja linguagem possui um smbolo de negao , dita consistente, se

no existir qualquer frmula A de sua linguagem tal que A e A (negao de A) sejam
ambas teoremas de T; caso contrrio, dizemos que T inconsistente. Uma teoria T
trivial, se toda frmula de sua linguagem teorema de T; caso contrrio, T no-trivial.
Uma lgica paraconsistente, se pode servir de base para teorias inconsistentes, porm no
triviais, que so chamadas teorias paraconsistentes (cf. DOTTAVIANO, 1990; DA COSTA,
KRAUSE & BUENO, 2006). Nas lgicas paraconsistentes, o escopo do Princpio da
(No) Contradio , num certo sentido, restrito. Em uma lgica paraconsistente lato
sensu, no vale a Lei de Pseudo-Scotus ou o Princpio da Exploso, isto , de uma
frmula e sua negao no se deduz, em geral, qualquer frmula.
16
Pede-se que se possam tomar indiferentemente, uma pela outra, duas quantidades
que diferem entre si por no mais que uma quantidade infinitamente pequena: ou (o
que a mesma coisa) que uma quantidade que s aumentada ou diminuda por uma
17
56
As hierarquias de clculos lgicos para o estudo de teorias

inconsistentes e no-triviais, criadas por da Costa em 1963 as hierarquias
Cn , Cn , Dn , NFn ,1 n , de clculos proposicionais, clculos de predicados de
primeira ordem com igualdade, clculos de descries e teorias de conjuntos
paraconsistentes, respectivamente , so bastante conhecidas e tm sido
estudadas por discpulos e colaboradores brasileiros e de diversos outros pases
(cf. DA COSTA, 1974, 1993; DOTTAVIANO, 1990; DA COSTA, KRAUSE &
BUENO, 2007).
Motivado pela teoria de conjuntos clssica CHU, introduzida em
CHURCH (1974), DA COSTA (1986) introduz uma nova hierarquia de teorias de
conjuntos CHU n , 1 n , tambm inconsistentes e aparentemente notriviais, cujos clculos de predicados subjacentes so os sistemas
correspondentes C n , 1 n , de da Costa (cf. DA COSTA, BZIAU & BUENO,
1998; CARVALHO, 2004).
Zermelo props, em 1908, seu sistema de axiomas para a teoria de
conjuntos de acordo com a concepo axiomtica de Hilbert, com a introduo
de restries no Axioma (esquema) da Separao (de Cantor) (cf. ZERMELO,
1908). Nas teorias paraconsistentes de conjuntos procura-se, em geral, eliminar,
parcial ou totalmente, as restries impostas a esse axioma.
Aps uma pr-publicao de 1996, DA COSTA (2000) introduz um
clculo diferencial paraconsistente, cujo clculo de predicados e teoria de
conjuntos subjacentes so, respectivamente, C1 e CHU1.
A linguagem da teoria clssica de conjuntos CHU, de CHURCH (1974),
a mesma da teoria de conjuntos Zermelo-Fraenkel (ZF), acrescida do smbolo
do descritor (). Os axiomas de CHU so introduzidos a partir dos axiomas de
ZF e, diferentemente da teoria ZF, CHU possui conjunto universal. Um
resultado importante a equiconsistncia de CHU relativamente a ZF.
TEOREMA (CHURCH, 1974): A teoria de conjuntos CHU
consistente se, e somente se, a teoria ZF consistente.
outra quantidade infinitamente menor que ela possa ser considerada como
permanecendo a mesma (DE LHOSPITAL, 1696, p. 2-3).
57
Alm disso, falando sem rigor, o que se pode fazer em ZF, pode ser
feito em CHU (cf. DA COSTA, BZIAU & BUENO, 1998).
A teoria paraconsistente de conjuntos CHU1, aparentemente notrivial, foi introduzida por da Costa (1986) a partir da teoria CHU (denotada
por CHU0, na hierarquia CHUn, 0 n , de da Costa). A lgica subjacente a
CHU1 o clculo paraconsistente de predicados com igualdade C1 de da
Costa. Os axiomas de CHU1 so os mesmos de CHU0, nos quais a negao
clssica substituda pela negao forte * da linguagem de C1 ,
acrescidos de um axioma que assegura a existncia do complemento fraco de
conjuntos e um axioma que assegura a existncia das relaes de Russell.
A teoria CHU1 inconsistente, sendo que DA COSTA (1986) prova o
seguinte resultado, bastante relevante.
TEOREMA: CHU0 (CHU) consistente se, e somente se, CHU1
no-trivial.
O sistema CHU1 forte, em certo sentido contm CHU0 e,
portanto, tambm ZF. As teorias dos ordinais e dos cardinais podem ser
desenvolvidas em CHU1.
O Axioma da Escolha independente dos demais axiomas de CHU1, o
que possibilita uma boa adequao desse sistema como base para o
desenvolvimento de teorias matemticas.
Baseado na teoria clssica de conjuntos Zermelo-Fraenkel, DA COSTA
(2000) introduz o anel dos nmeros hiper-reais, denotado por A, e o quase-anel dos
nmeros hiper-reais estendidos A*. As estruturas algbricas (clssicas) A e A* so
extenses do corpo R dos nmeros reais standard; e os elementos de A e A* so
chamados, respectivamente, de nmeros hiper-reais e nmeros hiper-reais generalizados.
A partir de A*, da Costa prope a construo do clculo diferencial paraconsistente C,
cuja linguagem a linguagem L= do sistema paraconsistente C1 , estendida
linguagem de CHU 1 , na qual lidamos com os elementos de A*.
A seguir, apresentamos, muito sucintamente, os conceitos gerais que
fundamentam a introduo do clculo diferencial paraconsistente. Alm de
fugir ao objetivo central deste artigo, uma exposio mais detalhada, mesmo
dos resultados iniciais obtidos, traria um grau desnecessrio de complexidade
tcnica e no estaria no escopo do texto (cf. CARVALHO, 2004).
58
4.2.1. O anel A e o quase-anel A* dos nmeros hiper-reais

Tendo como teoria de conjuntos subjacente a teoria clssica ZermeloFraenkel (ZF) (cf. HRBACEK & YECH, 1999), portanto no domnio da
matemtica tradicional, o anel R dos nmeros reais estendido ao hiperanel A
dos nmeros reais estendidos, atravs da introduo das variveis infinitesimais
e dos infinitsimos.
Fixemos um intervalo real I e o ponto a, pertencente ao interior de I.
DEFINIO 4.2.1.1: Uma varivel infinitesimal uma funo real
f : I RR, tal que
lim () = 0.
O conjunto das variveis infinitesimais denotado por V.

DEFINIO 4.2.1.2: O conjunto dos nmeros hiper-reais, denotado por A,
definido por
A =def {r, f : r R f V} .
Os elementos de A, que poderiam ser explicitamente denotados por
A(I, a), so tambm chamados nmeros reais generalizados, ou, simplesmente,
g-reais.
DEFINIO 4.2.1.3: Um infinitsimo um hiper-real da forma 0, f ,
em que f uma varivel infinitesimal.
Observamos que, para todo rR, o conjunto dos hiper-reais da forma
r, f dito mnada de r, o que denotamos por [r]; [0] , portanto, o conjunto de
todos os infinitsimos. Cada rR pode ser identificado com o hiper-real da
forma r, 0, dito um nmero real standard. Como a funo nula f (x) = 0 pode
ser considerada uma varivel infinitesimal, o nmero real 0, identificado com o
hiper-real 0, 0, pode ser considerado um infinitsimo.
A igualdade, ou identidade de dois hiper-reais, definida de forma usual.
59
DEFINIO 4.2.1.4: A adio (+) e a multiplicao () de hiper-reais so

definidas por:
(i) r, f + s, g =def r + s, f + g;
(ii) r, f s, g =def rs, rg + fs + fg.
De acordo com a definio acima, r, f = r, 0 + 0, f , ou
simplesmente r + , em que r denota o hiper-real r, 0 e denota o
infinitsimo 0, f . Ou seja, r, f pode ser visto como
r, f = r + .
O oposto de um hiper-real e a subtrao em A so definidos naturalmente.
TEOREMA 4.2.1.5: A, +, , 0, 1, com as operaes + e acima
definidas, e os elementos 0 e 1 representando, respectivamente, o hiper-real
nulo 0, 0 e, o hiper-real 1, 0, um anel comutativo com unidade.
A estrutura de corpo <R, +, , 0, 1 pode ser vista como um subanel
de A, +, , 0, 1, pela identificao de todo par da forma r, 0 com o nmero
real r.
Os elementos de A do tipo r, f , com r 0 e f (x) r, para todo x,
so inversveis, e seu inverso, denotado por r, f 1 , definido por
, 1 = 1 ,
.
( + )
A diviso de dois hiper-reais s, g e r, f , com r 0, definida por

s, g r, f =def s, g r, f 1.
A relao de ordem <, de R, pode ser estendida a A, da seguinte forma:
r, f < s, g se, e somente se, r < s, ou r = s e f(x) < g(x), xI.
60
Observamos que a relao de ordem < no-linear em A, pois dois hiperreais podem ser no-comparveis entre si.
Uma funo f qualquer, definida em R, pode ser facilmente estendida a
uma hiperfuno f : AA. Dado r A, como r = r, 0 + 0, g, denotando-se
0, g por , temos que f(r) = f (r + ), sendo f, portanto, uma funo de .
DEFINIO 4.2.1.6: Dada uma funo hiper-real f : B AA,
lim f (x) = b se, e somente se, x[r] implica que f (x) [b].
Como consequncia, conceitos bsicos do clculo diferencial elementar

podem ser reformulados nessa linguagem dos infinitsimos, como por exemplo
o conceito de continuidade de funo.
Para a introduo do quase-anel A*, necessitamos de alguns conceitos
introdutrios.
que
DEFINIO 4.2.1.7: Uma varivel infinita uma funo v, v : I R, tal

lim v(x) = .
DEFINIO 4.2.1.8: Um nmero hiper-real infinito, ou simplesmente

um g-real infinito, um par da forma v, 0, em que v uma varivel infinita.
DEFINIO 4.2.1.9: O conjunto dos nmeros hiper-reais estendidos,
denotado por A *, definido por
A* =def {a : a A a um hiper-real infinito}.
Podemos estender as operaes de adio e multiplicao e a relao de
igualdade (identidade) de A a A*, de modo que a nova estrutura A*, +, , 0, 1
conserve algumas das propriedades importantes do hiperanel A, +, , 0, 1.
Entretanto, algumas clusulas da definio de anel no so satisfeitas por essa
61
estrutura, que ser denominada, conforme DA COSTA (1996) e DA COSTA,

BZIAU & BUENO (1998), um quase-anel.
DEFINIO 4.2.1.10: Dado um nmero hiper-real infinito u, 0, seu
inverso, denotado por u, 01, o infinitsimo 0, u1, isto :
u, 0-1 =def 0, u1,
com lim u1 (x) = 0.
1,
Analogamente, sob certas condies, se 0, f um infinitsimo, ento

0 o infinito inverso de 0, f ,
0, f 1 =def f 1, 0,
com lim f (x) = 0 e lim f 1 (x) = u, 0, com u varivel infinita.
O quociente de dois hiper-reais infinitos de A* o resultado da

multiplicao do primeiro pelo inverso do segundo.
A relao de ordem de A, <, estende-se naturalmente a A*. Assim
como A, A* uma estrutura no-arquimediana, pois, dados hiper-reais
positivos a e b quaisquer, com a < b, no podemos garantir a existncia de um
nmero natural standard n, tal que b < na, uma vez que podemos ter b A* A.
4.2.2. O clculo diferencial paraconsistente P
Conceitos e tpicos do clculo clssico podem ser expressos na
linguagem de infinitsimos e infinitos de A*, que constitui, de certa forma, um
modelo de um clculo com infinitsimos e infinitos, o qual pode ser formulado
abstratamente, atravs de axiomatizao.
Da Costa (cf. CARVALHO, 2004) no pretende apenas reformular as
noes clssicas do clculo dentro dessa linguagem de infinitsimos e infinitos,
mas sim desenvolver um clculo diferencial paraconsistente P, a partir de A*,
62
tendo como lgica subjacente o clculo de predicados paraconsistente 1= e

tendo como teoria de conjuntos subjacente a teoria CHU1 de da Costa.
A linguagem L de P a linguagem de 1= , estendida linguagem de CHU1,
com smbolos funcionais, na qual lidamos com os elementos de A*. Para isso,
introduzimos constantes especiais para nomear os indivduos da estrutura A*; o
predicado <; as operaes de A*; e trs espcies de variveis individuais, para
denotarem, respectivamente, hiper-reais finitos (r, s, ...), infinitsimos ( , , ...), e
infinitos (u, v, ...).
Passam a ser chamados, ento, indistintamente hiper-reais de A*, os
indivduos da estrutura de quase anel A* (os nmeros hiper-reais) e os nomes de
indivduos de A* (da linguagem estendida de 1= ).
A definio do predicado de igualdade generalizada fundamental para
a identificao do carter inconsistente da teoria P.
DEFINIO 4.2.2.1: O predicado de igualdade generalizada, ou identidade
generalizada entre termos de L, denotado por , definido por:
t1t2 =df t1 t2 = ,
com t1 e t2 termos da linguagem, infinitsimo e = o predicado primitivo de
igualdade de L (de 1= ).
Alm disso, definimos (t1t2) por
t1 t2 =df t1t2 .
A definio de valorao para L, como uma funo , do conjunto das
frmulas fechadas de L em {0, 1}, satisfaz as clusulas usuais da definio de
valorao paraconsistente (cf. DA COSTA & ALVES, 1977; ARRUDA & DA
COSTA, 1977), acrescidas das seguintes condies:
(i) Para sentenas da forma t1t2,
(t1t2) = 1 se t1 t2 = vlida em A*, com infinitesimal
e
(t1t2) = 0, em caso contrrio;
63
(ii) Para sentenas da forma t1 t2 (isto (t1t2)),

(t1 t2) = 1 se t1t2 (isto , (t1 = t2)) vlida em A*
e
(t1 t2) = 0, em caso contrrio.
A relao de ordem < quase-linear em A *, em relao identidade ,
o que se traduz pela frmula:
(t1<t2) (t2<t1) (t1t2),
para t1 e t2 termos quaisquer.
Observamos que podemos ter t1t2, com t1 e t2 apresentando as partes
reais idnticas e as partes infinitesimais incomparveis.
A definio de valorao acima exibe o carter inconsistente de certas
sentenas do clculo paraconsistente, como o caso de t1t2, no caso da
ocorrncia simultnea de (t1t2) = 1 e ((t1t2) = 1.
Muitos dos resultados conhecidos do clculo diferencial clssico
podem ser estendidos ao hiperanel A e ao quase-anel A*, bem como podem ser
obtidos novos resultados.
DEFINIO 4.2.2.2: Uma funo hiper-real uma funo f, cujo
domnio um subconjunto de A, com valores em A*, isto ,
f : B AA*.
A definio de limite de uma funo hiper-real, quando x tende a um
nmero real standard, a usual, introduzida por Weierstrass.
DEFINIO 4.2.2.3: Dada uma hiper-funo f : B AA*, e
nmeros reais standard r e b:
lim f (x) = b se, e somente se,
(> 0) (> 0) (x) (0 < |x r| < | f (x) b|<) .
64
De acordo com a definio, temos, portanto, que

lim f (x) = b se, e somente se, (x) (xB) ((xr) ( f (x) b)) .
Podemos tambm, na linguagem L, introduzir os conceitos de limite de

uma funo hiper-real nos casos em que x, ou f (x), tendem ao infinito.
CARVALHO (2004) e CARVALHO & DOTTAVIANO (2005, 2006)
estudam e desenvolvem o clculo proposto por da Costa, tendo introduzido
definies generalizadas para os conceitos bsicos e provado verses
generalizadas de importantes teoremas do clculo diferencial e integral clssicos.
Introduzem, entre outras, definies de hiperintervalo, sequncias e
hipersequncias, funes contnuas e paracontnuas, derivada e integral de uma
funo em um dado intervalo.
A derivada de uma funo hiper-real f : AA* em um nmero real
standard r, pode ser definida de forma semelhante definio clssica de
derivada.
DEFINIO 4.2.2.4: A derivada de uma funo hiper-real f : AA*,
em um nmero real standard r, um nmero real standard, denotado por f (r),
tal que:
f (r + ) f (r) = f (r) + ,
em que um infinitsimo arbitrrio, e um infinitsimo que depende de ,
e tem ordem superior de .
De acordo com a definio, D ser o valor da derivada de f em r, se
tivermos que
f (r + ) f (r) D .
Como salienta CARVALHO (2004), essa definio de derivada, atravs
de infinitsimos, contribui para simplificar os procedimentos do clculo
diferencial e integral, ao possibilitar a substituio de operaes com limites por
operaes algbricas, muitas vezes elementares.
65
Entre os resultados demonstrados, citamos generalizaes de regras de

derivao, derivao de funes polinominais, resultados sobre mximos e
mnimos, Teorema de Weierstrass, Teorema de Rolle, Teorema do Valor
Intermedirio, e Teorema do Valor Mdio. O trabalho limitado ao clculo a
uma varivel.
Motivados por ROBINSON & ZAKON (1967) e STROYAN &
LUXEMBURG (1976), CARVALHO & DOTTAVIANO introduzem os conceitos
de superestrutura paraconsistente e de monomorfismo entre superestruturas, e
demonstram um Teorema de Transferncia, que traduz o clculo diferencial
clssico no clculo diferencial paraconsistente de da Costa. Com esse teorema,
demonstrado que todo teorema do clculo clssico, via uma traduo18
adequada, tambm teorema do clculo paraconsistente provado que o
clculo diferencial paraconsistente uma extenso do clculo diferencial clssico e da anlise
no-standard.
O tratamento infinitesimal proposto por da Costa no acarreta
contradies conceituais ou trivialidade, e a reconstruo paraconsistente do
clculo diferencial clssico reflete muito de seus aspectos tericos e aplicados e
das ideias originais de Leibniz e Newton.
5. Consideraes finais
Isaac Newton, ao que parece, trabalhava com uma noo intuitiva de
limite, sendo que a aceitao da tese de Berkeley por parte de Lagrange, Carnot
e MacLaurin, entre outros, e as discusses entre os membros da Academia de
Cincia de Paris no incio do sculo XVIII, indicam o quanto os matemticos
se sentiam confusos e inseguros relativamente ao clculo diferencial e integral
no perodo, em especial, quanto s possveis inconsistncias inerentes noo
de infinitsimo.
Embora a teoria proposta por da Costa seja essencialmente distinta da
anlise no-standard em certos aspectos, no entanto, sua teoria tambm estende
a de Robinson.
O termo traduo utilizado de acordo com o introduzido por DA SILVA,

DOTTAVIANO & SETTE (1999) e FEITOSA & DOTTAVIANO (2001).
18
66
Corroborando as crticas de George Berkeley, em The analyst, os

trabalhos de Robinson e de da Costa evidenciam a importncia de se
estabelecer, em bases lgica e conjuntista rigorosas, a linguagem sobre a qual a
anlise deve ser desenvolvida, a partir de definies rigorosas de infinitsimo e
limite.
Finalizando, observamos que, mesmo no podendo considerar
Berkeley como um grande e criativo matemtico, devemos reconhecer a
coragem e o mrito de sua crtica ao ento nascente clculo diferencial e integral
de Newton e Leibniz, atribuindo-lhe um papel relevante na Histria da
Matemtica e nos Fundamentos da Anlise Matemtica.
Submetido: 02.01.2014; Revisado: 15.09.2014; Aceito: 13.10.2014
Referncias bibliogrficas
ARISTOTLE (1978). Analytica priora. Trad. E.M. Edghill. In: HUTCHINS, R.M.
(org.). Great books of the Western world, vol. 8: Aristotle. Chicago:
Encyclopdia Britannica, p. 23-36. Em portugus: ARISTTELES (2005).
Analticos posteriores. In: . rganon. Trad. E. Bini. So Paulo:
Edipro.
ARRUDA, A.I. & DA COSTA, N.C.A. (1977). Une smantique pour le calcul C1.
Comptes Rendus de lAcadmie des Sciences 284 (srie A): 279-82.
BARON, M.E. (1969). The origins of the infinitesimal calculus. Oxford: Pergamon.
BARROW, I. (1670). Lectiones geometricae. London: John Collins.
BERKELEY, G. (1709). An essay towards a new theory of vision. Dublin: J. Pepyat.
Republicado in (1948-57), v. 1, p. 141-239.
(1710). A treatise concerning the principles of human knowledge. Dublin: J.
Pepyat. Republicado in BERKELEY (1948-57), v. 2, p. 1-113. Em
portugus: Tratado sobre os princpios do conhecimento humano. Trad.
A. Srgio. In: Berkeley, Hume, Coleo Os Pensadores. So Paulo: Abril
Cultural, 1973, p. 7-50.
67
(1721). De motu sive de motus principio & natura, et de causa communicationis

motuum. London: J. Tonson. Em ingls: trad. A.A. Luce, in BERKELEY
(1948-57), v. 4, p. 31-52. Em portugus: De motu: sobre o movimento ou
sobre o princpio, a natureza e a causa da comunicao dos movimentos.
Trad. M. Rodrigues da Silva. Scientiae Studia 4: 115-37, 2006.
(1732). Alciphron, or the minute philosopher. London: J. Tonson. Republicado
in BERKELEY (1948-57), v. 3, p. 1-337.
(1734). The analyst; or a discourse addressed to an infidel mathematician. London:
J. Tonson. Republicado in BERKELEY (1948-57), v. 4, p. 53-102. Verso
online: WILKINS, D.R. (org.) (2002) http://www.maths.tcd.ie/
pub/HistMath/People/Berkeley/Analyst/ Em portugus: O analista: ou
um discurso dirigido a um matemtico infiel. Trad. A. Calazans. Scientiae
Studia 8: 633-76, 2010.
(1735). A defence of free-thinking in mathematics. Dublin: R. Gunne.
Republicado in BERKELEY (1948-57), v. 4, p. 103-41. Verso online:
WILKINS, D.R. (org.) (2002) http://www.maths.tcd.ie/pub/HistMath/
People/Berkeley/Defence/
(1901). Of infinites. Hermathena 9: 182-5. Manuscrito original de 1707-8.
Republicado in BERKELEY (1948-57), v. 4, p. 231-8. Em portugus: Dos
infinitos. Trad. J.R. Siqueira. Trans/Form/Ao 28: 47-51, 2005.
(1944). Philosophical commentaries. Editado por A.A. Luce. London: Th.
Nelson. Manuscrito original de 1707-8. Republicado in BERKELEY (194857), v. 1, p. 1-139. Publicado anteriormente com partes em ordem
diferente por A.C. Fraser (1871), com o nome Commonplace book.
(1948-57). The works of George Berkeley, Bishop of Cloyne. Org. LUCE, A.A.
& JESSOP, T.E. London: Th. Nelson. 9 v.
BERNOULLI, Jakob (Jacques) (1744). Opera. Genve: Cramer & Philibert. 2 v.
BOYER, C.B. (1974). Histria da matemtica. Trad. Elza F. Gomide. So Paulo:
Blcher/EDUSP. Orig. em ingls: 1968.
CAJORI, F. (1919). History of the conceptions of limits and fluxions in Great Britain from
Newton to Woodhouse. Chicago: Open Court.
68
CALAZANS, A. (2010). Um panfleto de Berkeley contra as prticas matemticas

de Newton e de Leibniz. Scientiae Studia 8: 623-32.
CANTOR, G. (1984). Berkeleys The Analyst revisited. Isis 75: 668-83.
CARDANO, G. (1968). Ars magna or the rules of algebra. Trad. T.R. Witmer. New
York: Dover. Orig. em latim : 1545.
CARNOT, L. (1813). Reflxions sur la mtaphysique du calcul infinitsimal. 2a ed. Paris:
Mme. V. Courcier.
CARVALHO, T.F. (2004). Sobre o clculo diferencial paraconsistente de da Costa.
Campinas. Tese de Doutorado em Filosofia, Instituto de Filosofia e
Cincias Humanas, Universidade Estadual de Campinas.
CARVALHO, T.F. & DOTTAVIANO, I.M.L. (2005). Sobre o infinitsimo e o
clculo diferencial paraconsistente de da Costa. Revista Eletrnica
Informao e Cognio 4: 78-102.
(2006). Sobre Leibniz, Newton e infinitsimos: das origens do clculo
diferencial aos fundamentos do clculo diferencial paraconsistente.
Educao Matemtica Pesquisa 8: 13-43.
CAUCHY, A.-L. (1897). Cours danalyse de lcole Royale Polytechnique. Ier. partie:
analyse algbrique. In: . Oeuvres compltes, IIe srie, t. III. Paris:
Gauthier-Villars. Original de 1821.
(1899). Rsum des leons donnes lcole royale polytechnique sur le calcul
infinitesimal; Leons sur le calcul diffrentiel. In: CAUCHY, A.-L. Oeuvres
compltes, IIe srie, t. IV. Paris: Gauthier-Villars. Original de 1826-29.
CAVALIERI, B. (1966). Geometria degli indivisibili di Bonaventura Cavalieri. Org. L.
Lombardo-Radice. Torino: Unione Tipografica Editorice Torinese.
Original de 1635.
CHANG, C.C. & KEISLER, H.J. (1992). Model theory. Studies in Logic and
Foundations of Mathematics, v. 37. 3a ed. Amsterdam: North-Holland.
CHURCH, A. (1974). A formulation of the simple theory of types. Journal of
Symbolic Logic 5: 56-68.
69
COUTURAT, L. (1903) (org.) Opuscules et fragments indits de Leibniz. Paris: F.

Alcan.
DA
COSTA, N.C.A. (1974). On the theory of inconsistent formal systems. Notre

Dame Journal of Formal Logic 15: 497-510.
(1986). Pragmatic probability. Erkenntnis 25: 141-62.

(1993). Sistemas formais inconsistentes. Curitiba: Ed. UFPR.
(2000). Paraconsistent mathematics. In: BATENS, D.; MORTENSEN, C.;
PRIEST, G. & VAN BENDEGEN, J.P. (orgs.). Frontiers in paraconsistent logic.
London: Kings College Publications, p. 165-79.
DA
COSTA, N.C.A. & ALVES, E.H. (1977). A semantical analysis of the calculi
Cn. Notre Dame Journal of Formal Logic 18: 621-30.
DA
COSTA, N.C.A.; BZIAU, J.-Y. & BUENO, O. (1998). Elementos de teoria

paraconsistente de conjuntos. Coleo CLE, v. 23. Campinas: Centro de
Lgica, Epistemologia e Histria da Cincia, Unicamp.
DA COSTA, N.C.A.; KRAUSE, D. & BUENO, O. (2007). Paraconsistent logics and

paraconsistency. In: JACQUETTE, D. (org.). Philosophy of Logic. Handbook
of the Philosophy of Science, v. 5. Amsterdam: Elsevier, p. 791-911.
DA
SILVA, J.J.; DOTTAVIANO, I.M.L. & SETTE, A.M. (1999). Translations

between logics. In: CAICEDO, X. & MONTENEGRO, C.H. (orgs.). Models,
algebras and proofs. Lecture Notes in Pure and Applied Mathematics, v.
203. New York: M. Dekker, p. 435-48.
DE LHOSPITAL,
G.F.A. [grafia francesa moderna: DE LHPITAL] (1696).

Analyse des infiniment petits, pour lintelligence des lignes courbes. Paris:
Imprimerie Royale.
DOTTAVIANO, I.M.L. (1990). On the development of paraconsistent logic and

da Costas work. Journal of Non-Classical Logic 7: 89-152.
DOTTAVIANO, I.M.L. & CARVALHO, T.F. (2005). Da Costas paraconsistent
differential calculus and a transference theorem. In: Proceedings of the 2nd Indian
international conference on artificial intelligence. Pune: IICAI-05, p. 1659-78.
70
EUCLIDES. (2009). Os Elementos. Trad. I. Bicudo. So Paulo: Editora Unesp.

Orig. em grego: c. 300 AEC.
FEITOSA, H.A. & DOTTAVIANO, I.M.L. (2001). Conservative translations.
Annals of Pure and Applied Logic 108: 205-27.
GALILEI, G. (1638). Discorsi e dimostrazioni matematiche intorno a due nuove scienze.
Leiden: Louis Elsevier. Em portugus: Duas novas cincias. Trad. L.
Mariconda & P.R. Mariconda. 2a ed. So Paulo / Rio de Janeiro: Nova
Stella / Istituto Italiano di Cultura / MAST, 1987.
(1890-1909). Edizione nazionale delle opere di Galileo Galilei. Firenze: G.
Barbra.
GRATTAN-GUINNESS, I. (1969). Berkeleys criticism of the calculus as a study
in the theory of limits. Janus 56: 215-27.
HEATH, T.L. (1950). The works of Archimedes. Com o suplemento: The method
of Archimedes. New York: Dover.
HRBACEK, K. & YECH, T. (1999). Introduction to set theory. New York: Marcel
Dekker.
JESSEPH, D.M. (1993). Berkeleys philosophy of mathematics. Chicago: University of
Chicago Press.
JOVEN, F. (1997). Los infinitesimales como ficciones utiles para Leibniz: la
polmica en la Academia de Paris. Theoria (2a poca) 12: 257-79.
JURIN, J. [Philalethes Cantabrigiensis, pseudnimo] (1734). Geometry no friend to
infidelity; or, a defense of Sir Isaac Newton and the British mathematicians, in a
letter to the author of the Analyst. Cambridge: T. Cooper.
(1735). The minute mathematician; or, the free-thinker no just-thinker. London:
T. Cooper.
KEPLER, J. (1615). Nova stereometria doliorum vinariorum. Lincii (Linz): J. Pancvs.
LEIBNIZ, G.W. (1684). Nova methodus pro maximis et minimis. Acta
Eruditorum (Leipzig), Anno MDCLXXXIV, p. 467-73. Trad. para o francs
in LEIBNIZ (1983), e para o ingls in STRUIK (1969), p. 271-80.
71
(1686). De geometria recondita et analysi indivisibilium atque

infinitorum. Acta Eruditorum (Leipzig), Anno MDCLXXXVI, p. 292-300.
Trad. para o francs in LEIBNIZ (1983), e parcial para o ingls in STRUIK
(1969), p. 281-2.
(1983). Oeuvre concernant le calcul infinitsimal. Trad. J. Peyroux. Bordeaux:
A. Blanchard.
LINTZ, R.G. (2007a). Histria da Matemtica, v. 1. Coleo CLE, v. 45. 2a ed.
Campinas: Centro de Lgica, Epistemologia e Histria da Cincia,
Unicamp.
(2007b). Histria da Matemtica, v. 2. Coleo CLE, v. 46. Campinas:
Centro de Lgica, Epistemologia e Histria da Cincia, Unicamp.
LOCKE, J. (1824). An essay concerning human understanding. In: KNALLER, G. (org.).
The works of John Locke. 12a ed. Vols. I e II. London: Rivington. 9 v. Orig.
de 1689. Em portugus: Ensaio sobre o entendimento humano. 2 v. Trad. E.A.
de Sandoval. Lisboa: C. Gulbenkian, 1999.
MORTENSEN, C. (1995). Inconsistent mathematics. Mathematics and its
Applications, v. 312. Dordrecht: Kluwer.
NEWTON, I. (1687). Philosophiae naturalis principia mathematica. London: Royal
Society. 2a ed.: 1713. Em ingls: Mathematical principles of natural philosophy
and his system of the world. Trad. A. Motte. Berkeley: University of
California Press, 1946. Em portugus: Principia: Princpios matemticos de
filosofia natural. 2 v. Livro I: trad. T. Ricci, L.G. Brunet, S.T. Gehring &
M.H.C. Clia. Livros II e III: trad. A.K.T. Assis. So Paulo: Edusp, 2008.
(1704). Opticks. London: Royal Society. Em portugus: ptica. Trad.
A.K.T. Assis. So Paulo: Edusp, 1996.
(1711). De analysi per aequationes numero terminorum infinitas. London:
William Jones. Manuscrito de 1669.
(1736). The method of fluxions and infinite series. Trad. J. Colson. London:
H. Woodfall. Orig. manuscrito em latim: 1671.
(1967-81). The mathematical papers of Isaac Newton. Org. D.T. Whiteside.
Cambridge: Cambridge University Press. 8 v.
72
PATY, M. (2005). O elemento diferencial de tempo e a causalidade fsica na

dinmica de dAlembert. Trad. M.A. Corra-Paty. Discurso 35: 167-216.
PIN, V.G. (1987). Ontologia e histria del calculus (la tarea de Abraham
Robinson). Theoria (2a poca) 2: 97-119.
RASHED, R. (1993-2010). Les mathmatiques infinitsimales du IXe au XIe sicles.
Londres: al-Furqan Islamic Heritage Foundation. 6 v.
ROBINS, B.A. (1735). A discourse concerning the nature and certainty of Sir Isaac
Newtons methods of fluxions and of prime and ultimate ratios. London: W. Innys
& R. Manby.
ROBINSON, A. (1961). Non-standard analysis. Proceedings of the Royal Academy of
Sciences A 64: 432-40.
(1996). Non-standard analysis. Princeton: Princeton University Press.
Orig. 1966.
ROBINSON, A. & ZAKON, E. (1967). A set theoretical characterization of
enlargements. In: LUXEMBURG, W.A.J. (org.). Applications of model theory to
algebra, analysis and probability. New York: Holt, Rinehart & Winston, p.
109-22.
SMITH, D.E. (1958). History of Mathematics, v. II. New York: Dover.
STROYAN, K.D. & LUXEMBURG, W.A.J. (1976). Introduction to the theory of
infinitesimals. New York: Academic Press.
STRUIK, D.J. (org.) (1969). A source book in mathematics (1200-1800). Cambridge
(MA): Harvard University Press.
TORRICELLI, E. (1644). Opera geometrica. Firenze: Amatore Massa & Laurenzo di
Landi.
VAN
HEIJENOORT, J. (org.) (1967). From Frege to Gdel: a source book in

mathematics, 1879-1931. Cambridge (MA): Harvard University Press.
WALLIS, J. (1693). Johannis Wallis opera mathematica. Oxford: E Theatro

Sheldoniano. 3 v.
73
WEIERSTRASS, K.T.Z. (1854). Zur Theorie der Abelschen Functionen. Crelles

Journal (Berlin) 47: 289-306. Republicado in (1894-1927), v. I, p.
133-52.
(1894-1927). Mathematische Werke von Karl Weierstrass. Berlin: Mayer &
Mller.
WISDOM, J.O. (1939). The Analyst controversy: Berkeleys influence on the
development of mathematics. Hermathena 54: 3-29.
(1941). The compensation of errors in the method of fluxions.
Hermathena 57: 49-81.
(1942). The Analyst controversy: Berkeley as a mathematician.
Hermathena 59: 111-28.
(1953). Berkeleys criticism of the infinitesimal. British Journal for the
Philosophy of Science 4: 22-5.
ZERMELO, E. (1967). Untersuchungen ber die Grundlagen der Mengenlehre.
Matematische Annalen 65: 261-81, 1908. Traduo para o ingls em VAN
HEIJENOORT (1967), p. 199-215.

George Berkeley e Os Fundamentos Do Calc

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

George Berkeley e Os Fundamentos Do Calc

Hochgeladen von

Copyright:

Verfügbare Formate

CDD: 192

GEORGE BERKELEY E OS FUNDAMENTOS DO CLCULO

Itala DOttaviano & Fbio Bertato

GEORGE BERKELEY AND THE FOUNDATIONS OF DIFFERENTIAL

George Berkeley e os fundamentos do clculo

Aps a crise dos incomensurveis,1 os matemticos gregos desenvolveram o

Arquimedes utiliza o mtodo de exausto de Eudoxo em suas obras De

Esta ltima obra, intitulada , s conhecida graas ao palimpsesto encontrado

Itala DOttaviano & Fbio Bertato

integrao, desenvolvidas apenas a partir do final do sculo XVII. Todavia, h

George Berkeley e os fundamentos do clculo

trabalhos mais relevantes para o clculo diferencial e integral so Philosophiae

O que Newton denomina de fluents ou flowing quantities, corresponde ao que

Itala DOttaviano & Fbio Bertato

George Berkeley e os fundamentos do clculo

paraconsistente de da Costa estende, tambm sob certo ponto de vista, a anlise

Itala DOttaviano & Fbio Bertato

Ttulo original: The analyst; or a discourse addressed to an infidel mathematician. Wherein it is

George Berkeley e os fundamentos do clculo

The analyst contm as ltimas contribuies substanciais de Berkeley

aquelas Quantidades que considero como aumentando gradualmente e

Itala DOttaviano & Fbio Bertato

Vejamos um exemplo do uso desses conceitos por Newton. Com o

Sendo z ax m , 0 no nulo, e assumindo que as potncias de 0 maiores

Entretanto, o desaparecimento das potncias de 0 maiores do que 2

Atravs do mtodo similar dos fluentes e fluxes, em que, de forma

proporcionais s Fluxes respectivamente. Estes portanto podem agora representar os

George Berkeley e os fundamentos do clculo

No caso particular em que z x 2 , Newton obtm:

Em The analyst, Berkeley chama a ateno sobre a inconsistncia do

De acordo com Berkeley, at este ponto, o momento 0x suposto como

Itala DOttaviano & Fbio Bertato

Nesse sentido, Berkeley afirma que introduzida, na considerao do

Berkeley mostra que qualquer nmero de resultados distintos poderia ser

George Berkeley e os fundamentos do clculo

Itala DOttaviano & Fbio Bertato

Em 1862, Sir William Rowan Hamilton (1805-1865) escreve a

George Berkeley e os fundamentos do clculo

evidncia e rigor, do que os mistrios religiosos e aspectos da f. Para Cantor,

Itala DOttaviano & Fbio Bertato

infinitsimos, com a inteno de mostrar que a matemtica era no menos

George Berkeley e os fundamentos do clculo

3. Sobre o desenvolvimento do clculo

Itala DOttaviano & Fbio Bertato

George Berkeley e os fundamentos do clculo

Leibniz, nas verses iniciais de seu clculo, admitiu indivisveis para

Itala DOttaviano & Fbio Bertato

constitui o fundamento para a definio rigorosa de continuidade,

Tem-se lim f ( x) b se, e somente se, para toda vizinhana de raio

(infinitsimo) de b existe uma vizinhana de raio (infinitsimo) de a, tal que,

No se deve confundir o conceito de vizinhana com o conceito de infinitesimal.

George Berkeley e os fundamentos do clculo

A publicao de sua obra s iniciada nos ltimos anos de sua vida,

Itala DOttaviano & Fbio Bertato

Robinson, em novembro do mesmo ano, em seminrio realizado na

George Berkeley e os fundamentos do clculo

por uma magnitude infinitamente pequena so ao menos no registro,

4.2. O clculo diferencial paraconsistente de Newton da Costa

Uma teoria T, cuja linguagem possui um smbolo de negao , dita consistente, se

Itala DOttaviano & Fbio Bertato

As hierarquias de clculos lgicos para o estudo de teorias

George Berkeley e os fundamentos do clculo

Itala DOttaviano & Fbio Bertato

4.2.1. O anel A e o quase-anel A* dos nmeros hiper-reais