Walter Alexandre Carnielli

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.

Graduado e licenciado em Matemática pela Universidade Estadual de Campinas (1976), especialização em Filosofia da Ciência pela Universidade Estadual de Campinas (1981) , mestrado em Matemática pela Universidade Estadual de Campinas (1978), doutorado em Matemática pela Universidade Estadual de Campinas (1982), pós-doutorado pela University of California (1985) , pela Universitat Munster (Westfalische-Wilhelms) (1990) e pela Rheinische Friedrich-Wilhelms-Universität Bonn, como bolsita da Fundação Alexander von Humboldt. Atualmente é Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas e Diretor do Centro de Lógica, Epistemologia e História a Ciência (CLE), cargo que já ocupou pos dois outros mandatos É editor e membro do corpo editorial de diversas revistas científicas, membro do SQIG - Security and Quantum Information Group (IST,Lisboa, Portugal), da Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) e de diversas sociedades científicas internacionais . Pesquisa e ensina na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: fundamento dos sistemas da lógica contemporânea, lógica e fundamentos da computação semânticas formais, combinação de lógicas, combinatória finita e infinita, história e filosofia da lógica. Presidiu a Sociedade Brasileira de Lógica por dois mandatos, e fundou o GT de Lógica da ANPOF, o qual coordenou por vários anos.