{"id":9550,"date":"2026-01-14T07:30:39","date_gmt":"2026-01-14T07:30:39","guid":{"rendered":"https:\/\/revistacienciaecultura.org.br\/?p=9550"},"modified":"2026-02-06T18:47:16","modified_gmt":"2026-02-06T18:47:16","slug":"ayda-ignez-arruda-e-a-logica-do-impossivel","status":"publish","type":"post","link":"https:\/\/revistacienciaecultura.org.br\/?p=9550","title":{"rendered":"Ayda Ignez Arruda e a l\u00f3gica do imposs\u00edvel"},"content":{"rendered":"

Pioneira da l\u00f3gica paraconsistente, professora da Unicamp ajudou a redefinir os limites da matem\u00e1tica e abriu caminho para gera\u00e7\u00f5es de pesquisadoras em um campo historicamente masculino.<\/span><\/h4>\n

 <\/p>\n

Quando se fala em l\u00f3gica matem\u00e1tica, costuma-se imaginar um territ\u00f3rio \u00e1rido, abstrato e distante da vida concreta. A trajet\u00f3ria de Ayda Ignez Arruda desmonta esse estere\u00f3tipo. Matem\u00e1tica de proje\u00e7\u00e3o internacional, pesquisadora central na cria\u00e7\u00e3o das l\u00f3gicas paraconsistentes e uma das fundadoras da tradi\u00e7\u00e3o brasileira em l\u00f3gica matem\u00e1tica, Ayda Ignez Arruda construiu sua carreira entre provas formais, disputas intelectuais, viagens acad\u00eamicas e enfrentamentos institucionais \u2014 tudo isso em um per\u00edodo em que mulheres eram exce\u00e7\u00e3o absoluta nesse campo.<\/p>\n

Nascida em 27 de junho de 1936, em Lages, Santa Catarina, Ayda cresceu em um ambiente que valorizava a educa\u00e7\u00e3o e, ainda jovem, deixou sua cidade natal para seguir estudos em Curitiba. Ali, na ent\u00e3o Faculdade de Filosofia da Universidade Cat\u00f3lica do Paran\u00e1, formou-se bacharel em Matem\u00e1tica em 1958 e licenciada em 1959. Foi nesse contexto que conheceu o professor Newton Carneiro Affonso da Costa, personagem central na hist\u00f3ria da l\u00f3gica no Brasil e que se tornaria seu orientador, parceiro intelectual e colaborador ao longo de toda a vida acad\u00eamica.<\/p>\n

Desde cedo, Ayda Ignez Arruda se destacou pela dedica\u00e7\u00e3o e pela capacidade de transitar entre rigor t\u00e9cnico e reflex\u00e3o conceitual. Ainda no in\u00edcio dos anos 1960, passou a integrar o grupo que ficaria conhecido como Escola de Curitiba, ber\u00e7o da pesquisa em l\u00f3gica matem\u00e1tica no pa\u00eds. Em um ambiente marcado por semin\u00e1rios intensos, poucos participantes e debates sofisticados, Ayda Ignez Arruda foi rapidamente reconhecida como uma das mentes mais promissoras do grupo.<\/p>\n

 <\/p>\n

A l\u00f3gica que aceita contradi\u00e7\u00f5es<\/strong><\/h4>\n

O principal legado cient\u00edfico de Ayda Ignez Arruda est\u00e1 ligado \u00e0 l\u00f3gica paraconsistente \u2014 um campo que desafia um dos pilares da l\u00f3gica cl\u00e1ssica: a ideia de que, diante de uma contradi\u00e7\u00e3o, qualquer conclus\u00e3o se torna v\u00e1lida. Em sistemas l\u00f3gicos tradicionais, se uma teoria cont\u00e9m uma inconsist\u00eancia, ela colapsa. A l\u00f3gica paraconsistente prop\u00f5e justamente o contr\u00e1rio: \u00e9 poss\u00edvel lidar com contradi\u00e7\u00f5es de maneira controlada, sem que o sistema inteiro se torne trivial.<\/p>\n

\"\"
\n(Foto: Acervo CLE Unicamp. Reprodu\u00e7\u00e3o)<\/h6>\n

 <\/p>\n

Essa ideia, que hoje encontra aplica\u00e7\u00f5es em \u00e1reas como intelig\u00eancia artificial, ci\u00eancia da computa\u00e7\u00e3o, direito e filosofia, era profundamente inovadora nas d\u00e9cadas de 1960 e 1970. Ayda Ignez Arruda foi a primeira pesquisadora a formalizar matematicamente as ideias do l\u00f3gico russo Nicolai A. Vasiliev, transformando intui\u00e7\u00f5es filos\u00f3ficas em sistemas formais rigorosos. O resultado desse trabalho pioneiro foi decisivo para a consolida\u00e7\u00e3o das l\u00f3gicas paraconsistentes como um campo leg\u00edtimo de investiga\u00e7\u00e3o cient\u00edfica.<\/p>\n

Em 1966, Ayda Ignez Arruda defendeu sua tese de doutorado e livre-doc\u00eancia, intitulada Considera\u00e7\u00f5es sobre os Sistemas Formais NFn<\/em>, sob orienta\u00e7\u00e3o de Newton da Costa, na Universidade Federal do Paran\u00e1. O trabalho marcou sua inser\u00e7\u00e3o definitiva no cen\u00e1rio internacional da l\u00f3gica matem\u00e1tica e consolidou sua posi\u00e7\u00e3o como colaboradora central no desenvolvimento dos sistemas paraconsistentes.<\/p>\n

 <\/p>\n

Da Escola de Curitiba \u00e0 Unicamp<\/strong><\/h4>\n

Em 1968, um movimento decisivo mudou o rumo da l\u00f3gica no Brasil \u2014 e da pr\u00f3pria carreira de Ayda Ignez Arruda. Newton da Costa se transferiu para Campinas para integrar a rec\u00e9m-criada Universidade Estadual de Campinas (Unicamp), levando consigo o projeto de construir ali um novo polo de excel\u00eancia em l\u00f3gica e fundamentos da matem\u00e1tica. A pesquisadora foi convidada a integrar o corpo docente do Instituto de Matem\u00e1tica, Estat\u00edstica e Ci\u00eancia da Computa\u00e7\u00e3o (IMECC) como professora titular da \u00e1rea.<\/p>\n

 <\/p>\n

\u201cAyda Ignez Arruda foi a primeira pesquisadora a formalizar as ideias de Vasiliev, dando origem aos sistemas de l\u00f3gica paraconsistente.\u201d<\/em><\/span><\/h4>\n

 <\/p>\n

Sua chegada \u00e0 Unicamp marca o in\u00edcio do chamado Grupo de L\u00f3gica de Campinas, que rapidamente se tornou refer\u00eancia nacional e internacional. Ayda Ignez Arruda n\u00e3o apenas deu continuidade \u00e0s pesquisas iniciadas em Curitiba, como ampliou o alcance da \u00e1rea por meio da organiza\u00e7\u00e3o de eventos, semin\u00e1rios e interc\u00e2mbios acad\u00eamicos. Em 1975, por exemplo, organizou na Unicamp o Simp\u00f3sio de L\u00f3gica Matem\u00e1tica que teve como principal conferencista Alfred Tarski, um dos maiores l\u00f3gicos do s\u00e9culo XX \u2014 um feito not\u00e1vel para a ci\u00eancia brasileira da \u00e9poca.<\/p>\n

O grupo ganhou novo impulso com a cria\u00e7\u00e3o, em 1977, do Centro de L\u00f3gica, Epistemologia e Hist\u00f3ria da Ci\u00eancia (CLE), do qual Ayda Ignez Arruda foi membro fundadora. O CLE se tornaria um espa\u00e7o central para a articula\u00e7\u00e3o entre l\u00f3gica, filosofia e hist\u00f3ria da ci\u00eancia no Brasil, reunindo pesquisadores de diferentes \u00e1reas e consolidando uma tradi\u00e7\u00e3o intelectual que perdura at\u00e9 hoje.<\/p>\n

 <\/p>\n

Ci\u00eancia, institui\u00e7\u00f5es e lideran\u00e7a<\/strong><\/h4>\n

Al\u00e9m da produ\u00e7\u00e3o cient\u00edfica, Ayda Ignez Arruda exerceu papel fundamental na constru\u00e7\u00e3o institucional da l\u00f3gica no pa\u00eds. Foi uma das fundadoras da Sociedade Brasileira de L\u00f3gica (SBL), criada em 1979, tendo ocupado cargos de vice-presid\u00eancia e presid\u00eancia entre 1981 e 1983. Em um per\u00edodo em que mulheres raramente ocupavam posi\u00e7\u00f5es de lideran\u00e7a cient\u00edfica, sua atua\u00e7\u00e3o ganhou destaque inclusive na imprensa.<\/p>\n

\"\"
\n(Foto: Acervo CLE Unicamp. Reprodu\u00e7\u00e3o)<\/h6>\n

 <\/p>\n

Na Unicamp, a pesquisadora tamb\u00e9m assumiu responsabilidades administrativas relevantes. Foi chefe do Departamento de Matem\u00e1tica e, em abril de 1980, tornou-se diretora do IMECC, cargo que ocupou at\u00e9 sua morte. Durante esse per\u00edodo, enfrentou momentos turbulentos, como a interven\u00e7\u00e3o sofrida pela universidade em 1981, da qual foi afastada temporariamente e \u00e0 qual retornou ap\u00f3s decis\u00e3o judicial.<\/p>\n

Mesmo diante das demandas administrativas, manteve intensa atividade acad\u00eamica. Foi professora visitante e conferencista em universidades da Fran\u00e7a, Pol\u00f4nia, Chile e outros pa\u00edses, participou de bancas de doutorado, orientou estudantes de p\u00f3s-gradua\u00e7\u00e3o e publicou trabalhos em peri\u00f3dicos internacionais de prest\u00edgio.<\/p>\n

 <\/p>\n

Uma mulher \u00e0 frente de seu tempo<\/strong><\/h4>\n

Pensar a trajet\u00f3ria de Ayda Ignez Arruda tamb\u00e9m exige reconhecer seu pioneirismo como mulher em um campo historicamente masculino. Em meio a um ambiente cient\u00edfico dominado por homens, a pesquisadora construiu autoridade intelectual, liderou grupos de pesquisa, ocupou cargos institucionais e deixou uma produ\u00e7\u00e3o cient\u00edfica de impacto duradouro. N\u00e3o por acaso, \u00e9 frequentemente lembrada como uma das primeiras mulheres a atuar de forma decisiva na l\u00f3gica matem\u00e1tica no Brasil.<\/p>\n

 <\/p>\n

\u201cEm um campo dominado por homens, <\/em>Ayda Ignez Arruda construiu autoridade intelectual, liderou institui\u00e7\u00f5es e deixou um legado duradouro para a matem\u00e1tica brasileira.\u201d<\/em><\/span><\/h4>\n

 <\/p>\n

Ayda Ignez Arruda faleceu precocemente em 13 de outubro de 1983, em Campinas, aos 47 anos, v\u00edtima de c\u00e2ncer. Sua morte interrompeu uma carreira em pleno vigor, mas n\u00e3o apagou seu legado. Em 1985, a Unicamp dedicou \u00e0 sua mem\u00f3ria o VII Simp\u00f3sio Latino-Americano de L\u00f3gica Matem\u00e1tica. Em 1990, o CLE publicou um de seus \u00faltimos trabalhos, N. A. Vasiliev e a l\u00f3gica paraconsistente<\/em>. Seu arquivo pessoal, hoje preservado no Centro de L\u00f3gica, re\u00fane centenas de documentos que testemunham sua import\u00e2ncia cient\u00edfica e institucional.<\/p>\n

A hist\u00f3ria da l\u00f3gica paraconsistente no Brasil n\u00e3o pode ser contada sem Ayda Ignez Arruda. Sua contribui\u00e7\u00e3o foi t\u00e9cnica, conceitual, institucional e simb\u00f3lica. Ao formalizar sistemas l\u00f3gicos que aceitam contradi\u00e7\u00f5es sem colapsar, ela ajudou a ampliar os horizontes da matem\u00e1tica. Ao ocupar espa\u00e7os de lideran\u00e7a, abriu caminhos para outras mulheres na ci\u00eancia. E ao formar grupos, institui\u00e7\u00f5es e redes, deixou uma heran\u00e7a que segue viva na pesquisa contempor\u00e2nea.<\/p>\n

 <\/p>\n

Capa: CLE Unicamp. Reprodu\u00e7\u00e3o<\/h6>\n

 <\/p>\n

Ci\u00eancia & Cultura<\/a>\u00a0\u00a9 2022 by\u00a0SBPC<\/a>\u00a0is licensed under\u00a0CC BY-SA 4.0 \u00a0 <\/a>\"\"\"\"\"\"<\/span><\/h6>\n","protected":false},"excerpt":{"rendered":"Pioneira da l\u00f3gica paraconsistente, professora da Unicamp ajudou a redefinir os limites…\n","protected":false},"author":19,"featured_media":9554,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[1,2],"tags":[],"acf":[],"_links":{"self":[{"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=\/wp\/v2\/posts\/9550"}],"collection":[{"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=\/wp\/v2\/users\/19"}],"replies":[{"embeddable":true,"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=9550"}],"version-history":[{"count":4,"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=\/wp\/v2\/posts\/9550\/revisions"}],"predecessor-version":[{"id":9706,"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=\/wp\/v2\/posts\/9550\/revisions\/9706"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=\/wp\/v2\/media\/9554"}],"wp:attachment":[{"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=9550"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=9550"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/revistacienciaecultura.org.br\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=9550"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}