Thw authoress analyses, presents and compares some contemporary ideas of God, inspired by historical arguments in favour of Absolute's existence. Logical and set-theory means, though do not give ready solution of the problem, nevertheless show some acceptable accounts.
In the paper there are introduced two kinds of quantifiers, each of which includes different scope of the changeability of variables. The matter is expounded in two parts: first, it is described a language with the double quantification, second, a formalized theory of the Absolute is constructed. Using philosophical inspirations of St. Thomas Aquinas and Leibniz the aim of the discourse is to determine logical and ontological grounds for the acceptance of the fact of the existence and the uniqueness of the Absolute.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.