Лобовиков Владимир Олегович
В двузначную алгебру метафизики как формальной аксиологии вводятся еще две бинарные операции, а именно, ценностные функции «бытие s-в-w» и «бытие s-вне-w» от двух ценностных переменных sи w. Даны точные табличные определения ценностно-функционального смысла введенных бинарных операций. Предлагается точная дефиниция отношения формально-аксиологической эквивалентности в алгебре метафизики и определение понятий «формально-аксиологическое противоречие» и «закон метафизики» в этой алгебре. С помощью данных определений в рамках построенной простейшей дискретной математической модели метафизики генерируются системы уравнений и законов, уточняющих философские понятия «бытие-вещи-в-себе», «бытие-вещи-самой-по-себе», «бытие-в-мире», «бытие-в», «бытие-в-пространстве», «бытие-во-времени». В частности, на уровне модели демонстрируется отсутствие формально-аксиологической эквивалентности ценностных функций «бытие-вещи-в-себе» и «бытие-вещи-самой-по-себе», то есть их важное различие.
Ключевые слова: бытие-s-в-w, бытие-вещи-в-себе, бытие-в-пространстве, бытие-во-времени, бытие-s-вне-w, формальная-аксиология, алгебра-метафизики, ценностная-переменная, ценностная-функция, дискретная-математическая-модель.