Some remarks on formal description of God's omnipotence

Kordula Świętorzecka



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.


omnipotence; self-reference; formalization; theodicy

Full Text:



Christian, C., “Eine Note zum Gottesbegriff”, Religion, Wissenschaft, Kultur 8 (1957): 227–228.

Feferman, S., “Toward useful type-free theories. I”, The Journal of Symbolic Logic 49, 1 (1984): 75–111.

Leibniz, G. W., Theodicy. Essays on the Goodness of God, the Freedom of Man and the Origin of Evil, A. Farrer (ed.), Open Court Publishing Company, Peru, Illinois, 1985, 5th Edition, 1996.

Nieznański, E., “Elements of modal theodicy”, Bulletin of the Section of Logic 37 (2008), 3/4: 253-264.

St. Thomas, The Summa Theologica, 2th Edition, 1920, trans. by Fathers of the English Dominican Province, Online Edition Copyright ¿ 2008 by Kevin Knight.

Weingartner, P., Omniscience: From a Logical Point of View, Ontos Verlag, 2008.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism