Applying Logic to Philosophical Theology: A Formal Deductive Inference of Affirming God’s Existence from Assuming the A-Priori-ness of Knowledge in the Sigma Formal Axiomatic Theory | Tomsk State University Journal of Philosophy, Sociology and Political Science. 2020. № 55. DOI: 10.17223/1998863X/55/1

Applying Logic to Philosophical Theology: A Formal Deductive Inference of Affirming God’s Existence from Assuming the A-Priori-ness of Knowledge in the Sigma Formal Axiomatic Theory

For the first time a precise definition is given to the Sigma formal axiomatic theory, which is a result of logical formalization ofphilosophical epistemology; and an interpretation of this formal theory is offered. Also, for the first time, a formal deductive proof is constructed in Sigma for a formula, which represents (in the offered interpretation) the statement of God’s Existence under the condition that knowledge is a priori.

Download file

Counter downloads: 106

Keywords

formal axiomatic epistemology theory, two-valued algebra of formal axiology, formal-axiological equivalence, a-priori knowledge, existence of God, формальная аксиоматическая теория эпистемологии, двузначная алгебра формальной аксиологии, формально-аксиологическая эквивалентность, априорное знание, бытие Бога

Authors

Name	Organization	E-mail
Lobovikov Vladimir O.	Institute of Philosophy and Law, the Ural Branch of the Russian Academy of Sciences	vlobovikov@mail.ru

Всего: 1

References

Hume, D. (1996) Malye proizvedeniya [Small Works]. Translated from English. Moscow: KANON. pp. 297-426. Applying logic to philosophical theology: a formal deductive inference of affirming God’s existence 11

Kant, I. (1994) The Critique of Pure Reason. In: Adler, M. (ed.) Great Books of the Western World. Vol. 39. Chicago; Auckland; London; Madrid: Encyclopaedia Britannica.

Bocharov, V.A. & Yuraskina, T.I. (2003) Bozhestvennye atributy [Divine Attributes]. Moscow: Moscow State University.

Tertullian, Q.S.F. (2015) On the Flesh of Christ. Savage, Minnesota: Lighthouse Christian Publishing.

St. Anselm of Canterbury. (1998) The Major Works. Oxford: Oxford University Press.

Aquinas St. Thomas. (1975) Summa contra Gentiles. Notre Dame: University of Notre Dame Press.

Aquinas St. Thomas. (1994) The Summa Theologica. Vol. 1. In: Adler, M. (ed.) Great Books of the Western World. Vol. 17. Chicago; Auckland; London; Madrid: Encyclopedia Britannica, Inc.

Aquinas St. Thomas. (1994) The Summa Theologica. Vol. II. In: Adler, M. (ed.) Great Books of the Western World. Vol. 18. Chicago; Auckland; London; Madrid: Encyclopedia Britannica, Inc.

Descartes, R. (1994a) Meditations on First Philosophy. In: Adler, M. (ed.) Great Books of the Western World. Vol. 28. Chicago; Auckland; London; Madrid: Encyclopaedia Britannica. pp. 295-329.

Descartes, R. (1994b) Objections against the Meditations, and Replies. In: Adler, M. (ed.) Great Books of the Western World. Vol. 28. Chicago; Auckland; London; Madrid: Encyclopaedia Britannica. pp. 330-519

Descartes, R. (1994c) Discourse on the Method of Rightly Conducting the Reason. In: Adler, M. (ed.) Great Books of the Western World. Vol. 28. Chicago; Auckland; London; Madrid: Encyclopaedia Britannica. pp. 265-291.

Spinoza, B. (1994) Ethics. In: Adler, M. (ed.) Great Books of the Western World. Vol. 28. Chicago; Auckland; London; Madrid: Encyclopaedia Britannica. pp. 589-697.

Leibniz, G.W.F. (1996) New Essays on Human Understanding. Translated from German by P. Remnant and J. Bennett. Cambridge; New York: Cambridge University Press.

Leibniz, G.W.F. (1952) Theodicy: Essays on the Goodness of God, the Freedom of Man, and the Origin of Evil. London: Routledge and Kegan Paul.

Gödel, K. (1995) Collected Works. Vol. 3. New York; Oxford: Oxford University Press.

Świętorzecka, K. (ed.) (2016) Gödel’s Ontological Argument: History, Modifications, and Controversies. Warsaw: Wydawnictwo Naukowe Semper.

Plantinga, A. (1974) The Nature of Necessity. Oxford: Clarendon Press.

Gorbatova, Yu.V. (2012) Logiko-ontologicheskie osnovaniya sovremennoy analiticheskoy teologii (na materiale kontseptsii Alvina Plantingi) [Logical and ontological foundations of contemporary analytical theology (instantiated by Alvin Plantinga conception)]. PhD dissertation. Moscow: HSE.

Lewis, D. (1970) Anselm and Actuality. Noûs. 4. pp. 175-88.

Sobel, J. (2004) Logic and Theism. New York: Cambridge University Press.

Oppy, G. (2019) Ontological Arguments. In: Zalta, N. (ed.) The Stanford Encyclopedia of Philosophy. [Online] Available from: https://plato.stanford.edu/archives/spr2019/entries/ontological-arguments/> (Acceaaed: 11th November 2019).

Lobovikov, V. (2015) 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/2159-5313/2015.07.001

Lobovikov, V. (2018) Vindicating Gödel’s Uniting Logic, Metaphysics and Theology (God’s omnipresence proved by computing compositions of evaluation-functions in two-valued algebra of metaphysics as formal axiology). Proceedings of the Round Table “Religion and Religious Studies in the Urals. Ekaterinburg: Delovaya Kniga. pp. 33-36.

Lobovikov, V. (2019) 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). Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya. Sotsiologiya. Politologiya - Tomsk State University Journal of Philosophy, Sociology and Political Science. 1(47). pp. 87-93. DOI: 10.17223/1998863Х/47/9

Lobovikov, V. (2018) Proofs of Logic Consistency of a Formal Axiomatic Epistemology Theory Ξ, and Demonstrations of Improvability of the Formulae (Kq→ q) and (

Lobovikov, V. (2019) A model \\Sigma for the theory \\Ksi. Formal Methods and Science in Philosophy III. Abstracts of the International conference. Dubrovnik, Croatia. April 11-13, 2019. Institute of Philosophy, Zagreb. pp. 19-20.

Ivin, A.A. (1970) Osnovaniya logiki otsenok [Foundations of Evaluation Logic]. Moscow: Moscow State University.