Здесь есть какое-то, по крайней мере кажущееся, противоречие, которое необходимо разъяснить.
Прежде всего, думаем ли мы, что эти логики всегда шли от общего к частному, как, казалось бы, побуждали их к этому законы формальной логики? Но так они не могли бы расширить границы науки; научное завоевание можно делать только с помощью обобщения.
В одной из глав «Науки и гипотезы» я имел случай исследовать природу математического умозаключения; я показал, как это умозаключение, не переставая быть безусловно строгим, могло поднимать нас от частного к общему при помощи процесса, который я назвал математической индукцией.
Благодаря этому-то процессу аналитики и двигали вперед науку и если разобраться в самых деталях их доказательств, то можно в любой момент найти его там рядом с классическим силлогизмом Аристотеля.
Итак, мы уже видим, что аналитики — не просто искусные мастера силлогизмов, вроде схоластов.
С другой стороны, можно ли поверить тому, что они всегда шли шаг за шагом, не имея пред своими взорами той цели, которой они хотели достигнуть? Им нужно было угадывать дорогу, которая привела бы их к этой цели, они нуждались в путеводителе.
Этот путеводитель — прежде всего аналогия.
Например, одно из любимых рассуждений аналитиков основано на применении возрастающих функций. Известно, что оно помогло разрешению многих проблем; тогда в чем состоит роль изобретателя, который хочет применить его к новой проблеме? Нужно прежде всего, чтобы он признал аналогию этого вопроса с теми вопросами, которые были уже разрешены с помощью этого метода; потом нужно, чтобы он заметил, чем отличается этот новый вопрос от других, и чтобы он вывел отсюда те видоизменения, которым должен подвергнуться метод.
Но как подметить эти аналогии и различия?
В только что приведенном мною примере они почти всегда очевидны, но я мог бы подыскать другие примеры, где они гораздо более скрыты, и, для того чтобы открыть их, часто требуется незаурядная проницательность.
Чтобы не упустить из виду этих скрытых аналогий, т. е. чтобы иметь возможность изобретения, аналитики должны, без помощи чувств и воображения, иметь непосредственное ощущение того, что создает единство умозаключения, что, так сказать, создает его душу и внутреннюю жизнь.
Когда беседовали с Эрмитом, он никогда не прибегал к чувственному образу, и однако вы скоро заметили бы, что самые абстрактные сущности были для него живыми существами. Он не видел их, но чувствовал, что они не представляют собой искусственного подбора, что у них есть какой-то принцип внутреннего единства.
Но, скажут, здесь опять интуиция. Станем ли мы заключать отсюда, что сделанное вначале различение было только кажущимся, что есть только один род умов и все математики — интуитивисты, по крайней мере те, которые способны изобретать?
Нет, наше различение соответствует некоторой действительности. Выше я сказал, что есть несколько видов интуиции. Я сказал, насколько интуиция чистого числа — та, из которой может вытекать строгая математическая индукция, — отличается от чувственной интуиции, для которой работает воображение в собственном смысле.
Менее ли глубока, чем кажется с первого взгляда, пропасть, которая разделяет их? Окажется ли при внимательном рассмотрении, что эта чистая интуиция сама по себе не может обойтись без помощи чувств? Это дело психолога и метафизика, и я не стану обсуждать этот вопрос. Но довольно и того, что дело подлежит сомнению, чтобы я имел право признавать и утверждать существенное различие между двумя родами интуиции; у них не один и тот же объект и они, по-видимому, пользуются двумя различными способностями нашей души; можно сказать, что это два прожектора, наведенные на два чуждые друг другу мира.
Интуиция чистого числа, интуиция чистых логических форм как раз озаряет и направляет тех, кого мы назвали аналитиками.
Она-то и позволяет им не только доказывать, но еще и изобретать. Через нее-то они и подмечают сразу общий план логического здания, и это — без всякого вмешательства со стороны чувств.
Отказываясь от помощи воображения, которое, как мы видели, не всегда бывает непогрешимо, они могут двигаться вперед, не боясь ошибиться. Счастливы же те, которые могут обойтись без этой поддержки! Мы должны удивляться им; но как они редки!
Итак, среди аналитиков есть изобретатели, но их немного.
Большинство из нас, если бы захотели смотреть вдаль с помощью одной чистой интуиции, тотчас почувствовали бы головокружение. Наша слабость нуждается в более прочной поддержке, и, несмотря на исключения, о которых мы только что говорили, тем не менее верно то, что чувственная интуиция есть самое обыкновенное орудие изобретения в математике. По поводу последних моих размышлений выдвигается вопрос, для которого у меня нет времени ни решить его, ни даже изложить с надлежащими подробностями.