Философский словарь - метатеория
Метатеория
метатеория
(от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И метаматематика). Объектом исследования М. обычно оказывается не содержание объектной теории, а ее формальные свойства, поэтому она предварительно формализуется и представляется в виде формального исчисления. В М. обычно выделяют две части: синтаксис, изучающий структурные и дедуктивные свойства исследуемой теории, и семантику, рассматривающую вопросы интерпретации изучаемой теории. Понятие "М." впервые было предложено нем. математиком Д. Гильбертом в связи с его программой обоснования математики средствами теории доказательств. Ряд важных метатеоретических результатов был получен А. Тарским. .Рейтинг статьи:
Комментарии:
См. в других словарях
1.
МЕТАТЕОРИЯ МЕТАТЕОРИЯ (от греч. meta — после, за, позади) — теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И метаматематика). Объектом исследования М. обычно оказывается не содержание объектной теории, а ее формальные свойства, поэтому она предварительно формализуется и представляется в виде формального исчисления. В М. обычно выделяют две части: синтаксис, изучающий структурные и дедуктивные свойства исследуемой теории, и семантику, рассматривающую вопросы интерпретации изучаемой теории. Понятие «М.» впервые было предложено нем. математиком Д. Гильбертом в связи с его программой обоснования математики средствами теории доказательств. Ряд важных метатеоретических результатов был получен А. Тарским. Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004. ...Философская Энциклопедия
2.
МЕТАТЕОРИЯ теория, анализирующая различные свойства, структуру, закономерности, методы и приемы исследования другой теории, называемой объектной или предметной. М. выполняет методологическую функцию по отношению к определенной научной области. М. главным образом применяется в исследовании логических теорий (металоги-ка) и оснований математики (метаматематика). Понятие М. впервые ввел Д. Гильберт в связи с программой обоснования математики. Математика была представлена им как теория, которая содержит все утверждения о том, что то или иное математическое выражение доказуемо. В структурном отношении М. включает в себя совокупность теоретических положений, выступающих схемами положений объектной (предметной) теории. М. обычно формулируется на метаязыке. Отсюда, в узком смысле, М. это теория, изучающая синтаксические, семантические, прагматические и логические (специальные правила вывода) свойства систем с формализованным языком при помощи методов аксиоматизации, алгоритмизации, конструктивизации и т.д. Например, в аспекте аксиоматического метода проблемами М. выступают проблемы непротиворечивости, независимости и...Новейший философский словарь
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 849 | |
2 | 755 | |
3 | 735 | |
4 | 655 | |
5 | 582 | |
6 | 534 | |
7 | 526 | |
8 | 507 | |
9 | 503 | |
10 | 493 | |
11 | 474 | |
12 | 462 | |
13 | 448 | |
14 | 445 | |
15 | 444 | |
16 | 438 | |
17 | 422 | |
18 | 419 | |
19 | 418 | |
20 | 416 |