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

Abstract

Ayda Ignez Arruda (1936–1983) was a key figure in the development of the Brazilian school of Paraconsistent logic and the first person to write a historical survey of the field. Despite her importance, the only paper entirely devoted to her works is Da Costa and De Alcântara's “The Scientific Work of Ayda I. Arruda”. In this paper, after offering motivation for an investigation of Arruda's work, on the basis of biographical and bibliographical research we present her intellectual development and the originality of her contributions in a new light. With this newly articulated survey of Arruda's thought, we hope to lay the groundwork for future research on her legacy and thus contribute to a new, more inclusive narrative of the history of the analytic tradition in Latin America.