Send your message by email

Advanced search

Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE)
(Institutional affiliation for the last research proposal)

Birthplace:
Brazil

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. (Source: Lattes Curriculum)

Research grants

- 17th Latin American Symposium on Mathematical Logic, AR.EXT
- Trends in logic XVI: consistency, contradiction, paraconsistency and reasoning - 40 years of CLE, AO.R
- Logical consequence, reasoning and computation (logcons) and sistemics, self-organization and information, AP.RT.INST
### Abstract

1) The notion of logical inference is of fundamental importance not only in all forms of argumentation (be it formal or informal) but also in several aspects of computing. The study of logical inference for applications requires the understanding of combinations of logical mechanisms in several guises. This project is focused on specific methods for combining logics and their semantical...

(Only some records are available in English at this moment)

Scholarships in Brazil

- Compared study of ontological commitment of classes and sets theories, BP.DD
### Abstract

Often ZF practice includes the use of the meta-theoretical notion of classes as shorthand expressions or in order to simplify the understanding of conceptual resources. NBG theory expresses formally the internalization of this feature in set theory; in this case, classes, before used metatheoretically, will also be captured by quantifiers of the first order theory. Nevertheless there is...

- Towards a unified setting for non-monotony and paraconsistency, BP.PD
### Abstract

The research programme here proposed concerns the philosophy of logic, especially the long-standing debate about logical monism and pluralism. Monists like Quine uphold the idea that the only right logic is classical logic, other deviant calculi - intuitionistic, paraconsis- tent and, in general, non-classical systems [26, 18, 29] - being essentially based on misconceptions of the very ...

- Set theory and its interal logic, BP.PD
### Abstract

With this project I propose to investigate the phenomenon of independence in set theory in the context of paraconsistent logic, by a multidisciplinary point of view. The main motivation of this work comes from the limits of classical logic in the study of the notion of truth in the models of ZFC (i.e the standard first order axiomatization of set theory). In particular I plan to apply a...

(Only some records are available in English at this moment)

Scholarships abroad

- On the conditions for a comparison of ontological commitment between theories, BE.EP.DD
### Abstract

In this internship proposal we are interested in going to the Graduate Center at the City University of New York to advance our ongoing research in compared ontological commitment between first order theories. The focus of the research will be on comparisons among set theories, particularly the Zermelo-Fraenkel set theory (ZFC) and von Neumann-Bernays-G\"odel class theory (NBG), envisio...

- A logical analysis of the notion of consistency in set theoretical practice, BE.EP.PD
### Abstract

In this project I deepen the analysis of the internal logic of set theory - topic of my FAPESP project - proposing a logical analysis of the notion of consistency and its role in the set theoretical practice. This project has a multidisciplinary point of view and tries to combine the philosophical reflection about mathematical practice and the logical description of a mathematical struc...

21 /
11
| Completed research grants |

18 /
11
| Completed scholarships in Brazil |

2 /
2
| Completed scholarships abroad |

41 /
24
| All research grants and scholarships |

Associated processes |

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

Publications | 31 |

Citations | 104 |

Cit./Article | 3.4 |

Data from Web of Science |

BEZIAU, JEAN-YVES; CONIGLIO, MARCELO E.. To distribute or not to distribute?.** LOGIC JOURNAL OF THE IGPL**, v. 19, n. 4, SI, p. 566-583, AUG 2011. Web of Science Citations: 3. (04/14107-2)

CARNIELLI, WALTER. The Single-minded Pursuit of Consistency and its Weakness.** STUDIA LOGICA**, v. 97, n. 1, p. 81-100, FEB 2011. Web of Science Citations: 3. (04/14107-2)

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Semantics and proof-theory of depth bounded Boolean logics.** THEORETICAL COMPUTER SCIENCE**, v. 480, p. 43-68, APR 8 2013. Web of Science Citations: 7. (11/19860-4, 10/51038-0, 08/03995-5)

FREIRE, RODRIGO A.. On Existence in Set Theory.** NOTRE DAME JOURNAL OF FORMAL LOGIC**, v. 53, n. 4, p. 525-547, 2012. Web of Science Citations: 3. (09/10751-8)

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Cut-Based Abduction.** LOGIC JOURNAL OF THE IGPL**, v. 16, n. 6, p. 537-560, DEC 2008. Web of Science Citations: 8. (04/14107-2)

