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

Это означает, что если мы зада­ли начальное множество аксиом и правила вывода, то мы потенциально уже имеем и множество всех логических следствий из этих аксиом. Что же касается гипотетико-дедуктивной теории, то ее логическая структура несколько иная. Одним из первых логиков, осознавших, что реальное на­учное рассуждение отлично от на процесса «порождения» теорем из не­скольких аксиом, был известный польский логик Ян Лукасевич. В 1926 г. он обратил внимание на то, что даже в математике действительные рас­суждения весьма далеки от аксиоматического вида, и выдвинул идею построения более естественной логической системы. В наиболее удачном виде эта идея была реализована в 1933-1934 гг. Герхардом Генценом, та­лантливым немецким математиком. Он разработал исчисление натураль­ных выводов, которое воспроизводит как раз процесс введения предполо­жений и получения из них логических следствий (в виде построения логических «нитей» различной структурной сложности). Именно систе­мы натурального вывода являются более адекватными логическими моделями реальных гипотетико-дедуктивных рассуждений. Эти систе­мы интенсивно изучаются в современной логике1.

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