«Вопросы философии». 2012.№5. С. 125-133. Логика и философия - davaiknam.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Вопросы к экзамену Мировоззрение и личность. Философия как теоретически... 1 35.04kb.
Программа итогового государственного экзамена по основной образовательной... 1 314.17kb.
Iii. Содержание программы Введение. Предмет философии 1 77.19kb.
Вопросы к экзамену по философии для выпускников естественнонаучных... 1 42.95kb.
Экзаменационные вопросы (вступительный экзамен) по дисциплине "Философия" 1 27.83kb.
Программа вступительного экзамена по философии 1 151.09kb.
Учебная программа дисциплины «Философия» Раздел История философии... 1 227.52kb.
Дни философии в санкт-петербурге – 2012 Философия и образование в... 1 297.63kb.
Экзаменационные вопросы по курсу «Философия» для студентов 2-го курса... 1 46.85kb.
Вопросы по философии. Фен мед-2012 1 14.72kb.
Вопросы к экзамену по философии 1 38.31kb.
Учебно-методический комплекс учебной дисциплины «Проблемы истины... 1 382.19kb.
Направления изучения представлений о справедливости 1 202.17kb.

«Вопросы философии». 2012.№5. С. 125-133. Логика и философия - страница №1/1

«Вопросы философии».-2012.-№5.-С.125-133.
Логика и философия (записки семидесятника)

Целищев В. В.

Аналитическая философия в значительной степени связана с логикой. Лозунг Б. Рас­села "Логика есть сущность философии" был для меня буквальной истиной, с того време­ни как я прочитал его "Историю западной философии", книгу с сакраментальной надписью "Для научных библиотек". Такие надписи сопровождали те редкие переводы иностранных книг по аналитической философии, которые начали выходить в СССР со времен "хрущев­ской оттепели" и перестали выходить с ее кончиной к концу 1960-х. Дальнейшая история аналитической философии в нашей стране была напрямую связана с логикой, точнее, с ма­тематической логикой.

Математическая логика обладала в период "оттепели" каким-то особенным стату­сом среди интеллектуалов. Немногие книги по этой дисциплине на русском языке вро­де "Введения в логику и методологию дедуктивных наук" А. Тарского и "Введения в теоретическую логику" Д. Гильберта и В. Аккермана, изданных в 1940-е, были обре­менены предисловиями, в которых поправлялись "некоторые неверные взгляды", при­сущие "абсолютизации" значимости математической логики. Изданные в конце 1950-х книги "Введение в метаматематику" С. Клини и "Введение в математическую логику" А. Черча уже были свободны от идеологических штампов в предисловиях, и пользова­лись огромной популярностью. В академическом Институте автоматики и электромет­рии в Новосибирске, где я работал пару лет, молодые научные сотрудники, не имевшие непосредственного отношения к математике, знали и почитали книгу Клини. Очевид­ным объяснением популярности математической логики было то, что она была олице­творением истин, не опосредованных идеологией тоталитаризма, и именно по этой са­мой причине математическая логика и ассоциированные с ней науки вроде кибернетики были под большим подозрением режима. И все же, как известно, очень скоро математи­ческая логика стала весьма респектабельной математической дисциплиной, огромные достижения которой привели к фантастическому технологическому прогрессу. Так что с математической частью логики все, в конце концов, было в порядке; чего не скажешь о философской логике.

Понимание в нашей стране очевидной успешности и респектабельности математиче­ской логики не означало вовсе респектабельности всего философского, что было связано с математической логикой. Дело в том, что логика, будучи сущностью философии, являлась по определению ее существенной частью. И посему она несла в себе все грехи "буржуаз­ной философии". В то время можно было наблюдать многочисленные проявления борьбы в верхах в виде полемики между прежней ортодоксией и даже самыми слабыми попытка­ми освободиться от нее. Любопытный эпизод этой борьбы был связан с логикой. В 1960 г. вышел труд Бела Фогараши "Логика", прекрасный переплет которой скрывал самое что ни на есть ортодоксальное понимание традиционной логики в худшем схоластическом изло­жении. Годом позднее, в качестве очевидной антитезы, вышел перевод с немецкого Геор­га Клауса "Введение в формальную логику", где излагались основы пропозиционального исчисления и даже кванторы. В полемике философов того времени ярлыки политической неблагонадежности раздавались с особой щедростью, и эта тенденция не минула логики как таковой. И если математическая логика как математическая дисциплина окончательно освободилась от идеологии, философской логике это еще предстояло сделать. Именно та­кой фон сопровождал вступление моего поколения в логику.

