Advanced search
Start date

Walter Alexandre Carnielli

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
Articles published in other media outlets (0 total):
More itemsLess items
Research grants
Scholarships in Brazil
Scholarships abroad
FAPESP support in numbers * Updated December 02, 2023
Total / Available in English
Most frequent collaborators in research granted by FAPESP
Contact researcher

Service temporarily unavailable

Keywords used by the researcher
Please report errors in researcher information by writing to:

Report errors in this page

Error details: