Sketch for a Formal Natural Theology: Existence and Uniqueness of God

Abstract

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 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.