Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

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