Olá!
Convidamos a comunidade a celebrar conosco o
5º Dia Carol Blasio por Diversidade na Lógica, momento em que nós,
Lógicas Brasileiras, reservamos para celebrar a memória de Carolina Blasio junto das pessoas que tiveram suas trajetórias entrelaçadas com a dela.
Este ano marca o centenário da concessão do doutorado de
Christine Ladd-Franklin pela Johns Hopkins University — um diploma que lhe foi formalmente entregue apenas em 1926, 44 anos após ela ter completado todos os requisitos para o título. Ladd-Franklin, que escreveu sua dissertação "On the Algebra of Logic" sob orientação de Charles Sanders Peirce, foi a primeira mulher norte-americana a receber instrução formal em matemática e lógica simbólica. Que o reconhecimento de sua competência tenha precisado esperar quase meio século é um lembrete de que os obstáculos enfrentados por mulheres na lógica são, antes de tudo, institucionais.
Aproveitamos a ocasião para olhar também para mulheres que fizeram história em nosso nosso território. Neste dia Carol Blasio por Diversidade na Lógica, celebramos a memória e o legado de
Ayda Ignez Arruda (1936–1983), doutora e livre-docente com a tese “Considerações sobre os Sistemas Formais NFn” em 1966. Ayda foi uma figura central não só no desenvolvimento da escola brasileira de lógica paraconsistente, mas também na institucionalização da Lógica Matemática no Brasil: foi membro fundadora do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica — da qual foi vice-presidenta e presidenta.
Para marcar a celebração, realizaremos uma mesa redonda com as professoras
Itala D'Ottaviano e
Gisele Secco, que conversarão sobre a trajetória, a obra e o legado de Ayda Ignez Arruda.
Sobre o evento:
🗓️ 19 de março de 2026
⌚ 17h30 (horário de Brasília)
🖥️ Transmissão ao vivo pelo YouTube:
https://www.youtube.com/watch?v=cLPjSsrkk_Q Nos vemos lá!
Atenciosamente,
Evelyn em nome das Lógicas Brasileiras