Unidad documental simple 1 - Versão preliminar do dicionário de termos usados na Universidade

Ítala Maria Loffredo D’Ottaviano nasceu em São Paulo. Fez graduação e aperfeiçoamento em Música pelo Conservatório Musical Carlos Gomes em Campinas. Graduação e licenciatura em Matemática pela Pontifícia Universidade Católica de Campinas, em 1966. O mestrado em Matemática com a Dissertação: Fechos Caracterizados por Interpretações foi orientado pelo professor Mario Tourasse Teixeira, junto ao Departamento de Matemática, da Universidade Estadual de Campinas, em 1974. E seu doutorado, também na Unicamp, em 1982, no mesmo Departamento de Matemática: Sobre uma Teoria de Modelos Trivalente, com orientação do professor Newton Carneiro Affonso da Costa. Foi membro fundadora do Centro de Lógica, Epistemologia e História da Ciência e Diretora deste Centro de 1986 a 1992. Atualmente é professora titular de Lógica do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas (IFCH), Unicamp e Diretora do CLE desde 2004. Fez pós-doutoramento na University of Califórnia - Berkeley, Stanford University nos Estados Unidos, 1984-1985 e University of Oxford, Inglaterra, 1988. Na sua trajetória profissional ocupou outros cargos tais como: Presidente da Sociedade Brasileira de Lógica, do Committee on Logic in Latin America – Association for Symbolic Logic e da Comissão de Atividades Interdisciplinares (CAI) do Conselho Universitário da Unicamp; Coordenadora da Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa (COCEN) da Unicamp; Secretária de Educação do Município de Campinas; Criadora e Editora da Coleção CLE, coleção de livros publicados pelo Centro de Lógica, Epistemologia e História da Ciência, nas áreas de lógica, epistemologia e história da ciência; Editora do Boletim da Sociedade Brasileira de Lógica; Assessora "ad-hoc" da FAPESP, CNPq, CAPES, FAEP/Unicamp, FAP/DF, FONDICYT/Chile e IVIC/Venezuela, Argentina; Membro do Grupo de Lógica Teórica e Aplicada (GLTA) do CLE/IFCH – Unicamp; Líder dos Grupos de Pesquisa "Auto-Organização" e "Lógica e Epistemologia" do CLE e IFCH/Unicamp, cadastrados no Diretório dos Grupos de Pesquisa no Brasil – CNPq, Plataforma Lattes; "Reviewer" ad Zentralbatt für Mathematik, Mathematical Reviews e Journal of Symbolic Logic. Atua como refererencia de importantes revistas científicas nacionais e do exterior (Ciência e Cultura, Manuscrito, Boletim da Sociedade Paranaense de Matemática, The Journal of Applied Non-Classical Logics e Studia Lógica). É membro do corpo editorial das seguintes publicações: Coleção CLE; The Journal of Applied Non-Classical Logics e Ludus Vitalis - Journal of Philosophy of Life Sciences; Revista Vivência Episteme. Possui inúmeras publicações, dentre as mais relevantes destacam-se: On NCGw: a paraconsistent sequent calculus. Lecture Notes in Pure and Applied Mathematics. Ed. Marcel Dekker, New York, USA, v.228, p.227-240, 2002; Em colaboração com José Eduardo Moura; Conservative Translations. Annals of Pure and Applied Logic, Ed: North Holland, Amsterdam, Holland, v.108, p.205-227, and 2001; Em colaboração com H. A. Feitosa; Natural deduction for paraconsistent logic, Logica Trianguli, v.4, p.3-24, 2000; Em colaboração com Milton A. de Castro; Algebraic Foundations of Many-Valued Reasoning. Ed: Kluwer Acad. Publ., Dorderecht, Holanda, Trends in Logic, v.2, 223p, 2000; Em colaboração com Roberto L.O. Cignoli e Daniele Mundici; Paraconsistent Logics and Translations. Synthese – an International Journal for Epistemology, Methodology and Philosophy of Science, Ed: Kluwer Acad. Publ., Dorderecht, Holanda, v.125, n.12, p.77-95, and 2000; Em colaboração com Hércules A. Feitosa; Translations between Logics. Lecture Notes in Pure and Applied Mathematics, Models, Algebras and Proofs, v.203, p.435-448, 1999; Em colaboração com Jairo J. Silva e Antonio M. Sette. Many-Valued Logics and Translations. The Journal of Applied Non-Classical Logics, Ed: Editions Hermes, Paris,  France, v.9, n.1, p.121-140, and 1999; Em colaboração com Hércules A. Feitosa; Definability and Quantifier Elimination for J3-Theories. Studia Logica, Ed: Kluwer Acad. Publ., Dorderecht, Holanda, v.46, n.1, p.37-54, 1987; The Model Extension Theorems for J3-Theories. Lecture Notes in Mathematics, Methods in Mathematical Logic, Ed: Springer & Verlag, Berlin, Alemanha, v.1130, p.157-173, 1985; The Conditional and Paraconsistent Logics. Lecture Notes in Pure and Applied Mathematics, v.94, Mathematical Logic and Formal Systems, New York: Marcel Dekker, p.141-160, 1985. Em colaboração com E.G.K. López-Escobar.