<<
>>

МЕТАТЕОРИЯ

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

к.-л. др. теории — т. н. предметной (или объектной) теории. Наиболее развитый характер имеют М.

логики (наз. металогикой) и М. математики (наз. метаматематикой). Объектом рассмотрения в М. оказывается не сама но себе содержат. науч. теория, а её формальный аналог — исчисление (формальная система). Подлежащая исследованию в М. содержат. теория предварительно подвергается формализации. Часть М., наз. синтаксисом, изучает структуру своей предметной теории, а также её дедуктивные средства. М. рассматривает различные интерпретации исследуемой формальной системы; эта часть М., воспринимающая предметную теорию как формализованный язык, наз. семантикой.

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

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

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме МЕТАТЕОРИЯ: