Ayda Ignez Arruda

Ayda Ignez Arruda (født 27. juni 1936 i Lajes , Santa Catarina ; † 13. oktober 1983 ) var en brasiliansk logiker og universitetsprofessor.

Liv

I 1966 tok hun doktorgraden med en avhandling om Considerações sobre os Sistemas Formais NFn under Newton da Costa , ved Universidade Federal do Paraná . Hun ble påvirket av Mário Tourasse Teixeira , Marcel Guillaume , António Monteiro , Andrés Raggio , Alfred Tarski og Vasili'ev.

Arruda underviste blant annet. ved universitetet i Claude-Bernard Lyon 1 , ved Nicolaus Copernicus University i Toruń og ved det katolske universitetet i Chile i Santiago de Chile og var professor ved Universidade Estadual de Campinas . Hun var et av grunnleggerne av Centro de Lógica, Epistemologia e História da Ciência da Unicamp og Sociedade Brasileira de Lógica (SBL), hvorav hun var generalsekretær fra 1979 til 1981, og deretter presidenten til 1983.

Publikasjoner

• Considerações sobre os sistemas formais NFn . Matematikk Fagklassifisering: 03 - Matematisk logikk og grunnlag (avhandling), Universidade Federal do Paraná 1966.

Arruda har publisert over 40 artikler i vitenskapelige tidsskrifter og som uavhengige publikasjoner, var hun også redaktør for prosedyrene for de latinamerikanske logikkonferansene : 1975 av Atas do Simpósio de Lógica Matemática , 1977 publiserte hun sammen med NCA da Costa og R. Chuaqui i Nord -Holland skrev bindet Non-Classical Logic, Model Theory and Computability , fulgt i 1978 av Mathematical Logic: Proceedings of the First Brazilian Conference on Mathematical Logic and A Survey of Paraconsistant Logic . I 1979 publiserte IMECC-UNICAMP en mindre skrift NA Vasilev ea Lógica Paraconsistente , 1980 On the Relevant Systems P and P * og noen relaterte systemer . Hun fungerte også som redaktør for volumet av Proceedings of the Third Brazilian Conference on Mathematical Logic , etterfulgt av den uavhengige publikasjonen Aspects of the Historical Development of Paraconsistent Logic (1980).

publisert postumt

• Merknader i Da Costa's parakonsistente settteorier . 1985 ( digitalisert i GDZ ).
• med Graham Priest : Parakonsistent logic: essays on the inconsistent , 1989, ISBN 3-88405-058-3 .

litteratur

• Roberto Cignoli: Ayda Ignez Arruda (1936-1983). I: Studia Logica 1984, bind 43, nr. 1/2, s. 1-2. ( JSTOR stabil url ).
• Det vitenskapelige arbeidet til AI Arruda. I: Luiz Paulo De Alcantara (red.): Methods and Applications of Mathematical Logic , American Mathematical Society 1988, ISBN 978-0-8218-5076-3 , s. 1-18. ( Forhåndsvisning i Google Book Search).

weblenker

• Litteratur av og om Ayda Ignez Arruda i den bibliografiske databasen WorldCat

Individuelle bevis

1. ↑ Centro de Logica, Epistemologia e Historikk da Ciencia ( Memento av den opprinnelige fra 10 juni 2015 i Internet Archive ) Omtale: The arkivet koblingen ble satt inn automatisk og har ennå ikke blitt sjekket. Vennligst sjekk originalen og arkivlenken i henhold til instruksjonene, og fjern deretter denne meldingen. @1@ 2Mal: Webachiv / IABot / www.cle.unicamp.br
2. ↑ Prof. Ayda Ignez Arruda - Diretora do IMECC ( Memento of October 4, 2005 in the Internet Archive )