Классификация научных теорий

Исследуя вопрос о сущности и происхождении научных теорий, необходимо обратить внимание на их классификацию. Науковеды и методологи науки обычно выделяют три типа научных теорий.

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

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

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