Sketch for a formal natural theology

existence and uniqueness of god



Natural theology, God, Formal natural theology, Logic, Supreme being


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.


Não há dados estatísticos.

Biografia do Autor

Fábio M. Bertato, University of Campinas

PhD in Philosophy from the State University of Campinas. Researcher, Member and Associate Director of the Center for Logic, Epistemology and History of Science, CLE, State University of Campinas (SP).


ANSARI, R.; DUNAWAY, B.; MCGINNIS. “Necessary Existent Theology”. Draft. Available at Accessed in 03-01-2021.

ANSELM OF CANTERBURY; HAAS, C. (ed.). Opuscula philosophico-theologica selecta, Volume 1. Tübingen: Hans Laupp, 1863.

ANSELM OF CANTERBURY. Proslógio. In: (trad.) RICCI, Angelo. Coleção Pensadores, volume VII. São Paulo: Abril Cultural, 1973.

ANSELM OF CANTERBURY. Monologion and Proslogion, with the replies of Gaunilo and Anselm, trans. with introduction and notes by Thomas Williams. Indianapolis, IN: Hackett Publishing Company, 1996.

AVICENNA. Metafisica. La scienza delle cose divine (al-Ilâhiyyât) dal Libro della Guarigione (Kitāb al-Shifā’): Traduzione dall’arabo, introduzioni, note e apparati di Olga Lizzini; Prefazione, revisione del testo latino e cura editoriale di Pasquale Porro. Milano: Bompiani 2002; II ed. corretta e aggiornata 2006.

BERTATO, F. M. “The Logic of the Trinity and the Filioque Question in Thomas Aquinas: A Formal Approach”. In R. S. Silvestre (ed.), Beyond Faith and Rationality. Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures, vol 34. Springer, Cham. Chama, Switzerland: pp. 137-151.

BERTATO, F. M., Silva, G.B. da . “On the Incompatibility of Religious Determinism and the Divine Attribute of Omnibenevolence: A First-Order Approach”, forthcoming.

BOLZANO, B. Lehrbuch der Religionswissenschaft, ein Abdruck der Vorlesungshefte eines ehemaligen Religionslehrers an einer katholischen Universität von einigen seiner Schüler gesammel und herausgegeben (LdR), Sulzbach, in der J.C. v. Seidelschen Buchhandlung, 1834. (cit. LR)

BOLZANO, B. Paradoxes of the Infinite. trans. by D. A. Steele. London: Routledge and Kegan Paul, 1950.

FESER, E. Aquinas: a beginner’s guide. Oxford: Oneworld Publications, 2009.

KENNY, A. The five ways: St. Thomas Aquinas’ proofs of God’s existence. New York: Routledge, 2003.

MARMURA, M. “Avicenna’s Proof from Contingency for God’s Existence in the Metaphysics of the Shifā,” in Probing in Slamic Philosophy: Studies in the Philosophies of Ibn Sina, al_Ghazali and Other Major Muslim Thinkers. Binghamton: Binghamton University Press, 2005.

MEIXNER, U. “Thomas Aquinas on the Fundamental Composition of Objects· An Axiomatic Logical Reconstruction”. In: Analytically oriented Thomism. Szatkowski, Miroslaw. (Ed.) (2016) pp.119-198.

MCGINNIS, J.; REISMAN. Classical Arabic Philosophy: An Anthology of Sources. Indianapolis: Hackett Publishing Co., 2007. (cit. Najāt, Ilāhīyāt)

POJMAN, L.; REA, M. Philosophy of Religion: An Anthology. Belmont: Wadsworth Publishing, 2007.

PRUSS, Alexander R. Possibility is not consistency. Philosophical Studies (2015), 172, (9):2341-2348.

SILVA, G. B. da, BERTATO, F. M. “A First-Order Modal Theodicy: God, Evil, and Religious Determinism”, South American Journal of Logic 2019, Vol. 5, No. 1, pp. 49-80.

SILVA, G. B. da, BERTATO, F. M. “Formal Theodicy: Religious Determinism and the Logical Problem of Evil”, Edukacja Filozoficzna 2020, 70, pp. 93-119.

SILVA, G. B. da, BERTATO, F. M. “God, Evil, and Religious Determinism: Another First Order Modal Theodicy”, forthcoming.

ŚWIĘTORZECKA, K. “An Argument for the Existence of God by Bolzano. A Formalization with a Distinction between Menge and Inbegriff,” in Bulletin of the Section of Logic, Vol. 43:3/4 (2014), 155-172.

SZATSKOWSKI, M. Ontological Proofs Today. Heusenstamm: Ontos Verlag 2012.

THOMAS AQUINAS. Summa Theologiae. Textum Leoninum Romae 1888 editum ac automato translatum a Roberto Busa SJ in taenias magneticas denuo recognovit Enrique Alarcón atque instruxit. Available at, ed. by ALARCÓN, Enrique. (cit. ST).




Como Citar

BERTATO, F. M. Sketch for a formal natural theology: existence and uniqueness of god. Manuscrito: Revista Internacional de Filosofia, Campinas, SP, v. 44, n. 4, p. 607–630, 2021. Disponível em: Acesso em: 26 set. 2022.