
Identity area
Reference code
BR SPCLEARQ CIMLD-H-1
Title
Versão preliminar do dicionário de termos usados na Universidade
Date(s)
- 1977-02-08 (Creation)
Level of description
Item
Extent and medium
Context area
Name of creator
(1944-)
Biographical history
Í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.
Archival history
Immediate source of acquisition or transfer
Content and structure area
Scope and content
Versão preliminar do dicionário de termos usados na Universidade. Publicado no jornal "Correio Popular".
Appraisal, destruction and scheduling
Accruals
System of arrangement
Conditions of access and use area
Conditions governing access
Consulta livre mediante cadastro do pesquisador
Conditions governing reproduction
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Language of material
- Portuguese
Script of material
Language and script notes
Finding aids
Allied materials area
Existence and location of originals
Existence and location of copies
Related units of description
Notes area
Alternative identifier(s)
Access points
Subject access points
Place access points
Name access points
Genre access points
Description control area
Description identifier
Institution identifier
Rules and/or conventions used
Level of detail
Dates of creation revision deletion
Language(s)
Script(s)
Sources
Archivist's note
CIMLD, H, AF, Ps.1, 01