(от Мета...)

теория, анализирующая структуру, методы и свойства какой-либо другой теории — т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так...

МЕТАТЕОРИЯ, и, ж. (спец.). Теория, представляющая основные свойства какой-н. другой теории, специально для этого формализованной.

| прил. метатеоретический, ая, ое.

(мета… + теория)

Вспомогательная научная дисциплина, исследующая дедуктивные, семантические, структурные и иные свойства к.-л. другой (предметной) теории, представленной обычно в виде формальной системы или исчисления.

сущ., кол-во синонимов: 1 теория 21

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

орф.

метатеория, -и

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

МЕТАТЕОРИЯ (от греч. μετά – после и теория; букв. теория о некоторой другой теории) – одно из важнейших понятий современной логики, математики, философии и методологии науки; теория, анализирующая структуру, методы и свойства некоторой другой теории...

Совокупность математич. средств и методов, предназначенных для описания и определения нек-рой формальной аксиоматич. теории, а также для исследования ее свойств.

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

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

МЕТАЛОГИКА — область метатеоретических исследований проблем логики. См. Метатеория.

Утверждение об изучаемой формальной аксиоматич. теории, полученное в рамках определенной метатеории. А. Г. Драгалин.

Логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек-рой метатеории

В основаниях математики к метатеории часто предъявляются специфич. требования, связанные с отказом

метатеории. Примерами таких подвергающихся критике абстракций являются абстракция актуальной бесконечности

что в метатеории используется логика, отличная от классической, напр, модальная логика

или интуиционистская логика, если метатеория строится в рамках интуиционизма. С другой стороны, в доказательств

МЕТАСОЦИОЛОГИЯ — англ. metasociology; нем. Metasoziologie. Обоснование методов и логики построения социол. знаний. см. МЕТАТЕОРИЯ

Логико-математический язык, используемый для формулировки метатеории. В более широком смысле, М

которой в метатеории допускаются лишь финитные (интуитивно ясные, бесспорные) средства рассуждений

свойств какого-либо другого (обычно формализованного) языка, являющегося предметом изучения соответствующей метатеории.

относящаяся к изучению данной формальной теории, составляет то, что наз. метатеорией формальной теории

метаописание, метапеременная, метасимвол, метатекст, метатеория, метаязык.

2. Обозначает выход

концепция 17 лжетеория 1 лжеучение 6 мальтузианство 1 меркантилизм 12 метатеория 1 мнение 36 номинализм 2

с содержательной логикой, переводятся на формализованный язык. В метаязыке и метатеории интерпретация представляет

средствами метатеории (См. Метатеория) этой теории. Термин «М.» употребляется преимущественно

алгебраические теории и др.).

Лит. см. при статьях Метаматематика, Метатеория.

Ю. А. Гастев.

для операционализации любой теории личности и терапии. Т. о., Э. т. яв-ся скорее метатеорией, чем одной

Двумя основными аспектами Т. п. яв-ся построение субстанциональной (основной) теории и метатеории

Субстанциональная теория предназначена для объяснения фактов, а метатеория — для объяснения природы

Метатеория. Осн. деятельность при создании метатеории заключается в проведении концептуально

данного исчисления (в его метатеории (См. Метатеория)) (см. Непротиворечивость). Один из самых

как логическая база метатеории (См. Метатеория) в работах по ультраинтуиционистскому обоснованию математики

