Бесконечный регресс и основания математики

Лакатос Имре

Эта статья была впервые опубликована в Дополнительном томе журнала аристотелевского общества (Aristotelian Society Supplementary Volume. 1962. Vol. 36).

 

ВВЕДЕНИЕ

[Скептическая философия в течение более двух тысяч лет учила, что невозможно достичь как определенно (conclusively) установленных значений, так и определенно установленных истин. Но установление значения и истины в математике ― как раз цель "оснований".] Классический скептический довод базировался на бесконечном регрессе. Можно попытаться связать значение термина, определяя его в других терминах (это ведет к бесконечному регрессу) или путем определения его в "совершенно известных терминах". Однако действительно ли три термина в выражении "совершенно известные термины" совершенно известные термины? Нетрудно заметить, что и в этом случае возникает недуг бесконечного регресса. Каким образом тогда философия математики всё же утверждает, что в математике есть или должны быть точные понятия? Каким образом она надеется обойти скептический критицизм? Как может она заявлять, что выдвинуты основания математики ― логицистские, метаматематические и интуиционистские? И даже допуская "точные" понятия, как можем мы доказать, что суждение истинно? Каким образом можем мы обойти бесконечный регресс в определениях? Значение и истина могут лишь передаваться, а не устанавливаться. Но если так, как мы можем знать?

Противоречие между догматиками, заявляющими, что мы можем знать, и скептиками, заявляющими, что мы не можем знать или, по крайней мере, не можем знать, что и когда мы можем знать, ― основной вопрос эпистемологии. Обсуждая современные усилия установить основания математики, как правило, забывают, что они не более чем часть громадных усилий преодолеть скептицизм при установлении основания вообще знания. Цель моей статьи показать, что современная философия математики настолько глубоко внедрена в общую эпистемологию, что не может быть понята вне ее контекста. Вот почему первый параграф должен содержать злободневную историю эпистемологии. Респектабельные историки иногда говорят, что предпринятый здесь вид "рациональной реконструкции" является карикатурой реальной истории ― того, что действительно происходило, но с равным правом можно было бы сказать, что как история, так и то, что действительно происходило, ― лишь карикатуры рациональной реконструкции.

 

1. Останавливая бесконечный регресс в науке

Скептики используют бесконечный регресс, чтобы показать тщетность поиска оснований знания. Точно так же, как и их догматические оппоненты, они принадлежат к числу эпистемологических джастификационистов (justificationists), т.е. их главная проблема состоит в ответе на вопрос "каким образом мы знаем?", и, как и их оппоненты, они думают, что были вынуждены отступить в тенеты "я не знаю" из-за отсутствия твердых оснований знания и истины. Они заключают, что рациональные усилия достичь знания беспомощны, наука и математика софистичны и иллюзорны. Так что для рационализма становится жизненно важным остановить эту раздражающую пару бесконечных регрессов и обрести для знания твердую почву. В попытках достичь этого сложились три грандиозные рационалистические программы: 1) евклидианская программа, 2) эмпирицистская программа, 3) индуктивистская программа.

Все три программы исходят из организации знания как дедуктивной системы. Базисная дефиниционная характеристика дедуктивной системы (не обязательно формальной) ― принцип ретротрансляции (retransmission) ложности "снизу вверх", от заключений к посылкам: контрпример заключению будет контрпримером по отношению хотя бы одной из посылок. Если имеет место принцип передачи ложности, значит, действует принцип передачи истинности от посылок к заключениям. Мы не требуем, однако, от дедуктивной системы, чтобы она передавала ложность посылок к заключениям и истинность от заключений к посылкам.

1) Я называю дедуктивную систему евклидианской теорией, если высказывания, составляющие ее верхушку (аксиомы), состоят из общеизвестных терминов (терминов-примитивов) и если эта верхушка в отношении своих истинностных значений получает истину в качестве непогрешимого (infallible) истинностного значения, истину, которая течет вниз по дедуктивным каналам передачи истинности (доказательствам) и наполняет всю систему. (Если истинностное значение наверху системы было бы ложью, то, конечно же, в системе не было бы потока истинностного значения.) Так как евклидианская программа предполагает, что всё знание может быть дедуцировано из конечного множества тривиально истинных высказываний, состоящих только из терминов с тривиальной смысловой нагрузкой, я буду называть её также программой тривиализации знания*. Поскольку евклидианская теория содержит лишь несомненно истинные высказывания, она не работает ни с предположениями, ни с опровержениями. В евклидианской теории, если она полностью разработана, значение, как и истина, вводится в верхушку теории и без какой-либо деформации по сохраняющим значения каналам номинальных определений стекает от терминов-примитивов к определяемым терминам (аббревиатурам и, стало быть, теоретически излишним). Евклидианская теория eo ipso* внутренне непротиворечива, ибо все высказывания, оказывающиеся в ней, истинны, а совокупности истинных высказываний, разумеется, непротиворечивы.

2) Я называю дедуктивную систему эмпирицистской теорией, если её нижние высказывания (базовые положения) состоят из общеизвестных терминов (эмпирических терминов) и внизу теории возможно введение безошибочных истинностных значений, которые, если это истинностное значение есть ложь, текут вверх по каналам дедукции (объяснения) и наполняют всю систему. (Если истинностное значение есть истина, то, конечно же, в системе не происходит течения истинностного значения.) Таким образом, эмпирицистская теория либо предположительна (исключая, быть может, истинные положения в самом низу), либо состоит из бесповоротно ложных суждений. В эмпирицистской теории присутствуют теоретические или "оккультные" термины, которые ― вроде средних терминов аристотелианских силлогизмов ― не фигурируют в каких-либо базовых положениях и не обеспечены какими-либо смыслосохраняющими каналами, ведущими к ним.*

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

Евклидианская программа нацелена на построение евклидианских теорий, чьи истинностные и смысловые основания расположены наверху и освещены естественным светом разума, особенно арифметической, геометрической, метафизической, моральной и т.д. интуицией. Эмпирицистская программа нацелена на построение эмпирицистских теорий, чьи истинностные основания расположены внизу и освещены естественным светом опыта. Обе программы вместе с тем, предполагая сохранную передачу истинностных и смысловых значений, опираются на разум (особенно на логическую интуицию).

Я должен подчеркнуть различие между обычным понятием эмпирической теории и более общим понятием эмпирицистской теории. Мое единственное требование к эмпирицистской теории состоит в том, что истинностное значение поступает снизу, каким бы ни был этот низ ― фактуальным", "сингулярным пространственно-временным", "арифметическим" или каким-нибудь иным.* Смысл этого расширения понятия базового положения состоит в том, чтобы сделать понятия эмпирицистской и индуктивистской программ применимыми к математике ― или к метафизике, этике и др.

В традиционной эпистемологии важнейшими понятиями являются не евклидианская и эмпирицистская теории, а, с одной стороны, a priori и a posteriori и, с другой стороны, аналитическое и синтетическое. Последние относятся к высказываниям, а не к теориям; эпистемологи не спешили заметить возникновение высоко организованного знания и ту важную роль, которую играют специфические структуры этой организации. Отсюда эпистемологическое различение уровней введения истинностных значений в теорию приобретает огромное значение, ибо оно определяет течение истинности и ложности в системе. Из какого источника черпаются эти истинностные значения ― из самоочевидности или из чего-нибудь еще ― не так важно для решения многих проблем. Мы можем достичь многого, обсуждая просто, как нечто течет в дедуктивной системе, не обсуждая того, что собственно в ней течет ― безошибочная ли истина или только, скажем, расселовская "психологически неоспоримая" истина, "логически неоспоримая" истина Р.Б. Брейтвейта, витгенштейновская "лингвистически неоспоримая" истина или попперианская оспоримая ложность и "правдоподобие" (verisimilitude), или карнаповская вероятность.*

Увлекательная история евклидианской программы и ее упадка еще не написана, хотя вообще-то известно, что в высших регионах дедуктивных структур современная наука движется к терминам все более теоретическим и к высказываниям все более невероятным, а не к более тривиальным терминам и высказываниям. Переключиться на эмпирицистскую программу и фиксировать основания внизу теории было очень трудно; это был один из наиболее драматических моментов в истории человеческого мышления, ибо из него следовало радикальное изменение в первоначальном евклидианском рациональном мировоззрении. Если истинностное значение вводится лишь снизу, теория либо предположительна, либо ложна. Таким образом, тогда как евклидианская теория верифицируется, эмпирицистская теория фальсифицируема, а не верифицируема. Обе программы не обходятся без истин, которые, взятые порознь, тривиальны и неинтересны, но благодаря своему местоположению тривиальная истина заполняет всю евклидианскую теорию, чего не происходит в эмпирицистской теории.

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

