Itala Maria Loffredo D'Ottaviano (born 1944) is a Brazilian

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

ian who was president of the Brazilian Logic Society. Topics in her work have included

non-classical logic Non-classical logics (and sometimes alternative logics or non-Aristotelian logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this ...

paraconsistent logic Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true. Specifically, paraconsistent logic is the subfield of log ...

many-valued logic Many-valued logic (also multi- or multiple-valued logic) is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's Term logic, logical calculus, there were only two possible values (i.e., "true" and ...

, and the

history of logic The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in Indian logic, India, Logic in China, China, and Greek philosophy, Greece. Greek methods, particula ...

Education

After graduating from the , a music school in

Campinas Campinas (, ''Plains'' or ''Meadows'') is a Brazilian Municipalities of Brazil, municipality in São Paulo (state), São Paulo State, part of the country's Southeast Region, Brazil, Southeast Region. According to the 2020 estimate, the city's popul ...

, in 1960, D'Ottaviano studied mathematics at the

Pontifical Catholic University of Campinas The Pontifical Catholic University of Campinas (, PUC-Campinas; ) is a private and non-profit Catholic university, located in Campinas, the second largest city in the State of São Paulo. The university is maintained by the Catholic Archdiocese o ...

, graduating in 1966. She earned a master's degree in mathematics at the

University of Campinas The University of Campinas (), commonly called Unicamp, is a public research university in the state of São Paulo (state), São Paulo, Brazil. Established in 1962, Unicamp was designed from scratch as an integrated Research institute, researc ...

in 1974, and completed a Ph.D. there in 1982, advised by Mário Tourasse Teixeira and

Newton da Costa Newton Carneiro Affonso da Costa (16 September 1929 – 16 April 2024) was a Brazilian mathematician, logician, and philosopher. Born in Curitiba, he studied engineering and mathematics at the Federal University of Paraná in Curitiba and t ...

, respectively. Her doctoral dissertation, ''Sobre Uma Teoria de Modelos Trivalente'', concerned the

model theory In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...

three-valued logic In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating ''true'', ''false'', and some third value ...

. She earned a

habilitation Habilitation is the highest university degree, or the procedure by which it is achieved, in Germany, France, Italy, Poland and some other European and non-English-speaking countries. The candidate fulfills a university's set criteria of excelle ...

at the University of Campinas in 1987.

Career

D'Ottaviano was a postdoctoral researcher at the

University of California The University of California (UC) is a public university, public Land-grant university, land-grant research university, research university system in the U.S. state of California. Headquartered in Oakland, California, Oakland, the system is co ...

Stanford University Leland Stanford Junior University, commonly referred to as Stanford University, is a Private university, private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth ...

, and the

University of Oxford The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest un ...

. She taught mathematics at the University of Campinas beginning in 1969, and became a titular professor there in 1998. From 2013 to 2014 she was Provost of Graduate Studies at the university. She was president of the Brazilian Logic Society twice, from 1994 to 2003 and again from 2011 to 2014. She also headed the Committee on Logic in Latin America of the

Association for Symbolic Logic The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL ...

from 1993 to 1999.

Book

With Roberto Cignoli and Daniele Mundici, D'Ottaviano is a coauthor of the book ''Algebraic Foundations of Many-Valued Reasoning'' (Kluwer, 2000).

Recognition

D'Ottaviano is a full member of the International Academy of Philosophy of Science.

References

External links

* {{DEFAULTSORT:D'Ottaviano, Itala 1944 births Living people Brazilian mathematicians Brazilian women mathematicians State University of Campinas alumni Mathematical logicians Women logicians