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