А → В
B__
A вероятно
А → В
¬ В
¬ А (ложно)
Как мы уже знаем, из подтверждения следствия можно сделать заключение лишь об увеличении степени вероятности заключения, причем эта степень возрастает незначительно, если полученное следствие мало отличается от предыдущих, но возрастает заметно, когда следствие будет значительно отличаться от предыдущих. Эта схема приведена слева. На правой схеме представлено опровержение, которое совершается по схеме дедуктивной логики modus tollens, т.е. из ложности следствия заключают о ложности основания. Именно такой характер опровержения используется некоторыми современными философами для того, чтобы выбрать его в качестве критерия проверки научных гипотез.
Однако, как показывает реальная практика научного исследования, и подтверждение, и опровержение гипотез являются необходимыми для их обоснования. Подтверждение необходимо хотя бы для того, чтобы убедиться, что выдвигаемая гипотеза основывается на реальных фактах, а не является чисто умозрительным построением. Опровержение дает возможность отсеивать неправдоподобные гипотезы и тем самым сужает круг поиска подлинной гипотезы. К тому же не следует забывать, что в современной науке процесс опровержения гипотез не носит такой простой характер, как он представляется в логике. Действительно, новые гипотезы могут войти в теоретическую систему только тогда, когда они будут связаны с другими гипотезами логическими отношениями, а опровержение системы гипотез представляет более серьезную проблему, чем опровержение отдельной, изолированной гипотезы. С помощью вспомогательных гипотез od hoc, т.е. придуманных для данного случая, всегда можно спасти систему от опровержения.
Во многих рассуждениях в науке индукция часто сопровождается дедукцией. В эмпирических науках индукция используется для обобщения данных, результатов наблюдения или экспериментального исследования. Заключения, полученные таким способом, представляют собой гипотезы, правильность которых в дальнейшем проверяется путем выведения логических следствий из них. После того как ученые постепенно пришли к осознанию той мысли, что индуктивная логика не может считаться безошибочным средством для открытия новых научных истин, они все больше стали обращать внимание на гипотетико-дедуктивный метод исследования. Но этот метод является не столько методом открытия, сколько способом построения и обоснования научного знания, поскольку он показывает, каким именно путем можно прийти к новой научной гипотезе. Ведь в формировании гипотезы участвует и догадка, и индукция, и воображение, и индуктивное обобщение, не говоря уже об опыте, квалификации и таланте ученого. Все эти факторы трудно или почти не поддаются логическому анализу, в связи с чем некоторые философы относят исследование таких вопросов к области психологии творчества, а задачу логики видят лишь в логической проверке гипотез, которая сводится прежде всего к дедукции (выводу) следствий из гипотез. Индукция же здесь рассматривается не столько как способ формирования новых гипотез, сколько как метод их проверки с помощью эмпирических свидетельств и сопоставления их со следствиями, выведенными из гипотез.
Истоки гипотетико-дедуктивного метода восходят к античной философии и риторике. Известно, что Сократ и Платон в своих диалогах выводили следствия из мнений и предположений, высказанных их оппонентами. Сопоставляя эти предположения с реальными фактами и твердо установленными истинами, Сократ и Платон опровергали ошибочные мнения и ходячие представления. Таким образом, проверка мнений и предположений, представляющих собой гипотезы, осуществлялась в диалогах с помощью гипотетико-дедуктивного метода, который играл важную роль в процессе убеждения и аргументации. Не случайно в современной литературе утверждают, что основанный Сократом метод диалога (диалектики) является одной из форм гипотетико-дедуктивного способа рассуждения. Правда, такой взгляд характеризует лишь некоторые внешние, формальные особенности реального диалога, в котором существенную роль играет прежде всего постановка вопросов. Ответы же выступают в виде гипотез, мнений и предложений.