History of logic in Latin America: the case of Ayda Ignez Arruda

Bibliography

• Almeida, J. M. “Semânticas de traduções possíveis [Possible Translations Semantics]”. Master Thesis. Orientador: Walter Alexandre Carnielli. Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, 1999.
   Google Scholar
• Alves, E. H., and A. I. Arruda. “Some Remarks on the Logic of Vagueness”. Bulletin of the Section of Logic, Polish Academy of Sciences 8 (1979a): 133–138.
   Google Scholar
• Alves, E. H., and A. I. Arruda. “A Semantical Study of Some Systems of Vagueness Logic”. Bulletin of the Section of Logic, Polish Academy of Sciences 8 (1979b): 139–144.
   Google Scholar
• Arruda, A. I. “Uma questão de lógica [A Matter of Logic]”. Revista Brasileira de Filosofía XIII, no. fasc. 50 (1963): 261–264.
   Google Scholar
• Arruda, A. I. “A evolução do método axiomático [The Evolution of Axiomatic Method]”. Revista Brasileira de Filosofía XIV, no. fasc. 54 (1964a): 209–221.
   Google Scholar
• Arruda, A. I. “Consideracoes sobre os Sistemas Formais NFn [Considerations of Formal Systems NFn]”. PhD thesis, 1964.
   Google Scholar
• Arruda, A. I. “On Griss’ Propositional Calculus”. The Journal of Symbolic Logic 36, no. 3 (1971): 579.
   Google Scholar
• Arruda, A. I. “Remarques sur les systemes Cn [Remarks on Cn systems]”. Comptes Rendus de l’Académie de Sciences de Paris Serie A, 36, no. 3 (1975): 1253–1256.
   Google Scholar
• Arruda, A. I. “On the Imaginary Logic of N. A. Vasil’év”. In Non-Classical Logics. Model Theory and Computability (Proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, 1976), edited by Arruda, da Costa and Chuaqui, 3–24. Amsterdam. New York, Oxford: North-Holland Publishing Co., 1977.
   Google Scholar
• Arruda, A. I. “Some Remarks on Griss’ Logic of Negationless Intuitionistic Mathematics”. In Mathematical Logic (Proceeding of the First Brazilian Conference on Mathematical Logic), edited by Arruda, da Costa and Chuaqui, 9–29. Series: Lecture Notes in Pure and Applied Mathematics vol. 39, New York: Mareel Dekker, 1978.
   Google Scholar
• Arruda, A. I. “N. A. Vasiliev e a lógica paraconsistente”. Relatorio Interno, No. 140, IMECC. (1979).
   Google Scholar
• Arruda, A. I. “A Survey of Paraconsistent Logic”. Mathematical Logic in Latin America [Proceedings of the IV Latin-American Symposium on Mathematical Logic, Santiago, 1978], edited by Arruda, Chuaqui, da Costa, 1–41. Amsterdam, New York, Oxford: North-Holland Publishing Co., 1980.
   Google Scholar
• Arruda, A. I. “The Russell Paradox in the Systems NFn”. In Proceeding of the Third Brazilian Conference on Mathematical Logic, edited by Arruda, da Costa and Sette, 1–12. São Paulo: Sociedade Brasileira de Lógica, 1980.
   Google Scholar
• Arruda, A. I. “N. A. V asil’év: a forerunner of paraconsistent logic”. Philosophia Naturalis 21, no. 2–4 (1984): 472–491.
   Google Scholar
• Arruda, A. I. “Aspects of the Historical Development of Paraconsistent Logic”. In Paraconsistent Logic: Essays on the Inconsistent, edited by G. Priest, R. Routley, J. Norman, 99–130. Munich: Philosophia Verlag, 1989.
   Google Scholar
• Arruda, A. I. N. A. Vasiliev e a Lógica Paraconsistente. Campinas: Centro de Lógica, Epistemología e História da Ciencia, UNICAMP, 1990.
   Google Scholar
• Arruda, A. I., and D. Batens. “Russell’s Set versus the Universal Set in Paraconsistent Set Theory”. Logique et Analyse 98 (1982): 121–133.
   Google Scholar
