Конечно, очень важно, какого рода будет “онтологический ремонт”. Именно тут начинаются разногласия, которые, тем не менее, преодолеваются при нахождении некоторого консенсуса. Каковы здесь альтернативы? С.Шапиро и М.Резник полагают, что математика говорит не о специфических математических объектах, а о структурах. Ф.Китчер делает упор на актах объединения в множества. Ч.Чихара прибегает при объяснении математических сущностей не к теории множеств, а к теории типов, рассматривая сущности как открытые предложения. Дж.Хеллман и Х.Филд используют для объяснения математических сущностей модальную логику, полагая эти сущности скорее возможностями, нежели актуальностями. Важнейшим обстоятельством при этом является то, что в основе всех подходов лежит апелляция к перцептуальному опыту, понимаемому в самом широком смысле слова. Наиболее характерны в этом отношении работы П.Мэдди. Она считает, что предполагаемые платонистские сущности могут быть доступны обычному восприятию.
Важным исключением из этого общего консенсуса является философия номиналиста Х.Филда, который полагает, что математических объектов не существует, что стандартная математика ложна, но при этом он стремится сохранить математическую практику. Для этого он снабжает физическую реальность значительной математической структурой и описывает физические версии анализа и топологии. Математические утверждения типа континуум-гипотезы оказываются утверждениями об областях пространства и времени. Но опять-таки эпистемический доступ к этим областям оказывается перцептуальным. И в этом смысле Филд принадлежит к общему консенсусу.
Теперь рассмотрим радикальный тезис о том, что философия не имеет отношения к математике. С этой точки зрения математика живет своей собственной жизнью независимо от каких-либо философских рассмотрений. Взгляды относительно статуса математических объектов или утверждений ничего не вносят в математику и являются худшей софистикой, бормотаньем и вмешательством посторонних. Надо признать, что большинство математиков вообще не интересуются философией, или онтологией, или семантикой. Ну а те математики, которые исповедуют философию, часто входят в противоречие со своей собственной практикой (Херш как-то заметил, что работающий математик всю неделю сознает себя формалистом, и лишь по воскресеньям - платонистом).
В этом отношении близким взглядом является натурализм, характеризуемый Куайном как “отказ от первой философии” и “осознание того, что только в рамках самой науки должна описываться и идентифицироваться реальность”. Мэдди применяет натурализм к математике, также утверждая, что математика должна быть изолирована от традиционных философских исследований. Ну и все проблемы в математике должны решаться математиками как математиками. Как быть с такой радикальной точкой зрения?
Известно, что многие знаменитые математики были философами. Так, Гедель утверждал, что его реализм был важным фактором открытия полноты первопорядковой логики и неполноты арифметики. Например, теорема полноты есть следствие некоторых результатов Сколема. Но Сколем не сделал этого шага. Почему? Потому что оба они имели различные ориентации в онтологии. Но это лишь немногие счастливые примеры среди моря примеров отрицательного отношения математиков к философии.
Херш продолжает атаковать философию математики еще более яростно, настаивая на том, что даже подразумеваемая философия работающего математика, а именно платонизм, ущербна в самой основе. Характерным подтверждением такой позиции является следующее его высказывание: “Проблема состоит в том, что Платонизм оставил Бога, но продолжает считать Математику мыслями Бога”. Херш полагает, что “традиционная философия осознает только передовой фронт математики. Но нельзя понять передовой фронт без того, чтобы понять ее фон. Внутренний участник событий мог бы: 1) помочь лучшему пониманию мешанины в математике и сформулировать проблемы под правильным углом зрения с учетом контекста, с новой возможностью решить их; 2) показать, что нет нужды философствовать по поводу математики, ища скрытый смысл в ней; 3) дать философский ответ на то, что есть математика. Однако пролегомены (1) не должны быть терапевтическими по отношению к (2) и не должны делать позитивного вклада в (3). Херш сам предпочитает занимается в основном (3). Внутренний участник может дать ответ на (1), но вряд ли на (2) и (3). Большая часть внутренних участников являются повседневными платонистами, а по выходным - формалистами, что вносит философскую путаницу.
Большинство внутренних участников (от Декарта до Гильберта) были осведомлены о “задворках” математики, но их, в отличие от Херша, интересовал вопрос не о том, что такое математика, а о том, как мы объясняем объективность математических вер и надежность математического размышления. Социальный характер математики является тривиальным обстоятельством, свойственным всему человеческому знанию.
В подобного рода рассмотрениях важное место занимает позиция работающего математика, или, более фундаментально, математическая практика. Любое обсуждение философии науки требует обращения к научной практике. Но для философских целей понятие практики часто принимает нужную форму в угоду философским предпочтениям. Поэтому желательно заранее сформулировать, что представляет собой научная практика, или, более точно, какова структура научной практики, которая является предметом философского анализа.
В случае математики суть практики отнюдь не сводится к доказательству, хотя традиционно считалось, что математик доказывает истины. Само понятие доказательства представляет собой цепь аргументов, значимость которых варьировалась в зависимости от той же самой математической практики. Научная практика имеет много компонентов: язык, теоретические принципы, примеры теоретической и экспериментальной работы, принятые методы размышления, техника разрешения проблем, оценка важности вопросов, метанаучные взгляды на природу научного поиска. Ф.Китчер рассматривает математическую практику как предприятие, включающее в себя пять компонентов: язык, множество принятых предложений, множество принятых способов рассуждения, множество принятых в качестве важных вопросов и множество метаматематических взглядов (стандарты доказательства и определения, а также утверждения о сфере и структуре математики) [17].
Таким образом, традиционные взгляды на философию математики претерпевают значительное изменение. Среди хаоса мнений и предположений о том, в какой степени математика связана с философией, следует найти какой-то порядок, который смог бы дать точку опоры в будущей философии математики, если ей суждено выжить. На мой взгляд, таковой является эпистемологическая ориентация на вопросы математического познания, а не на традиционные вопросы о природе математических объектов и математической истины.
Списоклитературы
1. Mostowski A. Thirty years of foundational studies // Acta Filosophica Fennica, 1963.
2. Putnam H. Philosophy of mathematics - why nothing works? // Putnam H. Words and life. - Harvard UP. - P. 499-512.
3. См.: Проблемно-ориентированный подход к науке: новая философия математики / Под ред. В.В.Целищева. - Новосибирск: Наука, 2001.
4. Hersh R. A fresh winds in the philosophy of mathematics // Amer. Math. Monthly. - 1995. - Aug.-Sept. - P. 590-591.
5. Хао Ван. Процесс и существование // Математическая логика и ее применение. - М., 1965.
6. См.: Putnam H. Philosophy of mathematics…
7. www.math.psu.edu/simpson/fom/posting/006/msg00142.html
8. См.: Hersh R. The fresh wind in the philosophy of mathematics. - P. 590, 591.
9. Hersh R. What is mathematics, really. - N.Y.: Oxford UP, 1997. Review in: Philosophy of Science. - V. 66, No 3. - P. 501, 502.
10. Rota J.C. Mathematics and philosophy // Rev. Metaphys. - V. 44, is. 2, No 174. - P. 259-272.
11. Ibid.
12. См.: Gettier E. Is justified true belief knowledge? // Analysis. - 1963. - V. 23.
13. См.: Benazerraf P. What numbers could be // Philos. Rev. - 1965. - V. 74, No 1; Id. Mathematical truth // Journ. Philos. - 1973.
14. Passmore J. Recent philosophers. - Open Court, 1991.
15. Shapiro M. // Philosophia Mathematica. - 1994. - Ser. 3. - P. 148-160.
16. Hart W. Review of M. Steiner's “Mathematical knowledge” // Journ. Philos. - 1977. - V. 74. - P. 118, 119.
17. См.: Kitcher Ph. The nature of mathematical knowledge. - P. 163.