Walter Carnielli

Las referencias de este artículo no tienen un formato correcto. Puedes colaborar editándolas como se indica en esta página. También puedes avisar en su página de discusión a quien las añadió pegando lo siguiente: {{subst:Aviso formato de referencias|Walter Carnielli}} ~~~~Este aviso fue puesto el 13 de septiembre de 2024.

Walter Alexandre Carnielli (Campinas, Sao Paulo, Brasil, 11 de enero de 1952) es un matemático, lógico y filósofo brasileño.

Walter Alexandre Carnielli
Información personal
Nacimiento	11 de enero de 1952 Campinas, San Pablo, Brasil.
Residencia	Campinas
Nacionalidad	Brasileño
Lengua materna	Portugués
Educación
Educado en	Licenciatura en Matemáticas, Unicamp.
Posgrado	Maestría en Matemáticas, Unicamp. Doctorado en Matemática, Unicamp.
Alumno de	Newton da Costa
Información profesional
Ocupación	Lógico, Filósofo, Matemático, Académico.
Área	lógica paraconsistente
Empleador	Universidade Estadual de Campinas (Unicamp).
Sitio web	www.cle.unicamp.br/prof/carnielli
[editar datos en Wikidata]

Comenzó sus estudios universitarios en la Universidad Estadual de Campinas (UNICAMP), completando una Licenciatura y una Maestría en Matemáticas. En la misma casa de estudios obtuvo su Doctorado en 1984 bajo la dirección del lógico y filósofo Newton C. A. da Costa, con su tesis titulada Sobre O Método Dos Tableaux Em Lógicas Polivalentes Finitárias (Sobre el método Tableau en lógicas polivalentes finitarias).^[1]​

Actualmente es profesor titular del Departamento de Filosofía del Instituto de Filosofía y Ciencias Humanas (IFCH) de la UNICAMP.^[2]​

Ha realizado diversas estancias posdoctorales,^[3]​ entre las que destaca la realizada en la UC Berkeley (UCB), bajo la supervisión de Leon Henkin.^[4]​ Fue presidente de la Sociedad Brasileña de Lógica (SBL) en dos períodos: (2006-2008) y (2008-2010). Es profesor distinguido del Centro de Lógica, Epistemología e Historia de la Ciencia (CLE) de la UNICAMP, donde actualmente desempeña el cargo de Representante de los ex directores del CLE (2022-2024).

Su trabajo, el cuál ha impactado en el estudio de las lógicas no clásicas,^[5]​ se centra en la lógica paraconsistente y lógica plurivalente.

Uno de los principales aportes de Carnielli ha sido su trabajo en la lógica paraconsistente, un campo de la lógica no clásica que permite manejar inconsistencias sin colapsar en una trivialidad lógica, donde cualquier cosa se puede derivar. Junto a Newton da Costa y otros investigadores, Carnielli ha desarrollado sistemas formales que permiten trabajar de manera coherente con teorías que contienen contradicciones.^[6]​^[7]​^[8]​

Carnielli también es conocido por su trabajo en lógica combinatoria, que trata de unir diferentes sistemas lógicos en un marco común. Este enfoque ha tenido aplicaciones en áreas como la teoría de la computación, inteligencia artificial y en el modelado de sistemas complejos, donde diferentes tipos de inferencias deben interactuar.^[9]​^[10]​^[11]​

Otro campo donde Carnielli ha hecho contribuciones importantes es en la teoría de la demostración, que estudia la estructura y propiedades de las pruebas matemáticas. Ha trabajado en la generalización de sistemas de demostración para extender su aplicabilidad a lógicas no clásicas, como las modales, que son fundamentales para estudiar conceptos como necesidad, posibilidad y temporalidad en sistemas formales.^[12]​^[13]​^[14]​^[15]​^[16]​^[17]​

Carnielli no solo ha hecho contribuciones técnicas a la lógica, sino que también ha reflexionado sobre su significado y aplicación en el contexto filosófico. Ha argumentado que las lógicas no clásicas, como las paraconsistentes, no son solo herramientas matemáticas, sino que reflejan una visión más pluralista de la racionalidad. Para Carnielli, la racionalidad humana no puede ser capturada plenamente por la lógica clásica, y es importante desarrollar marcos más flexibles para entender y modelar cómo razonamos en contextos complejos, contradictorios o inciertos.^[11]​^[18]​^[19]​^[20]​

