Онтологический аргумент в свете двумерной семантики
The paper deals with the Ontological Argument and focuses on the enigmatic Anselmian concept «majus» (within the expression «id quo majus cogitari neguit»). Four different explications of this concept are considered. The conclusion is that the most productive and non-trivial explication is based on two-dimensional approach to the possible worlds semantics. А formal reconstruction of Anselm's proof in terms of AML (modal logic with an actuality operator) is given.