Walter Alexandre Carnielli

Bolsista CNPq (PQ 1B)

  Graduado e licenciado em Matemática pela Universidade Estadual de Campinas (1981), mestrado em Matemática pela Universidade Estadual de Campinas (1982). Possui pós-doutorados pela University of California (1985), pela Universität Münster (Westfalische-Wilhelms) (1990) e pela Rheinische Friedrich-Wilhelms-Universität Bonn, como bolsista da Fundação Alexander von Humboldt. Atualmente é Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas e membro do Centro de Lógica, Epistemologia e História a Ciência (CLE), havendo dirigido o CLE por dois 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. Walter Carnielli é autor de  mais de 100 artigos  científicos  publicados em veículos  internacionais e de 20 livros (como  editor ou co-autor).

 

Linhas de Pesquisa:

  • Lógica
  • Fundamentos da Matemática e das Ciências Formais

 

Publicações mais relevantes:

  • Carnielli, Walter A, Janssen-Lauret, F,  e Picketing, W.  "The Significance of the New Logic":  Cambridge University Press, 2018.
  • Carnielli, Walter A; Coniglio, M. E. Paraconsistent Logic: Consistency, Contradiction and Negation. Springer, 2016.
  • Carnielli, Walter A.; Epstein, R. L. Computabilidade, funções computáveis, lógica e os fundamentos da matemática. Ed. UNESP, 2009.
  • Carnielli, Walter A.; Rodrigues,  A.  An epistemic approach to paraconsistency: a logic of evidence and truth. Synthese (Dordrecht. Online), 2018.
  • Carnielli, Walter A. Making The `Hardest Logic Puzzle Ever a Bit Harder. In: Fitting M., Rayman B. (eds). (Org.). Outstanding Contributions to Logic. 1ed.: Springer International Publishing, 2017, v. 1, p. 181-190.
  • Carnielli, Walter A.; Di Prisco,  C.  The Wonder of Colors and the Principle of Ariadne. In: Silva, Marcos. (Org.). How Colours Matter to Philosophy. Amsterdam: Springer, 2017, v. 388, p. 309-317.
  • Carnielli, Walter A.; Bueno-Soler, J. . Experimenting with consistency. In: Markin, Vladimir, Zaitsev, Dmitry. (Org.). The Logical Legacy of Nikolai Vasiliev and Modern Logic.  Amsterdam: Springer, 2017, v. 387, p. 199-221.
  • Agudelo, J. . C. ; Carnielli, Walter A. . Polinomial ring calculus for modalities. JOURNAL OF LOGIC AND COMPUTATION, v. 1, p. 100-120, 2015.
  • Carnielli, Walter A.; Matulovic, M. . Non-deterministic Semantics in Polynomial Format. Electronic Notes in Theoretical Computer Science, v. 305, p. 19-34, 2014.

 

Eventos:

 

Linhas de Pesquisa:
Função: Professor Titular
Prédio: Prédio dos Professores
Sala: 45B
Fone: +55 (19) 35211681