Ayda I. Arruda and Itala M. Loffredo D’Ottaviano, from UFPR to Unicamp: historical itinerary and biographical context of two pioneers of logic in Brazil

Authors

DOI:

https://doi.org/10.5380/rfdufpr.v67i3.83757

Keywords:

First Brazilian women to earn a Ph.D. in Logic. Pioneering women in science. Gender balance.

Abstract

This article explores the historical itinerary and context of the first two female doctors in Logic in Brazil, professors Ayda I. Arruda and Itala M. Loffredo D’Ottaviano, as well as the first generation of Brazilian female doctors in Mathematics. Different institutional contexts that mark science are examined and analyzed, mainly regarding logic and mathematics, and their gender imbalance, which is progressively being mitigated. The focus of the analysis goes through the Federal University of Paraná (UFPR) and the State University of Campinas (Unicamp), the two institutions in which professor Ayda worked. Another object of study in the article was the development of gender balance in civil engineering and mathematics courses at UFPR. Some current indicators related to gender balance in science in the international context and current movements for increasing the number of women in scientific management positions are also analyzed. At the end, the article presents an original interview with professor Itala M. Loffredo D’Ottaviano, whose main theme was her biography and scientific career, and her personal relationship with professor Ayda I. Arruda, against the backdrop of gender inequality in science.

Author Biographies

Cesar Antonio Serbena, Universidade Federal do Paraná (UFPR), Curitiba, Paraná.

Professor Titular de Filosofia do Direito da UFPR na Graduação, Mestrado e Doutorado em Direito. Doutor e Mestre em Direito UFPR. Bacharel em Direito e Bacharel e Licenciado em Filosofia. Coordena os Grupos de de Pesquisa Fundamentos do Direito e E-Justiça UFPR.

Priscila da Silva Barboza, Universidade Federal do Paraná (UFPR), Curitiba, Paraná.

Pós-doutoranda no Programa de Pós-graduação em Direito da UFPR (CAPES/PNPD). Doutora em Direito UFPR. Mestre em Ciências Sociais UFPel. Especialista em Direito Público FMP/RS. Bacharel em Dirreito FURG.

References

ALVES, Marcos Antonio; D’OTTAVIANO, Itala M. Loffredo. Implication and information: a quantitative-informational analysis of material implication. In: PEREIRA JR., Alfredo; PICKERING, William Alfred; GUDWIN, Ricardo Ribeiro (ed.). Systems, Self-Organization and Information: An Interdisciplinary Perspective. New York, NY: Routledge, 2018. Cap. 7. p. 100-112.

ARRUDA, A. I. Considerações sobre os sistemas formais NFn. 1964. 55 f. Tese (Doutorado em Matemática) – Universidade do Paraná, Curitiba, 1964.

ARRUDA, A. I. Vasilev e a lógica paraconsistente. Campinas: Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas, 1990.

ARRUDA, A. I.; DA COSTA, N. C. A.; CHUAQUI, R. (ed.). Latin American Symposium on Mathematical Logic, IV (Synthese Historical Library, 9). Amsterdam: North-Holland, 1980.

ARRUDA, A. I.; DA COSTA, N. C. A.; CHUAQUI, R. (ed.). Mathematical Logic: Proceedings of the First Brazilian Conference. New York, NY: Marcel Dekker, 1978.

ARRUDA, A. I.; DA COSTA, N. C. A.; CHUAQUI, R. (ed.). Non-classical Logics, model theory and computability (Studies in Logic and the Foundations of Mathematics, 89). Amsterdam: North-Holland, 1977.

BRECH, Christina. O “Dilema Tostines” das mulheres na Matemática. Revista Matemática Universitária, [s. l.], v. 54, 2018. Disponível em: https://bit.ly/3Iv3mX6. Acesso em: 19 nov. 2021.

BRESCIANI FILHO, Ettore; D’OTTAVIANO, Itala M. Loffredo. Basic concepts of systemics. In: PEREIRA JR., Alfredo; PICKERING, William Alfred; GUDWIN, Ricardo Ribeiro (ed.). Systems, Self-Organization and Information: An Interdisciplinary Perspective. New York, NY: Routledge, 2018. Cap. 3. p. 47-63.

