Marcelo Esteban Coniglio

Possui Bacharelado em Matemática, pela Universidad Nacional de Mar Del Plata, Argentina (1989). Doutorado em Matemática, pela Universidade de São Paulo (1997). Pós-Doutorado, pela Universidade Técnica de Lisboa (2001-2002). Livre-Docência (2004), pela Universidade Estadual de Campinas.

É professor do Departamento de Filosofia da Universidade Estadual de Campinas, desde 1998. Tem experiência na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: combinações entre lógicas, traduções entre lógicas, lógicas paraconsistentes, lógicas não-clássicas e teoria das categorias. Foi Presidente da Sociedade Brasileira de Lógica (SBL) no período 2014-2017. É Coordenador do GT de Lógica da ANPOF e Diretor do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp.

Linhas de pesquisa:

• Lógicas não-clássicas

• Lógica e Categorias

• Semânticas formais

• Combinações entre Lógicas

• Teoria do Conhecimento e Filosofia da Ciência e da Linguagem

• Fundamentos e aplicações da consequência lógica

Publicações mais relevantes:

• CONIGLIO, Marcelo E.; GOLZIO, Ana Claudia; Swap structures semantics for Ivlev-like modal logics. Soft Computing, v. 23(7), p. 2243-2254, 2019.
• CONIGLIO, M. E.; ESTEVA, FRANCESC ; GISPERT, Joan ; GODO, LLUÍS . Maximality in finite-valued - Lukasiewicz logics defined by order filters. JOURNAL OF LOGIC AND COMPUTATION, v. 29, p. 125-156, 2019.
• CONIGLIO, Marcelo E.; FIGALLO-ORELLANO, Aldo; GOLZIO, Ana Claudia; Non-deterministic algebraization of logics by swap structures. Logic Journal of the IGPL, 2018.
• CONIGLIO, Marcelo E.; ESTEVA, Francesc; GISPERT, Joan; GODO, Lluis; On the Set of intermediate logics between the truth and degree preserving Lukasiewicz logics. Logic Journal of the IGPL 24, n. 3:288-320, 2016.
• CONIGLIO, Marcelo E.; FARIÑAS DEL CERRO, Luis; PERON, Newton M.; Finite non-deterministic semantics for some modal systems. Journal of Applied Non-Classical Logic 25, n. 1: 20-45, 2015.
• CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; PODIACKI, Rodrigo; RODRIGUES, Tarcisio; On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency. The Review of Symbolic Logic, v. 7, p. 548-578,  2014.
• CONIGLIO, Marcelo E.; SERNADAS, Amílcar; SERNADAS, Cristina; Preservation by fibring of the finite model property. Journal of Logic and Computation, v. 21, p. 375-402, 2011.
• SERNADAS, Amílcar; SERNADAS, Cristina ; RASGA, João; CONIGLIO, Marcelo E.; A Graph-theoretic Account of Logics. Journal of Logic and Computation, v. 19, p. 1281-1320, 2009.
• CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Combining Logics. In: The Stanford Encyclopedia of Philosophy, 2007. Ed.: E.N. Zalta.
• CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; MARCOS, João; Logics of Formal Inconsistency. In: Handbook of Philosophical Logic, vol. 14, pp.1-93. Eds.: D. Gabbay; F. Guenthner. Springer, 2007.

Livros:

• CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Volume 40 in the Epistemology, and the Unity of Science Series,  Springer International Publishing, pp. 422, 2016. ISBN: 978-3-319-33203-1
• CARVALHO, M. (Org.); Braida, Celso (Org.); Salles, João Carlos (Org.); CONIGLIO, M. E. (Org.). Filosofia da Linguagem e da Lógica. São Paulo: ANPOF. Coleção XVI Encontro ANPOF, pp. 459, 2015.
• BEZIAU, Jean-Yves (Org); CONIGLIO, Marcelo E. (Org);  Logic without Frontiers. Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday. Volume 17 of Tributes Series. College Publications, London, 2011. ISBN: 978-2-84890-055-4
• CARNIELLI, Walter A. (Org.); CONIGLIO, Marcelo E. (Org.);  D’OTTAVIANO, I.M.L. (Org.); The Many Sides of Logic. Selected papers from the CLE 30/XV EBL/XIV SLALM Conference. Volume 21 of Studies in Logic Series. College Publications, London, 2009. ISBN: 978-1-904987-78-9
• CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; GABBAY, D.; GOUVEIA , P.;  SERNADAS, C.;. Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Volume 35 in the Applied Logic Series, Springer, pp. 602 + xvi, 2008. ISBN: 978-1-4020-6781-5
• CARNIELLI, Walter A. (Org.); CONIGLIO, Marcelo E. (Org.);  D’OTTAVIANO, I.M.L. (Org.); Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the II World Congress on Paraconsistency (WCP'2000). Marcel Dekker Inc., New York, 2002. ISBN: 0824708059

Grupos de pesquisa: 

• Grupo de Lógica Teórica e Aplicada: participante.

Eventos:

• CONIGLIO, Marcelo E. (Organizador); "Sessão Especial – GT Lógica", 10/2018, XVIII Encontro Nacional da ANPOF, Vitória, ES, 2018.
• CONIGLIO, Marcelo E. (Organizador); BUENO-SOLER, Juliana (Organizador); BEZERRA, Edson (Organizador); BARRIO, Eduardo (Organizador); CARNIELLI, Walter  (Organizador); GOLZIO, Ana Claudia (Organizador); "Fourth Workshop CLE - Buenos Aires Logic Group", 04/2018, Guarujá, SP, 2018.
• CONIGLIO, Marcelo E. (Co-Presidente); DOTTAVIANO, Ítala M. Loffredo (Co-Presidente); SANZ, Wagner de Campos (Co-Presidente); ALMEIDA, Edgar Luís Bezerra de (Organizador); BERTATO, F. M. (Organizador); ERTOLA-BIRABEN, Rodolfo (Organizador); GOMES, Nelson Gonçalves (Organizador); GORSKY, S. B. (Organizador); LOPES, Bruno (Organizador); SILVA FILHO, Marcos Antonio da (Organizador); SILVESTRE, Bruno Silva (Organizador); VENTURA, Daniel Lima (Organizador); VENTURI, Giorgio (Organizador); "XVIII Brazilian Logic Conference" -  XVIII EBL - 18th Brazilian Logic Conference, 05/2017. Sociedade Brasileira de Logica e Universidade Federal de Goiás. Pirenópolis, GO, 2017.
• BARRIO, Eduardo (Organizador); PAILOS, Federico (Organizador);  CARNIELLI, Walter (Organizador); CONIGLIO, Marcelo E. (Organizador); SZMUC, Damián  (Organizador); "Third Workshop CLE - Buenos Aires Logic Group", 04/2016, Buenos Aires, Argentina, 2016.
• CONIGLIO, Marcelo E. (Organizador); LOPES, Vinicius Cifú (Organizador); MARIANO, Hugo Luiz (Organizador); "Logic and Applications: in honor to Francisco Miraglia by the occasion of his 70th birthday", 09/2016,  Instituto de Matemática e Estatística da Universidade de São Paulo.
• CONIGLIO, Marcelo E. (Organizador); "Sessão Especial – GT Lógica", 10/2016, XVII Encontro Nacional da ANPOF, Aracaju, SE, 2016.
• CONIGLIO, Marcelo E. (Organizador); GOMES DA SILVA, Samuel (Organizador); "Special Session "Mathematical logic and set theory", 12/2015, 1st joint meeting Brazil-Spain, Fortaleza, 2015.
• CARNIELLI, Walter A. (Organizador); CONIGLIO, Marcelo E. (Organizador); "LFIS^15-Workshop on the 15 years of the LFIs (integrante do NAT@Logic 2015 Congress)", 09/2015. UFRN,  Natal, RN, 2015.
• CARNIELLI, Walter A. (Organizador); CONIGLIO, Marcelo E. (Organizador); BARRIO, Eduardo (Organizador); TESTA, Rafael (Organizador); "Second Workshop CLE - Buenos Aires Logic Group", 04/2015, CLE – Unicamp, Campinas, 2015.

​​

Orientandos:

-Mestrado:

Abner de Mattos Brito. Início em 2017.

Guilherme Carneiro. Início em 2020

-Doutorado:

Guilherme Vicentin de Toledo. CAPES. Início em 2018.

Bruno Costa Coscarelli. Início em 2016.

Tadeo Gomez. Universidad Nacional del Sur, Argentina. Início em 2017.

Outros links:  Site Pessoal  PhilPeople  Orcid  Publons