По словам Джеффри Хантера, в то время как логика занимается «истинами логики», металогика занимается теорией «предложений, используемых для выражения истин логики. ''
Металогика - это наука рассуждать об аргументах, содержащихся в самой логике. В то время как логика имеет дело с внешними истинами, металогика имеет дело с истинами, которые лгут, используя логику.