Значение слова «метатеория»

• Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории. Термин "метатеория" имеет смысл и употребляется только применительно к данной, конкретной теории: логика - металогика; математики - метаматематика, теория математических доказательств; разделов физики; метахимия; метабиология и т. д.
  
  Задача метатеории - установить границы области применения исследуемой в ней теории, ответить (если это возможно на данном этапе развития науки) на вопрос о ее непротиворечивости и полноте, изучить (или установить) способы введения ее новых понятий и доказательства ее утверждений. Понятие предметной теории становится, таким образом, экспликатом понятия научной теории.
  
  Необходимость создания метатеории возникла прежде всего в применении к математике. Она была обусловлена потребностью выяснения смысла понятий доказательство, аксиома, теорема, исследования структуры математических теорий (синтаксис) и вопрос об их истинности в категорийно-логических интерпретациях (семантика) и, наконец, проблемой установления непротиворечивости математики.
  
  Давид Гильберт назвал такую метатеорию метаматематика. Программа Гильберта допускала лишь так называемые финитные методы, то есть методы, в которых используются лишь конечные конструкции и выводы: наглядно представленные предметы и эффективно осуществлении процессы (отсюда термин "финитизм", которым характеризуют концепцию Гильберта). Не допускается абстракция актуальной бесконечности, и нужно, чтобы доказательства существования любых объектов носили конструктивный характер, то есть должен быть указан, хотя бы неявно, метод построения рассматриваемого объекта. Финитизм требует, чтобы математические предметы были указаны в явной форме, - или же должен быть данный способ их конструирования. Эти предметы должны быть "налицо" -то есть состоять из экспонированных элементов, которые можно различить и отождествить. Строя свою теорию доказательств, Гильберт исходил из того ее правила должны выражать "технику нашего мышления". "Основная идея моей теории доказательств сводится к описанию деятельности нашего ума, иначе говоря, это протокол о правилах, согласно которым фактически действует наше мышление".

Источник: Википедия

• метатео́рия

  1. теория, анализирующая методы и свойства другой теории ◆ Очевидно, что для социологической метатеории наиболее приемлем интегративный подход, объединяющий макро- и микрологику определения ее объекта. В. В. Локосов, «Российское сообщество», 2006 г.

Источник: Викисловарь