• W. A. Carnielli. On coloring and covering problems for rook domains, Discrete Mathematics 57 (1985), p. 9–16.
• W. A. Carnielli. Systematization of the finite many-valued logics through the method of tableaux. The Journal of Symbolic Logic 52 (2), 1987, p. 73–493.
• W. A. Carnielli (with Newton C. A. da Costa). Paraconsistent deontic logics. Philosophia – The Philos. Quarterly of Israel vol.16 numbers 3 and 4 (1988), p. 293–305.
• W. A. Carnielli. Hyper-rook domain inequalities. Studies in Applied Mathematics (Massachusetts Institute of Technology) 82,\ n.1 (1990), p. 59–69.
• W. A. Carnielli (with C. A. Di Prisco). Some results on polarized partition relations of higher dimension. Mathematical Logic Quarterly 39 (1993) p. 461–474.
• W. A. Carnielli (with P. A. S. Veloso). Ultrafilter logic and generic reasoning. In Computational Logic and Proof Theory (Vienna, 1997), p. 34–53, Lecture Notes in Computer. Science 1289, Springer, Berlin, 1997.
• W. A. Carnielli. Possible-translations semantics for paraconsistent logics. In: Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, p. 159–72, edited by D. Batens et al., Kings College Publications, 2000.
• W. A. Carnielli (with E. L. Monte Carmelo). K2,2-K1,n and K2,n-K2,n bipartite Ramsey numbers. Discrete Mathematics, Vol. 223 (1-3), 2000, p. 83–92.
• W. A. Carnielli (with C. Sernadas and J. Rasga). Modulated fibring and the collapsing problem. The Journal of Symbolic Logic 67(4) 2002 p. 1541–1569.
• W. A. Carnielli (with J. Marcos). A taxonomy of C- systems . In: Paraconsistency- the Logical Way to the Inconsistent, Lecture Notes in Pure and Applied Mathematics, Vol. 228, p. 01–94, 2002.
• W. A. Carnielli (with C. Caleiro, M. E. Coniglio and J. Marcos). Two’s company: The humbug of many logical values. In: Logica Universalis (Editor J.-Y. Béziau). Basel: Birkhäuser, 2005, p. 169-189.
• W. A. Carnielli (with A. B.M. Brunner).Anti-intuitionism and paraconsistency. Journal of Applied Logic Volume 3, Issue 1, March 2005, p. 161-184.
• W. A. Carnielli (with M. E. Coniglio). Splitting Logics. 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). London: King’s College Publications, 2005, v. 1, p. 389-414.
• W. A. Carnielli (with M. E. Coniglio and J. Marcos). Logics of Formal Inconsistency. In: Handbook of Philosophical Logic, vol. 14, pp. 15–107. Eds.: D. Gabbay; F. Guenthner. Springer, 2007.
• W. A. Carnielli (with M. E. Coniglio. Combining Logics. Stanford Encyclopedia of Philosophy, 2007.
• W. A. Carnielli (with J. Rasga and C. Sernadas). Preservation of Interpolation Features by Fibring. Mathematical Logic Quarterly Volume 18, Issue 1, 2008, p. 123-151.

• W. A. Carnielli (with J. Rasga and C. Sernadas). Interpolation via translations. Mathematical Logic Quarterly Volume 55, Issue 5, 2009, p. 515-534.
• W. A. Carnielli (with J. C. Agudelo). Paraconsistent Machines and their Relation to Quantum Computing.. Journal of Logic and Computation Volume 20, Issue 2, 2010, p. 573-595.

• R. L. Epstein and W. A. Carnielli. Computability: computable functions, logic and the foundations of mathematics, with the timeline Computability and Undecidability. Second edition. Wadsworth/Thomson Learning, Belmont, CA, 2000.
• W. A. Carnielli and C. Pizzi. Modalità e multimodalità. Franco Angeli, Milan, 2001.
• W. A. Carnielli and R.L. Epstein Computabilidade: Funções Computáveis, Lógica e os Fundamentos da Matemática Winner of 2007 Jabuti Award, a prestigious literary prize in Brazil.
• W. A. Carnielli and C. Pizzi. Modalities and Multimodalities. Springer-Verlag), 2008.
• W. A. Carnielli, M. E. Coniglio, D. Gabbay, P. Gouveia and C. Sernadas. Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems. Applied Logic Series, Springer, 2008.

• Lógica
• Lógica matemática
• Lógica no clásica
• Leon Henkin
• Jean-Yves Béziau
• Lógica plurivalente
• Filosofía de las matemáticas
• Filosofía de la lógica
• Combinatoria
• Lógica paraconsistente