Главные философские "грехи" новой логики были связаны, конечно же, с позитивиз­мом, основные представители которого были вовлечены в процесс создания и развития современной логики. Потрясающим изложением этого направления был, например, труд на русском языке некоего Мориса Корнфорда о диалектическом материализме (где-то око­ло 1957 г.), написанный в лучших традициях "министерства правды" Дж. Оруэлла. Про­клятия в адрес Рассела, Витгенштейна, Карнапа и др. совмещались с полным невежеством в области математики и логики. Читателю, который пытался найти хоть какие-то крохи информации в этом потоке обвинений логическому позитивизму в идеологической враж­дебности марксизму, было трудно продраться сквозь полную путаницу доктрин, имен и "заблуждений". Но перемены все-таки пробивали себе дорогу, и уже в 1960 г. вышла весь­ма свежая книга "Современный позитивизм" Игоря Нарского. Она несколько реабилити­ровала в глазах русскоязычного читателя того времени логический позитивизм, увязав его с эмпиристскими тенденциями западной философии, но для понимания связи логических доктрин и философии этого было совсем недостаточно.

К тому времени стала оформляться так называемая философская логика. Сейчас есть жесткое разделение между философской логикой, философией логики и собственно мате­матической логикой, - разделение, которое понимает практически каждый исследователь в области логики. Но тогда все эти вещи существовали в некотором синтезе, разве что ма­тематики, за некоторыми исключениями, не связывались с идеологически туманными фи­лософскими интерпретациями логики. Скорее, намечались несколько тенденций, которые идентифицировались степенью использования математической техники в логических ис­следованиях.

Мое вхождение в мир логики в 1960-х определялось двумя обстоятельствами. Преж­де всего потребностью было полное игнорирование идеологических штампов и мотивов в собственно логике. Сам термин "буржуазная философия", который имел широкое хож­дение вплоть до 1990-х гг., для меня был бессмыслен как в узком смысле слова (в приме­нении к логике), так и в более широком (философия едина). Больше того, гегельянский стиль философствования с его немыслимо туманным жаргоном, эти категориальные си­стемы, споры о "правильной" интерпретации Маркса, навевали невероятную скуку. Пола­гаю, что поколения ученых в нашей стране, которым преподается философия в универси­тетах и в аспирантуре, подвержены таким же эмоциям, поскольку при таком понимании философии теряется всякий здравый смысл. Быть может, логика обладала для моего поко­ления притягательной силой как раз в силу того, что является олицетворением рациональ­ности и того самого здравого смысла, который присущ науке. Вторым обстоятельством было мое понимание того, что заниматься техническими деталями логики, например, ис­следованием формальных систем, их построением, значило для меня заниматься не сво­им делом. Знакомство с работающими математиками убедило меня, что такую работу они делают лучше философов, не заботясь о философской интерпретации своих результатов. Признаться, я не обнаружил в себе таких математических способностей, которые позво­лили бы мне заниматься технической работой, хотя я и имел приличное знание как мате­матики, так и собственно математической логики. Но для меня не менее интересным было достижение понимания того, насколько технические результаты математической логики имеют значение для философских доктрин и заключений. Собственно, в этом и состоит философия логики.

Конечно, философская логика, которая и стала моей областью, требует аккуратности в формулировках строгих результатов, их понимания и сферы действия. В этом отноше­нии существует масса злоупотреблений, худшими из которых, например, являются "ин­терпретации" ограничительных теорем Геделя, коим нет числа. Так что в философской логике требуется соблюдение достаточной строгости и релевантности к предмету иссле­дования. Имея за плечами подобные установки и стремления, в конце 1960-х я стал фило­софским логиком.

Хорошо известно, что мы по большей части интересуемся теми проблемами, кото­рые находятся в "мейнстриме" соответствующей области. Для философской логики важ­но удачное сочетание собственно логики и философских доктрин. Если находится такой человек, который в равной степени авторитетен в обоих областях, он оказывается в фоку­се внимания всей отрасли. Его обсуждают, уточняют, полемизируют, опровергают, согла­шаются и т.п. В конце 60-х таким человеком был в аналитической философии В. Куайн, и его философия логики и оказалась тем самым мейнстримом, который увлек меня на зна­чительное время.

Философия логики Куайна была чрезвычайно привлекательна своим монистическим характером. Провозгласив, что логика первого порядка вполне достаточна для всех целей ("First-Order Logic is Logic Enough"), Куайн получил жесткую схему применения логики к философии. Онтологические проблемы свелись к выяснению значений связанных пе­ременных, проблема указания (или референции) получила четкие очертания, ограничив указание сингулярными терминами, концепция значения была практически элиминиро­вана, квантификация модальных утверждений оказалась чревата парадоксами. Привлека­ло меня в философии логики Куайна и то, каким образом даже в математических контек­стах учитывались философские интересы, как это имело место в постепенном усилении и онтологических допущений при переходе от логики первого порядка к теории множеств в его книге "Теория множеств и ее логика", где понятие виртуальной сущности позволя­ло сгладить резкий переход от лишенной экзистенциальных утверждений логики к экзи­стенциальным утверждениям математики. Очень большое впечатление произвела на меня концепция онтологической относительности, с сопутствующим понятием онтологической редукции и пониманием экспликации как онтологической элиминации. Однако с самого начала в философии логики Куайна смущали несколько вещей.

Прежде всего трудно было понять, как совмещались у него гармоничный логический каркас дедуктивных концепций с эмпирической концепцией освоения языка. Его концеп­ция семантического восхождения, изложенная в "Слове и объекте", была откровенно эм­пирической, в то время как она увязывалась им с понятием аналитичности и другими логическими концепциями. "Слово и объект" считалась основной работой Куайна, и по­этому его поклонникам не хотелось признаваться в том, что в ней очень много неясного, и неясности эти усугублялись крайне сложным языком изложения. Для себя я разрешил на этот счет сомнения, найдя в его последующей книге "Корни указания" гораздо более чет­кую картину концепции указания. Однако эта четкая картина окончательно выявила сим­патии Куайна к так называемой референтативной (или объектной) интерпретации кванто­ров, и его отказ принять подстановочную интерпретацию кванторов. Это разделение было прекрасно иллюстрировано объяснением парадокса Сколема и понятия со-противоречивости. Аргументация против подстановочной интерпретации была четко артикулирована в работах некоторых его сторонников; наиболее представительной работой была статья Уоллеса "The Frame of Reference" в журнале "Synthese". В первой своей книге "Логиче­ская истина и эмпиризм" (1974 г., 2010 г. - 2-е изд.) я увязал разделение референтативной и подстановочной квантификации с концепцией онтологической редукции. Получающая­ся при этом очень связная картина была верна только в том случае, если верны были воз­ражения против допустимости подстановочной интерпретации кванторов. Однако именно эти возражения и вызывали некоторые сомнения, которые я подавлял в себе, полагая, что не может быть, чтобы никто не заметил тут некорректности. В январе 1978 г. в Гарварде я в ходе двухчасового разговора с Куайном пытался разрешить эти сомнения.

К тому времени мне удалось создать группу талантливых молодых людей, которые ра­ботали в области философии логики. Мой молодой коллега Александр Бессонов настоя­тельно убеждал меня в полной корректности подстановочной квантификации, что влекло за собой определенный демонтаж куайновской схемы. После долгих споров мы начали с ним работать в этом направлении, с целью придать подстановочной квантификации гораз­до большую важность. В разгар работы мы узнали о статье С. Крипке "Есть ли какие-либо проблемы с подстановочной квантификацией?". В ответ на просьбу прислать оттиск, Крипке немедленно выслал ее, с весьма лестной для нас фразой о том, что не подозревал, что по ту сторону океана кто-то интересуется этой проблемой. Эта работа вносила пол­ный порядок в казавшуюся сомнительной законность подстановочной интерпретации. Ре­зультаты наших с А. Бессоновым исследований, которые были модифицированы в свете статьи Крипке, появились в виде большой книги "Две интерпретации логических систем" (1979 г., 2010 г. - 2-е изд.). А. Бессонов впоследствии опубликовал две книги об использо­вании подстановочной интерпретации кванторов: "Предметная область в логической се­мантике" (1985 г., 2010 г. - 2-е изд.) и "Теория объектов в логике" (1987 г., 2010 г. - 2-е изд.).

Другая проблема, поднятая Куайном, вызвала огромную волну исследований в фило­софской логике. Это была проблема квантификации модальных контекстов. Возражения Куайна против квантификации пропозициональных установок основывались на конструи­рованных им парадоксах, возникающих в результате взаимодействия модальных опера­торов и кванторов. Возражения эти увязывались Куайном с нарушением его теории ука­зания на объекты. Возможные объекты как референты терминов исключались им, и, как следствие, модальная логика оказывалась под сомнением. Очень важным обстоятельством было то, что модальной логике было отказано на основании чисто философских аргумен­тов; в частности, как полагал Куайн, модальная логика ведет к аристотелевскому эссенциализму, доктрине, которая попросту неприемлема для эмпиристски настроенного философа.

Вот в этом вопросе я находился в сложном положении, как и многие другие философ­ские логики. Дело в том, что системы кванторной модальной логики успешно развива­лись, несмотря на возражения Куайна. Еще до появления семантик для модальной логики Крипке и Хинтикки стало ясно, что формальные методы модальной логики сами по себе вполне корректны, и единственные возражения против кванторной модальной логики ле­жат в области философии. Такое расхождение математических методов и философских интерпретаций было озадачивающим. Озадачивали и психологические обстоятельства, потому что корректность квантификации модальных контекстов показал первым Дагфинн Феллесдаль в своей докторской диссертации, выполненной под руководством Куайна! И тем не менее, Куайн не был убежден в допустимости модальной логики. Во всяком слу­чае, его комментарии по этому поводу для меня были туманными. С другой стороны, пара­доксы, на которые ссылался Куайн, были действительно серьезными. Некоторое понима­ние такой раздвоенности - технической и философской - вполне самостоятельной ветви логики я обнаружил позднее, когда Я. Хинтикка указал, что Куайн, вполне возможно, был прав в своих возражениях против алетической модальной логики. Что касается остальных видов модальностей - эпистемической, физической, деонтической и пр., - то в них пара­доксы разрешались довольно успешно.

