Типология научных теорий

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

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

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

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