Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/academicru/academicru_news.php on line 46 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/academicru/academicru_news.php on line 47 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/academicru/academicru_news.php on line 49 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/academicru/academicru_news.php on line 50
|
МЕТАТЕОРИЯМЕТАТЕОРИЯ МЕТАТЕОРИЯ - теория, анализирующая различные свойства, структуру, закономерности, методы и приемы исследования другой теории, называемой объектной или предметной. М. выполняет методологическую функцию по отношению к определенной научной области. М. главным образом применяется в исследовании логических теорий (металоги-ка) и оснований математики (метаматематика). Понятие М. впервые ввел Д. Гильберт в связи с программой обоснования математики. Математика была представлена им как теория, которая содержит все утверждения о том, что то или иное математическое выражение доказуемо. В структурном отношении М. включает в себя совокупность теоретических положений, выступающих схемами положений объектной (предметной) теории. М. обычно формулируется на метаязыке. Отсюда, - в узком смысле, М. - это теория, изучающая синтаксические, семантические, прагматические и логические (специальные правила вывода) свойства систем с формализованным языком при помощи методов аксиоматизации, алгоритмизации, конструктивизации и т.д. Например, в аспекте аксиоматического метода проблемами М. выступают проблемы непротиворечивости, независимости и полноты предметной теории. Дедуктивные средства предметной теории формулируются в качестве метааксиом и метатеорем, которые принципиально не могут быть описаны в языке предметной (объектной) теории. М. выступает по отношению к последней как понимающая рефлексивная система. Синтаксический и семантический языки, а также метаакеиомы и мета-теоремы составляют метаязык. Более специализированное рассмотрение М. осуществляется в разделе математической логики - теории моделей. Предельной объемлющей системой оценки любых форм знания и человеческой деятельности выступает культура, осознаваемая в своих предельных основаниях посредством философской рефлексии. Новейший философский словарь. 2009. Синонимы: Категория: Словари и энциклопедии » Философия » Новейший философский словарь Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|