Но сами философские возражения Куайна зиждились на отказе принять эссенциализм как философскую доктрину. Однако понятие сущности вполне эксплицируемо логически­ми средствами, и использование различия de re и de dicto модальностей в значительной степени позволяло обойти парадоксы. Помимо этого, сам эссенциализм был не монолит­ным понятием, и уже сам Куайн говорил о степенях вовлечения в эссенциализм. Вооб­ще, использование алетической модальной логики для экспликации философских поня­тий, продемонстрированное, например, в работе А. Плантинги "Природа необходимости", произвело на меня большое впечатление. В своей книге "Понятие объекта в модальной логике" (1978 г., 2010 г. - 2-е изд.) я исследовал разновидности эссенциализма, в частности, общие и индивидуальные сущности, строго ограничиваясь при этом алетическими модальностями.

Поддержка эссенциализму пришла, конечно же, со стороны доктрины твердых десигнаторов С. Крипке. Он показал, что теория указания, принятая Куайном, не является адекватной во многих контекстах, и т.н. "новая теория указания", обязанная у Крипке X. Патнэму, делает эссенциализм вполне приемлемой доктриной. Однако вся аргументация упиралась в концепцию возможных миров.

Если для Куайна понятие возможного мира представляло нечто недопустимое в силу трудностей с идентификацией такого рода сущностей ("No entity without identity" - еще один из крылатых его афоризмов), то для многих философских логиков они были вполне приемлемыми. Куайн в этом отношении был последователен, приняв критику Расселом концепции возможных объектов А. Мейнонга в знаменитой работе "Об обозначении" как окончательную. И коль скоро "То be is to be value of variable", а указание возможных миров проблематично в силу отсутствия критерия их тождественности, они не могут считаться существующими. Я долго полагал, что Рассел, а вслед за ним и Куайн, правы в своём отка­зе считать такие понятия, как подсуществование у Мейнонга, противоречащими здравому смыслу, - пока в мои руки не попал присланный мне манускрипт известного философско­го логика Ричарда Раутли (впоследствии сменившего фамилию на Сильван) "Исследова­ние мейнонговских джунглей". "Джунгли", конечно, представляли собой невероятно бо­гатый универсум объектов. Стало ясно, что расширенное понятие логики представляет собой гораздо более гибкий инструмент экспликации философских понятий, чем логика первого порядка, и поэтому сама философия логики Куайна является в значительной сте­пени неадекватной целям логического анализа философских концепций.

Действительно, анализ таких фундаментальных понятий, как существование, может быть проведен самыми разнообразными средствами, какие и были описаны в моей кни­ге "Логика существования" (1976 г., 2010 г. - 2-е изд.). Мало того что, скажем, логическая система С. Лесневского "Онтология" предлагала радикально отличный от первопорядковой формализации анализ существования; обнаружилось также, что теория дескрипций Рассела, которая была парадигмой аналитической философии, имеет массу интересных альтернатив, принятие которых ведет к весьма разным философским следствиям. Кроме того, с помощью одной лишь первопорядковой логики невозможно было решить пробле­му пустых используемых терминов. Дело в том, что использование пустых сингулярных терминов, вообще-то призванных указывать на существующие объекты, приводит к пара­доксам. Системы логики, избегающие такого рода "парадоксов сингулярного существо­вания", получили название "свободных от экзистенциальных предположений логик", или же попросту, "свободных логик". В далеком 1970 г. я опубликовал статью по этому поводу в "Вопросах философии", и рецензентом был А.А. Зиновьев, который был также первым оппонентом моей кандидатской диссертации.

Но самой интересной темой для меня в этот период стала проблема выражения в логи­ке концепции возможных миров. Как известно, семантика возможных миров ассоциирует­ся по большей части с именем С. Крипке, хотя аналогичная семантика была представлена Я. Хинтиккой одновременно под названием "модельных множеств". Интересы подавляю­щей части моих русских коллег-логиков были в то время поглощены семантикой Крипке, но я был заинтересован скорее в теории Хинтикки. Очевидно, это объяснялось и чисто психологическими обстоятельствами. Как только я прочитал его статью "Являются ли ло­гические истины аналитическими" в журнале "Philosophical Review" 1965 г., я был очаро­ван совсем новым логическим аппаратом, который назывался "дистрибутивные нормаль­ные формы языка первого порядка".

