Ítala Maria L.D'Ottaviano

Possui Bacharelado em Música-Piano, pelo Conservatório Musical Carlos Gomes. Bacharelado em Matemática, pela Pontifícia Universidade Católica de Campinas. Mestrado em Matemática e Doutorado em Matemática, pela Universidade Estadual de Campinas. Também possui Pós-Doutorado na Universidade da Califórnia - Berkeley, na Universidade de Stanford e na Universidade de Oxford. É membra fundadora do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp e da Sociedade Brasileira de Lógica (SBL). Suas funções memoráveis foram: Diretora do CLE, por quatro mandatos (1986-1993; 2004-2009), Presidente da SBL, por quatro mandatos (1994-2003; 2011-2014), Presidente do Latin-American Committee on Logic da Association for Symbolic Logic, por dois mandatos (1993-1999), Coordenadora da Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa (COCEN) da Unicamp, por dois mandatos (1998-2002; 2009-2013) e Pró-Reitora de Pós-Graduação (PRPG) da Unicamp (2013-2014).

 

Membro de várias sociedades científicas. Professora convidada em diversas universidades do Brasil, América e Europa, conferencista plenária em diversos eventos internacionais. Criadora e editora da Coleção CLE, coleção de livros nas áreas de lógica, epistemologia e história da ciência, com mais de 80 volumes publicados.

Entre 1969 e 1993, foi docente do Departamento de Matemática do Instituto de Matemática, Estatística e Computação Científica (IMECC) e, desde 1993, é Professora do Departamento de Filosofia da Universidade Estadual de Campinas, sendo Livre-Docente desde 1987. Atualmente, é Professora Titular Colaboradora em Lógica e Fundamentos da Matemática, no mesmo departamento. Suas áreas de atuação são Lógica e Fundamentos da Matemática, História e Filosofia da Ciência, Álgebra de Lógica, Lógicas Não-Clássicas, Lógica Universal, Teoria da Auto-Organização e Sistêmica. É membro eleita da Académie Internationale de Philosophie des Sciences (AIPS). Assessora ad hoc de diversas instituições de ensino e de fomento ao ensino e à pesquisa do Brasil e do exterior. Consultora, reviewer e membro de conselhos editoriais de periódicos de circulação internacional, do Brasil e do exterior. Membro de comissões científicas e coordenadora de diversos eventos brasileiros e internacionais.

 

Linhas de Pesquisa:

  • Lógica
  • Fundamentos da Matemática
  • História e Filosofia da Ciência
  • Álgebra de Lógica
  • Lógicas Não-Clássicas
  • Lógica Universal
  • Teoria da Auto-Organização
  • Sistêmica

 

Publicações mais relevantes:

  • D'OTTAVIANO, I. M. L.. Definability and quantifier elimination for J3-theories. Studia Logica, Kluwer Acad. Publ., Dordrecht, v. 46, n.1, p. 37-54, 1987.
  • D'OTTAVIANO, I. M. L.; COSTA, N. C. A. da . Sur un problème de Jaskowski. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, França, v. 270-A, p. 1349-1353, 1970.
  • D'OTTAVIANO, I. M. L.; LÓPEZ ESCOBAR, E. G. K. . The conditional and paraconsistent logics (Lectures Notes in Pure and Applied Mathematics). Mathematical Logic and Formal Systems, v. 203, p. 141-160, 1985.
  • D'OTTAVIANO, I. M. L.. The model extension theorems for J3-theories. (Lectures Notes in Mathematics). Methods In Mathematical Logic, Springer & Verlag, Berlin, v. 1130, p. 157-173, 1985.
  • D'OTTAVIANO, I. M. L.. The completeness and compactness of a three-valued first order logic. Revista Colombiana de Matemáticas, Bogotá, Colômbia, v. XIX, n.1-2, p. 31-42, 1985.
  • D'OTTAVIANO, I. M. L.; EPSTEIN, R. L. . A many-valued paraconsistent logic. Reports on Mathematical Logic, Wydawnictwo U Jagiell., Krakow, v. 22, p. 89-103, 1988.
  • D'OTTAVIANO, I. M. L.. On the development of paraconsistent logic and da Costa's work. The Journal of Non-Classical Logic, CLE / Unicamp, Campinas, SP, v. 7, n.1/2, p. 89-152, 1990.
  • D’OTTAVIANO, I. M. L.; FEITOSA, H. A. On Gödel's modal interpretation of intuitionistic logic. In: Jean-Yves Béziau. (Org.). Universal Logic: an anthology from Paul Hertz to Dov Gabbay. Springer, 2012, v. XVIII, p. 71-88.
  • D’OTTAVIANO, I. M. L.; SILVA, J. J., SETTE, A. M. A. Translations between logics. Lecture Notes in Pure and Applied Mathematics, v. 203, p. 435-448, 1999.
  • D’OTTAVIANO, I. M. L.; FEITOSA, H. A. Conservative translations. Annals of Pure and Applied Logic,    North Holand, Amsterdam, v. 108, p. 205-227, 2001.​​​

 

