
21The Trinitarian Doctrine in the Language of Category TheoryIn Vestrucci Andrea (ed.), Beyond Babel: Religion and Linguistic Pluralism, Springer Verlag. pp. 325344. 2023.In this chapter, I use the language of category theory to address a relevant part of the Christian Trinitarian doctrine. Using a categorical conceptual apparatus usual to mathematicians, it is possible to represent important points of Trinitarian theology and show that such discourse can be considered free of contradictions. Problems concerning the Trinity are therefore approached from a category theory perspective.

3(Un)Certainty and (In)Exactness: proceedings of the 1st CLE Colloquium for philosophy and formal sciences (edited book)Aracne editrice. 2018.

55Philosophical Approaches to the Foundations of Logic and Mathematics: In Honor of Professor Stanisław Krajewski (review)History and Philosophy of Logic 44 (3): 350352. 2022.Mathematics is a formal science, and it has historically established itself as a paradigm of rigor and precision for other sciences. This is because, over the centuries, mathematics was considered...

30Sketch for a formal natural theology: Existence and uniqueness of GodManuscrito 44 (4): 607630. 2021.In this paper, I present a proposal for a Formal Natural Theology. The approach employed for this task is through a firstorder theory, in which fundamental concepts such as divine, necessary, and supreme beings, are formally introduced, which allow obtaining the theorems of existence and uniqueness of a divine being, according to the perspective of classical theism.

413Formal Theodicy: Religious Determinism and the Logical Problem of EvilEdukacja Filozoficzna 70 93119. 2020.Edward Nieznański developed two logical systems to deal with the problem of evil and to refute religious determinism. However, when formalized in firstorder modal logic, two axioms of each system contradict one another, revealing that there is an underlying minimal set of axioms enough to settle the questions. In this article, we develop this minimal system, called N3, which is based on Nieznański’s contribution. The purpose of N3 is to solve the logical problem of evil through the defeat of a …Read more

The Logic of the Trinity and the Filioque Question in Thomas Aquinas: A Formal ApproachIn P. Bilimoria J.Y. Beziau B. P. Göcke R. S. Silvestre (ed.), Beyond Faith and Rationality. Sophia Studies in Crosscultural Philosophy of Traditions and Cultures, vol 34. Springer, Cham.. pp. 137151. 2020.

522A FirstOrder Modal Theodicy: God, Evil, and Religious DeterminismSouth American Journal of Logic 5 (1): 4980. 2019.Edward Nieznanski developed in 2007 and 2008 two different systems in formal logic which deal with the problem of evil. Particularly, his aim is to refute a version of the logical problem of evil associated with a form of religious determinism. In this paper, we revisit his first system to give a more suitable form to it, reformulating it in firstorder modal logic. The new resulting system, called N1, has much of the original basic structure, and many axioms, definitions, and theorems still rem…Read more

George Berkeley e os Fundamentos do Cálculo Diferencial e IntegralCadernos de História E Filosofia da Ciência (UNICAMP) 1 3373. 2015.