Формальный дедуктивный вывод эквивалентности оценочных модальностей добра, пользы и удовольствия в аксиоматической системе эпистемологии из допущения об априорности знания | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2017. № 39. DOI: 10.17223/1998863Х/39/4

Формальный дедуктивный вывод эквивалентности оценочных модальностей добра, пользы и удовольствия в аксиоматической системе эпистемологии из допущения об априорности знания

Из допущения априорности знания дедуктивно выводится эквивалентность модальностей добра, пользы и удовольствия. Дедуктивный вывод строится в аксиоматической системе универсальной философской эпистемологии, синтезирующей априоризм и эмпиризм. Формулируется используемая система аксиом. Принятие представленных дефиниций и дедуктивных выводов означает точное аксиоматическое определение (формальное ограничение) сферы адекватности учения Мура о натуралистических ошибках в этике.

A Formal Deductive Proof of Equivalence of Evaluative Modalities of Moral Goodness, Utility and Pleasure within an Axiom.pdf В начале XX века очень сильное впечатление на философское сообщество [2. С. 23-25] произвела систематическая критика Джорджем Эдвардом Муром «натурализма в этике» [3, 4]. В особенности Мур критиковал гедонизм и утилитаризм И. Бентама [5] и Дж.-Ст. Милля [6, 7] за то, что те так или иначе отождествляли добро с удовольствием или с пользой. Тезис об эквивалентности добра и удовольствия (наслаждения) был назван «натуралистической ошибкой в этике». Другим примером этой же ошибки в этике был назван тезис об эквивалентности добра и пользы. Конкретных примеров «натуралистических ошибок в этике» Муром было названо и рассмотрено несколько, но аргументировалось, что суть у них одна - логически неправильный (ошибочный) вывод положительной моральной ценности из суждений о бытии. Согласно Муру, нет отношения логического следования оценочной модальности «хорошо (в моральном смысле), что р» из того, что р, где р - некое истинное или ложное высказывание о том, что есть. Это очень сильное заявление Мура действительно впечатляет, но для его адекватной историко-философской и собственно логической оценки необходима некая концептуальная оппозиция, развивающая некую альтернативу. (В данном конкретном отношении П. Фейерабенд, на мой взгляд, совершенно прав [8].) Попробуем начать движение к осознанному порождению такой концептуальной альтернативы. Учение Мура о натуралистических ошибках в этике [3, 4] сформулировано его создателем как строго универсальная доктрина, не имеющая таких границ применимости, за которыми она неверна. Вопрос об объективном существовании таких границ и их точной фиксации (формальном определении) не ставился ни самим Муром, ни многочисленными сторонниками его учения. Во многих очень влиятельных интеллектуальных сообществах обсуждаемая доктрина Мура признана одной из «шести великих идей» человечества [9] и догматизирована. В настоящей статье, в соответствии с антидогматическим духом критического рационализма К. Поппера [10, 11, 12, 13], принадлежность указанного догмата Мура к числу необходимо всеобщих истин, во-первых, ставится под сомнение, а во-вторых, отвергается на некотором достаточно рациональном основании, заслуживающем внимания и тщательного исследования. На естественном языке то, что требуется доказать в данной статье, формулируется так. Часть 1: если знание априорно, то по отношению к предмету этого знания добро и польза эквивалентны. Используя искусственный язык соответствующих модальных логик, эту часть того, что планируется доказать в настоящей статье, можно сформулировать так: (Ар з (Gp^Up)). Часть 2: если знание априорно, то по отношению к предмету этого знания добро и удовольствие (наслаждение) эквивалентны. На искусственном языке соответствующих модальных логик эту часть того, что планируется доказать в данной работе, можно сформулировать так: (Ар з ^р^Жр)). Здесь символы Ар, Gp, Up, Жр соответственно обозначают модальности: «(субъект) a-piori знает, что р» (где p - некое высказывание); «хорошо (положительно ценно в моральном или естественно-правовом отношении), что р»; «полезно (положительно ценно в утилитарном отношении), что р»; «приятно, доставляет удовольствие, наслаждение (положительно ценно в гедонистическом отношении), что р». В дополнение к модальности Ар в настоящей работе также систематически рассматриваются обозначаемые символами Кр и Ер, соответственно, эпистемические модальности: «(субъект) знает, что p» «(субъект) из опыта (a-posteriori) знает, что р». Символы з, &, -1, v, □, 0 обозначают в данной работе классические логические понятия, соответственно, импликацию, эквивалентность, конъюнкцию, отрицание, «слабую» (не-исключающую) дизъюнкцию, алетиче-скую модальность «необходимо, что ...», алетическую модальность «возможно, что ...». В данной статье общеизвестные системы алетической логики [14], деонтической логики [15], эпистемической логики [16], аксиологической логики [17] систематически используются в качестве вполне адекватных (систем), хотя они и не формулируются явно, чтобы не перегружать статью логической символикой и техническими деталями, отвлекающими от собственно философской сути дела. Поэтому за точным определением алетической модальности Dp («необходимо, что р») читатель может обратиться к работе [14], за точным определением эпистемической модальности Кр («имеется знание, что р») - к работе [16], а за точным определением оценочных модальностей Gp и Up - к монографии [17]. Точные определения сложных модальностей Ар и Ер были предложены в работах [18-22]. Согласно этим определениям, система логических взаимоотношений между эпистемическими модальностями Kp, Ap, Ep, -iAp, -iEp, -iKp может быть адекватно представлена графически следующим логическим квадратом (и включающим его в себя гексагеном) концептуальной оппозиции. Kp Kp Рис. 1. Знание априори и эмпирическое знание как взаимодополняющие аспекты универсальной концептуальной схемы философской эпистемологии В порядке напоминания здесь целесообразно заметить, что в гексагене, представленном на рис. 1, отношения логической контрадикторности моделируются линиями, пересекающими квадрат, а отношения подчинения, т.е. логического следования, - стрелками. Отношение логической контрарности графически представлено верхней горизонтальной линией квадрата, представляющего собой фрагмент гексагена. Отношение логической субконтрар-ности графически представлено нижней горизонтальной линией квадрата, включенного в гексаген. Точные определения сложных модальностей Ар и Ер, предложенные в работах [18, 19], постепенно видоизменялись: дополнялись, обобщались. На некотором этапе их видоизменения нарастающая сложность определений (громоздкость их точных формулировок) обусловила необходимость перехода от явных дефиниций к осуществляемым с помощью аксиоматического метода неявным определениям, чтобы обеспечить их точность без потери полноты. Первое аксиоматическое определение модальностей Ар и Ер было предложено в статье [20]. Но со временем оно тоже видоизменялось: уточнялось, дополнялось, обобщалось [21, 22]. В настоящий моментсуществуетуже несколько в чем-то различных формулировок аксиоматической системы философской эпистемологии. Одна из них, имеющая десять собственных (эпистемологических) аксиом, рассматривается в данной статье. Упомянутые не чисто логические, а собственно философские (эпистемологические) аксиомы AX1 - AX10 приведены ниже. AX1: Ap ^ (Kp & D(poDp) & D(p^Op) & D(p^Gp) & D(p^Bp) & □(p^Up) & □(p^Жp) & D(p^Fp) & D(p^Tp) & D(p^Pp) & D(p^Dp) & □^Sp). AX2: Ep ^ (Kp & (^Q(poDp) v -,(D(p^Op) v -,D(p^Gp) v -,D(p^Bp) v -,D(p^Up) v -,D(p^^p) v -,(D(p^Fp) v -,D(p^Tp) & D(p^Pp) v -.□(p^Dp) v -,D-,Sp)). AX3: (Mp ^ OSp): материальность эквивалентна ощутимости, т.е. возможности быть объектом ощущения. AX4: (Mp -о OWp): материальность эквивалентна изменчивости, т.е. возможности изменения. AX5: (Mp -о OVp): материальность эквивалентна делимости, т.е. возможности разделения. AX-6: (Mp -о OZp): материальность эквивалентна измеримости, т.е. возможности измерения. AX-7: (Mp -о Cp): материальность эквивалентна сложности. AX-8: (Mp ^ Фp): материальность эквивалентна конечности (определенности). AX-9: (Mp -о Rp): материальность эквивалентна относительности. AX-10: (Mp -о Xp): материальность эквивалентна множественности. В формулировках приведенных выше аксиом AX1 - AX10 присутствуют некоторые такие символы искусственного языка (и обозначаемые ими философские термины), которые выше в данной статье не вводились, поэтому необходимо ввести их в оборот, дав точные определения их значений в используемом нами языке. Символ Op в аксиомах AX1 и AX2 обозначает деонтическую модальность «обязательно, что p», a Bp - эстетическую оценочную модальность «красиво (прекрасно), что p». Символы Fp, Tp, Pp, Dp обозначают эпистемические модальности «(субъект) верит, что p», «истинно, что p», «доказуемо, что p», «существует алгоритм (может быть построена машина) для решения (установления), что p», соответственно. Наконец Sp в аксиомах AX1 - AX3 обозначает сенсуалистическую эпистемическую модальность «при некоторых условиях в неком пространстве-времени некий субъект (непосредственно или с помощью каких-то приборов и инструментов) ощущает, что р, т.е. имеет чувственное подтверждение утверждения, что p». Иначе говоря, Sp обозначает чувственную верификацию высказывания p». В формулировках приведенных выше аксиом AX3 - AX10: символ Mp обозначает пропозициональную форму «предмет знания, что p, материален»; символ Wp обозначает пропозициональную форму «предмет знания, что p, изменяется, движется»; символ Vp - «предмет знания, что p, разделяется, расщепляется, делится»; Zp - «предмет знания, что p, измеряется»; Cp - «предмет знания, что p, является сложным, составным (состоит из)»; Фp - «предмет знания, что p, является конечным, определенным»; Rp -«предмет знания, что p, является относительным»; Хр - «множественность содержания знания, что p». Наряду с представленными выше аксиомами в рассматриваемой системе принимаются следующие пять дефиниций. DF1: Ip -о -iMp: по определению, идеальность есть нематериальность. DF2: Ур -о -iCp: по определению, простота есть не-сложность. DF3: Lp ^ -iRp: по определению, абсолютность есть неотносительность. DF4: Jp ^ -iXp: по определению, единство (единое) есть немножественность (не-многое). DF5: 8р ^ -^p: по определению, бесконечность (неопределенность) есть небытие конечности (определенности). В этих дефинициях: символ 1р обозначает пропозициональную форму «предмет знания, что p, идеален»; Yp обозначает «простоту объекта знания, что p»; Lp - «абсолютность предмета знания, что p»; Jp - «единство (единственность) предмета знания, что p»; 8р - «бесконечность (неопределенность) предмета знания, что p». Приведенная выше система собственно философских аксиом AX1 -AX10 образует систему универсальной философской эпистемологии, которая представляет собой синтез априоризма (рационализма) и эмпиризма (сенсуализма). В предложенной аксиоматической системе универсальной философской теории знания аксиома AX1 выполняет роль неявного, но точного определения сложной эпистемологической модальности Ap. Эта аксиома содержит в себе множество качественно различных аспектов интеллектуально респектабельной философской доктрины рационалистического априоризма, предустановленной гармонии и оптимизма, возникшей в древности и претерпевшей длительное прогрессивное развитие. Ее представителями были, например, Платон [23-25], Г.В. Лейбниц [26-29], К. Гёдель [1. С. 149-168]. Аксиома AX2 выполняет в предложенной аксиоматической системе универсальной философской теории знания роль неявного, но точного определения сложной эпистемологической модальности Ep. Эта аксиома тоже содержит в себе множество качественно различных аспектов тоже весьма влиятельной и нередко доминирующей философской доктрины, утверждающей случайность бытия, относительность ценности, в частности, добра, удовольствия, пользы и истинности, отсутствие необходимой связи между ними. Эту доктрину по-разному представляют, например, Дж. Локк [30], Д. Юм [31, 32], Э. Мах [33], Б. Рассел [34, 35], Мур [3, 4], Л. Витгенштейн [36], К. Поппер [1013], П. Фейерабенд [8], Ч. Стивенсон [37], А. Макинтайр [2], М. Адлер [9]. Строгим формальным доказательством теоремы (Ар з (Gp^Up)) в рассматриваемой аксиоматической системе философской эпистемологии является, например, следующая занумерованная конечная последовательность «шагов». 1) Приведенная выше аксиома АХ1. 2) Ар: допущение. 3) (Kp & □(p-^Dp) & D(p^Op) & D(p^Gp) & D(p^Bp) & D(p-^Up) & □(p^Жp) & D(p^Fp) & D(p^Tp) & D(p^Pp) & D(p^Dp) & D-iSp): из 1 и 2 по правилу (а, (а^Р)}|- р. 4) D(p-oGp): из 3 по правилу удаления &. 5) D(p-oUp): из 3 по правилу удаления &. 6) (p-^Gp): из 4 по правилу удаления □. 7) (p-oUp): из 5 по правилу удаления □. 8) (Gp-op): из 6 по правилу коммутативности 9) (Gp-oUp): из 8 и 7 по правилу транзитивности 10) (Ар з (Gp^Up)): из 1-9 по правилу введения з. Строгим формальным доказательством теоремы (Ар з ^р^Жр)) в рассматриваемой аксиоматической системе является, например, следующая последовательность «шагов» 11-15, продолжающая представленную выше последовательность 1-10. 11) □(p•oЖp): из 3 по правилу удаления &. 12) (p•oЖp): из 11 по правилу удаления □. 13) (Gp•oЖp): из 8 и 12 по правилу транзитивности 14) (Ар з ^р^Жр)): из 1-13 по правилу введения з. Продолжая последовательность 1-14 дальше, можно получить в исследуемой аксиоматической системе формальное доказательство теоремы (Ар з ^р^Жр)), например, следующей последовательностью «шагов». 15) (Up-op): из 7 по правилу коммутативности 16) (Up-оЖр): из 12 и 15 по правилу транзитивности 17) (Ар з ^р^Жр)): из 1-16 по правилу введения з. С точки зрения людей, имеющих богатый жизненный опыт и рассуждающих исключительно на его основе, эквивалентности (Gp^Up), ^Р'ОЖр) и (Ср'ОЖр) неприемлемы, так как их ложность во многих конкретных жизненных случаях совершенно очевидна: их нельзя утверждать в самом общем виде. Да, конечно, но в этой статье они ведь и не утверждаются в самом общем виде. Они утверждаются лишь для всех таких и только таких частных случаев, когда истинно, что Ар. Поэтому если в каком-то конкретном случае ложно, что (Gp^Up), то это значит лишь то, что в этом конкретном случае допущение Ар ложно. В самом общем виде можно сказать, что в обсуждаемой аксиоматической системе дедуктивно доказуемы теоремы: (-.(Gp^-Up)) з (Kp з Ер); (-.(Gp^-Жр)) з (Кр з Ер); (-.(Up^-Жр)) з (Кр зЕр). Приведенную выше последовательность 1-17 можно продолжать и дальше, дедуктивно доказывая в исследуемой аксиоматической системе все новые и новые философски значимые утверждения, но объем настоящей статьи ограничен, поэтому удовлетворимся теми теоремами, которые в ней уже доказаны выше, а заинтересованного читателя отошлем к публикациям, в которых из аксиом АХ1 и АХ2 делается много различных (по своей содержательной интерпретации) формальных дедуктивных выводов, представляющих интерес для философов, например, формальный вывод знаменитого принципа калока-гатии [38] и других важных собственно философских положений [39]. В качестве заключения можно сказать следующее. Принципиальное отрицание Муром эквивалентностей (Gp-oUp) и (Gp-^Жр) действительно верно в сфере эмпирического знания фактов (=случайных истин), но оно неверно в сфере априорного знания истин необходимых. Согласно предложенной выше аксиоматике, из алетической необходимости существования удовольствия от того, что р, логически следует, что Gp. Поэтому объявления о похоронах натурализма в этике (а также и в философии права) были преждевременными. А. Макинтайр, на мой взгляд, поспешил ... начать разговор о том, что имеет место «после добродетели» [2]. «После» добродетели имеет место добродетель: она бесконечна (в отличие от конечной «культуры homo sapiens»). Мур прав, замечая, что сведение этики (философии морали) к теории моральной культуры поведения вида homo sapiens ошибочно [3. С. 102]. На том же основании древнеримские юристы (например, Ульпиан и Павел) отказывались сводить естественное право к общечеловеческому (праву): подчеркивая, что естественное право есть наука о необходимо всеобщем (абсолютном) добре в проявлениях любых возможных форм жизни [40. С. 23, 25].

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

