Knowledge logic and algebra of formal axiology: a formal axiomatic epistemology theory Sigma used for precise defining the exotic condition under which Hume-and-Moore doctrine of logically unbridgeable gap between statements of being and statements of value is falsified = Логика знания и алгебра формальной аксиологии: некая формальная аксиоматическая теория эпистемологии сигма, используемая для точного определения того экзотического условия, при котором доктрина Юма и Мура о логически непреодолимой пропасти между суждениями о бытии и суждениями о ценности фальсифицируется
УДК 16:17:51-7:510.687:510.82:512
Лобовиков В.О. Knowledge logic and algebra of formal axiology: a formal axiomatic epistemology theory Sigma used for precise defining the exotic condition under which Hume-and-Moore doctrine of logically unbridgeable gap between statements of being and statements of value is falsified = Логика знания и алгебра формальной аксиологии: некая формальная аксиоматическая теория эпистемологии сигма, используемая для точного определения того экзотического условия, при котором доктрина Юма и Мура о логически непреодолимой пропасти между суждениями о бытии и суждениями о ценности фальсифицируется // Антиномии. 2020. Т. 20. Вып. 4. С. 7-23. DOI: 10.24411/2686-7206-2020-10401.
Впервые в формальной аксиоматической теории знания Сигма формально доказана теорема, означающая (в предложенной точно определенной интерпретации), что, при условии априорности знания, утверждение формально-аксиологической эквивалентности моральных ценностных функций логически эквивалентно утверждению логической эквивалентности соответствующих утверждений о бытии. Впервые продемонстрировано, что эта теорема отрицает универсальность упомянутой концепции Юма и Мура. Дано точное определение упомянутой формальной аксиоматической теории Сигма, являющейся результатом логической формализации универсальной философской эпистемологии; а также предложена некая релевантная интерпретация этой формальной теории. Представленное формальное доказательство вышеупомянутой теоремы может быть проверено читателями шаг за шагом, так как оно построено в соответствии со стандартами формализма (в обосновании математики)
Abstract. 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