Близорукий и усталый евклидианец, возможно, примет темное ущелье за сияющую вершину. В то время как критика и, конечно же, опровержение могут детривиализировать наиболее тривиальные на вид предпосылки знания, прекрасный пример ― эйнштейновская критика одновременности, авторитарная трактовка и корроборация могут тривиализовать (толкая к неоспоримым основаниям знания) весьма утонченные на вид спекуляции, забавный пример ― кантовский подход к ньютоновской механике. Опровержение заставляет нас учиться, корроборация ― забывать. Таким образом, самонадеянный рационализм может ― оказавшись чем-то вроде "резинового евклидианизма" ("rubber-Euclideanism") ― расширить границы самоочевидного, и он, вероятно, делает это, причем не только в победоносные для себя периоды, но также и в периоды отчаянного отступления.

3) Некоторые догматики постарались спасти Знание от скептиков, используя неевклидовый метод. Изгнанный с верхнего уровня разум стремится найти прибежище внизу. Однако истина внизу не имеет той силы, которую она имела наверху. Для восстановления симметрии была призвана индукция. Индуктивистская программа возникла в рамках усилий соорудить канал, посредством которого истина течет вверх от базисных положений, и таким образом установить дополнительный логический принцип, принцип ретротрансляции (retransmission) истины. Такой принцип делает законным то наполнение системы истиной снизу, которое предполагает индуктивист. "Индуктивистская теория", подобно евклидианской теории, является, конечно, внутренне непротиворечивой, ибо все входящие в нее высказывания истинны.

В XVII в. индуктивный канал не выглядел очевидно невозможным, как он выглядит теперь: ведь тогда дедукция базировалась на картезианской интуиции, а аристотелевская формальная логика принижалась. Если существует дедуктивная интуиция, почему бы не составить ей пару в виде индуктивной интуиции? Однако история логики (или теории каналов истинностных значений) от Декарта до наших дней была в сущности историей критики и совершенствования дедуктивных каналов и разрушения индуктивных каналов. Как то, так и другое осуществлялось путем превращения логики в "формальную".

Если индуктивизм снизу, исходя из обычного эмпирического базиса, желает доказать сомнительные оккультные теоретические высказывания, он должен также тщательно прояснить значения теоретических терминов. Без зрелых понятий нет зрелых истин. Таким образом, индуктивисту приходится определять теоретические термины в "наблюдаемых". Это не может быть сделано формулированием явных определений, и индуктивист пытается выйти из положения, формулируя неявные контекстуальные определения, формулируя "логические конструкты".* Когда в математике хотят доказать что-либо сверху, приходится переопределять, реконструировать все, пользуясь общеизвестными терминами, расположенными вверху теории. Когда в естественной науке хотят доказать что-либо снизу, приходится переопределять, реконструировать все, пользуясь общеизвестными терминами, расположенными внизу теории ("строгий индуктивист", в частности, стремится к тому, чтобы не только истина текла снизу, но и значение двигалось таким же образом, ибо истина не может втекать в неосмысленные высказывания). Проблема индуктивного доказательства и проблема определения теоретических терминов в наблюдаемых ― она может быть названа проблемой индуктивного определения ― являются, таким образом, проблемами-близнецами, а их разрешимости ― иллюзиями-близнецами.*

Первоначальная версия индуктивистской программы была разрушена скептической критикой. Но большинство еще не может принять эмпирицистскую революцию, они еще рассматривают ее как оскорбление достоинства Разума. Некоторые новейшие идеологи индуктивизма ― я теперь обращаюсь к характерному воззрению логического позитивизма ― создали обширную литературу в защиту новой, ослабленной, версии старой программы в защиту вероятностного индуктивизма. Кроме того, они не могут допустить (и в этом они правы), чтобы научная дедуктивная система была бы неосмысленной. Более того, они утверждают, что теория осмысленна, если ее днище достигает уровня наблюдаемых положений. Однако в то время как их "принцип верификации" допускает, что теоретические положения являются осмысленными, мы остаемся в потемках относительно того, каково же их действительное значение. Строгие эмпирицисты не могут допустить иного введения смысла, чем снизу теории. Они не правы в этом. Но являются ли тогда теоретические положения осмысленными, не обладая каким-либо особым смыслом? Они разрешают эту дилемму, радикально расширяя понятие определения ― понятие передачи значения ― настолько, чтобы охватить "редукцию", логическую манипуляцию, призванную передавать вверх от наблюдаемых к теоретическим терминам если не полные, то по крайней мере некоторые частичные эрзацевые значения.

Затем, так как они знают и принимают формальную логику, они вынуждены рассматривать индукцию как неполноценный вывод. Но теперь, расширив понятие передачи значения, они расширяют понятие передачи истинности таким образом, что допускают ретротрансляцию вверх от положений наблюдения к теоретическим положениям если не полноценной истины, то, по крайней мере, частичной вероятностной истины, некоторой "степени подтверждения".*

Теория, построенная на вероятностной индукции, вероятно непротиворечива. В любой момент может появиться вероятностная теория вероятностной непротиворечивости.

Критикуя устарелый, недееспособный и претенциозный новейший индуктивизм, не следует забывать его благородное происхождение. Кредо индуктивиста XVII-XVIII вв. играло важную и прогрессивную роль. Это была Lebenslüge* молодой спекулятивной науки в темную допопперианскую эпоху Просвещения*, когда догадки презирались, а опровержение считалось неприличным и где установление надежного источника истины было вопросом выживания. Передача власти от Откровения фактам, разумеется, встречала оппозицию церкви. Схоластические логики и "гуманисты" не уставали предрекать печальный исход индуктивистского предприятия, показывали ― на базе формальной аристотелевской силлогистики, ― что не может быть законного вывода от действий к причинам и научные теории, следовательно, не могут быть истинными, они могут быть лишь инструментами погрешимых (fallible) предсказаний, т.е. "математическими гипотезами". Они провоцировали тех идеологов современной науки, которые отвергали аристотелевскую логику и проповедовали неформальную индуктивную логику и индукцию. Защищая истину откровения, они подвергали разрушительной критике истину разума и опыта. В XVII в. альянс евклидианизма и индуктивизма защищал науку от унижения и боролся за её высокий статус.

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

4) Попперианский критический фаллибилизм принимает бесконечный регресс в доказательстве и определении со всей серьезностью, не питает иллюзий относительно "остановки" этих регрессов, воспринимает как свою собственную скептическую критику любых заявлений о безошибочном вводе истины. При таком подходе основания знаний отсутствуют как вверху, так и внизу теории, но могут быть пробные вводы истинности и значения в любом ее месте. "Эмпирицистская теория" либо ложная, либо предположительная. "Попперианская теория" может быть только предположительной. Мы никогда не знаем, мы только догадываемся. Мы можем, однако, обращать наши догадки в объекты критики, критиковать и совершенствовать их. В рамках этой критической программы многие из старых проблем ― вроде проблем вероятностной индукции, редукции, оправдания синтетического априори, оправдания чувственного опыта и т.д. ― становятся псевдопроблемами, так как все они отвечают на неверный догматический вопрос: "Каким образом мы знаем?" Вместо этих старых проблем возникает много новых. Новый центральный вопрос: "Каким образом мы улучшаем свои догадки?" ― достаточен, чтобы философы работали века; а вопросы: "Как жить, действовать, бороться, умирать, когда остаются одни только догадки?" ― дают более чем достаточно работы будущим политическим философам и деятелям просвещения.

Неутомимый скептик, однако, снова спросит: "Откуда вы знаете, что вы улучшаете свои догадки?" Но теперь ответ прост: "Я догадываюсь". Нет ничего плохого в бесконечном регрессе догадок.

 

2. Остановка бесконечного регресса путем логической тривиализации математики

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

Это четырехвековое отступление, кажется, полностью прошло мимо математиков. Евклидианцы сохранили здесь свою первоначальную сильную позицию. Беспорядок в анализе в XVIII в. был, конечно, неприятным фактом. Начиная, однако, с революции в строгости, отмеченной именем Коши, они медленно, но верно, пошли к сияющим высотам. Путем евклидианизации, причем сознательной евклидианизации, Коши и его последователи совершили чудо: они обратили "ужасающую путаницу анализа" (Abel, 1826, p. 263) в кристаллически ясную евклидианскую теорию. "Эта великая школа математиков, сформулировав начальные определения, спасла математику от скептицизма и построила строгое доказательство (demonstration) её высказываний" (Ramsey, 1931, p. 56). Математика была тривиализована, выведена из неоспоримых, тривиальных аксиом, в которых фигурировали лишь абсолютно ясные тривиальные термины и из которых истина текла вниз по ясным каналам. Понятия "непрерывность", "предел" и т.д. были определены в терминах таких понятий, как "натуральное число", "класс", "или" и т.д. "Арифметизация математики" была самым удивительным евклидианским достижением. Даже эмпирицисты были вынуждены допустить, что Евклид, этот "злой гений" науки, должен быть признан "добрым гением" математики (Braithwaite, 1953, p. 353). Действительно, новейшие логические эмпирики были далеко не радикальными эмпириками в естественных науках (большинство из них индуктивисты), но радикальными евклидианцами в математике. Твердокаменные евклидианцы (такие, как молодой Рассел), однако, никогда не удовлетворялись этим ограниченным царством: они упорно работали над полной реализацией своей программы в математике в надежде вернуть утраченные территории, т.е. евклидизировать и тривиализовать весь универсум знания.

