Говоря о рационализме и эмпиризме, мы должны упомянуть об известном различии, проведенном между ними Джеймсом. Согласно его взгляду, рационалисты стремятся выделить умственное за счет материального. Они оптимистичны по характеру, стремятся к единству и предпочитают размышление, отрицая опыт. Тех, кто склонен принимать такие теории, Джеймс называет людьми, имеющими подвижный ум. С другой стороны, существуют эмпирические теории, носителей которых более интересует материальный мир. Они пессимистичны, признают разделенность в мире и предпочитают опыт фантазиям. Взгляды эмпириков поддерживаются теми, кто имеет твердый ум. Конечно, это различие условно. Прагматизм определенно находится на стороне тех, кто имеет твердый ум. В труде, озаглавленном "Прагматизм" (1907), Джеймс объясняет свою теорию и указывает, что она имеет две стороны. С одной стороны, прагматизм — это метод, который Джеймс отождествляет с эмпирическим подходом. Он настаивает, что как метод прагматизм не ставит перед собой никаких конкретных целей, это просто способ общения с миром. Грубо говоря, этот метод утверждает, что различия, не имеющие никакой практической ценности, бессмысленны. Вместе с тем Джеймс отказывается рассматривать какую бы то ни было тему как окончательно решенную. Это во многом — след влияния Пирса и, действительно, приемлемо для любого эмпирического исследования. Если бы сюда не было добавлено ничего более, Джеймс был бы совершенно прав, говоря, что прагматизм — это просто новое название старых способов мышления.
От этих замечательных принципов Джеймс, однако, постепенно переходит к чему-то значительно более спорному. Прагматистский метод приводит его к точке зрения, что научные теории — это скорее инструменты для будущих действий, нежели приемлемые ответы на вопросы о природе. Теорию не следует рассматривать как магическое заклинание, которое позволяет волшебнику иметь представление о природе. Прагматист настаивает на тщательном изучении каждого слова и на требовании, которое Джеймс называет "денежной стоимостью". Отсюда остается один шаг до прагматистского определения истины как того, что имеет полезные последствия. Инструментальная концепция истины Дьюи приходит практически к тому же.
В этом вопросе прагматизм сам становится метафизическим учением самого сомнительного толка. Понятно поэтому, что Пирс приложил большие усилия, чтобы размежеваться с метафизикой. Оставляя в стороне установление здесь и сейчас следствия из данного взгляда и вопрос о том, окажутся ли эти следствия плодотворными, несомненно одно: определенный набор последствий или будет полезным, или нет. Это в любом случае должно быть решено обычным, не прагматистским путем. Не стоит уклоняться от этого вопроса, говоря, что последствия будут полезными в какой-то неопределенной степени; это просто не позволило бы нам принять одно из основных положений Пирса. Кстати, Джеймс, кажется, понимает эту проблему так: он признает свободу личности принимать любое верование, если оно способствует счастью этой личности. Хороший пример предоставляет случай религиозной веры. Но это совсем не тот путь, которому следует религиозный человек, придерживаясь своей веры. Он верит в Бога не ради удовольствия, какое он может доставить, а скорее наоборот: именно из-за своей веры он счастлив.
Начиная с возникновения философии в Греции математика всегда была предметом особого интереса философов. Достижения последних двухсот лет подтвердили это предпочтение самым поразительным образом. Исчисление бесконечно малых величин, сформулированное Лейбницем и Ньютоном, привело в XVIII в. к потоку математических открытий. Однако логические основы математики не были поняты как следует. Были распространены некоторые плохо обоснованные понятия.
В математическом анализе в то время придавали большое значение понятию "бесконечно малые величины", которое, как думали, играет существенную роль в функционировании вновь открытого исчисления. Бесконечно малая величина, как считали, — это количество малое настолько, что стремится к нулю. Предполагали, что именно такие количества применяются при образовании дифференциальных коэффициентов и интегралов. Понятие бесконечно малой величины — это, конечно, один из самых старых скелетов в математическом шкафу. (Перефразированная применительно к математике английская пословица о том, что у каждой семьи есть свой скелет в шкафу). Оно восходит к единице Пифагора, которая является схожим вариантом этого рода. Мы видели, как Зенон разоблачал пифагорейское учение. В наше время критические замечания относительно теории бесконечно малых величин также исходили от философов. Беркли был, возможно, первым, кто указал на заключенные в этой теории сложности, и известно, что Гегель также обсуждал эти вопросы. Но математики сначала не обратили внимания на эти предостережения. Они шли вперед и развивали свою науку, и хорошо, что они это делали. Особенностью возникновения и развития новых дисциплин является то, что слишком рано предъявленные строгие требования подавляют воображение ученых и часто сводят на нет открытия. Освобождение же от критических суждений способствует развитию предмета на его ранних стадиях, даже если это чревато появлением известного количества ошибок.
Один из Парадоксов Кантора: существует столько четных чисел, сколько чисел всего.
Тем не менее в развитии любой области наступает время, когда стандарты строгости должны быть ужесточены. В математике период особенной строгости наступил с начала XIX в. Первая атака была предпринята французским математиком Кочи, который разработал систематическую теорию пределов. Она вместе с более поздней работой Вейерштрасса в Германии дала возможность обходиться без бесконечно малых величин. Общие проблемы последовательности и бесконечности чисел, которые таились за этими достижениями, впервые были исследованы Георгом Кантором.
Бесконечность чисел причиняла беспокойство ученому миру еще во времена Зенона с его парадоксами. Если мы вспомним соревнование между Ахиллом и черепахой, мы могли бы изложить один из запутанных вопросов этого предмета следующим образом:
для каждого места, на котором был Ахилл, есть место, которое занимала черепаха. Таким образом, два бегуна располагали равным количеством положений. И все же очевидно, что Ахилл занимает больше места. Казалось бы, это противоречит здравому смыслу, в соответствии с которым целое больше, чем часть. Но когда мы имеем дело с бесконечностью, это уже не так. Возьмем простой пример. Ряд положительных целых чисел, число которых бесконечно, включает четные и нечетные числа. Уберите все нечетные числа, и вы могли бы предполагать, будто то, что осталось, составляет половину того, с чего вы начали. Но там остается столько четных чисел, сколько всего было чисел вначале. Это несколько озадачивающее заключение очень легко продемонстрировать. Первое, мы выписываем ряд натуральных чисел, а затем рядом с ним числа, получающиеся в результате удвоения каждого числа из первого ряда. Каждому числу в первом ряду соответствует запись во втором. Как говорят математики, между ними существует соотношение один к одному. Следовательно, два ряда имеют одинаковое количество чисел. Таким образом, в случае бесконечного ряда часть содержит столько же терминов, сколько целое. Таково свойство, которое Кантор использует для определения бесконечных рядов.
На этой основе Кантор развил целую теорию бесконечных чисел. В частности, он показал, что существуют бесконечные числа разной величины, хотя, конечно, не нужно думать о них совершенно таким же образом, как мы говорим об обычных числах. Примером более высокой бесконечности, чем бесконечность ряда натуральных чисел, является ряд действительных чисел, или, как его иногда называют, числовой континуум. Предположим, все десятичные дроби перечислены по величине. Теперь мы составляем новую десятичную дробь, взяв первую цифру из первой записи, вторую цифру из второй записи и так далее и увеличив каждую цифру на один. Получившаяся в результате десятичная дробь отличается от всех десятичных дробей в списке, который мы считали полным. Это показывает, что бесчисленный список не может быть окончательным. Число десятичных дробей бесконечно в более высокой степени, чем число натуральных чисел. Этот так называемый диагональный процесс позднее имел также некоторое значение в символической логике.
Другой вопрос, имеющий особый интерес для логиков, был поднят к концу XIX в. Математики с древнейших времен претендовали на то, что вся их наука как система может быть выведена из единственной отправной точки или, по меньшей мере, из возможно меньшего их числа. Это один из аспектов Сократовой интерпретации Добра. Элементы у Евклида представляют пример того, что требовалось в данном случае, даже если трактовка Евклида несовершенна.
В арифметике небольшой набор постулатов, из которых может быть выведено все остальное, был предложен итальянским математиком Пеано. Основных утверждений пять. Все вместе они определяют класс прогрессий, одним из примеров которых является ряд натуральных чисел. Вкратце эти постулаты утверждают, что преемник каждого числа — это также число и что каждое число имеет одного и только одного преемника. Ряд начинается с нуля, который является числом, но сам не является преемником числа. И наконец, есть принцип математической индукции, посредством которого установлены общие свойства, относящиеся ко всем членам ряда. Этот принцип звучит так: если данное свойство любого числа n имеет также его преемник и число нуль, тогда оно относится к каждому числу ряда.