Extracted from: The International Directory of Logicians: Who's Who in Logic 2008 College Publications D. M. Gabbay and J. Woods, eds.

=====================================

CARNIELLI,Walter

FULL PROFESSOR OF LOGIC, DEPARTMENT OF PHILOSOPHY, STATE UNIVERSITY OF CAMPINAS, BRAZIL, 1994–;

Director of the Centre for Logic, Epistemology and the History of Science, 1998-2004;

Member of the Security and Quantum Information Group, Institute of Telecommunications, Lisbon, Portugal, 2006-.

Director of the Centre for Logic, Epistemology and the History of Science, 2009 -

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, 1978.

Dissertation: Systematization of the finite many valued logics through the method of tableaux; supervisor, Newton C. A. da Costa.

Research Profile

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.

Academic visitng and Research Appointments:

2010; Institut de Recherche en Informatique de Toulouse, Univ. Paul Sabatier, Toulouse, France, grantee of CNRS.

2008: Department of Computer Science and Communications, University of Luxembourg, 2008; grantee of the Fonds National de Recherche Luxembourg.

2004: Instituto Superior Técnico, Lisbon, Portugal.

1999: Universitat de Barcelona and Universitat de Lleida, Catalonia , Spain, grantee of Intercampus Program.

1996; Dipartimento di Filosofia e Scienze Sociali, Universit´a degli Studi di Siena, Italy, grantee of CNR.

1994; Institut de Recherche en Informatique de Toulouse, Univ. Paul Sabatier, Toulouse, France, grantee of CNRS.

1992 : Univ. de Paris -Sud, Orsay, France.