Не было еще евклидианской теории, которая устояла бы перед лицом скептической критики. Причем наиболее чувствительные доводы против математического догматизма исходили из мучительных сомнений самих догматиков: "Действительно ли мы достигли терминов-примитивов? Действительно ли мы достигли аксиом? Действительно ли наши каналы сохраняют истинность?" Эти вопросы играли решающую роль в великой работе, предпринятой Фреге и Расселом, чтобы вернуться к еще более фундаментальным первым принципам, нежели аксиомы арифметики Пеано.* Я сконцентрирую особое внимание на подходе Рассела и покажу, как потерпела неудачу его исходная евклидианская программа, каким образом он был отброшен назад к индуктивизму и каким образом он предпочел сбиться с пути, чем признать и принять тот факт, что интересное в математике предположительно.

Главная проблема философии Рассела ― спасти Знание от скептиков. "Скептицизм, являясь логически непогрешимым, психологически неприемлем; во всякой философии, которая намерена принять его, присутствует элемент легкомысленного лукавства" (Russell, 1948, p. 9).*В юности он пытался избежать скептицизма с помощью далеко идущей евклидианской программы. Его "философское развитие"* было постоянным и постепенным отступлением от евклидианизма, храбрым сражением за каждый дюйм оставляемой территории и попытками спасти столько достоверности, сколько можно.

Интересно вспомнить оптимизм его ранних планов. Рассел полагал, что прежде чем "распространять сферу достоверности на другие науки", он обязан добиться "совершенной математики, не оставляющей места сомнению" (Russell, 1959, p. 36). Для этого придется "опровергнуть математический скептицизм" (ibid, р. 209) и таким образом сохранить евклидианский плацдарм для организации дальнейшего общего наступления. Таким образом, отправным пунктом философской карьеры Рассела было упрочение математики в качестве евклидианского плацдарма.

Он нашел математические доказательства поразительно ненадежными. "Подавляющая часть аргументации, которую мне было велено принять, была очевидно ошибочной" (ibid, р. 209). И он не был удовлетворен достоверностью аксиом ― геометрических и арифметических. Он отдавал себе полный отчет в скептической критике интуиции: раз и навсегда лейтмотивом его публикаций была борьба со "смешением психологически субъективного и логически априорного" (Russell, 1895, р. 245). Каким образом можно установить, что вводы истины сверху в теорию неоспоримы? Разбирая эту проблему, он проанализировал одну за другой аксиомы геометрии и арифметики и обнаружил, что они основываются на различных видах интуиции. В своей первой опубликованной статье (1896) Рассел проанализировал с этой точки зрения аксиомы евклидовой геометрии и нашел, что некоторые из аксиом с достоверностью истинны и в особенности a priori истинны, ибо "их отрицание влечет логические и философские несообразности" (Russell, 1896, р. 3). Он, например, квалифицировал как априорную истину гомогенность пространства, ибо "отсутствие гомогенности и пассивности абсурдно; философы, насколько я знаю, никогда не испытывали сомнений в этих двух свойствах пустого пространства: действительно, они по всей видимости вытекают из максимы, что ничего не может воздействовать на ничто… Мы должны, следовательно, на чисто философских основаниях принять это как аксиому, например, как аксиому конгруэнтности" (ibid, р. 4). С другой стороны, он квалифицировал аксиому о трехмерности пространства как эмпирическую, правда, он утверждал, что её достоверность почти настолько же велика, как если бы она была априорной истиной (ibid, р. 14). Эта аксиома, однако, "логически не необходима" [курсив мой. ― И.Л.] и только "предположительно её очевидность может быть извлечена из интуиции" (ibid, р. 23).

Итак, Рассел пытался установить иерархию априорных истин, "математических верований", геометрических или арифметических. Он "прочитывал книги, стараясь найти такую, которая представляла бы более твердую основу для них" (Russell, 1959, р. 209). Таким образом, он наткнулся на Фреге.* Он сразу же признал решение Фреге ― извлечь всю математику из тривиальных логических принципов. Арифметическая интуиция была выброшена в мусорную корзину для отслуживших детривиализованных тривиальностей, разделив судьбу механической и геометрической интуиции, в то время как воцарилась логическая интуиция, причем не просто как "интуиция", но как непогрешимое интеллектуальное проникновение, как супертривиальная суперинтуиция. Арифметическая тривиализация математики была развенчана и замещена её логической тривиализацией.

Чтобы по достоинству оценить этот шаг, нам надо рассмотреть то особое место, которое занимает логическая интуиция. Евклидианцы развенчивали один за одним интуитивные источники ввода истины в теорию сверху, находимые (принимаемые) своими предшественниками. Открытие иррациональных чисел заставило древних греков отказаться от пифагорейской арифметической интуиции в пользу евклидианской геометрической интуиции: арифметика должна была быть переведена в кристально ясную геометрию. Чтобы завершить этот перевод, они разработали свою сложную "теорию пропорций". "Проясняя понятие иррационального числа", XIX в. переключился опять на арифметическую интуицию как на доминантную. Позднее за эту роль конкурировали канторовская теоретико-множественная интуиция, расселовская логическая интуиция, гильбертовская "глобальная" интуиция и интуиция "конструктивистов" брауэровского толка.* В ходе этой баталии логическая интуиция играла особую роль: ибо всякий, кто выигрывал битву за аксиомы, вынужден был полагаться на логическую интуицию как на переносчика истины с верхушки теории к остальным ее частям. Даже эмпирицисты, которые громили в науке интуицию верхнего уровня (в то время как защищали интуицию снизу, фактуальную интуицию), должны были полагаться на тривиально надежную логику, позволяющую транслировать их опровержение вверх. Если критицизм мыслится определяющим, он должен наносить смертоносный удар, обеспеченный неопровержимой логикой. Особый статус логической интуиции объясняет, почему даже архипротивники интуиции не перечисляли логическую интуицию под рубрикой "интуиции" вообще ― ибо они нуждались в логической интуиции, чтобы критиковать другие виды интуиции. Но если догматик любой программы ― евклидианец любой деноминации, индуктивист, эмпирицист ― нуждается в тривиальной, поистине непогрешимой логической интуиции, то показать, что вся математика не нуждается в какой-либо другой интуиции, кроме логической, будет действительно огромной победой: как для аксиом, так и для трансляции истинности останется только один источник достоверности.

Логическая интуиция, однако, должна была первой сделаться автономной, должна была очиститься от внешних интуиций. В классической евклидианской теории каждый релевантный шаг должен был оправдываться специальной аксиомой. Любое положение формы "A влечет B" или, скорее, "A с очевидностью влечет B" должно рассматриваться в качестве независимо истинного. Картезианская логика содержит неопределенную бесконечность тематически зависимых аксиом. Рассел предусмотрел полноправную логику, состоящую из нескольких специальных тривиальных "тематически нейтральных" аксиом. Он вначале не осознавал то, что если логика должна стать сверхтривиальной евклидианской дедуктивной системой, она должна содержать, с одной стороны, сверхтривиальные аксиомы, а с другой ― сверхсверхтривиальную логику логики, содержащую в себе специальные правила передачи истины. "Вся чистая математика ― арифметика, анализ и геометрия ― строится путем комбинаций примитивных идей логики, и её предложения выводятся из общих аксиом логики, т.е. из силлогизма и других правил вывода" (Russell, 1901, р. 76; Рассел, 1913, с. 84). Эти аксиомы теперь будут действительно тривиально истинны, сияя несомненностью в естественном свете чистого логического разума, "краеугольными камнями, скрепленными в вечный фундамент, доступный человеческому разуму, но несмещаемый им" (Frege, 1893, р. XVI). Термины, оказывающиеся в них, будут действительно совершенно ясными логическими терминами. Словарь будет состоять лишь из двух тривиальных терминов: отношение и класс. "Если вы хотите стать арифметиком, вам надо знать, что эти идеи значат". Но нет ничего более легкого. "Придется допустить, что то, что математик должен знать, начинается с немногого" (Russell, 1901, р. 78-79; Рассел, 1913, с. 87). В этот период ― за месяц или за два до открытия его парадокса ― он думал, что безусловная евклидизация математики обеспечена и скептицизм навсегда повержен: "Во всей философии математики, которая бывала по меньшей мере настолько же полна сомнений, насколько всякая другая область философии, порядок и достоверность заменили путаницу и колебание, которые раньше царствовали" (ibid, р. 79-80; там же, с. 88).