BRESCIANI FILHO, Ettore; D’OTTAVIANO, Itala M. Loffredo. Conceitos básicos de sistêmica. In: D’OTTAVIANO, I. M. Loffredo; GONZALEZ, M. E. Q. (org.). Auto-organização: estudos interdisciplinares. Campinas: CLE/Unicamp, 2000. p. 283-306. (Coleção CLE, v. 30).

CARNIELLI, Walter A. [Entrevista transcrita e publicada em] GOMES, E. L.; D’OTTAVIANO, I. M. Loffredo. Para além das Colunas de Hércules, uma história da paraconsistência – de Heráclito a Newton da Costa. Campinas: Editora da Unicamp: CLE/Unicamp, 2017. 712 p. p. 668 (Série Unicamp Ano 50, v. 50; Coleção CLE, v. 80).

CARVALHO, José Murilo de; MOREIRA, Ildeu de Castro (coord.). Ciência no Brasil: 100 anos da ABC. Rio de Janeiro: Academia Brasileira de Ciências, 2017. Disponível em: https://bit.ly/3ZuRY4y. Acesso em: 19 nov. 2021.

CAVALARI, Mariana Feiteiro. A Matemática é feminina? Um estudo histórico da presença da mulher em institutos de pesquisa em matemática do estado de São Paulo. 2007. Dissertação (Mestrado em Educação Matemática). Instituto de Geociências e Ciências Exatas, Universidade Estadual Paulista, Campus de Rio Claro, Rio Claro, 2007.

CIGNOLI, R. L. O.; D’OTTAVIANO, I. M. Loffredo; MUNDICI, D. Algebraic foundations of many-valued reasoning (Trends in Logic). V. 2. Dordrecht: Kluwer Academic Publishers, 2000. 223 p.

CIGNOLI, R. L.; D’OTTAVIANO, I. M. Loffredo; MUNDICI, D. Álgebras das Lógicas de Łukasiewicz. 2. ed. Campinas: CLE/Unicamp, 1994. 256 p. (Coleção CLE, v. 12).

DA COSTA, N. C. A. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, [s. l.], v. 15, n. 4, p. 497-510, out. 1974.

FERNANDEZ, Cecília de Souza. A Vida de Maria Laura Mouzinho Leite Lopes. Universidade Federal Fluminense (UFF). Projeto Mulheres na Matemática. 2018. Disponível em: https://bit.ly/3xY9NNt. Acesso em: 19 nov. 2021.

GAGE, Matilda J. Woman as Inventor. Fayetteville, NY: F.A. Darling, 1870.

GOMES, E. L.; D’OTTAVIANO, I. M. Loffredo. Para além das Colunas de Hércules, uma história da paraconsistência – de Heráclito a Newton da Costa. Campinas: Editora da Unicamp: CLE/Unicamp, 2017. 712 p. (Série Unicamp Ano 50, v. 50; Coleção CLE, v. 80).

JANNUZZI, Paulo de Martino. São Paulo, século XXI: a maior metrópole das Américas. Ciência e Cultura, [s. l.], v. 56, n. 2, São Paulo, abr./jun. 2004. Versão impressa ISSN 0009-6725, versão online ISSN 2317-6660.

JORNAL DA CIÊNCIA: Publicação da Sociedade Brasileira para o Progresso da Ciência. São Paulo, ano XXXIII, n. 783, fev./mar. 2019 (Meninas na Ciência. Um problema na cabeça e determinação para solucioná-lo). ISSN 1414-655X. Disponível em: https://bit.ly/2TOjlsW. Acesso em: 19 nov. 2021.

LÓPEZ-ESCOBAR, E. G. K.; D’OTTAVIANO, I. M. Loffredo. A regra ω: passado, presente e futuro. Campinas: CLE/Unicamp, 1987. 53 p. (Coleção CLE, v. 2).

