Введение в логику и научный метод

Ответ прост, однако требует того, чтобы мы еще раз обратили внимание на тесную связь, существующую между наблюдением и теорией. Для того, чтобы вывести суждение р1 из Н1, а также для того, чтобы можно было провести эксперимент Фуко, необходимо сделать много других допущений К относительно природы света и тех инструментов, которые мы используем для измерения его скорости. Следовательно, во время эксперимента проверяется не только гипотеза Н1, но и Н1 и К вместе. Таким образом, логика в основе теории решающего эксперимента такова: если Н1 и К, то р1; но р1 ложно; следовательно, либо Н1 ложно, либо ложно К (частично или целиком). Если же у нас хорошие основания для того, чтобы считать, что К не является ложным, то тогда в результате эксперимента отбрасывается Н1. Но, несмотря на это, в эксперименте на самом деле проверяются Н1 и К вместе. Если обнаружится, что в интересах согласованности нашего знания необходимо пересмотреть допущения, содержащиеся в К, то тогда решающий эксперимент следует переинтерпретировать, и в таком случае он не будет указывать на необходимость отбросить Н1.

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

Данное обстоятельство достаточно важно, и его следует проиллюстрировать еще на одном примере. Допустим, что мы хотим узнать, является ли наше «пространство» евклидовым, т. е. узнать, равна ли сумма углов физического треугольника двум прямым углам. В качестве вершин такого треугольника мы выбираем три неподвижные звезды, а в качестве сторон треугольника – пути, по которым проходит луч, соединяющий две вершины. Проведя ряд измерений, мы можем высчитать величину углов данного треугольника и получить, таким образом, сумму углов. Допустим, что сумма углов меньше двух прямых. Должны ли мы заключить, что евклидова геометрия ложна? Совсем нет! У нас есть, по крайней мере, три другие альтернативы:

1. Мы можем объяснить расхождение между теоретическими и «наблюдаемыми» значениями суммы углов, предположив ошибку при измерении.

2. Мы можем заключить, что евклидова геометрия не является физически истинной.

3. Мы можем заключить, что «линии», соединяющие вершины треугольника друг с другом, а также с нашими измерительными приборами, на самом деле не являются прямыми. Иными словами, мы можем предположить, что евклидова геометрия является физически истинной, однако свет не движется по прямой линии в звездном пространстве.

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

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

§ 6. Роль аналогии в формировании гипотез

Быть может, читатель, заметив, что глава подходит к концу, наконец утратит терпение и спросит: «Вы рассказали мне о том, что означает гипотеза, о ее ключевой роли в исследовании и о требованиях, выдвигаемых к ней. Я благодарен за всю эту информацию. Но почему вы не скажете мне, как отыскать удовлетворительную гипотезу и каким правилам нужно для этого следовать?»