Философская энциклопедия - метатеория

МЕТАТЕОРИЯ

(от греч. meta — после, за, позади) — теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И метаматематика). Объектом исследования М. обычно оказывается не содержание объектной теории, а ее формальные свойства, поэтому она предварительно формализуется и представляется в виде формального исчисления. В М. обычно выделяют две части: синтаксис, изучающий структурные и дедуктивные свойства исследуемой теории, и семантику, рассматривающую вопросы интерпретации изучаемой теории. Понятие «М.» впервые было предложено нем. математиком Д. Гильбертом в связи с его программой обоснования математики средствами теории доказательств. Ряд важных метатеоретических результатов был получен А. Тарским.

Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.