И, следовательно (ibid, р. 71):

"…на этого рода скептицизм, отрицающий стремление к идеалу, так как дорога трудна и цель недостижима с определенностью, математика в пределах ее собственной области дает окончательный ответ. Слишком часто говорят, что нет абсолютной истины, но только мнение и частное суждение; что каждый из нас в своем взгляде на мир ограничен своими собственными особенностями, своими собственными вкусами и склонностями; что вне нас отсутствует царство истины, в которое мы терпением и дисциплиной можем во всяком случае получить доступ, но существует только истина для меня, для вас, для всякого отдельного лица. Эта привычка ума ведет к тому, что игнорируется одна из ведущих целей человеческих усилий, и из нашего морального видения исчезает высшее достоинство искреннего бесстрашного познания того, что есть. Математика стоит вечным препятствием на пути такого скептицизма, ибо ее сооружение из истин непоколебимо и неприступно для всех орудий сомневающегося цинизма".

Мы все знаем, как краткий евклидианский "медовый месяц" уступил место "интеллектуальной скорби" (Russell, 1959, р. 73), как намеченная логическая тривиализация математики выродилась в утонченную систему, включающую такие "аксиомы", как аксиомы редуцируемости, бесконечности, выбора, а также разветвленную теорию типов* ― один из наиболее сложных лабиринтов, сфабрикованных человеческим умом. "Класс" и "отношение членства" (membership relation) оказались невразумительными, неопределенными, словом, любыми, только не "совершенно общеизвестными". Возникла совсем неевклидианская потребность доказательства внутренней непротиворечивости, дабы удостовериться, что "тривиально истинные аксиомы" не противоречат друг другу. Все это и то, что последовало за этим, поразило бы любого студента XVII в., как dèjà vu*: доказательство уступило дорогу объяснению, совершенно известные понятия ― теоретическим понятиям, тривиальность ― утонченным рассуждениям, непогрешимость ― погрешимости, евклидианская теория ― эмпирицистской теории. И мы сталкиваемся с тем же отказом принять драматическое изменение: те же самые арьергардные вылазки, надежды и ersatz-решения.

Расселовская первая реакция на свои непреднамеренные, нежелаемые контртривиальные Principia шла по той же схеме, что и классические попытки XVII в. спасти догматизм. Я упомянул две из них: 1) держаться первоначальной евклидианской программы и либо пробиться сквозь строй гипотез к первым принципам, либо напрячь интуицию и обратить парадоксальные спекуляции вчерашнего дня в сегодняшнюю очевидность или, если это не поможет, 2) попытаться путем оправдания индукции направить истину снизу наполнять всю систему.

1) Подобно тому, как Ньютон надеялся объяснить закон всемирного тяготения принципом картезианской толчковой механики, Рассел надеялся на тривиализацию аксиомы редуцируемости. "Хотя кажется весьма невероятным, ― писал он, ― что эта аксиома оказалась бы ложной, ни в коей мере не невероятно, что будет обнаружено, что она дедуцируема из других более фундаментальных и более очевидных аксиом" (Russell, Whitehead, 1925, р. 59-60). Позже он отказался от этой надежды: "С чисто логической точки зрения, я не вижу каких-либо причин верить, что аксиома редуцируемости логически необходима… Включение этой аксиомы в систему логики есть, следовательно, дефект, даже если аксиома эмпирически истинна" (Russell, 1919, р. 193).

Рассел описал эту стандартную схему рассуждений в отношении аксиомы о параллельных (Russell, 1903, § 353):

"С кантианской точки зрения было необходимо поддерживать, что все аксиомы самоочевидны ― точка зрения, которую честным людям трудно было распространить на аксиому о параллельных. Отсюда возникал поиск более правдоподобных (plausible) аксиом, которые могли бы быть объявлены истинами а priori. Но хотя много таких аксиом было предложено, все они по здравому разумению могли бы быть поставлены под сомнение, и этот поиск вел только к скептицизму."

Согласился ли бы он с тем, что его поиск "правдоподобных" логических аксиом, "которые могли бы быть объявлены истинами а priori", вел только к скептицизму?

В случае с теорией типов Рассел снова впал в "резиновый евклидианизм". Он был убежден, что существовало тривиальное решение "парадокса Рассела". Это оставалось, конечно, весьма смутной надеждой, поскольку здесь в отличие от изощренного парадокса Бурали – Форти было показано, что самые тривиальные общедоступные утверждения противоречивы, и, чтобы улучшить ситуацию, надо было допустить, что отрицание некоторой аксиомы здравого смысла истинно. Решение Цермело ― сознательно принять отрицание принципа абстракции*, выглядевшего тривиально истинным, ― было в этом направлении. Однако евклидиански мыслящий Рассел отбросил такое решение. Он никогда не примирялся с аксиоматической теорией множеств. Рассел полагал, что, только приложив усилия, очищающие наш здравый смысл от ошибок, мы, когда естественный свет разума снизойдет на нас, увидим (снова схема XVII в.) что, конечно же, что-то очевидно все время неправильно в рассуждении. В то время как Рассел грешил на лемму в доказательстве и заявлял, что она не тривиально истинная, а тривиально ложная, он, возможно, потому что ему как евклидианцу стало слишком трудно обманывать себя, открыл, что можно заменить этот de facto детривиализующий метод на другой: виновная лемма не тривиально ложна, а тривиально бессмысленна ― только это не приходило нам в голову, пока мы не посмотрели на нее с этой точки зрения. Так что теперь мы сначала должны посмотреть, является ли высказывание осмысленным или оно бессмысленный монстр. Если оно бессмысленно, то оно не может быть истинным или ложным, но если мы не проверяем его на осмысленность, а сразу проверяем на истинность, то мы можем поддаться заблуждению, принимая его за тривиально истинное.

Этот "метод исключения монстров" ― стандартный евклидианский защитный механизм, правда, обычно бесплодный. Тем не менее он стал главным принципом логического позитивизма, явившегося уродливым обобщением расселовской теории типов. Главная опасность этого метода состоит в том, что изощренные жизненно важные допущения прячутся в определения, т.е. остаются за фасадом концептуальной структуры. В метаматематической терминологии теория типов ― часть правил образования (касающихся того, что составляет правильно построенную формулу), а не аксиом. Мы можем усмотреть значимость этого шага, обращаясь к защите логицизма, предпринятой Кемени. В его полупопулярной книжке говорится (Kemeny, 1959, р. 21):

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

Кемени не упоминает теорию типов, которая, конечно же, портит картину непогрешимой тривиальности логики, рисуемую им для читателей, но он может оправдать это упущение тем, что теория типов принадлежит правилам образования, а не аксиомам. Рассел, разумеется, знал, что тривиальность теории типов жизненно важна для его евклидианской программы. Вот почему он настаивал на "принципе порочного круга", на бессмысленности самореферентных предложений как на базовой идее теории типов. Он полагал, что этот принцип следовало бы признать как очевидный и, таким образом, его исключение противоречивости наивной логики вошло бы в евклидианскую доктрину о том, что «решение должно в рефлексии полагаться на то, что может быть названо "логическим здравым смыслом", т.е. должно видеться в конечном итоге просто в том, чего следует всегда ожидать» (Russell, 1959, р. 79-80). Этот поиск тривиального решения ― к тому времени очевидно безнадежный ― заманил его в методологическую ловушку разоблачения монстров, в особенно жалкую ошибку антисамореферентного крестового похода и в "достаточно небрежную" (Ramsey, 1931, р. 24) дедукцию теории типов из этого принципа. Теория типов, предстающая как отрывок из самоочевидного "внутренне правдоподобного (credible)" (Russell, Whitehead, 1925, р. 37), дает прекрасный пример резинового евклидианизма. Расселовский поиск евклидианской тривиальности также объясняет его страх перед спекулятивной "логикой изящного проворства" Куайна (Russell, 1959, р. 80). резиновый евклидианец стремится забраковать тривиальности других как спекуляции, настаивая в то же время, что его собственные спекуляции суть тривиальности.

2) Рассел время от времени оставляет евклидианскую очевидность и предается разновидности индуктивизма (Russell, 1925, р. 59):