Идея дистрибутивных нормальных форм принадлежит Г. фон Вригту. Его ученик Я. Хин­тикка распространил ее на систему с кванторами, получив представление логики первого по­рядка. Фактически этот формальный аппарат есть описание бесконечного числа возможных ситуаций конечными средствами языка. С точки зрения применения дистрибутивных нор­мальных форм к экспликации философских понятий этот формализм чрезвычайно интере­сен и, с моей точки зрения, является наиболее впечатляющим результатом в этой сфере. Дей­ствительно, экспликация аналитических и синтетических истин, глубинной и поверхностной информации, истоков неразрешимости логики первого порядка и много другого впечатляет. Однако этот аппарат чрезвычайно сложен с комбинаторной точки зрения, и, видимо, по этой причине не получил распространения, и лишь несколько человек, в большинстве из Фин­ляндии, использовало его. На некоторое время я погрузился в изучение аппарата, пользуясь гостеприимством Я. Хинтикки в Хельсинки в 1974 г., и в понимании тонкостей формальных вещей мне помогли, в частности, профессор В. Рантала и профессор И. Ниинилуото. Ранее я видел очень интересное применение дистрибутивных нормальных форм к анализу информа­тивности теоретических сущностей, изложенное в книге Р. Туомела "Теоретические концеп­ции". Все это побудило меня написать книгу "Философские проблемы семантики возмож­ных миров" (1977 г.), в которой я изложил эту теорию и сумел, как мне казалось, ответить на некоторые возражения против нее. В 2010 г. я серьезным образом переработал ее, для того чтобы идеи дистрибутивных нормальных форм были понятнее. Мне даже было жаль, что Я. Хинтикка перестал использовать этот аппарат, перейдя в то время к разработке теоретико-игровой интерпретации логики. Поскольку эти идеи для меня также были интересны, я пред­ложил своему аспиранту Аркадию Блинову заняться этим разделом философской логики, и насколько я знаю, теперь уже в Австралии он успешно работает в этой области до сих пор .

По-моему, демонстрация плодотворности формальных конструкций в экспликации философских концепций интересна лишь в том случае, когда при этом получается по-на­стоящему нетривиальный, зачастую неожиданный результат. Так, в ежегоднике Институ­та философии Академии Финляндии "Ajatus" была опубликована статья Я. Хинтикки, в которой объяснялось появление монадологии Лейбница. Используя дистрибутивные нор­мальные формы, Хинтикка утверждал, что сама идея монад есть туманная попытка вве­сти в логику отношения, не располагая при этом необходимыми средствами (как известно, отношения стали возможны в логике только в XIX в.). На меня такое использование фор­мального аппарата произвело большое впечатление.

В книге "Философские проблемы семантики возможных миров" мною была также ис­следована процедура прослеживания индивидов сквозь возможные миры. Крипке посту­лировал т.н. "твердые десигнаторы"; согласно этой концепции, термин указывает на один и тот же индивид во всех возможных мирах. Хинтикка, автор важнейшей системы эпи­стемической логики, настаивал на другой концепции, полагая, что разговор о возможных мирах имеет смысл в эпистемической ситуации, когда "мировая линия индивида" опре­деляется пропозициональными установками субъекта, а не задана наперед, как у Крипке. Вообще проблема идентификации индивидов в различных возможных мирах есть только частный случай многих познавательных процедур, поскольку сам процесс приобретения информации есть сужение области альтернатив, в полном соответствии с теорией инфор­мации К. Шеннона. Отсюда, можно было переходить к методам измерения семантической информации в различных концептуальных схемах, чем я занялся гораздо позднее.

Естественно, что мы в нашей группе не могли пройти мимо тщательного анализа са­мой проблемы твердых десигнаторов, и эта тема, как и вообще философия языка С. Крип­ке, включая его книгу "Именование и необходимость", была исследована моим учеником Василием Петровым в нескольких его работах.

В ретроспективе мне кажется, что в те 1970-е годы мы были жадны до тех тем, кото­рые были на слуху в логико-философском сообществе. Практически мы охватили всю но­вую проблематику тех лет - свободные логики, модальные логики, семантику возможных миров, игровую интерпретацию логики, подстановочную квантификацию, онтологию ло­гики и математики, структурализм. Одновременно мы читали и разбирали "хиты" тех лет, которые не относились напрямую к логике, но которые доставляли огромное интеллекту­альное наслаждение - книги Д. Хофштадтера "Гедель, Эшер, Бах", Р. Смаллиана "Молча­ливое Дао", Ф. Капры "Дао физики", восхитительные диалоги П. Фейерабенда и многое другое. К счастью, нас не сильно затрудняли те соображения, что наши занятия не совпа­дают с господствовавшей идеологией. В том-то и состояло преимущество занятий логи­кой, что оно позволяло обходиться без ортодоксии, которая практически свела философию в России к цитатникам. Эта политика имела и оборотную сторону - наши достижения тех лет остались практически невостребованными и неоцененными. Остается утешать себя тем, что после 1991 г. нам не пришлось менять свои взгляды кардинально, как это случи­лось со многими гуманитариями.

