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