Что такое металогика?

Сегодня металогика представляет собой особое направление в общей логике. Научное направление изучает логические теории, их свойства и принадлежащие возможности. Логика представляет собой набор рассуждений. Так вот металогика рассуждает о этих рассуждениях. Это учение за пределами логического суждения и отношения их к реальности. Иногда такое учение сравнивают с саморефлексией традиционной логики. Наука пользуется обычным языком, но с обязательным включением метатеоретических средств и специфической терминологии. Это и отличает ее от традиционной логики. Такой язык так же называется метаязыком.