Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Home Topics Titles Quotes Blog Featured Help
Walter A. Carnielli
State University of Campinas - UNICAMP
Campinas, Brazil

Walter Carnielli is an Italian-Brazilian mathematician, logician, and philosopher. He is currently a full professor of logic at the State University of Campinas (UNICAMP). He obtained his Bachelor and MsC degrees in mathematics at the State University of Campinas, where he also earned his PhD under the supervision of Newton da Costa. Subsequently, he served as a research fellow at the University of California in Berkeley, following an invitation by Leon Henkin.

His areas of interest are many-valued logic and paraconsistent logic, combinatorics, modulated logics, and combinations of logics. Carnielli has contributed to the proof theory and semantics of many-valued logics and paraconsistent logics; his tableau method for many-valued logics generalized all previous treatments of the subject. He is also the founder of possible-translations semantics, a new semantical interpretation for paraconsistent logics and several other logics that contributed to a revival in the philosophical interpretation of paraconsistency. Carnielli also proposed, with collaborators, the logics of formal inconsistency, a deep generalization of paraconsistent logics that systematize a large class of paraconsistent logics.

He has also published on finite and infinite combinatorics, and developed (with collaborators) modulated logics, a new kind of logics that allow the formalization of qualitative reasoning by means of special generalized quantifiers. His research also includes model theory, non-classical logics, and foundations of quantum computation and combinations of logics.

Carnielli served as a Director for the Centre for Logic, Epistemology and the History of Science at UNICAMP for three terms, and served as President of the Brazilian Logic Society. He was distinguished with an Alexander von Humboldt Grant for long-term research stays in Germany, and served as en editor and/or a member of editorial boards of major journals, including Studia Logica, Logic and Logical Philosophy, Journal of Applied Logic, CLE e-Prints, Reports on Mathematical Logic, and Journal of Applied Non-Classical Logics. He is currently executive editor of the Logic Journal of the IGPL.

Carnielli is a recipient of the Telesio-Galilei Gold Medal Award 2012 in Philosophy and Mathematics and winner of the Jabuti Prize, the most prestigious literary prize in Brazil.

Almost 90 of his papers in logic, philosophy, foundations of mathematics, combinatorics, computability, and set theory have been published, in addition to almost 12 books.


 Deception in the digital age: exploiting and defending human targets through computer-mediated communications
Malin C., Gudaitis T., Holt T., Kilger M.,  ACADEMIC PRESS, Cambridge, MA, 2017. 284 pp. Type: Book (978-0-124116-30-6), Reviews: (4 of 4)

The basis of deception is misdirection: it amounts to making something insignificant seem important, while really relevant things go unnoticed. This strategy is used not only by spammers, crackers, cyber criminals, and cyber terrorists, but also b...


It probably works
McMullen T.  Communications of the ACM 58(11): 50-54, 2015. Type: Article

This short article aims to introduce the beauty of probabilistic (or randomized) algorithms, which allow problems to be solved that could not be solved otherwise due to difficulties generated by combinatorial explosion....


Dag Prawitz on proofs and meaning
Wansing H.,  Springer Publishing Company, Incorporated, New York, NY, 2014. 458 pp. Type: Book (978-3-319110-40-0)

Swedish logician and philosopher Dag Prawitz and his distinguished contributions to philosophical and mathematical logic are the focus of this book. Gerhard Gentzen, in his PhD thesis published in 1934, introduced the seminal idea of structural pr...


Big data integration theory: theory and methods of database mappings, programming languages, and semantics
Majkić Z.,  Springer Publishing Company, Incorporated, New York, NY, 2014. 473 pp. Type: Book (978-3-319041-55-1), Reviews: (2 of 2)

“Big data” is a catchy term used to refer to high-volume, high-velocity information assets, either structured or unstructured, that appear in a huge variety of forms. The idea behind big data is that large bodies of data would produce ...


Models and games
Väänänen J.,  Cambridge University Press, New York, NY, 2011. 380 pp. Type: Book (978-0-521518-12-3)

Why are games so fascinating and pervasive that they gain the attention not only of computer scientists, philosophers, economists, and social scientists but also, as in the case of this book, of logicians and mathematicians?...


Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy