Лобовиков Владимир Олегович
Впервые в формальной аксиоматической теории знания Сигма формально доказана теорема, означающая (в предложенной точно определенной интерпретации), что, при условии априорности знания, утверждение формально-аксиологической эквивалентности моральных ценностных функций логически эквивалентно утверждению логической эквивалентности соответствующих утверждений о бытии. Впервые продемонстрировано, что эта теорема отрицает универсальность упомянутой концепции Юма и Мура. Дано точное определение упомянутой формальной аксиоматической теории Сигма, являющейся результатом логической формализации универсальной философской эпистемологии; а также предложена некая релевантная интерпретация этой формальной теории. Представленное формальное доказательство вышеупомянутой теоремы может быть проверено читателями шаг за шагом, так как оно построено в соответствии со стандартами формализма (в обосновании математики).
Ключевые слова: формальная-аксиоматическая-теория-знания, знание-a-priori, двузначная-алгебра-формальной-аксиологии, формально-аксиологическая-эквивалентность, моральная-ценностная-функция, гильотина-Юма, натуралистические-ошибки-в-этике, дуализм-факта-и-ценности