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