6. DISCUSSION
6.4 Dynamique de population
6.4.2 Structure et accroissement de la population
6.4.3.4 Survie des faons
Isaac Newton, ao que parece, trabalhava com uma noção intuitiva de limite, sendo que a aceitação da tese de Berkeley por parte de Lagrange, Carnot e MacLaurin, entre outros, e as discussões entre os membros da Academia de Ciência de Paris no início do século XVIII, indicam o quanto os matemáticos se sentiam confusos e inseguros relativamente ao cálculo diferencial e integral no período, em especial, quanto às possíveis inconsistências inerentes à noção de infinitésimo.
Embora a teoria proposta por da Costa seja essencialmente distinta da análise não-standard em certos aspectos, no entanto, sua teoria também estende a de Robinson.
18 O termo “tradução” é utilizado de acordo com o introduzido por DA SILVA,
Corroborando as críticas de George Berkeley, em The analyst, os trabalhos de Robinson e de da Costa evidenciam a importância de se estabelecer, em bases lógica e conjuntista rigorosas, a linguagem sobre a qual a análise deve ser desenvolvida, a partir de definições rigorosas de infinitésimo e limite.
Finalizando, observamos que, mesmo não podendo considerar Berkeley como um grande e criativo matemático, devemos reconhecer a coragem e o mérito de sua crítica ao então nascente cálculo diferencial e integral de Newton e Leibniz, atribuindo-lhe um papel relevante na História da Matemática e nos Fundamentos da Análise Matemática.
Submetido: 02.01.2014; Revisado: 15.09.2014; Aceito: 13.10.2014 Referências bibliográficas
ARISTOTLE (1978). Analytica priora. Trad. E.M. Edghill. In: HUTCHINS, R.M. (org.). Great books of the Western world, vol. 8: Aristotle. Chicago: Encyclopædia Britannica, p. 23-36. Em português: ARISTÓTELES (2005). “Analíticos posteriores”. In: ––––––. Órganon. Trad. E. Bini. São Paulo: Edipro.
ARRUDA,A.I.& DA COSTA,N.C.A.(1977). Une sémantique pour le calcul C1.
Comptes Rendus de l’Académie des Sciences 284 (série 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
português: “Tratado sobre os princípios do conhecimento humano”. Trad. A. Sérgio. In: Berkeley, Hume, Coleção Os Pensadores. São Paulo: Abril Cultural, 1973, p. 7-50.
–––––– (1721). De motu sive de motus principio & natura, et de causa communicationis
motuum. London: J. Tonson. Em inglês: trad. A.A. Luce, in BERKELEY
(1948-57), v. 4, p. 31-52. Em português: “De motu: sobre o movimento ou sobre o princípio, a natureza e a causa da comunicação 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. Versão
online: WILKINS, D.R. (org.) (2002) http://www.maths.tcd.ie/ pub/HistMath/People/Berkeley/Analyst/ Em português: “O analista: ou um discurso dirigido a um matemático 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. Versão 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 português: “Dos infinitos”. Trad. J.R. Siqueira. Trans/Form/Ação 28: 47-51, 2005.
–––––– (1944). Philosophical commentaries. Editado por A.A. Luce. London: Th. Nelson. Manuscrito original de 1707-8. Republicado in BERKELEY (1948-
57), 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. Genève: Cramer & Philibert. 2 v.
BOYER,C.B. (1974). História da matemática. Trad. Elza F. Gomide. São Paulo: Blücher/EDUSP. Orig. em inglês: 1968.
CAJORI,F. (1919). History of the conceptions of limits and fluxions in Great Britain from
CALAZANS,A. (2010). Um panfleto de Berkeley contra as práticas matemáticas de Newton e de Leibniz. Scientiae Studia 8: 623-32.
CANTOR,G. (1984). Berkeley’s 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). Refléxions sur la métaphysique du calcul infinitésimal. 2a ed. Paris:
Mme. V. Courcier.
CARVALHO, T.F. (2004). Sobre o cálculo diferencial paraconsistente de da Costa. Campinas. Tese de Doutorado em Filosofia, Instituto de Filosofia e Ciências Humanas, Universidade Estadual de Campinas.
CARVALHO, T.F. & D’OTTAVIANO, I.M.L. (2005). Sobre o infinitésimo e o
cálculo diferencial paraconsistente de da Costa. Revista Eletrônica
Informação e Cognição 4: 78-102.
–––––– (2006). Sobre Leibniz, Newton e infinitésimos: das origens do cálculo diferencial aos fundamentos do cálculo diferencial paraconsistente.
Educação Matemática Pesquisa 8: 13-43.
CAUCHY, A.-L. (1897). Cours d’analyse de l’École Royale Polytechnique. Ier. partie:
analyse algébrique. In: ––––––. Oeuvres complètes, IIe série, t. III. Paris:
Gauthier-Villars. Original de 1821.
–––––– (1899). Résumé des leçons données à l’École royale polytechnique sur le calcul
infinitesimal; Leçons sur le calcul différentiel. In: CAUCHY, A.-L. Oeuvres
complètes, IIe série, 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
COUTURAT, L. (1903) (org.) Opuscules et fragments inédits 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: King’s 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.; BÉZIAU, J.-Y. & BUENO, O. (1998). Elementos de teoria paraconsistente de conjuntos. Coleção CLE, v. 23. Campinas: Centro de
Lógica, Epistemologia e História da Ciência, 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.; D’OTTAVIANO, 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 L’HOSPITAL, G.F.A. [grafia francesa moderna: DE L’HÔPITAL] (1696).
Analyse des infiniment petits, pour l’intelligence des lignes courbes. Paris:
Imprimerie Royale.
D’OTTAVIANO,I.M.L. (1990). On the development of paraconsistent logic and
da Costa’s work. Journal of Non-Classical Logic 7: 89-152.
D’OTTAVIANO, I.M.L. & CARVALHO, T.F. (2005). Da Costa’s paraconsistent
differential calculus and a transference theorem. In: Proceedings of the 2nd Indian
EUCLIDES. (2009). Os Elementos. Trad. I. Bicudo. São Paulo: Editora Unesp. Orig. em grego: c. 300 AEC.
FEITOSA, H.A. & D’OTTAVIANO, 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 português: Duas novas ciências. Trad. L. Mariconda & P.R. Mariconda. 2a ed. São Paulo / Rio de Janeiro: Nova
Stella / Istituto Italiano di Cultura / MAST, 1987.
–––––– (1890-1909). Edizione nazionale delle opere di Galileo Galilei. Firenze: G. Barbèra.
GRATTAN-GUINNESS,I. (1969). Berkeley’s 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). Berkeley’s philosophy of mathematics. Chicago: University of Chicago Press.
JOVEN, F. (1997). Los infinitesimales como ficciones utiles para Leibniz: la polémica en la Academia de Paris. Theoria (2a época) 12: 257-79.
JURIN,J. [Philalethes Cantabrigiensis, pseudônimo] (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 francês in LEIBNIZ (1983), e para o inglês in STRUIK (1969), p. 271-80.
–––––– (1686). De geometria recondita et analysi indivisibilium atque infinitorum. Acta Eruditorum (Leipzig), Anno MDCLXXXVI, p. 292-300.
Trad. para o francês in LEIBNIZ (1983), e parcial para o inglês in STRUIK
(1969), p. 281-2.
–––––– (1983). Oeuvre concernant le calcul infinitésimal. Trad. J. Peyroux. Bordeaux: A. Blanchard.
LINTZ,R.G. (2007a). História da Matemática, v. 1. Coleção CLE, v. 45. 2a ed.
Campinas: Centro de Lógica, Epistemologia e História da Ciência, Unicamp.
–––––– (2007b). História da Matemática, v. 2. Coleção CLE, v. 46. Campinas: Centro de Lógica, Epistemologia e História da Ciência, 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 português: 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 inglês: Mathematical principles of natural philosophy
and his system of the world. Trad. A. Motte. Berkeley: University of
California Press, 1946. Em português: Principia: Princípios matemáticos de
filosofia natural. 2 v. Livro I: trad. T. Ricci, L.G. Brunet, S.T. Gehring &
M.H.C. Célia. Livros II e III: trad. A.K.T. Assis. São Paulo: Edusp, 2008. –––––– (1704). Opticks. London: Royal Society. Em português: Óptica. Trad.
A.K.T. Assis. São 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.
PATY,M. (2005). O elemento diferencial de tempo e a causalidade física na dinâmica de d’Alembert. Trad. M.A. Corrêa-Paty. Discurso 35: 167-216. PIN, V.G. (1987). Ontologia e história del calculus (la tarea de Abraham
Robinson). Theoria (2a época) 2: 97-119.
RASHED, R. (1993-2010). Les mathématiques infinitésimales du IXe au XIe siècles. Londres: al-Furqan Islamic Heritage Foundation. 6 v.
ROBINS, B.A. (1735). A discourse concerning the nature and certainty of Sir Isaac
Newton’s 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 Gödel: a source book in
mathematics, 1879-1931. Cambridge (MA): Harvard University Press.
WALLIS, J. (1693). Johannis Wallis opera mathematica. Oxford: E Theatro
WEIERSTRASS,K.T.Z. (1854). Zur Theorie der Abelschen Functionen. Crelle’s
Journal (Berlin) 47: 289-306. Republicado in –––––– (1894-1927), v. I, p.
133-52.
–––––– (1894-1927). Mathematische Werke von Karl Weierstrass. Berlin: Mayer & Müller.
WISDOM, J.O. (1939). The Analyst controversy: Berkeley’s 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). Berkeley’s 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. Tradução para o inglês em VAN