Формально-аксиологический закон контрапозиции бинарной операции «необходимость» в двузначной алгебре метафизики | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2012. № 4 (20).

Формально-аксиологический закон контрапозиции бинарной операции «необходимость» в двузначной алгебре метафизики

Изучаются логические следствия гипотезы о том, что, в сущности, метафизика есть формальная аксиология, в частности формальная этика. В двузначной алгебре метафизики как формальной аксиологии дается точное табличное определение але-тических модальностей как морально-правовых ценностных функций от двух ценностных переменных. В исследуемой алгебраической системе строго определяется отношение эквивалентности и генерируется список уравнений. Особое внимание уделяется алетической необходимости. Впервые точно формулируется и обосновывается (вычислением соответствующих ценностных таблиц) формально-аксиологический закон контрапозиции бинарной операции «необходимо» в двузначной алгебре метафизики.

A formal-axiological law of contraposition of binary operation "necessity" in two-valued algebra of metaphysics.pdf 1. Определение ценностно-функционального смысла бинарных операций в двузначной алгебре формальной этики Важный частный случай алгебры формальной аксиологии - двузначная алгебра формальной этики строится на множестве, представляющем собой объединение множества поступков (актов) и множества субъектов (агентов). Однако в принципе субъекты могут быть определены через их поступки. Поэтому в данной статье, ради простоты, основываясь на принципе редукции субъектов к поступкам, мы будем строить алгебру формальной этики на множестве поступков. (Двузначная алгебра поступков была предложена в конце 70-х годов ХХ века. Список публикаций, в которых она представлена, содержится в библиографии книги [1].) Поступками называются любые действия, являющиеся либо хорошими (добром), либо плохими (злом) в нравственном смысле с точки зрения некого субъекта (оценщика) X. На множестве поступков определяется множество унарных и бинарных алгебраических операций, представляющих собой морально-правовые ценностные функции [2-9]. Слово «функция» используется здесь в строго математическом смысле. Областью допустимых значений (ОДЗ) переменных этих функций является двухэлементное множество {х (хорошо), п (плохо)}. Элементы этого множества называются морально-правовыми ценностными значениями поступков. Областью изменения значений морально-правовых ценностных функций является то же самое двухэлементное множество {х (хорошо), п (плохо)}. Выделенные курсивом строчные буквы (а, в, с) обозначают морально-правовые формы (поступков), отвлеченные от их конкретного содержания. Простые морально-правовые формы - независимые ценностные переменные, а сложные формы - морально-правовые ценностные функции от этих переменных. Глоссарий для следующей ниже таблицы 1. Cимвол G^b обозначает морально-правовую ценностную функцию «свобода, независимость (чего, кого) b от а». Символ Б2аЪ - ценностную функцию «бытие, существование, жизнь (чего, кого, чья) в за счет (чего, кого) а». В2аЪ - «власть (чья), господство (чье) b над (чем, кем) а». У2аЪ - «насилие (чье) b над (чем, кем) а». У2аЪ - «уничтожение (разрушение), убийство (чем, кем) b (чего, кого) а». Х2аЪ - «сохранение (чего, кого) b (чем, кем) а». Щ2аЪ - «оборона, защита (чего, кого) b (чем, кем) а». W2^b - «наступление, нападение (атака, агрессия) b на (против) а». И2аЪ -«изменение, движение (чем, кем) b (чего, кого) а». Ч2аЪ - «чувство, ощущение (чем, кем, чье) b (чего, кого) а», т.е. «данность (чего, кого) а в чувствах (чего, кого, чьих) b, или возможность этого». Ценностно-функциональный смысл этих бинарных операций точно определяется табл. 1. Таблица 1 а в G-ав Б2ав ВаЪ У2аЪ УаЪ Х2аЪ Щ2аЪ W2ftb И2аЪ Ч2аЪ х х п п п п п х х п п п х п п п п п п х х п п п п х х х х х х п п х х х п п п п п п п х х п п п Дефиниция Def-1: ценностная функция является «тождественно хорошей», или законом алгебры метафизики, т.е. формально-аксиологическим законом, если и только если она принимает аксиологическое значение х (хорошо) при любой возможной комбинации аксиологических значений переменных. Дефиниция Def-1: ценностная функция является «тождественно плохой», или нарушением формально-аксиологического закона, если и только если она принимает аксиологическое значение п (плохо) при любой возможной комбинации аксиологических значений переменных. Дефиниция Def-3: ценностные функции ю и в формально-аксиологически эквивалентны (что обозначается символом ю=+=в), если и только если они принимают одинаковые аксиологические значения (из множества {х, п}) при любой возможной комбинации значений ценностных переменных. В естественном языке отношение «=+=» выражается с помощью слова «есть» или его синонимов. Общеизвестно, что эти слова имеют формальнологические значения. А вот то, что указанные слова имеют еще и формально-аксиологические значения, как правило, не осознается. В данной статье систематически используются и исследуются именно формально-аксиологические значения упомянутых слов, поэтому в ней эти слова - омонимы. Их употребление на стыке формальной логики и формальной этики должно сопровождаться логико-лингвистическими предосторожностями, исключающими возможные недоразумения, чреватые иллюзиями парадоксов. Используя данные выше дефиниции, можно получить следующие уравнения алгебры метафизики. Справа от каждого уравнения (после двоеточия) помещен его перевод на естественный язык. Слово-омоним «есть» обозначает в этих переводах отношение «=+=». 1) Ч2аЪ=+ = '^2аЪ: чувство, ощущение (чем, кем) b (чего, кого) а равноценно нападению, агрессии (чего, кого) b на (против) а. (Следствие этой равноценности - порождаемые инстинктом самосохранения: мечты о шапках-невидимках, самолетах-невидимках, бесшумных подводных лодках и пистолетах с глушителями; длинные юбки и обвинения профессоров в «сексуальном домогательстве путем длительного внимательного разглядывания».) 2) И2аа=+=п: самодвижение есть нарушение закона алгебры метафизики. 3) У2аа=+=п: самоуничтожение (саморазрушение), самоубийство (чье) а есть преступление закона алгебры ценностей. 4) Х2аа=+=х: самосохранение (чье) а есть закон алгебры метафизики. 5) З2аа=+=х: самозащита, самооборона (чья) а есть закон алгебры ценностей. Предоставив определения основных понятий алгебры формальной аксиологии и приведя примеры ее уравнений, имеющих философский смысл, перейдем к систематическому обсуждению формально-аксиологического аспекта алетических модальностей как морально-правовых ценностных функций от двух переменных в рассматриваемой алгебре. 2. Ценностно-функциональный аспект алетических модальностей: определение их как ценностных функций от двух ценностных переменных; закон контрапозиции бинарной операции «необходимо» в двузначной алгебре формальной аксиологии Исследование ценностно-функционального аспекта алетических модальностей в двузначной алгебре формальной аксиологии [2-8] целесообразно начать с введения соответствующих символов в искусственный язык упомянутой алгебры и точного определения их ценностно-функционального смысла табличным способом. Глоссарий для следующей ниже табл. 2. Пусть символ ЬаЬ обозначает морально-правовую ценностную функцию «Ь алетически необходимо (unavoidable) для (чего, кого) а». Символ МаЬ обозначает ценностную функцию «Ь алетически возможно (possible) для (чего, кого) а». Символ 1аЬ - «Ь алетически невозможно (impossible) для (чего, кого) а». АаЬ - «Ь алетически случайно в смысле обходимо (avoidable) для (чего, кого) а». СаЬ - «Ь алетически чисто случайно (contingent) для (чего, кого) а». БаЬ - «Ь алетически детерминировано (не чисто случайно) для (чего, кого) а». Ценностно-функциональный смысл этих бинарных операций двузначной алгебры формальной этики и естественного права точно определяется следующей ниже табл. 2. (Здесь уместно обратить внимание на то, что, согласно табл 2, слово «случайно» имеет два различных ценностно-функциональных значения, а именно, А2аЬ и С2аЬ.) Таблица 2 а b Ь2аЬ М2аЬ 12аЬ А2аЬ С2аЬ Э2аЬ Н2аЬ х х п х п х х п п х п п х п х х п п п х х х п п п х х п п п п х х п х п Из определенных выше ценностных функций от двух переменных путем подстановки того или иного ценностного значения (х или п) вместо той или иной переменной (а или b) можно получить соответствующие ценностные функции от одной переменной, вводимые в рассмотрение следующим глоссарием для табл. 3. В данной статье заглавные буквы без числового индекса (или с числовым индексом 1) обозначают унарные операции алгебры метафизики. Глоссарий для табл. 3. Пусть символ La обозначает морально-правовую ценностную функцию «(что, кто) а алетически необходимо (unavoidable)». Символ Аа обозначает ценностную функцию «(что, кто) а алетически случайно в смысле обходимо (avoidable), т.е. не является необходимым». L1а - ценностную функцию «алетически необходимо для (чего, кого) а». А1а - «алетически случайно в смысле обходимо для (чего, кого) а, т.е. не является необходимым для (чего, кого) а». Оа - «независимость (самостоятельность), свобода (чего, кого) а». О1а - «независимость, свобода от (чего, кого) а». Ыа - «небытие, отсутствие, смерть (чего, кого) а». Ба - «бытие, существование, жизнь (чего, кого) а». Б1а - «бытие, существование, жизнь за счет (чего, кого) а». Ва -«власть (чья), господство (чье) а». В1а - «власть, господство над (чем, кем) а». Ценностно-функциональный смысл этих унарных операций алгебры метафизики определяется табл. 3. Таблица 3 а La Аа L^ Аа Оа Оа Ыа Ба Б1а Ва Ва х х п п х х п п х п х п п п х х п п х х п х п х Глоссарий для табл. 4. Символ Уа обозначает «насилие над (чем, кем) а». Уа - «уничтожение, разрушение, убийство (чего, кого) а». Оа - «отнятие, лишение (чего, кого) а». Ка - «конец, конечность (чего, кого) а». Ма - «материя, материальность (чего, кого) а». Иа - «изменение, изменчивость (чего, кого) а». Ча - «чувство, чувственность (чего, кого) а, т.е. данность (чего, кого) а в чувствах, или возможность этого» (Здесь а - не субъект, а объект чувства). Ч1а - «чувство, чувственность (чего, кого, чья) а, т.е. данность в чувствах (чего, кого, чьих) а, или возможность этого» (Здесь а - субъект, а не объект чувства). Ja - «воля к (чему) а». Ценностно-функциональный смысл этих унарных операций алгебры метафизики определяется табл. 4. Таблица 4 а Уа Уа Оа Ка Ма Иа Ча Ча Ja х п п п п п п п х х п х х х х х х х п п Используя данные выше определения, путем «вычисления» соответствующих ценностных таблиц можно получить следующий ниже список уравнений двузначной алгебры метафизики. 1)Ба=+=Оа: жизнь (чья) а есть свобода (чья) а (Прудон [10. C. 45]). 2) ООа=+=ОБа=+=Уа: лишение свободы - убийство (Прудон [10. C. 45]). 3) Ба=+^Ва: жизнь (чья) а есть воля к власти (чьей) а (Ницше [11. C. 353]). 4) В]а=+=¥а: власть, господство над (чем, кем) а есть насилие над (чем, кем) а. 5) Ь]а=+=¥а: необходимость для (чего, кого) а есть насилие над (чем, кем) а (Аристотель [12. C. 153, 154]). 6) Ь2АЬАа=+=Ь2аЬ: необходимость (т.е. не-случайность) случайного b, для случайного а, эквивалентна необходимости b для а. 7)L2аb=+=L2LаLb:: необходимость b для а эквивалентна необходимости необходимого b для необходимого а. 8) L2АbАа=+=L2LаLb:: необходимость (т.е. не-случайность) случайного b, для случайного а, эквивалентна необходимости необходимого b для необходимого а. Это уравнение может быть получено из предыдущих двух уравнений с помощью транзитивности отношения «=+=». 9) L2аb=+=L2АbАа: необходимость b для а эквивалентна необходимости (т.е. не-случайности) случайного b, для случайного а. Последнее уравнение (а также уравнение 6) представляет собой вариант точной формулировки формально-аксиологического закона контрапозиции бинарной операции «необходимость (не-случайность)» в двузначной алгебре метафизики. В повседневном естественном языке значение слова «контрапо-зиция» очень расплывчато. Точное определение значения этого слова существует только в профессиональном языке логиков. В алгебре логики существует закон контрапозиции бинарной операции «импликация» (обозначим ее символом «^», логическую операцию «отрицание» - символом «1», а логическую равносильность - символом «=»). Принцип контрапозиции импликации в алгебре логики формулируется, например, так: [((Л^Б) = (]Б^]Л)), или в переводе на естественный язык: если А, то В, следовательно, если не-В, то не-А]. Согласно математическому принципу двойственности, в алгебре логики функция, математически двойственная импликации, а именно «коррекция», тоже подчиняется закону контрапозиции. Имеется в виду «коррекция (чего) А (чем) В». Уравнение формул, представляющее собой закон контрапозиции коррекции в алгебре логики, можно получить путем замены на математически двойственные им операции всех операций, входящих в уравнение ((Л^Б) = (]Б^~|Л)). В данной работе нас непосредственно интересует именно операция «коррекция»: от собственно логической операции «коррекция» мы переходим к ее формально-аксиологическим (морально-правовым) аналогам. Конкретным примером морально-правового аналога «коррекции» является ценностная функция L2ob - «необходимость (не-случайность)», точно определенная выше табл. 2. Вообще говоря, любая такая ценностная функция от двух переменных, которая формально-аксиологически эквивалентна функции L^b, является конкретным примером морально-правового аналога логической операции «коррекция», и, следовательно, для любой такой ценностной функции имеет место формально-аксиологический закон ее контрапозиции в алгебре ценностей. Сформулированный выше закон контрапозиции необходимости разрушает веками существовавшую доктрину абсолютного противопоставления индетерминизма и фатализма. Для дальнейшего разрушения противопоставления сверхчувственного и чувственного миров введем следующее определение: пусть символ H^b обозначает ценностную функцию «нужда, потребность (чья) а в (чем, ком) b», которая характеризует мир чувственный, эмпирический, мир конечных, материальных вещей. Поэтому в отличие от алети-ческой необходимости L2ab, будем называть функцию Н2аЬ эмпирической необходимостью. Точное определение ценностно-функционального смысла бинарной операции Н2аЬ дано выше табл. 2. Вычисляя соответствующие ценностные таблицы, нетрудно получить следующие формально-аксиологические уравнения. 10) Н2аЬ=+^2КЬКа: нужда, потребность (чья) а в (чем, ком) b есть але-тическая необходимость конечного b, для конечного а. 11) Н2ab=+=L2МbМa: нужда, потребность (чья) а в (чем, ком) b есть але-тическая необходимость материального b, для материального а. 12) Н2ab=+=L2ИbИa: нужда, потребность (чья) а в (чем, ком) b есть але-тическая необходимость изменяющегося b, для изменяющегося а. 13) Н^=+^2ЩЧа: нужда, потребность (чья) а в (чем, ком) b есть але-тическая необходимость чувственного b, для чувственного а. 14) Н2ab=+=L2АbАa: нужда, потребность (чья) а в (чем, ком) b есть але-тическая необходимость случайного b, для случайного а. 15) Н2ab=+=L2ab: нужда, потребность (чего, кого, чья) а в (чем, ком) b равноценна истинной необходимости (чего, кого) b для (чего, кого) а». Итак, согласно приведенным выше уравнениям, мир индетерминизма, т.е. мир необходимости случайности для случайного, формально-аксиологически эквивалентен необходимо детерминированному миру фатализма. Чтобы исключить возможные недоразумения, целесообразно подчеркнуть, что «формально-логическая эквивалентность» и «формально-аксиологическая эквивалентность» - логически различные понятия. Ложность формально-логической эквивалентности: утверждения о реализации мира фатализма и утверждения о реализации мира индетерминизма - совершенно очевидна (на ней-то и основано традиционное противопоставление). Но из этой очевидной ложности формально-логически не следует ложность формально-аксиологической эквивалентности 6) L2АbАa=+=L2LaLb. Формально-логическое отношение следования между соответствующими чисто ценностными и чисто факто-фиксирующими суждениями «обрубается Гильотиной Юма». Ограниченный объем настоящей статьи не дает возможности дать в ней достаточно полную и точную информацию о принципе, условно именуемом «Гильотина Юма», поэтому отсылаю читателя к публикациям, в которых указанный принцип специально обсуждается и точно формулируется [13, 14].