1992: Istituto di Informatica, Universit`a degli Studi di Torino, Italy, grantee of CNR.

1988; Inst. für mathematische Logik und Grundlagenforschung, Universität Münster,Germany, grantee of the Alexander von Humboldt Stiftung.

1988-1989; Instituto Venezolano de Investigaciones Científicas, Dept. of Mathematics, Caracas, Venezuela, 1987.

1984: Institute of Mathematics, University of California, Berkeley, USA,.grantee of FAPESP and UC Berkeley.

Main Publications

1. On coloring and covering problems for rook domains, Discrete Mathematics 57 (1985), pp. 9-16.

2. Systematization of the finite many-valued logics through the method of tableaux. The Journal of Symbolic Logic 52 (2), 1987, pp. 73-493.

3. Paraconsistent deontic logics. (with Newton C. A. da Costa) Philosophia – The Philos. Quarterly of Israel vol.16 numbers 3 and 4 (1988), pp. 293-305.

4. Methods and applications of mathematical logic- Proceedings of the VII Latin-American Symp. on Math. Logic. (Editor, with Luiz. P. de Alcantara). Contemporary Mathematics 69, American Mathematical Society, 1988.

5. Hyper-rook domain inequalities. Studies in Applied Mathematics (Massachusetts Institute of Technology) 82, n.1 (1990), pp. 59-69.

6. Some results on polarized partition relations of higher dimension. (with Carlos A. Di Prisco). Mathematical Logic Quarterly 39 (1993) pp. 461-474.

7. Ultrafilter logic and generic reasoning. (With Pualo A.S. Veloso). In Computational Logic and Proof Theory (Vienna, 1997), pp. 34-53, Lecture Notes in Computer. Science 1289, Springer, Berlin, 1997.

8. Advances in Contemporary Logic and Computer Science. (Editor, with Marcelo E. Coniglio and Itala M.L. D’Ottaviano). American Mathematical Society, Series Contemporary Mathematics, Volume 235, 1999.

9. Possible-translations semantics for paraconsistent logics. In: Frontiers in paraconsistent logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, pp. 159-72 , edited by D. Batens et al., Kings College Publications, 2000.

10. K2,2-K1,n and K2,n-K2,n bipartite Ramsey numbers. (With Emerson L. Monte Carmelo). Discrete Mathematics, Vol. 223 (1-3), 2000, pp. 83-92.

11. Modulated fibring and the collapsing problem. (With Cristina . Sernadas and Jo˜ao Rasga). The Journal of Symbolic Logic . 67(4) 2002 pp. 1541-1569.

12. Computability: computable functions, logic and the foundations of mathematics, with the timeline Computability and Undecidability. (With Ricahrd L. Epstein). Second edition. Wadsworth/Thomson Learning, Belmont, CA, 2000.

13. Modalità e multimodalità . (With Claudio Pizzi) . Franco Angeli, Milan, 2001 (In Italian).

14. Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the II World Congress on Paraconsistency (Editor, with Marcelo E. Coniglio and Itala M.L. D’Ottaviano ) Marcel Dekker Inc., New York, 2002.

15. A taxonomy of C- systems (With Jo˜ao Marcos). In: Paraconsistency- the Logical Way to the Inconsistent, Lecture Notes in Pure and Applied Mathematics, Vol. 228, pp. 01-94 2002.

16. Two’s company: The humbug of many logical values. (With Carlos Caleiro Marcelo E. Coniglio and João Marcos). In: Logica Universalis (Editor Jean-Yves Béziau) Basel: Birkhäuser, 2005, v., p. 169-189.

17. Splitting Logics. (With Marcelo E. Coniglio). In: We Will Show Them: Essays in Honour of Dov Gabbay. (Editors S. Artemov, H. Barringer, A. S. Avila Garcez, L. C. Lamb and J. Woods). Londres: King’s College Publications, 2005, v. 1, p. 389-414.

18. Modalities and Multimodalities (with Claudio Pizzi) Springer-Verlag, 2007.

19. Logics of Formal Inconsistency. In: Handbook of Philosophical Logic, vol. 14, pp.15-107. Eds.: D. Gabbay; F. Guenthner. Springer, 2007 (with M. E. Coniglio and J. Marcos).

20. Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems. Volume 35 in the Applied Logic Series, Springer, 2008. ISBN: 978-1-4020-6781-5 (with Marcelo E. Coniglio, Dov Gabbay, Paula Gouveia and Cristina Sernadas).

For further details visit http://www.cle. unicamp.br/prof/carnielli

Service to the Profession:

Editor or member of editorial boards of major journals:

Journal of Logic and Computation: Editor of the Non-Classical Logic Corner (with H, Wansing)

Logic and Logical Philosophy; Reviews Editor,and member of the Editorial Board,

Journal of Logic and Computation: member of the Editorial Board,

CLE e-Prints; Editor

Reports on Mathematical Logic; member of the Editorial Board,

Studia Logica; former member of the Editorial Board,

Journal of Applied Non-Classical Logic. Associate Editor

Honours and Awards:

Alexander von Humboldt Fellow, Germany

Honorary Member, Deutsche Vereinigung f¨ur Mathematische Logik und f¨ur Grundlagen der Exakten Wissenschaften, Germany;

Honorary Member, Polskie Towarzystwo Logiki i Filozofii Nauki, Poland.

Jabuti Award winner, for "Computabilidade: Funções Computáveis, Lógica e os Fundamentos da Matemática" (Brazilian version of "Computability: computable functions, logic and the foundations of mathematics, with the timeline Computability and Undecidability". Second edition. Wadsworth/Thomson Learning, Belmont, CA, 2000)

Update on Possible-Translations Semantics

The possible translations semantics are widely recognized as genuinely new tools for providing semantics for non-classcal logics, playing a relavant role in contemporary logic, as recognozed e.g. in [VV07] and in the work of A. Avron and his collaborators (cf. for instance [AA05] and [AK05]).

The possible translations semantics, as well as its specialization, the society semantics, are explicitly recognized in [CMSS09] and [MS07] as the inspiration for a new approach to quantum logic (the so-called "`exogenous approach"'), Possible -translations semantics also inspired a new semantics associated to modal operators related to investigations in the Aristotle’s square of opposition, cf. [LSD08]. A search for "possible-translations semantics" in the Internet brings about 10.000 citations, and a book in the topic has been invited by Birkhäuser in Basel, Switzerland.

[CMSS09]- Extending classical logic for reasoning about quantum systems. R. Chadha, P. Mateus, A. Sernadas and C. Sernadas

Handbook of quantum logic and quantum structures: quantum logic. Eds. Kurt Engesser,Dov M. Gabbay,Daniel Lehmann, Elsevier},

pages 325-372, 2009.

[MS07]- Reasoning about Quantum Systems. P. Mateus and A. Sernadas Logics in Artificial Intelligence, Ninth European Conference, JELIA’04, volume 3229 of Lecture Notes in Artificial Intelligence, pp. 239-251, 2007.

[LSD08]- Logical extensions of Aristotle's square Dominique Luzeaux, Jean Sallantin and Christopher Dartnell.

Logica Universalis Volume 2, Number 1, 2008, pp. 167-187.

[AA05]-A Non-deterministic View on Non-classical Negations. Arnon Avron. Studia Logica Volume 80, Numbers 2-3, 2005 , pp, 159-194

[AK05]-Multi-valued Calculi for Logics Based on Non-determinism. Arnon Avron and Beata Konikowska. Logic Journal of the IGPL Volume 13, Number 4, 2005, pp. 365-387.

[VV07]- Structuring the Universe of Universal Logic. Vladimir L. Vasyukov1 . Logica Universalis .Volume 1, Number 2 2007, pp. 277-294