Abstract
The purpose of the paper is to show that axiomatic thinking can also be applied to religion provided a part of the language used in religion (here called: Religious Discourse) consists of propositions or norms. Although David Hilbert was not concerned with religion when he gave his famous talk “Axiomatisches Denken” in 1917, his published essay (in 1918) treats this topic in such a broad sense that such an application seems appropriate.
This application is done in the following way: The first part discusses the possibility of applying axiomatic thinking to religion by considering the necessary preconditions to be satisfied for a successful application. The second part discusses the specific logical language that will be used in the application. The third part offers two concrete examples of such an application: a short and preliminary axiomatic theory of omniscience and omnipotence.
This paper has been given in Lisbon in 2017; meanwhile the author has written an extensive study (going beyond the third part of this essay). It is published by De Gruyter with the title “An axiomatic study of God. A defence of the rationality of religion” (2021). The author is indebted to the members of the 2018 Bergseminar for valuable suggestions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Bochenski stresses only the Creed (Bochenski [4], p. 10). However, in a private conversation with him, where I told him that one has to add the specific Commands as the second important component for demarcating the religious discourse and a religious believer, he agreed.
- 2.
Thomas Aquinas (CGJn) 1285 [1].
- 3.
See Weingartner [15], ch. 9, pp.183–202.
- 4.
If the logically valid principles are not restricted for applying the operator O, this leads to the well-known paradoxes of Deontic Logic. Possible restrictions are by incorporation of action-operators (see Vanderveken [13]) or by restricting the logically valid principles to logically valid and relevant principles (see Weingartner [19]).
- 5.
Gödel [7].
- 6.
v. Neumann [12] in: Bulloff, J.J./Holyoke, Th.C./Hahn, S.W. (1969).
The “Tribute to Dr. Gödel” from which the passage is cited was given by v. Neumann in March 1951 on the occasion of the presentation of the Albert Einstein Award to Gödel. It appeared in print in the volume Foundations of Mathematics (ed. Bulloff et al.), a collection of papers given at a symposium commemorating the sixtieth birthday of Kurt Gödel.
- 7.
- 8.
Some examples are discussed in ch. 10 of Weingartner [20].
- 9.
For proofs see Kreisel/Krivine [10].
- 10.
- 11.
Weingartner [17].
- 12.
G: “One could establish an exact postulate-system with concepts that are usually called metaphysical: “God”, “Soul”, “Ideas”. If this is done in an exact way nothing could be said against it.” Ich: “Certainly not, as a calculus. Or do you mean with interpretation?” G: Not mere calculus, but theory. From it something follows about observations: but this does not exhaust the theory.” (My translation)—This is the first part of the discussion which is recorded in: Köhler et al. (eds.) [9]. Kurt Gödel. Wahrheit und Beweisbarkeit, p.127.
- 13.
“die prinzipielle Forderung der Axiomenlehre muß vielmehr weitergehen, nämlich dahin, zu erkennen, daß jedesmal innerhalb eines Wissensgebietes auf Grund des aufgestellten Axiomensy-stems Widersprüche überhaupt unmöglich sind”. Hilbert [8], p. 411.
- 14.
To this point cf. Weingartner [16] ch. 3 (Whether God knows something at some time).
- 15.
- 16.
- 17.
MPL 40, 276.
- 18.
(STh) I, 25, 5 and ad 1 [2].
References
Aquinas, Thomas (CGJn). Commentary on the Gospel of St. John. J.A. Weisheipl and F.R. Larcher (1980): Part I, Albany: Magi Books; Part II, Petersham, Mass.: St. Bede’s Publications.
Aquinas, Thomas (STh). Summa Theologica. Transl. by Fathers of the English Dominican Province. Christian Classics. Maryland: Westminster. Reprinted: 1981.
Augustine (MPL). Migne Patrologia, Series Latina.
Bochenski, J.M. (1965). The Logic of Religion. New York: New York University Press.
Cohen, P. (1963/64). “The Independence of the Continuum Hypothesis”, Proceedings of the National Academy of Sciences 50, pp. 1143–1148; and 51, pp. 105–110.
Cohen, P. (1966). Set Theory and the Continuum Hypothesis. New York, Amsterdam: Benjamin.
Gödel, K. (1940). The Consistency of the Axiom of Choice and the Generalized Continuum-Hypothesis with the Axioms of Set-Theory. Annals of Mathematics Studies 3, Princeton.
Hilbert, D. (1918). “Axiomatisches Denken”, Mathematische Annalen 78, pp. 405–415.
Köhler, E. et al (eds.) (2002). Kurt Gödel. Wahrheit und Beweisbarkeit. Vol. I. Wien: öbv-hpt.
Kreisel, G. / Krivine, J.L. (1972). Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie. Berlin, Heidelberg, New-York: Springer.
MPL Migne, J.P. Patrologia, Ser. Latinae.
Neumann, J.v. (1951). Tribute to Dr. Gödel. In: J.J. Bulloff et al. (eds.): Foundations of Mathematics. Berlin: Springer, 1969 (v. Neumann’s paper was given in March 1951 on the occasion of the presentation of the Albert Einstein Award to Gödel.).
Vanderveken, D. (2013). “Towards a Formal Pragmatics of Discourse”, International Review of Pragmatics 5, pp. 34–69.
Weingartner, P. (1981). “A System of Rational Belief, Knowledge and Assumption”, Grazer Philosophische Studien 12/13, pp. 143–165.
Weingartner, P. (1996). Logisch-philosophische Untersuchungen zu Werten und Normen. Bern: Peter Lang.
Weingartner, P. (2008). Omniscience. From a Logical Point of View. Heusenstamm: Ontos 2008.
Weingartner, P. (2009). “Matrix Based Logic for Application in Physics”, The Review of Symbolic Logic 2, pp. 132–163.
Weingartner, P. (2015a). Nature’s Teleological Order and God’s Providence. Are they Compatible with Chance, Free Will, and Evil? Berlin: De Gruyter.
Weingartner, P. (2015b). A 6-Valued-Calculus which Avoids the Paradoxes of Deontic Logic. In: J.Y Beziau et al. (eds.): Conceptual Clarifications. Tributes to Patrick Suppes (1922–2014). College Publications, pp. 217–228.
Weingartner P. (2018). Knowledge and Scientific and Religious Belief. Berlin: De Gruyter.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Weingartner, P. (2022). Axiomatic Thinking—Applied to Religion. In: Ferreira, F., Kahle, R., Sommaruga, G. (eds) Axiomatic Thinking II. Springer, Cham. https://doi.org/10.1007/978-3-030-77799-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-77799-9_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-77798-2
Online ISBN: 978-3-030-77799-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)