БИНАРНЫЕ ОПЕРАЦИИ «БЫТИЕ-S-В-W» И «БЫТИЕ-S-ВНЕ-W»
В ДВУЗНАЧНОЙ АЛГЕБРЕ МЕТАФИЗИКИ КАК ФОРМАЛЬНОЙ АКСИОЛОГИИ: ИСПОЛЬЗОВАНИЕ ЭТИХ ОПЕРАЦИЙ В ДИСКРЕТНЫХ МАТЕМАТИЧЕСКИХ МОДЕЛЯХ ФИЛОСОФИИ
УДК 1(091)+16
Лобовиков В.О. БИНАРНЫЕ ОПЕРАЦИИ «БЫТИЕ-S-В-W» И «БЫТИЕ-S-ВНЕ-W»
В ДВУЗНАЧНОЙ АЛГЕБРЕ МЕТАФИЗИКИ КАК ФОРМАЛЬНОЙ АКСИОЛОГИИ: ИСПОЛЬЗОВАНИЕ ЭТИХ ОПЕРАЦИЙ В ДИСКРЕТНЫХ МАТЕМАТИЧЕСКИХ МОДЕЛЯХ ФИЛОСОФИИ // Научный ежегодник Института философии и права Уральского отделения Российской академии наук. 2013. Т. 13. Вып. 2. С. 5-21.
В двузначную алгебру метафизики как формальной аксиологии вводятся еще две бинарные операции, а именно, ценностные функции «бытие s-в-w» и «бытие s-вне-w» от двух ценностных переменных s и w. Даны точные табличные определения ценностно-функционального смысла введенных бинарных операций. Предлагается точная дефиниция отношения формально-аксиологической эквивалентности в алгебре метафизики и определение понятий «формально-аксиологическое противоречие» и «закон метафизики» в этой алгебре. С помощью данных определений в рамках построенной простейшей дискретной математической модели метафизики генерируются системы уравнений и законов, уточняющих философские понятия «бытие-вещи-в-себе», «бытие-вещи-самой-по-себе», «бытие-в-мире», «бытие-в», «бытие-в-пространстве», «бытие-во-времени». В частности, на уровне модели демонстрируется отсутствие формально-аксиологической эквивалентности ценностных функций «бытие-вещи-в-себе» и «бытие-вещи-самой-по-себе», то есть их важное различие.
Two additional binary operations are introduced in two-valued algebra of metaphysics as formal axiology, namely, the operations “S’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