А.В. Смирнов
Одна из важнейших работ Витгенштейна по математической проблематике носит название «Замечания по основаниям математики», что изначально задает определенный контекст ее прочтения, связанный с ожиданием решения ряда спорных вопросов по фундаментальным математическим проблемам. Основной нашей задачей в данном параграфе будем считать уточнение проблематики исследований Витгенштейна в данной области.
Философские проблемы математики стали рассматриваться в математической и логической литературе с начала ХХ века как попытки преодоления ряда парадоксов, возникших в математике, и были по большей части предметом интереса самих математиков. Витгенштейн, на наш взгляд, был одним из первых, кто попытался подойти к проблемному полю философии математики со стороны философии, а не со стороны математики или логики. К началу последней трети ХХ века наметилась тенденция к стиранию граней между философией, историей и социологией науки. Наука перестала рассматриваться как автономная сфера, управляемая особыми, логическими закономерностями. Она воспринимается как равноправная часть социальных организмов и человеческой деятельности. Данные тенденции связаны с деятельностью таких ученых, как К. Поппер, И. Лакатос, Т. Кун, П. Фейерабенд. В общем и целом их можно охарактеризовать как антропологический поворот в науке, когда история науки начинает рассматриваться как история людей и их практик, а не как история автономных теоретических сущностей
Кратко наметим круг тех проблем, которые были затронуты в «Замечаниях по основаниям математики»:
роль аксиом в математическом знании;
роль доказательства в математическом знании;
проблема следования правилу в математических вычислениях;
процессы вычисления и логического вывода;
проблемы противоречивости математического знания;
проблемы математических понятий;
отношение математики и логики и пр.
Даже из этого краткого рассмотрения становится понятным, что рассуждения Витгенштейна не вписываются ни в одну из существующих программ обоснования математики, то есть фактически тематика исследований Витгенштейна лежит вне того, что принято называть исследованиями по основаниям математики. Как отмечает А.Ф. Грязнов [1, с.151], несогласие Витгенштейна с программами обоснования математики вызвано его убеждением в ошибочности использованной в них «традиционной» референтной концепции значения выражений и непониманием сложной функциональной роли значения. В сфере математической науки это непонимание породило концепции существования особой «математической реальности» (математический платонизм), не позволяющие рассматривать математическую деятельность как творческий конструктивный процесс, вплетенный в иные формы человеческой деятельности, не обладающие научным статусом. Однако, на наш взгляд, основная задача исследования Витгенштейном математики не сводилась ни к критике референтной концепции значения, ни к защите функциональной его концепции.
Мы выдвинем следующее предположение: одной из важнейших задач Витгенштейна при рассмотрении математического знания была попытка показать связь научного языка, используемого в математике, с естественным языком путем анализа математического текста и сравнения правил его построения с правилами естественного языка. Для рассмотрения правил естественного языка Витгенштейн использовал, как известно, метод «языковых игр». Этот же метод использован Витгенштейном и при анализе математического знания. Однако, ряд исследователей, затрагивавших данную проблематику, рассматривают применение в данном случае метода языковых игр как само собой разумеющееся и не требующее подробного рассмотрения.
Необходимо рассмотреть вопрос об особенностях применения метода «языковых игр» при анализе математики. Судя по всему, мы можем отметить наличие некоторых особенностей при рассмотрении прагматических аспектов. При анализе примеров простейших языковых игр возможно условное разделение языковой игры на языковую (вербальную) и прагматическую составляющие, на речь и действия с нею связанные. В математической деятельности осуществляются операции с числами и математическими объектами, не подразумевая при этом никакого другого аспекта деятельности. поэтому может создаться впечатление, что рассматривать математику как некую языковую игру не вполне правомерно, вследствие отсутствия действий (прагматического аспекта), с нею связанных. Однако Витгенштейн в «Философских исследованиях» упоминает о языковых играх, не несущих аспекта прагматики: перевод с одного языка на другой, задавание вопросов и поиск ответов на них и т.д., исключая тем самым упрощенное понимание прагматики как некого невербального акта. В «Замечаниях по основаниям математики» Витгенштейн зачастую анализирует те языковые игры, в которых имеют место действия с математическими объектами, как то: счет, измерение длины, применение образов для иллюстрации отдельных положений математики. Поэтому возникает вполне правомерный вопрос: является ли то, что анализирует Витгенштейн собственно математикой как наукой.
Математическую деятельность следовало бы разделить строго на математичесую теорию и математическую прагматику, однако, на наш взгляд, оснований для такого разделения Витгенштейн не находит, и именно факт сведения математики к прагматике счета и является причиной обвинений в его адрес в антитеоретичности и в ненаучности.
Витгенштейн придерживается того мнения, что независимо от характера математических объектов, исследователь-математик вынужден включиться по их поводу в некую языковую игру по вполне определенным правилам, связанным, прежде всего, с правилами естественного языка, а точнее, с правилами того, что можно назвать языком научного математического построения.
Витгенштейн и не ставил перед собой задачу давать рекомендации профессиональным математикам и намечать перспективы развития математической науки, поскольку он, по мнению А.Ф. Грязнова, «подходит к математике как к ‘форме жизни’» [2, с.67] (Сравним с [1, с.153] «математическая языковая игра есть особая «форма жизни», которую можно понять, только приняв в ней непосредственное участие».). Данное мнение А.Ф. Грязнова отличается некоторой терминологической вольностью, в силу малой проработанности понятия «формы жизни», но, тем не менее, вполне концептуально. Причем ценность данного замечания оказывается двоякой: во-первых, математика по своей сути оказывается несколько более сложным явлением, нежели простейшая языковая игра, она представляет собой сложный комплекс разнородных игр различной сложности и различной цели; во-вторых, метод «языковых игр» требует не просто их описания, но и их разыгрывания, то есть приведения многочисленных примеров и их подробного рассмотрения.
Почему же именно метод языковых игр оказывается эффективным при анализе математического знания? Прежде всего, отметим, что этим вопросом мы подразумеваем, что данный метод является эффективным, то есть его применение, во-первых, является корректным, то есть допустимым при анализе математического текста; а во-вторых, дает нам возможность открыть нечто новое в сущности тех или иных математических проблем. Напомним, что областью применения метода языковых игр является практика естественной речевой деятельности, поэтому отметим, что областью интереса Витгенштейна является «естественный» (в смысле использования «естественного языка») аспект математического знания. В этом, на наш взгляд, заключается проблематичность применимости его метода к математике. Если мы будем считать, что математическое знание именно сущностно содержит аспекты естественного языка, то подход Витгенштейна к математике обоснован. Если мы встанем на позицию жесткого логицизма, заявляя, что из содержания математического знания возможно элиминировать все аспекты естественного языка и коммуникативной практики без каких-либо потерь этого содержания, то рассмотрение математики как языковой игры не сможет считаться корректным. По нашему мнению, Витгенштейн не только подразумевал первую точку зрения (о наличии зависимости содержания математического знания), но и приводил доводы в ее защиту. Более того, он считал нереализуемым как проект по корректировке естественного языка (построению идеального языка) для его использования в математической науке, так и по корректировке математического знания применительно к нормам естественного языка. Вышеприведенные доводы говорят о том, что «языковые игры» явились инструментом применения метода лингвистической философии к математическому знанию. Сущность этого метода, по мнению А.Ф. Грязнова [2, с.67], состоит в том, чтобы «быть максимально внимательным к различным употреблениям понятий математики, критически реагировать на заблуждения, порожденные недооценкой роли естественного языка в математическом рассуждении».
Метод исследования математического знания, предложенный Витгенштейном, состоит в рассмотрении различных высказываний о математических объектах (это следствие применения метода языковых игр к математике, рассматривать математику этим методом по-другому просто невозможно), но такие высказывания могут существовать в двух модусах: как высказывания обыденной речи по поводу количественной, математической прагматики, а также как фрагменты некого научного математического текста, в форме которого и существует математика как область научного знания.
Витгенштейн полагает, что возможно рассматривать математику в двух аспектах: во-первых, как набор высказываний, имеющих своим предметом математические объекты, то есть набор высказываний обыденного языка, но составляющих предмет научного, математического знания; во-вторых, как некое знание, данное нам лишь в форме высказываний (выражений), в сумме составляющих то, что мы можем считать некой математической теорией, высказываний, построенных по определенным правилам, определяемым правилами естественного языка, и разворачивающихся в некое единое целое также по определенным закономерностям. Однако, следует отметить, что упоминание о математике как «едином целом» оказывается поспешным. Одним из результатов применения метода «языковых игр» к анализу естественного языка является тот факт, что не существует того единства лингвистической деятельности человека, обозначаемого понятием «язык». Лингвистическая деятельность распадается на множество родственных друг другу практик, обозначаемых термином «языковые игры». Математика, соответственно, также включает в себя ряд практик, таких как те или иные операции с числами и количествами (то есть подсчет, измерение, вычисление и пр.), а также операции с понятиями (то есть доказательства, определения), причем зачастую эти практики именно родственны друг другу, то есть для реализации одних не требуется применения других, как, например, для деятельности счета не требуется определения числа.