О ТЕОРИИ БЕСКОНЕЧНОГО В СОВРЕМЕННОЙ МЫСЛИ
О ТЕОРИИ БЕСКОНЕЧНОГО В СОВРЕМЕННОЙ МЫСЛИ
ДВА ВВОДНЫХ ИССЛЕДОВАНИЯ
АВТОР:
Э. Ф. ДЖОРДЕЙН
ДОКТОР ПАРИЖСКОГО УНИВЕРСИТЕТА, ВИЦЕ-ДИРЕКТОР СЕНТ-ХЬЮЗ-ХОЛЛА, ОКСФОРД
LONGMANS, GREEN AND CO. 39 PATERNOSTER ROW, ЛОНДОН, НЬЮ-ЙОРК, БОМБЕЙ И КАЛЬКУТТА 1911
Все права защищены
Из двух представленных здесь докладов первый был прочитан в 1905 году на собрании студенток-естественниц в Оксфорде; второй — в 1908 году в Философском обществе этого колледжа. Они публикуются по просьбе читателей, при этом автор приносит извинения за их неполноту. Лекционная форма была сохранена. Я признательна своему брату, г-ну П. Джордейну, за помощь в подготовке первой лекции и за его редактуру текста.
Э. Ф. ДЖОРДЕЙН.
St. Hugh’s Hall, Oxford,
January, 1911.
CONTENTS
I
PAGE
THE PROBLEM OF THE FINITE AND THE INFINITE 1
II
PRAGMATISM AND A THEORY OF KNOWLEDGE 31
I
ПРОБЛЕМА КОНЕЧНОГО И БЕСКОНЕЧНОГО
Влияние математики на философию и наоборот можно проследить по историческому развитию обеих дисциплин, хотя до последних пятнадцати лет не удавалось дать логическое объяснение связям между ними. Пока, согласно кантовским взглядам, считалось, что математика основана на интуициях времени и пространства, союз философии и математики невозможно было доказать как более тесный, чем союз философии и экспериментальной науки, хотя исторический факт оставался неизменным: философия и математика взаимно стимулировали друг друга и развивались в одни и те же исторические периоды.
Однако математика, как она определяется сейчас, независима от интуиций пространства и времени, а также от аксиом и гипотез. [1] Математика, как она понимается сейчас, основывается, подобно формальной логике, на предпосылках мышления, а не на понятиях пространства и времени. Здесь нет определения числа или пространства, но концепция числа и пространства, [2] которая является более сложной, может быть выведена из них. Все прочие сложные мыслительные процессы могут быть таким же образом сведены к простым элементам предпосылок мышления.
Такая наука могла бы существовать вне условий времени и пространства, какими мы их знаем. Это скорее наука об отношениях, чем просто о числе. Основанная на законах символической логики, она является ценным подспорьем и иллюстрацией для философии; философия, с другой стороны, может наметить пути для реализации конструктивной силы, присущей математике. Цель данной работы — показать, что тесный, хотя и кажущийся случайным, союз философии и математики на протяжении всей истории мысли теперь может быть объяснен, и что проблемы, которыми занимается чистая математика, лежат в основе философской мысли и спекуляций. (Символическая логика развилась, чтобы соответствовать новым требованиям, предъявляемым к ней. Теперь она не сводится к силлогизму, как полагал Аристотель; показано, что предпосылки мышления являются многообразными, а не единичными. [3])
Использование слова «философский» в данном контексте предполагает необходимость дальнейшего определения. Считается, что философия включает по меньшей мере две великие ветви — метафизику и этику. Влияние математики наиболее очевидно на метафизической стороне философии; фактически, группировка математики и метафизики как родственных наук способствует выявлению существенного различия между метафизикой и этикой и — хотя это ни в коем случае не подразумевает разрыв их реальной связи — показывает, где это различие понималось неверно. Ни одна философия не была одинаково сильна в обоих аспектах; они представляют собой разные формы активности человеческого разума; но остается верным, и в силу условий всегда должно быть так, что этическая система вырастает из метафизики, подобно тому как практика следует за предписанием, а поведение подразумевает веру. Новое определение математики не затрагивает эти следствия; оно лишь обозначает границы, в пределах которых философия на метафизической стороне может подчиняться выводам математики или опираться на них.
Что касается исторической связи между метафизикой и математикой, то предмет настолько обширен, что мы предпримем лишь очень краткое обобщение его результатов в отношении развития концепции Конечного и Бесконечного. (Конечно, существует много других сторон этой связи, которые можно было бы изучить.) Общий результат исследования, насколько мы можем судить, заключается в том, что метафизика оказывала вдохновляющее воздействие на математику, а математика определяла и укрепляла концепции метафизики на каждом критическом этапе истории философии. Но там, где метафизика рассматривалась как доказательство науки, где она полагалась в качестве фундамента для точного знания, результаты не соответствовали истине опыта, и качество мысли деградировало. Прогресс зависит от правильного восприятия отношений между науками и частями философии.
Такой прогресс особенно очевиден в ранний греческий период и в Новое время, в то время как длительный период от начала христианской эры до эпохи Возрождения дает примеры неудачной инверсии ролей метафизики и науки и, как следствие, путаницы в мышлении. [4]
Проблемы метафизика, несомненно, в некотором смысле всегда одни и те же; но это в равной степени верно и для проблем любой другой науки. Методы, с помощью которых решаются эти проблемы, и адекватность получаемых решений варьируются от эпохи к эпохе в тесном соответствии с общим развитием науки. Каждая великая метафизическая концепция оказывала влияние на общую историю науки, и в ответ каждое важное движение в науке влияло на развитие метафизики. Метафизик не мог бы, если бы захотел, и не захотел бы, если бы мог, избежать обязанности оценивать значение великих научных теорий своего времени для наших конечных представлений о природе мира в целом. Таким образом, каждое фундаментальное продвижение в науке требует переформулировки и переосмысления старых метафизических проблем в свете новых открытий.
В греческий период математика была единственной отраслью науки, которая была хоть сколько-нибудь развита, и ее развитие совпадало с эпохой философов. Поэтому, когда Платон говорил о науке, он всегда имел в виду математику. И даже позже, когда начали развиваться физические науки, Аристотель поставил математические идеи в тесную связь с метафизическими, утверждая, что они занимают промежуточное положение между идеальным и чувственным. И Платон, и Аристотель ссылались на математические доказательства и иллюстрации философских вопросов и зависели от них. В этот греческий период сформировалась концепция Бесконечности. Доплатоновское представление, воспроизведенное позже в период упадка сократической теории стоиками, заключалось в том, что Бесконечное есть совокупность Конечностей; платоновская и аристотелевская теория, а именно теория наиболее энергичного момента греческой мысли, состояла в том, что Бесконечное есть нечто большее, чем совокупность Конечностей; что оно обладает самоопределяющимся существованием, из которого было выведено Конечное. Существование, как оно известно человеку, рассматривалось как компромисс между Конечным и Бесконечным.
Неоплатонизм полностью отделил Бесконечное от Конечного. В александрийской метафизике, которая представляла собой декадентскую стадию философии и ее отклонение от наук, концепция Бесконечного стала менее ясной и логичной; она разошлась со взглядом, на который повлияла математическая мысль, и стремилась ассимилировать идеи совершенства и универсальности, которые, философски говоря, являются концепциями, отличными от концепции Бесконечности — универсальность относится к общему принципу единства, а совершенство включает в себя моральный идеал. Реальный прогресс был отложен из-за слишком поспешной когерентности идей, которые были проанализированы и поняты лишь частично. Мыслители быстро переходили от исключительного созерцания субъекта к объекту и обратно, [5] причем каждый новый период отрицал весь предыдущий опыт, пока результатом не стало исключение неполно анализируемого Относительного и Конечного из недостаточно постигнутого Абсолюта и Бесконечного.
После начала христианской эры греческая философия скатилась в схоластику и утратила связь с реальностью, а грамматика аристотелевской логики заменила собой жизненную связь идей. Святой Ансельм, правда, пытался найти рациональное доказательство существования Бога и отождествил Его с Бесконечным греческой мысли; но Святой Фома Аквинский увел аргументацию в сторону дискуссии о том, в какой мере форма и материя, рассматриваемые отдельно, разделяют качество Бесконечности. (Он полагал, что форма разделяет, а материя — нет.) Подавляющее чувство тайны в сочетании с преждевременным желанием дать определение без научного анализа подорвало энергию средневековой мысли.
Таким образом, на протяжении всего Средневековья мы видим условия греческого периода в обратном виде: философия в течение второго периода не занята, как в первом, стимулированием усилий чистого разума; скорее, интуиции философии рассматриваются как аксиоматические, и на этих основаниях возводится ложная надстройка знания, чуждая опыту и реальности. Философия, по сути, используется как общая база для науки. Роли философии и математики, правильно, хотя и несовершенно увиденные греками, во втором периоде меняются местами, и результатом становится путаница идей. Понятие Бесконечного, как и в александрийской метафизике, считается включающим в себя совершенство и универсальность и не существует как концепция отдельно от них.
После эпохи Возрождения, когда схоластическая философия вышла из употребления, попытка найти объяснение Космоса, синтез вселенной, была оставлена и заменена картезианской идеей — выводом существования из мышления и ограничением сферы исследования тем, что может быть познано «эго». Новые научные и математические открытия шли в ногу с этим новым анализом и развитием мысли, [6] и более надежная почва в философии была окончательно объединена с работой математического ума. Философский тезис развился от «Бесконечное есть отрицание Конечного» к «Бесконечное предполагает Конечное и не исключает его». Проблема Конечного и Бесконечного стала великой идеей эпохи, произошел возврат к греческому представлению о существовании как о компромиссе между ними, и почти прозвучал намек на грядущее их объяснение. В период упадка картезианской философии, когда она скатилась в пантеизм, существовало лишь смутное представление о Бесконечном, и мы прослеживаем тенденцию отождествлять понятие Бесконечности с понятием Космоса. В средневековой мысли идея Бесконечного смешалась с идеей Совершенного и Универсального; в Новое время попытка дать конкретное выражение понятиям Бесконечности, Совершенства и Универсальности отвела идеи от их отношения к Творцу и применила их к Творению.
Кант, давший новый импульс некоторым частям картезианской идеи, пренебрег как математическими доказательствами, так и поиском метафизического Абсолюта. Избегая этого предмета, он способствовал закреплению смутных описаний Конечного и Бесконечного, не скорректированных математической мыслью, которые были общепринятыми в философии его эпохи и которые развратили философию следующего столетия. Девятнадцатый век не произвел ничего, кроме догадок об истине, которые, возможно, были не так уж далеки от нее и которые нынешний век занят исправлением и обоснованием. Та же расплывчатость поразила как математику (теорию функций), так и философию. Фихте, Шеллинг и Гегель, особенно Гегель, отождествляют метафизический Абсолют с реальностью, бесконечностью и универсальным. Идеи непрерывности и бесконечности не отделяются ими от идей совершенства и универсальности, а также друг от друга, и их природа не понята.
Оставляя в стороне французскую неокритическую школу (Ренувье) и английскую школу (Спенсер) — первые из которых отрицают Бесконечное, действуя тем самым в оппозиции к математическому рассуждению, в то время как вторые увековечивают ошибку Канта, считая Бесконечное, хотя и мыслимым, но непознаваемым (д-р Кэрд указал, что эта позиция нелогична), — мы приходим к моменту в истории, который является более плодотворным по результатам на математической стороне и, несомненно, окажет влияние на метафизику. Ибо благодаря недавним открытиям в Германии и Англии математика теперь в состоянии оказать большую поддержку интуициям философии, чем прежде. До сих пор философы неохотно признавали полную ценность математических концепций Бесконечности, и отчасти справедливо, поскольку понятие не было достаточно проанализировано. Философы, которые никогда не пытались провести этот анализ, были склонны принимать определенные противоречия в своей концепции как присущие самой природе Бесконечности. За последние двадцать пять лет Кантор и Дедекинд прояснили понятие непрерывности, а Рассел придал идее большую точность и применил это рассуждение к философии.
Современные метафизики, по-видимому, делятся на две группы: с одной стороны, те, кто рассматривает в философии ценность теории бытия, а с другой — те, кто главным образом рассматривает ценность теории познания, т.е. эпистемологи. Первая группа, посвящая себя психологии, эволюции и истории, не имеет обязательной веры в Бесконечное. Эпистемологи, чья работа основана на Канте, обсуждают теорию познания и перечисляют условия познания. Их аргументация может не затрагивать, но не исключает понятие Бесконечного. Позиция эпистемолога стала бесконечно более надежной благодаря недавним математическим работам. Позиция психолога остается почти нетронутой. Теперь необходимо более внимательно рассмотреть математические результаты, о которых шла речь.
В общих чертах можно сказать, что математика как дисциплина вела непосредственно от природы предмета к восприятию Бесконечного и к знанию о связи между Бесконечным и Конечным. Простейшая форма, в которой может быть выражена эта идея, сформулирована Святым Августином, который сказал, что числа, рассматриваемые индивидуально, конечны, но рассматриваемые как совокупность — бесконечны. [7] До Святого Августина и после него, на протяжении долгого потока философской мысли, теолог и философ обращались к математике за иллюстрациями бесконечно большого и бесконечно малого, развитыми из конкретных процессов арифметики и геометрии. Периодическая дробь в арифметике, свойства круга и эллипса в геометрии, конуса в конических сечениях и иррационального числа в алгебре — все они затрагивают проблему числа и пространства со стороны Бесконечности.
В высшей математике можно начать с идеи Конечного и прийти к концепции Бесконечного; или обратить процесс и из Бесконечного вывести Конечное. Так, в известной головоломке о делении частей прямой линии путем деления остатка пополам, будет происходить сгущение и слияние точек деления к одному концу линии, причем точки деления будут становиться бесконечно ближе, но шаги никогда не встретятся. Здесь, в центре прямой линии — ограниченной прямой линии — мы сталкиваемся с проблемой Бесконечности.
Далее, из ряда конечных чисел мы можем получить понятие бесконечного ряда. Возьмем два ряда, которые имеют соответствие друг с другом. Если для каждого элемента одного мы можем выбрать элемент другого, и для другого есть элемент для одного, когда в любой точке мы отсекаем его прогресс к бесконечности, происходит следующее:—
Один ряд, если его просуммировать, даст больший численный результат, чем другой, и поэтому может быть назван большим, чем второй. Назовем первый ряд А, а второй В. Теперь представим, что оба ряда, хотя и начинаются в определенной точке, никогда не обрываются на дальнем конце. Тогда до бесконечности ряд В не имеет определенных чисел, которыми обладает ряд А, и как бесконечный ряд он меньше ряда А. Но, с другой стороны, когда ни один из рядов не обрезан, ряд В сохраняет свое соответствие с рядом А. Таким образом, мы получаем определение бесконечного ряда. Оно таково, что часть, будучи меньше целого, все же имеет полное соответствие с целым. Целое больше части, но если отнять часть от целого, то оставшееся соответствует ему в бесконечности, потому что тест суммирования ряда (который дал бы противоположный результат) предполагает ограничение и, следовательно, не может быть применен. Вычитание может происходить в Бесконечности без потерь.
Обращая этот процесс и начиная с теории Бесконечного, мы можем получить некоторое представление об открытии Конечного. Так, Дедекинд и Рассел определяют конечные числа не только обычным способом как те, которые могут быть достигнуты математической индукцией, начиная с 0 и увеличиваясь на 1 на каждом шаге, но также как числа классов, которые не подобны своим частям, полученным путем удаления отдельных членов. Это обращение процесса, примененного только что. Дедекинд также вывел Конечное из Бесконечного с помощью нового процесса. Он постулирует мир мысли, которым каждый из нас обладает, наполненный мыслями и вещами, причем каждой вещи соответствует мысль. Таким образом, в сознании каждого из нас есть два «трансфинитных» ряда; мы не можем сказать, когда закончатся ряды мыслей и вещей; но они имеют число, хотя это бесконечное число. (Число существует везде, где есть соответствие, один к одному, между двумя совокупностями.) Но в этом Gedankenwelt, говорит Дедекинд, есть одна вещь, которой не соответствует никакая мысль: это эго. Каждый человек является частью своего собственного мира мысли, но в его сознании нет мысли о самом себе, точно соответствующей ему, как мысль в его сознании соответствует другому объекту. [8] Из теории Дедекинда следуют два важных результата: во-первых, существование конечного числа один, числа эго, как выведенного из Gedankenwelt двух бесконечных систем; во-вторых, путем объединения всех Gedankenwelts, которые существуют или могут существовать, мы получаем понятие ряда рядов, которое, по-видимому, превосходит Бесконечность, и оно дает нам условия, которые, возможно, собраны в Абсолюте. Теперь аргумент от Конечного к Бесконечному и обратный процесс могут быть использованы в математике (или оба могут быть проигнорированы, как в элементарных методах вычисления, используемых в арифметике). В Hibbert Journal состоялась дискуссия об относительной ценности этих двух методов. Кайзер в статье под названием «Аксиома бесконечности» утверждал, что один метод, метод Дедекинда, должен развиваться исключительно. Рассел ответил ему, заявив, что нет необходимости придерживаться исключительно какого-либо одного. Если Конечное и Бесконечное могут по очереди быть выведены друг из друга, ни одна из концепций не может быть истинно названа аксиомой. Реальная аксиома — это существование, которое включает в себя и то, и другое и которое определяется математиками как то, что не является самопротиворечивым.