Open Journal Systems

Ayda I. Arruda e Itala M. Loffredo D’Ottaviano, da UFPR à Unicamp: itinerário histórico e contexto biográfico de duas pioneiras da lógica no Brasil

Cesar Antonio Serbena, Priscila da Silva Barboza

Resumo


Este artigo explora o itinerário histórico e o contexto das duas primeiras doutoras em lógica no Brasil, as professoras Ayda I. Arruda e Itala M. Loffredo D’Ottaviano, além da primeira geração de doutoras brasileiras em matemática. São examinados e analisados diferentes contextos institucionais que marcam a ciência, principalmente a lógica e matemática, e o seu desequilíbrio de gênero, o qual progressivamente vem sendo mitigado. O foco da análise passa pela Universidade Federal de Paraná (UFPR) e pela Universidade Estadual de Campinas (Unicamp), as duas instituições nas quais trabalhou a professora Ayda. Outro objeto de estudo do artigo foi o desenvolvimento do equilíbrio de gênero nos cursos de engenharia civil e matemática da UFPR. São também analisados alguns indicadores atuais relativos ao equilíbrio de gênero na ciência no contexto internacional e os movimentos atuais pelo incremento do número de mulheres em cargos de direção científica. O artigo apresenta, ao final, uma entrevista original com a professora Itala M. Loffredo D’Ottaviano, cujo tema principal foi a sua biografia e carreira científica e a sua relação pessoal com a professora Ayda I. Arruda, tendo como pano de fundo a desigualdade de gênero na ciência.


Palavras-chave


Primeiras mulheres brasileiras a obter um doutorado em lógica. Mulheres pioneiras na ciência. Equilíbrio de gênero.

Texto completo:

PDF

Referências


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).




DOI: http://dx.doi.org/10.5380/rfdufpr.v67i3.83757