Словарь логики - метатеория

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