Когда занимаешься философией, трудно избежать влияния многих неявных тенден­ций, определяемых выдающимися людьми. Одним из моих героев-современников в фило­софии является, как можно уже было заметить, Яакко Хинтикка. Его стиль трезв, область интересов объемлет практически все разделы логики, ее философии. Он полемичен и не боится бросать вызов устоявшимся взглядам и укоренившимся мифам. Как я уже сказал ранее, много лет я уделил философии, следуя программе Куайна, и на сегодня могу лишь сказать, что разочарован в ней, поскольку на протяжении многих лет он практически го­ворил одно и то же. В этом отношении полным ему контрастом является Хилари Патнэм, который довольно часто меняет свои программы и не боится ревизовать глубоко устояв­шиеся в сообществе взгляды. Для меня огромный интерес, например, представляет его критика теории истины в формализованных языках Тарского как философской теории ис­тины. Такая ревизия поднимает крайне интересный вопрос: в какой степени философы должны доверять интерпретации формальных результатов. Традиционный упрек филосо­фам в том, что они недостаточно компетентны, чтобы учитывать технические детали фор­мализмов, весьма справедлив. С другой стороны, не очень ясно, являются ли эти детали релевантными для философской оценки формальных построений. Тут, безусловно, нужен баланс, который сдвигается в ту или иную сторону в зависимости от стиля мышления ис­следователя. В этом отношении идеалом для меня является Поль Бенацерраф, прекрасно знакомый с математическими деталями; он написал лишь несколько работ по философии математики, которые стали буквально фокусом внимания сообщества, включая такие зна­менитые, как "Чем не должны быть множества" и "Математическая истина". Эти статьи не содержат практически никаких математических тонкостей, и, тем не менее, в них под­няты самые значительные вопросы как онтологического, так и эпистемологического пла­на. Для любого сообщества нужны критические оценки, которые позволяли бы оценить, хотя бы в ретроспективе, взлеты и падения программ и личностей. Редкий такой обзор, который ломает некоторые мифы о развитии аналитической философии, можно найти у Бенацеррафа в статье "Чем не должна быть математическая истина". Ну а если все-таки кто-либо будет настаивать на важности технических деталей, в его распоряжении рабо­ты математика, который крайне симпатичен мне, а именно Джорджа Крайзеля. Его слож­ные по манере изложения мысли чрезвычайно оригинальны, в чем можно убедиться, на­пример, читая его биографию К. Геделя. Я имел возможность несколько раз встречаться с Крайзелем и всякий раз убеждался в том, что роль технических деталей в понимании фи­лософских вопросов логики и математики имеет фон, который часто ускользает от ревни­телей строгости.

Говоря о героях, которым хотелось бы следовать, хочу упомянуть двух философов. В 1975 г. я был приглашенным докладчиком на Конгрессе по логике, методологии и фило­софии науки в Канаде. Двумя моими партнерами по секции в тот день были Ч. Парсонс и Я. Хакинг. В то время я имел крайне слабое понимание, насколько они являются значи­тельными мыслителями и какие важные доклады они сделали. Только много лет спустя, уже после нескольких встреч с ними, работая над серией книг по философии математи­ки, я осознал их масштаб. Сдержанность и точность в изложении, свойственные их рабо­там, дополняются личным обаянием этих людей. Чарльз Парсонс имеет феноменальную память: наш разговор в 1977 г. был прерван кем-то, и при встрече в 1991 г. он продолжил прерванный разговор, в который я сумел вступить с огромным трудом. Ян Хакинг необычайно "эмпиричен" и "историчен", если можно так выразиться, в своих работах, начи­ная с прекрасных книг "Почему язык важен для философии" и "Сумасшедшие путеше­ственники". В чисто логическом плане я был очень впечатлен его работой "Do-It-Yourself Semantics for Classical Sequent Calculi". Я понял, например, весьма сложные для аналити­ческого философа основные идеи "археологии знания" М. Фуко только по прочтении ран­ней статьи Хакинга из журнала "Nous".

Говоря о своих героях, я хотел бы вспомнить Ричарда Рорти, книга которого "Фи­лософия и зеркало природы" вызвала столь много проклятий со стороны аналитиче­ских философов. Будучи переводчиком этой книги на русский язык, я имел много встреч с ним и убедился, что любому сообществу необходима самоирония, хотя тот, кто решит­ся на выражение этой самой самоиронии, обрекает себя на неудовольствие сообщества. В одной из рецензий я прочитал, что Рорти больше всего похож на разочарованного ме­тафизика, и я думаю, что это самая верная характеристика. Как человек Рорти был пора­зительно добр и внимателен к тем, кто не понимал многого из того, что он извлек из свое­го личного опыта пребывания в сообществе философов. Именно в его доме я наткнулся на что-то вроде его интервью, данного студенту, в котором он рекомендовал всем при­ступающим к изучению философии избрать себе героя для подражания. В свое время я выбрал для себя такого героя в лице Бертрана Рассела, и даже недавнее чтение край­не враждебной к нему его биографии, написанной Р. Монком, и поразительные случаи из жизни Рассела, рассказанные мне Крайзелем, не поколебали меня в правильности мое­го выбора. Другое дело - в какой степени ты преуспеваешь в следовании своему герою.

