Метатеория (Ильичёв, 1983)

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

Понятие метатеория впервые было выдвинуто Гильбертом в связи с его программой обоснования классической математики средствами созданной его школой теории доказательств (метаматематики). Ряд важных метатеоретических результатов (главным образом семантического содержания) был получен Тарским.

См. также Аксиоматический метод, Метаязык.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.