"То, что аксиома редуцируемости самоочевидна, ― суждение, которое едва ли можно поддержать. Фактически, однако, самоочевидность никогда не была более чем компонентой того основания, на котором принимается та или иная аксиома, и никогда не была необходимым основанием. Основание для принятия какой-либо аксиомы, как, впрочем, и любого другого высказывания, всегда в значительной степени индуктивное, а именно, состоит в том, что много почти несомненных высказываний может дедуцироваться из этой аксиомы и что стало бы непонятным, каким образом эти высказывания могли бы быть истинными, если бы эта аксиома была ложной, и что никакие высказывания, имеющие вероятность быть ложными, не дедуцируются из нее. Если аксиома кажется самоочевидной, это лишь значит, что она практически почти несомненна, ибо многие вещи, казавшиеся самоочевидными, оказались ложными. А если аксиома сама почти несомненна, то это лишь добавка к индуктивным свидетельствам, выведенным из факта, что ее следствия почти несомненны. Непогрешимость (infallibility) недостижима, и, стало быть, некоторый момент сомнения всегда затрагивает каждую аксиому и все ее следствия. Элемент сомнения присутствует в формальной логике не менее, чем в большинстве наук, этот элемент, как показал тот факт, что парадоксы следуют из посылок, которые ранее не считалось нужным ограничивать, возникает не по невнимательности. В случае аксиомы редуцируемости мы имеем очень строгие индуктивные свидетельства в ее пользу, так как все рассуждения, которые она допускает, и все результаты, к которым она ведет, оказываются истинными (valid)".

Или далее (Russell, 1924, р. 325-326):

"Когда чистая математика организована как дедуктивная система, т.е. как множество таких высказываний, которые могут быть дедуцированы из специального множества посылок, становится очевидным, что мы верим в истинность чистой математики не только потому, что мы верим в истинность множества посылок. Некоторые из этих посылок намного менее очевидны, чем их следствия, и в них верят главным образом из-за их следствий. Это обнаруживается всегда, когда наука организуется в дедуктивную систему. Не логически простейшие высказывания системы, отличающиеся наибольшей очевидностью, обеспечивают главную часть тех оснований, по которым мы верим в систему. Эмпирические науки демонстрируют это с очевидностью. Электродинамика может быть сосредоточена в уравнениях Максвелла, вера в эти уравнения вызывается наблюдаемыми истинами, логически следующими из этих уравнений. То же самое происходит в области чистой логики: в логически первые принципы логики ― по крайней мере в некоторые из них ― следует верить не по причине их собственных достоинств, а в силу их следствий. Эпистемологический вопрос: "Почему мне надо верить в это множество высказываний?" ― совершенно иной, нежели логический вопрос: "Какова минимальная и логически простейшая группа высказываний, из которой может быть дедуцируемо это множество высказываний?" Истоки нашей веры в логику и в чистую математику частично лишь индуктивны и вероятностны несмотря на тот факт, что высказывания логики и чистой математики по своему логическому статусу выводятся из посылок логики путем чистой дедукции".

Поразительно, как специалисты по математической логике, которые до отвратительности заботились о строгости и стремились достигнуть абсолютной достоверности, смогли вляпаться в слякоть индуктивизма. Например, А. Френкель, известный логик, решился утверждать, что некоторые аксиомы логики получают свой "полный вес" в силу "доказательства их следствий" (Fraenkel, 1927, р.61).

Подобно Ньютону, создававшему небесную механику, Рассел осознал дефектность евклидианской трактовки математики. Некоторые из его последователей сделали из порока добродетель, не проследив его важные импликации. Россер, например, писал:

"Мы хотим выяснить один вопрос, касающийся использования слова "аксиома". Первоначально Евклид использовал это слово, имея в виду "самоочевидную истину". Это использование слова "аксиома" долгое время было абсолютно непререкаемо в математических кругах. Для нас же аксиому составляет множество произвольно избранных предложений, которого вместе с правилом modus ponens достаточно, чтобы вывести все те предложения, которые мы хотим вывести".

Россер, очевидно, подразумевал "все те и только те", поскольку он, очевидно, не защищал внутренне противоречивые системы аксиом. Но какие предложения мы хотим вывести? Те, которые являются самоочевидными истинами? В этом случае утверждение Россера только переносило бы трудность самоочевидности от аксиом к "предложениям, которые мы хотим вывести". Рассел сам в отличие от Ньютона никогда не превращал в победу свое поражение. Он презирал этот вид "постулирования": "Метод «постулирования», к которому мы идем, наделен многими преимуществами: это те же самые преимущества, которыми обладает мошенник над честным трудягой" (Russell, 1919, р. 71).

Постулирующие не обязательно авторитарны, они могли бы быть "либералами" и заявлять, что для них главное "аксиоматизация" любой непротиворечивой совокупности предложений, истинных или ложных. Эта игра не имеет ничего общего с истиной и передачей истины. Рассел никогда даже не рассматривал эту возможность. Отвергая постулирование, расшатывающее его евклидианские надежды, он в отчаянии ставил на индукцию, которая, как он надеялся, изгонит призрак погрешимости знания сначала из математики, потом из естественных наук: "Я не вижу какого-либо иного пути, нежели догматическое допущение, что мы знаем этот принцип индукции или его некоторый эквивалент; единственная альтернатива ― выбросить почти все, что почитается наукой и здравым смыслом как знание" (Russell, 1944, р. 683). Он никогда не рассматривал возможности того, что математика может быть предположительной, не допуская, что предположительность не ведет с необходимостью к полной сдаче разума.

Лишь исторически интересны небольшие детали того "отступления от пифагореизма" (Russell, 1959, chap. XVII), которое совершил Рассел. "Превосходная достоверность, которую я всегда хотел найти в математике, ― писал он, ― была утрачена в тупиковой путанице" (ibid, р. 212). Он был вынужден сдать евклидианизм, который покоился бы на "мысли, освобожденной от чувства… Надежда найти совершенство, окончательность и достоверность, ― писал он, ― была утрачена" (ibid). Фактически он так и не освободился от того замешательства, в которое его привела неподатливость математики. В работе (Russell, 1912; Рассел, 1914) он колебался, излагая свое воззрение на математику. Совершив удивляющий, но понятный разворот на 180°(volte-face), он отдал предпочтение Канту, который в конце концов был его союзником в решении огромной задачи обосновать науку и победить скептицизм (Russell, 1959, р. 82-84, 87, 109). Он написал осторожное предисловие к своей книге (Russell, 1919), сокрушаясь, что это книга, собственно, по философии математики, где "относительная достоверность еще не достигнута". "Далеко идущие усилия были приложены, чтобы избежать догматизма в таких вопросах, которые ещё открыты для серьезного сомнения". В его книге (Russell, 1948; Рассел, 1957) математическое знание, на которое он раньше полагался как на парадигму человеческого знания, не обсуждается вообще. "Парадокс Рассела" заставил Фреге немедленно сдать философию математики.* Рассел упорствовал некоторое время, но затем последовал за ним.

Проследим теперь те заключения, которые Рассел отказывался проследить. Бесконечный регресс в доказательствах и определениях не может быть остановлен евклидианской логикой. Логика может объяснить математику, но не доказать ее. Она ведет к утонченной спекуляции, какой угодно спекуляции, кроме тривиально истинной. Область тривиальности ограничивается неинтересным разрешимым фрагментом из арифметики и логики, но даже этот тривиальный фрагмент временами расползается под ударами детривиализующей скептической критики.

Логическая теория математики такая же увлекательная, изощренная спекуляция, как и любая научная теория. Это эмпирицистская теория, и, следовательно, если не показана её ложность, она остается навеки предположительной.

Догматики, презирающие предположения, могут выбирать между надеждами на крайнюю тривиализацию и надеждами оправдать индукцию. Скептики отметят, что, устанавливая эмпирицистский характер расселовской теории, мы лишь демонстрируем, что она не содержит какого-либо знания, что она ― только софизм и иллюзия. Чистый скептик редок, и мы замечаем, что пессимистический догматик в конце концов тоже скептик. Эти пессимистические догматики требовали, чтобы мы бросили спекуляции и ограничили наше внимание некоторой узкой областью, которую они элегантно, но без каких-либо реальных оснований удостоверяют спасенной. В новейшей философии математики скептическим догматизмом был отмечен интуитивизм, охарактеризованный Гильбертом как "предательство нашей науки". Вейль аттестует работу Рассела в терминах, близких к тем, которыми оперировал кардинал Беллармино, называя теорию Галилея просто "математической гипотезой". Согласно Вейлю, Principia основывают математику «не на логике, но на своего рода логическом рае, вселенной довольно-таки сложной структуры, снабженной всей "необходимой обстановкой"… Побуждения очевидны, но вера в этот трансцендентальный мир ничуть не меньшее испытание для нас, чем вера в доктрины первых отцов церкви или средневековых философов-схоластов» (Weyl, 1949, р. 233; Вейль, 1984, с. 332). Интуиционисты, разумеется, правы, называя расселовскую логику контринтуитивной и погрешимой. Но несмотря на все это, она могла бы быть все же истинной.