Я не знаю, насколько существен для самоидентификации выбор героев для подража­ния с точки зрения чисто профессиональных интересов. Мое профессиональное станов­ление проходило в обществе моего руководителя в Институте философии Украины Миро­слава Владимировича Поповича, ныне директора Института философии НАН Украины. Хотя его интересы были гораздо более широкими, чем область логики и методологии нау­ки, ему я обязан больше, чем кому-либо, в обретении профессии. Его широчайшая эруди­ция и необыкновенная доброта позволила обрести мне друга на всю жизнь. Вообще об­становка в Институте философии в Киеве, где в то время (в 1967-1968 гг.) был директором П.В. Копнин, была поразительно благоприятной для свободного философского творчест­ва, не отягощенного догматизмом и ортодоксией.

Для того чтобы обрести определенную известность, требуется написать нечто такое, что представляло бы интерес для общей публики. Мне трудно было представить к нача­лу 1990-х, чем это могло бы быть, и, не имея способностей популяризатора идей, я ока­зался перед выбором: на что направить свое внимание после серии книг по философии логики. Было определенное разочарование в том, что все эти восхитительные темы ни­кого особенно не интересуют. Тем не менее я решил еще раз выбрать такую область ис­следований, которая вряд ли найдет широкого читателя. Эта установка отвечала моему взгляду на философию, выраженному Бенацеррафом, - философия математики есть фи­лософия в наиболее очищенном виде, не приправленная сладким сиропом о применени­ях философии. Можно, правда, считать занятия абстрактными философскими проблемами этаким эскапизмом, нежеланием смотреть правде в глаза и осознавать, что наши дни философия не очень-то популярна. С другой стороны, я могу считать, что мне повезло в том, что я мог заниматься теми проблемами, которые для меня интересны. Долгое время у меня было состояние неудовлетворенности в отношении того, во что превратилась фило­софия математики, как она преподносится для изучающих эту дисциплину. Великие фи­лософские школы зачастую становятся препятствием для своевременной оценки новых интересных тенденций. В философии математики "великая троица" - логицизм, интуи­ционизм и формализм - возникшие в начале XX в., продолжают доминировать в сознании тех, кто приступает к изучению философии. Как свидетельствовал А. Мостовский, уже к 1970-м публика подустала от поисков решения тех проблем, на решение которых претен­довали эти направления. Постепенно росло убеждение, что следует изменить вектор исследований в философии математики. Общее настроение превосходно выразил X. Патнэм в одной из своих статей с говорящим за себя названием "Почему все это не работает", имея в виду традиционные направления в философии математики. Уже упомянутые выше статьи П. Бенацеррафа также требовали значительной ревизии в оценке самой ситуации в этой области. В последние два десятка лет появилось множество работ, из которых посте­пенно вырисовывались контуры новой философии математики.

К началу 2000-х у меня вызрела концепция написания этакого компендиума по со­временной философии математики, который вобрал бы все, что там сделано за последние два-три десятка лет, и который я выпускал на протяжении семи лет ежегодно по книге в серии под названием "Новая философия математики".

Я начал с книги "Философия математики" (2002 г.), где помимо философского анали­за теоретико-множественных аксиом значительное место уделил запутанной ситуации во­круг парадокса Сколема. Для математиков эта тема не представляет особой важности, но с учетом того, что философская программа "внутреннего реализма" Патнэма основана на "сколемизации всего", рассмотрение аргументов pro et contra крайне интересно. Затем по­следовала "Онтология математики" (2003 г.), где особое место занял структурализм в ма­тематике. Третья книга серии "Нормативность дедуктивного дискурса" (2004 г.) несколько отклонилась от "столбового" направления, будучи посвящена теме логических констант. Мой друг и коллега из Томского университета Валерий Суровцев привлек мое внимание своей книгой "Автономия логики" к роли логических констант, выбор которых в значи­тельнейшей степени определяет концепцию логического следования. В этом отношении чрезвычайно интересно было следить за критикой концепций следования А. Тарского, что также было в русле опровержения мифов, которыми столь обильна философия. Одна из тем, которые слегка будоражили философское и отчасти математическое сообщество, была инициирована книгами Р. Пенроуза "Новый ум короля" и "Тени разума", в которых он аргументировал, что человеческий ум принципиально неалгоритмизируем, то есть пре­восходит компьютер. У этой точки зрения почти нет сторонников, но среди немногих ока­зался сам К. Гедель, ограничительные теоремы которого и лежат в основе этой аргумента­ции. "Схватка" вокруг точек зрения менталистов (Гедель, Лукас, Пенроуз) и механицистов (все остальные) затронула массу как технических, так и философских аргументов и потре­бовала от меня в четвертой книге ("Алгоритмизация мышления: геделевский аргумент" - 2005 г.) точности и предельного внимания. Особый интерес представляют те взгляды из записных книжек Геделя, которые были опубликованы относительно недавно.

