кают вопросы о том, чтобы ее упростить, избавить от излишних
положений, постулатов и аксиом, от скрытых противоречий, ко-
торые могут со временем проявиться и сделать всю теорию
бессмысленной, непригодной для дальнейшего использования.
Разрешить все эти вопросы содержательным путем очень сложно,
так как для этого надо сравнивать свойства и соотношения объек-
тов, что трудно само по себе и к тому же требует заранее, чтобы
теория, в рамках которой проводится такое сравнение, была
непротиворечивой. Поэтому для разрешения указанных вопросов
прибегают к процедуре формализации объектной теории.
Сначала все содержательные понятия теории заменяются аб-
страктными бессодержательными символами, отличающимися
друг от друга обозначениями. Затем все содержательные связи
и структурные особенности ее предложений переводятся на язык
формальной логики. Полученная таким образом формальная сис-
тема представляет собой логико-математическую модель объект-
ной теории. Далее исследуется уже эта модель, что делается с
помощью другой — например, логической — теории, которую
называют метатеорией (от итал. mefa—половина и греч. theo-
ria — наблюдение, исследование), или теорией второго уровня.
Теория первого уровня — объектная теория — сама теперь ока-
зывается объектом по отношению к метатеории. Поскольку мета-
теория использует средства современной математической ло-
гики, результаты изучения формальной модели теории первого
уровня оказываются довольно точными, тем более что логические
критерии непротиворечивости, независимости и полноты систем,
аксиом и постулатов определены весьма точно и однозначно.
Таким образом, метод формализации помогает совершенст-
вовать научные теории. У этого метода есть и другие достоинства.
Формализованную логическую модель объектной теории легко
перевести на язык машинного программирования. Полученная
программа вводится в ЭВМ, которая в состоянии без помощи
содержательного анализа развить далее все формальные струк-
туры объектной теории. Это освобождает ученого-исследова-
теля от технически громоздкой формальной работы и позволяет
ему сосредоточиться на содержательном анализе, недоступном
машинам, и эмпирической интерпретации формальных резуль-
татов. Здесь обнаруживается новый познавательный аспект ме-
тода формализации.
Положение об относительном характере противоположности
субъекта и объекта познания находит свою конкретизацию в
соотношении материального объекта, объектной теории и мета-
теории. Мы видели, что объектная теория отражает свой объект,
свою предметную область через входящие в нее законы. По
отношению же к метатеории она сама выступает как особый
объект. Так происходит диалектическое оборачивание субъекта и
объекта познания: теоретическое знание — продукт субъектив-
ного отражения объективной реальности — само становится объ-
ектом познания на более высоком уровне. Это позволяет глубже
проникнуть в сложные механизмы научного познания мира.
— 291 —