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
For the first time, in the formal axiomatic epistemology theory Sigma such a theorem is formally proved which means (in the precisely defined interpretation) that under the condition of knowledge a-priori-ness, a statement of formal-axiological equivalence of moral-evaluation-functions is logically equivalent to logic equivalence of corresponding statements of being. For the first time it is shown that this theorem undermines universality of the conception of Hume and Moore. A precise definition is given for the formal axiomatic theory Sigma, which is a result of logical formalization of the universal philosophical epistemology; and a relevant interpretation of this formal theory is submitted. The formal proof of the theorem can be examined by readers step by step as it is accomplished in accordance with the formalism standards.
Keywords: formal-axiomatic-epistemology-theory; a-priori-knowledge; two-valuedalgebra-of-formal-axiology; formal-axiological-equivalence; moral-evaluation-function; Hume-guillotine; naturalistic-fallacies-in-ethics; fact-value-dualism.
Download article TPL_IPL_ARTICLE_PDF