Философский словарь - метатеория

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