Война Святослава с хазарами

Изучение и оправдание гипотетико-дедуктивного метода как само­стоятельного методологического образования начинается еще в XVIII в. (Д. Гартли, Дж. Лесаж и др.), но его признание приходит лишь к концу XIX в. Обоснование этого метода принято связывать с именами ученых XIX в., Г. Гершеля и У. Уэвелла. Теоретики гипотетико-дедуктивного метода первыми осознали, что прогресс в науке существенно связан с выдвижением смелых гипотез, в т.ч. о ненаблюдаемых сущностях. Рассмотрим подробнее, как выглядит структура теории, развертывае­мой гипотетико-дедуктивным методом. Оказывается, что для гипотетико-дедуктивного продвижения характерна асимметрия взаимоотношений области гипотез и области фактов: эти отношения, с одной стороны, явля­ются логическими (логическое следование, дедукция), с другой — внело­гическими. Действительно, в гипотетико-дедуктивной системе переход от гипотезы к фактам совершается по правилам логического вывода, а переход от эмпирического базиса к гипотезе (скажем, выдвижение гипо­тезы на основе анализа фактов или же ее корректировка при расхождении с данными экспериментов) логически никак не обоснован, не регламенти­рован. Поэтому получается так, что переход от фактов к гипотезе не относится к компетенции логики. Специфика гипотетико-дедуктивной методологии может быть лучше понята, если мы сравним ее с аксиоматической.

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