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