Остальные три книги серии - "Эпистемология математического доказательства" (2006 г.), "Интуиция, финитизм и рекурсивное мышление" (2007 г.), "Тезис Черча" (2008 г.) - посвящены проблемам доказательства и вычислимости. В ходе написания этой серии книг я познакомился с работами многих молодых философов математики, которые заинтересованы в обновлении этой почтенной области философии. Я хотел бы продол­жить эту серию книг, надеясь на то, что в самое ближайшее время философия математи­ки сильно изменит свое лицо. Но вот чего я опасаюсь - так это того, что эти изменения пройдут мимо российских философов, как прошли мимо многие важные изменения в со­временной философии. Дело в том, что мы издаем постыдно мало переводов наших зару­бежных коллег.

Несколько лет назад я опубликовал в "Вопросах философии" короткую заметку "Мож­но ли изучать философию без чтения серьезных книг?", в которой сопоставил список обя­зательной литературы по аналитической философии для студентов британских универси­тетов с имеющимися книгами на русском языке. В лучшем случае мы располагаем лишь пятой частью обязательного чтения. Я прекрасно понимаю, что издание научных книг не прибыльно, что философские произведения не являются приоритетом, но все-таки кон­траст между наличием литературы за рубежом и в России поразителен. Я много раз заме­чал, что какая-нибудь интересная книга по философии, вышедшая на английском языке, почти немедленно переводится на французский, немецкий, итальянский, чешский, япон­ский и другие языки, но, увы, не на русский. Если дело пойдет таким образом дальше, наши студенты просто не будут понимать, что же пишется в философских журналах, поче­му обсуждаются эти, а не иные проблемы, и мы опять окажемся в ситуации уже не желез­ного, но всё же занавеса, только уже по совсем другим причинам. Впрочем, возможно дело с переводами в России связано не только со спецификой философской литературы. Я, на­пример, являюсь поклонником американского писателя Томаса Пинчона, романы которого являются новым словом в мировой литературе. Его знаменитый роман "Радуга притяже­ния", изданный в 1973 г., так и не вышел в русском переводе, хотя он переведен на многие языки, несмотря на колоссальные трудности перевода. Что у нас за проблемы с ознаком­лением с западной культурой? Ведь сумел же С.С. Хоружий донести до русскоязычного читателя "Улисса" Джойса.

Я с восхищением слежу за усилиями моего друга и коллеги, профессора Томского университета Валерия Суровцева, который неутомимо переводит и публикует очень мно­го зарубежных книг по аналитической философии. Сам я со своими коллегами потратил немало времени на перевод важных по всем критериям книг вроде "Теория справедли­вости" Дж. Ролза и "Философия и зеркало природы" Рорти, а также нескольких книг Б. Рассела. Поразительно, что часто вместо доброжелательной реакции на то, что еще одна интересная книга по философии стала доступна нашим читателям, начинается ловля пе­реводческих "блох", которые якобы не позволяют русскоязычному читателю понять со­держание книги. Смею заметить, что в этом деле важно наличие книги, а не пересказ ее переписчиками и лекторами, которые хотели бы оставаться последней инстанцией в тол­ковании философии, а что до эстетического совершенства при наличии дефицита фило­софской литературы - напомню знаменитый афоризм французского математика Шарля Эрмита: "Изящество и красоту следует оставить сапожникам и портным".



Занимающихся философией часто упрекают в том, что в этой области нет никакого прогресса. Это в определенной степени верно, но в этой связи я люблю высказывание Л. Витгенштейна: "Если у вас зачесалось какое-то место, и вы почесали его, это прогресс?" Философия представляет неодолимую потребность в размышлении над загадками, ко­торые не дают покоя людям уже более двух тысяч лет. Современная аналитическая фи­лософия представляет собой, слегка переиначивая слова Дж. Пассмора, бурное, не укла­дывающееся в четкие определения, разнообразное по вдохновляющим идеям и методам движение. Обнаружить порядок, выявить тенденции, разобраться в изощренной аргумен­тации - все это доставляет огромное наслаждение, и мне кажется, что этого вполне доста­точно для апологии философа.






Когда мы есть, то смерти еще нет, а когда смерть наступает, то нас уже нет. Таким образом, смерть не существует ни для живых, ни для мертвых. Эпикур
ещё >>