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 |
| TITULO |
| Articles published in other media outlets (0 total): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
The present research project consists of three large interrelated spheres, called `tasks'. These three tasks will support the main issues to be addressed, related to the notions of consistency, contradiction and evidence, which, together with their probabilistic interpretations, aim at reaching a more solid position on the general philosophy of paraconsistency, its understanding, its impa…
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)
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…
With this project I propose to investigate the phenomenon of independence in set theory in the context of paraconsistent logic, by a multidisciplinary point of view. The main motivation of this work comes from the limits of classical logic in the study of the notion of truth in the models of ZFC (i.e the standard first order axiomatization of set theory). In particular I plan to apply a L…
(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…
| 1 / 1 | Ongoing research grants |
| 21 / 12 | Completed research grants |
| 1 / 1 | Ongoing scholarships in Brazil |
| 18 / 11 | Completed scholarships in Brazil |
| 2 / 2 | Completed scholarships abroad |
| 43 / 27 | All research grants and scholarships |
| Associated processes | |