Analytical Theology: God's Omnipotence as a Formal-Axiological Law of the Two-Valued Algebra of Formal Ethics (Demonstrating the Law by "Computing" Relevant Evaluation-Functions)
The paper submits a significantly novel method for analytical theology - discrete mathematical representing and solving knotty problems of theology by means of constructing and investigating their models at the level of the artificial language of the algebraic system of formal ethics. For the first time in the world literature, the religion tenet of omnipotence-of-God is formulated by the artificial language and proved as a formal-axiological law by computing relevant moral-evaluation-tables in two-valued algebra of formal ethics. From the viewpoint of pure mathematics, the submitted demonstration of the moral-value-functional law in question is quite elementary but from the conceptual theological point of view God's omnipotence as a formal-axiological-law of mentioned algebra is quite nontrivial and psychologically unexpected one. After a short historical-philosophical introduction into the philosophical theology problem, the author gives a set of basic definitions necessary-and-sufficient for accomplishing, testing, and perfect understanding the submitted original proving by "computing". Among the given basic definitions, one can find precise definitions of the notions "two-valued algebra of formal ethics", "moral-value-form-(of-actions)", "moral-evaluation-function", "formal-ethical-(axiological)-equivalence-of-evaluation-functions", "formal-ethical-contradiction", "formal-ethical-law". In addition to these definitions, which are basic ones for the two-valued algebraic system of formal ethics in general, by means of moral-value-tables, the author gives tabular definitions of the specific philosophical-theology notions involved in formulating and solving the problem in question. Namely, by means of moral-value-tables, moral-value-functional meanings of the terms "God (of x)", "necessity of y for x", "possibility of y for x", "impossibility of y for x", "contingency of y for x", etc., are defined precisely. Thus, a hitherto non-recognized possibility is created to construct and investigate various compositions of the unary and binary moral-value-functions within the algebraic system of formal ethics. For the first time in the world literature on philosophical theology, this possibility is realized in the paper, namely, relevant compositions of moral-value-functions ["God (of x)", "necessity of y for x", "possibility of y for x", "impossibility of y for x", "contingency of y for x"] are constructed and studied systematically. By means of accurate "computing" the relevant compositions of moral-value-functions, it is demonstrated in the paper that "God is almighty: everything is possible for Him; nothing is impossible for Him" is the law of algebra of formal ethics.
Keywords
алгебра формальной этики,
формально-аксиологическая эквивалентность,
формально-аксиологическое противоречие,
формально-аксиологический закон,
всемогущество Бога,
algebra-of-formal-ethics,
formal-axiological-equivalence,
formal-axiological- 3 contradiction,
formal-axiological-law,
omnipotence-of-GodAuthors
| Lobovikov Vladimir О. | Institute of Philosophy and Law of the Ural Branch of the Russian Academy of Sciences | vlobovikov@mail.ru |
Всего: 1
References
Augustine, St. (1994) The Confessions. The City of God. On Christian Doctrine. In: Adler, M. (ed.). Great Books of the Western World. Vol. 16. Chicago; Auckland; London; Madrid: Encyclopaedia Britannica, Inc.
Pseudo-Dionysius, Areopagite. (1980) The Divine Names and Mystical Theology. Milwaukee: Marquette University Press.
Aquinas, St. Thomas. (1994) The Summa Theologica. V.I. In: Adler, M. (ed.) Great Books of the Western World. Vol. 17. Chicago; Auckland; London; Madrid: Encyclopaedia Britannica.
Descartes, R. (1994) Meditations on First Philosophy. In: Adler, M. (ed.) Great Books of the Western World. Vol. 28. Chicago; Auckland; London; Madrid: Encyclopaedia Britannica. pp. 295519.
Leibniz, G.W. (1952) Theodicy: Essays on the Goodness of God, the Freedom of Man, and the Origin of Evil. London: Routledge and Kegan Paul.
Conee, E. (1991) The Possibility of Power Beyond Possibility. Philosophical Perspectives. 5. pp. 447-473. DOI: 10.2307/2214105
Englebretsen, G.F. (1971) The Incompatibility of God's Existence and Omnipotence. Sophia. 10. pp. 28-31.
Frankfurt, H.G. (1964) The Logic of Omnipotence. Philosophical Review. 73. pp. 262-263. DOI: 10.2307/2183341
Geach, P.T. (1973) Omnipotence. Philosophy. 48. pp. 7-20.
Grave, S.A. (1956) On Evil and Omnipotence. Mind. 65. pp. 259-262. DOI: 10.1093/mind/65.1.259
Hill, D.J. (2005) Divinity and Maximal Greatness. London: Routledge.
Hoffman, J. (1979) Mavrodes on Defining Omnipotence. Philosophical Studies. 35. pp. 311- 313. DOI: 10.1007/BF00357701
Hoffman, J. (1979) Can God Do Evil? Southern Journal of Philosophy. 17. pp. 213-220. DOI: 10.1111/j.2041-6962.1979.tb00238.x
Hoffman, J. & Rosenkrantz, G. (1988) Omnipotence Redux. Philosophy andPhenomenolog-icalResearch. 49. pp. 283-301.
Hoffman, J. & Rosenkrantz, G. (2002) The Divine Attributes. Oxford: Blackwell.
Hoffman, J. & Rosenkrantz, G. (2010) Omnipotence.In: Taliaferro, C., Draper, P. & Quinn, P. (eds). A Companion to Philosophy of Religion. Oxford: Wiley-Blackwell. pp. 243-250.
Hoffman, J. & Rosenkrantz, G. (2014) Omnipotence. In: Zalta, E. (ed.) The Stanford Encyclopedia of Philosophy. [Online] Available from: https://plato.stanford.edu/. (Accessed: 16 February 2016.)
Kenny, A. (1979) The God of the Philosophers. Oxford: Clarendon Press.
Khamara, E.J. (1978) In Defense of Omnipotence. Philosophical Quarterly. 28. pp. 215-228. DOI: 10.2307/2218842
Mackie, J.L. (1955) Evil and Omnipotence. Mind. 64. pp. 200-212. DOI: 10.1093/mind/LXIV.254.200
Mackie, J.L. (1962) Omnipotence. Sophia. 1. pp. 13-25.
Mavrodes, G.I. (1963) Some Puzzles Concerning Omnipotence. Philosophical Review. 72. pp. 221-223. DOI: 10.2307/2183106
Pike, N. (1969) Omnipotence and God's Ability to Sin. American Philosophical Quarterly. 6. pp. 208-216.
Plantinga, A. (1974) God, Freedom, and Evil. New York: Harper and Row.
Rosenkrantz, G. & Hoffman, J. (1980) The Omnipotence Paradox, Modality, and Time. Southern Journal of Philosophy. 18. pp. 473-479. DOI: 10.1111/j.2041-6962.1980.tb01400.x
Rosenkrantz, G. & Hoffman, J. (1980) What An Omnipotent Agent Can Do. International JournalforPhilosophy of Religion. 11. pp. 1-19. DOI: 10.1007/BF00138761
Ramsey, I.T. (1956) The Paradox of Omnipotence. Mind. 65. pp. 263-266.
Rowe, W.L. (2004) Can God be Free? Oxford: Oxford University Press.
Savage, W. (1967) The Paradox of the Stone. Philosophical Review. 76. pp. 74-79.
Schlesinger, G. (1965) Omnipotence and Evil: An Incoherent Problem. Sophia. 4. pp. 21-24.
Swineburne, R. (1973) Omnipotence. American Philosophical Quarterly. 10. pp. 231-37.
Urban, L. & Douglass, W. (eds) (1978) The Power of God: readings on Omnipotence and Evil. New York: Oxford University Press.
Wierenga, E.R. (1989) The Nature of God: An Inquiry into Divine Attributes. Ithaca, NY: Cornell University Press.
Lobovikov, V.O. (2007) Aristotelian and Juridical Modalities: A New Theory of Their Unity (A Two-Valued Algebra of Formal Natural-Law Philosophy of Modalities as Moral-Legal Evaluation-Functions Determined by Two Variables - A Complement to G. H. Wright's Deontic Logic Interpretation of G. W. Leibniz's Idea about the Unity of the Two Kinds of Modalities). Revista da Faculdade de Direito de Conselheiro Lafaiete. 3. pp. 181-187.
Lobovikov, V.O. (2007) Matematicheskaya etika, metafizika i estestvennoe pravo (Algebra metafiziki kak algebra formal'noy aksiologii) [Mathematical ethics, metaphysics and natural law (Algebra of metaphysics as an algebra of formal axiology)]. Ekaterinburg: Institue of Philosophy and Law.
Lobovikov, V.O. (2009a) Mathematical Logic as a Particular Case of Mathematical Ethics: Algebra of Formal Ethics as a Generalization of Algebra of Formal Logic. In: Drossos, C., Peppas, P. & Tsinakis, C. (eds). Proceedings of the 7th Panhellenic Logic Symposium (PLS7). Patras University, Greece. July 15-19, 2009. Patras: Patras University Press. pp. 109-111.
Lobovikov, V.O. (2009b) Modal Logic and Formal Axiology of Alethic and Epistemic Modalities. In: Drossos, C., Peppas, P. & Tsinakis, C. (eds). Proceedings of the 7th Panhellenic Logic Symposium (PLS7). Patras University, Greece. July 15-19, 2009. Patras: Patras University Press. pp. 112-116.
Lobovikov, V.O. (2010) Between Writing and Picturing: The Square of Opposition in Formal Logic and Formal Axiology of Alethic and Deontic Modalities. In: Nemeth, E., Heinrich, R. & Pichler, W. (eds). Image and Imaging in Philosophy, Science, and the Arts. Papers of the 33rd International Wittgenstein Symposium. Kirchberg am Wechsel, Lower Austria. August 8-14, 2010. Vol. XVIII. Kirchberg am Wechsel: Austrian Ludwig Wittgenstein Society. pp. 183-185.
Lobovikov, V.O. (2011) Discrete Mathematical Representing G. W. Leibniz' Philosophy of Law, Morals and Theology by Means of Two-Valued Algebra of the Natural Law (Studying Moral-legal Evaluation-Functions Determined by Two Variables in Algebra of Formal Axiology). In: Breger, H., Herbst, J. & Erdner, S. (eds). XI International Leibniz-Congress "Nature and Subject" under the Auspices of Federal President. Hannover. September 26 - October 1, 2011). Vol. 2. Berlin: Akademie Verlag; Bahlsen GmbH & Co. KG. pp. 611-615.
Lobovikov, V.O. (2014) Algebra of Morality and Formal Ethics. In: Bronk, K. (ed.) Looking Back to See the Future: Reflections on Sins and Virtues. Oxford, UK: Inter-Disciplinary Press. pp. 1741.
Lobovikov, V.O. (2015a) The principle of compositionality in formal axiological semantics of the natural language (evaluation-functions determined by a finite number of evaluation-variables in two-valued algebraic system of formal axiology as meanings of words and complex word. Izvestiya Ural'skogo Federal'nogo universiteta. Seriya 3: Obshchestvennye nauki - Izvestia Ural Federal University Journal. Series 3. Social and Political Sciences. 10(2). pp. 84-97. (In Russian).
Lobovikov, V.O. (2015b) The Trinity Triangle and the Homonymy of the Word "Is" in Natural Language (A Logically Consistent Discrete Mathematical Representation of the Trinity by Means of Algebra of Morality and Formal Ethics). Philosophy Study. 5(7). pp. 327-341. DOI: 10.17265/21595313/2015.07.001
