Наши партнеры

Formata4.ru - Кухни пластиковые в алюминиевой рамке.

МЕТАТЕОРИЯ (от греч. meta - после, за, позади)

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

Вернуться к оглавлению

© 2000- NIV