Метатеория

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

МЕТАТЕОРИЯ (от греч. μετά — после и теория), теория, анализирующая структуру, методы и свойства какой-либо другой теории — так называемой предметной (или объектной) теории. Наиболее развитый характер имеют метатеории логики (называются металогикой) и метатеории математики (называются метаматематикой). Объектом рассмотрения в метатеории оказывается не сама но себе содержательная научная теория, а её формальный аналог — исчисление (формальная система). Подлежащая исследованию в метатеории содержательная теория предварительно подвергается формализации.

МЕТАТЕОРИЯ — теория, анализирующая структуру и методы какой-либо другой теории. Термин «Метатеория» имеет смысл и употребляется лишь по отношению к некоторой данной, конкретной теории (Метатеория логики, или металогика; Метатеория математики, или метаматематика, — теория математических доказательств; Метатеория отдельных разделов физики; метахимия; метабиология и т. д.). В принципе можно говорить о Метатеории любой научной дисциплины, как дедуктивной, так и не дедуктивной.

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

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