22 (1)
Free subscription at
the electronic version of journal
Subscription index
in the Russian Post
catalogue – 43669
Until 01.01.2019 - Scientific Yearbook of the Institute of Philosophy and Law of the Ural Branch of the Russian Academy of Sciences

ISSN 2686-7206 (Print)

ISSN 2686-925X (Оnlinе)

Lobovikov Vladimir

Two additional binary operations are introduced in two-valued algebra of metaphysics as formal axiology, namely, the operationsS’s-being-in-W” and S’s-being-out-of-W” determined by two evaluation-variables S and W. Precise tabular definitions of the evaluation-functional sense of the introduced binary operations are submitted. The paper submits a precise definition of the relation of formal-axiological equivalence in the metaphysics algebra and also definitions of notions: “formal-axiological contradiction”; “law of metaphysics” in this algebra. By means of the given definitions within the framework of the constructed elementary discrete mathematical model of metaphysics, the author generates systems of equations and laws, which are explications of the philosophical concepts: “being-of-thing-in-itself”; “being-of-thing-as-such”; “being-in-world”; “being-in”; “being-in-space”; “being-in-time”. In particular, at the level of the model, it is demonstrated that the formal-axiological equivalence-relation of the evaluation-functions “being-of-thing-in-itself” and “being-of-thing-as-such” does not exist; hence, the two are substantially different ones.


Keywords: S’s-being-in-W; being-of-thing-in-itself; being-in-space; being-in-time; S’s-being-out-of-W; formal-axiology; algebra-of-metaphysics; evaluation-variable; evaluation-function; discrete-mathematical-model.


Download article TPL_IPL_ARTICLE_PDF