Гипотетико-дедуктивный метод
Гипоте́тико-дедукти́вный ме́тод, метод рассуждения, основанный на дедукции, или выведении заключений из гипотез. Поскольку дедукция переносит истинностное значение гипотез как вероятностных суждений на заключение, то оно оказывается не достоверно истинным, а лишь вероятностным или правдоподобным.
Гипотетико-дедуктивные рассуждения впервые стали применяться в античной философии в процессе ведения полемики, в ходе которой ставилась задача убедить противника либо отказаться от своего тезиса, либо уточнить его (посредством вывода из него следствий, противоречащих фактам; Платон называл такой метод сократическим). В научном познании гипотетико-дедуктивный метод стал широко использоваться с возникновением экспериментального естествознания начиная с 17 в. Впервые он был применён Г. Галилеем для открытия закона свободного падения тел, а И. Ньютон использовал его для построения законченной системы классической механики. Гипотетико-дедуктивный метод настолько глубоко проник в методологию современного естествознания, что стал рассматриваться как модель для эпистемологического анализа естественно-научных теорий. Разновидностью гипотетико-дедуктивного метода является математическая гипотеза, представляющая собой систему гипотетических уравнений и служащая эвристическим средством поиска новых теорий в математическом естествознании.
С логической точки зрения гипотетико-дедуктивный метод представляет собой иерархию гипотез, степень абстрактности и общности которых возрастает по мере удаления от эмпирического базиса. Методологически такая система даёт возможность исследовать не только структуру и взаимосвязь между гипотезами разного уровня, но и характер их подтверждения эмпирическими данными: подтверждение одной из них косвенно свидетельствует о подтверждении других, логически с ней связанных гипотез. Этим объясняется стремление к объединению их в рамках гипотетико-дедуктивных систем.