Металогика (Фролов, 1991)

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 256.