Р (Н/Е) = с,

где Р - вероятность;

Н - гипотеза;

Е - эмпирические свидетельства гипотезы;

с - степень подтверждения или индуктивной вероятности гипотезы.

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

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

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

А → В

B__

A вероятно

А → В

¬ В

¬ А (ложно)

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

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

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

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

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

О том, как применялся этот метод в конкретном исследовании, свидетельствуют "Беседы и математические доказательства ..." Галилея. В них он подробно излагает способ аргументации, с помощью которого пришел к открытию и обоснованию своего важнейшего открытия - закона постоянства ускорения падающих тел. Сначала Галилей, как и его предшественники, придерживался гипотезы, что скорость падения тела (v) пропорциональна (к) пройденному пути (s), т.е. v = к s. Однако эксперимент не подтверждал ее, поэтому он принял другую гипотезу: скорость пропорциональна времени падения (t), т.е. v = g t, где g обозначает ускорение силы тяжести.

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

Наконец, из полученного заключения можно вывести бесчисленное множество частных следствий, если рассматривать пути, пройденные телом за 1, 2, 3 секунды:

Во всех этих формулах s обозначает путь, t - время, g = 9,8 м/с2 - ускорение свободнопадающего тела.

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