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