TY - JOUR AU - Bertato, Fábio M. PY - 2021/12/13 Y2 - 2024/03/28 TI - Sketch for a formal natural theology: existence and uniqueness of god JF - Manuscrito: Revista Internacional de Filosofia JA - Manuscrito - Rev. Int. Fil. VL - 44 IS - 4 SE - Artigos DO - UR - https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8668955 SP - 607-630 AB - <p>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.</p> ER -