Ключевые слова

алгебра метафизики, формально-аксиологическая эквивалентность, ценностная функция, переменная, закон контрапозиции, необходимость, algebra-of-metaphysics, formal-axiological-equivalence, evaluation-function, evaluation-variable, law-of-contraposition, necessity

Авторы

ФИООрганизацияДополнительноE-mail
Лобовиков Владимир ОлеговичИнститут философии и права Уральского отделения Российской академии наук (г. Екатеринбург)доктор философских наук, профессор, главный научный сотрудник отдела праваvlobovikov@mail.ru
Всего: 1

Ссылки

Лобовиков В.О. Модальная логика оценок и норм с точки зрения содержательной этики и права. Красноярск: Изд-во Краснояр. ун-та, 1984.
Лобовиков В.О. Аристотель и Г.В. Лейбниц о модальностях (Алгебра формальной аксиологии как дискретная математическая модель взаимоотношения взглядов Аристотеля и Г.В. Лейбница на алетические и деонтические модальности) // Научный ежегодник Института филос
Лобовиков В.О. Математическая этика, метафизика и естественное право (Алгебра метафизики как алгебра формальной аксиологии). Екатеринбург: УрО РАН, 2007.
Лобовиков В.О. Свобода и право, обязательность и необходимость (Юридические и алетические модальности как морально-правовые ценностные функции от одного и от двух аргументов в алгебре естественного права) // Свобода личности: правовые, исторические, филос
Лобовиков В.О. Бинарное обобщение унарной невригтовской модели интуиции Г.В. Лейбница о формальной взаимосвязи аристотелевских и юридических модальностей // Современная логика: проблемы теории, истории и применения в науке: Материалы Х Общероссийской науч
Лобовиков В.О. Математические методы в преподавании философии: дискретная модель единства алетических, деонтических и эпистемических модальностей // Информационно-математические технологии в экономике, технике и образовании. Тезисы докладов 3-й Международ
Лобовиков В.О. Единство алетических, мажоритарных, эпистемических, аксиологических, деонтических и утилитарных модальностей в двузначной алгебре формальной аксиологии // Научный ежегодник Института философии и права Уральского отделения Российской академи
Лобовиков В.О. Модальный дискурс-анализ: от формальной логики к формальной этике алетических, деонтических и эпистемических модальностей // Дискурс-Пи: Научно-практический альманах. Вып. 8: Дискурс глобальных социокультурных коммуникаций. Екатеринбург: ИФ
Лобовиков В.О. «Ницщета философии» и ее преодоление «цифровой метафизикой»: Дискретная математическая модель ницшеанской философии сознания, религии, морали, права и преступления. Екатеринбург: УрО РАН, 2009.
Woodcock G. Pierre-Joseph Proudhon: His life and work. N.Y.: Schocken Books, 1972.
Ницше Ф. Воля к власти. М.: Культурная революция, 2005.
Аристотель. Метафизика. Переводы. Комментарии. Толкования. СПб.: Алетейя; Киев: Эльга, 2002.
Лобовиков В.О. Дискретное математическое моделирование («оцифровка») формально-аксиологического аспекта метафизики (Парменид, Мелисс, Платон, Аристотель) и материалистической диалектики // Научный Ежегодник Института философии и права Уральского отделения
Лобовиков В.О. Учение Парменида и Мелисса о небытии движения и «гильотина Д. Юма» с точки зрения двузначной алгебры метафизики // Вестник Томского государственного университета. Философия. Социология. Политология. 2011. № 2(14). С. 130-138.
 Формально-аксиологический закон контрапозиции бинарной операции «необходимость» в двузначной алгебре метафизики | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2012. № 4 (20).

Формально-аксиологический закон контрапозиции бинарной операции «необходимость» в двузначной алгебре метафизики | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2012. № 4 (20).

Полнотекстовая версия