Логический вывод следствий из нейтральной гипотезы сам по ,;?йг~ недостаточен для того, чтобы подтвердить или вытекающие ; этой гипотезы следствия. Вместе с тем сам факт дедуктивной выводимости некоторого общего следствия вида С из общей гипотезы вида Г означает, что между истинностными значениями частных гипотез видаГ,.... и истинностными

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

Первыйпостулат (ВП1)

Если установлена истинность частной гипотезы (являющейся конкретизацией некоторой общей гипотезы вида Г), то тем са-

вытекающего из нееслед-

ствия (являющегося конкретизацией общего следствия вида С).

Упрощенная формулировка верификационного постулата ВП1 такова: изгипотезы вытекает истинность ее

логических следствий.

Второй верификационный постулат (ВП2)

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

Проще говоря, постулат ВП2 гласит: из ложности логического следствия гипотезы вытекает >::> • самой гипотезы,

Третий верификационный постулат (ВПЗ)

Если установлена ложность гипотезы, то это не обязательно вытекающего из нее следствия.

Упрощенная формулировка постулата ВПЗ такова: из лож! юс nut гипотезы не вытекает :: ее логических следствий.

Четвертый верификационный постулат (ВП4).

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

говоря, постулат ВП4 гласит: изследствия

гипотезы не вытекаетсамой гипотезы.

Постулаты ВП1-ВП4 указывают на то, что между подтверждением (установлением истинности) и опровержением (установлениемчастных гипотез и их следствий имеется следу-

125

гощая связь: подтверждениеозначаетее

следствий, ио обратное неверно (подтверждение следствий гипотезы не означает подтверждения самой гипотезы); опровержение следствий гипотезыопровержение самой гипотезы, но

обратное неверногипотезы не означает опровер-

жения ее следствий).

На практике вместо постулатов ВШ - В.!"14 часто используются их различные частные ке-рс-hs. среди которых. широко из-

вестно апагогическое правило (правилоот против-

ного), а также редукционное правило (правило сведения к абсурду).

Апагогическое правилоВП5)

Если установлена ложность следствия, вытекающего из отрицания гипотезы, то тем самым установлена истинность самой гипотезы (или ложность следствия, вытекающая из антитезиса, означает истинность тезиса).

Редукционное правило (постулат ВП6)

Если из отрицания гипотезыто это

означает истинность самой гипотезы ;ти если из антитезиса вытекает противоречие, то означает истинность п&зися}.

Традиционно считается, что апагогическое и редукционное правила являются правилами «косвенногопри

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

Итак, логическая процедура подтверждения и опровержения частных гипотез в конечном счете сводится к применению верификационных постулатов ВП1-ВП4. При этом речь идет не о логическом доказательстве, а лишь о логическомгипотез (или

их следствий) из тех или иных проблематичных посылок, истинностное значение которых не установлено. Лишь только после

того, как тем или иным способом (теоретически или путем обра-

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

В отличие от частных гипотез проверкагипотез харак-

теризуется некоторыми методологическими особенностями, од-

126

jjiiKO в конечном счете также сводится к проверке определенных частных гипотез. Логическая процедура проверки гипотез в ряде случаев может быть дополнена процедурой их эмпирической проверки. При этом, как уже было сказано выше, круг гипотез, поддающихся прямой эмпирической проверке, весьма ограничен. Так, ни одна общеутвердительная гипотеза (т.е. гипотеза, представляющая собой о5о.1£утв;;рд;лс:;:ьпо£ .вь:.скя".ывЕние-} в принципе не поддается прямому эмпирическому подтверждению (хотя может быть эмпирически опровергнута). Общеутвердительные высказывания могут быть эмпирически подтверждены лишь с некоторой степенью вероятности (правдоподобия) путем использованиянедедуктивных методов, например, статистических.

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

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

гипотезы оценивались в некоторой критической для них области

значений независимых переменных. «Но о проверке в критической области можно говорить опять-таки только для некоторых иаперед заданных гипотез. Исследователь никогда не может быть уверен, что он предложил все возможные гипотезы» [62].

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

127