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

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

 Задача обоснования математики и других формальных наук привела к построению теорий третьего типа – их можно назвать дедуктивными теоретическими системами. Первой такой системой явились «Начала» Эвклида – классическая геометрия, построенная на основе аксиоматического метода. Исходная теоретическая основа таких теорий формулируется в их начале и затем в теорию включаются лишь те утверждения которые могут быть получены логически из этой основы. Все логические средства, используемые в этих теориях, строго фиксируются, и доказательства теории строятся в соответствии с этими средствами.

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