·         логику теории – множество допустимых в рамках теории правил логического вывода и доказательства;

·         совокупность выведенных в теории следствий, теорем, утверждений, принципов, условий и т.д. с их доказательствами – наибольшая по объему часть теории, которая и выполняет основные функции теоретического знания, составляя «тело» теории, ее основное содержание.

Общая логическая структура теории по-разному выражается в разных типах теорий. Первый тип – один из наиболее широких классов современных научных теорий составляют описательные теории. Их иногда называют эмпирическими. Такова эволюционная теория Ч. Дарвина в биологии, физиологическая теория, созданная И. П. Павловым, различные современные психологические, педагогические теории и т.д. Такая теория непосредственно описывает определенную группу объектов; ее эмпирический базис обычно весьма обширен, а сама теория решает, прежде всего, задачу упорядочения относящихся к ней фактов.

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

Второй тип теорий – математизированные научные теории, использующие аппарат и модели математики (например, физические теории). При математическом моделировании (см. ниже) конструируется особый идеальный объект (модель), замещающий некоторый реальный объект. Ценность математизированных теорий повышается в связи с тем, что нередко используемые в них математические модели допускают не одну, а несколько интерпретаций, в том числе на объекты разной природы, лишь бы они удовлетворяли построенной теории. Например, одно и тоже дифференциальное уравнение может описывать как движение механической системы, так и динамику токов и напряжений в электрической схеме (так называемые электромеханические аналогии). Но в математизированных теориях широкое использование математических средств выдвигает сложную проблему интерпретации (то есть содержательного объяснения) формальных результатов.