Метатеория это:

Метатеория
(от Мета...)
        теория, анализирующая структуру, методы и свойства какой-либо другой теории — т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М. логики называют металогикой (См. Металогика), М. математики — метаматематикой (См. Метаматематика); аналогичный смысл имеют термины «метахимия», «метабиология» и т. п. (за исключением «метафизики»). В принципе можно говорить о М. любой научной дисциплины, как дедуктивной, так и недедуктивной (например, метатеоретическая роль в известном смысле играет философия); однако по-настоящему продуктивным понятие М. оказывается в применении именно к дедуктивным наукам: математике, логике и математизированным фрагментам естествознания и др. наук (например, лингвистики). Более того, фактическим объектом рассмотрения в М. оказывается, как правило, не сама по себе та или иная содержательная научная теория, а её формальный аналог и экспликат — точное понятие исчисления (См. Исчисление) (формальной системы (См. Формальная система)); если же подлежащая исследованию в М. теория носит содержательный характер, то она предварительно подвергается формализации (См. Формализация). Т. о., часть М., изучающая структуру своей предметной теории, имеет дело с ней именно как с формальной системой, т. е. воспринимает её элементы как лишённые какого бы то ни было «содержания» (смысла) чисто формальные Конструктивные объекты, строго идентифицируемые (или, наоборот, различаемые) между собой, из которых по четко сформулированным правилам образования строятся знакосочетания, являющиеся «выражениями» (формулами) данной формальной системы. Эта часть М. — т. н. синтаксис — изучает также дедуктивные средства рассматриваемой предметной теории (см. Дедукция); в ней, в частности, определяется понятие (формального) Доказательства для данной предметной теории, а также более общее понятие вывода из данных посылок. Сама М., в отличие от предметной теории, есть теория содержательная: характер используемых в ней средств описания, рассуждения и доказательства может быть каким-либо специальным образом оговорён и ограничен, но во всяком случае сами эти средства суть содержательно понимаемые элементы обычного (естественного) языка и «логики здравого смысла». Основное содержание М. составляют метатеоремы (См. Метатеорема), или «теоремы о теоремах». Примером синтаксической метатеоремы может служить теорема о дедукции, устанавливающая связь между понятием выводимости (доказуемости) в данной предметной теории (например, в исчислении высказываний или исчислении предикатов) и логической операцией импликации (См. Импликация), входящей в «алфавит» данной предметной теории.
         В круг интересов М. входит также рассмотрение всевозможных интерпретаций (См. Интерпретация) исследуемой формальной системы; соответствующая часть (или аспект) М., воспринимающая предметную теорию как Формализованный язык, называют семантикой (см. Логическая семантика). Примером семантической метатеоремы является теорема о полноте классического исчисления высказываний, согласно которой для этого исчисления понятия доказуемой формулы (формальной теоремы) и формулы, истинной при некоторой «естественной» его интерпретации, совпадают.
         Многие понятия М. (и относящиеся к ним метатеоремы) носят «смешанный» характер: и синтаксический, и семантический. Таково, например, важнейшее понятие непротиворечивости (См. Непротиворечивость), определяемое и как невыводимость в предметной теории формального противоречия (т. е. конъюнкции (См. Конъюнкция) некоторой формулы и её отрицания (См. Отрицание); т. н. внутренняя непротиворечивость), и как «соответствие» данной предметной теории некоторой её «естественной» интерпретации (т. н. внешняя, или семантическая, непротиворечивость); совпадение обоих этих понятий по объёму есть нетривиальный факт М., относящийся, очевидно, и к синтаксису, и к семантике данной теории. Классическим примером метатеоремы, связывающей ряд важнейших синтаксических и семантических понятий, являются теоремы Гёделя (См. Гёдель) о неполноте формальной арифметики (и содержащих её более богатых логико-математических исчислений) и о невозможности доказательства непротиворечивости широкого класса исчислений формализуемыми в этих исчислениях средствами. Понятие разрешимости формальной теории носит, напротив, чисто синтаксический характер, а понятие полноты (См. Полнота) — по преимуществу семантический. М., конечно, сама может быть формализована и быть предметом изучения некоторой метаметатеории и т. д.
         Понятие «М.» впервые было выдвинуто Д. Гильбертом в связи с его программой обоснования классической математики средствами создаваемой его школой теории доказательств (метаматематики). Ряд важнейших метатеоретических результатов (главным образом семантического содержания) был получен А. Тарским (См. Тарский). В развитие идей Тарского и Р. Карнапа, Х. Б. Карри называет М. «эпитеорией», резервируя термин «М. » для некоторого более специального словоупотребления. См. также Аксиоматический метод, Метаязык, Математический формализм.
        
         Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, гл. III—VIII, XIV, XV; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960 (введение); его же. Математическая логика, пер. с англ., М., 1973; Карри Х. Б., Основания математической логики, пер с англ., М., 1969, гл. 2—3.
         Ю. А. Гастев.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Синонимы:

Смотреть что такое "Метатеория" в других словарях:

  • метатеория — метатеория …   Орфографический словарь-справочник

  • МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …   Философская энциклопедия

  • МЕТАТЕОРИЯ — (от мета... и теория) изучает структурные, дедуктивные, семантические и пр. свойства какой либо другой (предметной) теории, представленной обычно в виде формальной системы или исчисления …   Большой Энциклопедический словарь

  • МЕТАТЕОРИЯ — теория, анализирующая различные свойства, структуру, закономерности, методы и приемы исследования другой теории, называемой объектной или предметной. М. выполняет методологическую функцию по отношению к определенной научной области. М. главным… …   Новейший философский словарь

  • МЕТАТЕОРИЯ — МЕТАТЕОРИЯ, и, жен. (спец.). Теория, представляющая основные свойства какой н. другой теории, специально для этого формализованной. | прил. метатеоретический, ая, ое. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …   Толковый словарь Ожегова

  • метатеория — сущ., кол во синонимов: 1 • теория (21) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • МЕТАТЕОРИЯ — англ. metatheory; нем. Metatheorie. Теория, анализирующая структуру, методы и принципы к. л. научной теории. Antinazi. Энциклопедия социологии, 2009 …   Энциклопедия социологии

  • метатеория —         МЕТАТЕОРИЯ теория, в которой производится рассмотрение свойств некоторой др. теории, в том числе ее точное описание (т.е. определение правил образования и преобразования) и исследование относящихся к ней результатов. Теория, исследование… …   Энциклопедия эпистемологии и философии науки

  • метатеория — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN metatheory …   Справочник технического переводчика

  • метатеория — (от мета... и теория), изучает структурные, дедуктивные, семантические и прочие свойства какой либо другой (предметной) теории, представленной обычно в виде формальной системы или исчисления. * * * МЕТАТЕОРИЯ МЕТАТЕОРИЯ (от мета... (см. МЕТА...… …   Энциклопедический словарь

  • Метатеория — (гр. – позади теории) – это обобщенное название теории, предметом которой является другая теория, а в ней – построение, система понятий, положений и доказательств, пути развития, методы исследования, законы и принципы. Такой теорией по отношению… …   Основы духовной культуры (энциклопедический словарь педагога)

Книги

Другие книги по запросу «Метатеория» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»