Embedded Files
1. Paraconsistent Logics and their History
1. Paraconsistent Logics and their History
This introductory talk offers an overview of the historical development of paraconsistent logics, from Jaśkowski’s discussive logic D2 and da Costa’s hierarchy of Cn systems to the contemporary Logics of Formal Inconsistency (LFIs). The emergence of the Brazilian school of paraconsistency and its epistemic approach to paraconsistency are also discussed.
This introductory talk offers an overview of the historical development of paraconsistent logics, from Jaśkowski’s discussive logic D2 and da Costa’s hierarchy of Cn systems to the contemporary Logics of Formal Inconsistency (LFIs). The emergence of the Brazilian school of paraconsistency and its epistemic approach to paraconsistency are also discussed.
2. Paraconsistent Epistemology
2. Paraconsistent Epistemology
In this second session we will examine how paraconsistent agents can reason. The relationship between knowledge and paraconsistency is explored in depth through multi-modal epistemic extensions of LFI1, a three-valued LFI. The combination of paraconsistency and epistemic logic broadens the range of epistemic possibilities, and these novel epistemic states are analyzed in detail.
In this second session we will examine how paraconsistent agents can reason. The relationship between knowledge and paraconsistency is explored in depth through multi-modal epistemic extensions of LFI1, a three-valued LFI. The combination of paraconsistency and epistemic logic broadens the range of epistemic possibilities, and these novel epistemic states are analyzed in detail.
3. The Dynamic Turn in Paraconsistency
3. The Dynamic Turn in Paraconsistency
The final session investigates the notions of change and time in relation to paraconsistency. By integrating perspectives from two major traditions—the Brazilian school of logic and the Dutch school of logic—the idea of a dynamic turn in paraconsistency is introduced. Dynamic epistemic and dynamic temporal extensions of LFI1 are presented and illustrated with examples.
The final session investigates the notions of change and time in relation to paraconsistency. By integrating perspectives from two major traditions—the Brazilian school of logic and the Dutch school of logic—the idea of a dynamic turn in paraconsistency is introduced. Dynamic epistemic and dynamic temporal extensions of LFI1 are presented and illustrated with examples.
References
References
[1] Laurence BonJour. Epistemology: Classic problems and contemporary responses. Rowman & Littlefield Publishers, 2009.
[1] Laurence BonJour. Epistemology: Classic problems and contemporary responses. Rowman & Littlefield Publishers, 2009.
[2] Juliana Bueno, Walter Carnielli, and Juan Carlos Agudelo-Agudelo. Towards the development of paraconsistent epistemology. Cambridge Open Engage, 2025.
[2] Juliana Bueno, Walter Carnielli, and Juan Carlos Agudelo-Agudelo. Towards the development of paraconsistent epistemology. Cambridge Open Engage, 2025.
[3] Juliana Bueno-Soler, Walter Carnielli, and Abilio Rodrigues. Many-valued modalities and paraconsistency. In Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev, pages 217–241. Springer, 2024.
[3] Juliana Bueno-Soler, Walter Carnielli, and Abilio Rodrigues. Many-valued modalities and paraconsistency. In Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev, pages 217–241. Springer, 2024.
[4] Walter Carnielli and Abílio Rodrigues. Towards a philosophical understanding of the logics of formal inconsistency. Manuscrito, 38(2):155–184, 2015.
[4] Walter Carnielli and Abílio Rodrigues. Towards a philosophical understanding of the logics of formal inconsistency. Manuscrito, 38(2):155–184, 2015.
[5] Walter Carnielli and João Marcos. A taxonomy of c-systems. In Paraconsistency: the logical way to the inconsistent, pages 1–94. CRC Press, 2002.
[5] Walter Carnielli and João Marcos. A taxonomy of c-systems. In Paraconsistency: the logical way to the inconsistent, pages 1–94. CRC Press, 2002.
[6] Walter Carnielli, João Marcos, and Sandra De Amo. Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, 8(2):115–152, 2000.
[6] Walter Carnielli, João Marcos, and Sandra De Amo. Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, 8(2):115–152, 2000.
[7] Walter Carnielli and Marcelo Esteban Coniglio. Paraconsistent logic: Consistency, contradiction and negation, volume 40. Springer, 2016.
[7] Walter Carnielli and Marcelo Esteban Coniglio. Paraconsistent logic: Consistency, contradiction and negation, volume 40. Springer, 2016.
[8] Marcelo E Coniglio and Abilio Rodrigues. From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth. Studia Logica, 112(3):561–606, 2024.
[8] Marcelo E Coniglio and Abilio Rodrigues. From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth. Studia Logica, 112(3):561–606, 2024.
[9] Newton C. A. da Costa and Otávio Bueno. Paraconsistent logic. In Susana Nuccetelli, Ofelia Schutte, and Otávio Bueno, editors, A Companion to Latin American Philosophy, pages 215–229. Wiley-Blackwell, 2009.
[9] Newton C. A. da Costa and Otávio Bueno. Paraconsistent logic. In Susana Nuccetelli, Ofelia Schutte, and Otávio Bueno, editors, A Companion to Latin American Philosophy, pages 215–229. Wiley-Blackwell, 2009.
[10] Hans van Ditmarsch. Prolegomena to dynamic logic for belief revision. Synthese, 147(2):229–275, 2005.
[10] Hans van Ditmarsch. Prolegomena to dynamic logic for belief revision. Synthese, 147(2):229–275, 2005.
[11] Itala D’Ottaviano. The completeness and compactness of a three-valued first-order logic. Revista colombiana de matemáticas, 19(1-2):77–94, 1985.
[11] Itala D’Ottaviano. The completeness and compactness of a three-valued first-order logic. Revista colombiana de matemáticas, 19(1-2):77–94, 1985.
[12] Julien Dutant, editor. The New Evil Demon: New Essays on Knowledge, Justification and Rationality. Oxford University Press, forthcoming.
[12] Julien Dutant, editor. The New Evil Demon: New Essays on Knowledge, Justification and Rationality. Oxford University Press, forthcoming.
[13] Patrick Girard and Koji Tanaka. Paraconsistent dynamics. Synthese, 193(1):1–14, 2016.
[13] Patrick Girard and Koji Tanaka. Paraconsistent dynamics. Synthese, 193(1):1–14, 2016.
[14] Gilbert H Harman. Thought. Princeton University Press, 2015.
[14] Gilbert H Harman. Thought. Princeton University Press, 2015.
[15] Saul Kripke. On two paradoxes of knowledge. In Saul A. Kripke, editor, Philosophical Troubles: Collected Papers, Volume 1, pages 27–51. 2011.
[15] Saul Kripke. On two paradoxes of knowledge. In Saul A. Kripke, editor, Philosophical Troubles: Collected Papers, Volume 1, pages 27–51. 2011.
[16] Yuri David Santos. A four-valued dynamic epistemic logic. Journal of Logic, Language and Information, 29(4):451–489, 2020.
[16] Yuri David Santos. A four-valued dynamic epistemic logic. Journal of Logic, Language and Information, 29(4):451–489, 2020.
[17] Rafael Testa. Revisão de Crenças Paraconsistente baseada em um operador formal de consistência. PhD thesis, UNICAMP, 2014.
[17] Rafael Testa. Revisão de Crenças Paraconsistente baseada em um operador formal de consistência. PhD thesis, UNICAMP, 2014.
[18] Rafael Testa, Marcelo E Coniglio, and Márcio M Ribeiro. Paraconsistent belief revision based on a formal consistency operator. 2015.
[18] Rafael Testa, Marcelo E Coniglio, and Márcio M Ribeiro. Paraconsistent belief revision based on a formal consistency operator. 2015.
[19] Rafael Testa, Marcelo E Coniglio, and Márcio M Ribeiro. AGM-like paraconsistent belief change. Logic Journal of the IGPL, 25(4):632–672, 2017.
[19] Rafael Testa, Marcelo E Coniglio, and Márcio M Ribeiro. AGM-like paraconsistent belief change. Logic Journal of the IGPL, 25(4):632–672, 2017.
[20] Hans Van Ditmarsch, Wiebe van Der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Springer, 2008.
[20] Hans Van Ditmarsch, Wiebe van Der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Springer, 2008.
Google Sites
Report abuse