Projeto
Formal Approaches to Natural Theology
Resumo
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.
Responsáveis
Membros