Мое философское развитие

В «Принципах математики» я не претендовал на то, что решение найдено. Я писал в предисловии: «Издавая работу, содержащую так много нерешенных трудностей, я оправдываю это тем, что исследование не дало пока ближайшей перспективы для адекватного решения противоречия, обсужденного в главе X, и не позволило лучше разобраться в природе классов. Постоянно обнаруживаемые ошибки в решениях, какое-то время меня удовлетворявших, выявили всю серьезность проблем, которые не поддавались обманчиво правдоподобнььм теориям, порожденным поверхностным размышлением, а только скрывались под этими теориями; поэтому я счел за лучшее сформулировать трудности и не ждать того времени, когда меня убедит истинность какого-нибудь почти наверняка ошибочного учения». А в конце главы о противоречиях я сказал: «В противоречии не замешана никакая философия, оно порождено.здравым смыслом и может быть разрешено, лишь если мы отринем одно из его допущений. Только гегелевская философия, которая живет за счет противоречий, может остаться безучастной, потому что находит подобные проблемы всюду. В любом другом учении столь прямой вызов требует ответа либо признания в бессилии. К счастью, других аналогичных трудностей, насколько я знаю, „Принципы математики“ не содержат». В приложении к книге излагалось учение о типах как возможное решение. Впоследствии я убедился, что решение действительно обнаруживается с помощью этого учения, но в «Принципах математики» я пришел к его очень грубой и неадекватной форме. Мои выводы того времени выражены в последнем параграфе книги: «Резюмируем: как оказалось, специальное противоречие главы Х решается с помощью учения о типах, но имеется по крайней мере одно аналогичное противоречие, которое, вероятно, неразрешимо с помощью этого учения. Тотальность всех логических объектов, или всех суждений, предполагает, по-видимому, фундаментальную логическую трудность. Каково окончательное ее решение, я не выяснил; но поскольку она оказывает влияние на сами основы рассуждения, я очень рекомендую всем, кто изучает логику, обратить на это внимание».

Завершив «Принципы математики», я начал настойчиво искать решение парадоксов. Это было почти личным вызовом, и при необходимости я готов был потратить на них всю оставшуюся жизнь. Однако по двум причинам я отказался от этого намерения. Во-первых, проблема в какой-то момент показалась мне тривиальной, а я ненавидел все недостойное внимания и интереса. Во-вторых, сколько я ни старался, решение не приходило. На всем протяжении 1903 и 1904 годов я почти все время занимался этим вопросом, но без каких-либо признаков успеха. Первой удачей стала (весной 1905 года) теория дескрипций. Она, разумеется, не была связана с противоречиями, но позже такая связь выявилась. В конце концов мне стало совершенно ясно, что в какой-то форме учение о типах существенно важно. Не настаивая на той конкретной форме, которая придана этому учению в «Principia Mathernatica», я остаюсь при полном убеждении, что без теории типов парадоксы разрешить невозможно.

Когда я искал решение, мне казалось, что для того, чтобы решение выглядело удовлетворительным, необходимы три условия. Первое из них и абсолютно обязательное: противоречия должны исчезнуть. Второе-весьма желательное, хотя логически не непременное: решение должно оставить в неприкосновенности как можно больше математики. Третье, трудно формулируемое: решение должно, видимо, апеллировать к так называемому «логическому здравому смыслу», т. е. оказаться в конце концов таким, каким мы его и ожидали увидеть. Из этих трех условий первое, разумеется, признано всеми. Второе, однако, отвергается теми, кто считает, что значительные разделы анализа в их нынешней формулировке неверны. Третье условие не считают существенно важным те, кто довольствуется логической техникой. Профессор Куайн, к примеру, нашел системы, которые привлекают своей изобретательностью. Но их нельзя считать удовлетворительными, поскольку они, видимо, созданы ad hoc; и они отличаются от тех систем, которые представлял бы себе самый умный логик, если бы не знал о противоречиях. По этому вопросу, однако, вышло огромное количество трудной для понимания литературы, и я не буду касаться более тонких моментов.