MARQUES, Fabricio. Em busca de equilíbrio. Pesquisa FAPESP, [s. l.], ano 18, n. 254, p. 41-43, abril de 2017.

PEREIRA JR., Alfredo; PICKERING, William Alfred; GUDWIN, Ricardo Ribeiro (ed.). Systems, Self-Organization and Information: An Interdisciplinary Perspective. New York, NY: Routledge, 2018.

ROSSITER, Margaret W. The Matthew/Matilda Effect in Science. Social Studies of Science, London, v. 23, n. 2, p. 325-341, 1993. DOI:10.1177/030631293023002004, ISSN 0306-3127.

SANTANA, Jorge Luiz. Rompendo barreiras: Enedina, uma mulher singular. 2013. Trabalho de conclusão de curso (Bacharelado em História). Universidade Federal do Paraná, Curitiba, 2013. Disponível em: https://bit.ly/3IvAgGU. Acesso em: 19 nov. 2021.

SANTOS, Arnaldo A. Elza Furtado Gomide e a participação feminina no desenvolvimento da Matemática brasileira no século XX. 2010. Dissertação (Mestrado em História da Ciência) – Pontifícia Universidade Católica de São Paulo, São Paulo, 2010. Disponível em: https://bit.ly/3IAoxHj. Acesso em: 19 nov. 2021.

SANTOS, Carlos H. dos; MIYAÒKA, Florinda K.; BARREDA, Manuel J. Cruz (org.). Sete décadas do Curso de Matemática da UFPR. Curitiba: Ed. UFPR, 2016.

SECCO, Gisele Dalva; LISBOA, Miguel Alvarez. History of logic in Latin America: the case of Ayda Ignez Arruda. British Journal for the History of Philosophy, [s. l.], v. 30, n. 2, p. 384-408, 2022. DOI: 10.1080/09608788.2021.2006139.

SHOENFIELD, Joseph R. Mathematical Logic. Reading, MA: Addison-Wesley, 1967.

SILVA, Circe M. Silva da. Marília Chaves Peixoto: uma matemática brasileira à sombra. XIII Seminário Nacional de História da Matemática, 14-17 de abril de 2019. Fortaleza, CE, Brasil. ISSN 2236-4102. Disponível em: https://bit.ly/3IKnGEa. Acesso em: 19 nov. 2021.

SUGUITANI, L.; VIANA, J. P.; D’OTTAVIANO, I. M. Loffredo. Alfred Tarski: Conferências na Unicamp em 1975. Lectures at Unicamp in 1975. Campinas: Editora da Unicamp: CLE/Unicamp, 2016. 240 p. (Série Unicamp Ano 50, v. 3; Coleção CLE, v. 76).

Downloads

Published

2023-04-24

How to Cite

Serbena, C. A., & Barboza, P. da S. (2023). Ayda I. Arruda and Itala M. Loffredo D’Ottaviano, from UFPR to Unicamp: historical itinerary and biographical context of two pioneers of logic in Brazil. Revista Da Faculdade De Direito UFPR, 67(3), 37–70. https://doi.org/10.5380/rfdufpr.v67i3.83757

Issue

Vol. 67 No. 3 (2022)

Section

Artigos

License

Authors who publish in the Journal agree to the following terms:
– Authors retain copyright and grant the Journal the right of first publication, with the work licensed under the Attribution-NonCommercial-ShareAlike 4.0 International licence, allowing the work to be shared as long as proper credit is given to the authors and the initial publication in the Journal is acknowledged;
– Reusers must provide appropriate credit, include a link to the license, and indicate if changes were made, but not in any way that suggests the licensor endorses the reuser or their use;
– Reusers may not apply additional restrictions, legal terms, or technological measures that legally restrict others from doing anything the license permits;
– Reusers must attribute credit to the creator and allow others to distribute, remix, adapt, and build upon the material in any medium or format, exclusively for noncommercial purposes and under the same terms, in compliance with Brazilian Law No. 9,610 of February 19, 1998, and other applicable regulations.