Металологіка – це метатеорія логіки. У той час як логіка вивчає, як логічні системи можуть бути використані для побудови дійсних і надійних аргументів, металологія вивчає властивості логічних систем.

Метатеорія є рамки або набір правил, що визначають контекст, в якому будуються теоретичні концепції в певній науковій області.

металогіка, вивчення та аналіз семантики (відношення між виразами та значеннями) і синтаксису (відношення між виразами) формальних мов і формальних систем. Це стосується, але не включає, формального трактування природних мов.

Приклади метатеорем включають: Теорема дедукції для логіки першого порядку говорить, що речення виду φ→ψ є доказовим з набору аксіом A тоді і тільки тоді, коли речення ψ є доказовим з системи, аксіоми якої складаються з φ і всіх аксіоми А.

Прикладом метатеоретичного припущення про розвиток людини може бути ідея про те, що весь розвиток закінчується у 18 років, або що старіння є процесом втрати та занепаду. Чому метатеорії важливі?

Металологіка – це метатеорія логіки. У той час як логіка вивчає, як логічні системи можуть бути використані для побудови дійсних і надійних аргументів, металологія вивчає властивості логічних систем.