1. ↑ «Biographical Sketch». 
2. ↑ «dblp: Walter Alexandre Carnielli». dblp.org (en inglés). Consultado el 13 de septiembre de 2024. 
3. ↑ «Programa de Pós-Graduação em Filosofia». web.archive.org. 23 de mayo de 2011. Consultado el 13 de septiembre de 2024. 
4. ↑ «Walter Carnielli». PhilPapers. 
5. ↑ «Walter Carnielli». scholar.google.com.br. Consultado el 13 de septiembre de 2024. 
6. ↑ Carnielli, Walter; Coniglio, Marcelo E.; Marcos, João (2007). Gabbay, D.M., ed. Logics of Formal Inconsistency (en inglés). Springer Netherlands. pp. 1-93. ISBN 978-1-4020-6323-7. doi:10.1007/978-1-4020-6324-4_1. Consultado el 13 de septiembre de 2024. 
7. ↑ A Taxonomy of C-Systems (en inglés) (0 edición). CRC Press. 10 de abril de 2002. pp. 24-117. ISBN 978-0-429-22230-6. doi:10.1201/9780203910139-3. Consultado el 13 de septiembre de 2024. 
8. ↑ Carnielli, Walter; Coniglio, Marcelo Esteban (2016). Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science 40. Springer International Publishing. ISBN 978-3-319-33203-1. doi:10.1007/978-3-319-33205-5. Consultado el 13 de septiembre de 2024. 
9. ↑ Caminada, M. W. A.; Carnielli, W. A.; Dunne, P. E. (1 de octubre de 2012). «Semi-stable semantics». Journal of Logic and Computation (en inglés) 22 (5): 1207-1254. ISSN 0955-792X. doi:10.1093/logcom/exr033. Consultado el 13 de septiembre de 2024. 
10. ↑ Avron, Arnon; Zamansky, Anna (2007). Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. Springer Berlin Heidelberg. pp. 1-24. ISBN 978-3-540-75938-6. Consultado el 13 de septiembre de 2024. 
11. ↑ ^{a b} Carnielli, Walter A.; Marcos, João; De Amo, Sandra (18 de enero de 2004). «Formal inconsistency and evolutionary databases». Logic and Logical Philosophy 8 (0): 115. ISSN 2300-9802. doi:10.12775/LLP.2000.008. Consultado el 13 de septiembre de 2024. 
12. ↑ Carnielli, Walter; Pizzi, Claudio (2008). Modalities and Multimodalities (en inglés). Springer Netherlands. ISBN 978-1-4020-8589-5. doi:10.1007/978-1-4020-8590-1. Consultado el 13 de septiembre de 2024. 
13. ↑ Agudelo, Juan C.; Carnielli, Walter (2011-03). «POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES». The Review of Symbolic Logic (en inglés) 4 (1): 150-170. ISSN 1755-0203. doi:10.1017/S1755020310000213. Consultado el 13 de septiembre de 2024. 
14. ↑ Agudelo, Juan C.; Carnielli, Walter (2011-03). «POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES». The Review of Symbolic Logic (en inglés) 4 (1): 150-170. ISSN 1755-0203. doi:10.1017/S1755020310000213. Consultado el 13 de septiembre de 2024. 
15. ↑ Carnielli, Walter; Coniglio, Marcelo E.; Fuenmayor, David (2022-09). «LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT». The Review of Symbolic Logic (en inglés) 15 (3): 771-806. ISSN 1755-0203. doi:10.1017/S1755020321000277. Consultado el 13 de septiembre de 2024. 
16. ↑ Bueno-Soler, Juliana; Carnielli, Walter; Coniglio, Marcelo E.; Rodrigues Filho, Abilio (2017). Magnani, Lorenzo, ed. Formal (In)consistency, Abduction and Modalities (en inglés). Springer International Publishing. pp. 315-335. ISBN 978-3-319-30525-7. doi:10.1007/978-3-319-30526-4_15. Consultado el 13 de septiembre de 2024. 
17. ↑ Bueno-Soler, Juliana; Carnielli, Walter; Rodrigues, Abilio (2024). Coniglio, Marcelo Esteban, ed. Many-Valued Modalities and Paraconsistency (en inglés) 485. Springer International Publishing. pp. 217-241. ISBN 978-3-031-56594-6. doi:10.1007/978-3-031-56595-3_8. Consultado el 13 de septiembre de 2024. 
18. ↑ Rodrigues, Abilio; Carnielli, Walter (12 de febrero de 2022). «On Barrio, Lo Guercio, and Szmuc on Logics of Evidence and Truth». Logic and Logical Philosophy: 1-26. ISSN 2300-9802. doi:10.12775/LLP.2022.009. Consultado el 13 de septiembre de 2024. 
19. ↑ Carnielli, Walter; Grácio, Maria Cláudia C. (30 de septiembre de 2008). «Modulated logics and flexible reasoning». Logic and Logical Philosophy 17 (3). ISSN 1425-3305. doi:10.12775/LLP.2008.012. Consultado el 13 de septiembre de 2024. 
20. ↑ Carnielli, Walter (15 de junio de 2013). «Book Reviews: Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico». Logic and Logical Philosophy 20 (3). ISSN 1425-3305. doi:10.12775/LLP.2011.016. Consultado el 13 de septiembre de 2024. 

• Entrevista a Walter Carnielli