Методология

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

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

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

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

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