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