Acessibilidade / Reportar erro

SKETCH FOR A FORMAL NATURAL THEOLOGY: EXISTENCE AND UNIQUENESS OF GOD1 1 This paper is part of the project “Formal Approaches to Natural Theology”, sponsored by the John Templeton Foundation under its umbrella project “Supporting Constructive Research on the Existence of God in Portuguese-Speaking Latin America”. Part of the results presented here was obtained from research carried out in the project “Formal Approaches to Philosophy of Religion and Analytic Theology” (Grant 61108), also generously sponsored by the John Templeton Foundation.

Abstract

In this paper, I present a proposal for a Formal Natural Theology. The approach employed for this task is through a first-order 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.

Keywords:
Natural Theology; God; Formal Natural Theology; Logic; Supreme Being

UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência Rua Sérgio Buarque de Holanda, 251, 13083-859 Campinas-SP, Tel: (55 19) 3521 6523, Fax: (55 19) 3289 3269 - Campinas - SP - Brazil
E-mail: publicacoes@cle.unicamp.br