МЕТАЛОГИКА,

методология дедуктивных наук, часть логики, посвящённая изучению метатеоретич. (см. Метатеория) средствами свойству различных логич. систем и логики в целом. К М. нередко относят также метаматематику, т. е. теорию (формальных, математич.) доказательств, и теорию, определимости понятий (см. Определение). Проблемы этих теорий, относящиеся к чисто структурным свойствам различных исчислений, образуют «синтаксич. ветвь» М. (см. Синтаксис). Её «семантич, ветвь» - это логич. семантика (теория смысла и теория значения), «алгебраич. ядро» к-рой оформилось в спец. логико-математич. дисциплину - теорию моделей, а вопросы соотношения между экстенсиональными и интенсиональными языками (см. Экстенсиональность и Интенсионалъность) - в прагматику. См. ст. Семиотика и лит. к ней.к.-л. др. теории - т. н. предметной (или объектной) теории. Наиболее развитый характер имеют М. логики (наз. металогикой) и М. математики (наз. метаматематикой). Объектом рассмотрения в М. оказывается не сама но себе содержат. науч. теория, а её формальный аналог - исчисление (формальная система). Подлежащая исследованию в М. содержат. теория предварительно подвергается формализации. Часть М., наз. синтаксисом, изучает структуру своей предметной теории, а также её дедуктивные средства. М. рассматривает различные интерпретации исследуемой формальной системы; эта часть М., воспринимающая предметную теорию как формализованный язык,  наз. семантикой.

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

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