OLIVEIRA, IGOR CARBONI; CARNIELLI, WALTER. The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.** LOGIC JOURNAL OF THE IGPL**, v. 16, n. 6, p. 585-590, DEC 2008. Web of Science Citations: 1. (04/14107-2)

BUENO-SOLER, JULIANA; CARNIELLI, WALTER. Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem.** Entropy**, v. 18, n. 9, SEP 2016. Web of Science Citations: 2. (10/51038-0)

PIAZZA, MARIO; PULCINI, GABRIELE. Unifying logics via context-sensitiveness.** JOURNAL OF LOGIC AND COMPUTATION**, v. 27, n. 1, p. 21-40, FEB 2017. Web of Science Citations: 5. (13/22371-0)

VELOSO, PAULO A. S.; VELOSO, SHEILA R. M.; VIANA, PETRUCIO; DE FREITAS, RENATA; BENEVIDES, MARIO; DELGADO, CARLA. On vague notions and modalities: a modular approach.** LOGIC JOURNAL OF THE IGPL**, v. 18, n. 3, p. 381-402, JUN 2010. Web of Science Citations: 0. (04/14107-2)

PIAZZA, MARIO; PULCINI, GABRIELE. Uniqueness of axiomatic extensions of cut-free classical propositional logic.** LOGIC JOURNAL OF THE IGPL**, v. 24, n. 5, p. 708-718, OCT 2016. Web of Science Citations: 0. (13/22371-0)

VENTURI, GIORGIO. A note on the introduction of Hilbert's Grundlagen der Geometrie.** Manuscrito**, v. 40, n. 2, p. 5-17, APR-JUN 2017. Web of Science Citations: 0. (14/25342-4, 13/25095-4)

BONIOLO, GIOVANNI; D'AGOSTINO, MARCELLO; PIAZZA, MARIO; PULCINI, GABRIELE. Adding logic to the toolbox of molecular biology.** EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE**, v. 5, n. 3, p. 399-417, OCT 2015. Web of Science Citations: 6. (13/22371-0)

D'AGOSTINO, MARCELLO; PIAZZA, MARIO; PULCINI, GABRIELE. A logical calculus for controlled monotonicity.** JOURNAL OF APPLIED LOGIC**, v. 12, n. 4, p. 558-569, DEC 2014. Web of Science Citations: 4. (13/22371-0)

CONIGLIO, MARCELO E.; ESTEVA, FRANCESC; GODO, LLUIS. Logics of formal inconsistency arising from systems of fuzzy logic.** LOGIC JOURNAL OF THE IGPL**, v. 22, n. 6, p. 880-904, DEC 2014. Web of Science Citations: 6. (10/51038-0)

FREIRE, RODRIGO A.. On Existence in Set Theory, Part II: Relative Productivity.** NOTRE DAME JOURNAL OF FORMAL LOGIC**, v. 55, n. 1, p. 91-105, 2014. Web of Science Citations: 0. (09/10751-8)

CARNIELLI, WALTER; CONIGLIO, MARCELO E.; PODIACKI, RODRIGO; RODRIGUES, TARCISIO. ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY.** Review of Symbolic Logic**, v. 7, n. 3, p. 548-578, SEP 2014. Web of Science Citations: 5. (10/51038-0)

CARNIELLI, WALTER; CAROLINO, PIETRO K.. ADJUSTING A CONJECTURE OF ERDOS.** CONTRIBUTIONS TO DISCRETE MATHEMATICS**, v. 6, n. 1, p. 154-159, 2011. Web of Science Citations: 0. (04/14107-2)

CONIGLIO, MARCELO ESTEBAN; DA CRUZ SILVESTRINI, LUIZ HENRIQUE. An alternative approach for quasi-truth.** LOGIC JOURNAL OF THE IGPL**, v. 22, n. 2, SI, p. 387-410, APR 2014. Web of Science Citations: 14. (10/51038-0)

CONIGLIO, MARCELO E.; FIGALLO, MARTIN. Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.** STUDIA LOGICA**, v. 102, n. 3, p. 525-539, JUN 2014. Web of Science Citations: 4. (10/51038-0)

CARNIELLI, WALTER; CONIGLIO, MARCELO E.. Paraconsistent set theory by predicating on consistency.** JOURNAL OF LOGIC AND COMPUTATION**, v. 26, n. 1, SI, p. 97-116, FEB 2016. Web of Science Citations: 5. (10/51038-0)

