Читать «О науке» онлайн - страница 4

Изучив условия, в которых работает физик, я счел нужным показать его за работой. Для этого я взял несколько примеров из истории оптики и электричества. Мы увидим, откуда вышли идеи Френеля, Максвелла и какие гипотезы бессознательно создавали Ампер и другие основатели электродинамики.

Часть I

Число и величина

Глава I

О природе математического умозаключения

I

Самая возможность математического познания кажется неразрешимым противоречием. Если эта наука является дедуктивной только по внешности, то откуда у нее берется та совершенная строгость, которую никто не решается подвергать сомнению? Если, напротив, все предложения, которые она выдвигает, могут быть выведены один из других по правилам формальной логики, то каким образом математика не сводится к бесконечной тавтологии? Силлогизм не может нас научить ничему существенно новому, и если все должно вытекать из закона тождества, то все также должно к нему и приводиться. Но неужели возможно допустить, что изложение всех теорем, которые заполняют столько томов, есть не что иное, как замаскированный прием говорить, что A есть A!

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

Никакая теорема не должна была бы являться новой, если в ее доказательство не входила бы новая аксиома; умозаключение могло бы только возвращать нам истины, непосредственно очевидные, имеющие источником интуицию; оно являлось бы только промежуточным пустословием. Тогда, пожалуй, возник бы вопрос: не служит ли вообще силлогистический аппарат единственно для того, чтобы маскировать делаемые нами заимствования?