Itala Maria Loffredo D'Ottaviano (nacida en 1944) [1] es una lógica matemática brasileña que fue presidenta de la Sociedad Brasileña de Lógica. Los temas de su trabajo han incluido la lógica no clásica , la lógica paraconsistente , la lógica polivalente y la historia de la lógica . [2]
Después de graduarse en el Conservatorio Musical Carlos Gomes Campinas , en 1960, D'Ottaviano estudió matemáticas en la Pontificia Universidad Católica de Campinas , graduándose en 1966. Obtuvo una maestría en matemáticas en la Universidad de Campinas en 1974, y completó un doctorado allí en 1982, asesorada por Mário Tourasse Teixeira y Newton da Costa , respectivamente. [3] Su tesis doctoral, Sobre una teoría de modelos trivalente , se centró en la teoría de modelos de lógica de tres valores . [4] Obtuvo una habilitación en la Universidad de Campinas en 1987. [3]
, una escuela de música enD'Ottaviano fue investigadora postdoctoral en la Universidad de California , la Universidad de Stanford y la Universidad de Oxford . Enseñó matemáticas en la Universidad de Campinas a partir de 1969 y se convirtió en profesora titular allí en 1998. [3] De 2013 a 2014 fue rectora de estudios de posgrado en la universidad. [5]
Fue presidenta de la Sociedad Brasileña de Lógica en dos ocasiones, de 1994 a 2003 y nuevamente de 2011 a 2014. También dirigió el Comité de Lógica en América Latina de la Asociación de Lógica Simbólica de 1993 a 1999. [5]
Junto con Roberto Cignoli y Daniele Mundici, D'Ottaviano es coautor del libro Algebraic Foundations of Many-Valued Reasoning (Kluwer, 2000). [6]
D'Ottaviano es miembro de pleno derecho de la Academia Internacional de Filosofía de la Ciencia . [7]