Known as one Brazil’s most original thinkers, Newton da Costa, a logician from Curitiba, died on April 16 at the age of 94 due to complications resulting from a fall he suffered at his home in Florianópolis. Having studied as a civil engineer and mathematician, Costa gained worldwide recognition for the development of paraconsistent logic, which is used to study contradictory opinions, situations, and theories. “My central concern has always been to think systematically about what knowledge is,” he said in an interview with Pesquisa FAPESP in 2008.
“Newton was a revolutionary: he established a new area of research in logic,” says Luiz Henrique Lopes dos Santos, a philosopher from the School of Philosophy, Languages and Literature, and Human Sciences at the University of São Paulo (FFLCH-USP). In classical logic, as Santos explains, there is a principle that if you accept a contradiction, then you can accept anything, and logic therefore ceases to work — it is trivialized. “It is like a rule being broken in a game of chess. It then becomes a game without rules. In other words, the game is over, the rules are meaningless,” continues Santos. “Newton proposed that contradictions can be accepted without invalidating an entire system, preserving only certain rules of classical logic.”
Newton Carneiro Affonso da Costa was born in 1929, into a family of teachers and intellectuals, which explains his first name, in honor of the physicist Isaac Newton (1642–1727). He studied at the Federal University of Paraná (UFPR), graduating first as a civil engineer in 1952 and then in mathematics, in which he completed a bachelor’s degree and a teaching qualification in 1956, followed by a PhD in 1961.
In the late 1950s, he began to develop paraconsistent logic, at the time called “inconsistent and nontrivial systems.” His work was so unorthodox that he was deemed an eccentric in Brazil. With the help of Brazilian mathematician Artibano Micali (1931–2011), his ideas reached the French Academy of Sciences, but were almost not published due to claims that the word “inconsistent” did not exist in French. It was only when mathematician Marcel Guillaume of Clermont-Ferrand University found the word in a text by French mathematician, physicist, and philosopher Henri Poincaré (1854–1912) that Costa’s work received the green light. “His first recognition came from abroad,” says Itala D’Ottaviano, a former student of Costa’s and now a professor of logic and fundamental mathematics at the University of Campinas (UNICAMP).
At the suggestion of his friend, Francisco Miró Quesada, Peru’s former Minister of Education, he changed the name of his theory to “paraconsistent.” In Greek, the prefix “para” means “alongside,” and Costa wanted to emphasize that rather than denying classical logic, he was adding something to it. The new name was officially presented by Quesada, at the 3rd Latin American Symposium on Mathematical Logic (SLALM), held at UNICAMP in 1976.
The system created by Costa converged with a movement that began at the beginning of the twentieth century: the intuitionist logic and discussive logic of Polish logician Stanislaw Jaskowski (1906–1965). Paraconsistent logic began being developed along different lines in countries such as Poland, Australia, and Russia, applied to conflicting information in various fields of knowledge, from robotics to transport and medical diagnostic systems, including psychoanalysis.
Quasi-truth
In 1967, Costa moved from Curitiba to São Paulo, where he taught classes at USP’s Institute of Mathematics and Statistics and at UNICAMP. He was a professor at both universities until he retired in 1984. In the mid-1980s, he became a professor at FFLCH-USP and began teaching the philosophy of science.
In the same decade, he worked with Chilean mathematician Rolando Chuaqui Kettlun (1935–1994), on the theory of quasi-truth, explained in books such as O conhecimento científico (Scientific knowledge; Paulus, 2018). “For me, this concept is the second most important thing of all of his work,” says Edelcio Gonçalves de Souza, a former student of Costa and professor at USP’s Department of Philosophy. “He used to explain it with the following example: classical mechanics is a false theory, because it was followed by the theory of relativity. But to build a building, classical mechanics is used because ‘it works.’ Classical mechanics is, therefore, a quasi-true science.”
In the 2000s, together with physicist Francisco Antonio Dória of the Federal University of Rio de Janeiro (UFRJ), Costa began studying problems linked to this field, applying Kurt Gödel’s (1906–1978) undecidability proof and theorem of incompleteness. “Newton proved that there is no way to predict whether or not a system will enter a state of chaos. In other words, he showed that chaos is undecidable,” says Souza, from USP. “He asked logical questions about physical phenomena—ones that physicists didn’t usually ask.”
Costa moved to Florianópolis in 2003 to be closer to his grandchildren, working as a professor at the Federal University of Santa Catarina (UFSC) until 2022. “He used to say that his objective as an educator was to ‘throw the snake into the students’ Eden,’ to shake up their ideas,” recalls Jonas Arenhart, his colleague at UFSC’s Department of Philosophy.
Three major logic groups were formed around him: one at UNICAMP, another at USP’s Department of Philosophy, and the third at UFSC, in the last phase of his career. “Today there are several logic groups in Brazil that were influenced by these three collectives,” says D’Ottaviano, from UNICAMP.
As a visiting professor or researcher, Costa worked at institutions in Chile, Australia, the USA, Mexico, Italy, France, and other countries. In 1989, he was admitted as a member of the International Institute of Philosophy, based in Paris. He was also a member of the International Academy of Philosophy of Science and the American Association for the Advancement of Science. In 1998, he was awarded the Copernicus Medal by the Nicolaus Copernicus University in Toruń, Poland, and the title of professor emeritus at UNICAMP.
The Brazilian Logic Society’s annual Newton da Costa award, created by Jean-Yves Béziau of UFRJ in 2015, is named in his honor. Béziau, a French-Swiss philosopher and mathematician, moved to Brazil to be supervised by Costa for his PhD, which he defended at USP in 1996. The São Paulo School of Advanced Science in Contemporary Logic, Rationality, and Information, funded by FAPESP and supported by UNICAMP’s Center for Logic, Epistemology, and History of Science (CLE), held an event in Costa’s honor last year. Coordinated by D’Ottaviano, the event brought together 170 people, including students and teachers from Brazil and abroad. It was one of Costa’s last public appearances.
Newton da Costa leaves his wife, Neusa, to whom he was married for almost seven decades, his children Newton Jr., Marcelo, and Sylvia Lúcia, and two granddaughters.
Republish