Эмпирицистская теория, однако, должна пройти строгие проверки. Как могли бы мы проверить расселовскую логику? Все истинные базовые предложения ― разрешимые фрагменты арифметики и логики ― выводимы в ней, и таким образом она, по-видимому, не имеет потенциальных фальсификаторов. Так что единственный способ критики этой своеобразной эмпирицистской теории ― проверить ее на непротиворечивость. Это ведет нас к гильбертовскому кругу идей.

 

3. Остановка бесконечного регресса за счет тривиальной метатеории

Гильбертовская* метаматематика была "замыслена, чтобы раз и навсегда положить конец скептицизму" (Ramsey, 1926, р. 68). Таким образом, ее цель была та же, что и у логицизма:

"Приходится принять, ― писал Гильберт в 1926 г., ― что ситуация, в которую мы попали из-за парадоксов, нетерпима. Давайте представим: в математике, в этой парадигме достоверности и истины, наиболее общая формация понятий и выводов, которые учатся, изучаются и используются, ведет к абсурдностям. Но если даже математика терпит неудачу, где же нам искать достоверность и истину? Есть, однако, удовлетворительный метод обойти парадоксы".

Гильбертовская теория базируется на идее формальной аксиоматики. Гильберт утверждал, что: а) все формально доказанные арифметические высказывания ― арифметические теоремы ― будут с достоверностью истинными, если формальная система непротиворечива, т.е. если А и не-А не являются одновременно теоремами; б) все арифметические истины могут быть формально доказаны; в) метаматематика, эта новая ветвь математики, устанавливаемая, чтобы доказывать непротиворечивость и полноту формальных систем, будет особым случаем евклидианской теории ― "финитной" теорией с тривиально истинными аксиомами, содержащими только совершенно общеизвестные термины, и с тривиально безопасными выводами. "Установлено, что принципы, используемые в метаматематическом доказательстве того, что аксиомы математики не ведут к противоречиям, настолько очевидно истинные, что не позволяют сомневаться в себе даже скептикам" (Ramsey, 1926, р. 68). Метаматематическое доказательство ― это "конкатенация самоочевидного интуитивного (inhaltlich) проникновения" (Neumann, 1927, р. 2). Арифметические истины ― и ввиду уже совершенной арифметизации математики все виды математических истин ― будут покоиться на твердой, тривиальной, "глобальной" интуиции и таким образом, как говорил Гильберт, на "абсолютной достоверности" (Гильберт, 1948, с.391).

Решающим препятствием на пути этой надежды на евклидианскую метаматематику явилась вторая теорема Гёделя. Бесконечный регресс в доказательстве не может иссякнуть в "финитной" тривиальной метатеории: доказательства непротиворечивости должны содержать достаточно изощренности, чтобы представить спорной непротиворечивость теории, в которой они проводятся, и, следовательно, они не могут не быть погрешимыми. Например, предположение Гольдбаха о том, что любое четное число есть сумма двух простых чисел, формально могло бы быть доказано завтра, но мы никогда не узнаем, что оно истинно. Ибо оно было бы истинно, только если метаматематика, метаметаматематика и т.д. до бесконечности были бы непротиворечивы. Этого мы никогда не познаем. Формализация может дать сбой, и наша аксиоматическая система может оказаться совсем без модели.

На второй сбой, который может дать формальная теория, указывает первая теорема Гёделя: если формальная теория имеет модель, то она имеет больше моделей, чем подразумевается (intended). В непротиворечивой формальной теории мы можем доказывать те и только те высказывания, которые истинны во всех моделях, так что мы не можем формально доказать высказывания, которые истинны в подразумеваемой модели и ложны в неподразумеваемой модели. Первая теорема Гёделя показывает, что селективность формальных систем, включающих арифметику, хронически плохая, ибо никакая непротиворечивая формализация арифметики не позволяет "отстроиться" от неподразумеваемых моделей, существенно отличных от подразумеваемой модели. Следовательно, в любой непротиворечивой формализации найдутся формально недоказуемые арифметические истины. Если предположение Гольдбаха истинно в его подразумеваемой интерпретации, но ложно в неподразумеваемой интерпретации, то в какой-либо формализации не будет формального доказательства, ведущего к нему.

Открытие Гёделем ω-противоречивых систем сделало положение еще хуже. Оказалось, что "непротиворечивость системы не исключает возможности структурной ложности". Формализованная арифметика может быть непротиворечивой, т.е. иметь модели, но ни одна из этих моделей не будет подразумеваемой моделью, каждая модель, коль скоро она содержит все числа, может содержать другие чужеродные элементы, которые способны обеспечить контрпримеры высказываниям, истинным в узкой области подразумеваемой интерпретации. В непротиворечивой, но ω-противоречивой системе мы могли бы доказать отрицание предположения Гольдбаха, даже если это предположение является истинным. В формализации, дающей сбой такого извращенного рода, истина и доказуемость раздельны. Если противоречивая система арифметики или логики не имеет модели, т.е. близка к тому, чтобы быть ничем, то ω-противоречивая система арифметики или логики не имеет подразумеваемой модели, т.е. даже близко не подходит к арифметике или логике.

Открытие ω-противоречивости и связанных с ней явлений положило конец гильбертовской формализации, центральной идеей которой была та, что формализация "устраняет всякую неопределенность в отношении того, что такое предложение теории или что такое доказательство в ней… Формализация теории имеет целью дать явное определение понятия доказательства. После того как это сделано, нет надобности обращаться каждый раз прямо к интуиции" (Kleene, 1952, р. 63, 86; Клини, 1957, с. 62, 81). То, что это предположение было опровергнуто, выражают обычно эвфемизмом: "синтаксическое понятие доказательства уступило дорогу семантической идее доказательства", эвфемизмом, прячущим поражение главной догматической идеи ― спасти математику от скептицизма.

Таким образом, гильбертовская программа тривиализации на метауровне коллапсировала. Но вскоре началась мощная кампания, направленная на заполнение пробелов. Генцен внес вклад в это заполнение пробелов, предложив свое остроумное доказательство непротиворечивости, за что и бились гильбертианцы, доказательство, находящееся в согласии с минимальными стандартами гёделевской утонченности и еще не переступившие границ тривиальности.* Некоторые результаты Тарского обозначили путь, позволявший заполнить пробелы в проблематике полноты теории (Tarski, 1956, р. 276-277):

"Определение истины и, более широко, установление семантики позволяет нам блокировать некоторые негативные результаты, которые были получены в методологии дедуктивных наук, параллельными позитивными результатами и таким образом заполнить до некоторой степени [курсив мой ― И.Л.] пробелы, обнаруженные в дедуктивном методе и в конструкции самого дедуктивного знания".

К сожалению, некоторые логики склонны игнорировать эту осторожную квалификацию Тарского. В недавно изданном учебнике мы читаем, что гёделевский "негативный" (sic) результат был блокирован позитивным результатом Тарского (Stegmüller, 1957, S. 253). Автор прав, оставив слово "позитивный" без кавычек, в которые заключил бы его скептик, но зачем слово "негативный" заключать в кавычки?

Итак, резиновый евклидианизм вышел снова на авансцену, вышел в наше время, обнаруживая себя в качестве новой партийной линии постгильбертианцев. Забавно, какой утонченной может быть тривиальность. Самоочевидность, коль скоро она принята, оказывается, разумеется, растяжимой, и проверить высказывание на самоочевидную истину то же самое, что проверить его на истину ― показать, что оно внутренне противоречиво или ложно. Если мы отказываемся растягивать интуицию до бесконечности, нам придется признать, что метаматематика не останавливает бесконечный регресс в доказательстве, который возникает теперь в виде бесконечной иерархии все более богатых метатеорий (первая теорема Гёделя представляет собой по своей сути принцип сохранения утонченности или принцип сохранения погрешимости). Но это не обязывает нас впадать в математический скептицизм: мы только признаем погрешимость смелых спекуляций. Доказательство непротиворечивости Генценом, как и семантические результаты Тарского, действительные, а не пирровы (как называл их Вейль) (Weyl, 1949, р. 222) победы, они являются таковыми, даже если принимается не только "существенно более низкий стандарт очевидности" (ibid), но и определенно предположительный характер новых методов. Поскольку метаматематика растет, ее утонченная тривиальность становится все более утонченной и менее тривиальной. Тривиальность и достоверность суть Kinderkrankheiten* знания.

