Some Remarks on Formal Description of God’s Omnipotence

• Authors: Kordula Świętorzecka
• Languages of publication: EN

Abstracts

EN

There are proposed two simple formal descriptions of the notion of God’s omnipotence which are inspired by formalizations of C. Christian and E. Nieznański. Our first proposal is expressed in a modal sentential language with quantifires. The second one is formulated in first order predicate language. In frame of the second aproach we admit using self- referential expressions. In effect we link our considerations with so called paradox of God’s omnipotence and reconstruct some argumentation against the possibility of reference God’s omnipotence to a lack of itself.

Keywords

EN

omnipotence; self-reference; formalization; theodicy

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2011
• Volume: 20
• Issue: 4
• Pages: 307-315

Dates

published

2011-12-01

online

2013-07-02

Contributors

author

Kordula Świętorzecka

• Department of Philosophy Cardinal St. Wyszyński University in Warsaw

References

• [1] Christian, C., “Eine Note zum Gottesbegriff”, Religion, Wissenschaft, Kul-tur 8 (1957): 227-228.
• [2] Feferman, S., “Toward useful type-free theories. I”, The Journal of SymbolicLogic 49, 1 (1984): 75-111.
• [3] Leibniz, G. W., Theodicy. Essays on the Goodness of God, the Freedomof Man and the Origin of Evil, A. Farrer (ed.), Open Court Publishing Company, Peru, Illinois, 1985, 5th Edition, 1996.
• [4] Nieznański, E., “Elements of modal theodicy”, Bul letin of the Section ofLogic 37 (2008), 3/4: 253-264.
• [5] St. Thomas, The Summa Theologica, 2th Edition, 1920, trans. by Fathers of the English Dominican Province, Online Edition Copyright A. 2008 by Kevin Knight.
• [6] Weingartner, P., Omniscience: From a Logical Point of View, Ontos Verlag, 2008.

Identifiers

DOI

10.12775/LLP.2011.020