• Arruda, A. I., and N. A. C. da Costa. “Transformadas no calculo restrito de predicados [Transformations in the Restricted Predicate Calculus]”. Anais Acad. Brasileira de Ciências 38 (1965): 385–390.
   Google Scholar
• Arruda, A. I., and N. A. C. da Costa. “Sur le schéma de la separation [On the Separation Schema]”. Nagoya Mathematical Journal 38 (1970): 71–84.
   Google Scholar
• Arruda, A. I., and N. A. C. da Costa. “Le schéma de la separation et les calculs Jn. [The Separation Schema and the Jn calculus]”. Mathematica Japonicae 19, no. 3 (1974): 183–186.
   Google Scholar
• Arruda, A. I., and N. A. C. da Costa. “Une sémantique pour le calcul C1= [Semantics for the C1= calculus]”. Comptes Rendus de l’Académie de Sciences de Paris Serie A t. 284 (1977): 279–282.
   Google Scholar
• Atten, M. van. “The Development of Intuitionistic Logic”, The Stanford Encyclopedia of Philosophy (Winter 2017 Edition), edited by Edward N. Zalta, https://plato.stanford.edu/archives/win2017/entries/intuitionistic-logic-development/.
   Google Scholar
• Beall, J. C., and G. Restall. “Logical Pluralism”. Australasian Journal of Philosophy 78 (2000): 475–493.
   Web of Science ®Google Scholar
• Beiküfner, K., and A. Reichenberger. “Women and Logic: What Can Women’s Studies Contribute to the History of Formal Logic?”. Transversal: International Journal for the Historiography of Science, no. 6 (2019): 6–14. https://periodicos.ufmg.br/index.php/transversal/article/view/15053
   Google Scholar
• Bobenrieth, A. Inconsistencias, ¿por qué no? Un estudio filosófico sobre la lógica paraconsistente. [Inconsistencies, why not? A Philosophical Study on Paraconsistent Logics]. Bogotá: Colcultura, 1996.
   Google Scholar
• Bobenrieth, A. “The Origins of the Use of the Argument of Trivialization in the Twentieth Century”. History and Philosophy of Logic 31, no. 2 (2010): 111–121.
   Google Scholar
• Da Costa, N. A. C. “Conceptualización de la filosofia científica”. Revista de Filosofia de la Universidad de Costa Rica 11, no. 8 (1960): 363–366.
   Google Scholar
• Da Costa, N. A. C., and L. P. de Alcântara. “The Scientific Work of Ayda I. Arruda”. In Methods and Applications of Mathematical Logic: Proceedings of the VII South American Symposium on Mathematical Logic (1985), edited by W. Carnielli and L. P de Alcântara, 1–15. Rhode Island: American Mathematical Society, 1989.
   Google Scholar
• Da Costa, N. C. A., and O. Bueno. “Paraconsistent Logic”. In A Companion to Latin American Philosophy, edited by S. Nuccetelli, O. Schutte, and O. Bueno, 217–229. Providence, Rhode Island: Blackwell, 2010.
   Google Scholar
• Da Costa, N. C., and L. Z. Puga. “On the Imaginary Logic of NA Vasiliev”. Mathematical Logic Quarterly 34, no. 3 (1988): 205–211.
   Google Scholar
• D’Ottaviano, I. M. L., and E. L. Gomes. “On the Development of Logic in Brazil I: the Early Logic Studies and the Path to Contemporary Logic”. Brazilian Journal on the History of Mathematics 11, no. 22 (2011): 3–28.
   Google Scholar
• D’Ottaviano, I. M. L., and E. L. Gomes. “On the Development of Logic in Brazil II: Initiatives in Brazil Related to Logic and Brazilian Research Groups Dedicated to Logic”. Brazilian Journal on the History of Mathematics 12, no. 24 (2012): 1–19.
   Google Scholar
• D’Ottaviano, I. M. L., G. Secco, and M. Álvarez Lisboa. “Ayda Ignez Arruda: história e memórias” [Ayda Ignez Arruda: history and memories] (forthcoming).
   Google Scholar