логика, натуралистические-ошибки-в-этике, добро, польза, удовольствие, logic, naturalistic-fallacies-in-ethics, goodness, utility, pleasure

Авторы

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

Ссылки

Целищев В.В. Философский переписчик: переводы и размышления. Новосибирск: ОмегаПресс, 2014.
Макинтайр А. После добродетели: исследования теории морали. М.: Академический проект, 2000.
Мур Дж. Принципыэтики. М.: Прогресс, 1984.
Мур Дж. Природа моральной философии. М.: Республика, 1999.
Бентам И. Введение в основания нравственности и законодательства. М.: РОССПЭН, 1998.
Милль Дж.-Ст. Обзор философии сэра Вильяма Гамильтона и главных вопросов, обсужденных в его творениях. СПб.: Русская книжная торговля, 1869.
Милль Дж.-Ст. Утилитарианизм. О свободе. СПб.: Изд. И.П. Перевозникова, 1900.
Фейерабенд П. Против метода. М.: ACT, 2007.
Адлер М. Шесть великих идей. М.: Изд-во: Манн, Иванов и Фербер, 2015.
Поппер К. Открытое общество и его враги. Т.1: Чары Платона. М.: Феникс. 1992.
Поппер К. Объективное знание. Эволюционный подход. М.: Эдиториал, 2002.
Поппер К. Логика научного исследования. М.: Республика, 2005.
Поппер К. Предположения и опровержения: рост научного знания. М.: ACT, 2008.
Hughes, G.E., andCresswell, M.J. A Companion to Modal Logic. London: Methuen, 1984.
Hilpinen, R. (ed.). Deontic Logic: Introductory and Systematic Readings. Dordrecht: D. Reidel, 1971.
Hintikka, J. Knowledge and Belief - An Introduction to the Logic of the Two Notions. Ithaca: Cornell University Press, 1962.
Иеин А.А. Основания логики оценок. М.: МГУ, 1970.
Лобоеикое В.О. Логический квадрат и гексагон эпистемических понятий // Эпистемы: Сб. науч. статей. Екатеринбург: Ажур, 2014. Вып. 9. С. 57-68.
Лобоеикое В.О. Историко-философский и логический аспекты проблемы взаимосвязи истинности и доказуемости: Г.В. Лейбниц; А. Тарский; К. Гёдель // Научный журнал «Дис-курс-П». 2015. № 3-4. С. 65-71.
Лобоеикое В.О. Аксиоматическая система эпистемологии // Известия Уральского федерального университета. Общественные науки. 2016. № 1 (149). С. 5-19.
Лобоеикое В.О. Еще одна аксиома рационалистической эпистемологии априорного знания: историко-философский и логический аспекты проблемы взаимосвязи истинности, доказуемости и алгоритмичности знания (Г.В. Лейбниц; К. Гёдель; А. Чёрч) // Научный журнал «Дискурс-ПИ». 2016. № 1. С. 27-34.
Лобоеикое В.О. Аксиоматизация философской эпистемологии (Концептуальный синтез рационализма Лейбница и эмпиризма Локка, Юма, Мура) // Вестник Томского гос. ун-та. Философия. Социология. Политология. 2016. № 4 (36). C. 69-78. DOI: 10.17223/1998863X/36/7.
Платон. Федон, Пир, Федр, Парменид. М.: Мысль, 1999.
Платон. Апология Сократа, Критон, Ион, Протагор. М.: Мысль, 1999.
Платон. Филеб, Государство, Тимей, Критий. М.: Мысль, 1999.
Лейбниц Г.В. Новые опыты о человеческом разумении автора системы предустановленной гармонии // Г.В. Лейбниц. Соч. в 4 т. М.: Мысль, 1983. Т. 2. С. 47-545.
Лейбниц Г.В. Переписка с королевой Пруссии Софией-Шарлоттой и курфюрстиной Софией // Г.В. Лейбниц. Соч. в 4 т. М.: Мысль, 1984. Т. 3. С. 371-394.
Лейбниц Г.В. Общие исследования, касающиеся анализа понятий и истин // Г.В. Лейбниц. Соч. в 4 т. М.: Мысль, 1984. Т. 3. С. 572-616.
Лейбниц Г.В. Опыты теодицеи о благости Божией, свободе человека и начале зла // Г.В. Лейбниц. Соч. в 4 т. М.: Мысль, 1989. Т. 4. С. 49-554.
Локк Дж. Опыт о человеческом разуме // Дж. Локк. Избранные философские произведения в 2 т. М.: Изд. Соц.-эк. лит., 1960. Т. 1.
Юм Д. Исследование о человеческом разумении. М.: Прогресс, 1995.
Юм. Д. Трактат о человеческой природе. Мн.: Попурри, 1998.
Мах Э. Анализ ощущений и отношение физического к психическому. М.: Территория будущего, 2005.
Рассел Б. Человеческое познание, его сферы и границы. Киев: Ника-Центр; Вист-С, 1997.
Рассел Б. Исследование значения и истины. М.: Идея-Пресс, 1999.
Витгенштейн Л. Логико-философский трактат. М.: Изд-во иностр. лит., 1958.
Stivenson C.L. Facts and Values: Studies in Ethical Analysis. New Haven and London: Yale University Press, 1963.
Лобоеикое В.О. Доказательство теоремы о калокагатии в аксиоматической системе философской эпистемологии (Оптимизм и предустановленная гармония: от древнегреческой и раннехристианской философии к А.Э. Шефтсбери, Г.В. Лейбницу и K. Гёделю.) // Научный журнал «Дискурс-П». 2016. № 4(25). С. 256-264.
Лобоеикое В.О. Аксиоматизация эпистемологии как средство экспликации теории права: «Дигесты» Юстиниана и проблема однородности естественного права // Научный журнал «Дискурс-П». 2016. № 3(24). С. 48-60.
Перетерский И.С. Дигесты Юстиниана: Избранные фрагменты. М.: Наука, 1984.
 Формальный дедуктивный вывод эквивалентности оценочных модальностей добра, пользы и удовольствия в аксиоматической системе эпистемологии из допущения об априорности знания | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2017. № 39. DOI: 10.17223/1998863Х/39/4

Формальный дедуктивный вывод эквивалентности оценочных модальностей добра, пользы и удовольствия в аксиоматической системе эпистемологии из допущения об априорности знания | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2017. № 39. DOI: 10.17223/1998863Х/39/4