GILBERT, DAVID R.; VENTURI, GIORGIO. Neighborhood Semantics for Logics of Unknown Truths and False Beliefs.** AUSTRALASIAN JOURNAL OF LOGIC**, v. 14, n. 1, SI, p. 246-267, 2017. Web of Science Citations: 0. (13/25095-4)

CONIGLIO, MARCELO E.; ESTEVA, FRANCESC; GODO, LLUIS. On the set of intermediate logics between the truth- and degree-preserving Aukasiewicz logics.** LOGIC JOURNAL OF THE IGPL**, v. 24, n. 3, SI, p. 288-320, JUN 2016. Web of Science Citations: 1. (10/51038-0)

AGUDELO-AGUDELO, JUAN C.; CARNIELLI, WALTER. Polynomial ring calculus for modalities.** JOURNAL OF LOGIC AND COMPUTATION**, v. 27, n. 6, SI, p. 1853-1870, SEP 2017. Web of Science Citations: 0. (10/51038-0)

GIORGIO VENTURI. A note on the introduction of Hilbert’s Grundlagen der Geometrie.** Manuscrito**, v. 40, n. 2, p. -, Jun. 2017. (14/25342-4, 13/25095-4)

TESTA, RAFAEL R.; CONIGLIO, MARCELO E.; RIBEIRO, MARCIO M.. AGM-like paraconsistent belief change.** LOGIC JOURNAL OF THE IGPL**, v. 25, n. 4, SI, p. 632-672, AUG 2017. Web of Science Citations: 0. (14/22119-2, 10/51038-0)

GILBERT, DAVID R.; VENTURI, GIORGIO. REFLEXIVE-INSENSITIVE MODAL LOGICS.** Review of Symbolic Logic**, v. 9, n. 1, p. 167-180, MAR 2016. Web of Science Citations: 2. (13/25095-4)

CONIGLIO, M. E.; SERNADAS, A.; SERNADAS, C.. Preservation by fibring of the finite model property.** JOURNAL OF LOGIC AND COMPUTATION**, v. 21, n. 2, p. 375-402, APR 2011. Web of Science Citations: 3. (04/14107-2)

AGUDELO, JUAN C.; CARNIELLI, WALTER. POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES.** Review of Symbolic Logic**, v. 4, n. 1, p. 150-170, MAR 2011. Web of Science Citations: 6. (04/14107-2)

SERNADAS, AMILCAR; SERNADAS, CRISTINA; RASGA, JOAO; CONIGLIO, MARCELO. A Graph-theoretic Account of Logics.** JOURNAL OF LOGIC AND COMPUTATION**, v. 19, n. 6, p. 1281-1320, DEC 2009. Web of Science Citations: 7. (04/14107-2)

AGUDELO, JUAN C.; CARNIELLI, WALTER. Paraconsistent Machines and their Relation to Quantum Computing.** JOURNAL OF LOGIC AND COMPUTATION**, v. 20, n. 2, p. 573-595, APR 2010. Web of Science Citations: 6. (04/14107-2)

RASGA, JOAO; CARNIELLI, WALTER; SERNADAS, CRISTINA. Interpolation via translations.** MATHEMATICAL LOGIC QUARTERLY**, v. 55, n. 5, p. 515-534, OCT 2009. Web of Science Citations: 1. (04/14107-2)

BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities.** LOGIC JOURNAL OF THE IGPL**, v. 20, n. 2, SI, p. 458-476, APR 2012. Web of Science Citations: 2. (04/14107-2, 08/03995-5)

(References retrieved automatically from State of São Paulo Research Institutions)

CAROLINO, Pietro Kreitlon. Polinomização de logicas : problemas e perspectivas. 2009. Dissertação (Mestrado) - Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (06/05429-1)

FILHO, Alfredo Roque de Oliveira Freire. Estudo comparado do comprometimento ontológico das teorias de classes e conjuntos. 2019. Tese (Doutorado) – Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas. (16/10497-8)

FREIRE, Rodrigo de Alvarenga. Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos. 2009. Tese (Doutorado) – Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (05/55203-7)

AGUDELO, Juan Carlos Agudelo. Computação paraconsistente : uma abordagem logica a computação quantica. 2009. Tese (Doutorado) – Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (05/04123-3)

Please report errors in researcher information by writing to:
cdi@fapesp.br.