CC BY
91
В.О. Лобовнков ВЕ5урС71М
СОВРЕМЕННЫЙ РАЦИОНАЛИЗМ И «ПАРАДОКСАЛЬНЫЙ» ТЕЗИС КЛАССИЧЕСКОГО РАЦИОНАЛИЗМА «ВСЕ ДЕЙСТВИТЕЛЬНОЕ РАЗУМНО , А ВСЕ РАЗУМНОЕ ДЕЙСТВИТЕЛЬНО»
(Логико-математические средства адекватного моделирования в современных информационных системах знаменитого положения Спинозы-Лейбница-Гегеля о «совершенности действительного и действительности совершенного»)
Лобовиков Владимир Олегович — доктор философских наук, профессор, главный научный сотрудник Института философии и права УрО РАН, член Международной эстетической ассоциации.
Шутливо говоря, данная статья посвящена «приключениям Разума в информационном обществе» (прошлом, современном и будущем). В «прошлом информационном обществе», например, Раймунд Луллий строил свою «логическую машину», Г.В.Лейбниц обсуждал некий «искусственный язык логического исчисления» и т.д. Без захватывающих дух интеллектуальных приключений и удивительных достижений Разума в «информационном обществе прошлого» было бы невозможно прийти к сегодняшней форме рационализма. Для того, чтобы сразу же прояснить свою позицию, скажу, что, по моему мнению, во-первых, рационализм не умер, а просто трансформировался, стал другим (современным); во-вторых, он вобрал в себя и преобразовал (спасая от разрушительной критики и забвения) достижения рационализма предшествующего (классического); в-третьих, он создал и продолжает создавать средства сохранения, преобразования и передачи накопленного культурного наследия Разума будущим поколениям. То, что современные информационные системы, использующие электронно-вычислительные машины, — образец рационализма, очевидно. Поэтому те, кто считает, что знаменитый тезис классического рационализма (например, Спинозы, Лейбница и Гегеля) о «разумности действительного и действительности разумного» есть образец иррационализма (неразумности), должны
полагать, что критикуемый ими тезис ни в коем случае не может быть адекватно (без логических противоречий) представлен (промоделирован) в современных информационных (электронно-вычислительных) системах. Данная небольшая работа содержит описание результатов попытки опровергнуть упомянутое широко распространенное мнение об иррациональности обсуждаемого тезиса классического рационализма, т.е. доказать, что он может быть адекватно (без логических противоречий) представлен в современных информационных системах — образце рационализма.
Попытка доказать, что «иррациональность» обсуждаемого принципа классического рационализма есть психологически естественная (закономерно возникающая), но логически несостоятельная интеллектуальная иллюзия парадокса, которую можно и нужно устранить в процессе развития рационалистической философии, осуществляется нами с помощью (на языке) алгебры поступков. Алгебра поступков и ее обобщение — алгебра действий суть системы морально-правовых ценностных функций, позволяющие развивать невригтовский (т.е. качественно отличающийся от предложенного Г.Х. фон Вригтом) подход к философской интуиции Г.В.Лейбница о формальной взаимосвязи деонтических и алетических модальностей. Для тех читателей, которые не знакомы с терминами «деонтическая модальность» и «алетическая модальность», поясню, что термин «алетическая модальность» относится к понятиям «необходимо», «невозможно», «возможно», «случайно», «действительно», а термин «деонтическая модальность» относится к понятиям «обязательно», «запрещено», «разрешено», «нормативно нейтрально». «Продвинутый» читатель, вероятно, сам уже интуитивно ощутил некое единство этих двух групп понятий. В свое время то же самое ощутил и обратил на это пристальное внимание Г.В.Лейбниц. Но какова природа этого смутно ощущаемого единства формы алетических и деонтических модальностей? Нельзя ли прояснить эту интуицию единства и явно сформулировать ее в виде точных определений, очевидных аксиом и строго доказуемых теорем? Для любого нормального рационалиста стремление положительно ответить на такой вопрос совершенно естественно. Г.Х. фон Вригт
— один из наиболее влиятельных философов ХХ века
— приложил такие усилия к положительному решению этого вопроса и проявил при этом такие выдающиеся способности, что стал общепризнанным главой целого научного направления.
Он основательно исследовал представленную в «Elementa juris naturalis» (1672) интуицию Г.В.
+приключения разума в информационном обществе
Лейбница о структурно-функциональной (формальной) взаимосвязи алетических и деонтических модальностей.1 В 1951 г. Г.Х. фон Вригтом была предложена оригинальная система неклассической модальной логики, названная деонтической. С этого момента началось бурное развитие модальной логики норм: как ее синтаксического, так и семантического аспектов. Постепенно сложилось впечатление, что деонтическая логика — единственно верное направление в истолковании упомянутой интуиции Г. В. Лейбница, что дело только в том, чтобы достичь настоящего успеха в построении адекватной модальной логики норм. (Под настоящим успехом и адекватностью понимается полное и точное выражение и математическое моделирование обсуждаемой интуиции Г.В. Лейбница.) Подразумевается, что успех может (и должен) быть достигнут в рамках собственного предмета логики (хотя и неклассической). Но является ли это направление научного поиска единственно возможным? Не могут ли существовать какие-то качественно иные подходы к проблеме истолкования тезиса о формальной взаимосвязи алетических и деонтических модальностей?
В случае принятия парадигмы, предложенной Г.Х. фон Вригтом, серьезное беспокойство (или, по крайней мере, некоторую тревогу) вызывает то, что у Г.В. Лейбница речь идет о полном формальном соответствии (об эквивалентности форм) алетических и деонтических модальностей, а у Г.Х. фон Вригта — только о частичном их соответствии (об аналогии, подобии). Создатель современной деонтической логики сам указывает на некоторые явные несоответствия, не позволяющие говорить о формальной эквивалентности алетических и деонтических модальностей в модальной логике. Он говорит лишь об их подобии (аналогии). Общеизвестно, что отношение подобия не является транзитивным и, поэтому, не может быть отношением эквивалентности. Поэтому необходимо признать, что между обсуждаемой интуицией Г.В. Лейбница и парадигмой Г.Х. фон Вригта есть некоторое противоречие. Раз мы пришли к противоречию, значит, или эту интуицию или эту парадигму нужно отбросить. Одна из этих альтернатив — парадигма Г.Х. фон Вригта — уже достаточно исследована. Другая же просто игнорируется или не замечается. Рассмотрим именно вторую —до сих пор не исследованную возможность. Рассуждая абстрактно, следует признать, что предложенный Г.Х. фон Вригтом подход к постижению обсуждаемой интуиции Г.В. Лейбница не является единственно возможным. Более того, учитывая отмеченное выше противоречие, можно предположить, что, вероятно, он не является и самым удачным.
Однако утверждение о существовании более удачного (по сравнению с вригтовским) подхода к формализации обсуждаемой интуиции Г.В. Лейбница, основанное на том, что противное утверждение ведет к противоречию, не является конструктивным. Во имя конструктивности необходимо построить упомянутый более удачный подход на уровне абстрактной теоретической модели, формулируемой на языке математики. В качестве такого рода модели рассмотрим алгебру действий и ее важный частный случай — алгебру поступков.2
Пусть символ а обозначает некий (любой)
поступок, т.е. свободное действие, являющееся либо хорошим, либо плохим. Пусть символы х и п обозначают морально-правовые значения поступков —«хорошо» и «плохо», соответственно. Пусть символы На, Яа, На, Оа, Еа, Ьа, Са, Па, £а, Ба, Да, Ма, Ра, 1а, Ча, Иа, обозначают, соответственно, морально-правовые операции (ценностные функции) «воздержание от а», «сопротивление (помехи) деятельности а», «небытие (отсутствие) а», «обязывание (приказ) совершить а», «запрещение совершать а», «свобода для деятельности а», «свобода от деятельности а», «познание деятельности а», «превращение поступка а в алетически невозможное действие», «превращение поступка а в алетически необходимое действие», «действительность деятельности а, т.е. осуществление (существование) а в реальном мире», «возможность а, т.е. превращение а в возможную (вероятную) деятельность», «разумность деятельности а», «нормативное безразличие к а», «случайность действия а», «лишение (или потеря) а», предоставление (или получение) а». Ценностно-функциональный смысл вышеупомянутых операций определяется следующей таблицей.
Пусть символ «а=+=в» обозначает отношение: «поступок, имеющий морально-правовую форму а, формально-этически равноценен поступку, имеющему морально-правовую форму в». Согласно определению, принятому в алгебре поступков, поступки называются формально-этически равноценными, если и только если формально-этически равноценными являются их морально-правовые формы. В свою очередь, морально-правовая форма а называется формально-этически равноценной морально-правовой форме в, если и только если эти морально-правовые формы (а и в) принимают одинаковые морально-правовые значения (х или п) при любой возможной комбинации морально-правовых значений переменных, входящих в эти морально-правовые формы. Используя сказанное выше, нетрудно доказать следующие формально-этические равноценности: 1) Оа=+=Ба; 2) Ба=+=8а; 3) Ра=+=Ма; 4) 1а=+=Ча. Конъюнкция уравнений 1)-4) может быть названа формально-этическим принципом эквивалентности соответствующих друг другу деонтических и алетических модальностей. На мой взгляд, этот принцип лучше соответствует философской интуиции Г.В. Лейбница, чем известные в настоящее время системы деонтической логики, основанной Г.Х. фон Вригтом. К тезисам 1)-4) уместно также добавить уравнения 5) Оа=+=Ра; 6) Оа=+=Да; 7) Да=+=Ба; 8) Ма=+=Да; 9) Ма=+=Ба; 10) Да=+=Ра. Последнее уравнение можно назвать «принципом Спинозы-Лейбница-Гегеля».3 К сказанному выше естественно добавить следующие формально-этические равноценности (относящиеся к свободе: для и от некоторой деятельности): 11) 8а=+=ИЬа; 12) Ба= +=ИСа; 13) Ьа=+=НЯа; 14) Са=+=МШ; 15) Са=+=НБа; 16) Ба= +=ИЬа; 17) Оа=+=ИСа; 18) Ра=+=Ьа; 19) Са=+=Р№; 20) 8а=+=ЬаШ; 21) Са=+=ПБа. Последнее из этих уравнений можно назвать «принципом Спинозы-Гегеля» —«свобода есть познание необходимости».4
Кажущаяся парадоксальность этих уравнений —результат лингво-психологически естественного (незаметного), но логически незаконного (ошибочного) отождествления отношений формально-этической равноценности (=+=) и логической эквивалентности,
ШШ72ы
которую, согласно существующей традиции, обозначим символом «-—». Пусть символ Еа обозначает высказывание (истинное или ложное утверждение) о том, что действие а имеет место в действительности. В связи со сказанным выше принципиально важно иметь в виду, что: (А) из истинности а=+=в не следует логически, что истинно Еа—Ев; (В) из истинности Еа—Ев не следует логически, что истинно а=+=в.
Когда противники рационализма критикуют и осыпают насмешками «принцип Спинозы-Гегеля» —21) Са=+=ПОа, гласящий, что «свобода есть познание необходимости», они (критики) и многие другие (те, кто с этой критикой соглашаются) не замечают того, что связка «есть» (являющаяся, вообще говоря, омонимом) используется в предложении «свобода есть познание необходимости» не в том значении, которое эта связка имеет в логике, а в значении «=+=». Незаметно (как в цирке) заменив истинный тезис рационализма 21) Са=+=ПОа логически ему не эквивалентным явно ложным положением ЕСа—ЕПОа, а затем легко продемонстрировав очевидную ложность утверждения ЕСа—ЕПОа, критики рационализма испытывают «чувство глубокого удовлетворения» от того, «как эффективно и остроумно опровергается рационализм, оказывающийся на самом-то деле иррационализмом». Но ведь это же классический случай подмены терминов и тезисов в процессе доказательства (в данном случае —в процессе опровержения). Да! В том-то и заключается весь фокус, вся трагичность и комичность ситуации, в которую попадает Разум в ходе своих интеллектуальных приключений среди людей, не имеющих достаточно развитой логико-философской культуры, не привыкших к логико-лингвистической аккуратности мышления. На мой взгляд, то же самое происходит, когда противники рационализма подвергают критике и издевательским насмешкам «принцип Спинозы-Лейбница-Гегеля» —10) Да= + = Ра, гласящий: «Что разумно, то
действительно; и что действительно, то разумно.»5 В этой цитате из «Философии права» Г.В.Ф.Гегеля, согласно концепции, развиваемой в данной статье, принадлежащая естественному языку связка «что (г), то и что то (г)» обозначает не «логическую операцию эквивалентность» (-о), представленную в виде конъюнкции двух взаимно обратных импликаций, а формально-этическую эквивалентность (=+=). При такой нестандартной интерпретации, на мой взгляд, философская идея, содержащаяся в приведенной выше цитате, вполне рациональна.
1 Вригт Г.Х. фон. Логико-философские исследования: Избранные труды. М., 1986.
2 Лобовиков В.О. Математическое правоведение. Ч.1.: Естественное право. Екатеринбург, 1998.
3 Спиноза Б. Этика, доказанная в геометрическом порядке... М.-Л., 1932; Лейбниц Г.В. Опыты теодицеи о благости Божией, свободе человека и начале зла // Г.В. Лейбниц. Соч.: в 4 т. М., 1989. Т.4. С. 49-556; Гегель Г.В.Ф. Философия права // Г.В.Ф. Гегель. Соч. Т. VII. М.-Л., 1934.
4 Спиноза Б. Там же; Гегель Г.В.Ф. Там же.
5 Гегель Г.В.Ф. Там же. С. 15.
СУДЬБА СТАРОЙ ДИЛЕММЫ НА ПОРОГЕ ТРЕТЬЕГО ТЫСЯЧЕЛЕТИЯ
В.М. Русаков
Русаков Василий Матвеевич — доктор философских наук, профессор, зав. кафедрой философии УрГСХА.
Милленаристские ожидания, подогреваемые новой мифологией «информационного общества», получили свое разнообразное и цветистое выражение в философии постмодерна (которая уже, как и положено всякой уважающей себя классике(?!) — получила свои тезаурусы и энциклопедии). Этот несколько ажиотажный элемент интенсивно используется различными вариациями современной окологуманитарной «поп-науки» и вместе с тем создает шумовой фон, мешающий разглядеть существо ряда проблем нынешнего развития человеческого общества.
Остановимся на некоторых проблемах, непосредственно связанных с темой нашего теоретического семинара.
С факта разработки новой мифологии стоит и начать: именно с разработки и целенаправленного создания, поскольку прошлые мифологии складывались стихийно и были формой мироотношения и мировоззрения прежних обществ в целом. В ХХ в. человечество разгадало механизмы мифологического сознания и по своему теперешнему обыкновению сделало из этого знания технологию мифологизации массового сознания (в изобилии появились специально сконструированные новейшие мифы «общества