​​Livros:

  • GOMES, E. L. ; D'OTTAVIANO, I. M. L. . Para além das Colunas de Hércules, uma história da paraconsistência - De Heráclito a Newton da Costa. Coleção CLE, v. 80; Série Unicamp Ano 50. Campinas, SP: CLE/Editora da Unicamp. 1. ed. Campinas
  • D’OTTAVIANO, I. M. L., SUGUITANI, L.O., VIANA, J. P. Alfred Tarski: Conferências na Unicamp em 1975 - Lectures at Unicamp in 1975. Coleção CLE, v. 76; Série Unicamp Ano 50, v. 3. Campinas, SP: CLE/Editora da Unicamp. 1ª. ed. Campinas, 2016. 240p.
  • CIGNOLI, R.L.O., D'OTTAVIANO, I.M.L., MUNDICI, D. Algebraic foundations of many-valued reasoning (Trends in Logic). Dordrecht: Kluwer Academic Publishers, v. 2, p. 223, 2000.
  • D'OTTAVIANO, I. M. L.; MUNDICI, D. (Org.) . The Legacy of Newton da Costa. Studia Logica, v. 97, n. 1. Springer Verlag. Springer Verlag, 2011.

Grupos de pesquisa:

  • Lógica e Epistemologia. CLE. Responsável.
  • Grupo de Lógica Teórica e Aplicada. CLE. Participante.
  • Grupo CLE Auto-Organização. CLE. Responsável.

 

Eventos:

  • VENTURI, Giorgio (Organizador); BERTATO, F. M. (Organizador); ALMEIDA, Edgar Luís Bezerra de (Organizador); CONIGLIO, Marcelo E. (Co-Presidente); D’OTTAVIANO, Ítala M. Loffredo (Co-Presidente); BIRABEN, Rodolfo Cristian E (Organizador); ERTOLA, Rodolfo (Organizador); GOMES, Nelson Gonçalves (Organizador); GORSKY, S. B. (Organizador); LOPES, Bruno (Organizador); SANZ, Wagner de Campos (Co-Presidente); SILVA FILHO, Marcos Antonio da (Organizador); SILVESTRE, Bruno Silva (Organizador); VENTURA, Daniel Lima (Organizador); "XVIII Brazilian Logic Conference", 05/2017, XVIII EBL - 18th Brazilian Logic Conference, Sociedade Brasileira de Lógica e Universidade Federal de Goiás.

 

Orientandos:

-Mestrado

  • Rodrigo Alexandre Costa. Sobre a ubiquidade da lógica paraconsistente trivalente J3. Início em 2015. CAPES.
  • Ciro Watanabe.  Sobre a crítica de Searle ao realismo computacional da mente. Início em 2019. CAPES.

 

-Doutorado

 

Linhas de Pesquisa:
Função: Professor(a) Colaborador(a)
Prédio: Administração – 1º Piso – Direção
Sala: 17
Fone: +55 (19) 35214729