Перспективы исследований в философии математики
Перспективы исследований в философии математикиФилософия математики как отдельная ветвь философии родилась сто лет назад. Исследования в области оснований математики и математической логики, начатые в конце XIX - начале XX в., были связаны с грандиозными философскими программами, а именно, с логицизмом, интуиционизмом и формализмом. Поначалу эта связь казалась необходимой, но по ходу времени росло разочарование в выполнимости этих программ, и к 60-м годам в настроениях математиков и логиков стала превалировать усталость. В этом отношении весьма симптоматично замечание А.Мостовского в его работе 'Thirty years of foundational studies': 'Философские цели трех школ не были достигнуты, и, судя по всему, мы не ближе к полному пониманию математики, чем основатели этих школ'1. Больше того, многие полагают, что сами программы не имеют прямого отношения к основаниям математики и математической логики и возникновение программ обязано философским талантам и интересам основателей школ. Опять-таки Мостовский замечает в связи с этим: ':Нельзя отрицать, что активность этих школ принесла огромное число важных результатов и открытий, которые углубили наше знание математики и ее отношения к логике. Как часто случается, эти побочные продукты оказались более важными, чем исходные цели основателей этих школ'2. Недавно Х.Патнэм опубликовал статью с характерным названием 'Почему все это не работает' (имея в виду традиционно главные направления в философии математики). В некотором смысле это итоговое впечатление о нынешнем состоянии философии математики. Другими словами, философия математики оказалась в глубоком кризисе, начиная с 50-60-х годов, когда были исчерпаны ресурсы традиционных подходов к пониманию математики. И хотя традиционное преподнесение проблем этой области философских исследований опиралось (да и опирается сейчас) на три великих направления, существует глубокий скепсис относительно возможностей самой дисциплины. И тем не менее, по мнению ряда авторитетных исследователей, дисциплина выжила, поскольку старые проблемы были заменены новыми3. Цель данной статьи состоит в анализе сложившейся ситуации в философии математики и наброске перспектив ее развития в свете этих новых проблем. Отсутствие прогресса часто объясняют тем, что проблемы, бывшие собственно философскими, перестали быть таковыми, перейдя в разряд 'технических', чисто математических или логических. Быть может, исследования в области философии математики, точнее, оснований математики, действительно должны быть в высшей степени техническими исследованиями, а само появление традиционных классических направлений было обязано тому, что 'отцы-основатели' сумели увязать (быть может, и не совсем обоснованно) математические и философские проблемы, как, например, это сделал Рассел, связав поиски спасения от парадоксов с логицизмом. Другой немаловажной причиной ощущения стагнации в философии математики является огромное уважение к авторитетам, временами препятствующее нормальному процессу критического обсуждения проблем. Типичным случаем является крайний платонизм К.Геделя, в отношении которого, несмотря на неудовлетворительность крайней формы платонизма, постоянно возобновлялись попытки оправдания или реабилитации весьма сложных для интерпретации и понимания утверждений. В частности, речь идет о хорошо известном высказывании Геделя о том, что математические сущности доступны интуиции математика точно так же, как физические объекты доступны чувственному восприятию. И только в последнее время возобладало скептическое отношение к попыткам придать более точный смысл подобным тезисам4. То же относится к тезису В.Куайна о том, что логика второго порядка является скрытой теорией множеств ('волк в овечьей шкуре'), - тезису, который в значительной степени тормозил логицистские тенденции. Преодоление стагнации в философии математики в последние два десятка лет было связано с общефилософскими тенденциями. Главным обстоятельством тут является то, что философия математики есть часть философии, и на ней отражаются все те тенденции, которые свойственны всей философии. Философия даже относительно элементарных ветвей математики - это такая дисциплина, в которой ясно фокусируются теории о природе языка, знания, указания и истины. Именно это обстоятельство делает исследования в философии математики важным видом философского исследования. В настоящее время стало очевидным то обстоятельство, что традиционная философия математики столкнулась с дилеммами, обусловленными современной теорией познания, и, стало быть, мы имеем дело с эпистемологическим уклоном в философии математики. Возможны два представления того, что было сделано в философии математики в последнее время. Одно связано с попыткой увязать новые исследования с традиционными направлениями - логицизмом, формализмом и интуиционизмом, т.е. представить новые направления как реакцию на традиционные. Другое связано непосредственно с эпистемологической тенденцией, вызванной к жизни постановкой двух дилемм П.Бенацеррафом в его работах 'What numbers could not be' и 'Mathematical truth'5. Последняя четверть века прошла в поисках согласия по поводу того, что составляет ответ на теоретико-познавательную дилемму, поставленную в работе П.Бенацеррафа 'Математическая истина'. Дилемма формулируется следующим образом: если математика представляет собой исследование объективных идеальных сущностей и если когнитивные способности человека позволяют ему познавать только чувственные объекты, то как он может познавать математические объекты? Апелляция к познанию чувственных объектов подразумевает совершенно определенную концепцию познания - так называемую причинную теорию познания. Можно возразить, что это не единственная теория, и тогда дилемма теряет смысл. Однако можно переформулировать дилемму таким образом, что она не будет опираться на специфическую теорию познания. Дилемма ставит перед нами выбор: либо отрицать, что математика говорит о числах, либо предполагать некоторые неестественные способности человека в отношении сбора информации. Поскольку обе возможности не выглядят привлекательными, предпринимались различные попытки разрешить дилемму. Многие исследователи соглашаются в том, что при решении эпистемологических вопросов приходится решать и главный онтологический вопрос о существовании математических сущностей, и решать его надо так, чтобы не нужно было жертвовать стандартной математикой, как это происходит при традиционном номиналистическом подходе. Здесь мы хотим наметить основные направления в философии математики, цель которых состоит в попытке разрешить проблемы, связанные с эпистемологическим статусом математических утверждений, и соответствующим онтологическим статусом математических объектов. Краткий перечень основных альтернатив включает несколько направлений. Одним из наиболее влиятельных является структурализм, согласно которому математика говорит не о специфических математических объектах, а о структурах. Основными представителями структурализма являются П.Бенацерраф, С.Шапиро и М.Резник6. Согласно Бенацеррафу, онтологические вопросы о существовании математических сущностей могут быть вообще обойдены, если понятие математического объекта заменить понятием места в математической структуре. В уже упомянутой статье 'Чем не должны быть числа' он приводит пример числа 2, которое должно пониматься не как некоторый абстрактный объект, а как то, что стоит после 1 и перед 3. Другими словами, указание на абстрактный объект 2 требует неявного указания на всю структуру натуральных чисел. Но тем самым устраняется необходимость в семантической схеме, согласно которой математические утверждения, будучи истинными, содержат сингулярные термины, которые должны указывать на некоторый объект. Теперь центр тяжести переносится на понятие структуры. Почти всеми признается, что математика состоит из структур. Но что такое структура с онтологической и эпистемологической точек зрения? И является ли это понятие более простым или удобным, или более фундаментальным, чем понятие абстрактного объекта? Это тот самый вопрос, который пытаются разрешить Резник и Шапиро в целой серии влиятельных статей и книг. Н.Бурбаки полагал, что понятие структуры является более фундаментальным, чем все остальные понятия математики. Сходным образом формулируются посылки Резника и Шапиро. Если структура понимается как область объектов с определенными отношениями между ними, т.е. понимается как структура, изучаемая в математической логике, то тогда нужно иметь в виду, что в математической логике структура определяется теоретико-множественным образом. Но в этом случае следует весьма радикальное заключение, что теория множеств представляет собой дисциплину наравне с другими ветвями математики, но никак не основанием всей математики. То есть теория множеств изучает одну из множества возможных структур. Например, арифметика является исследованием не натуральных чисел, а исследованием 'натуральных структур'. Все это означает, что в этом случае нам...
Другие файлы:
Философии математики. Сборник работ
Наиболее интересным явлением в области современной философии математики безусловно следует признать интуиционизм. Интуиционизм — не изолированное, огр...
Логико-философские труды. Логические исследования. Основоположения арифметики
В сборнике представлены труды величайшего немецкого логика, философа и математика Готлоба Фреге, посвященные философии логики и философии математики....
Вопрос о взаимосвязи математики и философии
ВВЕДЕНИЕВопрос о взаимосвязи математики и философии впервые был задандовольно давно. Аристотель, Бэкон, Леонардо да Винчи - многие вели-кие умы челове...
Методологический анализ оснований математики
Книга представляет собой первую в отечественной литературе коллективную монографию, посвященную проблеме методологии обоснования современной математик...
Математика в контексте философских проблем
Учебное пособие посвящено проблемам философии и методологии математики. В нем на материале истории математики рассматриваются проблемы становления фил...
