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

Становится очевидным, что функция верификации заключается в том, чтобы обеспечить удовлетворительные основания для элиминации некоторых или всех из рассматриваемых нами гипотез. Предположим, что у нас осталось две формулы: у4 и у5. Мы допустили, что каждая из них успешно предсказала третью цифру. Однако, согласно нашим требованиям, гипотеза должна предсказывать не только результат третьего извлечения, но и результаты всех последующих извлечений. Если гипотеза выражает универсальную связь, то она должна поддерживать себя и не элиминироваться ни при какой возможной попытке верификации. Однако часто случается так, что остается более чем одна гипотеза даже после определенного конечного числа верификаций, как это, например, имеет место в нашей ситуации. Тогда мы не можем утверждать одну из таких гипотез и исключать другие. Мы можем, однако, попробовать элиминировать все релевантные альтернативы посредством повторения процесса верификации до тех пор, пока не получим какую-либо одну гипотезу. Именно стремление к достижению такого идеала руководит нашим исследованием, однако достигнуть его удается крайне редко, если вообще удается. На самом же деле мы можем считать, что нам повезло, если гипотезы, изначально рассматривавшиеся нами как релевантные, не элиминировались в ходе исследования.

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

Из этого следует, что гипотезу нельзя считать адекватной, если в ней не проводится явного или скрытого отграничения устанавливаемого в ней порядка связи. Гипотеза должна быть опровержимой, если она устанавливает один порядок связи, а не другой.

Рассмотрим суждение «все люди смертны», которое является гипотезой относительно поведения людей. Является ли данная формулировка удовлетворительной? Если мы найдем человека, которому будет двести лет, то поставит ли это под сомнение универсальность смертности людей? Разумеется, стороннику теории о том, что все люди смертны, вовсе не нужно будет сомневаться в своей теории. Но что если бы мы отыскали человека, возраст которого равнялся бы возрасту струльдбруга? [59] Сторонник теории смертности все равно мог бы утверждать, что его гипотеза вполне сочетается с существованием такого человека. Несложно заметить, что, будучи сформулированной таким образом, данную гипотезу нельзя будет опровергнуть, сколько лет бы ни было человеку, которого мы могли бы представить в качестве ее опровержения. Для того чтобы гипотеза обрела удовлетворительную форму, ее следует модифицировать так, чтобы обусловить возможность экспериментальной детерминации между этой гипотезой и какой-либо противоположной ей альтернативной гипотезой.

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

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