вывода, формулируемые на Метаязыке данной теории (и входящие потому в её метатеорию (См. Метатеория

и доказать — содержательными средствами т. н. метатеории (См. Метатеория), т. е. теории, рассматривающей

данную («предметную») теорию как предмет изучения. На языке метатеории (метаязыка) формулируются

допуская в метатеории только т. н. финитные способы рассуждения (не использующие ссылки

в рамках нек-рой метатеории и, таким образом, может служить обоснованием и косвенным разъяснением

Метатеория).

Ф. позволяет систематизировать, уточнить и методологически прояснить содержание теории

от Мета...)

часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория

метатеор. Проанализирована гносеол. сущность матем. понятий, утверждений, аксиом. Выявлены

в совокупности определяющие метатеорию решения творческих задач, универсальны по своему характеру

и выводимые из исходных (посредством некоторых метатеорем). Для исходных П. в. формальных систем

предметных языков, в этом случае М., средствами которого формулируется Метатеория (изучающая свойства

и эмпирич. уровней знания и выделения третьего, метатеор. (архетипичес-кого) уровня, аналогами к-рого

рассматриваться как метатеория истории в обл. эпистемологии, онтологии и аксиологии. Утверждает

А.Падоа доказал метатеорему, согласно которой если предикат P (x1, ..., xn) явно семантически определим

доказательства ограничительных метатеорем – теорем Тарского, Россера, Гёделя и позволяет вскрыть

возникла насущная задача доказательства метатеорем о нормализации выводов, устранимости особого

доказано большое число метатеорем, обосновывающих погружаемость одной теории в другую. В частности

рода относят к метатеории МФТ.

Проблему формализации содержательной теории Т в ФТ можно считать

решенной, если в рамках метатеории МФТ удается показать, что каждому истинному в принятой интерпретации

ряда вопросов метатеории религиоведения — о предмете, строении, методах данной отрасли знания

теоремы Гёделя о неполноте (см. Метатеория), требует привлечения существенно новых идей. В частности

Лениным. Его оригинальность усматривается в метатеор. (структурном, функциональном и общетеор

метатеории, направленной на наличные языковые и символические формы, посредством которых могут схватываться

как метатеории сознания осуществлялась М. на различном материале. Так, работа «Формы и содержание

уровню можно отнести те методологии и метатеории, которые реконструируют развитие научных теорий, идей

иногда разворачиваются в метатеорию (общая теория систем), или просто становятся идеологией

формулировать на них метатеории соответствующих предметных областей научного знания.

Литература:

1

«Игра в бисер» функционирует как метатеория — искусственно создаваемая система культуры, имеющая

философии является разработка метатеории. Одна из наиболее значительных статей Нейрата, посвященная

в языке метатеории (Т3) и т.д., — проблема онтологического статуса У. трансформируется, таким образом

Понятия логического следования; VI. Логика, существование и онтология; VII. Метатеория и сфера

Теория доказательств, теория доказательства, в широком смысле слова — Метатеория математики

как главный объект и цель когнитивно-поведенческой психотерапии.

В зависимости от метатеории, позволяющей

проницательных, систематизирующих метатеорий, касающихся компонентов личности, механизмов

концепция общей теории систем как метатеории, сформулированы системные парадоксы, раскрыты

по проблемам теории познания и науки («Фаллибилизм и плюрализм», «Теории и метатеории» и «Фаллибилизм

[НЕКЛАССИЧЕСКИЕ ЛОГИКИ], напр. логикам типа логики Хао Вана, в которой импликация относится к метатеории

философия образования отождествляется с метатеорией или с критико-рационалистическим анализом роста

С. концентрируются вокруг логико-методологических принципов системного исследования, построения метатеории

концентрируются вокруг логико-методологических принципов анализа систем, построения метатеории системных

средствами (см. Метатеория). Именно эти содержательные рассуждения (и содержательные Д.) составляют

в психологии. С. к. не только снабжает научную психологию метатеорией, его положения находят свое выражение

математич. теории как точные математич. объекты и строить общую теорию, или метатеорию, таких теорий

и метатеорий, сменяющих друг друга. Каждая часть этой целостности обладает собственной

выступал, наподобие естественного языка, в роли собственной метатеории. Метамарксизм радикально

социологической теории заложил основы метатеоре-тических анализов в С.З. Исходя из установки

значение при доказательстве различных метатеорем (непротиворечивость, полнота, разрешимость

метатеория в качестве первичных, неопределяемых терминов не содержит никаких семантических терминов

возникновения новых теорий и метатеорий, сменяющих друг друга. Каждая часть этой целостности обладает своей

самостоятельного развития методологии, во-вторых, ее натурализации, т.е. понимания как нормативной метатеории

не вводя, правда, особых терминов) язык и метаязык (см. Метатеория, Метаязык). Его исследования