CV Lattes
ResearcherID
ORCID
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Institutional affiliation from the last research proposal) Birthplace: Brazil
FULL PROFESSOR OF LOGIC, DEPARTMENT OF PHILOSOPHY, STATE UNIVERSITY OF CAMPINAS, BRAZIL, SINCE 1994-; Director of the Centre for Logic, Epistemology and the History of Science, 1998-2004, and 2010-2015 Member of the Security and Quantum Information Group, Institute of Telecommunications, Lisbon, Portugal, 2006-. President of the Brazilian Logicc Society, 2007-2011 Specialties: Logic and foundations of mathematics, philosophical logic, non-classical logics Educated: State University of Campinas, PhD Mathematics, 1982, MSc Mathematics, 19 PhD thesis: Systematization of the finite many valued logics through the method of tableaux; supervisor, Newton C. A. da Costa. Pos-Doc posiions at the University of California (1985) , Universitat Munster (Westfalische-Wilhelms) (1990) and Rheinische Friedrich-Wilhelms-Universität Bonn,as grantee of the Alexander von Humboldt Foundation Research Profile (Extracted from: The International Directory of Logicians: Who's Who in Logic 2008 College Publications D. M. Gabbay and J. Woods, eds.): Made substantial contributions to the proof theory and semantics for contemporary heterodox (non-classical) logics. Of special significance are his contributions to many valued logics, paraconsistent logics and combination of logics.With his students and collaborators Carnielli introduced the possible-translations semantics, which led to a revival in the semantic interpretation of paraconsistent logics, and the concept of logics of formal inconsistency which systematize a great number of extant paraconsistent logics, opening the way to applications of paraconsistency to computer science and to philosophical investigations around the topic. Carnielli has also worked on finite and infinite combinatorics, and shaped, with collaborators, the modulated logics, a wide class of logics dedicated to formalize quantified uncertain reasoning, with philosophical implications. Current work by Carnielli also includes the role of non-classical logics in the theory of classical computation, with consequences for quantum computation. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
1) The notion of logical inference is of fundamental importance not only in all forms of argumentation (be it formal or informal) but also in several aspects of computing. The study of logical inference for applications requires the understanding of combinations of logical mechanisms in several guises. This project is focused on specific methods for combining logics and their semantical, …
(Only some records are available in English at this moment)
Logic puzzles and paradoxes are problems that make us reason rigourously, their solution, many times, being a consequence of the elucidation of thinking about its possible inferences. Traditionally, they are thought having classical logic as a basis, following the trail of our natural reasoning. However, the development of non-classical logics has allowed the adaptation of thinking to dif…
In Wittgenstein's Appendix I to Remarks on the foundations of mathematics, Wittgenstein argues against Gödel's incompleteness theorem: the philosopher intends to reevaluate the gödelian conclusion according to which there is true formulae that are not provable in formal systems capable of representing a sufficient quantity of arithmetic theory. The current project intends to evaluate the …
Often ZF practice includes the use of the meta-theoretical notion of classes as shorthand expressions or in order to simplify the understanding of conceptual resources. NBG theory expresses formally the internalization of this feature in set theory; in this case, classes, before used metatheoretically, will also be captured by quantifiers of the first order theory. Nevertheless there is a…
The research programme here proposed concerns the philosophy of logic, especially the long-standing debate about logical monism and pluralism. Monists like Quine uphold the idea that the only right logic is classical logic, other deviant calculi - intuitionistic, paraconsis- tent and, in general, non-classical systems [26, 18, 29] - being essentially based on misconceptions of the very ro…
(Only some records are available in English at this moment)
In this internship proposal we are interested in going to the Graduate Center at the City University of New York to advance our ongoing research in compared ontological commitment between first order theories. The focus of the research will be on comparisons among set theories, particularly the Zermelo-Fraenkel set theory (ZFC) and von Neumann-Bernays-G\"odel class theory (NBG), envisioni…
In this project I deepen the analysis of the internal logic of set theory - topic of my FAPESP project - proposing a logical analysis of the notion of consistency and its role in the set theoretical practice. This project has a multidisciplinary point of view and tries to combine the philosophical reflection about mathematical practice and the logical description of a mathematical structu…
| 21 / 12 | Completed research grants |
| 1 / 1 | Ongoing scholarships in Brazil |
| 19 / 12 | Completed scholarships in Brazil |
| 2 / 2 | Completed scholarships abroad |
| 43 / 27 | All research grants and scholarships |
| Associated processes | |