Подчеркнем еще раз, что евклидианец и после любого поражения может всегда прибегнуть к своему оружию: либо обнадеживая найти выше действительные первые принципы, либо совершив некоторое логическое или эпистемологическое сальто-мортале, оглупляя верой в то, что то, что на деле оказывается погрешимой спекуляцией, есть очевидная истина. В логицистской программе любимым сальто-мортале была индукция. Гильбертовское сальто-мортале ― мольба обреченного о вере в новое снисхождение и неожиданное и поистине удивительное воцарение метаматематической резиновой интуиции, которая сначала была финитной брауэрианской, затем трансфинитной генценианской и даже семантической тарскианской. Мы читаем в одной из самых компетентных книг, написанных на эту тему, что "окончательным (sic) критерием допустимости некоторого метода в метаматематике должна быть, конечно (sic), его интуитивная убедительность" (Kleene, 1952, р. 63; Клини, 1957, с. 62). Но почему тогда мы не остановились шагом раньше, почему не заявили, что окончательным критерием определения того, приемлем ли метод в арифметике, должна, конечно, быть интуитивная убедительность, и не отбросили вообще метаматематику, как это сделал Бурбаки (Bourbaki, 1949, р. 8). Метаматематика, как и расселовская логика, происходит из критики интуиции; теперь метаматематики, как раньше логицисты, просят нас принять их интуицию как "окончательный" критерий, следовательно, отбрасывают нас к тому же субъективному психологизму, который они раньше критиковали. Но почему на Земле появились "окончательные" критерии и "высшие" авторитеты? Зачем нам основания, если мы сознаем их субъективность? Почему не принять честно математическую погрешимость и не постараться защитить достоинство погрешимого знания от циничного скептицизма, а обманываться относительно того, что мы могли бы незаметно заделать новую дыру в машине "окончательных" интуиций?

 

ЦИТИРОВАННАЯ ЛИТЕРАТУРА

Вейль Г. Избранные труды. М.: Наука, 1984.

Гильберт Д. Основания геометрии. М.: Гостехиздат, 1948.

Гюйгенс X. Трактат о свете// Пер. с англ. Н. Фредерикса, 1935.

Клини С. Введение в метаматематику. М.: Изд-во иностр. лит., 1957.

Лейбниц Г.В. Сочинения. В 4 т. М.: Мысль, 1984. Т. 3.

Рассел Б. Новейшие работы о началах математики // Новые идеи в математике. / Под ред. А.В. Васильева. 1913. № 1. С. 82-105.

Рассел Б. Проблемы философии. СПб., 1914.

Рассел Б. Человеческое познание. Его сферы и границы. М.: Изд-во иностр. лит., 1957.

Abel N.H. Letter to Hansteen // S. Lie and L. Sylow (eds.): Oeuvres Completes. 1826. Vol. 2. P. 263-5. Christiana: Grondahl, 1881.

Bourbaki N. The Foundations of Mathematics for the Working Scientist // Journal of Symbolic Logic. 1949. VoL 14. P. 1-8.

Braithwaite R.B. Scientific Explanation. Cambridge: University Press, 1953.

Fraenkel A.A. Zehn Vorlesungen Über die Grundlegung der Mengenlehre. Leipzig, Berlin: B.G. Teubner, 1927.

Frege G. Grundgesetze der Arithmetik. Jena. 1893. Bd. I.

Huyghens C. Treatise on Light University of Chicago Press, 1945.

Kemeny J. Undecidable Problems in Elementary Number Theory // Mathematische Annalen. 1958. Vol. 135. P. 160-169.

Kemeny J. A Philosopher Looks at Science. Princeton: Van Nostrand, 1959.

Kleene S.C. Introduction to Metamathematics. Amsterdam: North Holland, 1952.

Lakatos I. Essays in the Logic of Mathematical Discovery: Unpublished PhD dissertation. Cambridge, 1961.

Neumann J. von. Zur Hilbertischen Beweistheorie // Mathematische Zeitschrift. 1927. Bd 26. S.1-46.

Pascal B. Les Reflexions sur la Geometrie en General (1667-1658) // J. Chevalier (ed.): Oeuvres Completes, p. 575-604. Paris: La Librairie Galliard, 1954.

Popper K.R. The Logic of Scientific Discovery. London: Hutchinson, 1959.

Ramsey F.P. The Foundations of Mathematics and other Essays / Edited by R.B. Braithwaite. London: Kegan Paul, 1931.

Ramsey F.P. Mathematical Logic // The Mathematical Gazette. 1926. Ns 13. P. 185-194. Перепечатано в: Ramsey F.P. The Foundations of Mathematics.

Robinson R. Plato's Earlier Dialectic. Second edition. Oxford: Clarendon Press, 1953.

Russell B.A.W. Review of G. Heyman's: Die Gesetze und Elemente des Wissenschaftlichen Denkens // Mind, 1895. JSTs 4. S. 245-9.

Russell B.A.W. The Logic of Geometry // 1896. Mind. Ns 5. P.1-23.

Russell B.A.W. Recent Work in the Philosophy of Mathematics // The International Monthly. 1901. Vol. 3. Перепечатано под названием "Mathematics and the Metaphysician" b: Mysticism and Logic. London: George Alien and Unwin, 1917.

Russell B.A.W. Principles of Mathematics. London: George Alien and Unwin, 1903.

Russell B.A.W. Problems of Philosophy. London: George Alien and Unwin, 1912.

Russell B.A..W. Introduction to Mathematical Philosophy. London: George Alien and Unwin, 1919.

Russell B.A.W. Logical Atomism // J.H. Muirhead (ed.): Contemporary British Philosophy: Personal Statements. First Series. P. 357-383. Перепечатано в: Logic and Knowledge R.C. Marsh (ed.). London: George Alien and Unwin, 1956. P. 323-343.

Russell B.A.W. The Revolt Against Reason // Philosophical Quarterly. 1935. N" 6. P. 1-19. Перепечатано под названием "The Ancestry of Fascism" в: Praise of Idleness, London: George Alien and Unwin, 1935. P. 53-68.

Russell B.A.W. Reply to Criticism // The Philosophy of Bertrand Russell / Schilpp P.A. (ed.). Northwestern University Press, 1944. P. 67-741.

Russell B.A.W. Human Knowledge: Its Scope and Limits. London: George Alien and Unwin, 1948.

Russell BA.W. My Philosophical Development. London: George Alien and Unwin, 1959.

Russell B.A.W.. Whitehead A.N. Principia Mathematica. Vol. I. Second edition. Cambridge: Cambridge University Press, 1925.

Stegmüller W. Das Wahrheitsproblem und die Idee der Seinantik. Vienna: Springer, 1957.

Tarski A. The Concept of Truth in Formalised Languages: Postscript // Logic, Semantics and Metamathematics / J.H. Woodger (ed.). Oxford: Clarendon Press, 1956. P. 268-278.

Weitz M. Analysis and the Unity of Russell's Philosophy // The Philosophy of Bertran Russell / P.A. Schilpp (ed.). Northwestern Univ. Press, 1944.

Weyl H. Philosophy of Mathematics and Natural Science. Princeton University Press, 1949.

Ссылки

[1] *Locus classicus (букв.: классическое место, здесь: классическое) описание этой программы может быть найдено у Паскаля (Pascal, 1657-1658).

[2] *Тем самым (лат.)

[3] *Наиболее лирическое описание некоторых аспектов эмпирицистской теории дано у М. Шлика.

[4] *Средним термином называется такой термин посылки силлогизма, который отсутствует в его заключении. Например, средним термином силлогизма "Сократ человек, все люди смертны, следовательно, Сократ смертен" будет термин "человек". Сравнивая теоретические термины со "средними терминами силлогизмов", называя их "оккультными" и т.д., Лакатос поясняет эмпирицистскую программу обоснования теории: эти термины, считают эмпирицисты, должны быть обоснованы, т.е. в данном случае определены на базе терминов, выражающих непосредственно наблюдаемые свойства.

[5] Р.Б. Брейтвейт показал, что строго эмпирическая теория без теоретических терминов может быть осмысленной, но неспособной к росту (Braithwaite, 1953, p. 76).

[6] См.: Popper, 1959. P. 91-92. Я не знаю, кто первый предположил, что мы проверяем респектабельные научные теории на непротиворечивость.

[7] *Лакатос указывает здесь на различные возможные трактовки эмпирицистской теории. Эта теория может опираться на "фактуальные положения", выражающие ощущения, т.е. переживания исследователя. Она может опираться, как считает Поппер, на сингулярные "базисные" предложения, принимаемые решением ученых. Эти предложения, описывающие события, вбирают в себя информацию об описанных явлениях, имеющих место в той или иной точке пространства-времени.

[8] *Лакатос подчеркивает, что его здесь не интересует, как понимается истина. Важно, что в дедуктивную систему поступает истинностное значение или какой-то его заместитель типа карнаповской вероятности, правдоподобия. "Карнаповская вероятность" ― это подсчитанная по определенным правилам условная вероятность гипотезы относительно эмпирического свидетельства (см.: Карнап Р. Философские основания физики. М.: Прогресс, 1971. С. 78).

