Метатеория это
Автор ДМИТРО Кубко задал вопрос в разделе Гуманитарные науки
что есть метатеория? дайте определение. и получил лучший ответ
Ответ от PHOBOS[гуру]
МЕТАТЕОРИЯ - теория, анализирующая различные свойства, структуру, закономерности, методы и приемы исследования другой теории, называемой объектной или предметной. М. выполняет методологическую функцию по отношению к определенной научной области. М. главным образом применяется в исследовании логических теорий (металоги-ка) и оснований математики (метаматематика) . Понятие М. впервые ввел Д. Гильберт в связи с программой обоснования математики. Математика была представлена им как теория, которая содержит все утверждения о том, что то или иное математическое выражение доказуемо. В структурном отношении М. включает в себя совокупность теоретических положений, выступающих схемами положений объектной (предметной) теории. М. обычно формулируется на метаязыке. Отсюда, - в узком смысле, М. - это теория, изучающая синтаксические, семантические, прагматические и логические (специальные правила вывода) свойства систем с формализованным языком при помощи методов аксиоматизации, алгоритмизации, конструктивизации и т. д. Например, в аспекте аксиоматического метода проблемами М. выступают проблемы непротиворечивости, независимости и полноты предметной теории. Дедуктивные средства предметной теории формулируются в качестве метааксиом и метатеорем, которые принципиально не могут быть описаны в языке предметной (объектной) теории. М. выступает по отношению к последней как понимающая рефлексивная система. Синтаксический и семантический языки, а также метаакеиомы и мета-теоремы составляют метаязык. Более специализированное рассмотрение М. осуществляется в разделе математической логики - теории моделей. Предельной объемлющей системой оценки любых форм знания и человеческой деятельности выступает культура, осознаваемая в своих предельных основаниях посредством философской рефлексии. В. Л. Абушенко, А. И. Шуман
Источник: http://fil.vslovar.org.ru/679.html
Энциклопедии & Словари
создаем свои словари
постоянно обновляется
быстрый и удобный поиск
Отображать название словарей
Метатеория
Термин `Метатеория` по словарям
Метатеория `Словарь синонимов`
метатеория
сущ. , кол-во синонимов: (1)
• ↑теория (22)
Словарь синонимов ASIS, Тришин В. Н. , 2010
Метатеория `Большой энциклопедический словарь`
МЕТАТЕОРИЯ (от мета.. . и теория) - изучает структурные, дедуктивные, семантические и пр. свойства какой-либо другой (предметной) теории, представленной обычно в виде формальной системы или исчисления.
Метатеория `Толковый словарь Ожегова`
-и, ж. (спец.) . Теория, представляющая основные свойства какой-н. другой теории, специально для этого формализованной. II прил. метатео-ретический, -ая, -ое.
Метатеория `Большая Советская энциклопедия`
Метатеория (от Мета... )
теория, анализирующая структуру, методы и свойства какой-либо другой теории — т. н. предметной теории, или объектной. Термин «М. » осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М. логики называют металогикой (См. Металогика) , М. математики — метаматематикой (См. Метаматематика) ; аналогичный смысл имеют термины «метахимия» , «метабиология» и т. п. (за исключением «метафизики») . В принципе можно говорить о М. любой научной дисциплины, как дедуктивной, так и недедуктивной (например, метатеоретическая роль в известном смысле играет философия) ; однако по-настоящему продуктивным понятие М. оказывается в применении именно к дедуктивным наукам: математике, логике и математизированным фрагмент.. .
Метатеория `Математическая энциклопедия`
МЕТАТЕОРИЯ
- совокупность математич. средств и методов, предназначенных для описания и определения нек-рой формальной аксиоматич. теории, а также для исследования ее свойств. М. является важной составной частью метода формализации - одного из центральных методов математич. логики.
Суть этого метода можно кратко охарактеризовать следующим образом. Допустим, нас интересует нек-рая содержательная математич. теория T1. Это может быть сложная теория, семантика к-рой недостаточно интуитивно ясна (напр. , это может быть теория множеств, математич. анализ, арифметика 2-го порядка и т. п.) . Нас интересует, является ли Т 1 непротиворечивой теорией или совместен ли с Т 1 нек-рый математич. принцип (напр. , выбора аксиома) . С цель.. .
Метатеория `Энциклопедия эпистемологии и философии науки`
метатеория
МЕТАТЕОРИЯ — теория, в которой производится рассмотрение свойств некоторой др. теории, в том числе ее точное описание (т. е. определение правил образования и преобразования) и исследование относящихся к ней результатов. Теория, исследование которой проводится в рамках М. , называется предметной, или объектной теорией. Язык М. называется обычно метаязыком, а язык объектной теории — объектным языком.
Понятие М. впервые появляется в 1904 у Д. Гильберта в связи с выдвинутой им программой обоснования математики: Гильберт предложил сделать доказательство в аксиоматической теории предметом специальной математической дисциплины, названной им метаматематикой или теорией доказательств. О металогике говори.. .
....изучает структурные, дедуктивные, семантические и пр. свойства какой-либо другой (предметной) теории, представленной обычно в виде формальной систенмы или исчисления