Методология научного познания - [30]

Обычно различают три рода непроверяемых гипотез.

Во-первых, принципиально непроверяемыми являются гипотезы, структура которых не допускает проверки с помощью возможных фактов или же когда они создаются специально для оправдания данной гипотезы, которые получили название ad hoc гипотез[37]. Для пояснения характера таких гипотез обратимся к конкретному примеру из истории физики.

Чтобы проверить гипотезу о существовании мирового эфира, американский физик А. Майкельсон осуществил оригинальный эксперимент, с помощью которого выяснил, что эфир не оказывает никакого влияния на скорость распространения света^[38]. Для объяснения этого факта была выдвинута гипотеза Лоренца-Фицджеральда, которая предполагала, что отрицательный результат вызван сокращением линейных размеров плеча интерферометра, движущегося в одинаковом направлении с движением Земли. Вследствие этого гипотеза оказалась принципиально непроверяемой и поэтому приобрела характер гипотезы типа ad hoc. Несостоятельность гипотезы Лоренца — Фицджеральда была доказана в теории относительности: Эйнштейн установил, что понятия пространства и времени имеют относительный, а не абсолютный характер.

Во-вторых, универсальные математические и философские гипотезы, имеющие дело с крайне абстрактными понятиями и суждениями, не допускают эмпирической проверки их следствий. Проводя демаркацию между ними и эмпирически проверяемыми гипотезами, Поппер был совершенно прав, когда в отличие от логических позитивистов не объявлял философские гипотезы бессмысленными суждениями. Что касается математических гипотез, то они должны найти рациональное обоснование при их применении в естествознании, технических и других науках. Философские же гипотезы имеют универсальный характер, поэтому их проверка и обоснование осуществляются в ходе всей рационально-познавательной и практической деятельности человечества.

В-третьих, нередко следствия некоторых гипотез нельзя проверить существующими в данный период времени средствами наблюдений и экспериментов. Создатель первой неевклидовой геометрии Н. И. Лобачевский стремился убедить современников в том, что его «воображаемая» система геометрии может реализоваться в окружающем пространстве. В «Пангеометрии» он писал: «Один опыт только может подтвердить истину предположения (о сумме внутренних углов треугольника. — Г.Р.), например измерение на самом деле трех углов прямолинейного треугольника…». Сообщают, что Гаусс даже предпринял специальные измерения углов треугольника, образованных тремя горными вершинами, но не обнаружил отклонения от евклидовой геометрии. Разница оказалась в пределах ошибок измерения. После создания Эйнштейном общей теории относительности удалось показать, что реальные свойства физического пространства более адекватно описываются геометрией переменной отрицательной кривизны Б. Римана. Приведенный пример показывает, что, во-первых, геометрические гипотезы — именно такими являются ее аксиомы — проверяются с помощью физических теорий, а во-вторых, сама проверка и связанные с ней измерения имеют относительный характер.

С развитием науки и экспериментальной техники совершенствуются как ее теоретические методы, так и измерительные средства. Поэтому в науке существуют некоторые гипотезы, которые в данный период времени невозможно проверить, потому что либо из них невозможно вывести эмпирически проверяемые следствия, либо нельзя точно измерить соответствующие эффекты. Такая участь постигла, например, единую теорию поля, над которой многие годы работал Эйнштейн, а также гипотезу о существовании гравитонов — частиц поля тяготения.

3. Совместимость гипотез с существующим научным знанием. Это требование вытекает из общего методологического принципа о преемственности в развитии научного знания. Действительно, современное научное знание представляет собой не совокупность разрозненных фактов, отдельных обобщений и гипотез, а определенную логически связанную систему. Вот почему отдельная гипотеза не должна противоречить не только установленным фактам, но и обоснованному теоретическому знанию. Но это требование также нельзя абсолютизировать, ибо в противном случае наука свелась бы к простому накоплению информации и поэтому невозможны были бы коренные, качественные изменения в ее развитии, называемые научными революциями.

Требование совместимости выдвигаемых гипотез с существующим научным знанием скорей всего можно отнести к тому этапу развития науки, который Т. Кун в своей книге «Структура научных революций» называет нормальным периодом ее эволюции. В этом случае достаточно хорошо проверенная и обоснованная гипотеза должна войти в качестве элемента существующей научной парадигмы. Точнее говоря, она будет решением частной задачи или, по терминологии Куна, некоторой головоломки в рамках нормальной науки. Только гипотезы, кардинально меняющие облик науки, такие, как гипотеза о строении атома или космологической эволюции Вселенной, оказываются несовместимыми с существовавшим прежде научным знанием.

4. Объяснительная и предсказательная сила гипотез. Под объяснительной силой гипотезы или любого другого суждения в логике понимают количество дедуктивных следствий, которое можно из нее вывести. Если из двух гипотез выводится неодинаковое число следствий, тогда большей объяснительной силой будет обладать та из них, из которой выводится большее количество следствий, подтверждаемых фактами, и наоборот. Когда Ньютон выдвинул свою гипотезу об универсальной гравитации, то она оказалась в состоянии объяснить не только те факты, которые были объяснены законами Галилея и Кеплера, но и дополнительное количество новых фактов. Только после этого она стала законом всемирного тяготения. В свою очередь, факты, которые оставались необъясненными в ньютоновской теории (равенство инертной и гравитационной масс, движение перигелия Меркурия), сумела объяснить общая теория относительности Эйнштейна.