Изучив условия, в которых работает физик, я счел нужным показать его за работой. Для этого я взял несколько примеров из истории оптики и электричества. Мы увидим, откуда вышли идеи Френеля, Максвелла и какие гипотезы бессознательно создавали Ампер и другие основатели электродинамики.
Часть I
Число и величина
Глава I
О природе математического умозаключения
Самая возможность математического познания кажется неразрешимым противоречием. Если эта наука является дедуктивной только по внешности, то откуда у нее берется та совершенная строгость, которую никто не решается подвергать сомнению? Если, напротив, все предложения, которые она выдвигает, могут быть выведены один из других по правилам формальной логики, то каким образом математика не сводится к бесконечной тавтологии? Силлогизм не может нас научить ничему существенно новому, и если все должно вытекать из закона тождества, то все также должно к нему и приводиться. Но неужели возможно допустить, что изложение всех теорем, которые заполняют столько томов, есть не что иное, как замаскированный прием говорить, что A есть A!
Конечно, можно добраться до аксиом, которые лежат в источнике всех этих рассуждений. И если, с одной стороны, держаться того мнения, что их нельзя свести к закону противоречия, с другой — не желать видеть в них только факты опыта, которые не могли бы обладать характером математической необходимости, то имеется еще надежда отнести их к числу синтетических априорных суждений. Но это не значит разрешить затруднение; это значит только дать ему название: даже если бы природа синтетических суждений перестала быть для нас тайной, все же противоречие не было бы устранено, оно было бы только отодвинуто; силлогистическое умозаключение неспособно прибавить что-либо к тем данным, которые ему предоставляются; эти данные сводятся к нескольким аксиомам, и, кроме них, ничего нового нельзя было бы найти в заключениях.
Никакая теорема не должна была бы являться новой, если в ее доказательство не входила бы новая аксиома; умозаключение могло бы только возвращать нам истины, непосредственно очевидные, имеющие источником интуицию; оно являлось бы только промежуточным пустословием. Тогда, пожалуй, возник бы вопрос: не служит ли вообще силлогистический аппарат единственно для того, чтобы маскировать делаемые нами заимствования?
Противоречие поразит нас еще больше, если мы откроем какую-нибудь математическую книгу: на каждой странице автор будет выражать намерение обобщить уже известную теорему. Значит ли это, что математический метод ведет от частного к общему, и каким образом можно называть его тогда дедуктивным?
Наконец, если бы наука о числе была чисто аналитической или могла вытекать аналитически из небольшого числа синтетических суждений, то достаточно сильный ум мог бы, по-видимому, с первого взгляда заметить все содержащиеся в них истины; более того: можно было бы даже надеяться, что когда-нибудь для их выражения будет изобретен язык настолько простой, что эти истины будут непосредственно доступны и заурядному уму.
Если отказаться от допущения этих выводов, то необходимо придется признать, что математическое умозаключение само в себе заключает род творческой силы и что, следовательно, оно отличается от силлогизма.
И отличие это должно быть глубоким. Так, например, мы не найдем ключа к тайне в многократном применении того правила, по которому одна и та же операция, одинаково примененная к двум равным числам, дает тождественные результаты.
Все эти формы умозаключения — все равно, приводимы ли они к силлогизму в собственном смысле или нет, — сохраняют аналитический характер и поэтому являются бессильными.