Projetos de Pesquisa

Our main goal is to approach a small but very interesting portion of Natural Theology, including especially arguments for the existence of God, via the formal tools of the contemporary Logic. In order to achieve this, we will construct two formal systems, one Classical and the other Paraconsistent.

Our main goal is to approach a small but very interesting portion of Natural Theology, including especially arguments for the existence of God, via the formal tools of the contemporary Logic. In order to achieve this, we will construct two formal systems, one Classical and the other Paraconsistent.

John Templeton Foundation Grant ID 61108 The Big Questions underlying this project are: How can the Formal Logic methods help us to understand and deep the metaphysical and theological truths? How and in which extent the conceptual framework provided by Neo Scholasticism can help us to address a number of interdependent problems in Philosophy of Religion, Analytic Theology, Formal Metaphysics, and Formal Epistemology?