Resumo
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.
Referências
ANSARI, R.; DUNAWAY, B.; MCGINNIS. “Necessary Existent Theology”. Draft. Available at https://www.theologyscienceandknowledge.org/uploads/1/2/0/5/120500353/net_1-9-2021.pdf. 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 www.corpusthomisticum.com, ed. by ALARCÓN, Enrique. (cit. ST).
![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
Copyright (c) 2021 Manuscrito: Revista Internacional de Filosofia