Sobre Leibniz, Newton e infinitésimos, das origens do cálculo infinitesimal aos fundamentos do cálculo diferencial paraconsistente

Referencias

ARCHIMEDES (1950). Works of Archimedes. Capítulos introdutórios por T. L. Heath. Nova York, Dover (com o suplemento “The method of Archimedes”). ARISTOTLE (1978a). “De interpretatione”. In: HUTCHINS, R. M. (ed.). Great books of the western world. Trad. E. M. Edghill. Chicago, Encyclopaedia Britannica, v. 8, pp. 23-36. (1978b). “Analytica priora”. In: HUTCHINS, R. M. (ed.). Great books of the western world. Trad. E. M. Edghill. Chicago, Encyclopaedia Britannica, v. 8, pp. 37-93. ARRUDA, A. I. (1964). Considerações sobre os sistemas formais NF. Tese. Curitiba, Universidade Federal do Paraná. ARRUDA, A. I. (1970a). Sur les systèmes formels NF de da Costa. Comptes Rendus de l’Académie des Sciences de Paris, t. 270A, p. 1081-1084. (1970b). Sur le système NF. Comptes Rendus de l’Académie des Sciences de Paris, t. 270A, pp. 1137-1139. (1975a). Remarques sur les systèmes C. Comptes Rendus de l’Académie des Sciences de Paris, t. 280-A, pp. 1253-1256. (1975b). Le schéma de la séparation dans les systèmes NF. Comptes Rendus de l’Académie de Sciences de Paris, t. 280A, pp. 1341-1344. (1980). A survey of paraconsistent logic. In: LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC, 4. 1978, Santiago, Chile. Mathematical Logic in Latin America: proceedings. Editado por A. I. Arruda; N. C. A. da Costa e R. Chuaqui. Amsterdam, North Holland, pp. 1-41. (1989). “Aspects of the historical development of paraconsistent logic”. In: PRIEST, G.; ROUTLEY, R. e NORMAN, J. (eds). Paraconsistent Logic: essays on the inconsistent. Philosophia Verlag. ARRUDA, A. I. e COSTA, N. C. A. da (1964). Sur une hiérarchie de systèmes formels. Comptes Rendus de l’Académie de Sciences de Paris, t. 259, pp. 2943-2945. (1977). Une sémantique pour le calcul C1=. Comptes Rendus de l’Académie des Sciences de Paris, t. 284A, pp. 279-282. BARON, M. E. (1969). The origins of the infinitesimal calculus. Hungary, Pergamon Press. BARROW, I. (1670). Lectiones geometricae. Londres, John Collins. BELL, J. L. (1998). A primer of infinitesimal analysis. Cambridge, Cambridge University Press. BERKELEY, G. (1734). The analyst. Londres, J. Tonson. (2006). The analyst. Dublin, Trinity College. Versão eletrônica adaptada por David R. Wilkins a partir de texto de 1898, de George Sampson. www.maths.tcd.ie/pub/HistMath/People/Berkeley/Analyst/ Acesso em junho. BERNOULLI, J. (1744). Opera. Genevae, Cramer & Philibert. BÉZIAU, J.-Y. (1990). La logique propositionnelle paraconsistante C1 de N. C. A. da Costa. Paris, Université Denis Diderot (Paris 7). (1993). Nouveaux resultats et nouveaux regard sur la logique paraconsistante C1. Logique et Analyse, n. 141-142, pp. 45-58. BOCHENSKI, I. M. (1951). Ancient formal logic. Amsterdã, North-Holland. (1961). A history of formal logic. Nova York, Chelsea Publishing Co. BORKOWSKI, L. (1970). Selected works of J. Łukaziewicz. Amsterdã, North Holland. BOYER, C.B. (1974). História da matemática. Trad. E. Gomide. São Paulo, Edgard Blücher/Edusp. CARNIELLI, W. A. (1992). “Lógicas não-clássicas, teoria da informação e inteligência artificial”. In: ÉVORA, F. (ed.). Século XX: o nascimento da ciência contemporânea. Campinas, Unicamp (Col. CLE, v. 11). (2000). Possible translations semantics for paraconsistent logics. In: I WORLD CONGRESS ON PARACONSISTENCY, 1998, Ghent, Belgium. Frontiers in Paraconsistent Logic: proceedings. Editado por D. Batens, C. Mortensen, G. Priest, J. P. van Bendegen. Londres, King’s College Publications, pp. 116-139. CARNIELLI, W. A. e MARCOS, J. (2002). “A taxonomy of C-systems”. In: CARNIELLI, W. A.; CONIGLIO, M. E. e D’OTTAVIANO, I. M. L. (eds). Paraconsistency: the logical way to the inconsistent. Nova York, Marcel Dekker (Lectures Notes in Pure and Applied Mathematics, v. 228). CARVALHO, T. F. (2004). Sobre o cálculo diferencial paraconsistente de da Costa. Tese de doutorado. Instituto de Filosofia e Ciências Humanas, Universidade Estadual de Campinas. CAUCHY, A. L. (1821). “Cours d’analyse de l’École Royale Polytechnique: 1er partie’ (analyse algébrique)” . In: Oeuvres complètes 2. Paris, Gauthier-Villars, v. 3. (1826-1829). “Résumé des leçons sur le calcul infinitesimal: leçons sur le calcul différentiel”. In: Oeuvres complètes 2. Paris, Gauthier-Villars, v. 4. CAVALIERI, B. (1966). Geometria degli indivisibili di Bonaventura Cavalieri. Lucio Lombardo-Radice (ed.). Turim, Unione Tipografico - Editorice Torinese (tradução para o Italiano da edição original, em latim, de 1635, e da versão póstuma aperfeiçoada, de 1653 – Geometria indivisibilibus continuorum nova quadam ratione promota). CHURCH, A. (1974). A formulation of the simple theory of types. Journal of Symbolic Logic, v. 5, pp. 56-68. COUTURAT, L. (ed.) (1903). Opuscules et fragments inédits de Leibniz. Paris. DA COSTA, N. C. A. (1963a). Sistemas formais inconsistentes. Tese (Cátedra). Curitiba, Universidade Federal do Paraná. (1963b). Calculs propositionels pour les systèmes formels inconsistants. Comptes Rendus de l’Académie de Sciences de Paris, t. 257, pp. 3790-3793. (1964a). Calculs de prédicats pour les systèmes formels inconsistants. Comptes Rendus de l’Académie de Sciences de Paris, t. 258, pp. 27-29. (1964b). Calculs de prédicats avec égalité pour les systèmes formels inconsistants. Comptes Rendus de l’Académie de Sciences de Paris, t. 258, pp. 1111-1113. (1964c). Sur un système inconsistant de théorie des ensembles. Comptes Rendus de l’Académie de Sciences de Paris, t. 258, pp. 3144-3147. (1965). Sur les systèmes formels C1, C1∗, C1=, Di et NF. Comptes Rendus de l’Académie de Sciences de Paris, t. 260, pp. 5427-5430. (1967). Une nouvelle hiérarchie de théories inconsistantes. Publications du Département de Mathématiques. Université de Lyon, n. 4, pp. 2-8. (1971). Remarques sur le système NF. Comptes Rendus de l’Académie de Sciences de Paris, t. 272A, pp. 1149-1151. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, v. 15, n. 4, pp. 497-510. (1986). On paraconsistent set theory. Logique et Analyse, v. 115, pp. 361-371. (1989). Matemática e paraconsistência. Curitiba, UFPR (monografias da Sociedade Paranaense de Matemática, v. 7). (1992). “O ambiente matemático no século XIX e a lógica do século XX”. In: ÉVORA, F. (ed.). Século XIX: o nascimento da ciência contemporânea. Campinas, Unicamp (Col. CLE, v. 11). (1993). Sistemas formais inconsistentes. Curitiba, Universidade Federal do Paraná. DA COSTA, N. C. A. (2000). Paraconsistent mathematics. In: I WORLD CONGRESS ON PARACONSISTENCY, 1998, Ghent, Belgium. Frontiers in Paraconsistent Logic: proceedings. Editado por D. Batens; C. Mortensen; G. Priest e J. P. van Bendegen. Londres, King’s College Publications. DA COSTA, N. C. A.; BÉZIAU, J. Y. e BUENO, O. (1998). Elementos de teoria paraconsistente de conjuntos. Campinas, Unicamp (Col. CLE, v. 23). DA COSTA, N. C. A. e MARCONI, D. (1989). An overview of paraconsistent logics in the 80’s. The Journal of Non-Classical Logic, v. 6, n. 1, pp. 5-31. DE L’HOSPITAL, G. F. A. (1696). Analyse des infiniment petits pour l’intelligence des lignes courbes. Paris, Imprimerie Royale. DESCARTES, R. (1637). Discours de la méthode pour bien conduire sa raison et chercher la vérité dans les sciences. Leyde, Jean Maire. (1686). La géométrie. Paris, Hermann (1. ed. 1637, 2. ed. 1659-1661). D’OTTAVIANO, I. M. L. (1990). On the development of paraconsistent logic and da Costa’s work. The Journal of Non-Classical Logic, v. 7, pp. 89-152. (1992). “A lógica clássica e o surgimento das lógicas não-clássicas”. In: ÉVORA, F. (ed.). Século XIX: o nascimento da ciência contemporânea. Campinas, Unicamp (Col. CLE, v. 11). D’OTTAVIANO, I. M. L e CARVALHO, T. F. (2005). “Da Costa’s Paraconsistent Differential Calculus and a Transference Theorem”. 2nd Indian International Conference on Artificial Intelligence (II CAI – 05): proceedings. Pune, India. D’OTTAVIANO, I. M. L. e EPSTEIN, R. L. (1990). “A paraconsistent many-valued propositional logic: J”. In: EPSTEIN, R. L. The semantic foundations of logic (com a colaboração de W. A. Carnielli, I. M. L. D’Ottaviano, S. Krajewski e R. D. Maddux). Dordrecht, Kluwer Academic Publishers (v. 1: Propositional Logics, pp. 263-287). D’OTTAVIANO, I. M. L. e FEITOSA, H. A. (2000). Paraconsistent logics and translations. Synthese, v. 125, n. 1/2, pp. 77-95. D’OTTAVIANO, I. M. L. e FEITOSA, H. A. (2003). “História da lógica e o surgimento das lógicas não-clássicas”. In: NOBRE, S. (org.). Coleção História da Matemática para Professores. Rio Claro, Sociedade Brasileira de História da Matemática (preprint). FEITOSA, H. A. (1997). Traduções conservativas. Tese de doutorado. Instituto de Filosofia e Ciências Humanas, Universidade Estadual de Campinas. FERMAT, P. (1679). Varia opera mathematica. Editor D. Petri Fermat. Tolosae (Tolouse). Apud Joannem Pech. (1891-1922). Oeuvres de Fermat. Editadas por Paul Tannery e Charles Henry. Paris, Gauthier-Villars et Fils. FLEURIOT, J. D e PAULSON, L. C. (1998). A combination of Nonstandard Analysis and geometry theorem proving, with applications to Newton’s Principia. CADE, p. 3-16. Electronic Editor (Springer Link). FORSTER, T. E. (1995). Set theory with a universal set. Oxford, Clarendon. FREGE, G. (1977). Begriffsschriff: eine der arithmetischen nach gebildete Formelsprache des reinen Denkens. Hildesheim, Georg Olms Verlag (publicado originalmente em 1879). GALILEI, G. (1638). Discorsi e dimostrazioni matematiche intorno a due nuove scienze. Leide, Louis Elsevier (tradução para o italiano da primeira edição, em latim, de 1635). (1890-1909). Le opere di Galileo Galilei. Edizione Nazionale. Florença, Tip. di G. Barbera. JASKOWSKI, S. (1948). Rachunek zdan dla systemów dedukcyjnych sprzecznych. Studia Societatis Scientiarum Torunensis, Sectio A, I, pp. 55-77. (1949). O konjuncji dyskusyjnej w rachunsku zdán dla systemów dedukcyjnych sprzeczcych. Studia Societatis Torunensis Sectio A, I, pp. 171-172. (1969). Propositional calculus for contradictory deductive systems. Studia Logica, n. 24, pp. 143-157. JOVEN, F. (1997). Los infinitesimales como ficciones utiles para Leibniz: la polémica en la Academia de Paris. Theoria, segunda época, v. 12, n. 2, pp. 257-279. JURIN, J. (1734). Geometry no friend to infidelity...Cambridge, T. Cooper. (1735). The minute mathematician...Londres, T. Cooper. KEISLER, H. J. (1976). Elementary calculus: an infinitesimal approach. 1 ed. Boston, Prindle, Weber & Schmidt. KEPLER, J. (1615). Nova stereometria doliorum vinariorum. Lincii, J. Pancvs. KLEENE, S.C. (1952). Introduction to metamathematics. Amsterdã/Nova York, North Holland/Van Nostrand. LeBLANC, O. (2002). Łukasiewicz, Aristotle and contradiction. Polish Philosophy Page. Disponível em: http://www.fmag.unict.it/PolPhil/Lukas/LeBlanc.html Acesso em: 3 jan. LEIBNIZ, G. W. (1684). Nova methodus pro maximis et minimis, itemque tangentibus, quae nec fractas, nec irrationales quantitates moratur, et singulare pro illis calculi genus. Acta Eruditorum. Leipzig. (1686). De geometria recondita et analysi indivisibilium atque infinitorum. Acta Eruditorum Leipzig. (1965). Monadology and Other Philosophical Essays. Trad. Paul e A. M. Schrecker. Indianápolis, Bobbs-Merrill. (1966). Logical papers. Trad. G. H. R. Parkinson. Oxford, Clarendon Press. (1983). Oeuvre concernant le calcul infinitésimal. Trad. J. Peyroux. Bordeaux, A. Blanchard. (2006). Los filósofos y sus textos: Monadología (texto completo). Disponível em: http://cantemar.com/cronolista.html. Consulta: 23 maio. LINTZ, R. (1999). História da Matemática. Blumenau, Editora da FURB, v. 1. ŁUKASIEWICZ, J. (1910). O Zasadzie sprzecznosci u Arystotelesa: studium krytyczne. Kraków, Akademia Umiejetnosci. (1910). Über den satz von widerspruchs bei Aristoteles. Bulletin International de l’Académie des Sciences de Cracovie: Classe d’Histoire de Philosophie, pp. 15-38 (tradução para o inglês em Borkowski, 1970). ŁUKASIEWICZ, J. e TARSKI, A. (1930). Untersuchungen über den Aussagenkalkül. Comptes Rendus des Séances de la Societé des Sciences et des Lettres de Varsovie. Classe III, v. 23, pp. 30-50 (tradução para o inglês em Borkowski, 1970). NEWTON, I. (1687). Philosophiae naturalis principia mathematica. Londres, Royal Society. (1711). De analysi per aequationies numero terminorum infinitas. Londres, William Jones. (1736). The method of fluxions and infinite series. Ed. John Colson. Londres (De methodus fluxionum et serierum infinitarum, 1671). (1967-1981). The mathematical papers of Isaac Newton. Ed. D. T. Whiteside. Cambridge, Cambridge University Press (8 v.). PIN, V. G. (1987). Ontologia e história del calculus (la tarea de Abraham Robinson). Theoria, segunda época, v. 2, pp. 97-119. PIZZI, C. (1992). “Considerações sobre as lógicas não-clássicas”. In: ÉVORA, F (ed.). Século XX: O nascimento da ciência contemporânea. Campinas, Unicamp (Col. CLE, v. 11, pp. 95-99) 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. Londres, W. Innys & R. Manby. ROBINSON, A. (1961). Non-standard analysis. Proceedings of the Royal Academy of Sciences, ser. A, n. 64, pp. 432-440. Amsterdã. (1996). Non-standard analysis (edição revisada da 1 ed. de 1966). Princeton, Princeton University Press. ROBINSON, A. e ZAKON, E. (1967). A set theoretical characterization of enlargements. Applications of Model Theory to Algebra, Analysis and Probability. C.I.T., Holt, Rinehart and Winston, pp. 109-122. ROSSER, J. B. (1953). Logic for mathematicians. Nova York, McGraw-Hill. RUSSELL, B. (1900). A critical exposition of the philosophy of Leibniz. Cambridge, Cambridge University Press. (1908). Mathematical logic as based on the theory of types. American Journal of Mathematics, v. 30, pp. 222-262. Baltimore, The Johns Hopkins University Press. STANFORD ENCYCLOPEDIA OF PHILOSOPHY (2006). Continuity and Infinitesimals. Disponível em: http://plato.stanford.edu/entries/continuity/. Acesso em: 19 jan. STROYAN, K. D. e LUXEMBURG, W. A. J. (1976). Introduction to the theory of infinitesimals. Nova York, Academic Press. TORRICELLI, E. (1644). Opera geometrica. Florença, Amatore Massa & Laurenzo di Landi. WALLIS, J. (1693). Johannis Wallis opera mathematica (3 v.). Oxoniae, E Theatro Sheldoniano. WEIERSTRASS, K. T. Z. (1854). Zur theorie der abelschen functionen. Crelle’s Journal. Berlim. (1894-1927). Mathematische werke von Karl Weierstrass. Berlim, Mayer & Müller. WHITEHEAD, A. N. e RUSSELL, B. (1910-1913). Principia mathematica. Cambridge, Cambridge University Press.