• De Moraes, L., and C. Teixeira. “Alguns Aspectos da História da Lógica Paraconsistente [Some Aspects of the History of Paraconsistent Logic]”. In Aspectos de Lógica e Teoría da Ciência, edited by J. M. Abe, 18–49. São Paulo: Instituto de Estudos Avançados da Universidade de São Paulo, 2001.
   Google Scholar
• Eklund, M. “On how Logic Became First-Order”. Nordic Journal of Philosophical Logic 1, no. 2 (1996): 147–167.
   Google Scholar
• Fraenkel, A. A., Y. Bar-Hillel, and A. Levy. Foundations of Set Theory. Studies in Logic, v. 67. North-Holland, 1958.
   Google Scholar
• Gomes, E. L. “Sobre a história da paraconsistência e a obra de Da Costa: a instauração da lógica paraconsistente”. PhD Thesis, Campinhas: Universidade Estadual de Campinhas, 2013.
   Google Scholar
• Gomes, E. L., and I. M. L. D’Ottaviano. “Para além das Colunas de Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa [Beyond Hercules’ Columns, a History of Paraconsistency: From Heraclitus to Newton da Costa]”. Campinhas: Editora UNICAMP, 2017.
   Google Scholar
• Halldén, S. The Logic of Nonsense. Uppsala: Uppsala Universitet, 1949.
   Google Scholar
• Hutton, S. “‘Context’ and ‘Fortuna’ in the History of Women Philosophers: A Diachronic Perspective”. In Methodological Reflections on Women’s Contributionss and Influence in the History of Philosophy, edited by S. Thorgeirsdottir and R. E. Hagengruber, 29–42. Cham: Springer, 2020.
   Google Scholar
• Janssen-Lauret, F. “Making Room for Women in our Tools for Teaching Logic: A Proposal for Promoting Gender-Inclusiveness”. 4th International Conference on Tools for Teaching Logic, edited by M. Antonia Huertas, João Marcos, María Manzano, Sophie Pinchinat, François Schwarzentruber, 65–74, 2015.
   Google Scholar
• Jaśkowski, S. “A Propositional Calculus for Inconsistent Deductive Systems”. Logic and Logical Philosophy [online] 7, no. 7 (1948): 35–56.
   Google Scholar
• Margutti, P. Nísia Floresta, uma Brasileira desconhecida – feminismo, positivismo e outras tendências. Porto Alegre: Editora Fi, 2019.
   Google Scholar
• Margutti, P. História da Filosofia do Brasil – A ruptura iluminista (1808–1843). São Paulo: Edições Loyola, 2020.
   Google Scholar
• Pérez, D. I. “Analytic Philosophy in Latin America”. The Stanford Encyclopedia of Philosophy (Spring 2020 Edition), edited by Edward N. Zalta, https://plato.stanford.edu/archives/spr2020/entries/latin-american-analytic/.
   Google Scholar
• Priest, G., G. Tanaka, and Z. Weber. “Paraconsistent Logic”. The Stanford Encyclopedia of Philosophy (Summer 2018 Edition), edited by Edward N. Zalta, https://plato.stanford.edu/archives/sum2018/entries/logic-paraconsistent/.
   Google Scholar
• Secco, G. D., and N. Pugliese. “Teaching Nísia Floresta: Mapping the Philosophical Ground”. (forthcoming).
   Google Scholar
• Suguitani, L., J. P. Viana, and I. M. L. D’Ottaviano. “Alfred Tarski: Lectures at Unicamp in 1975”. Campinas: UNICAMP, Centro de Lógica, Epistemologia e História da Ciência.(Coleção CLE v. 76), 2016.
   Google Scholar
• Van Heijenoort, J. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931. Cambridge, MA: Harvard University Press, 1967.
   Google Scholar
• Wang, H. E., and R. Mc Naughton. Les systèmes axiomatiques de la théorie des ensembles. Collection de logique mathématiques, Serie A. Louvain, E. Nauwelaerts; Paris, Gauthier-Villard, 1953.
   Google Scholar
• Wuensch, A. M. “Acerca da existência de pensadoras no Brasil e na América Latina [On the Existence of Female Thinkers in Brazil and Latin America]”. Problemata 6, no. 1 (2015): 113–150.
   Google Scholar