Метатеория (Фролов, 1991)

МЕТАТЕОРИЯ (греч. meta — после, за и греч. theoria — наблюдение, рассмотрение, исследование) — теория, предметом исследования которой является некоторая др. теория. Метатеория изучает систему положений и понятий какой-либо теории; устанавливает ее границы, способы введения новых понятий и доказательства ее положений и т. д., давая возможность более рациональным способом ее построить. Метатеория формулируется на метаязыке (Метаязык и язык-объект). В настоящее время наиболее развиты метатеории логики (Металогика) и математики (Метаматематика); в их развитии особую роль сыграли работы Гильберта, Гёделя, С. Клини. В создании Метатеории для нематематических дисциплин сделаны лишь первые шаги. Центральной задачей Метатеории является исследование условий формализации научных теорий, а также синтаксических (Логический синтаксис) и семантических (Логическая семантика) свойств формализованных языков. Такие исследования приобретают особое значение в связи с развитием кибернетики и вычислительной техники.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 257.