Девид Дойч - Структура реальности

Таким образом, к 1900 году наступил кризис основ математики, который заключался в том, что этих основ не было. Но что же произошло с законами чистой логики? Их перестали считать способными разрешить все математические споры? Удивителен тот факт, что теперь математические споры в сущности и велись о «законах чистой логики». Первым эти законы привел в систему Аристотель еще в 4 веке до н.э., тем самым заложив то, что сегодня называют теорией доказа тельства. Он допустил, что доказательство должно состоять из последовательности утверждений, которая начинается с каких-либо посылок и определений, а заканчивается желаемым выводом. Чтобы последовательность утверждений была обоснованным доказательством, каждое утверждение, кроме начальных посылок, должно следовать из предыдущих в соответствии с одним из постоянного набора законов, называемых силлогизмами. Типичным был следующий силлогизм

Все люди смертны.

Сократ — человек.

[Следовательно] Сократ смертен.

Другими словами, это правило гласило, что если в доказательстве появляется утверждение вида «все А имеют свойство В» (как в данном случае «все люди смертны») и другое утверждение вида «индивидуум Х есть А» (как в данном случае «Сократ – человек»), то впоследствии в доказательстве обоснованно появление утверждения «X имеет свойство В» («Сократ смертен»), и это утверждение, в частности, является обоснованным выводом. Силлогизмы выражают то, что мы назвали бы правилами вывода, то есть правилами, определяющими этапы, которые допустимы при доказательстве, такими, что истина посылок переходит к выводам. Кроме того, эти правила можно применить, чтобы определить, обосновано ли данное доказательство.

Аристотель заявил, что все обоснованные доказательства можно выразить в виде силлогизмов. Но он не доказал это! А проблема теории Доказательства заключалась в том, что очень небольшое количество современных математических доказательств выражались в виде чистой последовательности силлогизмов; более того, большинство из них невозможно было привести к такому виду. Тем не менее, большинство Математиков не могли заставить себя следовать букве закона Аристотеля, так как некоторые новые доказательства казались так же самоочевидно обоснованными, как и рассуждение Аристотеля. Математики перешли на новый этап развития. Новые инструменты, такие, как символическая логика и теория множеств, позволили математикам установить новую связь между математическими структурами. Благодаря этому появились новые самоочевидные истины, независимые от классических правил вывода, и, таким образом, классические правила оказались самоочевидно неадекватными. Но какие же из новых методов доказательства были действительно безошибочными? Как нужно было изменить правила вывода, чтобы они обрели законченность, на которую ошибочно претендовал Аристотель? Как можно было вернуть абсолютный авторитет старых правил, если математики не могли прийти к соглашению относительно того, что является самоочевидным, а что бессмысленным?

Тем временем математики продолжали строить свои абстрактные небесные замки. Для практических целей многие такие строения казались достаточно надежными. Некоторые из них стали необходимы для науки и техники, а большинство образовало красивую и плодотворную структуру. Тем не менее, никто не мог гарантировать, что вся эта структура, или какая-то существенная ее часть, не имела в своей основе логического противоречия, которое буквально лишило бы ее всякого смысла. В 1902 году Бертран Рассел доказал несостоятельность схемы строгого определения теории множеств, которую только что предложил немецкий логик Готлоб Фреге. Это не значило, что эта схема непременно была необоснованной для использования множеств в доказательствах. На самом деле совсем немногие математики всерьез считали, что хоть какой-то из обычных способов использования множеств, арифметики или других ключевых разделов математики может быть необоснованным. В результатах Рассела поражало то, что математики верили, что их предмет является par excellence средством получения абсолютной определенности через доказательство математических теорем. Сама возможность разногласий относительно обоснованности различных методов доказательства подрывала всю суть (как считалось) предмета.

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

В этой связи голландский математик Лейтзен Эгберт Ян Брауэр пропагандировал чрезвычайно консервативную стратегию теории доказательства, известную как интуиционизм, которая и по сей день имеет своих сторонников. Интуиционисты пытаются толковать «интуицию» самым ограниченным постижимым образом, оставляя лишь то, что они считают ее неоспоримыми самоочевидными аспектами. Затем они поднимают таким образом определенную математическую интуицию на уровень даже более высокий, чем позволял себе Платон: они считают ее более веской, чем даже чистая логика. Таким образом, они считают саму логику ненадежной, за исключением тех случаев, когда ее доказывает прямая математическая интуиция. Например, интуиционисты отрицают, что можно иметь прямую интуицию какой-либо бесконечной категории. Следовательно, они отрицают существование любых бесконечных множеств, например, множества всех натуральных чисел. Высказывание о том, что «существует бесконечно много натуральных чисел», они сочли бы самоочевидно ложным. А высказывание о том, что «существует больше сред Кантгоуту, чем физически возможных сред», – абсолютно бессмысленным.

Исторически интуиционизм, равно как и индуктивизм, сыграл ценную освободительную роль. Он осмелился подвергнуть сомнению полученные определенности – некоторые из которых действительно оказались ложными. Но как позитивная теория о том, что является или не является обоснованным математическим доказательством, он и гроша ломаного не стоит. В действительности интуиционизм – это точное выражение солипсизма в математике. В обоих случаях наблюдается Чрезмерная реакция на мысль о том, что мы не можем быть увере ны в том, что нам известно о более отдаленном мире. В обоих случаях предложенное решение состоит в том, чтобы уйти во внутренний мир, который мы, предположительно, можем познать напрямую, и следовательно (?), можем быть уверены, что познали истину. В обоих случаях решение заключается в отрицании существования – или, по крайней Мере, в отказе от объяснения – того, что находится вовне. И в обоих случаях этот отказ также делает невозможным объяснение большей Части того, что находится внутри предпочитаемой области. Например, если действительно ложно то (как утверждают интуиционисты), что существует бесконечно много натуральных чисел, то можно сделать вывод, что может существовать только конечное множество таких чисел. А сколько их может быть? И потом, сколько бы их не было, почему нельзя создать интуицию следующего натурального числа, превышающего последнее? Интуиционисты оправдались бы в этом случае, сказав, что приведенный мной аргумент допускает обоснованность обычной логики. В частности, он содержит процесс вывода: из факта, что не существует бесконечно много натуральных чисел, делается вывод, что должно существовать какое-то конкретное количество натуральных чисел. Применяемое в данном случае правило вывода называется законом исключенного третьего. Этот закон гласит, что для любого высказывания Х (например, «существует бесконечно много натуральных чисел»), не существует третьей возможности кроме истинности Х и истинности отрицания Х («существует конечное множество натуральных чисел»). Интуиционисты хладнокровно отрицают закон исключенного третьего.