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:

• Logic, Probability, and their Generalizations.  6th UNILOG. Vichy, França, Junho 2018. 
• 4rd Workshop - Centro de Lógica, Epistemologia e História da Ciência (Brazil) Buenos Aires Logic Group (Argentina). Guarujá, 2018. 
• SLALM2017 - 17th Latin-American Smposium on Mathematical Logic,(Congresso). Puebla, México, 2017. 
• Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE. (Congresso).Campinas, 2016. 
• 2nd  Workshop - Centro de Lógica, Epistemologia e História da Ciêncian (Brazil) Buenos Aires Logic Group (Argentina). Campinas, 2015. 
• Contest: the Future of Logic (President of the Jury). 2015. (Concurso).  5th World Congress on Universal Logic- 5th UNILOG, Istambul, Turquia, 2015. 
• Ratio ad Contrarium: the logical and philosophical importance of reasoning under contradictions (Sessão Especial no CLMPS 2015 ). (Congresso). Helsinque, Finlândia, 2015. 
• Worskshop on Thinking and Rationality. 2013. (Congresso). 4th World Congress and School on Universal Logic  4th UNILOG, Rio de Janeiro, 2013