[9] *Лакатос в этом месте подходит к понятию научной исследовательской программы, сформулированному им в последующих работах. Разбираемые им программы обоснования математики могут быть истолкованы в духе этого понятия. Экзистенциальное утверждение о том, что существует набор тривиальных первых принципов, из которых следует вся истина, составляет "жесткое ядро" евклидианской научной исследовательской программы. Это "жесткое ядро" окружено "защитным поясом", включающим конкретные исчисления, отвечающие евклидианской установке. "Жесткое ядро" сохраняется, пока исследовательская программа работает. Его можно уподобить "влиятельной метафизике", т.е. положениям, стоящим над эмпирической проверкой и направляющим научный поиск. (Поппер и попперианцы ушли от того отрицательного отношения к "метафизике", которое было у неопозитивистов.)

[10] *В свое время неопозитивисты много внимания уделяли логическому аппарату, позволяющему строить определения теоретических конструктов в терминах непосредственного наблюдения. Контекстуальным называется определение, в котором значение термина задано некоторым контекстом или контекстами, на основе анализа которых оно может быть сформулировано в явном виде (см.: Горский Д.П. Определение: логико-методологические проблемы. М.: Мысль, 1974. С. 50-61).

[11] *Расселовский метод "конструкционизма" был попыткой решить проблему индуктивного определения и, следовательно, установить твердое концептуальное основание для его индуктивизма.

[12]  *Эта идея может быть прослежена от Лейбница (Лейбниц, 1984. С. 420-421) и Гюйгенса (Huyghens, 1690, Preface; Гюйгенс, 1935. Предисловие). Индуктивная логика была замещена Кейнсом, Рейхенбахом и Карнапом новой, более слабой, вероятностной логикой. См. ссылки и критику у Поппера (Popper, 1959, chap. X).

[13]  *Ложь во спасение (нем.).

[14] *Подобно тому как Просвещение объявило темной ночью эпоху средних веков, Лакатос иронически погружает в "темную ночь" допопперианскую науку, науку эпохи Просвещения. Эта ирония идет в русле типичного для философии XX в. разоблачения "предрассудков Просвещения".

[15] Цитата из статьи Рамсея (Ramsey, 1931, p. 56). Следуя Рамсею, Рассел (Russell, 1959, р. 125) использовал эту фразу, чтобы характеризовать свои собственные намерения и свой метод.

[16] *В 1889 г. Г. Пеано предложил аксиоматизацию арифметики натуральных чисел, ставшую потом предметом ряда уточнений и формализации. Рассел следующим образом оценивал работы Пеано: "Великим учителем в искусстве формального рассуждения является в наше время итальянец Пеано, профессор Туринского университета. Он привел большую часть математики (со временем это удастся ему и его последователям относительно всей математики) к точной символической форме, в которой совершенно отсутствуют слова. В обыкновенных математических книгах, без сомнения, и теперь меньше слов, чем желательно многим читателям. Однако время от времени встречаются маленькие фразы, как-то: поэтому, предположим, рассмотрим. Но и эти слова исключены проф. Пеано. Например, если мы хотим изучить всю совокупность арифметики, алгебры и анализа… мы должны исходить их трех слов. Один символ обозначает нуль, другой ― число, третий ― следующий за" (Рассел, 1913, с. 86-87).

[17] *В русском переводе: "элемент фривольной неискренности".

[18] *Название автобиографической книги Рассела (Russell, 1959).

[19] *Г. Фреге (1848-1920), Б. Рассел (1872-1970).

[20] *Теоретико-множественная интуиция требуется, чтобы оперировать с первичными понятиями канторовской (наивной) теории множеств. "Под множеством, ― писал Кантор, ― мы понимаем любое объединение в одном целом М определенных вполне различаемых объектов m из нашего восприятия или мысли" {Кантор Г. Теория множеств. М.: Наука, 1985. С. 173). Глобальная интуиция ― это минимальная интуиция, необходимая для работы с формальной системой. Она нужна для того, чтобы решить, "совпадают ли два рассматриваемых символа или нет" (Френкель А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966. С. 319). Касаясь интуиции "брауэровского толка", С. Клини, сам сторонник интуиционизма, пишет, что, согласно Брауэру, "для математики не остается никакого другого источника, кроме интуиции, которая с непосредственной ясностью помещает перед нашими глазами математические понятия и выводы… Анализируя идею натурального ряда чисел, мы видим, что она может быть основана на возможности, во-первых, рассматривать какой-либо предмет или опыт как данный нам независимо от всего остального мира, во-вторых, отличать одно такое рассмотрение от другого и, в-третьих, представить себе неограниченное повторение процесса" (Клини, 1957, с. 52).

[21] *Теория типов была реакцией на парадокс теории множеств, открытый Б. Расселом (парадокс Рассела). Этот парадокс возникает, когда ставится вопрос о множествах всех множеств, не являющихся собственными элементами (обозначим такие множества S). Логичный ответ на этот вопрос приводит к тому, что S есть элемент S в том и только в том случае, когда S не есть элемент S.

[21] Обычно парадокс Рассела поясняют, ставя вопрос: "Бреет ли себя деревенский брадобрей, который бреет всех тех жителей данной деревни, которые не бреются сами?"

[21] *"Суть теории типов (или теории логических ступеней) состоит в том, что все математические высказывания делятся на классы в соответствии с областью определения. Пусть имеется некоторая область объектов: a, b, c и т.д. К первому типу относятся высказывания о свойствах этих объектов: f(a), g(b) и т.д. Ко второму типу относятся высказывания о свойствах этих свойств, которые могут быть выражены логическими функциями F(f), F(g) и т.д. К третьему типу ― высказывания о свойствах свойств свойств… Основное правило теории типов состоит в том, что каждый предикат относится только к определенному типу и может быть применен только к объектам нижележащего типа, он не может быть применен к предикатам более высокого уровня или к самому себе как объекту" (Беляев Е.А., Перминов В. Я. Философские и методологические проблемы математики. М.: МГУ, 1981. с. 75).

[22] *Уже увиденное (фр.).

[23] *"Пеано, ― писал Рассел в 1903 г., ― определил процесс, названный им определением через абстракцию, который, как он показывает, часто употребляется в математике. Это следующий процесс: когда существует какое-либо отношение, которое транзитивно, симметрично и … рефлексивно, то, если это отношение выполняется между u и v, мы определяем новый объект Ф(u), который должен быть тождествен Ф(v). Таким образом, наше отношение описывается через подобие отношений к новым терминам Ф(u) и Ф(v). Чтобы легитимизировать процесс, предложенный Пеано, требуется, однако, аксиома о том, что если существует какой-либо случай рассматриваемого отношения, то существует такой объект, как Ф(u) или Ф(v). Эта аксиома и есть мой принцип абстракции, который точно формулируется следующим образом: "Каждое симметричное и транзитивное отношение, которое осуществляется по меньшей мере в одном случае, описывается как совместное вхождение в новое отношение к новому термину, причем это новое отношение будет таковым, что ни один термин не может иметь это отношение к более, чем одному термину, но не наоборот (обратное отношение этим свойством не обладает)". В обычном языке этот принцип равнозначен утверждению о том, что транзитивное и симметричное отношение возникает из общего свойства, с добавлением о том, что это свойство стоит (к терминам, которые им обладают) в отношении, в котором ничто иное не стоит к этим терминам" (Russell B. The Principles of Mathematics. L., 1937 (впервые опубликовано в 1903 г.). р. 220).

[24] *Это неверно. Лакатос сам потом признал это. ― Прим. ред.

[25] *Д. Гильберт (1862-1893). Его биографии посвящена книга: Рид К. Гильберт. С приложением обзора Г. Вейля математических трудов Гильберта. М.: Наука, 1977.

[26] Мы использовали здесь терминологию Кемени: "Две модели существенно различны, если существуют предложения, истинные в одной, но ложные в другой" (Kemeny, 1958, р. 164).

[27] *Касаясь первоначальной программы Гильберта, С. Клини пишет: "В метатеории мы будем применять только те методы, которые формалисты называют финитными и которые используют только интуитивно представляемые предметы и осуществимые процессы" (Клини, 1957, с. 61). Касаясь генценовского доказательства непротиворечивости, Клини отмечает: "В первоначальных предложениях формалистов ― спасти классическую математику посредством доказательства непротиворечивости… ― не предусматривалось, что придется пользоваться таким методом, как трансфинитная индукция до ε 0 . В какой мере генценовское доказательство может быть воспринято как спасение классической арифметики в смысле этой постановки проблемы, это при современном положении вещей зависит от индивидуального мнения, а именно, от готовности рассматривать индукцию до ε 0 как финитный метод" (там же, с. 423).

[28] *Детские болезни, прорезывание зубов (нем.).