Металогика

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

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.